线性代数中几个定理的新证法

对线性代数中关于矩阵秩的几个公式与特征多项式的性质定理给出了新的证明方法，用齐次线性方程组解空间的理论证明了矩阵秩的６个定理，利用矩阵和的行列式定理给出了矩阵Ａ的特征多项式系数及Ａ的主子式关系定理的新证法。     

一类空间曲线的填充问题

本文给出一类空间曲线的填充方法.给定有序点列(x_1,y_l,z_1,),(x_2,y_2,z_2,),…,(x_n,y_n,z_n)和一个C~2-类函数要在任意相邻的两点之问填充一个空间曲线 F,假设 F 在 XZ 平面 XY 平面和 YZ 平面上的投影分别为:z=g(z),y=f(x),z=h(y)和要求这些函数满足下列条件:1 g'(x)>0,g'(x)>02 h'(y)<0,h'(y)<03 f'(x)<0,f'(x)<04 ζ'(x)>0,ζ'(x)>05 这 n-1个曲线段在连接点是两阶连续的,这是一类在数学放样中很常用的空间曲线。     

Banach-值HL积分的收敛定理

引入Banach 值HL可积函数序列等度HL可积的概念;利用等度HL可积性定理,证明了Banach 值HL可 积函数序列的一个收敛定理.     

划分测试中测试用例最优分配问题研究

研究了划分测试中每个子域错误率已知，测试资源受约束时，测试用例如何合理分配的优化问题．主要考虑了两类测试用例分配问题：测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配，证明了带约束的测试用例最优分配问题是一个NPC问题．给出了动态规划求解方法，从理论上证明了该方法是最优的，并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较，用实验数据验证了该办法能合理利用有限测试资源，有效地提高缺陷检测能力．     

广义Tricomi条件和强伪压缩映射不动点的收敛问题

引入广义Tricomi条件且研究在Ishikawa迭代过程下，强伪压缩映射不动点的收敛性问题，由于所得主要结果不涉及Lipschitz连续性和T的值域的有界性，因此，改进了该问题研究上的一些已有的结论。     

一种T-S模糊系统建模方法

T-S模糊系统被广泛应用于基于数据的建模应用中。模糊规则作为系统的核心,是影响系统性能的重要因素。在分析常见模糊系统建模方法的基础上,提出一种简单有效的建模方法。该算法基于变结构模糊建模思想,均匀选择模型的初始结构,以绝对误差为建模指标,通过增加模糊规则来提高T-S模糊系统的精度。为降低规则参数辨识的计算量,提高建模速度,将规则参数分为线性和非线性两部分,分别采用不同方法进行辨识。实例证明文中所提出的建模方法规则分布合理,收敛速度快,建模精度高,具有很好的实际应用价值。     

数据库中的因果规则挖掘

传统的因果规则挖掘算法仅能在简单变量间挖掘因果规则 ,本文给出了一个能够在多值变量X与Y间挖掘形如X →Y的因果规则 ,且有一条件概率矩阵MY｜X .     

用BP神经网络法预测反相液相色谱保留值

运用逐步回归法筛选BP人工神经网络的输入元素改进BP网络的结构，并用于疏水分配常数及氢键作用能预测反相液相色谱保留值，结果表明，逐步回归法与人工神经网络相结合，能优化网络，大大提高网络收敛速度在很大程度上克服了通常BP网络过所合的缺点，较通常BP神经网络及回归法在处理构效关系方面有更强的信息处理能力和预测能力。     

并行系统的一种组合式软硬件划分技术

研究并行系统的软硬件划分方法，建立了一种基于并行语言PL的代数语义的形式化软硬件体系结构，提出了一种基于基本调度块（BSB）的并行系统优化划分方法，该方法首先将PL程序分解为BSB，然后考察BSB的软硬件度量，最后利用启发式方法求出优化的软硬件划分方案，语法制导的划分规则可以用于系统的划分和软硬件成分的组合，本文提出的软硬件划分方法将系统的结构划分和功能划分有机地结合，具有实用价值。     

并行数据库系统PAROⅡ连接算法

提出了并行数据库系统的哈希轮转（Hash-Round-Robin）数据划分方法以及其于该划分方法的并行记录分布B^n树，给出了基于该树的并行连接算法，分析了该算法的效率，这种连接算法充分利用了数据的已有分布及B^n树的特性，还利用了哈希轮转划分的特性，提高了并行连接的效率，该算法已经在自主研制的并行数据库管理系统PAROⅡ中得到实现。