构造相应于有限维非退化李代数的顶点算子代数

在相应于非退化李代数g的顶点代数的结构基础上构造顶点算子代数.为此,首先给出了非退化李代数g的Casimir算子Ω的定义,和在伴随表示下Ω作用在g上及相关性质;应用Ω定义出g的顶点代数V■(l,0)中元素,证明了V■(l,0)关于w构成一个顶点算子代数.     

一类具有不同Virasoro-向量的顶点算子子代数

根据X_I型Cartan矩阵的一类主子矩阵_J,构造出无扭仿射李代数■的同构于g(A_J)的子代数■_J的导代数■_J,以及■_J-模V_■(l,0).证明了V_■(l,0)不仅是顶点算子代数.而且是V_■(l,0)的具有不同Virasoro-向量的顶点算子子代数.     

特征3域上的有限维李代数S的导子代数

设F是特征数p=3的域,首先证明了A3与A(3;1)是同构的,于是它们的导子代数W3与W(3;1)也是同构的,因此可以将W3的子代数S看作是W(3;1)的子代数;主要讨论了李代数W3的有限维子代数S的导子代数的Z-阶化成分(由于S是有限维的Z-阶化李代数,所以S的导子代数也是有限维Z-阶化的,并且非零的导子只有有限个。于是存在非负整数r,q,使得Der(S)=qt=rDert(S)),构造了S的一组最简生成元集,并由此确定S的导子代数。     

DEM最优线性生成技术——MADEM

讨论了DEM生成方法和高精度、高保真问题.指出评价生成方法的误差必须顾及内插模型的截断误差,并把它作为主要部分;给出了新型的地图代数DEM生成方法--MADEM(map algebra DEM),它是定义在最速下降线水平投影上的线性插值方法,通过赋值点线间的加权Voronoi的递归内插过程实现.它在同样条件下,具有远高于Delaunay构网下三角形上的线性插值方法精度,并具有高保真特性.分析和实例比较表明它是目前DEM最优的线性内插方法.     

模糊矩阵的特征向量

设 A为 n阶模糊方阵 ,X为 n维模糊向量 .若模糊矩阵方程 AX =X成立 ,则称 X为模糊矩阵 A的一个特征向量 .本文给出了模糊向量 X为模糊矩阵 A的特征向量的充分必要条件 ,最大特征向量的求法 ,并建立了布尔方阵特征向量个数的计算公式 .     

时空平面的Clifford代数与Abel复数系统

证明时空平面Clifford代数Cl_1,1的3个二维子代数构成Abel复数系统的3种复数(椭圆复数、 双曲复数与抛物复数), 给出了Euclid平面、 Minkowski平面及Galileo平面可在同一框架下进行研究的可行性以及Euclid变换、 Lorentz变换及Galileo变换的统一表达式.     

仿射李代数sl(2,(C))的顶点算子表示VQ上的顶点代数结构

根据李代数的表示理论,研究了仿射李代数sl(2,(C))的顶点算子表示VQ的顶点算子结构,通过形式级数的计算方法,证明了VQ是一个顶点算子代数.     

一类新的圈代数和它的Liouville可积演化方程族

基于Lie代数Aa-1的推广,构造了一类新的圈代数,并设计了一个新的谱问题。然后,利用屠格式获得了一个新的可职系统,并推导出它相应的非线性演化方程族,最后,证明了该演化方程族在Liouville意义下是可积的。     

人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的与领域无关的时态理论.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理.在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示.     

Leibniz代数的导子扩张

通过给出强双导子的概念,证明强双导子可以给出Leibniz代数的导子扩张,并给出构造Leibniz代数的一种新方法.