Lukasiewicz n值命题逻辑中命题的真度理论

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。  

脉冲时滞抛物型方程解的振动性

本文研究了两类边界条件下有振动系数的脉冲时滞抛物型方程解的振动性,得到了若干解振动的判别准则。其结果即使用于有固定符号系数的方程,也显著地改进了已有的结果。  

平移空间的线性结构

本文证明了在平移空间上可利用距离在一定条件下构作出线性结构,引入了次范整线性空间的概念,还证明了平移空间是次范整线性空间当且仅当它的平移群是Abel群.泛函分析学中的有界线性算子定理,Hahn-Banach定理以及共鸣定理都可以移植于次范整线性空间之中.  

一类二阶泛函微分方程周期解存在性问题

利用重合度理论研究一类二阶泛函微分方程x″(t)+f(t,x_t)x′~n+β(t)g(x(t-τ(t)))=p(t)的周期解问题,本文得到了周期解存在的新的结果。  

s-半置换子群对群构造的影响

群G的一个子群H称为半置换的,若对G的任意子群K,只要(|H|,|K|)=1,就有HK=KH;H称为s-半置换的,若对G的任意Sylow p-子群P,只要(p,|H|)=1,就有HP=PH.本文研究极大子群和极小子群的某些子群的s-半置换性对群构造的影响,推广和改进了Asaad及王品超等人所得的结果.  

抽象半线性发展方程初值问题解的存在性

本文研究Banach空间E中具有非紧半群的半线性发展方程初值问题u′(t)+Au(t)=f(t,u(t)),t≥0;u(0)=x_0解的存在性,其中-A为E中等度连续C_0-半群的生成元,f:[0,∞)×E→E连续。在f满足较弱的非紧性测度条件下,获得了该问题饱和mild解的存在性。特别,当E为有序弱序列完备Banach空间时,我们获得了一个不需要非紧性测度条件的便于应用的存在性结果。  

基于比率的三种群捕食者-食饵扩散系统的周期解

本文研究一类基于比率的三种群捕食者-食饵扩散系统,利用重合度理论建立了这类系统正周期解的存在性结果。  

Reissner板弯曲的辛求解体系

基于Reissner板弯曲问题的Hellinger-Reissner变分原理，通过引入对偶变量，导出Reissner板弯曲的Hamilton对偶方程组．从而将该问题导人到哈密顿体系，实现从欧几里德空间向辛几何空间．拉格朗日体系向哈密顿体系的过渡．于是在由原变量及其对偶变量组成的辛几何空间内，许多有效的数学物理方法如分离变量法和本征函数向量展开法等均可直接应用于Reissner板弯曲问题的求解．这里详细求解出Hamilton算子矩阵零本征值的所有本征解及其约当型本征解，给出其具体的物理意义．形成了零本征值本征向量之间的共轭辛正交关系．可以看到，这些零本征值的本征解是Saint—Venant问题所有的基本解，这些解可以张成一个完备的零本征值辛子空间．而非零本征值的本征解是圣维南原理所覆盖的部分．新方法突破了传统半逆解法的限制，有广阔的应用前景。  

三种群捕食-被捕食模型中具时滞的抛物系统

本文研究三种群食物链,其中第三种群是第二种群的捕食者,第二种群是第一种群的捕食者。我们用上下解方法研究具时滞的耦合半线性抛物方程组的动力学行为,给出了解的渐近性质。  

R_0-代数[0,1]的子代数与广义重言式

本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。