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

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

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

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

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

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

仿射李代数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-向量的顶点算子子代数.     

特征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的导子代数。     

伴随矩阵的性质及其应用

讨论了矩阵的伴随矩阵在对称、反对称、正定、正交、相似和特征值等方面的性质及其在线性代数解题中的应用.     

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

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

V*类图的伴随等价性

Pn表示n个点的路,Sk表示k阶星图.本文通过研究两族V*类图的伴随多项式的分解,得到了此类图的补图的色等价图的结构.