单摆运动的相图法分析

用相图法分析讨论了有阻尼无驱动单摆的运动规律．     

不可分解格矩阵

引入了分配格上不可分解矩阵与完全不可分解矩阵的概念,并获得了它们的一些代数性质.     

Mod—R(除环)到Mod—M_(Γ×Γ)(R)的完全忠实函子的存在性

本文给出如下的定理,设R是一个除环,M_(Γ×Γ)(R)是R上的行有限的无限矩阵环,则对于模范畴Mod—R和Mod—M_(Γ×Γ)(R),存在完全忠实函子F:Mod—R→Mod—M_(Γ×Γ)(R)。这是保证两个模范畴等价的重要条件之一。     

并发计算的元模型Ⅲ.互模拟格

在有关ｃｈｉ演算的基础上,用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系,即Ｌ－互模拟等价关系,证明了只有４个不同的Ｌ－互模拟等价,在包含关系下,它们构成钻石格。许多常见的互模拟等价都可定义的Ｌ－互模拟等价。     

并发计算的元模型Ⅳ.公理化

在ｃｈｉ进程间互模拟格的基础上,利用Ｌ－互模拟的开刻划,给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与３条ｔａｕ规则构成,在此基础上,分别加入一条输出规则和／或其对偶形式,即得其他３个公理系统。     

并发计算的元模型Ⅴ.并发模型间的关系

讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .该翻译保持操作性质和开互模拟等价的代数性质     

SF环的正则性

讨论了SF环的正则性,证明了如果R是SF环且是ZI环,则R是正则的,同时证明了SF环R如果满足下列三条件之一,则R是强正则环：（1）R是ZI环并且每个单奇异右（或左）R-模是GP-内射的;（2）R是SRB环并且每个单奇异右R-模是GP-内射的;（3）R是2-primal环并且每个单右R-模是GP-内射的。     

Nest代数的广义导子和双边局部约当导子

证明Nest代数的广义导子是广义内导子以及Nest代数的双边局部约当导子是内导子。     

Lie可容许代数的导子

讨论了Lie可容许代数导子的基本性质,并给出了导子与其自身结构及其Lie代数的一些密切关系。     

用阶分量刻画李型单群G2(q)

用阶分量刻划单群并证明了李型单群G2 (q)也可由阶分量刻画 .定理 1　设G是有限群 ,M =G2 (q) .若OC(G) =OC(M) ,则G≌M .上述结论统一了如下两个结论 :定理 2　设G是有限群 ｜M =G2 (q)且( 1)｜G｜ =｜M｜( 2 )xe(G) =πe(M)则G ≌M .定理 3　设G是有限群 ,Z(G) =1,M =G2 (q) ,N(G) =N(M) ,则G ≌M .