基本群在覆盖流形与球面的积空间上的作用

Heitsch在[1]中给出了一些特殊的群作用,并提出了这样的问题:1)与这些群作用相结合的C-代数有何性质?2)相应C-代数与叶状结构有何关系?本文就此进行部分讨论。1 在S~(2k-1)上的群作用     

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

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

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

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

活动标架系下O(n)非线性σ模型Laxpair矩阵的Poisson—Lie结构

在活动标架系下给出了O(n)/O(n-1)对称空间上非线性σ模型的Poisson-Lie括号,并用协变分解的方法讨论了活动标架与固定标架系的协交关系,得到的r、s矩阵可以明显地看出其依赖于场量的部分是由于S^n－1流形上的联络引起的.     

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

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

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

研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 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的表达能力．