李超代数osp(1|2n)的双参数量子超群

给出ur,s(osp(1｜2n))的定义,并刻画其上的Z2阶化Hopf代数结构.推广Drinfel'd 量子对偶概念,证明Ur,s(osp(1｜2n))与D(B,B′)是同构的.构造Scasimir算子,确定了Ur,s(osp(1｜2))的中心.     

李代数的张量积所确定的Leibniz代数

讨论了李代数(g)以及由这个李代数诱导的Leibniz代数(g)(×)(g)的一些性质,主要从不变双线性型和导子看这两个代数之间的差异,证明了在特定条件下两者的不变双线性型维数是一致的.为进一步确定李代数(g)和(g)(×)(g)的差异,讨论了由(g)(×)(g)诱导的一类重要的李代数(g)(×)(g);最后证明了,如...     

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

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

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

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

交换半环上广义矩阵代数的Jordan导子

研究交换半环上加法可消的广义矩阵代数的Jordan导子、导子和反导子,给岀了广义矩阵代数的Jordan导子、导子和反导子的刻画,进而证明了在某些条件下广义矩阵代数的每一个Jordan导子都可表示为一个导子和一个反导子之和.     

三角代数上Lie积为平方零元的非线性双可导映射

设U是一个三角代数,Ω是U上平方零元的集合,φ:U×U →U是U上的一个映射(在每个变量上都没可加假设).若对任意的x,y,z∈ U且[x,y],[y,z]∈ Ω分别有φ(xy,z)= φ(x,z)y+xφ(y,z)和φ(x,yz)= φ(x,y)z+yφ(x,z),则φ是U上的一个双导子.     

分歧参数带有对称性的等变分歧问题在左右等价群下的开折

利用奇点理论中光滑映射芽的左右等价理论,引进状态变量和分歧参数均具有对称性且它们的对称性可以不同的等变分歧问题,讨论这种等变分歧问题关于左右等价群的开折,得到这种多参数等变分歧问题的一开折为通用开折的充要条件.     

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

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

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

在相应于非退化李代数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-向量的顶点算子子代数.