p^r—李代数和幂零李代数的表示

给出了ｐ＾ｒ－李代数的定义，证明了ｐ＾ｒ－李代数具有许多与限制李代数类似的性质，然后利用ｐ＾ｒ－李代数概念，讨论了一般幂零李代数不可约束表示的同构类，得到了特征为Ｓ的不可约表示同构类的个数，以及某些阶化李代数的阶化模的一些结论。     

基于关系代数的结构模式识别系统句法分析单元设计

介绍了一种基于关系代数的句法分析单元设计.尝试通过与关系代数模型紧密集成,利用关系数据库系统能够组织和快速检索海量数据的特点,提高句法分析单元的处理复杂文法样本的能力,同时减轻用户的编码负担.在此框架中,部分推导树集合被表示为关系；推理规则集被表示为扩展的关系代数运算.给出了算法实现所需的数据结构和控制结构.从而将句法分析算法完全表示为数据库系统中的一个关系运算过程.最后通过原型系统验证了该方法的可行性.     

双正交小波滤波器族的构造

给出了一般双正交小波滤波器所对应多相矩阵分解形式及所对应的代数结构空间,完成了一个双正交小波滤波器设计程序.此程序不但可以给出任意双正交小波滤波器族参数表示,还可以用来刻划滤波器族代数结构.     

有限维结合代数上表示的可约性

给出有限维结合代数上表示可约性的两个判别法。它们是，（Ｉ）若φ是有限维结合代数Ａ上的表示，其表示矩阵为αφ，且存在非零元α∈Ｚ（Ａ），使得Ｔ（α）≠０，而ｄｅｔＴ（α）≠０，则φ是可约的；（Ⅱ）若φ是有限维结合代数Ａ上的正则表示，其反表示矩阵为Ｓ（α），则φ是既约的充要条件为：Ａ↓α∈Ａ，α≠０，有ｄｅｔＳ（α）≠０。     

包含投射模的几乎可裂序列

几乎可裂序列是研究代数表示论的一个有力工具．本文刻划了包含投射模的几乎可裂序列，给出以投射模为首项和中间项的几乎可裂序列的特性．     

隐式代数曲线的有理参数化（Ⅰ）

曲线和曲面的隐式表示和参数表示各有其优点，为了能够利用两种表示方法的优点，必须能够有效地进行曲线曲面的两种表达形式的相互转换，研究隐式代数曲线的有理参数化问题，根据平面二次曲线有理参数化的有关理论，给出并讨论了二次曲线有理参数化的几何和代数算法，研制了相应的软件，所给出的实例，证明了此算法的有效性。     

关于余辛流形的半不变子流形的一个不等式

对余辛流形的半不变子流形进行研究,利用曲率的分量表示之间的简单的代数关系,得到了这类子流形的Ricci曲率与平均曲率平方之间的一个不等式,并讨论了等式成立的充分必要条件.     

4带正交小波系统的参数化和代数结构

给出了4带正交小波滤波器族对应多相矩阵完全分解形式,利用此结果,完成了一个滤波器设计程序,由此程序,不但可以给出一类4带小波滤波器族参数表示的形式,还可以用来刻划滤波器族代数结。     

隐式代数曲线的有理参数化(I)

曲线和曲面的隐式表示和参数表示各有其优点.为了能够利用两种表示方法的优点,必须能够有效地进行曲线曲面的两种表达形式的相互转换.研究隐式代数曲线的有理参数化问题.根据平面二次曲线有理参数化的有关理论,给出并讨论了二次曲线有理参数化的几何和代数算法,研制了相应的软件.所给出的实例,证明了此算法的有效性.     

关于余辛流形的半不变子流形的一个不等式

对余辛流形的半不变子流形进行研究,利用曲率的分量表示之间的简单的代数关系,得到了这类子流形的R icc i曲率与平均曲率平方之间的一个不等式,并讨论了等式成立的充分必要条件.     

一类特殊对称滤波器族的构造

给出了一类对称多带正交小波滤波器的一般构造方法,得到滤波器族对应多相矩阵完全分解形式,完成了一个滤波器设计程序.由此程序,不但可以给出一类多带小波滤波器族参数表示,还可以用来刻划滤波器族代数结.     

关于N（2,2,0）代数

本文定义了一种新的（２，２，０）型代数（Ｓ，＊，Δ，０），简称为Ｎ（２，２，０）代数。研究了它的基本性质；初步探讨了关于Δ运算幂零和＊运算幂等的Ｎ（２，２，０）代数的特性；证明了：Δ运算幂零时，（Ｓ，Δ，０）构成一个结合的ＢＣＩ－代数；＊运算幂等时，（Ｓ，＊，Δ，０）合一问题是不可判定的。     

基于双代数的物体投影重建方法

基于双代数的物体投影重建方法是一种隐式重建方法。用双代数形式表示的不变量具有简洁、具体的表达式，可以由图像点坐标和基础矩阵直接求出。在投影重建过程中，必须选择射影坐标系的坐标基。本文利用双代数的方法进行物体的投影重建，并详细讨论了如何选择坐标基的问题。     

关于格蕴涵代数的几点注记

给出了一般（2，1，0，0）型代数（L，→^*0,1)成为格蕴涵代数的充要条件，证明了在有限链及非全序四元格上只有一种格蕴涵代数，且不存在非全序五元格蕴涵代数，为进一步讨论由语言真值构成的格蕴函代数的结构提供了条件。     

一个尺度函数簇

利用Daubechies方法得到一个尺度函数簇。给出了相应尺度函数的支集表示，并且得到了尺度函数的伸缩平移后的函数成为尺度函数的条件，说明了变换前后的尺度系数的尺度系数是反转对称的．还证明了当|z|=1时。代数多项式P(z)成为尺度多项式的条件．     

隐式代数曲线的有理参数化(II)

曲线和曲面的隐式表示和参数表示各有其优点,为了能够利用两种表示方法的优点,必须能够有效的进行曲线曲面的两种表达形式的相互转换.文章研究了隐式代数曲线的有理参数化问题.给出平面三次曲线有理参数化的有关理论,算法和实现.     

隐式代数曲线的有理参数化(Ⅱ)

曲线和曲面的隐式表示和参数表示各有其优点,为了能够利用两种表示方法的优点,必须能够有效的进行曲线曲面的两种表达形式的相互转换.文章研究了隐式代数曲线的有理参数化问题.给出平面三次曲线有理参数化的有关理论,算法和实现.     

隐式代数曲线的有理参数化（Ⅱ）

曲线和曲面的隐式表示和参数表示各有其优点，为了能够利用两种表示方法的优点，必须能够有效的进行曲线曲面的两种表达形式的相互转换．文章研究了隐式代数曲线的有理参数化问题．给出平面三次曲线有理参数化的有关理论，算法和实现．     

空间5S-S并联机器人机构尺度综合的解析方法

Groebner基是多项式理想理论中的一个重要概念和研究工具。将基于Groebner基的代数方法应用于空间5S－S机构体导引综合，获得当给定刚体6个精确点时问题的符合型三角形Groebner基，即解析形式的解。     

格蕴涵代数的拓扑结构

给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质和结构进行了研究，证明了格蕴涵代数中全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应拓扑结构之间的拓扑映射。