期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
仿真模型组合的验证方法研究
被引量：
5
1
作者
冯晓宁
王卓
王金娜
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2013年第12期7-12,122,共7页
针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签...
针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求。
展开更多
关键词
仿真模型组合
数据类型验证
行为验证
标签转移系统
在线阅读
下载PDF
职称材料
LTS仿真模型组合验证方法
被引量：
1
2
作者
冯晓宁
王卓
王金娜
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2014年第5期589-593,618,共6页
为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型...
为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。
展开更多
关键词
仿真模型组合
标签转移系统
语义相似度
在线阅读
下载PDF
职称材料
一种基于MDE的形式化组合建模仿真方法
被引量：
1
3
作者
吴狄
陈杰
Flavio Oquendo
《系统仿真学报》
CAS
CSCD
北大核心
2009年第18期5608-5613,共6页
大规模的联合建模与仿真迫切需要提高模型及仿真的可组合性。针对实现可组合仿真的主要问题,分析并提出了基于不同抽象程度的组合仿真的层次化功能结构模型。结合MDE模型驱动工程的设计思想,应用形式化建模的相关方法和π语言,提出了覆...
大规模的联合建模与仿真迫切需要提高模型及仿真的可组合性。针对实现可组合仿真的主要问题,分析并提出了基于不同抽象程度的组合仿真的层次化功能结构模型。结合MDE模型驱动工程的设计思想,应用形式化建模的相关方法和π语言,提出了覆盖可组合仿真系统设计整个生命周期的一整套开发方法。同时,建立了基于MDE的模型映射机制,实现了基于一系列工具支持的不同模型之间的相互关联和转换,并在某大型分布式仿真系统开发中得到了应用。
展开更多
关键词
模型
驱动工程
形式化方法
层次化
组合
仿真
模型
框架
模型
映射机制
在线阅读
下载PDF
职称材料
题名
仿真模型组合的验证方法研究
被引量：
5
1
作者
冯晓宁
王卓
王金娜
机构
哈尔滨工程大学计算机科学与技术学院
哈尔滨工程大学水下机器人技术国防科技重点实验室
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2013年第12期7-12,122,共7页
基金
国家自然科学基金资助项目(61100006
61272184)
+1 种基金
黑龙江省自然科学基金资助项目(F201129)
中央高校基本科研业务费专项资金资助项目(HEUCF100605)
文摘
针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求。
关键词
仿真模型组合
数据类型验证
行为验证
标签转移系统
Keywords
combination of simulation model~ data type validation~ behavior verification~ labelledtransition system
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
LTS仿真模型组合验证方法
被引量：
1
2
作者
冯晓宁
王卓
王金娜
机构
哈尔滨工程大学计算机科学与技术学院
哈尔滨工程大学船舶工程学院
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2014年第5期589-593,618,共6页
基金
国家自然科学基金资助项目(61100006
61272184)
黑龙江省自然科学基金资助项目(F201129)
文摘
为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。
关键词
仿真模型组合
标签转移系统
语义相似度
Keywords
combination of simulation model
labeled transition system（LTS）
semantic similarity
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
一种基于MDE的形式化组合建模仿真方法
被引量：
1
3
作者
吴狄
陈杰
Flavio Oquendo
机构
北京理工大学信息科学技术学院
法国南部列塔尼大学VALORIA研究室
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第18期5608-5613,共6页
基金
国家973项目(61631)
欧盟委员会联合亚洲合作项目(EUGrant_080403pm_IW)
文摘
大规模的联合建模与仿真迫切需要提高模型及仿真的可组合性。针对实现可组合仿真的主要问题,分析并提出了基于不同抽象程度的组合仿真的层次化功能结构模型。结合MDE模型驱动工程的设计思想,应用形式化建模的相关方法和π语言,提出了覆盖可组合仿真系统设计整个生命周期的一整套开发方法。同时,建立了基于MDE的模型映射机制,实现了基于一系列工具支持的不同模型之间的相互关联和转换,并在某大型分布式仿真系统开发中得到了应用。
关键词
模型
驱动工程
形式化方法
层次化
组合
仿真
模型
框架
模型
映射机制
Keywords
MDE
formal methods
multi-level composable simulation model framework
model mapping
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
仿真模型组合的验证方法研究
冯晓宁
王卓
王金娜
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2013
5
在线阅读
下载PDF
职称材料
2
LTS仿真模型组合验证方法
冯晓宁
王卓
王金娜
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2014
1
在线阅读
下载PDF
职称材料
3
一种基于MDE的形式化组合建模仿真方法
吴狄
陈杰
Flavio Oquendo
《系统仿真学报》
CAS
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
