二元异度样条空间的维数与基底

本文分别给出平面矩形网剖分Δmn与简单贯穿网剖分Δsc下二元b次μ阶异度样条函数空间的维数与基底。     

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

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

一类空间曲线的填充问题

本文给出一类空间曲线的填充方法.给定有序点列(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的值域的有界性，因此，改进了该问题研究上的一些已有的结论。     

基于传输时差最小的OFDM系统信道划分优化方法研究

随着OFDM技术在移动通信中的广泛应用,信道划分问题逐渐被人们所关注。主要讨论了在信道状态和传输总量已知的情况下,基于传输时差最小的OFDM系统信道划分优化问题。首先证明了该问题属于NP完备问题,因此必须使用随机算法代替穷举来求解。主要讨论了遗传算法和粒子群算法在此类问题中的应用。通过仿真所给出的具体结果,可以证明尽管随机算法不能保证解的最优性,但搜索时间较短;同时在相同条件下,粒子群算法可以显示出比遗传算法更强的搜索能力,因此对于OFDM这类实时性要求较高的系统,具有更大的实用性。     

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

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

H2CO分子高温配分函数的理论研究

在20-6 000 K温度范围内,计算了非对称陀螺分子H2CO的总配分函数,其中,转动配分函数采用WATSON的刚性转子模型,振动配分函数采用谐振子近似.20-6 000 K的温度范围被划分为5个区间段,计算的配分函数在这5个温度区间分别被拟合到一个温度T的四阶多项式,从而在每个区间均得到5个拟合系数.由这些拟合系数就可以快速、准确的获得分子在所研究温度范围内任意温度的总配分函数.     

数据库中的因果规则挖掘

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