两个积分中值定理内点性的新证明

积分第一中值定理和第二中值定理是定积分理论中两个十分重要的定理,近年来关于其内点性的讨论非常广泛。首先根据连续函数的介值定理,用一种新方法证明积分第一中值定理的内点性;然后提出一个实例,说明积分第二中值定理在通常条件下不具有内点性;最后利用定积分存在的充要条件和Abel变换的手段,证明积分第二中值定理在加上一个非常一般化的条件时具有内点性。     

中值定理证明不等式的函数构造及等式中的一题多证

利用拉格朗日中值定理证明不等式是一种常用的方法,而此法的关键和难点在于构造一个函数及区间.本文给出利用中值定理证明不等式时函数构造的思路和方法,即一个普遍的结论.同时又给出用中值定理证明等式的一题多证一例.     

微分中值定理的n阶导数形式及其应用

本文阐述行列式函数及其求导法则,并借此给出拉格朗口是定理的一种证明方法,进而指出并推导了微分中值定理的ｎ阶导数形式。     

《微分中值定理》教学设计

微分学中值定理包括费马定理、罗尔中值定理、拉格朗日中值定理和柯西中值定理。用发现法讲授这组定理,可以使学生体验发现真理的乐趣,学习解决问题的策略。提高发现问题、分析问题、解决问题的能力。文给出了用发现法讲授微分中值定理的一种教学设计．本文给出用发现法讲授微分中值定理的另一种教学设计。     

微分中值定理的几何直观表现

学过高等数学的人都能说出罗尔定理、拉格朗日定理、柯西定理的条件和结论,但对于这些定理证明过理中所引进的辅助函数是如何构造出来的?如何将中值定理推广到更一般的形式等问题?都不一定清楚.本文就从几何的角度讨论这两个问题.     

关于C.Cowen和J.Long定理的注记

利用次正常算子的特征,给出Ｃ．Ｃｏｗｅｎ和Ｊ．Ｌｏｎｇ定理一个纯算子演算的证明,此定理是否定回答Ｈａｌｍｏｓ第５问题的关键,其原始证明用的是复杂的函数论技巧,而本文用不同的方法给出了上述定理的一个简洁证明．     

具有变号非线性项的三点边值问题的正解

首先证明双锥上的一个不动点定理,并通过该定理研究一类具有变号非线性项的二阶三点边值问题两个正解的存在性。同时,给出了该三点边值问题相关的Green函数。     

一种新的脉冲噪声滤波算法

针对传统中值滤波法在去除脉冲噪声时存在的不足,提出了一种由噪声检测、噪声滤波和误检像素校正三个阶段组成的图像噪声滤波方法.通过对不同类型和不同强度噪声图像的实验结果表明,该方法在去除噪声的同时较好地保持了边缘,在噪声率为80%时,该方法比中值滤波法的峰值信噪比提高了16 dB.     

一个新的组合恒等式及其证明

本文以定理的形式提出一个新的组合恒等式。它是在恒虚警算法研究和性能分析中经常遇到的恒等式。对此,文中给出详细的证明。在证明过程中,我们还提出了有关该定理在实际中可以直接应用的3个引理和2个推论。     

基于中值排序的自适应加权均值滤波算法

分析了MTM算法的原理、优点和不足，并提出了一种改进的自适应加权均值滤波算法。该算法基于中值排序自适应地确定加权系数，完成对含噪图像的均值滤波。实验证明，算法能较好地滤除高斯噪声和脉冲噪声，且滤波效果优于传统的中值滤波和MTM滤波，是一种简单、实用的图像滤波算法。     

*X中的Q-拓扑、*τ拓扑、J τ拓扑及其性质

本文对＊Ｘ中的三种常用拓扑进行了研究,得到了一些性质。特别地,通过对＊Ｘ的商拓扑的研究,得到了Ｔｙｃｈｏｎｏｆｆ空间的Ｓｔｏｎｅ－Ｃｅｃｈ紧扩张定理的非标准证明。     

三角形内角和定理的证明方法举例

在教《三角形内角和定理的证明》（北师，八年级下册），我采用了多种方法去证明。我认为这对于激发学生的学习兴趣，培养学生的探索精神具有很好的作用。它的证明方法很多，基本思路是把分散的三个角“搬”到一起，从而构成一个平角，而作平行线则是将角“搬”到一起的基本途径。我们可通过撕纸拼角实验来验证。常见证法如下：     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。     

测度论中几个定理的重新论证

从环的等价定义出发 ,利用级数收敛性及分解性定理证明了R 是环 ,而且是完备的σ 环。进而重新论证了测度扩张性定理的存在性、唯一性及完备性。避免了教材中原证明的复杂过程 ,从而使读者更容易掌握     

Tychonoff定理的又一个证法

本文给出了Tychoncff 定理的又一个证法。在证明中,我们基于Zorn 引理,利用紧空间的等价命题之一——任一网都有丛点——来证明的。首先,我们引进了万有同的概念,并给出了一个例子。其次,我们证明了万有网的几个性质(即引理1,2,3,4)。最后,我们证明了一般拓扑学中著名的定理——Tychonoff 定理。     

“三色图”的一个充分条件

文中证明了定理:若图G中不存在与K_4同胚的子图,则其色数X(G)≤3,进而得到三色图的一个充分条件。只要能证明与上述定理类似的一个定理:“若图G中不存在与K_5同胚的子图,则其色数X(G)≤4”,则世界著名的“四色猜想(4CC)”即得证。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

一种运动自适应去隔行中值滤波算法

在分析了现有各种去隔行算法的基础上,提出一种基于边缘的中值去隔行运动自适应算法。对运动部分,采用在最大相关性方向上进行中值滤波。实验证明,算法充分利用了图像时间和空间上的信息,有效克服了传统算法去隔行后图像边缘不够平滑,出现锯齿,对噪声敏感的不足,该算法占用硬件资源少,运算复杂度低,易于硬件实现。     

关于半鞅向量随机积分的一个注

建立了半鞅向量随机积分的一个结果,能方便处理可料过程在向量随机积分意义下对半鞅的分解随可料过程不同而不同的问题.作为其应用,给出了有关文献中定理的简洁证明.并利用其思想,得到了半鞅向量随机积分的一个重要性质.     

一类非线性系统的自适应模糊反推近似滑模控制

针对一类含有未知非线性函数项和外界干扰的不确定纯反馈非线性系统,提出了一种自适应模糊反推近似滑模变结构控制方法。采用中值定理和隐函数定理使未知非仿射输入函数拥有显式的控制输入,利用模糊系统逼近未知非线性函数,动态面控制技术解决了反推设计中出现的"微分爆炸"问题。所提出的自适应近似滑模控制方案削弱了传统滑模控制中的抖振现象。从理论上证明了所设计的控制器能够保证闭环系统所有信号半全局一致终结有界。仿真算例验证了算法的有效性。