凸函数的性质

通过凸函数的定义,推导出三个定理,然后由定义和得出的定理推导出凸函数的一些性质．     

均匀经验过程几乎处处中心极限定理的一个注记

设{ξ1,ξ2,…,ξn}为来自［0,1］上服从
均匀分布的独立同分布样本, 产生的经验过程为Fn(t)=n-1/2∑〖DD(〗n〖〗i=1
〖DD)〗(I{ξi≤t}-t), 0≤t≤1; ‖·‖表示一致模, 即‖Fn‖=sup〖D
D(〗〖〗0≤t≤1〖DD)〗〖JB(|〗Fn(t)〖JB)|〗; U为D［0,1］上的Brown桥, ‖U‖
=sup〖DD(〗〖〗0≤t≤1〖DD)〗〖JB(|〗U(t)〖JB)|〗. 利用概率强收敛工具,
得到了关于‖Fn‖及sup〖DD(〗〖〗0≤t≤1〖DD)〗Fn(t)的形如l
im〖DD(〗〖〗n→∞〖DD)〗〖SX(〗1〖〗log
n〖SX)〗∑〖DD(〗n〖〗k=1〖DD)〗〖SX(〗1〖〗k〖SX)〗I{‖Fk‖≤x}=P{‖U‖≤x}=1
+2∑〖DD(〗∞〖〗k=1〖DD)〗(-1)ke-2k2x2 a.s.
的几乎处处中心极限定理.     

一类二维非线性奇稳态问题的有限元方法

考虑二维非线性边值问题{Lu=-[1x^σЭЭx(x^σa(x,y,u)ЭuЭx) ЭЭy(a(x,y,u)ЭuЭy]=f(x,y),(x,y)∈Ω u|Г0=0的有限元方法,利用Banach不动点定理,证明了弱解的存在、唯一性。给出了有限元解的最佳阶的加权L2模和加权H1模误差估计。     

替换定理的三种证明

高等代数的教材里，“替换定理”常常采用数学归纳法证明，本给出另外三种证明，以不同的方法揭示定理中向量组之间的内在联系。     

投影理论体系探讨

本文试图用数学方法把和投影有关的诸理论统一起来。数学表达式使各种投影之间的关系一目了然。对于投影的各种情况,本文一一给出了成立的充分必要条件。特别是其中的中心投影的仿射形的充要条件,与原来在这个位置上的别斯金定理大不相同,去掉了其射影几何的内容,对其适用于投影的結论作了引申,在附表中仍称之为别斯金定理,但这实际上已经是投影自己的别斯金定理了。又如库鲁巴定理,尽管已经分别有三、二、一天点参数公式组,但统一的中心投影充要条件公式始终没有。本文用矩阵方法很简单地推出了这一与库鲁巴定理等价的公式组。     

代换定理的证明及其应用

本文给出了代换定理的优于文献[1]的证明方法,并把代换定理与其他定理结合,构造了一个判定DNF表达式永真性的算法,使代换定理得到实际应用。     

一类多值广义向量似变分不等式解的存在性

在Banach空间中研究了一类多值广义向量似变分不等式问题(GMLVVIP),此类变分不等式以经典的变分不等式为基础,将单值映射推广到了多值映射.在多值映射与仿射的条件下,利用T的θ-h半连续与伪单调性,通过运用KKM定理和K-F-G不动点定理,证明了这类GMLVVIP解的存在性并给出了证明.     

一类无穷域上高分数阶微分方程正解的存在性

为了研究无穷域上高分数阶微分方程多点边值问题正解的存在性,采用Schauder不动点定理及抉择定理,给出一类无穷域上高分数阶微分方程正解的存在条件以及迭代解,对分数阶微分方程解的存在性问题进行向高阶的推广.     

开路--短路法求戴维南等效电路输出阻抗存在局限性

分析证明了二类含受控源的有源两端网络,不能用开路－短路法求其截维南等效电路输出阻抗。否则,会得出错误结果。     

基于KAUTZ模型的预测函数控制及其稳定条件

对模型未知的系统采用Kautz函数逼近得到系统的近似模型.基于所得到的Kautz模型设计了一种预测函数控制器.对该算法进行了稳定性分析,依据Lyapunov稳定性定理得到了保证闭环控制系统稳定的充分条件.仿真实验证明,该算法能够准确逼近真实系统模型,实现自适应控制,得到满意的控制效果.