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

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

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

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

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

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

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

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

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

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

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

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