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

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

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

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

舰空导弹测试项目优化方法研究

舰空导弹测试项目设计优化的目标应是全面但最简。提出如下优化方法:用Luenberger状态观测器法提取能覆盖各方面性能的测试项目最简集合,根据可靠性预计、故障分析得到的可靠性薄弱环节筛选,最后根据各类测试的不同需求和约束条件确定测试项目集合。其思路和方法也可用于其他复杂系统。     

基于SOPC的IGBT开关特性实时仿真系统设计

在电力电子装置的仿真研究中,大功率高速开关器件,如IGBT、IGCT等,因开关速度快且电磁特性复杂,多被当作理想器件处理。尽管理想化后,其作为开关器件的功能并未丧失,但在高频电路中,器件的开关特性对系统影响已不容忽视,这种理想的处理方式忽略了器件开通和关断本身的电磁响应,必然导致仿真的可信度降低。为此,分析了IGBT实时仿真的必要性和难点,提出以单周期时延法为基础的优化实时仿真算法,并基于SOPC技术设计了IGBT实时仿真系统。仿真实验结果表明:该系统能够满足IGBT实时仿真的需要。     

基于UKF_IMM的多信源机动目标跟踪研究

针对异类传感器的非线性机动目标跟踪中,由于采样信息差异、目标强机动等原因造成的跟踪性能低或失效等问题,提出UKF_IMM跟踪算法并进行了仿真计算.该方法直接面向极坐标量测信息,计算量小,且有较强的鲁棒性.仿真结果表明:该跟踪方法能获得较高的目标跟踪精度,系统反应时间短,目标跟踪稳定、连续,有重要的工程参考价值.     

基于模糊干扰观测器的高超声速飞行器一体化制导控制方法

为充分利用高超声速飞行器在俯冲段的质心运动与绕质心运动之间的耦合作用和飞行过程中的不确定性,基于模糊干扰观测器提出了三维一体化制导与控制问题。首先根据飞行器的动力学方程以及飞行器-目标的视线角相对运动方程,推导出来适用于倾斜转弯控制的一体化制导控制模型。接着,针对模型中的不确定性采用模糊干扰观测器进行补偿,并使用块动态面方法设计了一种一体化制导控制律。然后,通过选取适当的李雅普诺夫函数证明了闭环系统状态的一致毕竟有界性。最后,仿真结果验证了该一体化制导控制方法的有效性和鲁棒性。     

一种变质心高速旋转炮弹鲁棒姿态控制律

针对采用变质心技术的高速旋转炮弹的姿态控制问题,提出一种基于扩张状态观测器的动态面控制方法。根据由弹体和单滑块组成的多体系统的特点,建立了系统的姿态动力学模型,并对其进行了合理的简化。将系统的滚转通道引起的强耦合、建模误差及外部扰动等视为未知不确定干扰,并且考虑由于炮弹尺寸限制而引起的多体系统控制输入(滑块位移)的有限性,设计了扩张状态观测器和辅助系统,分别对系统的干扰进行观测以及处理控制输入的有限性,综合动态面控制技术设计了姿态控制律,最后基于李雅普诺夫稳定性原理证明了控制器的稳定性。仿真结果表明,该控制器能够在克服干扰的前提下快速稳定地跟踪指令信号,具有良好的控制精度和鲁棒性。     

GNSS双接收机抗欺骗技术

欺骗干扰能使目标接收机得出错误的位置、时间结果,是GNSS应用安全性的一个严重威胁。提出一种利用两个接收机伪距测量值单差的抗欺骗方法,利用方差分析技术推导基于伪距单差的欺骗信号最优检测量,并分析检测量的统计特性。经分析,接收机噪声、接收机基线长度和卫星个数等参数对检测性能的影响较大;在接收机噪声和卫星个数未知的情况下,可以通过增大接收机基线长度来提高检测性能。仿真结果表明,当接收机间的基线长度为10 m时,0.01虚警概率下,欺骗信号的检测概率可达98%。     

一类非自治单种群模型的持久性

在这篇文章里,我们利用微分方程比较原理以及一些精细的分析方法,研究了具有无限时滞和反馈控制的非自治单种群模型的持久性,得到了一些新的结论。     

Lipschitz非线性系统状态观测器设计新方法

针对Lipschitz非线性系统状态观测器,提出了一种以极小化条件数为目标准则的新的设计方法。运用梯度下降法和Slyvester方程,计算极小化条件数,优化增益矩阵和最大允许Lipschitz常数,完成观测器设计。通过同其它文献的算例比较,结果发现按文中方法设计的观测器具有迭代次数少、优化结果好的特点。