系统L^＊中极大相容理论的结构刻画和紧致性定理

为给模糊推理建立严格的逻辑基础，本文第二作者在1997年提出了一种新型的模糊命题演绎系统L^＊。本文基于系统L^＊的强完备性定理给出了极大相容理论的结构刻画，证明了每一个极大相容理论必然具有形式D（{φ1，φ2，…}），这里φ1∈{pi，→pi，（→pi^2）＆（→（→pi）^2）}（i=1，2，…），p1，p2，…是系统L^＊中全体命题变元，进而给出了极大相容理论的若干刻画条件。本文还证明了系统L^＊的满足性定理和紧致性定理。至此，系统L^＊的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握，所以本文的结果完善了系统L^＊的理论体系。     

￡^＊系统的公理化扩张

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

模糊逻辑~*和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统*、0*的性质以及它们与F.E steva和L.G odo提出的M TL、IM TL和NM的关系出发,借助代数方法证明了*和NM中的公理(L1*0)和(NM)可以由一条只含一个命题变元且形式更为简单的公理模式((L*W)代替。这一结果简化了*和NM的公理系统。     

模糊逻辑(ξ)*和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统(ξ)*、(ξ)0*的性质以及它们与F.Esteva和L.Godo提出的MTL、IMTL和NM的关系出发,借助代数方法证明了(ξ)*和NM中的公理(L10*)和(NM)可以由一条只含一个命题变元且形式更为简单的公理模式(L*w)代替.这一结果简化了(ξ )*和NM的公理系统.     

模糊逻辑系统Luk和L^＊中理论相容度的计算公式（Ⅲ）

解决了模糊逻辑系统L^＊与Luk中理论相容度的计算问题。首先给出了L^＊中理论相容度的计算公式；然后，引入了逻辑公式的核，理论的核的新概念，从而，得到了模糊逻辑系统Luk中理论相容度的计算公式；最后，给出了理论不相容的两个新的充要条件。     

The Quasi-Representation Theorem of the Conjugate Cone [Lβ（μ,X）]β^＊ （0 〈β 〈 1）

For 0 〈β 〈 1, the author once wrote a paper to deal with the representation problem of the conjugate cone [L^β[0, 1]β^＊ of complex β-nanach space L^β[0, 1]. In this paper, replacing [0, 1] with a Borel finite measure space （Ω,M,μ） and replacing the complex field C with a Banach space X, we study the representation problem of the conjugate cone [L^β（μ, X）]β^＊ of L^β（μ, X）, and obtain [L^β（μ, X）]β^＊≌L^∞ M^＋（μ, S）, called the Quasi-Representation Theorem of [L^β（μ, X）]β^＊.     

L^＊命题集的约简及命题集的根

本文的主要目的有两个，第一，在L^＊系统中给出了独立命题集的概念，并定义了命题集的约简；第二，讨论了命题集的根。     

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

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

模糊命题演算系统(L)*的简化与独立性

模糊逻辑命题演算系统L^＊在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统L^＊的语法结构，得到了一些有趣的新结果，特别是给出了它的一个简化形式，并证明了这个简化公理系统的独立性。     

Binormal operator and *-Aluthge transformation

Let T = U｜T｜ be the polar decomposition of a bounded linear operator T on a Hilbert space. The transformation T = ｜T｜^1/2 U｜T｜^1/2 is called the Aluthge transformation and Tn means the n-th Aluthge transformation. Similarly, the transformation T（＊）=｜T＊｜^1/2 U｜T＊｜＆1/2 is called the ＊-Aluthge transformation and Tn^（＊） means the n-th ＊-Aluthge transformation. In this paper, firstly, we show that T（＊） = UV｜T^（＊）｜ is the polar decomposition of T（＊）, where ｜T｜^1/2 ｜T^＊｜^1/2 = V｜｜T｜^1/2 ｜T^＊｜^1/2｜ is the polar decomposition. Secondly, we show that T（＊） = U｜T^（＊）｜ if and only if T is binormal, i.e., [｜T｜, ｜T^＊｜]=0, where [A, B] = AB - BA for any operator A and B. Lastly, we show that Tn^（＊） is binormal for all non-negative integer n if and only if T is centered, and so on.     

加权Herz型Hardy空间上的Littlewood-Paley gλ^＊函数

讨论了在q=2的情形下，Littlewood-Paley gλ^＊函数在加权Herz型Hardy空间中的有界性，即当0〈p〈∞,1/2≤α〈1/2＋ε时，gλ^＊是HK2^α,p（ω1,ω2）到K2^α,p（ω1,ω2）中的有界算子．推广了文献[3]中的结果．     

关于正定关联BCC—代数

首先指出在ＢＣＣ－代数中，下述两个条件并不等价：（１）（ｘ＊ｚ）＊（ｙ＊ｚ）＝（ｚ＊ｙ＿＊ｚ；（２）（ｘ＊ｙ＊ｙ＝ｘ＊ｙ。随后给出由Ｗ．Ａ．Ｄｕｄｅｋ１９９２年定义的正关联ＢＣＣ－代数的一个简单的公理系统。     

维林肯-傅里叶级数的（C，α）和

对维林金系统{ψ,n≥1}和0＜α＜ 1定义极大算子σ^α＊f：= sup │σ^αnf│，其中σ^αnf是函数f的（C，α）平均值．证明了算子σ^α＊是（p，p）型（1〈P〈∞）和弱（1，1）型．另外‖σ^α＊f‖1≤C‖f‖H1,，其中H1是Hardy空间．利用上述结果，证明了对任一可积函数f，σ^αnf几乎处处收敛于f．     

The Jackson Inequality for the Best L~2-Approximation of Functions on [0,1] with the Weight x

Let L^2（[0, 1], x） be the space of the real valued, measurable, square summable functions on [0, 1] with weight x, and let n be the subspace of L2（[0, 1], x） defined by a linear combination of Jo（μkX）, where Jo is the Bessel function of order 0 and {μk} is the strictly increasing sequence of all positive zeros of Jo. For f ∈ L^2（[0, 1], x）, let E（f, n） be the error of the best L2（[0, 1], x）, i.e., approximation of f by elements of n. The shift operator off at point x ∈[0, 1] with step t ∈[0, 1] is defined by T（t）f（x）=1/π∫0^π f（√x^2 ＋t^2-2xtcosO）dθ The differences （I- T（t））^r/2f = ∑j=0^∞（-1）^j（j^r/2）T^j（t）f of order r ∈ （0, ∞） and the L^2（[0, 1],x）- modulus of continuity ωr（f,τ） = sup{｜｜（I- T（t））^r/2f｜｜：0≤ t ≤τ] of order r are defined in the standard way, where T^0（t） = I is the identity operator. In this paper, we establish the sharp Jackson inequality between E（f, n） and ωr（f, τ） for some cases of r and τ. More precisely, we will find the smallest constant n（τ, r） which depends only on n, r, and % such that the inequality E（f, n）≤ n（τ, r）ωr（f, τ） is valid.     

集值映射的伪(*)连续与弱(*)连续性

本文引入了集值映射的伪（＊）连续性与弱（＊）连续性概念的定义,研究了伪（＊）连续、（＊）连续及弱（＊）连续的等价关系,最后研究了乘积空间中的集值映射成为伪（＊）连续和弱（＊）连续的充要条件。     

Approximately Linear Mappings in Banach Modules over a C^＊-algebra

Let X and Y be vector spaces. The authors show that a mapping f ： X →Y satisfies the functional equation 2d f（∑^2d j=1（-1）^j＋1xj/2d）=∑^2dj=1（-1）^j＋1f（xj） with f（0） = 0 if and only if the mapping f ： X→ Y is Cauchy additive, and prove the stability of the functional equation （≠） in Banach modules over a unital C^＊-algebra, and in Poisson Banach modules over a unital Poisson C＊-algebra. Let A and B be unital C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊- algebras. As an application, the authors show that every almost homomorphism h ： A →B of A into is a homomorphism when h（（2d-1）^nuy） =- h（（2d-1）^nu）h（y） or h（（2d-1）^nuoy） = h（（2d-1）^nu）oh（y） for all unitaries u ∈A, all y ∈ A, n = 0, 1, 2,.... Moreover, the authors prove the stability of homomorphisms in C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊-algebras.     

论优化问题的公理方法（Ⅰ）

π－簇表示论域Ω上具有性质π的集合簇：≠；当Ａ，Ｂ∈，Ｂ∈，ＸＡ，总有Ｘ，Ａ∪Ｂ∈．定义２在π－簇上，＊是优化算子，如果公理１Ａ对应唯一的子集合Ａ＊．写Ａ＝Ａ＊∪，Ａ＊∩Ａ＝；公理２；．定义３在定义２中，还满足公理３若ＡＣ，则ＡＣ；公理４（Ａ＊∪Ｂ）＊（Ａ∪Ｂ），则说算子＊是上的第一类优化算子．对此，建立了两个优化原理，还给出了几个关于这种算子＊的例子．     

关于（k,h）-Fibonacci和（k,h）-Lucas数的置换因子循环矩阵的谱范数

给出了置换因子循环矩阵A=Percirc P（F_0^（k,h）,F_1^（k,h）,＊＊＊,F_n-1^（k,h）和B=Percirc P（L_0^（k,h）,L_1^（k,h）,＊＊＊,L_n-1^（k,h）的谱范数的上界与下界,得到了矩阵A与B的Kronecker积与Hadamard积的谱范数的一些界．     

Remark on the Regularities of Kato’s Solutions to Navier-Stokes Equations with Initial Data in L^d(R^d)

Motivated by the results of J. Y. Chemin in ＂J. Anal. Math., 77, 1999, 27- 50＂ and G. Furioli et al in ＂Revista Mat. Iberoamer., 16, 2002, 605-667＂, the author considers further regularities of the mild solutions to Navier-Stokes equation with initial data uo ∈ L^d（R^d）. In particular, it is proved that if u C ∈（[0, T^＊）; L^d（R^d）） is a mild solution of （NSv）, then u（t,x）- e^vt△uo ∈ L^∞（（0, T）;B2/4^1,∞）~∩L^1 （（0, T）; B2/4^3 ,∞） for any T 〈 T^＊.     

无界域上带Hardy项和临界非线性项的半线性椭圆问题的全局紧性结果

本文讨论了下面一类带,Hardy项和临界非线性项的半线性椭圆问题：{-△u-μ u/｜x｜^2＋a（x）u=｜u｜^2^＊-2 u＋k（x）｜u｜^q-2u,u∈H^1（R^N）（＊）的全局紧性结果及其正解的存在性,其中2^＊=2N／（N-2）是临界的Sobolev指标,2〈q〈2^＊,0≤μ〈μ^-△=（N-2）^2／4,a（x）,k（x）∈C（R^N）．通过对问题（＊）所对应的能量泛函进行紧性分析,在a（x）和k（x）满足一定条件下,得到了此问题正解的存在性．