摘要：并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用。然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能。并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业界中得到了成功的应用,但是PDES和PMC是基于不同的建模语言实现的,现阶段要对PDES模型进行验证需要专门设计基于PMC建模语言的模型,不仅耗费资源、时间,而且容易出错。为了实现PDES和PMC的有机结合,提出了一种支持PDES和PMC的统一的建模语言——扩展事件图(Extended Event Graph,EEG),它对事件图在模型同步方面进行了扩展,然后通过转换机制,该建模语言使得用户只需建立一个模型,就能够既进行PDES又利用并行模型检验方法对PDES模型进行形式化验证。最后通过实验验证了基于EEG建立的模型既可以进行PDES又能够进行PMC。

摘要：在分析某军事指挥自动化系统需求的基础上,设计基于HLA的总体方案,采用软硬件相结合的思想实现通信联邦成员。介绍联邦对象模型模板(OMT)的设计与实现方法,给出所有联邦成员加入该联邦的实例。结果表明,该仿真系统能够较好地满足部队基层训练的要求。

摘要：应用分布交互仿真高层体系结构HLA和VR技术,结合C4ISR系统特点,设计了基于HLA和VR的C4ISR系统仿真平台体系结构,并介绍了三维虚拟场景构建、盟员模型、仿真对象模型以及盟员接口线程的开发过程。

摘要：针对军事训练游戏关卡设计校核与验证问题,分析了军事训练游戏关卡设计流程,研究了军事训练游戏关卡设计文档需要校核与验证的内容,提出了军事训练游戏关卡设计校核与验证的五项指标以及军事训练游戏关卡设计校核与验证实施步骤。研究的内容对军事训练游戏关卡设计的校核与验证工作具有很好的指导作用,军事训练游戏项目管理人员可以参考提出的校核与验证内容、指标、步骤组织实施关卡设计校核与验证。

摘要：针对当前分割方法不能兼顾可见光与近红外光谱的异质噪声虹膜图像的分割精度与效率问题,提出一种基于注意力机制与密集多尺度特征融合的编-解码网络。首先,引入基于深度可分离卷积的改进残差瓶颈单元,降低参数量与计算量的同时防止信息丢失与梯度混淆;其次,改进密集空洞空间金字塔模块的空洞率组合并放置于编码器后,以增强多尺度特征融合;最后,设计了一种高效并行空间-通道注意力模块,将该模块添加至每个下采样层与解码器之后,提升对噪声目标与虹膜像素的分辨能力。在3个公开虹膜数据集上的实验结果表明:所设计网络的平均F1分数与平均交并比(mIoU)均优于已有算法;空间占用、参数量、计算量分别比基准网络减少41%、41.77%、65.35%;有效改善了对多个光谱噪声虹膜的分割性能且更易部署于移动端设备,能够更加高效、精确地分辨噪声与虹膜目标。

摘要：为了适应战术互联网移动子网网络拓扑变化快、链路易断裂、可能存在单向链路、负载不均衡等特点,对传统AODV协议进行改进.在选路时考虑链路的稳定性和节点的负载,在RREQ报文加入前向节点列表防止单向链路,节点选取两条最优路径作为主备路由,设计了一种适合战场环境的MSAODV(Mobile subnet based AODV)路由协议,并进行了仿真对比.OPNET软件仿真结果表明,MSAODV路由协议能够提高战术互联网移动子网的网络性能.

摘要：为提高无标识软件缺陷预测的准确性，提出一种谱聚类与混沌免疫相结合的软件缺陷预测方法。该方法首先将谱聚类算法引入到软件缺陷预测领域中，然后针对谱聚类算法中K-Means局部收敛的缺点，用一种混沌免疫聚类算法来替换K-Means算法。同时，在免疫克隆选择算法的框架下，借鉴混沌和免疫理论，设计免疫克隆聚类适应度函数计算方法，并给出分层混沌变异算子，以实现种群多样性的增加，促进无标识软件缺陷数据预测精度的提高。在Iris和3组商业软件模块数据集上进行了仿真实验，实验结果验证了该方法的有效性。

摘要：通过将主成分分析(PCA)方法集成到树突细胞算法(DCA)的数据预处理过程中,提出一种可实现信号自动提取,并根据数据及时更新信号提取方案的PCA-DCA算法。利用PCA对样本高维数据进行降维处理,根据贡献度提取输入信号,通过改进的DCA算法对抗原进行分类与检测;通过监测记录的高维数据,不断更新主成分特征向量,保证降维后数据的有效性。通过KDD CUP99数据集对该算法进行验证,相较传统DCA算法,该算法实现了对多维数据的降维处理及对DCA输入信号的自动提取,对异常数据更加敏感,检测效率更高。

摘要：为了提高虚拟士兵的真实度与可信度,在分析现有研究成果的基础上,依据生物记忆原理和遗忘特性,提出了一种智能记忆模型。构造了记忆信息的编码形式,建立了基于槽式和广义树结构的记忆分层存储模型;提出了带有参数的遗忘算法,并运用宽度优先算法,实现了记忆信息的搜索和调用。借助Matlab工具对算法进行了验证,验证结果表明该算法与实际情况基本相符。

摘要：指挥控制组织中的任务规划问题可以映射为变量较多、求解难度较大的组合优化问题.采用传统具有启发性列表规划方法解决这一问题面临求解时间复杂度高、实时响应性较差等问题.本文针对指挥控制组织中任务规划问题提出一种基于量子近似优化算法的量子线路求解方案.首先将任务规划问题转化为组合优化中的精确覆盖问题,通过构建相应的数学模型推导出精确覆盖问题的量子近似优化算法对应的末态哈密顿量表达式;设计了基于量子近似优化算法的量子线路,采用动量梯度下降法算法对量子逻辑门中的参数进行优化,并利用本源量子开发的量子软件开发环境进行仿真实验.仿真结果表明:该量子线路方案可以用于求解任务规划问题,同时降低了算法的时间复杂度,一定程度上提升了资源利用率,为进一步应用量子算法求解指挥控制组织中的任务规划问题打下基础.