Beltrami方程组很弱解的唯一性

本文利用Ｈｏｄｇｅ分解,给出了Ｂｅｌｔｒａｍｉ方程组很弱解的唯一性结果。     

Goedel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统/W,W,Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G,G,Gn中。主要结果是：在逻辑系统/G,G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在/G,G,Gn中给出了F（S）的一个关于→同余的分划。     

梯乘开高次方与解一元高次方程实根通法——兼谈最低运算量开立方

笔算、珠算皆宜的梯乘开高次方与解一元高次方程实根通法,最低运算量开立方在开拓学生知识面,实际应用和学术研究上都具有一定意义。本定义了近ｔ位概念,给出了利用序码间和、差、倍关系分别确定积、商、幂起拔档序码的三个定档要点,演解了具体的三次方程,并将其推广到解一般高次方程的情形,建立了运算量函数,阐明了梯乘法在运算量及运算步骤方面低于增乘法的优越性,讲述了按照“３除续商,完全平方,判拔根位,加廉法当,     

Banach空间中微分方程解的存在与唯一性

在一般Banach空间中,作者讨论了微分方程的初值问题u=f(t,u),u(0)=x0.在比文[6]中弱Carathodory条件更弱的情况下,不仅放宽了[6]中的一个重要不等式条件,还去掉了另一与之相关的不等式限制,仍获得了初值问题解的存在与唯一性及解的迭代逼近.对周期边值问题也获得了类似结果.     

抛物型非线性边界控制系统解映射的有界性

本利用半群理论等方法讨论了抛物型非线性边界控制系统解映射的有界性。     

目标属性为肯定和否定的多目标决策问题解的有效性条件

本文建立了一类目标属性为肯定和否定的多目标决策模型,定义了相应的有效性。并在此基础上,讨论了有效性条件。     

用初等行变换求线性矩阵方程的通解

本文通过建立通解矩阵的概念 ,给出了用初等行变换求线性矩阵方程 Am× n Xn× s=Bm× s的通解的方法 .