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

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

Matlab/simulink在交流调速系统仿真中的应用

为缩短交流调速系统开发周期,降低开发成本,利用Matlab/simulink对某永磁同步电动机调速系统进行了仿真分析,通过对仿真结果和实验结果进行比较,验证了基于Matlab/simulink环境的交流调速系统仿真不仅编程效率高、扩展性强,而且系统瞬态和稳态的仿真结果具有较高的置信度。     

基于Matlab/Simulink的燃气轮机数控仿真研究

阐述了燃气轮机控制过程,提出了3轴燃气轮机数控系统的仿真模型,并运用Matlab/Simulink工具对燃气轮机的加速过程进行仿真,分析了选择不同参数值对系统性能的影响,从中得出参数的最优值.     

地面防空作战信息对抗模型研究及仿真

在地面防空作战中,地空导弹和空中目标的对抗是一个动态的对抗过程。通过把模型分为自身状态和对对方的估计状态,建立了防空作战对抗模型,分析了导弹追击和目标逃避时的控制输入的选择原则。通过仿真,得到了较好的结论,体现了导弹和目标之间的对抗性,对进一步研究地面防空系统对抗性建模方法具有重要意义。     

组合末制导律及其仿真研究

传统的比例导引具有很多缺点。第一,在攻击大机动目标时的控制精度差;第二,对导弹的需用过载要求大;第三,增益高的比例导引中任何噪声都会使它的性能大大降低。为了克服上述缺点,提出了一种简单有效的组合末制导规律,即比例加追踪法的组合末制导规律,它继承了纯比例导引所具有的简单、易于实现的优点,同时还可以降低导弹的需用过载,提高导弹的打击精度。经过大量的数字仿真,所提出的组合末制导律,导弹的平均过载和峰值以及终端脱靶量均小于比例导引。     

机载雷达的基本效能模型

近年来,军用设备效能分析的研究引起了广泛重视。分析了影响机载雷达系统基本效能的诸要素,给出了机载雷达基本效能的定义,并建立了一种效能评估模型。在仿真的基础上,分析了影响效能的重要参数及在整个系统中的作用。仿真结果说明了该模型的有效性和正确性。     

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

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

亮点法在引信仿真中对目标回波计算的应用

在引信的数字仿真和半实物仿真中,目标回波的计算是进行仿真的基础。介绍了亮点法在目标回波计算中的应用,给出了利用亮点法对目标回波的幅度、延时和多普勒频率进行仿真计算的方法。该方法能够简化计算过程,能够满足仿真中实时性的要求。     

动态旋流器湍流流场的模拟研究

采用雷诺应力模型对动态旋流器湍流流场进行模拟.模拟结果与文献实验数据基本吻合,证明该模型的正确性.其中,轴向和切向速度的模拟结果和实际结果非常接近;径向速度的模拟将有助于旋流器结构及性能的分析.所建立的模型和所使用的计算方法为深入探讨动态水力旋流器的流场特性、分离机理及结构优化设计提供了一条有效的途径.     

建筑物内部电场强度分布特性数值模拟研究

为解决建筑物内部空间电场强度分布难以量化的问题,采用时域有限差分（FDTD）法,对以平面波为激励源,二阶Mur收边界条件的闭合规则建筑物、非规则加窗建筑物和含钢筋非规则加窗建筑物3种模型结构内部电场强度分布特性进行模拟,并通过FEKO软件对计算结果的有效性进行验证。结果表明：普通混凝土材质的建筑物对平面波电场几乎无屏蔽效能;吸波混凝土材质的建筑物对平面波电场的屏蔽效能也较为有限,且随激励源频率的增加,在建筑开窗区域附近的谐振性增强,屏蔽性减弱;通过对植入钢筋墙体建筑物采用细线FDTD法的场强分布计算,证明金属钢筋可提高建筑围护结构的屏蔽效能。