基于目标一致算法的导弹编队控制与仿真

导弹的突防性能是衡量导弹优劣的核心技术指标,如何提升导弹的突防能力受到世界各国的高度重视。为了提升导弹的突防概率,可以采用导弹编队协同作战的方式,实现导弹的密集临空,对敌实施饱和攻击,最终实现导弹突防能力的提升,并且多弹编队对大型目标的毁伤效果更加明显和高效。为了提高导弹编队的协同作战能力,围绕导弹编队协同的概念与模型,开展编队控制的理论与仿真研究,设计了基于目标一致算法的编队方法,实现了编队成员的协同控制,利用MATLAB进行了相关的仿真,分别调整导弹方向控制参数和速度控制参数,对比不同参数状况下导弹编队飞行状态变化,获取最佳状态控制参数,实验验证了算法的有效性。     

基于Petri网工作流模型展开树的路径序列相似性算法

在实际的数据迁移项目中,为了解决数据映射的问题,需要确定两个工作流模型之间的相似度。从工作流模型的相似性方面进行分析阐述,提出了基于Petri网的工作流模型展开树的路径序列相似性算法,首先采用深度优先搜索算法和动态规划算法对模型进行搜索,其次通过提出的算法获取展开树的所有路径序列,最后利用编辑距离算法计算两个模型序列之间的两两相似度,进而完成模型相似性计算,相较于其他的主流相似度算法,主要优点在于可以精确计算得到模型部分结构和行为相似度,可以更好的确定流程间映射,从而找到数据映射的解决方法。实验结果表明：该方法较主流的基于模型结构和行为相似性算法,计算合理性和准确性有很大提升。     

智能合约在无人机集群作战中的应用及其漏洞检测研究

智能合约具有去中心化、不可篡改、可溯源以及自动化执行等特点，能有效适应军事领域无人机集群作战需求，受到了学术界和工业界的广泛关注和高度重视。本文探讨了智能合约在无人机集群作战领域的应用，从高级语言层、区块链层、虚拟机层三个方面重点分析了智能合约在应用无人机集群作战领域中典型的潜在漏洞；针对潜在漏洞详细介绍了模糊测试、符号执行、形式化验证、深度学习四种检测技术，在此基础上提出了四种相应的检测算法。研究智能合约在无人机集群作战中的应用及其漏洞检测技术和检测算法对于提高军事领域无人机集群建设安全系数具有一定的实践意义。     

业务流程模型相似度研究综述

随着业务流程模型管理库规模的增大，传统的模型管理方式在效率和准确度方面已经无法达到预期，研究能够提升业务流程模型管理效率的技术成为人们的迫切需求。其中，业务流程模型相似度技术在模型搜索、模型一致性检测等模型管理的相关应用场景中能够有效提升工作的效率和精度，因此，对业务流程模型相似度技术的研究已经逐渐成为模型分析领域的一个研究热点，并取得了许多有价值的研究成果。业务流程模型相似度技术涉及的领域较多，可以向不同的分支方向发展，虽然不同分支的模型相似度技术会有方法之间的类比，但是缺乏系统性的整理和分析。文中从相似度计算方法和应用场景这两个层面对业务流程模型相似度技术进行了分类讨论，将相似度计算方法分为文本相似度、语义相似度、结构相似度、行为相似度和基于人类评估的相似度，并分析了每种计算方法的特点。较为常见的业务流程模型相似度应用场景包括一致性检测、标准化、流程模型搜索和模型重用，文中对基于以上场景的相关研究进行了梳理。最后分析了业务流程模型相似度研究面临的挑战。