一类常微分方程组两点边值问题及应用

考虑一类二元一阶常微分方程组的两点边值问题．在一定的单调条件下，给出了任定长度区间上方程组解的存在唯一性结果，并应用于线性二次指标最优控制问题导出的哈密顿系统，还给出了这类常微分方程组的一种两点边值条件下的比较定理     

一致凸Banach空间中Lipschitz拓扑半群的不动点定理

设C是p一致凸Banach空间E的非空有界闭凸子集，G是半拓扑半群，是C上具有Lipschitz帘数kt，t∈G的Lipschitz半群．假定Kt，t∈G满足适当的附加条件，证明了集合至多是一个单点集，其中，     

周期摄动的Duffing系统的调和解的存在性

本文在比较自然的条件下证明了一类周期摄动的Duffing系统的调和解的存在性。     

一类超线性椭圆方程正解的存在性

设Ω是R∧N中单位球，N≥3，本文考虑Dirichlet问题：（*）{-△u=K（x）|u|∧p-1u λu x∈Ωu=0， x∈ЭΩ径向对称正解的存在性。其中0≤K（x）≤C（1 |x|∧α），K（x）≡/0，-N/2<α<0，1相似文献   

S积分的收敛定理

讨论了S积分与极限的次序交换问题,所获结果概括了一些非绝对积分的收敛定理.     

G映象的不动点指数和G_(γ~-)紧映象的不动点定理

本文引入了集值PF-映象,G映象,G_(γ~-)紧映象和集值映象的半可微概念,建立了G映象的不动点指数理论并获得了G_(γ~-)紧映象和具有半导数的G_(?)紧映象的许多非零不动点定理.     

晶体场理论中的中间场耦合图象

本文用Racah不可约张量算符方法和Wigner定理表述中间场耦合图象,从而为晶体场理论提供了一种极为简便的计算方法.     

非线性椭圆型复方程组的一类边值问题

首先给出一阶非线性椭圆型复方程组的一类边值问题解的先验估计式,然后使用Leray-Schauder定理讨论上述问题的可解性     

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

弹性薄板热弯曲问题的求解

本文对文献[1]的方法进行了推广,得到了弹性薄板在热载荷作用下的挠度的求解方法。这样对任意边界条件的弹性薄板在任何载荷(包括温度载荷)的作用下的挠曲面均可应用功的互等定理法求解