融合可修性度量和双线学习的反导预案修正

对反导预案应用中基于预案推理的预案修正技术进行了研究,提出了一种新的反导预案修正方法。首先,在定义预案属性否决权和修正裕度的基础上,设计了一种考虑预案可修性的相似度计算方法;然后,以其为预案检索和修正规则学习的导向,融合离线预案库学习和在线实时学习策略,给出了预案修正规则的双线学习方法;建立了融合预案可修性度量和双线学习的反导预案修正模型,并对规则的归纳学习策略进行了研究;最后,进行了实例验证,结果证明了新修正方法的可行性和有效性。     

激光半焦斑边缘检出技术研究

本文介绍了一种新的边缘定位方法激光半焦斑边缘检出法。这种方法综合运用了多种技术,如自适应跟踪补偿技术、激光调制和调制幅值补偿技术、微分定点采样技术以及步进电机步距细分技术等,从而达到了较高的边缘检出精度。文章还给出了激光半焦斑边缘检出的理论模型和计算机仿真结果,并介绍了一个采用激光半焦斑边缘检出技术的测径系统。     

基于灰色理论的空天一体武器装备综合评价模型

针对空天一体武器装备体系这样的复杂系统,提出了以灰色理论为基础的灰色模糊综合评价方案。首先对主要影响因素进行分析,建立层次化的综合评价指标体系;然后通过专家打分法对定性评价指标进行量化,在此基础上,利用灰色关联分析法和灰色统计法,确定评价指标的权重,建立评价矩阵;最后采用模糊综合评价法,实现了对空天一体武器装备发展情况的综合评价。     

美军装备合同商保障的主要做法及启示

本文在系统研究美军装备合同商保障成功经验的基础上，立足于我军装备保障的实际情况，借鉴美军先进的合同商保障经验，总结其不足，探索性的提出了建立具有我军特色的装备合同商保障的建议。对我军实行装备合同商保障，充分发挥整个国家在人力、物力和科学技术资源上的优势，把合同商保障方式、保障手段与我军编制保障力量更好、更合理的结合起来，为建立具有我军特色的装备合同商保障体制进行理论指导。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

一个故障容错系统的设计及实现

本文提出了多路自动切换容错系统的一般概念,并对容错系统的可靠性及平均无故障时间进行了分析、计算,实现了二路自动切换容错系统.     

机构可靠性

本文讨论了机构可靠性问题,指出机构可靠性主要取决于运动副的约束条件的稳定性.其中,包括运动约束条件和几何形状约束条件的稳定性,这就使机构可靠性研究的着眼点更为明确.     

关于舰用机电产品可靠性分布问题探讨

在失效机理分析的基础上,着重从理论上探讨了舰用机电产品在使用中的可靠性分布类型,并给出了简化的计算方法。     

用薄船理论计算方尾军舰兴波阻力的一种修正方法

以薄船理论的马丁法为基础,对船型横剖面面积曲线,加上考虑粘性作用产生的排挤厚度的修正,来计算兴波阻力。结果表明,计算值与试验值吻合较好,尤其是在中高速下,即F_n=0.4～0.7范围内,相对偏差不超过0.5％。在计算某型方尾军舰时,方尾产生的虚长度据试验得到的规律来确定。与其他方程比较,简单方便,且有较高精度。     

汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.