几种坦克用钢氮离子注入强化试验

对10、38CrSi、20Cr2Ni4A等坦克用钢的氮离子注入强化进行了试验。结果表明:注入后的试样,硬度和相对耐磨性都有不同程度的提高。硬度的测试结果与试验载荷有关。     

面向验证的启发技术设计

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

高阻抗高共模抑制减法器研究

为了满足各种测量系统的需要,本文对提高减法器输入阻抗和共模抑制能力,保证运算精度进行了讨论,并给出相应的电路。     

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

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

机构可靠性

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

海湾战争与舰船维修

在论述舰船战时雏修保障重要作用的基础上,总结了美海军在海湾战争中实施战前检修及战时抢修的基本活动和经验,提出了我军舰船战时维修保障建设的基本思路及措施。     

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

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

舰船机械设备备件保障决策分析——可靠性分析

针对典型的舰船机械设备系统,运用故障树分析等现代可靠性理论分析方法,结合系统设备的技术性能分析、非电产品的结构和故障特点以及运行管理实际情况,研究系统设备、部件的故障机理,故障模式和故障影响效应,明确导致设备、部件故障的原因及发生模式。应用FTAS故障树分析软件包对其进行了定性、定量分析,获得了以概率结构事件、最小割集等形式表达的系统设备、部件故障对系统故障的作用模式,并对系统故障概率随时间的变化进行了拟合检验及评价了系统可靠性,为确定在指定远航任务期(90天)内所需的备品备件决策提供依据。     

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

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

动态云的真实感计算机模拟

纹理模拟是计算机生成真实感图形中一种重要且不可缺少的手段。详细介绍了运用Frdactal几何和Fournier级数产生各种形态云的纹理模拟方法,具体描述了动态云的生成过程,以及多个云团的合成、云与背景的合成等问题,最后给出了基于这一方法所实现的云团模拟图例。