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

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

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

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

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

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

修正的Durrmeyer—szasz算子整体加权逼近的等价定理

本文讨论修正的Durrmeyer—szasz算子对无界函数的整体加权逼近问题,证得了逼近正定理与逆定理。     

矩阵连分式的对应定理

本文建立了无穷C型矩阵连分式与形式矩阵幂级数之间的对应定理,其中该幂级数不能表示为矩阵的有理函数。     

非线性互补问题的迭代算法

本文对一类非线性互补问题提出了迭代算法,并借助不动点定理,证明了此算法的收敛性与唯一性。     

分次除环和Jacobson稠密性定理

讨论了分次除环和分次 Jacobson 稠密性定理,证明了分次 Jacobson 根为零的右分次阿丁环也是左分次阿丁环.     

非阿基米德Menger概率度量空间中相容映象对的公共不动点定理及应用

引入一类非阿基米德Menger概率度量空间,讨论该类空间中相容映象对的公共不动点的存在性,得出了一些新型的不动点定理.作为应用,我们给出了随机算子方程组公共随机解的一个存在性定理.     

维里定理的几种应用

本文首先证明经典力学的维里定理在量子力学中同样成立,然后导出在相对论和极端相对论情况下维里定理的形式,最后应用于几个特例中.     

关于Borel的一个定理

Borel的一个经典性定理是,如果两组整函数G_i(Z)(i=1,2,…,n)和H_i(Z)(i=1,2,…n)满足恒等式sum from j=1 to n G_i(Z)e~Hj~(Z)≡0 并且如果G_i(1≤i≤n)的增长性,在某种意义下,较慢于e~Hj~(-H)k(1≤j,k≤n,j≠k)的增长性,则G_i(Z)≡0 (i=1,2,…,n),在本文中得出了这个定理的几个推广。