模糊命题系统Gdel和L~*中条件真度的比较

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd.     

四个命题模糊逻辑系统中公式真度的大小之比较

主要探讨了四个重要命题模糊逻辑系统Luk、Gd、Π及L*中公式真度的分布情况.首先在Luk、Gd、Π及L*中,分别计算了公式(p1p2)→p3,p1(p2→p3),(p1→p2)p3及p1→(p2p3)的真度;然后比较了其大小,其大小顺序为:τGd≤τL*≤τΠ≤τLuk,其中τG¨od,τL*,τΠ及τLuk分别表示系统Gd、L*、Π及Luk中公式的真度.     

一类p拉普拉斯方程的正解

主要考虑一类p拉普拉斯方程的正解,由于该方程所对应泛函不能定义在常用空间W1,p（RⅣ）上,并且W1,p（RN）→嵌入Ls（RⅣ）（2＜q＜2＊）是非紧的,这也导致了很难直接求解;因此首先利用变量变换使得对应泛函能够定义在W1,p（RN）上,另外Strauss已经证明了W1,p（RⅣ）的径向空间W1r,p（RⅣ）→嵌入Ls（RN）（2＜q＜2＊）是紧的,从而利用山路引理和极值原理证明所研究方程存在正解.     

Dirichlet空间复合算子的紧性

令φ为单位圆盘的解析自映射．研究Dirichlet空间到Qk（p,q）空间复合算子的紧性．主要得到以下结论：GφD→Qk（p,q）是紧的,当且仅当 lim｜λ｜→1 Ⅱ CφσλⅡ p.q.k =0     

C^n中（p,q）型微分形式关于Hodge＊算子、э^—算子及其伴随形式υ的积分表示

运用C^n中的Hodge＊算子、э^-算子及其伴随形式υ得到C^n中（p,q）（0≤p,q≤n）型微分形式的Bochner-Martinelli-koppelman核核Kp,q（ξ，z），并由此得到C^n中（p,q）型微分形式关于Hodge＊算子，э^-算子及其伴随形式υ的一种积分表示。     

高度平面图的列表L（p，g）-标号

如果平面图G的最大度△（G）=｜V（G）｜-k,k=1,2,…,则称G为一个hk-图,k=1,2的hk-图称为高度平面图．研究了高度平面图G的列表L（p,q）-标号问题,给出了高度平面图G的列表L（p,q）-标号数λl（G;p,q）的上界,并对hi-图证明了λl（G;p,q）≤（2q-1）△＋6（p—q）;对h2-图有λl（G;p,q）≤（2q-1）△＋8p-6q-1．     

围长至少为5的平面图的L（P，q）-标号

令Ap,q（G）为图G的L（p,g）-标号数,其中P和q是两个正整数且p≥q。证明了若G是围长g（G）≥5的平面图,则Ap,q（G）≤（2q-1）△（G）＋6p＋10q-8。由此导得对于g（G）≥5且△（G）≥16的平面图G,Wegner的猜想成立。     

几个三值命题逻辑系统中命题真度的分布

利用势为3的均匀概率空间的无穷乘积在W3、G3、П3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则．证明了以上各系统中的全体公式的真度值之集在[0，1]上是稠密的，并给出了其中公式真度的表达通式，即若A∈F（S），则τ（A）=k/3^n（n=1,2,…，k=0,1,…,3^n）．此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础，并且使W3，G3，П3及S3系统中公式的真度有了统一的理论体系．     

三阶非线性中立型微分方程非振动解的渐进性

考虑三阶非线性中立型时滞微分方程（r2（t）（r1（t）（x（t）＋p（t）x（τ（t）））′）′）′＋q（t）f（x（t），x（σ（t）））=0利用积分平均法得了方程的有一个有界非振动解x（t）满足lim（t）t→＋∞=0的一个充分条件，所得结果改进并完善了以前的结论．     

一类时滞微分方程正解的存在性

研究一类一阶非线性时滞微分方程，x′（t）＋a（r）f（x（t））＋p（t）g（x（t））h（x（t-τ1（t）），x（t-τ2（t）），…，x（t-τn（t）））=0，其中，a,p，τj∈C（R^＋，R^＋），limt→＋∞（t-τ1（t））=＋∞，j=1，2，…，n，f，g∈C（R，R），获得了其存在正解的充分条件。