简介：充分利用总体的信息，讨论了正态总体均值μ已知的条件下，方差σ^2的统计推断问题．

简介：讨论半群环R[S]的Bear—根，刻划了R[S]是Bear—半单环的充分和必要条件。

简介：文章给出行半正定矩阵的概念，并对它进行讨论，获得行半正定矩阵的一些充要条件及其性质。

简介：凸函数是一类重要函数,在数学分析和一些专著中,对它巳有比较多的讨论。在此基础上,本文再给出判定实函数的f(x)是凸函数的两个充分条件,并作出详细地证明。定义设f(x)是定义在区间I内的一个实函数,若对任意的x,y∈I,及a、β≥0且α±β=1,恒有

简介：《数学控制论基础》先对控制理论的基本概念和控制理论技术的发展历史作了简单阐述,并对控制理论所涉及的数学理论给出了简要说明.然后阐述了线性控制系统的基本理论。线性控制系统的基本理论主要包括系统的可控性、系统的可观测性、系统的稳定性、系统的状态反馈控制和系统的输出反馈控制。鉴于有界控制系统的实际意义很强而数学理论缺乏

简介：§１－１１．Ｂ；２．Ｃ；３．必要；４．充分必要；５．充分但不必要；§１－２１．Ｂ；２．Ｂ；３．（２），（５），（７）；４．｛ａ，ｂ｝，｛ａ，ｂ，ｃ｝，｛ａ，ｂ，ｄ｝；５．（Ａ∪Ｂ）∩Ｃ§１－３１．Ｃ；２．Ａ；３．（３２，－１２）；４．ｆ（ｘ）＝ｘ２－...

简介：本文采用变级王换分析的方法给出二元函数极值的充分必要条件的一个简便证明。

简介：H_1,H_2,H_3是实希尔伯特空间,CH_1,QH_2是两个非空闭凸子集,AH_1→H_3,B：H_2→H_3是两个有界线性算子.我们的兴趣是解决下面的问题：找x∈C,y∈Q使得Ax=By.Moudafi提出了同步迭代算法（SIM）来解决分裂等式问题.为了利用同步迭代算法（SIM）,在计算步长时需要知道有界线性算子的范数,这个范数的数值计算中难以实现.本文的主要目的是介绍一种选择步长的方式使得同步迭代算法的完成不需要任何算子的范数.同时,松弛的同步迭代算法也被提出.最后,论文通过数值试验得出这种步长的选择方法使得并行迭代算法收敛更快.

简介：本文用Laplace变换法把RDDE振动的充要条件推广到广义情形。

简介：本文研究一奥广义对称矩阵反问题的有解条件．给出问题P有解的充要条件。

简介：本文引入能行锥的概念,得到一个新的约束品性,给出了最优化问题在一般约束条件下,目标函数f(x)在x取得局部极小值的一个平行的广义Kuhn-Tucker必要条件。

简介：记Ore2=min{d(y)+d(x)|x,y∈V(G),d(x,y)=2},本文得到:若n阶图G的Ore2≥n+1,则G是[5;n]泛连通图.此是比Faudree等人的定理进一步的结果.

简介：运用Hadmard反函数定理讨论了一类满足渐近非一致性条件的常微分方程组解的存在唯一性，推广了已有结果．

简介：不等式的证明是大部分学生心目中的难点，要想得心应手，平时不仅仅要多做题，还要多思考，多总结．本文仅从不等式等号成立的条件展开思考，谈谈证明中的小技巧．

简介：提出了带插值点的拟线性最小二乘法，并给出了带插值点的拟线性最小二乘法拟合的最小二乘估计，证明了及其参数具有无偏性。

简介：讨论了一维奇异p-Laplace方程{((φ)p(u'))'+f(t,u)=0,t∈(0,1)u(0)=u(1)=0存在C1[0,1]或C[0,1]正解的一个充分必要条件.用到的方法主要有上下解方法和Schauder不动点定理.

简介：研究具广义边界条件、非均匀介质、各向异性和连续能量的板模型迁移算子A的谱.证明了K=A-B的相对紧性,在L1空间研究算子A的谱,以及占优本征值和严格占优本征值.

简介：本文讨论了co空间上生灭矩阵生成Co-半群的条件,并证明了该生成的半群是一正的压缩半群.

简介：利用图的伴随多项式的性质，给出了两类图色唯一的充分必要条件。

简介：关于二元函数在一点的全微分存在的判别条件,一般教科书都是要求两个一阶偏导数在该点处连续(参见[1])。文献[2]削弱了这个条件,只要求其中一个一阶编导在该点处连续,文献[3]给出了全微分存在的另一个条件:要求两个一阶偏导数在该点的一个邻域内存在(但不要连续),及在邻域内至少存在一个有界的二阶混合偏导数。容易说明,〔2〕、〔3〕中判别条件的适用范围并不完全一样.从而〔2〕、〔3〕给出的都只是充分条件而非必要条件.讫今为止,尚未见到关于全微分存在的充分必要条件.本文将偏导数和全微分联系考虑,得到一个全微分存在的充分必要条件.作为这个充要条件的推论,可立即得出〔2〕、〔3〕中的判别条件.