栾天骄
- 作品数:3 被引量:3H指数:1
- 供职机构:华东师范大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于视频的景观特效实时模拟被引量:1
- 2009年
- 从火焰和水波的视频出发,首先进行时间和空间连续性的拼接,利用光流场计算视频帧之间的相似度,通过相似度矩阵计算实现连续小跳变的火焰合成,采用基于骨架的驱动来实现风力与火的交互,实现了火焰的蔓延和互动等效果;采用一种自适应边界采样方法来实现水面的视频合成,得到了较好的模拟效果。
- 王长波吴亮栾天骄盛小勇肖昭陈晓
- 关键词:视频合成光流
- 实时系统规范语言STeC的Maude语义模型和静态分析设计及其工具实现
- 信息系统融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。尤其是时间和空间等物理元素的引入使得经典的建模方法无法满足其时空一致性需求,最近陈仪香教授引入了实时系统的规范语言Spatio-tempora...
- 栾天骄
- 关键词:形式化方法MAUDE重写逻辑
- 文献传递
- 实时系统规范语言STeC的Maude重写系统被引量:2
- 2013年
- 信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将STeC语言转化为可执行的基于Maude的形式化描述,使用Maude自动推导功能,自动推导出系统的时间正确性。实例结果表明,该形式化描述语言Maude可有效对实时系统进行安全性验证。
- 栾天骄陈仪香王江涛
- 关键词:实时系统重写逻辑