基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

形式系统L*(n)的完备性

模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn 是完备的     

∧~*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。     

L*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础Ro-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理.     

形式系统T^*(n)的完备性

模糊逻辑命题演算形式系统T ^*自1997年被提出以来,在模糊逻辑与模糊推理的理论与应用发挥了重要的作用,系统T^*的完备性直到最近才由作者给出证明,本文进一步研究系统T^*的扩张在n元R0链Wn上的完备性问题,通过构造公式列,得到系统T^*的扩张到｛T^*(n)｝,使用代数方法证明了对于任何n≥3,系统T^*(n)关于Wn是完备的。     

基于完备BR0-代数的全蕴涵三Ⅰ算法

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三Ⅰ算法,对一般蕴涵算子给出了三Ⅰ算法解存在的一个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了Ro-单位区间W的R0-型α-三Ⅰ算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三Ⅰ算法是与BL*系统相匹配的模糊推理方法.     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

Pontrjagin空间上一般算子代数弱闭和一致闭的等价条件

本文研究Pontrjagin空间上一般算子代数弱闭和一致闭的等价条件,得到定理:设C0(U),C1(U,L,R,D,V),C2a(U),C2b(U,R),C3a(U),C3b(U,R)分别是Ⅱk空间上第0,Ⅰ,Ⅱa,Ⅱb,Ⅲa和Ⅲb类的算子代数,则(1)C0(U),C2a(U)或C3a(U)为一致闭(弱闭)的等价条件是U是Hibert空间G上的C*-代数(W*-代数;(2)C1(U,L,R,D,V)为一致闭(弱闭)的等价条件是U是Hibert空间H上的C*-代数(W*-代数),并且R是闭子空间,V是闭算子,L对称闭的;(3)C2b(U,R)或C3b(U,R)为一致闭(弱闭)的等价条件是U是Hibert空间H上的C*-代数(W*-代数),并且R是闭子空间．     

On the distributions of the ratios of the extreme roots to the trace of the Wishart matrix

In this paper, the authors cosider the derivation of the exact distributions of the ratios of the extreme roots to the trace of the Wishart matrix. Also, exact percentage points of these distributions are given and their applications are discussed.     

On the approximation of positive operators and the behaviour of the spectra of the approximants

LetT be a positive linear operator on the Banach latticeE and let (S _n ) be a sequence of bounded linear operators onE which converge strongly toT. Our main results are concerned with the question under which additional assumptions onS _n andT the peripheral spectra (S _n ) ofS _n converge to the peripheral spectrum (T) ofT. We are able to treat even the more general case of discretely convergent sequences of operators.     

On the stability of the solution of the thermistor problem

The stability of the stationary solution of the thermistor problem 1s proved using a Liapunov functional for a class of physically relevant electrical conductivity.     

用常微分方程模型分析预防和隔离措施对SARS发病率的影响

通过建立常微分方程模型 ,分析了预防和隔离措施对 SARS发病率的影响 ,并把计算结果与实际统计数据进行了比较 ,结果表明 ,及时高效的预防和隔离措施能够有效地控制 SARS的传播 .     

Estimation of the measure of the image of the ball

Under study is the class of ring Q-homeomorphisms with respect to the p-module. We establish a criterion for a function to belong to the class and solve a problem that stems from M. A. Lavrentiev [1] on the estimation of the measure of the image of the ball under these mappings. We also address the asymptotic behavior of these mappings at a point.     

一般正则泛函的W-极小的正则性

本文讨论了一般的正则泛函：Ｆ（ｕ；Ω）＝∫_{Ωｆ（ｘ，ｕ，Ｄｕ）ｄｘ的局部Ｗ－极小的Ｃ^１，α正则性．获得了处理Ｗ－极小ｕ的Ｈ?ｌｄｅｒ连续的指数估计．}     

多晶体光滑表面疲劳微裂纹形核机理研究

建立晶体学模型来研究多晶体承受均匀外载时光滑表面疲劳微裂纹形核的机理．由于晶粒取向的不相同,即使承受均匀外载,多晶体内将产生不均匀的应力,变形也不均匀A·D2在疲劳载荷的作用下,表面粗糙度随疲劳周次逐渐增加,变形逐渐集中到若干部位,即局部化,形成微裂纹．     

On the rates of the other law of the logarithm

Let X, X1 , X2 , . . . be i.i.d. random variables, and set Sn = X1 +···+Xn , Mn = maxk≤n |Sk|, n ≥1. Let an = o( (n)(1/2)/logn). By using the strong approximation, we prove that, if EX = 0, VarX = σ2 0 and E|X| 2+ε ∞ for some ε 0, then for any r 1, lim ε1/(r-1)(1/2) [ε-2-(r-1)]∞∑n=1 nr-2 P{Mn ≤εσ (π2n/(8log n))(1/2) + an } = 4/π . We also show that the widest a n is o( n(1/2)/logn).     

Cellular Structure on the Minimal Resolution of the Edge Ideal of the Complement of the n-Cycle

We study the minimal free resolution of the edge ideal of the complement of the n-cycle for n ≥ 4 and construct a regular cellular complex which supports this resolution.