不确定性作战任务形式化描述方法

针对复杂作战环境下作战任务的不可预知性特点,对不确定性任务的形式化描述方法进行了深入研究。分析不确定环境导致的任务分解和执行过程中存在的不确定性因素,从任务本身的不确定性、任务之间关系不确定性以及作战单元执行不确定性等方面,对不确定性任务进行了形式化描述,提出了不确定性任务形式化描述流程,最后通过一个实例对所提方法进行了验证。     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

面向体系的目标选择形式化描述及分析

针对信息化条件下各类目标相互作用反制作战能力倍增的特点,进行面向体系目标选择的相关问题分析。通过分析目标体系的概念和层次结构,建立目标选择的概念模型,并进行目标选择的形式化描述与分析,提供了一种研究军事概念模型的思路和方法,有助于目标选择决策支持系统的开发与验证。     

基于面向对象思想的作战单位形式化描述方法

为了使各军事仿真系统一致地理解作战单位的含义和能力,对作战单位的形式化描述方法进行了深入的研究,提出了一种基于面向对象思想的作战单位形式化描述方法。首先,分析作战单位的属性和构成,对其属性进行抽象和封装,得到作战单位类的静态属性,进而形成作战单位的描述规范;然后,为了使其可以在不同分辨率的系统平台上应用,在描述规范的基础上,采用聚合方法对作战单位之间的动态关系进行描述,得到作战单位类的动态方法,并给出了适用于该描述规范的作战单位聚合方法;最后在一体化仿真系统中应用了所提出的作战单位描述方法,证明了该描述方法的可用性和有效性。     

C2组织指挥控制关系的形式化描述*

针对C2组织的指挥控制关系目前还缺少很好地形式化描述方法,其量化研究比较困难,从C2组织的实体及实体之间的关系出发,形式化描述C2组织指挥(纵向)关系、横向关系、资源配置关系、执行关系等四种关系,最终构建出一个指挥控制关系网,为运用复杂网络理论以及图论等方法对指挥控制关系的量化分析研究提供基础。     

作战任务的形式化描述及其过程表示方法

为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系。依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程。通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题。     

面向语义的作战命令形式化描述及本体构建

作战命令是联系C2系统与M&S系统之间的重要纽带。为保证进行联合作战训练的C2系统与M&S系统对作战命令具备一致的理解和认识,需要对作战命令进行统一的描述。首先从作战命令的形式化描述入手,在描述的基础上形成了作战命令本体,然后介绍作战命令本体构建方法九步法。最后,对作战命令本体进行了构建,为下一步利用基于本体的作战命令驱动仿真模型的研究打下良好的基础。     

技术保障信息化分布式数据库系统研究

针对我军装甲装备技术保障信息化建设的特点和要求,应用分布式数据库理论,提出了建立装甲装备技术保障分布式数据库系统的方法,阐述了实现该系统的设计要求和关键技术。     

分布式数据库技术研究

针对Ｃ３Ｉ系统对军用数据的实用需求,文章重点对分布式数据库技术进行了研究,并对分布式数据库的Ｃ３Ｉ系统应用提出了具体应用建议。本文可对Ｃ３Ｉ系统工程总体技术设计提供参考。     

分布式数据库系统中数据一致性维护方法研究

分布式数据库系统是数据库领域中的一个主要研究方向 ,数据一致性维护是分布式数据库系统中的一个非常关键的技术问题。在深入分析和比较各种维护数据一致性方法的基础上 ,提出了一种较为有效的维护数据一致性的方法 ,详细论述了该方法如何解决并发执行引起的冲突问题 ,以及如何利用消息队列机制保持各数据副本的一致     

分布式战术数据链网络规划中的数据库设计

以分布式战术数据链网络规划为研究对象,在设计了分布式战术数据链网络规划系统结构图的基础上,重点对数据链网络规划中数据库的设计进行分析。通过分析数据库设计需求提出了设计方法,然后根据不同的部门职责对战术数据链网络规划的参数进行拆分、组合,设计了网络规划数据库的实现方案。最后,利用Power Designer软件建立了概念数据模型和物理数据模型,实现了既能存储数据链网络规划内容,同时满足分布式网络规划系统要求的数据库存储结构。     

数据库中关联规则的并行/分布式采掘技术

高效的并行/分布式采掘方法是数据库中关联规则发现技术的重要的研究方向,首先给出了关联规则的并行/分布式采掘的相关描述,针对关联规则并行/分布式采掘的基本思想,分析算法中可以改进效能的环节,提出生成更少候选集、局部剪枝、减少通讯量和优化扫描等提高性能和降低复杂度的方法。     

军事行动风险管理研究

本文分析了军事行动风险管理的特点和原则,提出了军事行动风险管理的程序和模型,并对加强我军风险管理实践提出了一些建议。     

网络空间攻防对联合作战体系支援度评估研究

定义了网络空间攻防对联合作战体系支援度的概念,构建了支援度网络化评估指标体系,建立了支援度评估模型,并运用灰色聚类——模糊综合评价法,对网络空间攻防演习支援度进行评估与分析。结果表明,所提出的支援度评估理论与方法具有合理性、可行性和有效性,能够为网络空间攻防支援行动的指挥决策提供辅助支持。     

特种作战力量网络空间防御作战效能评估方法?

根据特种作战力量网络空间防御作战系统的结构模型的预警、保护、检测、响应和恢复五个方面,按照指标的不同类型和特点,利用模糊综合评判法对指标进行量化、一致化和标准化处理,利用层次分析法确定各指标的权值,最后利用综合加权法建立综合效能评估模型从而实现对网络空间防御作战的效能评估。该方法适用性和实用性强,为网络空间防御作战效能的评估提供一种方法和思路。     

现代灭火救援行动中安全隐患探析

以现代灭火救援行动中存在的安全隐患为切入口,归纳出爆燃、危险品、烟雾、高温、井坑池、电流和建筑物坍塌等七种主要威胁灭火人员安全的危险隐患,详细解析了这七种危险源形成原因和危害特点,并针对灭火救援行动,提出了相应的防范措施。     

浅析联合作战中信息对抗的主要特点

联合作战是未来战争的基本作战样式,受联合作战这一特殊的背景和环境影响,联合作战进攻战斗中信息对抗呈现出极强的时效性、高度的融合性、全程连续性等特点。