论软件缺陷

软件的缺陷是软件质量的重要因素之一,低缺陷密度的软件是高质量软件的必要条件。软件的缺陷是不可避免的,统计表明,经过PSP训练的软件工程师平均引入的缺陷密度为50个缺陷/kLOC。通过对软件缺陷概念及分类、产生缺陷的原因及如何避免产生缺陷、缺陷排除的分析和软件缺陷与软件故障率之间的关系的研究,探讨了如何研制低缺陷密度的软件。     

软件的单故障模型及故障的测试方法

研究表明,软件中残留的故障一般都是难以测试,这些故障往往都是局部的、检测概率比较“小”的故障,也就是说,和正确的软件相比,这些故障的表现往往只是一个或几个符号发生错误,现提出的软件单故障模型正是基于这个原理。测试方法是以面向故障为基础,将故障的检测分为3个部分:故障语句的执行,故障的激活和故障的传播。为加速测试用例的生成,也同时提出了软件的故障模拟方法。最后,给出了部分实验结果。     

导函数性质及其应用

处处有导数的函数（导函数）有两个很好的性质：（1）在一点处有极限,则该点必连续,若无极限则该点两侧或单侧必振荡;（2）可能有不连续点的导函数介值定理仍成立。如果函数某点的领域内处处可导,我们可得到如下三个推论：（1）当f^l（x0＋0）=f^l（x0-0）时,则存在且连续。（2）当f^l（x0＋0）≠f^l（x0-0）,或至少有一个单侧极限为无穷时,函数在该点不可导,（3）当f^l（x0＋0）和f^l（f0-0）中一个或同时振荡时,函数在该点可能可导。     

社会稳定视角下的伊斯兰教社会功能探析——以新疆地区为例

本文从宗教的社会功能角度出发,探讨了新疆伊斯兰教发展对其地区社会稳定产生的多方面影响。并对伊斯兰教教旨教义进行了分析,论述了引导其发挥宗教的正功能,尽可能缩小和克服其消极影响,更好地与社会主义社会相适应的意义,以及与建设和谐新疆相互促进的重要性和可行性。     

两栖装甲车辆车体随机应力统计

为探究某型两栖装甲车辆车体关键部位的疲劳失效原因,测取了不同路面工况下的载荷谱。采用雨流计数法对实测载荷谱进行计数,得到了相应载荷谱中应力循环的均值、幅值计数结果,利用数理统计的方法得到了各种路况的载荷分布模型,为疲劳分析提供了重要的数据并为海上试验及数据分析奠定了基础。雨流法及分布函数参数估计的程序实现,大大提高了随机应力谱的统计处理速度。     

基于液力变矩器与发动机匹配工作性能的液力变矩器结构参数优化

在拟合装甲车辆发动机与液力变矩器有关特性曲线的基础上,以二者匹配工作的动力性、经济性为目标,建立发动机与液力变矩器匹配工作优化模型及目标函数,通过液力变矩器结构参数优化使发动机与液力变矩器得到最佳匹配性能,优化方案切实可行,为液力变矩器的设计、优化提供了方法。     

基于Solidworks二次开发的两栖车辆浮态设计及静稳性分析

建立了描述车辆姿态向量和重力向量的两个坐标系,研究了姿态向量与坐标变换之间的关系,根据Solid-Works提供的函数,利用二分法求解了给定姿态下的浮心位置;以浮心计算为基础,通过对车辆的受力分析和运动分析,确定了车辆浮态的计算方法;利用SolidWorks的API函数进行二次开发,形成了计算静稳性的程序,并进行了实例计算。结果表明：与传统的作图法相比较,该方法计算结果更精确,计算速度更快。     

一种基于AMDF和ACF的基音周期提取算法研究

文中提出一种基于短时平均幅度差分函数(AMDF)和短时自相关函数(ACF)的基音周期提取算法。首先,将每帧语音信号通过AMDF算法进行计算,然后把得到的AMDF数值再通过ACF算法进行计算,得出每帧信号的基音周期,最后运用动态平滑技术计算出最终语音信号的基音周期。通过仿真实现该算法,并同基于MAMDF和ACF的基音周期提取算法进行比较。     

低开销的软错误免疫寄存器设计

随着工艺尺寸的逐渐缩小,集成电路中由放射性粒子引起的软错误不断增加,在设计时必须考虑由软错误引起的可靠性问题.使用软错误免疫寄存器对电路敏感部分选择性加固是降低逻辑电路软错误率简单有效的方法.总结了常用的软错误免疫寄存器结构,并使用可靠性分析方法对8种寄存器进行量化研究和比较,得出双模时空冗余寄存器具有更高的可靠度;针对现有可靠寄存器开销较大的缺点,设计了一种基于时钟延时的动态主级时空双模冗余寄存器--DMTS-DR,不仅能很好地免疫自身的SEU,还能对前级组合逻辑的SET进行有效屏蔽.与其它可靠寄存器相比,DMTS-DR的面积和延时开销都有大幅降低,在可靠性、面积和速度间实现了较好的折中.     

无人机运动模糊图像复原技术

在无人机飞行过程中,由于成像系统会受到相对运动、姿态变化、机械振动、镜头离焦以及大气湍流效应等影响,造成获取的图像产生退化.由于图像复原问题通常情况下是病态的,综合利用了无人机运动的先验信息,提出了不同运动模糊情况下点扩散函数的估计方法,采用维纳滤波复原算法估计图像,给出了适用于无人机成像制导系统的图像复原方案.最后经仿真实验证明,该算法图像复原效果好,计算量小,抗噪声鲁棒性强,有较大的工程应用价值.