基于任务空间概念模型（CMMS）的作战想定研究

任务空间概念模型是建模与仿真通用技术框架的三个组成部分之一，其目的是促进国防建模与仿真领域仿真部件的重用和互操作。而作战想定是综合电子信息系统建设过程中的重要组成部分，本文针对目前想定与仿真模型紧耦合而带来仿真系统重用性差等缺点，利用CMMS的思想，提出了一种能够实现想定与仿真系统相分离的处理机制，以促进想定的重用的和仿真的互操作性。     

导弹武器系统任务空间概念模型开发

为了构建导弹武器系统执行战略反击使命的任务空间概念模型,保证模型的互操作性和可重用性,研究了任务空间概念模型的形式化描述,突出了任务空间概念模型中核心元素之间的关系。利用UML建立了战略反击作战使命的任务空间概念模型。分析了执行战略反击使命的特点,抽象出任务空间概念模型的核心元素,重点描述了实体间的关系、任务间的关系、条件与任务的关系、交互与任务、实体的关系等核心元素之间的关系。最后讨论了模型验证的方法。实践证明,以核心元素及其关系描述任务空间概念模型的方法可操作性较强,建立的模型也容易理解。     

基于CMMS的综合电子信息系统想定研究

任务空间概念模型是建模与仿真通用技术框架的三个组成部分之一,其目的是促进国防建模与仿真领域仿真部件的重用和互操作.而想定是综合电子信息系统建设过程中的重要组成部分,是进行战争模拟的基本前提;它针对研究分析和训练的问题,对模拟的战争系统的空间、时间、过程以及为了实现这一模拟仿真过程所需要的背景、条件、约束、规则以及仿真资源的设定.作战想定具体刻画了战争系统中需要描述的实体种类、数量以及需要关注的实体属性和活动.针对目前想定与仿真模型紧耦合而带来仿真系统重用性差等缺点,利用CMMS的思想,提出了一种能够实现想定与仿真系统相分离的处理机制,以促进想定的重用的和仿真的互操作性.     

任务空间概念模型(CMMS)研究

任务空间概念模型（Conceptual Models of the Mission Space,CMMS）是美国建模与仿真主计划提出的三大目标之一,与HLA、DS共同组成M＆S的技术框架,它是对真实世界的、独立于仿真的首次抽象,即有关真实世界军事行动过程（功能、任务、行动和状态等）、实体（人员、单位、机制和系统）、交互（控制、转换、信息）的概念性描述.该文通过对任务空间概念模型的定义、组成、过程及位置等理论的阐述,使大家对CMMS有一定的认识.然后通过对CMMS与系统仿真开发过程中的几个关键因素之间的关系进行的分析,使大家进一步认识CMMS作为作战人员的真实世界和仿真开发人员的综合世界在仿真开发过程中所起到的桥梁作用,它对建模与仿真的互操作与重用有着重要的意义.     

任务空间概念模型专家确认方法研究

任务空间概念模型是建立作战模拟系统的根据,概念模型的错误,将直接导致作战模拟系统运行结果不可信。所以,任务空间概念模型自身的校核、验证与确认（VV＆A）是一个非常值得关注的问题。该文只研究概念模型的确认。由于概念模型注重描述领域内的定性内容,概念模型的执行只可能是一种概念上的执行,不可能输出精确的数据,所以,传统的通过分析输出数据的方法已经不能适应任务空间概念模型的特点。该文借鉴层次分析法（AHP）思想,提出了一种可操作性较好的两阶段专家法确认方法。     

任务空间概念模型执行机制初探

任务空间概念模型（CMMS）是建立作战模拟系统的根据,概念模型的错误,将直接导致作战模拟系统运行结果不可信.因此,任务空间概念模型的质量非常关键,如何对任务空间概念模型进行校核、验证与确认（VV＆A）是一个非常值得研究的问题.该文在建立任务空间概念模型的形式化描述的基础上,建立了任务空间概念模型的执行机制,并提出了通过概念执行来对模型进行检查的方法.结果表明,通过概念执行,可以挖掘概念模型在结构上和逻辑上的一些错误.     

基于可拓学的任务空间概念模型确认方法

任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础。所以,任务空间概念模型的质量直接影响到仿真系统的质量,而任务空间概念模型自身的VV＆A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述,以定性描述为主,定量成分非常少。因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。本文从专家法的角度借鉴可拓学的思想,引入了一种基于可拓学的任务空间概念模型确认方法。     

基于任务要地防空导弹作战试验指标体系构建

针对要地防空导弹武器系统作战试验,提出了基于任务的作战试验指标体系构建方法、流程和步骤;基于典型作战任务,综合运用层次分析法和专家咨询法对要地防空导弹武器系统的作战试验指标体系进行分析分解,以满足装备能力可定性、定量检验和评估的目的;最后,以某型要地防空导弹武器系统作战试验的指标体系构建为例,按照基本构建流程,给出了构建的具体过程和结果,检验了方法的可行性,范例只针对系统的几类主要指标进行了构建分解,完整的指标体系还需依据文中的方法继续完善。     

态势估计中的想定模型和仿真技术

通过仿真模拟获得战场数据及态势估计中算法训练、评价所需的数据类型与数量。将本体引入群体组织建模技术中,并结合作战想定生成的特点和作战仿真的需求,实现了一个基于本体的群体组织想定模型。研究表明可以通过仿真训练或者测试态势来估计分类器。     

面向航天任务综合仿真的想定生成系统研究

设计和实现了一个面向航天任务综合仿真的想定生成系统。目前,多数的想定生成系统都是为军事战术仿真服务,而所描述的想定系统,则是建立在航天任务综合仿真的基础上。航天任务综合仿真的想定生成系统有如下特点;首先,它支持同一概念模型向不同仿真模型的映射;其次,由于想定模型种类多样,模型之间关系复杂,想定生成系统在对多粒度模型支持以及想定的描述方法等方面也异于一般想定生成系统。首先定义了航天任务综合仿真的想定的内涵,并阐述了想定生成系统的特点。接下来给出了系统的组成结构,最后是系统实现方案及运行流程。     

分布仿真的建模与验模研究

分布仿真技术正在成为影响国防事业发展的关键技术之一。仿真技术将应用于对武器装备的全寿命、全系统、全方位管理 ,建模与仿真的对象将是复杂的大系统。因此 ,建模与仿真必须满足高层体系结构HLA及任务空间概念模型CMMS ,它是建立仿真的一致性与权威性表达的基础 ,同时采用新的VV&A工具     

基于CPNs场景模型的测试用例生成技术研究

将用例场景引入面向对象的软件测试中,有利于测试设计者设计测试用例。将着色Petri网(Colored Petri Nets,CPNs)模型直观可靠的特点和较好的耦合性运用到UML用例场景的描述中,进一步给出了CPNs场景模型的集成算法,并运用变色标记捕获UML规约中的场景及更多新增的场景。同时探讨了基于CPNs场景模型的测试用例生成方法。     

基于概念空间的文本分类研究

1.引言随着文本信息的快速增长,特别是Internet上在线信息的增加,文本(网页)自动分类已成为一项具有较大实用价值的关键技术,是组织和管理数据的有力手段。文本分类的方法分为两类:一是基于知识的分类方法;二是基于统计的分类方法。基于知识的文本分类系统应用于某一具体领域,需要该领域的知识库作为支撑。由于知识提取、更新、维护以及自我学习等方面存在的种种问题,使得它适用     

基于FIPER的导弹多学科优化设计

导弹的多学科优化设计是一个复杂的系统工程.整个优化设计过程也涉及到多个学科,而且学科之间存在着严重的耦合关系,简单的对独立的学科计算程序进行集成将会消耗大量的设计时间而且容易出现错误.利用先进的计算机网络技术结合较为成熟的多学科优化设计商业软件,应用多岛遗传算法对某型导弹建立了气动、发动机、飞行弹道三个学科的数学模型,分析了学科模型之间存在的耦合关系,进行了多学科优化设计研究,使导弹的总体性能得到了改进.     

基于XML的想定元素类管理的设计与实现

针对国内现有的想定编辑管理软件中存在着通用性较差、可扩展困难等问题,构建了想定元素类管理模块,分析了模块实现时需要解决的关键问题,并比较了不同实现方法的难点与不足,提出了基于XML语言的实现方法.利用XML文档描述并存储元素类数据结构.用户可通过可视化的操作界面开发特定的想定实体结构,设计了XML解释器和通用的想定对象类及其实现函数,保证想定编辑过程中正常地动态实例化元素类.实践表明利用实现的模块可以较好地满足软件系统对可扩展性和通用性的要求,具有较强的借鉴意义.     

一种基于描述逻辑的UML模型验证方法

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN（D）形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。