计算机辅助几何设计中双三次张量积非均匀B样条曲面G1光滑条件

依据有关B样条理论 ,研究了一种特定类型的双三次张量积非均匀B样条曲面间G1光滑拼接的充要条件 ,且给出了此种类型的两张双三次张量积非均匀B样条曲面间G1光滑拼接的一个充分条件 ,以满足实际应用的需要     

一类广义树的色性

本文证明了图G是树序列为{1，p，1，q-4个…1，2，2，r}的广义树的充要条件是G的色多项式为P(G；λ)=λ(λ-1)^p(λ-2)…(λ-q 2)^2(λ-q 1)^2(λ-q)^r，这里q=4.5。     

关于次对称阵的次正定性

文章研究了次对称阵的次正定性，给出了次对称阵次正定的一些充分必要条件。     

也谈用矩阵判断哈密尔顿图的一个充要条件

指出了文[1]结论及证明中值得商榷的地方并给予了改进，在此基础上得到了几个推论。     

一类中立型变系数差分方程振动的充分条件

研究了一类中立型变系数差分方程解的振动性，得到了其存在非振动解的充要条件及一些新的振动准则，其中包含一些新的振动准则，其中包含一些“Ｓｈａｒｐ”准则。它们推广并改进了若干已知定理。     

关于紧子集的一个充要条件

给出在紧拓扑空间中判别紧子集的一个充要条件。     

逻辑方程F=G的解集研究及其应用

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。得到了若F G-=1和FG-=1的解集分别为S1、S2,则F=G的解集为S1-S2,若F G=0和F- G-=0的解集分别为S3、S4,则F=G的解集为S3 S4,以及若F.G=1和F.-G-=1的解集分别为S3′、S4′,则F=G的解集S3′ S4′为的结论.从而可应用结论解非0型、非1型和某些有关的逻辑方程。     

多层线性规划问题可行解的充要条件和单纯形算法

研究多层线性规划问题。先对可行解提出几个必要与充分条件, 然后在这些条件的基础上设计出一种单纯形算法。最后通过求解一个三层规划问题为例来说明这种方法。     

关于正态随机变量函数的正态性

讨论了正态随机变量函数的分布性问题 ,给出了若干非线性函数 ,使得复合随机变量仍然服从正态分布。在某些特定条件下 ,给出了使得复合随机变量服从正态分布的充要或充分条件 ,对于更一般的情况 ,提出了若干未解决的问题     

无穷个无穷小量之积仍为无穷小量的充要条件

给出了无穷个无穷小量之积仍为无穷小量的充分必要条件，提供了两个简便方法用于判断可数个无穷小数列之积是否仍为无穷小数列。