关于五维RDS型李代数的一些结果

通过对李代数的理想格性质的讨论来研究李代数的结构。根据理想格满足的一些条件,对四维可解RDS型李代数部分结论进行了修正。通过对一维中心的五维不可解李代数的讨论,确定它不是RDS型李代数。     

模糊区间段的矩阵表示及其运算

介绍了Allen的区间代数及其扩展——INDU网络，将Heisenberg不确定性原理应用于INDU网络，并将INDU的25种基本关系中两区间有端点相等或区间段相等的15种关系删除．因为在现实世界中这15种关系是不可能出现的，于是就产生了有10种基本关系的FINDU网络．然后，定义了1种类布尔运算，并依此给出了FINDU网络的矩阵表示．FINDU网络在军事多自主体系统中可以得到很好的应用．     

一个时滞差分方程的周期性

利用计算机代数系统,对ＬａｄａｓＧ提出的一个时滞差分方程的周期性进行了研究,获得了此差分方程搂周期Ｐ（Ｐ〈６）方程的充要条件,作为应用,可得出Ｌｙｎｅｓｓ方程为周期Ｐ（Ｐ〈６）方程的充要条件。     

q为偶数次本原单位根时量子群Uq(m,n)的分解

研究了当q为偶数次本原单位根时 ,量子群Uq(sl2 )在关系K2r=1,Emr=0 ,Fmr=0下的商代数Uq(m ,n)的构造 ,给出Uq(m ,n)的Hopf代数结构和分次代数结构 ,给出了Uq(m ,n)的所有不同构的Verma模 ,给出了Uq(m ,n)的精确到基的理想结构。把Uq(m ,n)分解为主不可分解理想的直和     

鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

相对论性转动变质量非完整系统的Lie对称性与守恒量

研究了相对论性转动变质量非完整系统的Lie对称性和守恒量。给出了相对论性转动变质量非完整系统的运动微分方程。利用其在无限小变换下的不变性 ,建立了相对论性转动变质量非完整系统的Lie对称的确定方程和限制方程 ,得到了结构方程和守恒量。并给出了应用实例。     

Engel子代数可三角化的李代数

本文讨论了真Ｅｎｇｅｌ子代数的伴随表示均可三角化的李代数的结构，证明了不可解Ｅ．ｔ．李代数一定位于一单Ｅ．ｔ．李代数的微分代数与内微分代数之间。在Ｗｉｎｔｅｒ关于单Ｅ．ｔ．李代数的猜测成立的前提下，得到了Ｅ．ｔ．李代数是中心化子幂零代数的条件。     

迹型到半单代数和群表示理论中的应用

本文利用迹型证明了特征为0的域K上的半单代数存在本原中心幂等元完全系并且获得半单代数的直和分解,进而得到有限群常表示的一系列基本结果,这种方法比传统的方法(参见[1]和[2])简捷且明晰得多。     

一类Hopf路余代数的不可约表示

设D2是二面体群,H是群代数kD2上的一个Hopf路余代数,则H是非交换非余交换的.设T是H的Hopf理想,从而形成商代数H-=H/T.文中讨论了H-上的模表示,给出了H-上1维不可约模与2维不可约模,它们是H-上的互不同构所有不可约模.     

(2+1)维Levi族及其扩展可积模型

利用屠格式和广义的零曲率方程,通过构造一个Loop代数,得到了广义(2 1)维Levi族和它的扩展可积模型.