双边群Smash余积的半单性

通过引入双边群Smash余积的概念, 给出了双边群Smash余积成为Hopf群余代数的充要条件, 并利用群余代数中积分理论讨论了双边群Smash余积的
半单性.     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

套代数上广义导子对的刻画

设τ（ N ）是复可分Hilbert空间H上的套代数,（φ,ψ）是套代数τ（ N ）上的线性映射对。若对任意A,B∈τ（N ）且AB＝0,有φ（AB）＝φ（A）B＋Aψ（B）成立,则（φ,ψ）是广义内导子对。     

对现行形式逻辑中条件命题的讨论

从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件的逻辑结构却根本不同。蕴涵命题等纯真值复合命题的整个命题的真值依赖于基础命题的真值,它是数理逻辑的理论基础;条件命题等非纯真值复合命题的整个命题的真值无需依据基础命题的真值即可确定,它是真正的逻辑科学的重要研究内容。如果无视二者的本质区别,将其混淆使用,会导致数不清的逻辑问题。     

四阶矩阵代数中两个新的Kadsin—singer格

将矩阵代数M2（C）和M3（C）中生成von Neumann代数分别为M2（C）和M3（C）的KS-格嵌入到M4（C）中,构造并生成了M4（C）中生成von neumann代数为M2（C）＋C＋C和M3（C）＋C两种KS-格．     

全转置正交矩阵的几个性质

给出了全转置矩阵和全转置正交矩阵的定义,从矩阵元素的结构上研究了全转置正交矩阵,给出了全转置正交矩阵的3个充分必要条件.     

Li方程族的守恒律和对称

给出了Li方程族的守恒律,推导出了Li方程族的两种类型的对称,并且证明这两种对称构成一个无穷维的Lie代数.     

《高等代数》在数学建模中的应用举例

高等代数是数学专业的一门重要的基础课,它对学生思维能力、逻辑推理能力和运算能力的培养,以及后续课程的学习起着非常重要的作用。但是这门课程比较抽象,概念多,理论证明比较麻烦,对刚上大学的学生来说很难接受,通过多年的教学实践发现,其中很关键的一点是缺乏应用实例,学生被枯燥的概念和繁杂的定理所烦恼,渐渐没了学习的兴趣和动力,如果在教学中介绍大型的数学建模例子会占用过多时间,学时又受到约束,所以如果能选择合适的实例则会在高等代数的教学中起到启发式的作用,又能让学生体会到高等代数学习的重要性,提高高等代数的趣味性,同时也给学生在以后的建模课程或实际应用中想到用高等代数的知识解决问题给出了指导。本文借助一个经济管理方面的实例和信息安全方面的建模实例进行探讨。     

模糊软李子代数的概念和性质

借助模糊软集的概念,在李代数上定义了模糊软李子代数和模糊软李子代数之间的模糊软同态,对它们的并、交与和的性质进行了研究,证明了:设L是域F上的李代数,若(f,A)和(g,B)是L上的模糊软李子代数,则(f,A)(g,B)和(f,A)∧(g,B)仍然是L上的模糊软李子代数,但(f,A)∪(g,B)不一定是L上的模糊软李子代数;若(f,A)k是L上的一族预模糊软李理想,则∪k∈K(f,A)k和k∈K(f,A)k仍然是L上的预模糊软李理想.证明了模糊软李子代数的同态逆像定理,给出一个反例以说明模糊软李子代数在同态像下不一定是模糊软李子代数.     

模糊Quantale范畴的性质

引入了模糊Quantale的概念,证明了模糊Quantale范畴同构于L-代数范畴,于是从范畴论的角度说明L-代数也可以看成是Quantale的模糊化结构;给出了模糊Quantale范畴中的极限的具体结构,同时证明了该范畴是完备范畴;给出模糊Quantale范畴中逆系统的逆极限结构,引入了两个逆系统之间映射的定义,由此导出两个逆系统的逆极限之间的极限映射.