子空间均为子代数的李代数

本文对子空间均为子代数和的李代数，称为Ｓ，Ａ－李代数，进行了讨论。     

具有小波数色散关系式Taylor展开的理论证明

研究扰动水波中先导波情形时色散关系式的Ｔａｙｌｏｒ展开，给出先导波情形时色散关系式的Ｔａｙｌｏｒ展开的理论推导，同时也得到了计算Ｔａｙｌｏｒ展式的一个迭代公式，这种公式可以通过计算机代数来实现．     

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

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

Smash积与Morita Context环

Morita Context理论是研究环与代数的有效工具(参见[1,4,5]等)。本文首先给出Morita Context环属于正规质类的充要条件。作为应用讨论了Hopf模代数A的不动子代数A~H与Smash积的正规质性之间的关系,推广了文[2,3]中相应结果。     

关于Griss代数的伴随半群

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

伴随阵的广义特征向量

给出了非奇异矩阵Ａ的伴随的广义特征向量的表达式。     

(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

交换环上Dn型Chevalley代数的由正根基向量生成的幂零子代数的自同构

设R是一个特征不是2的整环或是一个以2为单位的局部环,N是R上Dn(n≥4)型Chevalley代数的由正根基向量生成的幂零子代数.证明了N的任一个自同构φ都可以唯一地表示为图自同构gσ、对角自同构dχ、极点自同构ξb、中心自同构μc、内自同构i的乘积,并且N的自同构群Aut,(N)=(),其中()分别是N的图自同构群、对角自同构群、极点自同构群、中心自同构群、内自同构群.     

交换环上由Bn型Chevalley代数的正根基向量生成的幂零子代数的自同构

设R是一个以2为单位的交换环。N是R上由Bn型Chevalley代数的正根基向量生成的幂零子代数。证明了N(n≥4)的任一个自同构φ都可以唯一地表示为对角自同构dx，极点自同构ξk、中心自同构μr、内自同构σ的乘积，并且N的自同构群Aut(N)-，其中分别是N(n≥4)的对角自同构群、极点自同构群、中心自同构群、内自同构群，对于n=2.3的情况，我们也确定了N的自同构。     

不相容决策信息系统属性核的研究

决策表属性核的计算往往是基于Rough集理论的决策信息系统约简过程的出发点和关键．不相容决策信息系统是信息系统约简处理研究的重点．本文对不相容决策信息系统属性核的计算问题进行研究，证明了Rough集理论代数观和信息观中属性核概念的包含关系，以及几种属性核计算方法所得到的结果之间的包含关系．