C^＊—模理论的若干结果

本文把代数结构与分析体系结合起来，运用同调的方法，较系统地确定了A上C^*－模的部分理论，这里A为复数域C上的交换C^*－代数。即不仅定义了与C^*－模有关的某些新概念，而且还得到了有关C^*－模的若干结果。     

快速多极边界元法解的存在唯一性

本对求解3维弹性摩擦接触问题的快速多极边界元法(FM—BEM)在数学理论上作了深入探讨．首先，利用向量和子空间理论找出快速优化广义极小残余算法(GMRES(m))求解边界元方程组所满足的代数条件．使对工程用FM—BEM解的研究转化为对代数问题的讨论，然后．分三步证明了FM-BEM解的存在唯一性，为FM-BEM求解弹性摩擦接触工程问题提供强有力的数学支撑．     

变式乘除一口清的最佳易倍数应为2—6

在珠算乘除运算中，应用“一口清”变为加减运算。从算理算法上讲，必能减少拨珠次数，提高运算速度。但在实践上讲，学习和掌握它却是相当困难的。如被珠算研究者和珠算选手们视为魔数的“7”，它的进律多迭六位数码，这样在实际计算中就要看七位(有时还不止是七位)数码才能得出一位乘积。这就不但给人们学习和掌握这一方法造成了记忆的困难，     

高等代数与解析几何一体化教学思考

本探讨了高等代数与解析几何进行一体化教学的必要性，研究了高等代数与解析几何进行一体化教学以后教学内容的协调性与教学手段的合理性，强调了数学实验在高等代数与解析几何一体化教学中的重要性。     

无原子布氏代数理论的计算复杂性

研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1　无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2　无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3　无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .     

Green公式和代数的遗传性

设Λ是有限域k上的有限维代数, 证明了在molΛ中Green公式成立当且仅当Λ是遗传代数.     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．