一个不可缺少的条件

利用导数比较区间内点处函数值与区间端处函数值的大小,函数在区间端点处的连续性是不可缺少的条件。     

面向验证的启发技术设计

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

周期扰动下一类双中心二次系统的浑沌与次谐波

研究周期扰动下一类双中心二次Hamilton系统的动力学性质,应用Melnikov方法给出了该系统产生浑沌与次谐波的参数区域。     

柱面上动力系统的浑沌与次谐波

研究柱面上一类微分方程在不同扰动下的动力学行为。应用Melnikov方法确定出系统产生浑沌及次谐波分枝、超次谐波分枝的某些充分条件,并讨论了从分枝进入浑沌的途径。     

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

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

机构可靠性

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

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

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

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

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

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

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

电子战条件下雷达接收信号模型

文中建立了电子战条件下雷达信号环境数学模型,包括雷达发射信号数学模型,目标回波信号数学模型,电子干扰（有源干扰和无源干扰）信号数学模型,杂波数学模型以及噪声数学模型