Hopf代数的自由积

给定两个Hopf代数,在它们代数自由积上,利用"代数延拓"的方法构造了余乘法、余单位和对极映射,从而证明两个Hopf代数的自由积还是Hopf代数.     

由Fuzzy代数映射族确定的始拓扑

引入了Ｆｕｚｚｙ代数映射的概念，给出了它的一个分解定理，在此基础上，应用Ｆｕｚｚｙ拓扑代数的理论，研究了由Ｆｕｚｚｙ代数映射确定的始拓扑的特征和它的若干性质。     

局部顶点李代数的有限直积

局部顶点李代数是一个新的代数结构,它和顶点代数有密切关系。本文定义了局部顶点李代数的有限直积,讨论了其对应的顶点代数的性质,尤其是得到有限个局部顶点李代数的直积对应的顶点代数同构于有限个顶点代数的直积。     

自动机及其代数规范描述

本文利用泛代数的思想和方法研究自动机理论,建立了亚群和自动机的方程规范模型,把亚群和自动机定义为这种规范模型的代数。给出了规范代数可识别语言的定义,并讨论了和规范代数的同态及同余之间的关系。     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

多原子分子势能面的李代数方法

势能面是分子反应动力学的基础,研究势能面的意义非常深远。近年来李代数方法成为研究分子势能面的强有力的工具。本文主要介绍了用动力学李代数方法构造多原子分子势能面的理论方法,及其在不同分子体系中的应用。     

关系网的代数规范说明

将关系网看作一个抽象数据类型,给出了其代数规范说明.这个关系网是它的代数规范说明的一个代数,代数规范说明的任一代数是一个关系网;讨论了关系网在同态下的性质,以及代数规范说明的代数与关系网模式和位置/变迁网的关系。     

软布尔代数

将软集理论应用到布尔代数中,提出了软布尔代数、软布尔子代数、软布尔代数的软理想、软理想布尔代数等概念,研究了它们的相关性质,并初步讨论了软布尔代数与几类布尔代数的模糊子代数的关系。     

粗糙集的代数性质

讨论了近似空间中粗糙集的代数性质,给出了粗糙并,交,补的定义,并定义了粗糙集的伪补元,基于此,从多方面探讨了粗糙集的代数性质,如,它是一个分配格,软代数,甚至是Stone代数。     

格蕴涵代数LI-理想的粗糙性

粗糙集的代数分析是粗糙集理论研究的一个重要方向,为了用代数的手段研究粗糙集,将粗糙集理论应用于格蕴涵代数,利用LI-理想诱导的同余关系,引入了格蕴涵代数的上、下粗糙LI-理想的概念,并讨论了粗糙LI-理想的相关性质.     

双参数形变Boson振子代数的Hopf结构

本文给出了双参数形变Ｂｏｓｏｎ振子代数的Ｈｏｐｆ结构，即余乘、余逆和余单位运算。     

状态空间精确线性化的计算机代数设计方法

讨论非线性系统状态空间精确线性化的计算机代数设计方法 .根据非线性系统几何理论 ,用计算机代数方法对系统进行了状态空间精确线性化的分析与设计 ,给出了用 Matlab符号编程语言实现的算法软件包 ,并使用该软件包对一个实例进行了分析和设计 .     

基于路由网络代数的BGP4路由策略冲突分析

介绍一种适合于Internet路由行为描述和分析的代数系统-路由网络代数（routing network algebra,RNA)，路由网络代数中的变量，常量以及相关的运算定律，重点介绍用于路由行为分析的扩展规则，在此基础上提出了一种BGP4路由策略冲突检测方法，理论与试验分析表明该方法可以有效地发现因错误的AS关系配置所产生的路由策略冲突。     

BCI拓扑代数的几个代数问题

BCI拓扑代数的几个代数问题@胡庆平...     

二阶全矩阵代数的模代数结构

研究了某些二阶矩阵及其二阶矩阵对关于弱相似关系的等价分类,讨论了二阶全矩阵代数的kC2-模代数结构和kC3-模代数结构的同构类。在同构意义下给出了二阶全矩阵代数的kS3-模代数结构,且当k为代数闭域时,得到了二阶全矩阵代数的kS3 模代数结构的同构分类。     

卡拉比-丘代数的导出森田不变性

导出非交换代数几何是当前数学领域最活跃的分支之一. 本文研究了卡拉比-丘代数的导出森田不变性, 证明：对于两个导出森田等价的代数, 如果一个是卡拉比-丘的则另一个也是卡拉比-丘的.     

具有中心群代数同构的两个有限群

设G和H是两个有限群,R是复数域C中所有代数整数构成的环。用RG表示G在R上的群代数,Z（RG）是RG的中心。在这篇注记中,设Z（RG）丝Z（RH）,如果G是内幂零群,那么群H不一定是内幂零群。进一步,群H的结构也可以得到。     

巧用代数方法解决解析几何中的某些问题

高等代数是解析几何的工具,同时,解析几何为代数提供具体的实例模型,因此它们是不可分割、紧密联系的.解析几何中的某些问题,如果使用常规的解题方法,其过程可能相当复杂,但如果巧用代数方法,则问题的解决会变得非常简单.文章将巧用代数方法解决解析几何中的某些问题.     

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

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

N(2,2,0)代数的另一个同余分解

给出了N(2,2,0)代数的一个同余分解,研究了商代数的代数结构,并探讨了自然同态下一类逆象的代数结构和性质.