从模态矩阵到模态代数

模态代数语义学是模态逻辑的三大内容之一,从理论上看,对模态逻辑的发展起着深层次的影响作用。模态代数语义学的基本形式是模态矩阵。通过模态矩阵解决了一些模态系统的如判定性和完全性等重要问题。模态代数是最简单的一种模态矩阵。因为这一简单性便于作深入的研究,形成了摸态代数语义学偏重于模态代数的发展方向;由此还形成了正规模态逻辑的概念,以及相应地使模态逻辑形成了偏重于正规模态逻辑的发展方向。模态代数为关系语义学的产生提供了理论基础。     

特殊函数的符号演算系统

本采用公理化方法，使用REDUCE在微机上开发了一个面向对象的“特殊函数的演算系统”。使用本系统，可以很快地得到带各种不同参数的十九种特殊函数的表达械或函数值，并且由此结果或进一步使用这一结果可以得到有关微分方程的固有值，固有函数，以及方程的通解或特解。     

初等树变换的算法改造

本文利用王氏代数对用初等树变换生成树的方法进行了改造,提出了一种新的初等树变换的算法。新算法较之原法简洁、直观、运算方便、概念清楚,并保留了原法的所有优点。     

BCI-代数的一类子代数

本文讨论了ＢＣＩ－代数Ｘ中满足条件０＊（０＊ｘｋ）＝ｘ的一类子代数的性质，给出了半单ＢＣＩ－代数的定义，讨论了这类ＢＣＩ－代数的结构和半群特征．     

代数体函数的相对亏量(英文)

本文讨论了代数体函数的相对亏量问题，推广了A．P．Singh的一些结果。     

高等代数习题教学与数学思维能力的培养

本文谈及了如何上好高等代数习题课的问题,对教学有一定启示.     

基于时间π-演算的移动商务过程建模

在总结无线技术对商务活动的影响的基础上,针对信息交互频繁、不确定环境下的过程结构动态变化、局部自治等柔性特征,采用时间π-演算为移动商务过程建模,目的在于便于分析时间绩效改进.然后,具体指出了π-演算和移动商务过程的对应关系,构建了具有共性的选择过程组件,以及在时间方面扩展了π-演算.最后,用无线自动售货机系统的物流配送过程实例,证明了方法的有效性.     

BCI-代数正关联零根的同态及理想

引入了BCI-代数的正关联零根的概念,给出了它的一系列子代数及同态映射,从而相应地得到了一个理想升链．     

左超对称代数

主要考虑的是左超对称代数扩张的基本性质,给出左超对称代数的复化     

自反代数的局部自同构

设Ａ为自反Ｂａｎａｃｈ空间Ｘ中一自反代数,使得在ＬａｔＡ中０＋≠０－且Ｘ－≠Ｘ,则Ａ的每一范数连续的满局部内自同构是自同构