图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

四元数矩阵的伴随性质

利用代数的方法，研究了四元数矩阵的伴随性质，得出了一系列有意义的新结果．     

图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。     

伴随矩阵的若干性质

从特殊矩阵的伴随矩阵的关系考察了伴随矩阵的性质。     

序列Banach空间上的对偶半群

讨论序列Banach空间上的对偶半群．证明了不是自反空间的序列Banach空间上的G0半群的对偶半群仍可为G0半群．     

关于蕴涵BCK-代数的半群刻划

给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征，并从剩余半群的角度对蕴涵BCK-代数进行了刻划．     

BCI-代数的自同态

讨论了ＢＣＩ－代数Ｘ的自同态与反自同态的性质．给出了Ｘ的伴随半群Ｍ（Ｘ）中自同态的刻画，即σ为Ｍ（Ｘ）中的自同态当且仅当σ为幂等元．证明了伴随半群中的反自同态一定是自同态，并指出若Ｍ（Ｘ）中存在反自同态，则Ｘ＝Ｎ２（Ｘ）．     

基于面向对象方法的多智能集成知识系统

基于面向对象方法建立了多智能集成知识系统的一种通用体系结构，使之融合多种形式的知识表达和处理方法．通过语义表和复合对象机制扩展现有的面向对象形式框架，以实现这一体系结构，其中类语义表、继承关系语义表和变量语义表增强面向对象形式框架关于类、继承关系和变量成员的说明性语义，并借助于伴随类的引入使复合对象的表示与面向对象方法的重用性原则一致．     

关于Griss代数的伴随半群

本文证明了Griss代数X作成正蕴涵且具有条件(S)的BCK一代数当且仅当X是正则的Griss代数;进一步给出了BCK一代数作成Griss代数的半群刻划.