圈G为po—圈的充要条件

得到了圈Ｇ可适当定义序，使其成为ｐｏ－圈的充要条件。     

格的双凸子格分划

主要研究能被双凸子格分划的格的基本性质，并得出它和存在素理想的格是等价的，给出了一些特殊的能被分划的格．     

模糊插值控制器的控制精度分析

研究模糊插值控制器的选择问题,从理论与仿真两方面对模糊插值控制器进行了比较.基于控制精度概念,得到了分段线性插值设计的单输入单输出(SISO)模糊系统控制精度阶数是2,样条插值设计的SISO模糊系统控制精度阶数是4.仿真结果表明,在相同的控制规则下,模糊样条插值控制器具有更高的控制精度.     

基于鲁棒标准T-S模糊控制系统的稳定性分析

以Takagi-Sugeno(T-S)模式的模糊系统为基础，提出了模糊控制系统进行稳定性分析与性能改善的新方法．     

两类非连通图优美性的研究

给出了两类非连通图(K2〖TX-〗∨Cn)∪[DD(]3[]i=1[DD)]St(mi)和(K2〖TX-〗∨C2n+k)∪St(m)∪G(k)n-1(k=1,2), 并证明了如下结论:对自然数n, m, m1, m2, m3, 设s=〖JB(［〗〖SX(〗n〖〗2〖SX)〗〖JB)］〗, n≥9, m1≥s+2, 则图(K2〖TX-〗∨Cn)∪[DD(]3[]i=1[DD)]St(mi)是一个优美图; 对 k=1,2,设n, m≥3, G(k)n-1是一个具有n-1条边的k-优美图,则图(K2〖TX-〗∨C2n+k)∪St(m)∪G(k)n-1是一个优美图。 其中,K2是一个具有2个顶点的完全图,K2〖TX-〗是图K2的补图,K2〖TX-〗∨Cn是图K2和n圈Cn的联图, St(m)是一个具有m+1个顶点的星形树。     

圈G为po－圈的充要条件

得到了圈Ｇ可适当定义序，使其成为ｐｏ－圈的充要条件     

格序群上矩阵方程A。X=B的解

在[1]、[2]、[3]中分别给出了完备的Browwer格上、每个元都有有限的并既约分解的格上以及一般分配格上的矩阵方程AX=B(即:(a_(ji)∧x_i)=b_j,j=1,2,…,m)的全部解的求法,和有解的条件.本文对格序群(G, ,∨,∧)上的矩阵方程A·X=B(即a_(ji)∧x_i a_(jz)∧x_2 … a_(jn)∧x_n=b_j,j=1,2,…,m)以及A*X=B.(即:a_(j1)∨x-1 a_j2∨x_2 … a_(jn)∨x_n=b_j,j=1,2,…,m)分别给出了其有解的条件、解集的构造,以及求解的一个常规方法.     

偏序集上的不动点理论

讨论具有不动点性质的偏序集所具有的性质，对它的范围作一些限制，并对有限集作具体的讨论，提出了广义既约元的概念，而且给出了有限偏序集具有不动点性质的又一个充要条件，讨沦了广义皇冠的本质。     

偏序集上的蕴涵

首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念，得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画，又从格论的角度出发；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件．