基于Z形式化规范的多Agent协作模型研究

用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。     

面向实体的仿真想定结构化描述方法

针对作战过程仿真模型的初始化需求,分析了仿真想定的具体内容,提出了面向实体的仿真想定结构化描述方法,即以实体的抽象和描述为核心,从实体、任务、结构、状态、行动、指挥决策6个方面来进行仿真想定内容的结构化描述,并利用XML语言在描述结构化、半结构化数据方面的突出优势,提出了基于XML的仿真想定数据存储模型,为进行作战想定的结构化和定量化提供了可行的方法,满足了由作战想定生成模型输入条件的要求。     

基于XML的诊断信息模型描述

利用XML语言对诊断信息模型进行描述，初步建立了诊断信息模型整体框架的XML Schema，并在专门开发工具XML Spy中得到实现，同时对基于XML的信息模型描述进行了简要的应用说明，验证了模型描述的有效性。     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

不确定性作战任务形式化描述方法

针对复杂作战环境下作战任务的不可预知性特点,对不确定性任务的形式化描述方法进行了深入研究。分析不确定环境导致的任务分解和执行过程中存在的不确定性因素,从任务本身的不确定性、任务之间关系不确定性以及作战单元执行不确定性等方面,对不确定性任务进行了形式化描述,提出了不确定性任务形式化描述流程,最后通过一个实例对所提方法进行了验证。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

基于XML／Schema的概念建模方法研究

如何以人与计算机程序均可理解的信息模式来描述军事行动,是当前军事领域中概念建模研究的一个难点。通过分析模型实现对技术手段提出的需求,结合XML标记语言和Schema模式语言的各自技术特点及相互之间的关系,本文提出了基于XML/Schema的概念建模技术实现基本思路和主要方法;以此为基础,结合海军战术级军事活动的特点,本文建立了基于XML/Schema的海军战术概念模型原型,并以水面舰艇单舰航渡中对空防御军事活动为例,陈述了运用原型建立该项战术活动概念模型的具体方法。实践表明,基于XML/Schema的概念模型方法是建立人与计算机程序均可理解的军事概念模型的可能途径。     

指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

C2组织指挥控制关系的形式化描述*

针对C2组织的指挥控制关系目前还缺少很好地形式化描述方法,其量化研究比较困难,从C2组织的实体及实体之间的关系出发,形式化描述C2组织指挥(纵向)关系、横向关系、资源配置关系、执行关系等四种关系,最终构建出一个指挥控制关系网,为运用复杂网络理论以及图论等方法对指挥控制关系的量化分析研究提供基础。     

装备综合保障仿真一体化建模研究

装备综合保障一体化模型是更有效地实现装备综合保障仿真的基础，解决元模型的异构和分布性问题是综合保障仿真一体化建模技术的关键。针对装备综合保障仿真一体化建模问题，探索了利用可扩展标记语言（eXtensible Markup Language，XML）对综合保障仿真元模型进行一致性描述，并建立了综合保障仿真一体化模型。以XML为基本建模语言，通过设计各类元模型的XML描述结构和表达方式，实现了综合保障仿真中各类异构元模型的集成化、一体化表达，该一体化模型为综合保障仿真集成化开发环境的实现奠定了良好基础。     

靶标系统集控软件设计

为提高靶场现有靶标设备的综合利用效率,解决战术射击训练时大量不同型号靶标混合使用中的集中控制问题,采用软件集成方式,设计开发一种模块化、通讯协议自适应的集控系统软件,通过基于XML的协议解析模板,动态匹配不同通讯协议的靶标设备,解决多型设备集成应用问题。实际应用结果表明,该系统有效提升了靶场现有设备的利用效率,同时也为靶场其他应用系统的综合集成提供了很好的实现途径。     

海战场移动自组织网络QoS路由协议研究

针对海战场信息网络动态变化和信息传输具有QoS约束的特点,通过分析现有移动自组织网络路由协议,对多约束QoS路由协议进行深入研究,提出QoS-DSR路由协议,并进行网络仿真,仿真结果表明该路由协议满足海战场信息多约束QoS传输的要求,且具备较好的协议性能,适合海战场复杂多变的环境。     

基于旁路环境下的密码芯片安全性评估

为在复杂旁路攻击敌手环境下对密码芯片进行安全评估,通过物理可观测密码术模型框架对旁路分析过程进行建模;借鉴传统面向实际的可证明安全性理论,定义旁路环境下的两类旁路敌手:密钥恢复旁路分析敌手与不可分辨性判定旁路分析敌手,并给出了密码实现针对这两类旁路敌手的安全性度量模型;对安全性评估中的重要参数指标进行定义与推导;最后根据旁路分析定义、模型及安全性度量指标,提出针对旁路分析的通用评估框架,为研究可抵抗旁路分析攻击的密码设备打下基础。     

基于纠缠交换的量子安全通信协议

基于纠缠交换和Einstein-Podolsky-Rosen纠缠对,提出一种量子安全直接通信协议和一种多方量子秘密共享协议。量子安全直接通信协议利用光子分组传输方法,与现有协议不同的是通信方可以直接将秘密消息编码为四个Bell态之一,从而不需要在保证量子信道的安全之后再对秘密消息编码。在多方量子秘密共享协议中,通信方以一定的概率选择检测模式和编码模式。协议的实现只需要Einstein-Podolsky-Rosen对而不需要制备多粒子纠缠态。与已有的协议相比较,该协议不需要局域幺正操作,协议的效率得到了显著提高。两个协议的安全性均等同于BBM92协议的安全性。     

一种航空武器数据链MAC协议设计与研究

MAC协议是航空武器数据链组网通信的重要技术,网络的性能依赖于所采用的多址接入协议,也是航空武器数据链研究的难点之一。固定分配、竞争和预约三大类MAC协议各有优缺点以及适应场景,需要根据应用需求设计对应的多址接入协议,以满足通信网络的战术和技术性能指标。在分析数字化战场通信网络——战术数据链组网通信应用的主要MAC协议的基础上,结合航空武器数据链的通信特点和体系结构,提出一种基于固定分配TDMA的航空武器数据链MAC协议——ODTCFMA协议,并对协议的时延性能进行了仿真和分析。分析结果表明,该协议能够同时满足编队战术协同和武器制导的低时延要求,对航空武器数据链的研究具有一定的借鉴意义。     

基于非齐次线性方程组的认证协议的研究

认证技术是信息安全理论与技术的一个重要方面.认证技术主要包括用户认证和信息认证2个方面.前者用于鉴别用户身份,后者用于保证信息的真实来源.本文基于线性代数的方程组的解的理论建立了一种身份认证协议和一种消息认证协议.通过安全性分析结果表明这个新的身份认证协议能够保证用户身份的正确认证,新的信息认证协议能够保证数据的机密性、完整性,同时能够防止重传攻击认证信息来源.     

GSPN的分析方法及其应用

随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。     

两个认证协议的安全缺陷

刘丽等作者在《装甲兵工程学院学报》第19卷第2期中,利用非齐次线性方程组给出了一种身份认证协议和一种消息认证协议。指出了这2个协议在设计上存在的安全缺陷,并给出了几种可能的攻击方法。     

一种云计算中的身份认证协议

针对当前在云计算中身份认证机制个人信息容易泄漏的问题,提出了一种云计算中的身份认证协议。协议的安全性是基于离散对数的难解问题。协议模型由用户、云服务提供者和注册实体等三个实体组成;通过先属性注册协议、后身份认证协议两个步骤完成整个认证过程;从用户伪装身份和云服务提供者盗取身份信息两个角度,对协议的安全性进行了分析;通过与云计算中基于公钥生成器的协议进行对比以及实验仿真,证明了该协议在对承诺的注册和认证时间上的优越性。     

军事通信中ad hoc网络路由协议性能分析

移动ad hoc组网灵活,抗毁性很强,将在未来的军事通信中发挥重要作用。因此,对于移动ad hoc网络研究中的首要的路由问题作了探讨,先简要介绍了两种典型的路由协议OLSR(Optimized Link State Routing)和AODV(Ad hoc On-Demand Distance Vector Routing),接着利用网络仿真工具OPNET分析了AODV的协议特点,最后比较了两种路由协议的性能。仿真结果表明AODV路由开销小,但时延大,节点移动过快时存在路由稳定性的问题;OLSR路由开销很大,但时延相对较小。因此在搭建军用adhoc网时,应根据实际使用情形做出选择。