新的单调类定理

证明了由半集代数生成的正规类等于半集代数生成的σ代数，并提出一个新的集类：仿正规类．证明了这种仿正规类的单调类定理：由半集代数生成的仿正规类也等于半集代数生成的σ代数．     

面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论ＡＭＬ语言中与Ａｄａ９５中有明显不同的成份的语义,即类程序包,结构程序包的代数语义。     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

一类等式模型类的代数性质

讨论了具仍使用等式ｅ有效的子代数的规范代数构成的类的代数性质，证明了这个类是一个可等式的模型类。     

格蕴含代数与有界交换BCK—代数

证明了格蕴含代数与有界交换BCK—代数是两类等价的抽象系统，因而是范畴等价的。     

子环的和与积

 讨论了环由子集生成的子环、子环的和与积的结构,子环的积对和的分配关系,证明了结合环类是完备代数类及可积代数类,从而是完备代数正规类及可积代数正规类.     

一种实用的三维折射率场重建算法

光学层析算法可分为两类：变换类算法与级数展开类算法。代数重建技术就是级数展开类算法中的一种。此种算法对于各类非完全投影数据，特别是住房吸遮挡物情况的三维折射率场重建具有很大的优越性，对于光线弯曲情况及先验知识的应用亦有其优越之外。该文提出了一种实用的三维折射率场重建算法，即联合应用加法式代数重建技术ＡＲＴ与乘法式代数重建技术ＱＭＡＲＴ重建三维折射率场。     

伪BR0代数及其性质

文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的.     

八邻域网格聚类的多样性XML文档近似查询算法

提出了一种基于八邻域网格聚类的多样性XML近似查询算法.首先给出了支持XML文档间语义距离计算的3种编辑操作代价模型,再利用XML文档间的语义距离建立XML文档的向量模型并设计基于八邻域网格的XML文档聚类算法,进而利用聚类过程中得到的物理和逻辑聚类中心对静态有序选择算法的查询评估策略进行优化,这样做只需定位聚类中心所在组群的局部范围,并在该范围内进行目标查询,而无需遍历整个XML数据库,从而快速返回满足用户需求的查询结果.经汽车外形智能化设计实验表明,所提算法的查询速度比静态有序选择算法平均提高了3~4倍.     

C－子代数的性质及其应用

本文得到ｃ－子代数的若干性质，利用这些性质可将实半单Ｌｉｅ代数的讨论化为对有效ｃ－子代数的讨论；利用这些性质也可以证明，是第二类型实单Ｌｉｅ代数，当且仅当是某复单Ｌｉｅ代数的实化；由此猜想，是第二类实单完备Ｌｉｅ代数，当且仅当是某复单完备Ｌｉｅ代数的实化．     

非交换拓扑中的仿紧性和正规性

本文定义两类拓朴~＊－代数，称为ｐ~＊－代数和ｎ~＊－代数，并且证明ｐ~＊－代数和ｎ~＊－代数分别是仿紧ｋ_Ｒ－空间和正规ｋ_Ｒ-空间的非交换类比．     

GLV系统的几类哈密顿函数和运动不变量

给出了可作为具有相应Poisson结构的GLV系统的Hamihonian函数和运动不变量的两类函数及代数条件，且代数条件是独立的．     

地方工科院校代数类课程的教学改革探讨

代数是高校理工科专业的必修课程门类,其中高等代数是数学各专业的基础课,线性代数是经济、管理及工科各专业的必修课.在分析地方工科院校代数类课程现状的基础上,拟对代数类课程的教学内容进行"模块化"整合,并且根据教学大纲及相关专业的不同要求,提出代数类课程"组合式"的教学方法.     

浅谈高等代数的知识体系

高等代数是高校数学专业的一门骨干基础课．它的重要性不仅在于它在数学各分支、基础科学、工程技术、经济管理等领域的广泛应用，还在于它体现了现代数学的观点和方法．从数学教学的知识体系上看，正如张禾瑞先生所说：“高等代数是中学代数的继续和提高”．所谓继续主要是研究问题的继续．高等代数从中学代数已介绍过的多项式，线性方程组的简单知识入手，从定义出发，通过严格的逻辑推理，建立了这两类问题的理论体系．所谓提高，主要是观点和方法的提高，在研究了多项式，矩阵两类具体的数学对象后，并未沿用旧方法继续讨论其它具体的数…     

正则HFI代数与格H蕴涵代数的关系

证明了正则ＨＦＩ代数类与格Ｈ蕴涵代数类是范畴等价的．     

对称BCI—代数类是一个BCI—代数簇的充要条件

1980年日本数学家K.Iséki提出这样的问题[1],即一个BCI一代数类是否是一个BCI一代数簇?文[2]中举出一例,说明这个问题的回答是否定的,並指出可结合BCI—代数类一定是BCI—代数簇。本文指出对称BCI—代数类是一个BCI—代数簇的充要条件是可结合的。并得到拟左(右)交错对称BCI—代数类都是BCI—代数簇。并证明了对称     

低维半结合3-代数的分类

对低维半结合3-代数的结构进行了分类,证明了在同构的意义下,仅存在2类3-维半结合3-代数,4类4-维半结合3-代数和6类5-维半结合3-代数,并给出了每一类半结合3-代数在一组基下的具体乘法结构.     

关于N(2,2,0)代数的平移类

作为可约化半群的推广，引入了半群左（右）可约化的概念，进一步讨论了N（2，2，0）代数的平移变换的性质，并讨论了某些平移类的代数结构。     

第一类李拟代数的Frattini子代数与c可补子代数

把Frattini理论推广到第一类李拟代数,得到了第一类李拟代数的Frattini子代数的若干性质,并研究了第一类李拟代数的c可补子代数的重要性质,给出它们之间的重要关系.     

归纳证明的规范变换方法

给出了一般等式规范有序类等式规范的变换方法，以及在有序类等式规范上的主要结论，在此基础上，又给出了有序规范上的一个归纳证明方法，这一方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏ－