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

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数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范畴中逆系统的逆极限结构,引入了两个逆系统之间映射的定义,由此导出两个逆系统的逆极限之间的极限映射.     

BL-代数上inf-→合成关系方程的解集

对满足线性序和消去律的BL-代数上模糊关系方程∧j∈J(aj→xj)=b在无限论域中的解进行了讨论.提出了可达解和不可达解的概念,讨论了极大解与它们的关系;对于不可达解部分,给出了方程的解结构特点;对于可达解部分,找出了所有的极大解,并对方程的每个可达解都找到一个相应的极大解.实际上,在有限的情况下,若满足线性序,文献中方程的所有解都是可达解,而无限时,方程也可能存在不可达解.     

某类代数微分方程亚纯解的个数

本文主要给出了某类高阶代数微分方程线性无关的亚纯解个数的上界．