简介：本文研究了SQP算法中保持矩阵正定性的方法．利用Li—Fukmshima提出的求解无约束问题的修正BFGS(MBFGS)公式，提出了求解等式约束问题的SQP算法．证明了若在问题的解处二阶充分条件成立，则相应的SQP算法具有2一一步超线性收敛性．

简介：主要得到整函数与其导函数具两个公共小函数时的一个唯一性定理,改进了RubelYang及郑稼华等人的某些结果.

简介：这篇文章利用不动点定理证明了有界洞型区域内双调和方程边值问题正解的存在性及唯一性.并对解的不存在情形进行了研究.

简介：对于带有不完全椭球约束的增长曲线模型Y=X1ΘX2+ε，ε～（0，σ^2V×I),X'2(Θ-Θ0)'X'1(Θ-Θ0)X2≤σ^2Iq本文在矩阵损失函数(d-KΘL)'(d-KΘL)下给出了KΘL在齐次线性估计类和非齐次线性估计类中可容许的充分条件．

简介：利用Mann迭代技巧,讨论了一类随机算子方程A（ω,x（ω）,x（ω））=B（ω,x（ω））的随机解的存在唯一性,并给出了迭代序列收敛于解的误差估计,所得结果是某些已知结果本质改进和推广.

简介：文中X是自反Banach空间,K是X的有界、闭、凸子集.研究包含(M)型算子的变分不等式问题:f∈X*,求u∈K,使(w-f,v-u)0,w∈Tu.其中T是一个有限连续、(M)型、有界集值映射.利用KKM映射和Gwinner定理,我们得到了该变分不等式可解性的结果.最后讨论了这样的变分不等式它的应用.

简介：本文研究一个可靠机器、一个不可靠机器与只容纳一个部件的缓冲库构成的系统的时间依赖解的渐近行为．首先在我们已有的工作基础上指出该模型的主算子生成的C0-半群的本质增长界小于一个负数，由此推出0是该主算子的一级极点．然后用残数定理求该系统研究中出现的投影算子的表达式．最后证明该模型的时间依赖解指数收敛于其稳态解．本文的思想和方法适用于一个可靠机器、一个不可靠机器与容纳有限个部件的缓冲库构成的系统．

简介：本文研究一类非凸连续全局最优化问题的最优性条件．通过构造含有参数的辅助函数，且对辅助函数作极限运算，得到一种基于积分运算的积分型全局最优性条件，并利用该辅助函数得到非凸规划问题全局最优解的一些充分必要条件．

简介：本文研究非线性分数阶三点边值问题{cD0a+u（t）+f（t,u（t））=0,0

简介：本文分析了数学形象思维的层次性，阐明形象思维在培养学生的创造性思维和处理实际问题时的重要作用，并用实例说明在教学过程中训练学生数学形象思维和培养学生的创造性思维的方法。

简介：给出了C^n单位球上的Bloch空间上的复合算子的下有界的一个充分条件和一个必要条件。对必要条件得出了较优的结论．

简介：考虑时标上奇异三阶微分方程特征值问题.首先使用Krein-Rutmann定理得到正线性算子的第一特征值,再联合不动点指数定理证明了特征值问题正解的存在性,同时也给出了参数λ的取值区间.

简介：考虑了一类p-Laplacian拟线性椭圆变分不等式问题,通过运用优化理论中的补偿法和Clark次微分性质,研究了这类椭圆变分不等式解的存在性.

简介：文[1]中提出了求解连续函数f(x)总体极小值的均值算法,并证明了算法的全局收敛性.若假设f(x)是定义在某可测集G上的可测函数,本文证明了均值算法产生的迭代序列全局收敛到f(x)的本质极小值,若进一步假设函数f(x)满足测度Lipschitz条件,还证明了求可测函数的均值算法是线性收敛的.

简介：图形复杂度是对图形复杂程度的一种量化表达，在图形分析、分类、形状分析等方面都有广泛应用。本文基于统计方法将图形复杂度定义为各向距离数列的标准差，称为各向距离标准差法。根据该方法可以计算出各种二维图形的复杂度。各向距离标准差法具有旋转不变性。各向距离标准差法对常见图形的排序结果与用户调查排序结果基本一致，体现了各向距离标准差法的实用价值。此外，以番茄叶片轮廓线为例，进行叶轮廓线的复杂性分析，得到番茄叶片轮廓复杂性的统计性结论，供植物叶片相关研究参考。

简介：本文主要探索利用Ｔａｙｌｏｒ公式对无穷小量或无穷大量的阶进行估计，从而有效地判断正项级数及广义积分的鼓散性．

简介：对给定的复数a，本文引入一个用来刻画两个亚纯函数的重数相同的公共a值点的比重的量τk，并把有关这一量与拟亏量或者权分担相结合的条件附加到两个具有四个分担值的亚纯函数上，得到了两个关于亚纯函数唯一性的定理．

简介：数学教师专业化是数学教育现代化的必然要求,也是教师实施课程标准,发展学生核心素养的必然要求.而新一轮数学改革也充分肯定了数学文化的教育价值.本文从已有研究出发,采用定量研究和定性研究相结合的方式,揭示了数学文化与教师专业化发展的相关性,为日后的师范生培养和职前教师培训提供参考建议.

简介：本文就可测函数是连续函数的推广做了进一步的论述。证明了任意可测集合上的连续函数都是可测函数。证明过程可启发人们对可测函数的结构进行更好的研究并由此对鲁津定理的理解更深透．

简介：运用Leray-Schauder原理讨论一阶常微分方程多点初值问题{x＇（t）=f（t,x（t））,a.e.t∈{0,T]x（0）＋k=1∑^makx（tk）=c0的可解性,其中f是一个Caratheodory函数