量子代数A_n（q_1,…,q_n,K）的强既约Groebner基

对于量子代数An（q1,…,qn,K）的左理想引入了强既约Groebner基,证明了这种基的存在性与惟一性,并给出了构造一个强既约Groebner基的算法。     

不精确推理机制的模糊逻辑解释

本文采用真值取在布尔代数上的模糊逻辑从理论上解释了专家系统中的不精确推理机制.     

可数生成代数上的Hilbert零点定理

证明了Hilbert 零点定理可以推广到一个不可数域可数生成的代数上,还给出了它推广后的几何形式.     

数字多路选择器单级及二级逻辑网络的最优化设计Ⅰ

基于一个逻辑函数的数字多路选择器实现，实际上是将该函数的真顶点按该网络的控制变量的取值进行分类的观点，利用布尔代数运算，讨论了数字多路选择器模块M（p）的可实现性，给出了数字多路选择器单级逻辑网络的最优化设计方法．给出的设计实例说明了这种方法是有效而可行的．     

代数课程体系及教学内容改革的研究与实践

探讨了范畴论进入基础课的依据，并以代数结构为主线构建了一个新的代理课程体系，且介绍了课程体系改革的教学实践情况。     

区间代数理论扩展

以区间代数为基础,对其进行理论扩充。对基本初等函数,如三角函数、反三角函数、指数函数、幂函数等进行区间扩展,这样任意初等函数的一种区间扩展形式都可以通过对扩展后的区间基本初等函数进行有限次四则运算和复合运算得到。对一类条件函数进行区间扩展,并且证明了扩展后所得的区间基本初等函数和区间条件函数具有单调包含性     

广义Drinfel''''d偶B_(|x|τ)H的同调维数

讨论了 Drinfel' d偶 B| | τH及 B,H的同调维数 .得出了 :　　 w.dim( B| | τH ) w.dim B w.dim H和 l.gldim( B| | τH ) r.gldim H l.gldim B由此得到了 Drinfel' d偶 D( H )的一些性质 .     

相对于紧拓朴半群上的概率测度的组合收敛序列的集S_O■的若干性质

本文探讨紧拓朴群上概率测度的合成收敛序列的极限性质能否扩展到紧拓朴半群上去。作为第一阶段的工作、着重研究了子集S_0=_λ∈V~USλ的性质。得到的主要结果是: ①S_0是完全简单半群(即为含有本原幂等元的简单半群) ②设μ_n∈p(s)、(n=1、2、…),μh.n→λh(K≥1)则对任何开集US_0,有 K→∞ λ_k(U)=1 ③设μ_n∈P(s)、(n=1、2、…),μ_k.m→λh(K≥1)则对任何开集US_0, K→∞ μ_km(UU~(-1))=1当m>K时一致成立。     

一族Liouville可积系及其Hamilton结构

指出了获得可积系的方法一般是在零曲率框架Ut-V(n)x+[U,V(n)]=0中进行,所选取的V的形式为V=∑m≥0Vmλ-m,Vm=ambmcm-am.构造了一个等谱问题,特别是对于该等谱问题,选取的V中既含有谱位势,又含有a,b,c的关于x的导数项,得到了一个新的Lax对.利用屠格式获得了一族新的Liouville可积系,具有Hamil ton结构.