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

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

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

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