关于LD设计的一个递归构造

§1.引言 陆家羲在[1]的Ⅲ中引入一种组合设计——LD设计.为进一步研究LD设计,又提出LD设计.以下是它们的定义. 设X是一个n元集,称满足如下条件的集族.     

LD设计的存在谱

在解决斯坦纳三元系大集存在性问题时,陆家羲引入LD设计和LD^*设计的概念,建立这两类设计的若干递推构造和直接构造,在构作斯坦纳三元系大集过程中发挥重要作用.为了构造陆家羲遗留的六个小阶数的斯坦纳三元系大集,Teirlinck依然借助LD设计,使用PBD进行递推构造,最终确定斯坦纳三元系大集的存在谱.本文将彻底解决LD设计存在的充分必要条件,对LD^*设计的存在性仅余四个可能例外值.     

线性Ce^＊—半范数的次可乘性

证明了具有单位元的*-代数上的任何线性Ce^*-半范数（或具有自伴核的线性Ce0^*-半范数）一定是C^*-半范数。     

Sturm-Liouville边值问题解的非存在性、存在性和多重性结果

本文研究下述Sturm-Liouville边值问题利用Schauder不动点定理、上下解方法和Leray-Schauder映射度理论,获得了解的非存在性、存在性和多重性结果.其中一些是全新的结果,另一些则扩展、改进和完善了由Erbe,Wang,Hai,Lee和Lin所获得的结果.     

拟线性抛物方程整体解的存在性和不存在性

The paper studies the existence,the exponential decay and the nonexistence of global solution for a class of quasilinear parabolic equations.     

U∧＊均匀设计的均匀性研究

本文以均匀设计在几何和物理意义下的均匀性等价准则为基础,研究了U∧*均匀设计的均匀性,利用本文结果,构造U∧*均匀设计使用表的运算量可减少为原来的s/2∧2-1（这里s为因素数）,而且,当因素数为1/2ψ（n 1)或1/2ψ（n 1）-1时,不必进行任何均匀度评价也可直接给出其使用表,本文还从几何的角度说明了U∧*均匀设计最多只能安排1/2ψ（n 1）个因素。     

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

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

The Proof of Inseparable Prime AW^＊—Algebras Being Primitive C^＊—Algebras

The relation between the inseparable prime C^*-algebras and primitive C^*-algebras is studied,and we prove that prime AW^*-algebras are all primitive C^*-algebras.     

（v,6,3）—PMDs的存在性

一个参数为（ν，ｋ，λ）的完全的门德尔逊设计简记为（ν，ｋ，λ）－ＰＭＤ。对于ｋ＝３，４，５及７这类设计的存在性问题已被不少作者研究。文［８］对最近的结果和方法作了评述。但对于（ν，６，λ）－ＰＭＤｓ的存在性问题尚待人们去解决。一个（ν，６，λ）－ＰＭＤ存在的必要条件是：（１）ν≡０，１（ｍｏｄ３），当λ     

广义 Liénard方程周期解的存在性和不存在性

研究了广义 Ｌｉéｎａｒｄ方程ｘ＋ｆ（ｘ,ｘ）ｘ＋ｇ（ｘ）＝ ０周期解的存在性和不存在性,在一定条件下,我们得到了非零周期解的存在与不存在的一些充分条件．     

一类含测度的非强制拟线性椭圆方程解的存在性和不存在性

本文主要研究如下含非线性梯度项的非强制拟线性椭圆方程\begin{equation*}\left \{\begin{array}{rl}-\text{div}(\frac{|\nabla u|^{p-2}\nabla u}{(1+|u|)^{\theta(p-1)}})+\frac{|u|^{p-2}u|\nabla u|^{p}}{(1+|u|)^{\theta p}}=\mu,~&x\in\Omega,\\ u=0,~&x\in\partial\Omega,\end{array}\right.\end{equation*} 弱解的存在性和不存在性, 其中$\Omega\subseteq\mathbb{R}^N(N\geq3)$ 是有界光滑区域, $1相似文献   

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

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

具有指数增长的非线性p-双调和问题解的存在性和非存在性

主要考虑了具有指数增长的4阶退化P-双调和问题弱解的存在性和非存在性.当n≥2p+1和2p≥n时,这些结果是不同的.尽管对高阶问题,弱比较原理不再成立,但是仍有其他一些方法可以使用.当2p≥n时,采用的是极小极大方法,而当n≥2p+1时,采用的是上下解方法.最后给出了当n≥2p+1时正则解的渐近行为.     

一类广义Liénard型系统周期解的存在性和不存在性

讨论了一类广义Liénard型系统.x=p(y)k(x),.y=-f(x,y)p(y)q(y)-g(x)h(y)非零周期解的存在性和不存在性,给出了非零周期解的存在和不存在的一类充分条件.     

一类强阻尼波方程解的存在性和爆破性

讨论一类强阻尼波方程解的局部存在性,并利用势井理论研究解的整体存在性和爆破性.     

中介逻辑命题演算扩张系统MP^＊的完备性

中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义:     

模糊逻辑彩L^＊和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统L^＊、L0^＊的性质以及它们与F．Esteva和L．Godo提出的MTL、IMTL和NM的关系出发，借助代数方法证明了L^＊和NM中的公理（L10^＊）和（NM）可以由一务只含一个命题变元且形式更为简单的公理模式（LW^＊）代替。这一结果简化了L＆＊和NM的公理系统。