2024年8月25日
星期日
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
冯曙光
作品数:
5
被引量:0
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张