基于改进遗传算法的测试用例生成研究与仿真

提出一种基于改进遗传算法的测试用例自动生成工具,改进的遗传算法通过路径构建方法构建目标路径矩阵集合以及实际路径矩阵,通过对比目标路径矩阵与实际路径矩阵差异设计适应度函数,通过归一化处理得到适应度值,最后根据适应度值调节遗传算子,得到问题的最优解集合进而得到全部测试数据。工具通过可视化界面操作实现待测程序的自动插桩、自动生成覆盖全部路径的测试用例并代入程序进行测试,最后反馈生成测试结果。改进的算法能够提高算法收敛速度,降低早熟程度,在覆盖率及准确度相同的情况下,工具生成用例可以减少测试数据生成时间,达到节省测试成本、提高测试效率的效果。     

广义绝对值方程的区间算法

研究了广义绝对值方程的求解问题.在特定条件下,得到含有广义绝对值方程准确解的初始区间,然后提出了一个能不断缩小含解区间的区间迭代算法.该算法能同步显示绝对值方程近似解和准确解的误差范围,并证明了算法的收敛性且收敛速度至少是线性的.为提高计算效率,利用点迭代来代替区间迭代,最后进行了数值实验.理论分析和数值结果均表明所提算法是有效的.     

log-弱亚正规算子的一点注记

证出log-弱亚正规算子T具有性质(β),并给出拟相似的log-弱亚正规算子T1和T2满足σ(T1)=σ(T2),σe(T1)=σe(T2)。最后还得到了T的谱的一些性质。     

Banach空间混合单调算子方程解的迭代序列的收敛性

利用非对称迭代技巧,讨论了不具有连续性和紧性条件的混合单调算子方程解的存在唯一性,并给出了迭代序列收敛于解的误差估计,所得结果是某些已知结果本质改进和推广。     

基于DSP的数字视频处理系统中边缘检测算法的实现

近年来,随着DSP技术的快速发展,数字视频处理技术得到了越来越广泛的应用。边缘检测是是数字视频处理中的一项关键技术,而且是进行对象检测和识别的基础。首先分析了当前发展比较成熟的几种边缘检测算法,然后针对基于DSP的数字视频处理系统的特点选用Canny边缘检测算法,并在基于DM642的数字视频处理系统上实现,给出了仿真的结果。     

基于中心定位算子遗传算法的动态层次聚类方法

针对聚类算法易陷入局部优化的缺点,将中心定位算子遗传算法与层次聚类方法动态结合,通过遗传算法的全局寻优特点弥补层次聚类算法的不足.在算法的后期融入Chameleon思想,提高了算法的准确性.通过对UCI中的三个数据集样本进行测试,表明聚类效果优于传统聚类方法.     

l~2上的对角算子

研究了l~2上的对角算子,对其伴随算子进行了刻画,分别得到了对角算子成为正算子、有限秩算子、Hilbert-schmidt算子的充要条件,并给出了其在算子理论中的应用。     

Gamma函数和Beta函数在积分运算中的应用

通过分析Gamma函数和Beta函数的相关性质,讨论了这两类特殊函数在积分运算特别是非正常积分运算中的应用,以便为定积分的教学改革提供参考.     

常系数非齐次线性微分方程组求特解的新方法

利用一般多项式与多项式矩阵的升幂综合除法,解决算子多项式矩阵的逆的形式幂级数展开问题,进而得到常系数非齐次线性微分方程组求特解的新方法.