面向架次率的机场资源配置优化模型

架次出动率是评价军用飞机作战能力的一项重要指标.面向架次率这一重要指标,基于排队理论和边际分析法建立了机场资源配置优化模型.首先建立架次生成过程的闭排队网络模型,使用平均值分析方法获得给定资源配置下,任意架飞机参与飞行时的架次出动率;然后结合平均值分析算法和边际分析方法,综合考虑资源的价值和对架次率的影响,建立面向架次率的资源配置优化模型.此模型可为机场资源配置提供决策方案,并通过一个实例介绍了本模型的应用.     

航天测控系统任务可靠性分析的EOOPN模型

提出了一种可用于航天测控系统任务可靠性分析的扩展面向对象Petri网（extend object-oriented Petri nets, EOOPN）模型,旨在对给定的航天测控方案进行可靠性评估分析。针对问题特点明确了OOPN扩展思路,给出了EOOPN模型的形式化定义、运行规则和建模步骤,模型通过引入公共库所、激发弧、消息变迁和消息处理函数等概念,体现了面向对象的思想,具有很好的层次性和模块性。所建立的EOOPN模型能够完整的描述航天测控系统的组成和任务特点。通过对算例模型仿真运行,表明实验结果具有良好收敛性,与Markov解析值对比误差在1%以内,从而验证了模型的有效性。     

改进型JDL模型在武警部队院校信息化建设中的构建

在武警部队院校的网络信息化水平迅速发展的今天,由于各功能模块缺少统一的接口规范和能够协调各部门信息共享的机制,使得建成的各个功能模块之间无法共享信息,造成了数据库中信息的大量冗余和重复。结合数据融合技术的基本原理、发展现状和应用前景,对数据融合技术进行了介绍;针对武警院校信息融合的需求,提出了改进型JDL模型,分析了武警院校信息融合网络的服务架构层次,对信息融合网络中的核心问题信息共享、接口规范、数据融合进行了研究;利用模块化设计的思路,对原型系统进行了分析,对实验数据进行了重组,并提出了数据优化方案。     

军事通信网络系统可靠性分析和链路敏感性分析

军事通信网络系统可靠性分析、仿真与评估问题,是研究军事通信网络系统效能问题的重要分支。本文提出了军事通信网络系统可靠性数值仿真及链路敏感性分析的优化计算方法,可以进行大型军事通信网络系统可靠性和链路敏感性分析。即对于大型军事通信网络系统,当给定各个链路的可靠性指标条件下,分析通信网络系统的可靠度和各个链路对通信网络系统可靠度的影响。     

标准化全连接残差网络空战目标威胁评估

针对空战态势中威胁评估传统方法存在缺乏自学习能力和面对大样本数据集推理能力不足的问题,提出了利用深度学习的基于标准化全连接残差网络空战目标威胁评估的方法。将影响空战目标威胁的主要因素作为输入,利用普通全连接神经网络训练模型的自学习能力,结合批量标准化(Batch Normalization)的优化算法和结构优化的残差网络(ResNet)增强网络的自学习能力,比较了样本的标记和网络模型的输出。分析了训练样本个数对网络训练准确率和损失变化的影响,对比了3种不同数据量下的训练模型在同一测试集下测试的准确率和损失变化。结果表明,该方法可以快速准确地评估空战中目标的威胁程度。     

基于TOPSIS算法的防空通信网络系统效能评估

简要分析了防空通信网络系统的主要任务,建立了防空通信网络系统的效能评估指标体系。提出了利用TOPSIS算法进行防空通信网络效能评估的方法,可根据影响通信网络系统效能的指标及权重,对不同组网方式下的防空通信网络系统效能进行评估。示例表明,利用TOPSIS算法可对防空通信网络效能进行评估排序,能够为指挥员的决策规划提供参考。     

信息/求解 Petri 网系统

绝大多数 Petri 网在变迁发生后前集库所会失去标记,不便于表达一个条件一旦具备将永远具备的情形.针对该问题,基于0-1标识与变迁发生后其前集不失去标记的思想,提出了信息/求解扩展 Petri 网系统(I/S系统).给出了I/S系统的相关定义、部分基本性质、矩阵表示、求解发生权向量的求法和状态方程.最后,给出了以I/S系统表示的几种常见滑模变结构控制策略的设计过程,该例显示了I/S系统的模型表达能力.     

装备物资供应业务流程重组研究

为了适应信息化战争的需求，提高部队装备物资供应系统的敏捷性和可靠性，基于信息共享和业务流程的并行、同步化，建立了一个基于协调决策中心的物资供应系统模型，基于该模型对装备物资供应业务流程进行了重组，并提出了对装备物资供应系统业务流程进行重组应注意的一系列问题。重组后的装备物资供应系统可以有效地减少信息流经的环节和可能的信息失真，优化保障资源配置，提高物资供应的敏捷性，增强物资供应的主动性和针对性。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

基于Ptolemy Ⅱ的传感器网络建模与仿真

提出了一种基于传感器网络的目标定位系统的模型，利用PtolemyⅡ建模仿真平台完成该传感器网络目标定位系统的系统级行为描述，同时对该目标定位系统进行建模与仿真，分析了传感器网络目标定位系统的诸多影响因素，并对仿真模型进行了命中率性能测试。测试结果表明，传感器网络目标定位系统对于传感器节点的功耗及信息时间同步窗口具有敏感性，符合传感器网络目标定位系统应用特性，Ptolemy嵌入式系统级设计方法学对指导传感器网络系统设计具有重要意义。