基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

未知火药剖析技术的探讨

火药是各类武器装备火力系统不可缺少的重要组成部分,随着武器装备的发展,产生了品种繁多的未知火药。未知火药作为一种特殊的未知物,其剖析技术囊括了预处理技术、定性技术和定量技术。     

基于本体的一体化辅助决策平台模型检索模式

随着决策模型种类和复杂度的不断增加,模型的描述和检索成为一体化辅助决策的重要问题。基于目录分类、关键字等的模型描述方法缺乏语义信息,因此无法较好地满足用户的检索请求。利用描述逻辑对模型进行形式化说明,在此基础上研究平台模型的检索方法,提出模型语义层的检索模式,并且对检索模式的有效性和应用性进行了分析。     

基于多视图的武器装备体系结构描述方法

提出了一种基于多视图的武器装备体系结构描述方法,在阐述武器装备体系结构描述的相关概念和概念模型的基础上,根据体系结构描述过程构建了一个武器装备体系结构描述框架。并通过对美军网络中心战精确打击体系的分析说明了体系视图部分的描述过程以及验证了方法的可行性。     

热障涂层厚度及其涂敷下材料内部缺陷的红外定量识别

针对热障涂层结构材料红外定量检测存在的不足,提出基于脉冲相位的LM(LevenbergMarquardt)识别算法。针对研究问题,建立了轴对称圆柱坐标下热障涂层结构材料的瞬态导热模型,利用有限体积法计算出检测表面的温度场,经快速傅里叶变换得到检测表面的相位分布,分析待检测参数对检测表面相位差的影响。以相位为识别条件,采用LM反演算法对热障涂层厚度及其涂敷下材料内部缺陷位置大小进行定量识别,并采用数值实验方法验证了基于相位的LM识别方法的有效性。     

空间救援发射窗口分析

从发射窗口的基本特性出发,推导了空间救援任务发射窗口的解析求解方法.将空间救援发射窗口问题分解为平面窗口问题和相位窗口问题,分别建立了平面窗口与相位窗口的解析求解模型,最后获得了发射窗口解析解.用直观曲线描述了同一经度的不同纬度所有发射点对应的发射窗口,为空间救援任务发射窗口的分析和快速计算提供了基础.     

指挥信息系统需求描述框架研究

本文根据实践经验,提出了指挥信息系统的需求描述框架,将指挥信息系统需求分为军事需求和系统需求两个层次,同时又将军事需求分为使命任务需求、作战需求和装备保障需求三个层次,本文详细地绘出了使命任务、作战需求和系统需求的内容体系。最后还提出了指挥信息系统需求的一般开发过程。     

POMDP在战场决策评估中的应用和仿真

通过将贝叶斯统计方法和POMDP(部分可观测马氏决策过程)方法相结合,采用计算机模拟的方式,预测在给定条件下可能产生的各种作战决策的质量.为解决不确定条件下对决策质量的定量评估提供了一种比较可行的方法.     

拦截器程序悬浮控制系统非线性稳定性分析

针对拦截器姿轨控发动机工作的本质非线性特性,采用基于谐波线性化建立的描述函数法进行系统稳定性分析;推导了非线性系统的Nyquist幅相判据,同时从工程应用出发,将Nyquist幅相判据转换为Bode图对数判据,一起分析了拦截器俯仰角控制、滚动角控制和位置控制的稳定性,并对姿轨控发动机的推力进行了拉偏,分析结果表明拦截器程序悬浮姿态控制和位置控制系统是稳定的.     

巡航导弹飞行控制数据链技术研究

巡航导弹飞行控制数据链是提高导弹武器打击精度的重要手段.在分析了巡航导弹飞行控制数据链的作战功能基础上,介绍了巡航导弹飞行控制数据链的系统组成,详细描述了各部分的工作特点.最后阐述了巡航导弹飞行控制数据链中涉及的关键技术和可采用的解决方法,为导弹武器飞行控制数据链技术的具体研究提供技术参考.