利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

非线性映象的Mann迭代的收敛性与不动点

在可度量化拓扑线性空间中，讨论一些非线性映象的不动点与Mann迭代序列的收敛性问题，在一定条件下，得到了一些新的结果，推广和发展了Khan,Ghosh及Rhoades等人的工作。     

L-Fuzzy拓扑空间中Os-连通性的樊畿定理

在文献^[1]（张杰，王秀英。L－Fuzzy拓扑空间的Os－连通性[J]。模糊系统与数学，2001（1）：21－24）。的基础上，借助分子的邻域，给出Os-连通性的樊畿定理。     

性别与英语语言变异

分析男女两性在英语语体的选择、语音语调、性别歧视等几方面的迥异。     

2n+1阶非线性微分方程的周期解

平等地非共振高阶Duffing方程周期解问题的研究，利用拓扑度方示和Schwarz不等式，给出一类线性奇数阶常微分方程周期解的存在惟一性定理。     

定量构性关系研究——利用新分子拓扑指数预测烷烃热力学函数

基于分子的键距矩阵和键联矩阵提出一种新的分子拓扑指数Y.利用 Y计算了烷烃 ( 2～ 2 0个碳原子共 97个分子 )的 5种热力学性质 .结果表明 ,它比现有的拓扑指数具有更好的结构选择性和性质相关性     

应用拓扑方法计算烷烃正常沸点下的蒸发潜热

根据分子结构的特点,通过采用距离矩阵表征分子中基团的特性和连接性,发展了一种直接根据分子结构信息计算烷烃正常沸点下蒸发潜热的方法。对160种烷烃的计算结果表明,蒸发潜热的预测值十分接近实验值,平均绝对误差0.374(kJ·mol~(-1))、平均相对误差1.09%,计算精度优于文献方法。     

缙去山特有植物缙云黄芩的等位酶变异研究

采用聚丙烯酰胺凝胶垂直平板电泳检测了重庆缙云山特有植物缙去黄芩（Scutellaria tsinyunensis C.Y.Wu et S.chow)7个居群70个个体的过氧化物酶（POD）、细胞色素氧化酶（CYT）、超氧化物歧化酶（SOD）、淀粉酶（AMY）和酯酶（ES）5种等位酶谱带的变异式样。并将所得酶谱带进行编码，然后分别用Jaccard和Sokal-Michener结合系数结合不加权组平均法（UPGMA）进行聚类。7个居群等位酶谱带分布表明，只有15.56%的等位酶谱带在所有个体中是恒定的，其余84.44%的等位酶谱带在个体间显示出或多或少的变异。在居群水平上，也只有22．22％的等位酶谱带是恒定的，77．78％的等位酶谱带存在有分化。聚类分析结果表明缙云黄芩同一居群的个体间在等位酶谱带上表现出很大的相似性，即居群内个体间表现出较大的遗传同质性；而来源于不同居群的个体酶谱则表现出明显的趋异性，显示出缙云黄芩不同居群之间发生了较明显的遗传分化。     

图像增强的自适应免疫算法

介绍了自适应免疫算法的基本原理及实现步骤，并将其应用到图像的增强处理中，在传统的图像管理处理中，针对图像灰度分布的不同情况，需要定义相应的灰度变换函数。Tubbs将图像增强处理中几种常用的非线性变换函数表示成一个归一化的非完全Beta函数，但确定Beta函数参数仍是一个复杂的问题，本文利用自适应免疫算法来确定该变换函数的最佳参数值，通过对自然图像的仿真实验可以看出本文方法的有效性。     

校园一卡通系统的设计与实现

从系统要求、系统组成、拓扑结构、安全设计等方面综合介绍了高校校园一卡通系统的设计方案。