毁伤条件下通信系统互操作性模型的构建与应用

在基础通信设施受到破坏以后,各部门之间的通信交流受到阻碍,不但会延误救援工作的开展,并且可能会带来更大的损失.面对不同类型的数据格式和不同频率的无线电设备,如何实现多部门多领域的通信系统互操作性成为一个亟待解决的问题.分析了毁伤条件下实现通信系统互操作性的特点及面临的挑战,建立了一种在毁伤条件下实现通信系统互操作性的模型,并阐述了该模型的工作原理及其在不同类型的通信网络中的应用.最后通过两个应用实例验证了该模型的有效性和正确性.     

军事信息系统互操作性等级模型研究

互操作性是在联合作战环境中实现电子信息系统整体作战能力的基石,也是战场上夺取信息优势的关键所在.为了能够更为全面地评估军事信息系统的互操作性等级,对比了现有的几个系统互操作性等级评估方面的参考模型,分析了各模型的特点,指出了实现互操作性所涉及的各个领域及面临的各种挑战,提出了用于判断规划领域互操作性等级的PIM模型.该模型对军事信息系统建设具有指导作用.     

Fibrations理论在索引归纳数据类型语法构造中的应用

应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要分析,并通过相关工作的论述指出了Fibrations理论研究方法的优势。     

Fibrations理论在索引归纳数据类型不确定语义中的应用

应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽象描述了索引归纳数据类型不确定语义计算,辅以实例进行了简要分析,最后通过相关工作的论述指出了Fibrations理论研究方法的优势。     

印度弹道导弹防御系统发展综述

印度采用了一些国外成熟技术,目前整体进展较为顺利,具备了一定的反导作战能力,但也存在装备多元、系统复杂、可靠性不足、拦截能力有限和自主开发能力尚待加强等问题。叙述了印度导弹防御系统的发展动因、概况和规划,分析研究了其系统具体组成、作战能力和发展趋势。