潜力动员资源OWL本体模型构建方法及应用

针对国防动员过程中军地双方对庞大的国防潜力资源描述不一致的问题,基于本体论的思想,提出构建基于OWL的潜力动员本体模型的描述方法;该方法按照本体构建的一般流程,通过综合地方资源和部队需求的描述要求,声明统一的描述规则,运用OWL进行形式化描述,完成潜力动员本体模型的构建;以国防潜力资源中的交通运输类为例,验证了该方法的可行性和有效性.     

面向敌方作战行动过程的本体构建

为使各级指挥员系统一致地理解敌方在某阶段作战的内涵及执行过程,对敌方作战行动过程的形式化描述方法进行深入研究.在理解态势分析过程和实质的基础上,提出基于知识发现的敌方作战行动过程构建框架,利用六元组结构给出其形式化定义.对作战行动过程中所涉及到的概念属性集及其层次关系进行详细描述,通过UML建模语言构建作战行动过程本体模型.结果表明:该研究可表达敌方在执行某一作战行动过程中的整体特征规律,并实现战场态势内容共享.     

一种基于装备画像的武器装备数据化方法

为了克服装备数据芜杂性对数据挖掘应用的制约,基于特征工程理论,提出了一种基于装备画像的武器装备数据化方法。基于特征工程中的特征和特征向量的概念,给出了装备标签、元标签、装备画像和视角的概念及其形式化描述;研究了装备标签的建模方法,对装备标签进行分类并分别研究了不同权值的确定方法,给出装备标签创建的一般性原则;分析了装备画像的优势和需要进一步解决的问题。     

面向非计划维修停机时间分析的装备维修过程有色Petri网模型

在总结装备非计划维修过程特点的基础上，进行了非计划停机时间组成及影响因素分析。采用有色Petri网建立了多类任务并行维修的过程模型，实现了维修资源动态组合和服务台数量动态变化的形式化建模。结合维修任务生成模型，实现了装备非计划维修停机时间分析功能，最后进行了实例研究。     

基于蒙特卡洛仿真和遗传算法的车辆装备保障运输网络优化

车辆装备保障运输网络优化是影响非战争军事行动任务效果的关键环节。传统方法描述随机且不连续装备保障需求的能力弱,应用于非战争军事行动车辆装备保障运输网络优化方面,会导致结果不稳定。为解决这些问题,提出了基于蒙特卡洛仿真和遗传算法的车辆装备运输网络优化模型。结合非战争军事行动特点,利用边界条件设定,保障资源调度优化函数及保障资源约束条件设置,构建了车辆装备保障运输网络优化模型;采用遗传算法,在路网和运输路径两个层次对车辆装备保障运输网络进行寻优,进一步提高了运算结果的稳定性。通过残差分析验证了该模型的有效性。     

多无人机协同工作流建模与分析

多无人机协同执行任务能够提升无人机的作战效能和生存性,而协同方法是协同的基础;描述了基于工作流的多无人机协同方法;通过分析单个无人机工作流执行过程,建立单个无人机工作流,研究了协同工作过程;引入Petri 网理论,使用基本 Petri 网形式化描述协同工作流,构建了多无人机协同工作流 Petri 网模型;针对所建立的协同工作流 Petri 网模型,通过构建和分析相应的可达图,验证了多无人机协同工作流的有效性;结果表明：所建立的多无人机协同工作流是有效的,基于工作流的协同方法是可行的。     

基于TOPSIS法的装备综合水平评估研究

在分析装备调配保障原则和TOPSIS法原理基础上,建立了部队装备综合水平评估模型,设计开发了综合评估系统,并以装备满编率、完好率和新装备占比构建指标体系进行了评估检验,为装备调配保障方案优化提供了有效手段,对提高装备调配保障能力具有重要意义。     

面向任务的维修资源配置决策支持系统研究

主要讨论了面向任务的维修资源配置决策支持系统所需的模型和设计方案,采用形式化描述方法,建立了装备任务、结构、维修过程和维修资源之间的关系,解析和仿真相结合,研究了战前和战时的维修资源优化配置模型及算法,并设计得到面向任务的维修资源配置决策支持系统的结构和功能组成,为该类决策支持系统的设计与开发提供了思路。     

支持产品智能化设计的知识服务方法研究

为实现产品智能设计中计算性问题和推理决策性问题的求解以及二者的有效结合,提出一种支持产品智能化设计的知识服务方法,即包括知识服务策略的制定和知识环境的构建两个方面。该方法通过分析设计知识自身特点以及与设计过程之间的关系,将设计知识分为业务领域、经验规则、实例方案和算法模型4种类型,并针对不同类型知识制定相应的服务策略;基于知识模板和组件模板对不同类型的知识进行形式化描述,并给出基于本体的设计知识语义建模流程;通过方案评价、方案修改将设计知识融入到基于实例推理活动中,实现知识的辅助决策;对设计工具进行集成和过程封装,实现了自动化计算。设计开发了基于知识的智能设计系统,并以枪管为对象进行了实例验证,证明了所提方法的有效性。     

面向语义的物联网战场感知模型

针对当前物联网语义化研究因在战场空间知识表示各成体系而导致的互操作困难等问题,构建一种将本体论的方法应用于物联网战场感知语义模型。基于本体论的概念建模思想,分析了本体建模方法,通过描绘语义网络关系,实现了相关概念、关系、属性、实例的规范化、形式化定义和描述,以及语义模型的可视化,利用Jess实现了自动推理。实例分析表明,该模型为进一步研究基于本体论的物联网应用模型奠定了基础。     

武器装备体系能力形式化描述研究

针对目前武器装备体系能力描述精确性及规范性存在的不足,在深入研究武器装备体系能力、能力指标体系、能力关系以及能力层次结构等相关内容基础上,提出一种基于本体理论的武器装备体系能力形式化描述方法。并以空战武器装备体系超视距空战能力为例,对其进行形式化描述。实例研究表明,该方法可大大提高武器装备体系能力描述的精确性,为今后能力分析提供精确可靠的基础数据。     

基于可拓理论的装备参数聚合规则研究

针对复杂装备参数计算、武器装备体系综合评估的问题,提出基于可拓理论的装备参数聚合方法。通过分析现有指标聚合方法的特点,提出基于可拓理论建立装备参数聚合规则的需求。结合可拓变换的原理和典型案例,重点分析由装备个体到装备单元的聚合思路和方法,同时给出不同层次聚合的多种聚合关系式,并结合网络中心战思想,以电子信息装备体系为例建立8种装备参数聚合规则。结果表明,该研究可为武器装备体系作战能力评估提供一种新的思路。     

基于可拓理论的装备参数聚合规则研究

针对复杂装备参数计算、武器装备体系综合评估的问题,提出基于可拓理论的装备参数聚合方法.通过分析现有指标聚合方法的特点,提出基于可拓理论建立装备参数聚合规则的需求.结合可拓变换的原理和典型案例,重点分析由装备个体到装备单元的聚合思路和方法,同时给出不同层次聚合的多种聚合关系式,并结合网络中心战思想,以电子信息装备体系为例建立 8 种装备参数聚合规则.结果表明,该研究可为武器装备体系作战能力评估提供一种新的思路.     

基于UML 的陆军信息火力战概念建模

陆军信息火力战在未来作战中的地位十分重要,为满足信息火力战仿真需求,对陆军信息火力战概念建模问题进行了研究。简述了军事概念建模的基本概念、建模过程,在对陆军信息火力战格式化描述的基础上,采用统一建模语言对其进行形式化描述,分别建立了陆军信息火力战静态模型和动态模型。通过建立陆军信息火力战概念模型,实现了军事人员和技术开发人员间的交流,为下一步陆军信息火力战仿真奠定基础。     

基于系统六元理论的仿真概念模型描述方法研究

依据系统六元抽象理论,以战术级装备保障为例,建立装备保障系统到概念模型的六元模型.将系统范畴、要素、结构、状态、运行和功能6个方面分别映射为装备保障仿真概念模型的任务空间、仿真实体、实体关系、实体状态、实体行为和实体交互,形成规范统一的、便于军事领域人员与仿真技术人员理解和使用的装备保障仿真概念模型描述内容体系框架.结果表明:该研究能进一步规范装备保障仿真概念模型的描述,为装备保障系统概念模型的开发提供可供参考的模型.     

形式化规范测试模板框架的研究

采用基于形式规范的测试模板框架(TTF)可使测试规范通用化.测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息.并使用结构法建立测试模板的层次,简化测试数据的导出,确定测试功能单元的有效输入空间,再细分为要求的子集或域,以得到最终测试数据模板.     

通用自动测试系统资源的标准化描述方法

通用自动测试系统资源的标准化描述,采用INI文件格式建立系统资源模型.系统设备模型先描述系统仪器静态资源,再定义仪器在测试系统中的能力及信号端口与开关资源的连接关系.开关资源的配置模型主要描述测试系统开关资源的输入、输出关系.适配器信号转接及调理关系描述包括开关资源输出端口到UUT信号节点的对应关系及适配器对信号的变换调理关系.