软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

重力分离SHS陶瓷内衬复合管后期处理组织研究

研究了重力分离SHS法制备的陶瓷内衬复合管,在还原气氛下进行高温处理过程前后,复合管中陶瓷与钢管间的过渡层组织形态、组织分布的变化和过渡层中的裂纹的变化情况。指出:随着加热温度的升高、保温时间的延长,原子扩散能力加强,在过渡层界面上,以及陶瓷和钢管中出现新的化合相,能增强复合管的结合强度和力学性能,降低陶瓷的脆性。后期高温处理中,加热温度过高、保温时间过长,会造成组织粗化等缺陷,导致复合管性能变差。     

基于IDEF0的装备维修保障系统功能模型的建立

在研究现有的各种功能分析方法的基础上,选用IDEF0方法对装备维修保障系统进行功能建模。首先建立了装备维修保障系统的纵向功能结构树,用于描述功能层次关系;然后建立了装备维修保障系统的横向关系模型,用于描述处于同一层次的各功能块之间的相互关联。     

维和警察的心理压力及其调控

中国维和警察在联合国维和任务区的特定环境下产生心理压力是必然的,维和警察必须了解产生心理压力的环境因素,学会分析产生心理压力的原因,掌握心理压力的调控方法。     

解二维卷积型积分方程的正则化方法

基于傅立叶变换和Tikhonov的正则化方法,讨论了解二维卷积型积分方程的正则化方法。     

黑体辐射数值反演新方法

应用广义偏离原则对黑体辐射问题进行了反演的研究,给出了正则参数的选择方法,由计算机仿真结果知,该方法计算精度高,有良好的应用前景。     

跟踪雷达超低空目标捕获距离的精确估算方法

根据比较精确的数学模型,考虑到海情、地球曲率、海水反射特性及极化方式等各种因素影响,对应不同雷达截面积的目标,我们可计算出低仰角时接收机输出信噪比与距离的关系曲线。根据雷达的积累信噪比,可用该曲线比较精确地估算出跟踪雷达对超低空目标的最大捕获距离。     

角速率火控系统计算延迟问题的研究

提出解决角速率火控系统计算延迟问题的两种方法,为深入研究角速率火控计算进行了新的探索。     

静态电磁场数值分析方法比较

从有限差分法、有限元法、边界元法和模拟电荷法这四种典型数值分析方法出发,简要介绍了静电场数值分析的原理。比较了各种算法与其适用范围的差异,并对其进展进行分析。最后,总结了目前静电电磁场数值分析方法研究中需要解决的问题。     

任意张角水平对称天线的矩量法计算

以任意张角的水平对称天线为研究对象,应用矩量法对其进行计算,给出了利用矩量法求解天线问题的一般思路.基于Pocklington积分方程和Galerking法,采用分域积 Dirac函数展开及点匹配模式,计算得出此类天线的电流分布、输入阻抗和辐射方向图,并对不同张角和电长度的水平对称天线进行了比较,在实际使用中可根据不同通信要求对天线进行选择.