基于区间相容技术与GA的测试数据自动生成方法

针对测试数据自动生成完全依赖约束集求解问题（Constraint Solving Problem，CSP）进行求解会导致耗时较大甚至求解不出最终测试用例，以及采用动态GA算法又无法确定变量的最初论域空阃，首次将基于CSP求解与GA的动态算法进行了有机结合，摒弃了二者固有的缺陷，吸取了静态算法对变量论域空间削减速度快的优点。采用eBox区间相容削减标准，过滤变量的论域空间，并在经过削减的空间上采用GA搜索算法自动产生测试数据，应用常变量的逆向推导技术、表达式直接遗传等技术，大幅度地提高了测试数据的生成速度。     

基于反射机制的构件化软件静态分析器的设计与实现

设计并实现基于反射机制的构件化软件静态分析器.该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序的结构、构件测试元素和构件交互关系,采用XML保存分析结果并图形化直观显示程序结构和构件交互.实例结果表明,该分析器适用于对基于.NET的构件化软件进行分析处理.     

大功率电流型晶闸管变频器低频PWM换流过程分析

从换流原理，假设条件出发，对大功率电流型晶闸管变频器如何实现低频ＰＷＭ换流进行了较为详细地分析，提出了该变频应用于低频时应注意的问题，同时首次给出此类变频器低频ＰＷＭ调制加二重化技术所产生的理论输出波形，可供工程实践中参考。     

软件过程建模中的并行性挖掘与延拓技术研究

针对软件过程建模中存在的诸多问题，提出了一个基于并行性挖掘与延拓技术的软件过程建模模型，并利用此模型对火车调度系统进行了建模。结果表明，该模型正确且工作效率高。     

一种改进的可靠性参数设计方法

对参数设计中序贯淘汰水平法（ＳＥＬ）和绝对偏差法进行了研究和改进,提出了以ＳＥＬ法与绝对偏差法结合为基础的自动变间隔迭代搜索法。针对不同的典型实例与以前的参数设计方法进行比较,结果证明该方法高效可靠,且具有较好的可操作性。为工程实用奠定了一定的基础。     

面向对象软件测试的特点及方法

分析了面向对象软件的特点及其对测试的影响，综述了面向对象软件测试的层次划分，各层的测试特点以及类级和类簇级的各种测试方法。     

机车电控装置可靠性数字仿真研究

用可靠性数字仿真的方法,对内燃机车电控装置可靠性进行了研究,得出了机车电控装置的可靠度曲线,掌握了现有装置可靠性水平及影响可靠性的薄弱环节,为进一步提高机车电控装置可靠性提供了依据。     

一种基于PSO-SVR的软件可靠性评估方法

软件可靠性建模时,如果简单地利用支持向量回归机制建模,就有可能由于支持向量回归(SVR)自身参数选择难以及实验数据本身的不确定性,从而导致预测结果不理想、精度低等缺陷。因此,借鉴粒子群优化算法(PSO)多参数寻优的优势,将PSO与SVR优化算法相结合,利用分层聚类算法对初始实验数据进行归一化处理,剔除异常数据,构建基于PSO-SVR的软件可靠性评估方法,从而提高软件模型的预测精度。实验结果表明,基于PSO-SVR方法的预测模型其预测精度高,更适应实际软件应用环境。     

一种基于变换矩阵的激光雷达数据无量纲统一化转换方法

激光雷达观测数据的特点是单点测量、数据格式与数值量纲不统一、结构多样。这种数据特点给数据之间的共享与分析利用带来困难。本文针对大气激光雷达数据的异构性,结合大气激光雷达数据的二维结构,将大气激光雷达观测数据处理方式转换为矩阵的运算,借鉴变换矩阵的基本思想,结合线性插值法填补缺失数据,并利用归一化方法对数据进行无量纲处理,给出激光雷达数据统一化转换模型,实现了数据无量纲统一化。     

米散射激光雷达剖面数据三次样条垂直水平插值法

传统的空间数据插值方法在米散射激光雷达剖面扫描数据的距离高度显示图可视化应用方面具有一定的局限性.本文分析了米散射激光雷达剖面扫描数据以仰角为基础的空间位置关系与大气参数的空间分布特性,分别在垂直与水平位置上合理选取参考数据,给出位置相关性权重,基于三次样条函数法进行数据变化趋势的平滑性修正,完成缺失数据插值.实验结果表明,该方法能够有效提高米散射大气激光雷达扫描数据空间插值的准确性,插值数据误差小,距离高度显示图图形趋势过度平滑,符合大气参数的整体变化规律.