论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。     

计算机代数系统muMATH在量子力学中的应用

本文以两个实例说明在量子力学中如何应用小型的计算机代数系统mu MATH,并得到较理想的计算结果.说明尽管mu MATH系统的功能不太强,但它占内存小、容易普及,应引起物理学工作者的重视.     

自反代数模中的秩1算子

本文讨论了秩1算子的存在性以及有关的性质。     

具有条件（S）的关联BCK—代数的理想之若干等价条件

研究了具有条件（S）的关联BCK－代数理想的条件问题，得到了十余个等价命题。     

BCI-代数的一类理想子代数

本文首先证明了BCI-代数的一个新性质;T[X]是BCI-代数的一个理想子代数,并且T(X)同态于对合群T(B),商代数X/T(X)是P-半单代数.最后我们推广了上述结果,得到一组理想子代数,它们关于X 的商代数都是P-半单的,从而大大扩充了以往的结果.     

广义Dirac方程之Clifford代数特性研究

由广义Dirac方程及其厄米共轭导出守恒流的要求引出共轭算子的限定,然后附加上存在i的要求,这就使高维统一场论的Clifford维度及指标有很强的限定,值得注意的是此限定与超弦理论要求不谋而合。     

具有块三对角阵的线代数方程组的降维算法

本文对一类具有块三对角矩阵的大型线代数方程组,给出了一种有效的算法,在基本上不增加运算量的前提下,可以大幅度减少空间占用量,从而使复杂的计算可以在一般的计算机上实现。     

非简谐振子的激光激发

应用李代数方法讨论了非简谐振子激光激发的统计性质。有关算符的统计平均值随时间的演化满足一个封闭的一阶线性微分方程组。得到一组力学量的解析解,显示出激光激发与激光频率及强度的关系。     

正则BCK—代数

本文给出了正则元、正则BCK—代数的概念。得到了如下的主要结果:〈X;*,0〉是一个正则BCK—代数当且仅当■x∈X,■y∈X,y≠x,若 x*(y*x)=0,则x=0。     

关于代数特征值反问题可解的充分条件

利用构造的同伦及性质,本文给出了一个代数特征值反问題可解的充分条件。从证明中,存在着同伦曲线连接着平凡解阳反问题的解,所以我们能沿着所构造的同伦路径找到其数值解。