重合点定理与非扩张映射的不动点

给出了某些新的重合点定理和几个扩张映的不动点定理,还得到在凸距离空间中非扩张映的不动点定理,主要结果是定理2与定理7、定理9。     

Rolle定理的可视化检验及证明

Rolle中值定理是重要的微分中值定理,它是Lagarange定理和Cauchy定理基础.本文先利用Maple10对罗尔定理作可视化检验然后探索用实数连续性公理证明Rolle定理.     

定理的特例与定理的证明

定理的特例是定理的重要组成部分,为证明定理的普遍性起着特殊的作用。弄清其间的逻辑关系和定理的证明过程,对深入理解定理的内涵和掌握定理证明的思路是大有益处的。     

广义Tellegen定理及其应用研究

进一步完善了广义Tellegen定理的理论体系。对广义Tellegen定理与传统Tellegen定理进行了较深入的比较研究,给出了两定理的根本区别和内在联系,指出了局限传统Tellegen定理广泛应用的真正原因。具体地给出了应用广义Tellegen定理求取灵敏度的简单示例,很直观地说明了两定理的差异。研究工作表明广义Tellegen定理具有实用价值和广阔的应用前景。     

微积分中值定理的统一证明及推广形式

Cauchy中值定理统一了微积分中值定理各种形式,从而建立了微分中值定理和积分中值定理之间的内在联系.以Rolle中值定理为基础,借助不同形式辅助函数可对其它几个中值定理作出多种形式的统一证明;利用Taylor公式可以进一步导出微积分中值定理的推广形式.     

Brouwer不动点定理的若干等价形式

本文的目的是表述现代非线性分析的某些基本结果,比如:Brouwer 不动点定理,Schauder 不动定理,Tychonorff 不动点定理,Fao Kv 极大极小原理,截口定理,Browder,Fan-Glicksberg-Kakutani 不动点定理,KKM 定理及集值 Hartman-Stampacchia 变分不等式等之间的联系.     

平均逼近的定理补充

本文讨论了平均逼近，给出了四个定理，是对存在定理，特征定理，唯一性定理的补充。     

平行轴定理与柯尼希定理的兼容性

对普通物理力学中平行轴定理与理论力学中柯尼希定理相互间关系进行了讨论．结果表明，凡是满足平行轴定理的那些刚体上的点，同时也适用于柯尼希定理，反之亦然．为理论力学中柯尼希定理与普通物理力学中平行轴定理的整合提供理论依据．     

斯通逼近定理的一种推广

给出了斯通逼近定理的一个推广定理．当g取常函数1时,定理2就是著名的斯通逼近定理．     

不动点定理在微分方程中的应用

文章主要是利用Banach不动点定理来简化了Picard定理的证明,并且利用Leray-Schauder不动点定理说明了不动点定理在微分方程中的应用。     

材料力学中功、能原理的区别与联系

材料力学教材中,关于能量方法,介绍了功的互等定理、位移工等定理、卡氏定理、虚功原理、莫尔定理等,对每个定理(或原理)单独提出,单独证明,没有强调各定理间的区别和联系,显得缺乏系统性,使初学者感到头绪太多,抓不住本质,难以掌握.为了解决这一问题,本文指出了各定理间的区别与联系,说明了能量方法中各定理适用条件及范围.     

Stolz定理的推广定理证明

为了求非导函数的待定式的极限,在Stloz定理的基础上,给出了Stloz定理的推广定理,并对定理进行了证明.     

关于某类正则Fourier级数及其导级数的求和法

引入一类正则的Ｆｏｕｒｉｅｒ级数及其导级数的求和法，并得到了相应的求和定理、饱和类定理及逼近定理，同时改进并推广了［１］的求和定理，修正了［１］的饱和类定理。     

二值命题逻辑系统的不可靠度及F度累积定理

本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。     

浅谈微分中值定理

首先简单介绍三个微分中值定理的历史演变,可以从中了解到各个中值定理之间存在的联系。而且当适当改变中值定理中的条件时,可以得到关于中值定理的一些特殊结论。这对于理解中值定理有很大帮助。     

与Tychonov不动点定理相关的几个结果

给出了两个拓扑向量空间的乘积空间上截口定理,极小极大不等式及一个推广的不动点定理.指出这3个形式不同的结果与Tychonov不动点定理是相互蕴含的.并且用截口定理直接证明了多值映射的一个重合定理.     

关于点共线及线共点问题的探讨

本文将介绍用帕斯卡定理、布利安双定理、德萨格定理、帕普斯定理、对偶原理等,证明有关点共线和线共点的问题。     

中值定理“中间点”渐近性的推广

本文推广了柯西定理，拉格朗日定理“中间点”的渐近性，导出了推广的中值定理及高阶中值定理“中间点”的渐近性。     

一个非线性算子的共鸣定理

本文证明了一个非线性算子的共鸣定理,本定理可以看成经典Osgood定理的推广。     

模糊码的特性

讨论模糊码、最大模糊码的特性.第二部分中给出模糊码的两个等价条件(定理2.1,定理2.2),获得判断一模糊语言是否为模糊码的准则(定理2.3)和算法(定理2.4).第三部分中通过模糊语言的某种数量方式刻画了最大模糊码(定理3.2,定理3.3).