一种实用的嵌入式软件质量管理框架

对与软件质量管理有关的主要标准进行了系统的分析,提出了适用于软硬件一体化质量管理的嵌入式软件质量管理框架的基本要求,开发了在ISO9000标准的基本框架下,吸收CMM、GJB2786、DO-178B等标准的优点而成的一个实用的嵌入式软件质量管理框架。通过在3个企业的试运行表明,该质量管理框架既能满足对软件质量管理的要求,又适用于软硬件一体化的质量管理,便于在已经通过ISO9000标准认证的企业应用。

一种考虑数据截尾的非参数软件可靠性模型

通过分析数据截尾对软件可靠性模型的影响,建立了一种考虑数据截尾的非参数软件可靠性模型,为的是克服一般参数模型假设约束过紧的问题,并能在估计失效率的同时估计残存缺陷数.同时,提出了基于非参数统计的软件失效率单调下降性检验方法,在加权核函数估计中引入数据截尾率作为加权系数和优化参数,并用失效率单调下降约束下的加权核函数方法来估计失效率和残存缺陷数.模拟试验和实例分析表明,所提模型可以较好地处理截尾数据,给出残存缺陷数的合理估计,其失效率估计精度较高,不低于较好的传统模型.

计算机实时控制系统软硬件综合FMEA

比照硬件失效模式影响分析FMEA技术(FMEA)，分析了影响软件FMEA的因素，在对软件FMEA技术进行简要综述的同时，提出了一种适合于计算机实时控制系统的软硬件综合FMEA方法。工程应用表明，这种软硬件综合FMEA方法可用于计算机实时控制系统的设计过程，对提高系统的可靠性、安全性具有一定作用。

机载计算机软件的测试

测试是保证机载软件质量可靠性的关键工作,但由于其复杂性和特殊性,机载软件的测试存在许多特殊的困难。本文对机载软件的特点进行归纳并分析其对软件测试的影响,针对机载软件的特点提出了相应的测试策略,特别地对机载软件可靠性测试的关键技术进行了讨论,提出了机载软件可靠性测试的完整方案。

基于测试剖面的软件可靠性测试数据生成技术

为了生成自动飞行控制系统软件可靠性测试数据,建立了软件可靠性的测试剖面、环境剖面等概念,提出了基于任务剖面的测试剖面生成技术和由测试剖面生成测试数据的方法,即将输入数据分为系统模式数据和环境数据,并在任务剖面下分别形成系统模式剖面和环境剖面,最后将两种剖面合成为测试剖面;将环境数据分解为控制分量和随机分量,再利用仿真的方法生成控制分量,从而生成复杂关联的测试用环境数据.通过对飞机执行任务的软件测试表明,所提方法能更为准确地描述软件的实际使用情况,其描述方式与硬件可靠性试验较为类似,可作软硬件系统综合的可靠性试验的基础.

软件可靠性预测的小波分析方法

软件可靠性预测对于软件可靠性评估以及软件工程项目的过程控制具有重要作用。本文提出的软件可靠性预测模型,通过小波分解将非平稳的软件可靠性随机序列分解成趋势项、周期项和一系列时间调制平稳随机序列,对趋势项和周期项按常规的预测方法进行预测,而时间调制平稳随机序列再用小波方法预测,最后合成得到软件可靠性预测。实例分析表明,本方法是可行的。

交流电电气参量高精度测量的加权算法

针对传统的采样算法测量交流电电气参量误差较大的问题 ,基于多次平均思想 ,提出了一种电气参量测量的加权算法 ,并给出了加权函数的递推公式及其前 6阶加权函数的解析表达式。误差分析和数值模拟均表明 :若采用k阶加权函数 ,各电气参量测量值的同步误差正比于相对频偏的k次方。在电力系统中 ,只需取k =3而不必引入其它同步措施 ,便可将因非同步采样引起的测量误差降低到 10 -5的量级以下。

介质损耗因数测量的谱泄漏对消算法

提出了基于谱泄漏对消及频率自适应跟踪的算法 ,它能有效抑制电压、电流谐波及基波负频分量的谱泄漏对介损因数测量的影响。该算法的特点是 :(1)能求得电网频率实现频率跟踪 ;(2 )运算量少 ,所需的乘法次数和加法次数均约为采样点数的 4倍 ;(3)谱泄漏抑制效果好 。

介质损耗因数的卷积窗加权算法

用谐波分析法测量介质损耗因数时, 数据采样不同步所引起的频谱泄漏会造成测量误差。为抑制这种误差,本文提出了一种新算法——卷积窗加权算法。该算法的特点是:①实现简单且精度高,无须同步采样措施, 在正常的电网频率波动范围内, 只需用三阶卷积窗对三个额定周期的采样信号加权便可将频谱泄漏引起的测量误差减少到可以忽略的程度;②运算量少,每次测量所需乘法次数和加法次数仅约为采样点数的两倍,比 FFT 所需的计算量小得多,且点数不受限制。

提高谐波参量测量精度的谱泄漏相消算法

提出一种能有效提高谐波参量测量精度的新算法.该法通过两个采样起点约间隔半个信号周期的采样数据作加窗傅里叶变换,并利用它们将谱泄漏抵消,从而有效地改善谐波分析的精度.所提出的方法适用于任何形式的对称窗函数.理论分析与数值模拟结果均表明:该算法可显著提高容易被强谐波所掩蔽的弱谐波的谱分析精度从而提高谱分析的整体测量精度.

有效值及有功功率测量的综合误差分析

分析了用加权算法求有效值及有功功率时,同步偏差及量化噪声对测量精度的影响,得到其综合误差公式。结果表明:随着所用权函数阶数的增加,不同步采样引起的测量误差将快速减小以至成为次要因素,量化误差将可能成为主要误差因素。采样数据量化引起的测量误差正比于量化精度而反比于采样点数的开方根。通过增加量化位数及采样点数均可降低数据量化引起的测量误差。

电力系统高精度频率估计的谱泄漏对消算法

提出基于谱泄漏对消技术的电力系统频率估计方法。该法通过将两段采样起点错开1／4 个额定周期的采样信号序列的加窗傅里叶变换将基波的谱泄漏相消,同时也能显著减小其它奇次谐波的谱泄漏对频率测量的影响,从而极为有效地减小因采样不同步及信号畸变而引起的测量误差。由于电力系统频率成分主要为基波分量和小部分奇次谐波,因此该法能够显著地提高频率测量的精度。该法除了估计精度高以外,还具有时滞小和计算量小(只需对采样数据求加权和)等优点,适合于实时高精度频率测量。

基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题,在分析操作剖面模型和Markov链模型的基础上,提出了一种基于UML的混合模型.该模型用操作剖面模型来定义使用用例,并将状态图嵌入其中以表述该用例的动态特性.通过平展状态图获得使用图,使用图按一定的概率迁移,从而获得用Markov链表示的使用模型,而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例.通过雷达波束调度软件可靠性测试表明,按所提模型在各测试周期生成的测试用例集的框架稳定性比较好,测试用例极少出现重复现象,它综合了操作剖面模型和Markov链模型的优点,可用于开发实时控制系统的软件可靠性测试用例.

阶梯色散渐变光纤及高速孤子传输

当皮秒孤子在群色散沿长度方向指数衰减的色散渐变光纤(DDF)中传输时,孤子的群色散和自相位调制保持局域平衡,宽度可以保持不变,用于孤子光通信有其特殊的优越性.但群色散分布满足要求的色散渐变光纤制造难度较大.为此,文章提出了用群色散分段均匀的光纤(称其为阶梯色散渐变光纤)来加以替代的可能性.模拟结果表明:孤子可以在由这样的光纤及滑频滤波器组成的光纤环路中稳定传输.即使群色散分布不理想的DDF,只要其各段的平均群色散满足要求,就不会严重影响孤子传输的稳定性.

基于准随机序列的测试性试验抽样方案

针对测试性试验和维修性试验中评估结果的分散性问题,分析了标准抽样方法存在的问题,研究提出了测试性试验对抽样的要求和基于准随机序列的抽样方案。工程试验和仿真表明,基于准随机序列的抽样方案可以显著改进抽样精度和覆盖性,降低分散性,具有很好的工程应用价值。

磁敏二极管的数值模拟

本文首次实现了具有高复合表面的磁敏半导体器件的数值模拟;探讨了适合于数值模拟的磁敏半导体器件的边界条件及基本方程的定标方法。所得结果与实验数据基本相符,可以说明器件的内部机理,对磁敏器件的优化设计有指导意义。

装备测试性试验与评价的综合设计

在讨论测试性试验与评价分类、测试性试验与评价方法适用性的基础上,结合飞机研制工程实际,提出了综合考虑产品层级、综合利用各种技术、综合考虑研制与鉴定的试验与评价方案。

半导体器件模拟中求解载流子方程的混合算法

针对半导体器件模拟中载流子方程两种基本算法在高注入条件下的不足 ,提出了一种混合算法。经过理论分析和实际计算表明