基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法. 首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证. 该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型. 同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

基于CADM的C4ISR体系结构一致性验证方法

近年来,体系结构验证已经成为C4ISR系统体系结构领域重要的研究方向.传统的体系结构验证方法依赖于体系结构数据的表现形式,依赖于特定的体系结构设计工具,不具有通用性.本文提出的基于核心体系结构数据模型（CADM）的体系结构验证方法可以避免这个问题,CADM是C4ISR系统体系结构数据的逻辑模型,本文首先解释了CADM的概念、然后对体系结构数据一致性验证的内容和详细步骤进行阐述,最后通过案例进行说明.     

基于DM2的体系结构数据一致性验证方法

为进行有效、规范的体系结构构建,现有体系结构大多采用美国国防部体系结构框架（Department of Defense Architecture Framework, DoDAF）作为指导,针对采用该框架构建的体系结构的数据一致性验证问题,提出了一种基于国防部体系结构框架元模型（DoDAF meta model, DM2）的验证方法。该方法直接从DM2中提取数据的一致性原则,而后利用查找出来的实体数据构建验证准则或者验证矩阵,进而完成体系结构数据一致性的判断。最后,通过一个案例进行一致性验证步骤说明和可行性分析,验证结果充分说明了该方法的有效性。     

基于描述逻辑的C4ISR系统体系结构一致性验证方法

综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。     

C4ISR体系结构描述的逻辑和行为验证

针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法.首先根据C4ISR体系结构描述过程中形成的活动模型、规则模型、数据模型,生成体系结构可执行模型,然后将可执行模型的仿真执行顺序、运行结果与作战想定以及动态模型进行对比,来对C4ISR体系结构描述进行逻辑和行为验证.用一个歼击机防空的例子来说明此个过程.     

基于DoDAF的体系结构模型设计与验证

建立体系结构模型是C4ISR系统工程的重要组成部分,它是降低系统研制风险,缩短研制周期、保证系统满足军事需求的重要手段.重点分析了体系结构产品的内容和相互逻辑关系,提出了具体的设计步骤,并就体系结构模型验证提出了思路和方法.以海上联合机动编队系统为实例,建立了其体系结构模型并进行了驱动验证,结果表明该方法步骤是可行的.     

C4ISR系统体系结构的仿真验证方法研究

C4ISR系统体系结构设计在系统研制中的地位和作用越来越受到重视,体系结构设计的质量将直接关系到系统开发的成败.体系结构验证是利用体系结构产品,将其转换为可执行模型,通过分析可执行模型的执行过程和结果,从而验证评估体系结构设计质量的方法.文章研究了体系结构验证的基本思路,利用现有的组件化建模仿真技术与环境,以部分C4ISR体系结构产品为基础构建仿真系统,通过仿真实验来进行体系结构验证,从而为体系结构验证提供技术支持.     

基于高层体系结构的计算机生成兵力关键技术研究

为了研究基于高层体系结构（HLA，High Level Architecture）的分布交互仿真系统的开发，设计了一个基于HLA的计算机生成兵力（CGF，Computer Generated Force）系统。首先介绍了HLA的结构特点，然后介绍了CGF仿真系统结构的组成以及开发的关键技术，分析了开发基于HLA的CGF系统的关键技术。最后提出了一个基于HLA的CGF仿真系统的原型系统，该原型系统的开发对于今后的进一步研究和应用有很大意义。     

CGF行为建模校核与验证初探

构建计算机生成兵力(Computer Generated Force,CGF)模型是作战仿真的一项十分重要的工作,其核心内容在于对战场中的各种人类复杂行为进行建模,包括认知行为建模和物理行为建模.可信性是行为模型的至关重要的品质.在行为建模的全生命周期中进行校核与验证(Verification and Validati...     

基于图规约法的TCPN工作流网模型的验证方法

针对经典Petri网的一些固有缺陷，对其在颜色、时间上进行了扩展，并结合工作流网的概念，给出了基于TCPN（Time-Color-Petri Net）的工作流网的定义。文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明．在此基础上，运用这些规则对复杂工作流模型的算例进行逐步规约，验证了模型的合理性。     

基于语义推理的作战计划验证方法

针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理,以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明,该方法可实现对专家知识的扩展,能够发现联合作战行动过程开发的异常与不兼容,由此提高作战计划正确性检验的效率。     

动态一致性风险度量

以投资期限的划分为分界点,提出了静态和动态两种类型的金融风险度量方法.以风险度量的一致性标准为纽带,分析和证明了动态风险度量的一致性.最后,对一般概率通过函数变换,应用Choquet积分思想,对动态一致性风险度量的特征进行了探讨,指出它在实际应用中为多期风险度量方法提供的理论依据,对长期组合投资具有重要的现实指导意义.     

基于时序图的作战指挥行为知识表示学习方法

为深入探索时序作战指挥行为知识的建模方法,实现对具有时序关联特征的指挥员作战指挥行为的有效表征,以兵棋推演作战指令为基础,提出一种基于时序图的作战指挥行为知识表示学习方法,对作战指挥行为进行知识表示学习,并通过作战指挥行为预测任务验证模型的有效性。实验结果表明,提出的方法对于评估指标提升较大,能够有效捕捉想定场景下联合作战指挥员的作战指挥行为时空特征,为时序作战指挥行为知识的表示学习提供了可行范例,为联合作战指挥员的指挥经验抽取和联合作战态势认知提供基础。     

基于时序图的作战指挥行为知识表示学习方法

为深入探索时序作战指挥行为知识的建模方法,实现对具有时序关联特征的指挥员作战指挥行为的有效表征,以兵棋推演作战指令为基础,提出一种基于时序图的作战指挥行为知识表示学习方法,对作战指挥行为进行知识表示学习,并通过作战指挥行为预测任务验证模型的有效性。实验结果表明,提出的方法对于评估指标提升较大,能够有效捕捉想定场景下联合作战指挥员的作战指挥行为时空特征,为时序作战指挥行为知识的表示学习提供了可行范例,为联合作战指挥员的指挥经验抽取和联合作战态势认知提供基础。     

基于KL距离的交互式动态影响图近似算法

交互式动态影响图(interactive dynamic influence diagrams, I-DIDs)状态空间太大,候选模型的数量随时间变化而呈指数倍增长。针对其备受计算量困扰的问题,提出一种利用近似行为等价原理与区别模型更新算法(discriminative model updates,DMU)相结合的近似算法。首先给出了基于Kullback-Leibler (KL)距离模型行为等价和近似行为等价的定义,然后基于KL 距离和候选模型的动作对候选模型聚类,自上而下合并策略树形成策略图,最后利用DMU算法进行求解。仿真结果表明,相对于传统的DMU算法,所提近似算法能显著降低候选模型的数量,提高I-DIDs的效率,对I-DIDs的理论及应用研究具有参考价值。     

基于频域生成图的随机运输路径优化

根据运输系统的不确定性、开放性、复杂性等特点,以各种概率分布函数的运输路径优化问题为研究对象,提出了一种用于搜索随机运输网络中最优路径的频域生成图模型(Frequency-domain Spanning Graph, FSG), 并设计出相应的优化算法来求解问题模型.FSG通过时频域间概率函数的相互转化,可直观地定量分析出O-D对之间通行概率的动态变化过程, 既能处理连续概率分布又能处理离散经验分布, 且算法易于计算机化,实现效率高. 最后结合MATLAB给出的算例,验证了模型和算法的可行性和有效性, 显示出FSG具有良好的应用前景.     

基于UML&OPN的C4 ISR系统体系结构仿真验证研究

基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品.根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型.通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效,合理地评估系统的性能.     

基于知识的仿真模型验证方法的研究

针对仿真模型验证过程中缺少参考数据的情况,提出一种基于知识的仿真模型验证方法.首先将仿真系统的行为分割成各种基本行为模式,然后提取出行为特征,最后将已提取出的仿真系统行为特征与知识库中的专家知识进行比较,实现仿真模型的验证.实验表明,该方法能够较好的解决仿真模型验证中缺少参考数据的问题.     

基于控制论的计算机生成兵力实体对象行为模型

实体行为建模是计算机生成兵力(CGF)研究的重要内容。基于控制论的基本思想，提出适应虚拟战场需求的虚拟实体对象行为模型ESCP。ESCP行为模型由感受器、效应器和控制器三部分组成，感受器感知虚拟战场环境信息和内部反馈事件，效应器反映CGF实体对象对虚拟战场环境的作用，控制器对感知的虚拟战场环境信息进行处理，并对实体的行为进行控制。ESCP支持复合行为、协同行为以及行为并发，行为可重用。     

基于功能的武器装备体系结构描述方法

针对武器装备体系的特殊性,提出了一个武器装备体系结构描述框架。在分析体系结构数据要素的语义关系基础上,提出了基于功能的体系结构描述方法。该方法通过核心实体及其关系确定了产品集和描述内容,并围绕对体系结构数据要素的创建与引用,给出了一种武器装备体系结构系统视图产品的开发流程。以美军网络中心战的精确打击体系为例进行了实例研究,验证了方法的可行性。