支持部队模拟训练的指控与仿真系统互操作性语言

部队指控系统的广泛应用对指控训练提出更高要求.仿真系统开始越来越多地应用于训练中,为之提供真实的指控训练环境.部队模拟训练系统中实装指控系统与基于仿真的训练支撑环境的互操作性问题是一个急待解决的问题.互操作性概念参考模型用于确认两者间交互的信息类型,是互操作性研究的基础.模拟训练系统中互操作性研究的重点集中在指控与仿真系统互操作性语言的研究上,主要体现在公共数据模型、形式化语法和形式化语义3个方面.     

军事概念模型的仿真想定生成

研究仿真想定的规范化开发问题,针对目前存在的想定与仿真模型紧耦合等问题,为改善想定的重用性,提出了基于军事概念模型的仿真想定生成方法,将仿真想定的开发分为想定结构化描述和想定形式化描述两个阶段,设计并实现了基于军事概念模型的炮兵仿真想定生成系统,经实验表明有效实现了想定与仿真模型的分离,提高了想定的重用性。     

C4ISR系统层次化建模方法

建模仿真是对C4ISR系统进行分析设计的重要手段。针对C4ISR系统的特点,提出了一种层次化建模的方法,对系统的多层抽象、模型的形式化描述和模型组合等问题进行了研究,最后给出了一个简单的示例。     

C4ISR系统层次化建模方法

建模仿真是对C4ISR系统进行分析设计的重要手段.针对C4ISR系统的特点,提出了一种层次化建模的方法,对系统的多层抽象、模型的形式化描述和模型组合等问题进行了研究,最后给出了一个简单的示例.     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

隐身飞机突防建模及低可探测性轨迹规划

针对隐身飞机突防飞行规划,分析了隐身飞机对警戒雷达网突防过程问题特性,建立了雷达探测模型与组网警戒雷达信息融合模型;综合考虑隐身飞机的隐身能力、预警时间和燃料消耗将隐身飞机低可探测性轨迹规划问题形式化为一个复杂多目标非线性连续时间最优控制问题;并提出基于伪谱法的低可探测性轨迹规划方法。仿真实验实现了在组网警戒雷达下隐身飞机的低可探测性突防轨迹规划,证明了方法的可用性和有效性。     

水下武器仿真系统的可组合性

针对水下武器对抗仿真系统(Underwater Weapon Confrontation Simulation System,UWCSS)的特点,分析了UWCSS的层次,提出了针对水下武器对抗仿真系统可组合的形式化方法。系统研究了仿真实体及其属性、实体关系、实体的内行为、实体之间的交互以及仿真过程的形式化描述问题,为水下武器对抗仿真系统的组合性开发提供了理论支撑。     

指控领域模块化本体开发方法

部队指控系统的广泛应用对指控训练提出更高要求。仿真系统开始越来越多地应用于训练中,为之提供真实的指控训练环境。部队模拟训练系统中实装指控系统与基于仿真的训练支撑环境的互操作性问题是一个急待解决的问题。指控领域本体用于对实装指控系统与基于仿真的训练支撑环境间命令、请求和报告等交互信息进行形式化语义描述,解决二者在语义层次的互操作性问题。指控领域模块化本体开发方法对现有开发方法进行了改进,更加符合本体构建原则,主要体现在指控领域模块化本体的量化评价和指控领域本体模块的集成这两个方面。     

基于多Agent系统的无人机智能指挥控制系统

无人机是一个具有自治性和反应性的智能系统,结合Agent的特性,将多Agent系统引入无人机智能指挥控制系统的研究与开发中.由于该系统具有复杂的动态结构和行为特征,提出了一种面向Agent的Petri网,用于系统的建模和分析,最后建立了无人机Agent、指挥中心Agent及系统的形式化模型.面向Agent的Petri网不但能描述系统的静态和动态语义,还可利用Petri网的支持工具对系统进行模拟和分析,在无人机智能指挥控制系统研究中具有较好的应用前景.     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

作战体系超网络模型及应用

作战体系是由实体节点、各节点之间的物理、逻辑关系,以及实体节点之间的“流”交互、输送、聚集、融合所构成的复杂系统,基于单一要素的网络模型不能反映作战体系的复杂构成和整体结构。本文从军事需求出发,提出了社会任务—指挥控制—物理资源多层超网络模型,用以反映作战体系的复杂构成及结构形态。并通过形式化描述对网络之间的相互交互与映射关系进行规范,接着对模型应用中的关键技术作了初步探讨,模型为研究军事组织指挥、控制问题提供了一种新的工具和思路。     

改进合同网协议的Agent动态任务分配

针对导弹作战任务规划中的动态任务分配问题,研究了MAS框架下任务分配的形式化描述和数学模型,对动态任务分配的特点进行了分析,运用合同网理论,提出了基于改进合同网协议的Agent动态任务分配算法,实现了对不确定开放环境中动态变化的任务分配方法。算例表明算法是有效的。     

装备维修系统的组织模型研究

综述了组织模型的研究现状,用维修组织的存在环境、构成要素、维修目标、维修策略和存在时间建立了复杂装备维修系统的形式化模型,分析并研究了维修组织要素之间的交互、隶属与协作关系,定义了维修系统的元组织。该方法可描述动态复杂条件下的维修系统,有利于装备维修保障信息系统的计算机建模与实现。     

基于SOA的C~4ISR可执行体系结构

现有的C4ISR可执行体系结构验证评估过程中面向特定的作战想定,难以描述和验证系统资源之间的动态连接关系以支持作战视图中作战任务过程的动态变化.结合SOA思想对C4ISR体系结构框架进行扩展引进了服务视图,通过分析服务视图与原有作战视图和系统视图产品之间的关系,提出一种基于SOA的C4ISR可执行体系结构框架,详细分析了引进服务视图之后C4ISR体系结构的执行过程.     

面向战争设计工程的作战信息建模方法

首先对战争设计工程研究问题的思路进行了分析,给出了问题中存在的作战信息的结构.按照作战信息的结构,从实体、关系、任务、过程、交互5个方面,给出了作战信息的结构化、形式化建模的规范,主要为异质领域专家在理解问题、认识问题、表达解决思路中提供一定程度上的帮助,提高了战争设计工程的研究效率.     

基于仿真的装备维修保障系统探索性分析方法研究

在基于仿真的装备维修保障系统运行评价的研究实践中,遇到输入影响因素多,因素取值调整复杂的现实问题.针对这一现实需求,将探索性分析思想引入装备维修保障系统的评价中.首先利用数学形式化建模方法,研究基于仿真的装备维修保障系统探索性分析方法的问题实质,在此基础上,提出基于仿真的装备维修保障系统探索性分析方法的研究路线,对所涉及的关键问题逐一进行分析,进而提出解决各个关键问题的技术途径.     

C4ISR系统开发的仿真模型描述研究

C4ISR(Command、Control、Communication、Computer、Intelligence、Surveillance and Reconnaissance)系统开发的仿真模型涉及多个应用领域,具有多粒度、阶段相关性等的特性.本文提出了C4ISR系统开发的仿真模型体系,给出了仿真模型的规范化描述....     

基于OPN的军事信息服务组合模型构建方法

介绍了军事信息服务的基本含义,给出了基于对象Petri网的军事信息服务组合模型的形式化描述方法,构建了军事信息服务组合模型的基本结构,并针对一个具体的防空反导作应用案例,使用国防科大对象Petri网建模仿真环境工具开发了相应的军事信息服务组合模型,并对组合服务进行了简要分析。实践表明,该方法能满足军事信息服务组合模型构建的需要,并具有良好的服务建模与仿真分析能力。     

A transportation problem with competition

The classic transportation problem can be generalized with many carriers and one owner. From the formulation the competition in sense of game theory naturally appears. Here we present and solve this problem using a generalized n-person game. Besides the same composition properties about solutions and regarding zones, related results are considered. Finally, the problem in which there is a modification of the set of destinations assigned to the carriers is also studied.     

防空火控系统火力分配的多目标优化研究

在防空火控系统的研究中,如何充分发挥火力单元的作战效能,使来袭目标遭受最大的毁伤,是火力分配研究的一个关键问题.通过对防空火控系统的分析,给出了防空火控系统火力分配的问题描述,并建立了基于指派问题的火力分配数学模型.提出了威胁度计算的改进方法.在使防空高炮群对威胁度大的目标造成大的毁伤分配准则下,研究了利用匈牙利法求解指派问题时的具体方法.经仿真验证,此火力分配方法合理、有效.