收藏本站
《国防科学技术大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

语境驱动的仿真模型可组合性测试方法研究

陈超  
【摘要】: 为了提高复杂产品的协同设计能力和不同领域、分布及异构仿真系统间的信息共享和互操作,建模与仿真(MS)已不再局限于单个组织的行为,而是强调仿真和模型的联合开发,致力于将不同组织或不同领域开发的仿真资源进行重用和组合以满足多学科协同仿真和多系统联合仿真的需要。 组合仿真已成为当前MS领域的研究热点,其理论和方法研究的核心是仿真模型的可组合性,它在反映组合有效性的同时也是新仿真系统开发的一项重要的设计原则。因此,如何判定和提高仿真模型的可组合性是组合仿真理论和方法研究的关键问题。 由于仿真模型的动态性以及模型组合行为的并发性,使得因缺陷导致的错误行为往往具有不可预测性和不可重现性。另外,为了利用模型组合实现仿真系统的快速开发,仿真模型的重用能力受到越来越多的重视,并使传统以目标驱动的最小化建模向可重用建模过渡。由于仿真模型的重用过程体现了应用语境不断变化的过程,仿真模型在不同语境中是否需要重新验证的问题变得更加突出。因此,为了确定仿真模型及其组合能否满足仿真应用的需求,需要将影响模型使用的各种信息显式地描述,从而为仿真模型的可组合性判定提供依据。 论文以使命层仿真为应用背景,通过分析使命空间的任务、执行任务的实体以及任务之间、任务与实体之间和实体之间的关系,从测试的角度研究仿真模型动态行为的可组合性问题。论文的基本思想是:在构建基于组合的MS框架的基础上,界定语境的概念及其与可组合性的关系,提出基于语境的可组合性判定准则,进而在判定准则的指导下提出支持动态可组合性判定的语境驱动的仿真模型测试方法论,从结构、过程和运行三个侧面搭建方法论的体系结构,系统地开展系统、组合和单元层次的测试研究。论文的具体内容包括: (1)在讨论语境本源的基础上分析了系统仿真的语境;结合组合仿真开发过程和传统仿真开发过程,在面向重用的MS框架的基础上提出了基于组合的MS框架,重点分析了语境在这些框架中的体现;在界定应用语境和模型语境的基础上定义了语境与可组合性的关系;形式化分析了不同语境的相互作用关系,给出了基于语境的可组合性判定准则。 (2)在分析三类认识误区的基础上,界定了仿真模型测试的概念;分析了可组合性判定准则对测试的指导作用和存在的问题,深化测试对可组合性判定的支持作用:在分析实体层次、基于组合的开发过程以及实体组合关系的基础上分析了使命层仿真的语境内涵;形式化定义了测试框架的概念和组成,由此从结构、过程和运行三个侧面阐述了测试方法论的具体内容。 (3)针对系统层测试,在辨析任务概念的基础上定义了任务模型和任务间的逻辑关系,总结了面向任务的建模方法;通过分析任务的时间属性和空间属性,给出了使命过程的任务分解原则,从而确定和限定待测试的仿真模型及其行为;基于ECA规则描述了任务约束,实现了任务的控制依赖到ECA规则的映射,给出了ECA规则的检测算法。 (4)针对组合层测试,在分析交互模式和总结交互建模方法的基础上定义了交互模型;从简单的时序特性入手,给出了原子事件的时序生成方法;在总结复合事件描述和检测的基础上,基于时态逻辑描述了交互行为的特性模式,由此完整描述了交互模型的核心——事件模型,讨论了事件模型的推导规则和一致性判定问题;基于量化正则表达式规范了特性模式的表示形式,给出了确定和不确定条件下的检测算法。 (5)针对单元层测试,在分析组织关系的变化形式和状态迁移特性的基础上,以状态可达集作为实体模型的约束建模方法,给出了可达集的生成算法;从行为演化的角度重点分析了组合层各类特性模式不能满足的原因,给出了单步迁移和迁移序列的检测算法。 (6)从测试环境和建模仿真环境的依赖关系出发分析了测试环境的需求,设计了测试环境的体系结构;通过分析约束建模工具和测试运行工具的组成,提出了面向不同测试层次的约束规范语言、测试大纲的内容模型以及层次化仿真器的改造方法。 (7)以多平台反舰导弹作战体系仿真为背景,应用论文提出的方法系统地开展仿真模型的测试,验证测试方法的有效性。 论文的主要创新包括: ·构建了基于组合的MS框架,以语境为核心提出了仿真模型可组合性的判定准则。 ·提出了支持动态可组合性判定的仿真模型测试方法论,从结构、过程和运行三个侧面系统地指导不同层次测试活动的开展。 ·面向实体的任务空间,在定义任务和任务模型的基础上提出了使命过程的分解原则,实现了任务的控制依赖到ECA规则的映射,给出了ECA规则的检测算法。 ·面向实体的组合行为,在定义交互模型的基础上扩展了交互约束的模式描述,完整描述了交互模型的核心——事件模型,并基于量化正则表达式规范了特性模式的表示形式,给出了确定和不确定条件下的检测算法。 ·面向实体的内部行为,提出了基于状态可达集的约束建模方法,给出了状态可达集的生成算法和检测算法。 ·设计了测试环境的体系结构,提出了约束规范语言、测试大纲的内容模型以及层次化仿真器的改造方法。 论文的研究属于组合仿真理论和方法的基础性研究。其中,基于语境的可组合性判定准则和语境驱动的测试方法论为仿真模型的可组合性判定提供了新的理论框架和方法体系,对组合仿真理论具有重要的推动作用。
【学位授予单位】:国防科学技术大学
【学位级别】:博士
【学位授予年份】:2007
【分类号】:TP391.9

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 张楣,刘超,孙昌爱;基于UML活动图模型的测试用例生成技术研究[J];北京航空航天大学学报;2001年04期
2 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
3 兰毓华,毛法尧,曹化工;基于Z规格说明的软件测试用例自动生成[J];计算机学报;1999年09期
4 谢冰,杨芙清;青鸟工程及其CASE工具[J];计算机工程;2000年11期
5 蒋昌俊;Petri网理论与方法研究综述[J];控制与决策;1997年06期
6 胡锦敏,张申生,余新颖;基于ECA规则和活动分解的工作流模型[J];软件学报;2002年04期
7 姜跃平,汪卫,施伯乐,董继润;ECA规则的模型和行为特定理论[J];软件学报;1997年03期
8 赵敏荣,吴晓燕,刘兴堂;复杂仿真系统模型验证方法的研究[J];系统仿真学报;2003年10期
9 王建华,符文星,阎杰;空空导弹系统仿真模型验证平台[J];系统仿真学报;2003年06期
10 贾荣珍,刘丽,王行仁,詹文军;仿真系统的校核与验证的自测试软件[J];系统仿真学报;2000年06期
中国博士学位论文全文数据库 前1条
1 刘晨;基于SEB组合框架的导弹体系对抗仿真方法研究[D];国防科学技术大学;2005年
【共引文献】
中国期刊全文数据库 前10条
1 周方珠;论社交指示的翻译[J];安徽大学学报(哲学社会科学版);2002年01期
2 徐宏亮;称呼语的社交指示功能[J];安徽广播电视大学学报;2002年02期
3 王一宾,韩承双;计算机体系结构与软件体系结构[J];安徽建筑工业学院学报(自然科学版);2005年01期
4 李建军;复数第一人称代词的功能指称[J];安徽农业大学学报(社会科学版);2002年02期
5 尹富林,汤九华;英语歧义结构及其化解方法探析[J];安徽工业大学学报(社会科学版);2000年02期
6 赵文辉;英语重复现象的语用功能[J];安徽工业大学学报(社会科学版);2002年01期
7 林素容;语码转换的社会语用分析[J];安庆师范学院学报(社会科学版);2005年01期
8 李迎春,迟呈英,孙冀侠;改进的上下文无关文法及其语法分析[J];鞍山科技大学学报;2003年01期
9 范朝秋,张璇;礼貌理论与英语教师课堂用语[J];安顺师范高等专科学校学报;2005年02期
10 徐志敏;广告词中的会话含意[J];安阳师范学院学报;2003年03期
中国重要会议论文全文数据库 前10条
1 马润赓;刘少峰;马国锐;;真实地理环境场景库设计及其关键技术[A];中国测绘学会九届三次理事会暨2007年“信息化测绘论坛”学术年会论文集[C];2007年
2 游淑芬;;值得推荐的一本工具书——1995年新版《汉英词典》[A];第二届全国双语词典学术研讨会暨福建省辞书学会第九届年会论文集[C];1996年
3 向朝红;;英汉词典语用信息处理现状的调查及分析[A];中国辞书学会双语词典专业委员会第三届年会暨学术研讨会论文集[C];1998年
4 于伟昌;;汉译外来语言学术语标准化的必要性及其原则[A];中国辞书学会双语词典专业委员会第四届年会暨学术研讨会论文集[C];2001年
5 李明;;词典中的语用义及其局限[A];中国辞书学会双语词典专业委员会第6届年会暨学术研讨会论文专辑[C];2005年
6 杨文秀;;英语学习词典中的语用信息——从LDOCE2到LDOCE4[A];中国辞书学会双语词典专业委员会第6届年会暨学术研讨会论文专辑[C];2005年
7 杨文秀;;学习词典中的模糊限制语[A];中国辞书学会双语词典专业委员会第七届年会论文集[C];2007年
8 李云山;王红传;;战场电磁环境仿真需求分析与建模[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
9 梁捷;谢晓方;曹建;;箔条质心干扰数学模型仿真[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
10 刘金广;;战术决策仿真模型的检验、证实和认可问题研究[A];第13届全国计算机、网络在现代科学技术领域的应用学术会议论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 刘竹青;抽水蓄能机组全范围仿真机的研究[D];中国农业大学;2000年
2 董建华;面向大规模定制生产模式的产品设计技术研究[D];大连理工大学;2000年
3 赵博;结构化集成调度系统理论及基于该理论的虚拟车间智能支撑平台的体系结构研究[D];大连理工大学;2000年
4 黄东晶;俄汉代词指示语对比研究[D];黑龙江大学;2001年
5 孙鑫;造纸过程的分层递阶智能控制系统[D];浙江大学;2001年
6 尹增山;混杂系统优化控制理论研究[D];浙江大学;2001年
7 张晓峰;可重构智能制造系统的基础研究[D];南京航空航天大学;2001年
8 沈延森;快速可重构信息系统及其关键技术研究[D];南京航空航天大学;2001年
9 王金庆;数字化工厂及其关键技术研究[D];南京航空航天大学;2001年
10 柴毅;智能化汽车主动安全系统研究[D];重庆大学;2001年
中国硕士学位论文全文数据库 前10条
1 陶克;基于J2EE的企业ERP中设备管理系统研究与设计[D];湖南大学;2005年
2 姜树明;企业信息管理系统测试模型的研究与应用[D];内蒙古大学;2006年
3 司美琴;DB2统计信息测试数据自动生成系统的设计与实现[D];北京邮电大学;2007年
4 刘清秀;基于UML状态机-PNs集成的工作流建模与分析[D];曲阜师范大学;2005年
5 王震;软件测试用例自动生成系统研究开发[D];西安理工大学;2005年
6 张娟;基于Par方法和Par平台的软件测试[D];江西师范大学;2005年
7 余长海;基于shark的分布式工作流系统的研究与实现[D];河海大学;2005年
8 邓维佳;一种扩展的并发传值进程抽象模型[D];中国科学院研究生院(软件研究所);2005年
9 周勇军;分布式工作流引擎的研究和实现[D];浙江大学;2004年
10 宋宇宁;基于SOA的事件驱动企业应用集成技术研究[D];浙江大学;2005年
【同被引文献】
中国期刊全文数据库 前6条
1 董红斌,杨巨庆;Petri网:概念、分析方法和应用[J];哈尔滨师范大学自然科学学报;1999年05期
2 李麓,李维嘉;潜艇水下六自由度运动仿真数学模型[J];计算机仿真;2001年05期
3 潘瑛,徐德民;自主式水下航行器空间运动矢量建模与仿真[J];系统仿真学报;2003年04期
4 徐玉如;庞永杰;甘永;孙玉山;;智能水下机器人技术展望[J];智能系统学报;2006年01期
5 吴恩华;图形处理器用于通用计算的技术、现状及其挑战[J];软件学报;2004年10期
6 王维平,朱一凡,李群,杨峰;Sim2000:一个柔性仿真开发环境[J];系统仿真学报;2000年01期
中国博士学位论文全文数据库 前5条
1 雷永林;仿真模型重用理论、方法与异构集成技术研究[D];国防科学技术大学;2006年
2 兰勇;面向多任务的智能群体决策支持技术研究[D];西北工业大学;2003年
3 鲁建壮;单芯片多处理器关键技术的研究与实现[D];国防科学技术大学;2005年
4 王学慧;并行与分布式仿真系统中的时间管理技术研究[D];国防科学技术大学;2006年
5 乔海泉;并行仿真引擎及其相关技术研究[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前2条
1 年晓玲;基于扩展有限状态机软件测试用例自动生成的研究[D];西南交通大学;2005年
2 刘奥;基于HPC的并行仿真支撑环境原型系统研究与实现[D];国防科学技术大学;2005年
【二级参考文献】
中国期刊全文数据库 前10条
1 贾荣珍,彭晓源,王行仁;飞行模拟器建模、验模和性能测试与评估[J];航空学报;1998年01期
2 杨芙清,邵维忠,梅宏;面向对象的CASE环境青岛Ⅱ型系统的设计与实现[J];中国科学A辑;1995年05期
3 蒋昌俊;矢量文法与PN机[J];中国科学A辑;1995年12期
4 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑;2001年04期
5 胡锦敏,张申生;支持企业动态联盟的敏捷工作流系统[J];计算机研究与发展;1999年12期
6 宋承龄;关于仿真模型验证[J];计算机仿真;2000年04期
7 王少刚,李群,刘晨,朱一凡;“密集阵”武器系统模型及仿真[J];计算机仿真;2003年11期
8 彭琼芝;刘晨;李群;李孟军;;SRML-一种基于XML的仿真模型描述语言[J];计算机仿真;2005年12期
9 刘晨;魏洪涛;李群;王维平;;支持模型集成和重用的仿真语言研究[J];计算机仿真;2006年05期
10 王凌,张亮,郑大钟;仿真优化研究进展[J];控制与决策;2003年03期
中国重要会议论文全文数据库 前1条
1 刘晨;李群;王维平;;面向武器装备作战能力评估的仿真系统工程[A];Well-off Society Strategies and Systems Engineering--Proceedings of the 13th Annual Conference of System Engineering Society of China[C];2004年
中国博士学位论文全文数据库 前3条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
3 杨峰;面向效能评估的平台级体系对抗仿真跨层次建模方法研究[D];国防科学技术大学;2003年
【相似文献】
中国期刊全文数据库 前10条
1 闫新庆;李文锋;陈定方;;基于有限状态自动机的Web服务组合(英文)[J];计算机工程与设计;2007年23期
2 张童;刘云生;查亚兵;;可组合仿真系统的概念框架研究[J];系统仿真学报;2007年08期
3 蔡万勇;李侠;万山虎;吴宝花;;雷达预警探测系统组合建模研究[J];系统仿真学报;2009年14期
4 张童;刘云生;查亚兵;;仿真模型的语义可组合性研究[J];计算机工程与科学;2008年03期
5 周东祥;李群;王维平;;联合装备体系对抗仿真可组合问题的概念框架[J];计算机仿真;2008年04期
6 周东祥;仲辉;邓睿;李群;王维平;;复杂系统仿真的可组合问题研究综述[J];系统仿真学报;2007年08期
7 范贵生;虞慧群;陈丽琼;刘冬梅;;一种基于Petri网的服务组合流程分析方法[J];华东理工大学学报(自然科学版);2009年01期
8 冯珊;郭四海;周凯波;;虚拟采办实施全系统全寿命全方位管理的技术需求[J];智能系统学报;2009年01期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前1条
1 史衍华;裘杭萍;何明;;基于XMSF的仿真可组合性研究[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
中国博士学位论文全文数据库 前5条
1 陈超;语境驱动的仿真模型可组合性测试方法研究[D];国防科学技术大学;2007年
2 周东祥;多层次仿真模型组合理论与集成方法研究[D];国防科学技术大学;2007年
3 李婵娟;安全关键实时通信协议研究[D];兰州大学;2011年
4 詹剑;可重用可组合的转录逻辑门设计[D];中国科学技术大学;2010年
5 张童;面向服务的语义可组合仿真关键技术研究[D];国防科学技术大学;2008年
中国硕士学位论文全文数据库 前4条
1 张会娟;基于QoS的动态Web服务组合关键技术研究[D];中国石油大学;2009年
2 连建华;中国学生理解英语中表示“愤怒”的习语的制约因素[D];西安电子科技大学;2009年
3 张晓红;卫星导航系统服务段性能仿真的研究与实现[D];国防科学技术大学;2007年
4 刘静;WEB组合服务框架优化模型的研究及其系统实现[D];中南大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026