弗兰

功能反应动画。Fran(Functional Reactive Animation)是一个数据类型和函数的集合,用于创作丰富的交互式多媒体动画。Fran的核心思想是它对行为和事件的概念。行为是时变的、反应性的值,而事件是任意复杂条件的集合,可能携带着丰富的信息。大多数传统的值可以被视为行为,当图像被这样处理时,它们就变成了动画。尽管这些概念被捕获为数据类型而不是编程语言,但我们为它们提供了一种指称语义,包括对实时性的适当处理,以指导推理和实现。利用事件时间域上的局部信息结构,提出了一种基于区间分析的事件检测方法。令人惊讶的是,在基于Fran的翻译系统中实现了令人满意的性能。给出了几个例子,包括用常微分方程描述重力、弹簧、速度、加速度等物理现象的能力。


zbMATH中的参考文献(参考文献11条)

显示结果1到11,共11个。
按年份排序(引用)

  1. 阿尔哈佐夫,阿蒂姆;弗伦德,鲁道夫;伊万诺夫,塞尔吉乌;潘林强;宋博生:P系统中的无时间性和无时钟性及其相关概念(2020)
  2. 佩雷斯,伊万;Goodloe,Alwyn E.:容错功能反应式编程(扩展版)(2020)
  3. 吉本斯,杰里米:应用Naperian函子进行编程(2017)
  4. Jeltsch,Wolfgang:资源功能反应式编程的抽象范畴语义(2016)
  5. 柴塔尼亚贝尔瓦;程,艾伯特M。K、 。;Liu,Bo:P-FRP事务事件处理程序的可行性区间(2013)
  6. 哈德利威克姆:R中的可变物体(2011)
  7. 巴赫拉,约拿单;比尔,雅各布;詹姆斯·麦克鲁丁:机器人群的可组合连续空间程序(2010)ioport公司
  8. 斯库索普,尼尔;尼尔森,亨里克:面对变化保持冷静。通过对变化的推理来优化FRP(2010)
  9. 马尔索,纪尧姆;库珀,格雷戈里H。;斯皮罗,乔纳森P。;克里希那穆提,先生;Reiss,stevenp.:用于脚本调试的数据流语言的设计和实现(2007)ioport公司
  10. 汤普森,西蒙;国王,彼得;Cameron,Helen:多媒体数据库中的移动对象建模,“(2005年)ioport公司
  11. 埃利奥特,康纳尔;Hudak,Paul:功能反应动画(1997)