LF(X)中带广义量词的可靠性定理

讨论一阶格值逻辑系统LF（X）中带广义量词的语法推理，同时证明了LF（X）中带广义量词的可靠性定理，作为应用我们对带广义量词的一些推理规则作了语法的证明。     

纯正半群上的强同余及其格

给出了纯正半群S的强同余格上同余T的一些判别性质,证明了S上所有基础强同余所构成的集合FCP（S）是CP（S）的完备子格,最后讨论了由纯正半群的正规子半群决定的交完备子格的结构及由“求核”运算确定的（交完备格）同余K的若干性质,还顺带讨论了群同余格.     

THE RIEMANN-HILBERT BOUNDARY VALUE PROBLEM FOR THE MOISIL-THEODORSCO SYSTEM

This article studies the inhomogeneous Moisil-Theodorsco system in the space R³, gives the integral expression of its solution, proves the Holder continuity of the solution. Moreover the author studies the Riemann-Hilbert boundary value problem for the Moisil-Theodorsco system in a cylindrical domain of R³, and gives the solvability conditions and the integral expressions of solutions. The Holder continuity of the solutions is proved.     

无界区域R1上推广的B-BBM方程的整体吸引子

本文研究了无界区域R^1上推广的B—BBM方程的长时间动力学行为，证明了该方程整体吸引子的存在性．     

在可交换四元数空间中的双曲方程的特征边值问题

讨论了一阶和二阶双曲复方程的特征边值问题.对其中两种线性方程,分别在不同的情况下获得通解和可解条件.而对于拟线性的二阶双曲复方程,证明了解的存在性和唯一性.     

一种新型的N部件串联可修系统及其可靠性分析

本文研究一种Ⅳ部件串联可修系统的一个新模型，该模型在经典。部件串联可修系统中引入了修理工可多重延误休假的概念，并且考虑了修理工使用修理设备在修理失效部件过程中可能因修理设备失效而立即更换修理设备对整个系统可靠性造成的影响,假定修理工的延误休假时间、部件的寿命和修理设备的寿命均服从指数分布，部件的修理时间、修理设备的更换时间和修理工的休假时间均服从一般连续型分布，通过使用补充变量法和广义马尔可夫过程方法得到了系统和修理设备的一些重要可靠性指标．     

修理设备可更换且有修理延迟的N部件串联系统分析

假定部件的寿命服从指数分布,修理延迟时间和修理时间均服从任意分布,并且修理设备的寿命服从指数分布,其更换时间服从任意分布的情况下,利用马尔可夫更新过程理论和拉普拉斯变换工具,研究了修理有延迟且修理设备可更换的n部件串联可修系统,求得了系统的可用度和(0,t]时间内的平均故障次数.进一步,在定义修理设备“广义忙期”下,利用全概率分解,提出了一种新的分析技术,讨论了修理设备的可靠性指标,得到修理设备的一些重要可靠性结果.     

最大乘积型Fuzzy文法与自动机

本文对提出的最大乘积型Ｆｕｚｚｙ文法与最大乘积型Ｆｕｚｚｙ自动机的关系作了详细讨论，得出了两个重要的结论。即：由给定的最大乘积型Ｆｕｚｚｙ正规文法可构造一个最大乘积型Ｆｕｚｚｙ自动机使得二者接受的语言集相同，反之亦然。从而达到自动识别语言的目的。     

P－正则半群的双序集

本文刻划了双序集Ｅ为某Ｐ－正则半群的幂等元双序集的充要条件．所得定理不仅推广了Ｄ．Ｅａｓｄｏｗｎ关于带的双序集的结论，而且导出了正则＊－半群的幂等元双序集的一个刻划．进而还对Ｐ－正则半群的若干特殊情形及向非正则半群的推广进行了讨论．     

平坦的多项式剩余类环

本文证明了如果多项式的剩余类环 A=R[T]/fR[T]作为 R-模是平坦模,且R是约化环,则f是正规多项式.特别地,若R还是连通的,则f的首项系数是单位.也证明了弱整体有限的凝聚环是约化环,以及弱整体为有限的凝聚连通环是整环.