局部凸拓扑线性空间中的广义Farkas引理

在局部凸拓扑线性空间中证明了广义Farkas引理,所得到的结果推广已知结果到更一般的空间,而且所用证明方法也更为简洁.同时也给出了广义Farkas引理在必要最优性条件中的应用.     

Farkas引理的几种证明方法

利用凸分析中的有关定理和结论,给出Farkas引理的几种证明方法。     

Philipp-Stout定理的补证

在文献[1]中W.Philipp和W.Stout得到了用正则布朗运动来逼近高氏序列的很好的结果(见[1]中定理5.1)。在该定理的证明中用到了重要引理5.3.1。可是此引理的叙述和证明都是错误的。本文给出此引理的正确叙述及其证明,从而完成了[1]中定理5.1的证明。 [1]中引理5.3.1的叙述和证明中均未提及随机变量序列{X_n}_(n=1)~∞是高氏序列。今举     

择一性定理的新证明

文章利用内点方法理论中斜对称问题的结果，给出了Farkas引理，Gale定理，Gorden定理的新证明。     

线性锥系统的Tucker引理

应用对偶锥的概念和线性锥系统的Farkas引理,给出了一般线性锥系统的Tucker引理.所得结果显示,含齐次线性不等式组的线性锥系统和它的对偶系统都存在Tucker引理,且Tucker引理结论的表达式基本相同.     

Farkas引理在线性锥系统的推广

为了将线性规划中的基础理论之一--Farkas引理推广到一般线性锥系统上,应用对偶锥的概念和严格分离定理,给出了一般线性锥系统的Farkas引理.所得结果显示,在利用对偶锥进行表示,线性系统和一般线性锥系统的Farkas引理的表达形式相同,这为进一步研究锥规划提供了便利.     

环的几个交换性定理

本文证明了环的几个交换性定理,并且推广了[4]、[5]中的相应结果。我们总是以Z表示环R的中心。先列出几个引理: 引理1 设R为质环,λ∈Z,λ≠0,α∈R,若有λα∈Z,则必有α∈Z。证明见[1]。引理2 设R为半质环,若有正整数n使得对(?)_x∈R,都有x~n∈Z,则R是交换环。     

《试论积分第一中值定理》一文的更正

本文指出文[1]中的引理2是错的,并且给出了一个命题来代替文[1]中的引理2,同时对文[1]中引理3的叙述与证明作了些修改,使之更完美,这样也就对文[1]中相应的有关叙述作了些调整.     

Lebesgue微分定理的一个几何证明

<正> Lebesgue微分定理是实变函数中微分理论的一个非常重要的定理,此定理的证明虽有几种方法,但都比较冗长、复杂。本文是在Austin的文[1]基础上改写而成,在证明中只用到一些测度知识和初等几何的知识,具有简单,明晰的特点,此外本文对[1]中引理2出现的错误以及在使用Lindlof定理时所出现的问题做了相应的修改,并在引理2的基础上引入了引理3及引理4,使本文更加完善。     

推广的Urysohn引理的改进证明

文[1]中给出Urysohn引理的一种推广,给出的证明是参考[2]中的证明.文章给出了该推广的改进证明.     

具无限时滞非线性中立型泛函微分方程的周期解

证明了具无限时滞非线性中立型泛函微分方程解的一致最终有界性蕴涵周期解的存在性，推广了一些学者的主要结果．     

具有拟平面法截线子流形的某些性质

本文讨论了具有拟平面法载线子流形的某些性质,并利用这些性质简化了陈、李的一个定理的证明     

Fuzzy随机集强大数定律的推广

在文［１］、［２］的基础上将Ｆｕｚｚｙ随机集的强大数定律推广到Ｆｕｚｚｙ值概率空间。     

关于群的一个应用

首先介绍了半群中几个重要的概念,接着介绍了本文中重要的定理5.1,从而得到Zm={[0],[1],…[m-1]}关于二元运算[a][b]=[ab]形成幺半群,进而Z+m形成(m-1)阶群,最后得到推论6.1,最终完成该定理的证明。     

一类无约束非线性整数规划的区间算法

讨论目标函数为Lipschitz连续函数的无约束整数规划的数值算法.通过构造目标函数的区间扩张和无解区域删除检验原则,建立了求解无约束非线性整数规划的区间算法,并进行了数值实验.理论证明和数值实验均表明算法是可靠和有效的.     

一个Powell类型的新算法及其分析

本文提出了一个不用导数的Powell类型新算法。该算法针对无约束非线性规划问题,它具有二次终结性以及整体收敛性。本文证明了:对于一致凸的目标函数,新算法每经过n~2次一维搜索后是二阶收敛的。     

一个求解线性约束的非线性规划的变尺度方向广义投影内点算法

基于内点算法的思想，利用广义投影技术构造了一求解线性约束的非线性规划问题的变尺度方向内点算法，并给出了其收敛性证明。     

空间直线度包容评定的线性逼近算法

建立了空间直线度最小包容评定的数学规划模型，提出了空间直线度评定的线性逼近算法．算法以近似的线性规划模型的迭代运算，结合空间坐标变换去逼近精确的非线性规划模型的最优解．构造了适用于计算机判别的最优条件判别数．大量的计算实验证明该算法具有高精度的特点     

没有增长限制条件的四阶非线性方程两点边值问题解的存在性

在没有增长限制条件下,本文证明了四阶非线性方程两点边值问题解的存在性,推广了文献[1][2]中的结果。     

一类非线性比式和问题的全局优化算法

针对广泛应用于工程设计、非线性系统稳定性分析等实际问题中的一类非线性比式和问题(P)给出了一全局优化算法.利用问题(P)的等价问题(Q)和线性化技术,建立了问题(Q)的松弛线性规划(RLP),通过对(RLP)可行域的细分以及一系列(RLP)的求解过程,从理论上证明了算法收敛到问题(P)的全局最优解.最后数值例子表明了本文算法的可行性.