您的位置： 专家智库 > >

冯曙光

作品数：5 被引量：0H指数：0
供职机构：华东师范大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇专利
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇影戏
  • 2篇远程
  • 2篇肢体
  • 2篇肢体运动
  • 2篇人物图片
  • 2篇实时嵌入式
  • 2篇实时嵌入式系...
  • 2篇图片
  • 2篇皮影
  • 2篇皮影戏
  • 2篇嵌入式
  • 2篇嵌入式系统
  • 2篇自动机
  • 2篇交互行为
  • 2篇关节点
  • 2篇UPPAAL
  • 1篇形式化
  • 1篇形式化建模
  • 1篇形式化建模与...
  • 1篇重写逻辑

机构

  • 5篇华东师范大学

作者

  • 5篇冯曙光
  • 4篇温岩
  • 2篇杜丽
  • 2篇喻光辉
  • 2篇段冲
  • 2篇包丹珠
  • 2篇杜德慧
  • 2篇王长波

年份

  • 1篇2016
  • 1篇2015
  • 1篇2013
  • 2篇2012
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法
本发明公开了一种基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法，该方法是:将对实时嵌入式系统建模形成的MARTE模型转化为工具UPPAAL能够验证的时间自动机，然后使用UPPAAL工具对时间自动机验证，并得出验...
杜德慧温岩冯曙光包丹珠徐亚祎杜丽
基于Kinect的皮影戏远程数字表演的体感控制方法
本发明公开了一种基于Kinect的皮影戏远程数字表演的体感控制方法，该方法首先构建演员的手势信息；再由演员的人体各关节点位置，通过人体到皮影的映射运算，生成数字皮影人物图片形象数据，通过因特网使远程客户端观赏到皮影戏的表...
温岩王长波吕承辰胡传彦段冲喻光辉陶怡莞徐亚祎冯曙光
文献传递
基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法
本发明公开了一种基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法，该方法是：将对实时嵌入式系统建模形成的MARTE模型转化为工具UPPAAL能够验证的时间自动机，然后使用UPPAAL工具对时间自动机验证，并得出验...
杜德慧温岩冯曙光包丹珠徐亚祎杜丽
文献传递
基于Real-Time Maude的AADL Thread构件的形式化建模与验证
随着计算机系统的发展和社会的进步,计算机系统得到了广泛的应用。尤其在航空航天、工业控制和汽车电子等领域,对于计算机系统的实时性和安全性有着严格的要求。MDA(Model-driven Architecture,模型驱动架...
冯曙光
关键词：重写逻辑
文献传递
基于Kinect的皮影戏远程数字表演的体感控制方法
本发明公开了一种基于Kinect的皮影戏远程数字表演的体感控制方法，该方法首先构建演员的手势信息；再由演员的人体各关节点位置，通过人体到皮影的映射运算，生成数字皮影人物图片形象数据，通过因特网使远程客户端观赏到皮影戏的表...
温岩王长波吕承辰胡传彦段冲喻光辉陶怡莞徐亚祎冯曙光
文献传递
全选 清除 导出
共1页<1>
聚类工具0