软件搜索-zbMATH Open

弗兰

swMATH编号：	21482
软件作者：	科纳尔·埃利奥特；保罗·哈达克
描述：	功能反应动画。Fran（Functional Reactive Animation）是一个数据类型和函数的集合，用于创作丰富的交互式多媒体动画。Fran的关键思想是其行为和事件的概念。行为是时变的反应值，而事件是任意复杂条件的集合，可能包含丰富的信息。大多数传统值可以被视为行为，当图像被这样处理时，它们就变成了动画。尽管这些概念是作为数据类型而不是编程语言捕获的，但我们为它们提供了指称语义，包括对实时的适当处理，以指导推理和实现。还描述了一种使用区间分析有效地执行事件检测的方法，该方法依赖于事件时间域上的部分信息结构。Fran已在Hugs中实现，为基于解释的系统带来了令人惊讶的良好性能。给出了几个例子，包括使用常微分方程描述涉及重力、弹簧、速度、加速度等物理现象的能力。
主页：	https://dl.acm.org/citation.cfm？doid=258948.258973
相关软件：	哈斯克尔;光泽;酯类;信号;Coq公司;Yampa公司;TBAG公司;流QRE;奈亚德;洛拉;Flapjax公司;仄洛斯;电报CQ;卡尤加;StreamIt（流媒体）;阿帕奇火花;副驾驶员;seL4级;PVS公司;活动VRML
引用于：	10文件