代数超曲面神经元的空间几何分析及其代数表示理论

在研究M－P神经元模型的几何意义基础上，从代数簇的观点出发，分析M－P神经元模型的代数本质，提出1种代数超曲面神经元模型；从多维代数和空间几何分析的观点出发，刻画和描述出代数超曲面神经元模型的数学实质，给人们研究高阶神经网络系统的空间几何理论及其多维代数表示理论奠定了基础。     

泛代数上的Groebner-Shirshov基理论

综述了域上或交换代数上的线性（-）代数的相应的簇（范畴）的 Groebner-Shirshov 基理论的新成果，如:结合代数（包括群（半群）代数），自由代数的张量积，李代数，Di-代数，pre-李代数，Rota-Baxter代数，metabelian李代数，L-代数，半环代数，范畴代数，等．以上结果包含了许多应用，尤其是给出了一些著名结论的新的证明．     

标准单项式理论 不变理论方法

V．拉克什米柏等 著 Schubert簇存在于代数几何、组合学、交换代数、表示理论等交叉学科中，它们是一类重要的子标志簇，为标志簇的研究提供了归纳性方法。在过去的五十多年中，许多人从各个角度对Schubert簇进行了深入而广泛的研究，提出了许多新颖的观点和方法。     

关于极面的ADJOINT收缩

高维代数簇的极线收缩已有很多研究。将它们推广到极面收缩对高维簇的参双有理分类理论是很有意义的，设Ｘ是非奇异的ｎ维射簇，Ｌ是Ｘ上的ａｍｐｌｅ除子，ｆ：Ｘ→Ｙ是以Ｋｘ＋（ｎ－３）Ｌ为支撑除子的极面收缩映射。     

实算子代数

本书是一本算子代数理论方面的专著，创立了实算子代数理论的基础，着重研究了在实数域条件下的Banach代数和算子代数及与之相关的问题。作者在这个研究工作中，尽可能地从统一的角度对多种实算子代数进行分析，并刻画了实算子代数和复算子代数的不同之处。     

泛代数上的Gr迸bner-Shirshov基理论

综述了域上或交换代数上的线性（Ω-）代数的相应的簇（范畴）的Gr迸bner-Shirshov基理论的新成果,如：结合代数（包括群（半群）代数）,自由代数的张量积,李代数,Di-代数,pre-李代数,Rota-Baxter代数,metabelian李代数,L-代数,半环代数,范畴代数,等。其中包含了许多应用,尤其是给出了一些著名结论的新的证明。     

扭三次曲线的代数性质

扭三次曲线是一条特殊且重要的代数曲线,它是一个一维的代数簇.扭三次曲线在代数几何中常被作为例子来研究各种相关主题比如参数表示,理想,簇的维数等.本文通过研究此曲线的参数表示、维数、切平面以及与理想的关系等代数性质,使我们对扭三次曲线有一个更全面,系统和清晰的认识.     

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

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

结合代数物表示理论基础第：2卷，管与欧几里得型隐蔽代数

本书是伦敦数学会学生教材丛书的第71卷，是关于结合代数表示理论3卷本专著中的第2卷。第1卷于2006年出版，是关于表示理论基本技术的一般性引论。第2、3卷的目的是在其基础上研究无穷表示的欧几里得型覆盖代数（tilted algebras），特别是它们的不可分解模的完全刻划、模范畴及Ausliander—Reiten箭图。本书（第2卷）的主题是应用箭图的线性表示理论、不可分解模的管几何及同调代数，给出代数闭域上有限维结合代数的表示理论的现代成果，包括该书的第10～14章。其中第10章引进一种称为稳定管的特殊类型的平移箭图，并在模的范畴中研究其性状；第11～13章研究欧几里得型的隐蔽代数的Auslauder—Reiten箭图，详细刻划了其正则部分的特征，并且作为其应用，研究了欧几里得型遗传代数上的不可分解模及管。第14章论述极小无穷表示代数，给出其特征，并借助箭图作出它们的完全分类。     

分片代数簇的机械化求解

分片代数曲线、曲面的拼接涉及多元样条函数组的零点问题，给出了分片多项式的初式、升列、求余分工以及特征列概念，应用求代数簇的吴方法，讨论求出相应的特征列及相应的特征的零点，进而给出一定条件下分片代数簇的机械化求解方法。     

(2,1)-代数簇及其自由对象

系统叙述了（2,1）-代数的基本理论,给出了“绝对自由（2,1）-代数”的准确结构,从而完整地证明了任一（2,1）-代数簇都存在自由对象,这弥补了文献（Fundamentals of Semigroup Theory.Oxford:Clarendon Press,1995）的不足。     

例外序列与代数不变量

设A是一个有界代数,ε是mod(A)中的正交例外序列.我们构造了从由ε所确定的例外代数Aε表示的模簇到A所对应表示的子模簇的一个映射,并证明了该映射是既单又满的正则映射.特别地,这两个模簇双有理等价.最后,我们介绍了该结论在温顺型拟遗传代数,野路代数与野典则代数上的一些应用.     

伪BR0代数及其性质

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

等距曲线可隐含代数精确表示

证明古典的平面代数曲线簇空间，恰是等距运算的不变子空间和ＣＡＤ／ＣＡＭ常用的自由等距曲线，可由一次数不超过４×（原曲线的代数次数）－２的隐含代数曲线精确表示．     

伪格蕴涵代数

为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征.     

拟代数簇包含关系的判定算法

判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .文中给出了判定算法和计算实例     

Bocs的一些几何性质(Ⅰ)

对任意的维数向量ｚ,引进了三角层化ｂｏｃｓ的表示簇以及作用于其上的代数群着重讨论了ｔａｍｅ簇的一些几何性质,并给出一个三角层化ｂｏｃｓ是ｔａｍｅ表示型的充分必要条件。     

关于局部顶点李代数的一点注记

根据局部顶点李代数的同态，可惟一地诱导出由它们分别构造所得的顶点代数之间同态的理论。进一步探讨了局部顶点李代数的概念。给出了关于局部顶点Poisson微分代数的两个命题，补充完善了这两个命题。详细解释了顶点李代数是局部顶点李代数的特例。     

Bn型Hecke代数和一个可约复表示

设Ｗ＝（Ｗ，Ｓ）是Ｂｎ型仿射Ｗｅｙｌ群，Ｈ和Ｈ分别是Ｂｎ型的Ｈｅｃｋｅ和扩充Ｈｅｃｋｅ代数由Ｗ中含ｓ０ｓ１的双边胞腔的分解，可以得到一个Ｗ－图τ文中讨论了与τ相应的Ｈ的复表示为平方可积的充要条件，以及与τ相应的Ｈ的复表示为不可约的充要条件，最后，得出与Ｈ的该不可约复表示相对应的代数簇Ｂ（ＳΦ，ＮΦ）由两个孤立点组成。     

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的定义；2）给出了次BL代数的另外两种等价形式，进一步揭示了次BL代数与其他逻辑代数之问的关系；3）证明了一种强次BL代数与BR0代数之间的等价关系。并以次BL代数为基础蛤出了BR0代数和R0代数的简化定义，改进了已有的结果。