消除地雷的威胁

消除地雷的威胁早已成为全世界关注的焦点,本文列出了十多个国家为扫除常规地雷而发展的器材,其中尤以美军正在为扫除路旁智能雷和以色列为扫除可抛撤地雷所进行的工作更为人注意。     

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

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

备用系统可用度模型的建立及应用

提出将故障过程分为两个阶段时建立维修模型的一种新方 法。运用此方法,对RCM中的使用检查和功能检测工作进行分析,得出了备用产品检查间隔 和可用度之间的关系式。     

C4ISR网络安全态势的可拓云理论综合评估方法

为了对C4ISR网络的安全态势进行精确评估,提出了一种基于云理论和可拓学的评估方法。分析了影响C4ISR网络安全态势的评价指标体系,通过主客观综合赋权法确定各评价指标的权系数。在此基础上,利用云理论和可拓学中的基元理论,构建C4ISR网络安全态势的综合评估方法。通过对实例的分析,表明了该方法的可操作性和优越性。     

基于BOM状态机的可组构仿真方法分析

BOM（BaseObjectModel）仿真标准的推出为可组构的仿真提供了前提,但是如何将基于BOM方法很好地应用于建模与仿真过程仍然需要仿真方法学的指导。通过引入命名状态和子状态概念,深入研究了BOM状态机的性质,提出了一种面向状态机（SM）的BCI结构描述方法,构建了基于BOM状态机矩阵的仿真应用（邦员）的理论模型,并分析了其运行原理,为基于BOM的构件的集成研究提供理论基础。     

矩阵对角化的一个充要条件

给出了矩阵可对角化的一个新的充要条件,在此基础上,给出了求特征向量的新方法。     

可拓工程方法在效能-费用权衡中的应用

介绍可拓学及物元理论,提出用可拓工程方法对武器装备效能-费用进行权衡分析。建立了装备效费权衡分析的高阶复合物元模型,对初始效费方案进行了延拓,提出可拓特征集的概念。在此基础上,对效能-费用方案进行可拓聚类分析。     

全力推动国防科技工业工艺技术跨越发展

工艺技术是产品研制生产的重要手段,是制造业生存和发展的核心和基础技术,也是市场竞争能力和制造业可持续发展能力的重要体现。军工工艺技术具有覆盖面宽、技术要求高、特殊工艺专用性强等特点,在缩短研制周期、降低生产成本、提高经济可承受性和批生产能力方面起着至关重要的作用,是武器装备研制生产和军民结合高技术产业发展的关键技术,是国防科技工业实现可持续发展的重要保障。为满足国防建设和国民经济发展的需要,全面增强自主创新能力、高新技术武器装备供给能力和军民结合高技术产业发展能力,建立新型国防科技工业体系,国防科工委将…     

基于可用度仿真分析的装备修理级别确定方法

针对通过更换备件完成修复性维修且常年担负战备的新型武器装备修理级别问题,建立基于使用可用度仿真分析的修理级别分析模型。以地空导弹装备为例,重点仿真分析中继级修复比例、送修率和远程支援技术因子3个指标,定量分析表明使用可用度与3个指标的比例关系,从而可根据使用可用度要求确定该系统修复性维修的修理级别。给出了修复性维修的修理级别分析方法和流程,实例验证了该模型的准确性和可行性。