文档介绍：国防科学技术大学
博士学位论文
作战仿真系统可信性研究
姓名:唐见兵
申请学位级别:博士
专业:控制科学与工程
指导教师:查亚兵
20091001
及物理一事理一人理址椒ǎ辉谌娣治鲆话惴抡鎂隬宰髡椒抡鎃琖侨繁F淇尚判缘重要途径。论文针对作战仿真系统的特点,主要从淖芴濉⑿问交!摘要论文首先从基本概念、研究框架、方法论、原则、过程模型及机制等方面对员及任务分解机制问题,建立了的组织结构,设计了任务分解算法。个主要过程展开研究。①在给出需求校核的形式化定义的基础上,研究了的一致性校核进行研究。②给出了军事概念模型验证的形式化定义,总结了验证本体一致性验证算法。③从作战仿真系统数学模型的分类及其形式化描述入手,复合结构水平三个层次对数学模型的有效性进行验证的思想。④建立作战仿真系可信性是作战仿真的生命线,对作战仿真系统建设的全生命周期进行校核、验证与确认琕主要过程以及可信性评估等方面展开深入研究,并将研究成果应用于“作战仿真系统”实例中,取得了良好效果。作战仿真进行总体研究。在阐述作战仿真概念的基础上,给出其形式化定义;针对作战仿真研究的特点,从宏观上提出其总体框架结构;引入复杂系统方法论,给出了指导作战仿真研究的综合集成、立方体原则的基础上,归纳了踝髡椒抡嫦低砎蜃魑2钩洌桓菔导实淖髡仿真系统开发过程,建立了相应的过程模型;研究了作战仿真的人接着为了使过程描述规范化、标准化,论文对作战仿真过程及其管理进行形式化建模。基于过程分别从用例、静态结构、动态行为及交互等方面进行形式化建模,对过程管理分别进行用例、静态结构及动态行为建模,并在此基础上,建立了包含活动代理的过程管理模型;为了对作战仿真过程进行全面描述,建立了基于腣棠P停⒏銎湫问交ㄒ濉其次针对论文给出的作战仿真系统过程模型,重点对需求校核、军事概念模型验证、数学模型叭砑P蚔四作战仿真系统需求校核的方法、策略和指标,重点从语法和语义两个方面对需求步骤,重点研究了军事概念模型的形式化验证方法和一致性验证指标,并给出了提出了数学模型校核机制,并归纳了六个校核指标;根据大量的工程实践,总结并提出了一些比较实用的数学模型椒ǎ惶岢龃有形K健⒆刺峁顾胶统软件模型的层次结构,给出软件模型男问交ㄒ澹灰肴砑馐苑椒ǎ重点研究了面向对象的软件模型椒ㄓ爰际酰淮臃抡嫠惴ㄐ:恕⒘鞒掏夹:及程序代码校核三个方面对软件模型校核进行全面研究;从理论验证和软件测试国防科学技术大学研究生院博士学位论文第
程中所制定的《作战仿真娣丁贰⒖尚判云拦乐副晏逑狄约跋盗蠾文再次,在作战仿真系统的可信评估研究上,从辨析可信性评估导两个角度及仿真软件单元、软件部件和仿真系统三个层面刈‘软件模型验证进行深的关系入手,分析了作战仿真系统可信性评估的三种类型,并提出了两种常用的可信性评估方式;结合工程实际,建立了一套可信性评估指标体系;在全面分析与比较已有的可信性评估方法基础上,针对作战仿真系统军事需求及军事概念模型等评估中突出主题专家作用的特点,在改进现有评估方法的基础上提出了主观综合评判法,并提出了一种基于专长权的主题专家权重定量计算方法;为了对作最后以作者作为主要骨干参与的“作战仿真系统”可信性评估实践为例,介绍了本文研究成果在该系统的和可信性评估方面的应用情况。结果表明,论文的研究工作在促进该仿真系统的顺利建设和确保它的可信性方面发挥了积极作用,为该系统的未来建设打下了良好基础。总之,论文的研究可以丰富作战仿真的理论体系,开展的活动以及可信性评估工作对确保作战仿真系统的可信性具有重要的意义,课题研究过军事概念模型验证;数学模型校核与验证;软件模型校核与验证;入研究,并分别给出测试实例。战模型的动态输出结果进行有效评估,提出了灰色关联综合评估方法。档模板将对我国和我军的标准规范建设发挥一定的作用。关键词:作战仿真系统;可信性;校核、验证与确认;需求校核;可信性评估;可信度国防科学技术大学研究生院博士学位论文
琺,琾..琣鬡產&畍瓵,琣瓵国防科学技术大学研究生院博士学位论文..,,,甪甌,..瑃..瑃瑀,,瓾,.第..,...甌甶..琲甐甧瓻瑃
.籖,.砸甀篧;国防科学技术大学研究生院博士学位论文.’琲甌.。.,甌瑃琣.,,.;籚琕;;..琣琣,琣·
表作战仿真腤内容⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表目录表作战仿真的角色及其职责⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.“联合火力打击作战’’中空军作战集团的枨蠖ㄒ濉表时间算子和布尔量的含义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表表‘作战仿真系统数学方程分类一览表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯.表作战仿真系统数学模型验证有效性水平举例⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表常见的数据流异常行为⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表基于牟馐越锥渭胺