管子模的拟遗传自同态代数

证明了对管子模M，存在管子模N，使得M＋N的自同态代数End(M N)是拟遗传代数。对M是不可分解管子模的情况，刻划了N的不可分解直和项的个数的下界。     

BCK-代数的α-Fuzzy子代数

作者引进了BCK-代数的α-fuzzy子代数、α-fuzzy理想、α-fuzzy约化左理想等概念，讨论了它们的一些性质，改进并推广了现知的一些重要结果。     

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

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

n-李代数导子的Jordan-Chevalley分解

利用n-李代数导子性质和一般线性变换的Jordan-Chevalley分解，得到，n-李代数的导子也可以进行Jordan—Chevalley分解．     

随机数学中若干典型问题的计算机仿真

运用计算机代数系统Maple研究了随机数学中若干典型问题的计算机仿真．研究结果表明，计算机仿真是数学实验的重要手段之一，也是科学研究的重要方法．     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

模糊粗糙集的格结构

定义了模糊集合的上、下近似算子，讨论了其代数结构.证明了模糊粗糙集理论中全体可定义集合构成一个完全分配格，给出了生成这一完全分配格的元素的集合并讨论了其基本性质.     

左Yetter-Drinfeld模范畴中的双Frobenius代数

考虑左Yetter—Drinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)．证明了左Yetter—Dfinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)的对偶(A，t，φ，Ψ*)也是左Yetter—Drinfeld模范畴中的双Frobenius代数．给出了右积分φ∈∫A^r,t∈∫A^r,模函数α和模元g的模和余模结构，也给出了Yetter—Drinfeld模范畴中的双Frobenius代数的Radford的对极Ψ^4公式．     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

最简线状李代数

作者定义了一类线状李代数，即所谓的最简线状李代数，它是一类结构最简单的线状李代数，也是Luis Boza, Francisco J. Echarte 和 Juan Nunez在1994年对复数域上的10维线状李代数的分类中所提到的参数全为零的代数μ₁₀¹³⁰的推广。设g是域F上的n维最简单的线状李代数（n≧4）,确定了g的导子代数，并且证明了当F 的特征为0或p＞n-2时g的导子代数不可解的完备李代数。 还计算了g的自同构群，并证明了当∣F∣≥n时它是一个无中心的可解群。此外，对于素特征的的情形，还考虑了g 的可限制的充要条件，并对非可限制的情形确定了g 的极小p—包络。