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

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

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

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

军用软件产品评价的工程化实现方法

根据目前军用软件产品的评价需求,探讨了第三方评测机构在实施软件测试后,按照软件的自身特点,利用军用软件质量模型进行评价的可行性方法。通过确立评价需求、规定评价、设计评价、执行评价、做出评价结论等步骤详细描述了该方法,并给出软件的评价实例。该方法能对软件做出较为客观的评价,较好地满足了军用软件产品的评价需求。     

NFPA1981标准2002年版的技术要求分析

NFPA1981是美国消防协会关于消防和应急开路自给式呼吸器的标准．介绍了谊标准的历史沿革、2002年版主要内客,讨论了新增的HUD、RICUAC,以及EOSTI的技术要求。     

多尺度PCA-HOG遥感异源图像匹配算法

针对遥感异源图像匹配中非线性灰度畸变和强噪声干扰问题,提出一种基于主成分分析(Principal Components Analysis,PCA)和方向梯度直方图(Histogram of Oriented Gradients,HOG)的遥感异源图像匹配算法.该算法利用HOG提取图像间的几何结构共性特征,能有效克服异源...     

基于GA-SVDD的轴承性能退化评估

为解决因机械设备轴承损伤导致机械故障而无法正常工作的问题,提出了一种基于GA-SVDD的轴承性能退化定量评估方法。该方法采用遗传算法优化选择特征参量,并建立SVDD超球体模型,运用SVDD距离评估轴承的性能退化程度。实验分析表明：该方法能够有效地对轴承性能退化过程的细节进行描述,实现对待测样本退化程度的定量评估。     

太空信息支援指挥控制支持平台构建初探

针对当前太空信息支援指挥控制存在的诸如缺少统一平台进行需求综合、数据汇集和融合处理,各类数据和产品分散管理,分头为用户提供信息保障服务等现实问题,本文对太空信息支援指挥控制相关问题进行了研究,构建了太空信息支援指挥控制任务模型,并对太空信息支援指挥控制任务进行了分析。按照系统结构设计的思想,从太空信息资源提供者、太空信息资源使用者和太空信息系统管理者三个角度提出了太空信息支援指挥控制支持平台的功能需求;研究了太空信息支援指挥控制支持平台的系统组成,并按照"资源+服务+应用"的设计原则构建底层可共用基础平台,中间层提供支撑软件集成,上层面向各级各类用户系统的支持平台技术架构和相应物理架构,解决了指挥控制支持平台"建什么、怎么建"的关键问题,可为太空信息支援指挥控制支持平台设计提供理论参考。     

专门用途英语课程中的合作教学

深刻认识专门用途英语的特点以及专门用途英语在专业课教学中的重要作用,并根据专门用途英语教师的素质要求和武警学院专门用途英语教师队伍的现状,提出了专门用途英语教师队伍建设和提高专门用途英语教学质量的四种合作教学模式。     

C4ISR需求开发新途径：基于本体建模

针对C4ISR需求客观上复杂且特殊、主观上难沟通等特点导致C4ISR需求开发难的问题,研究C4ISR需求本体,提出开发C4ISR需求的一条新途径:基于本体建模。首先,构建C4ISR需求本体元模型、语义模型,很大程度上澄清了C4ISR需求领域知识结构;然后,提出基于本体建立C4ISR需求模型的具体步骤;最后,示例说明方法的可行性、有效性,展示了方法的应用前景。     

面向装备健康管理的可测性指标研究

可测性指标是开展可测性设计、验证和评估的依据.针对传统可测性指标主要用于故障可检测性和故障可隔离性水平评价,不能全面反映面向装备健康管理可测性水平的问题,在定性分析装备健康管理对可测性的本质需求基础上,从全域和瞬态角度提出了五个可测性指标以定量描述面向装备健康管理的可测性水平;并基于故障模式状态矢量给出了可测性指标的分析计算流程.最后以某装备柴油机的机体子系统为案例详细说明了可测性指标的计算过程,应用结果表明所提指标具有一定的可行性和合理性,可以有效指导面向装备健康管理的可测性优化设计.