期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
系统级仿真与验证方法在精确打击武器成像系统中的应用
被引量：
1
1
作者
谢宜壮
吴琼之
+1 位作者
符蓓蓓
汪精华
《兵工学报》
EI
CAS
CSCD
北大核心
2010年第S2期1-4,共4页
合成孔径雷达(SAR)实时成像处理系统的快速仿真与验证是系统实现的前提条件,也是以SAR系统为图像匹配末制导方式的精确打击武器设计的必经之路。根据随机信号理论,对SAR成像系统的误差特性进行了简单分析。研究了基于系统级描述语言的...
合成孔径雷达(SAR)实时成像处理系统的快速仿真与验证是系统实现的前提条件,也是以SAR系统为图像匹配末制导方式的精确打击武器设计的必经之路。根据随机信号理论,对SAR成像系统的误差特性进行了简单分析。研究了基于系统级描述语言的、高效的、快速的系统级算法仿真与验证方法,使得在系统设计之初,就能够验证系统的功能与性能,并探索系统实现的体系架构。在此基础上以System C为系统级描述工具,对SAR成像的RD算法进行了单精度浮点和定点成像的仿真比较。
展开更多
关键词
信息处理技术
合成孔径雷达
实时成像
精确打击武器
系统仿真
与
验证
System
C
下载PDF
职称材料
基于STeC-Stateflow转换系统的实时系统仿真与验证方法
2
作者
纪政
李慧勇
陈仪香
《计算机应用研究》
CSCD
北大核心
2014年第2期448-453,共6页
物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该...
物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该方法使用STeC语言对实时系统进行形式化建模,再建立实时监控的Simulink仿真模型,并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究,表明该方法对高铁运行系统实时仿真的有效性,并能够验证高铁运行系统的安全性。
展开更多
关键词
实时
系统
实时
系统
规范语言
时空一致性
系统仿真
与
验证
STATEFLOW
Checkmate
下载PDF
职称材料
题名
系统级仿真与验证方法在精确打击武器成像系统中的应用
被引量：
1
1
作者
谢宜壮
吴琼之
符蓓蓓
汪精华
机构
北京大学信息科学技术学院
北京理工大学信息与电子学院
中国兵器科学研究院
中国航天科技集团公司第五研究院
出处
《兵工学报》
EI
CAS
CSCD
北大核心
2010年第S2期1-4,共4页
文摘
合成孔径雷达(SAR)实时成像处理系统的快速仿真与验证是系统实现的前提条件,也是以SAR系统为图像匹配末制导方式的精确打击武器设计的必经之路。根据随机信号理论,对SAR成像系统的误差特性进行了简单分析。研究了基于系统级描述语言的、高效的、快速的系统级算法仿真与验证方法,使得在系统设计之初,就能够验证系统的功能与性能,并探索系统实现的体系架构。在此基础上以System C为系统级描述工具,对SAR成像的RD算法进行了单精度浮点和定点成像的仿真比较。
关键词
信息处理技术
合成孔径雷达
实时成像
精确打击武器
系统仿真
与
验证
System
C
Keywords
information processing technique
SAR
real time imaging
precise attack weapon
system simulation and validation
System C
分类号
TJ-55 [兵器科学与技术]
下载PDF
职称材料
题名
基于STeC-Stateflow转换系统的实时系统仿真与验证方法
2
作者
纪政
李慧勇
陈仪香
机构
华东师范大学软件学院教育部软硬件协同设计技术与应用工程研究中心
出处
《计算机应用研究》
CSCD
北大核心
2014年第2期448-453,共6页
基金
国家"973"计划基金资助项目(2011CB302802)
国家自然科学基金资助项目(61202104)
上海高校知识创新工程(085)建设项目
文摘
物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该方法使用STeC语言对实时系统进行形式化建模,再建立实时监控的Simulink仿真模型,并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究,表明该方法对高铁运行系统实时仿真的有效性,并能够验证高铁运行系统的安全性。
关键词
实时
系统
实时
系统
规范语言
时空一致性
系统仿真
与
验证
STATEFLOW
Checkmate
Keywords
real-time system
specification language for real-time system
spatial-temporal consistence
system simulation and verification
Stateflow
Checkmate
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
系统级仿真与验证方法在精确打击武器成像系统中的应用
谢宜壮
吴琼之
符蓓蓓
汪精华
《兵工学报》
EI
CAS
CSCD
北大核心
2010
1
下载PDF
职称材料
2
基于STeC-Stateflow转换系统的实时系统仿真与验证方法
纪政
李慧勇
陈仪香
《计算机应用研究》
CSCD
北大核心
2014
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
