中心极限定理的形象化模拟及其应用

介绍了中心极限定理的基本理论,利用数学软件Matlab进行了定理的模拟演示,直观形象地展示了定理所反映的本质内容,并结合实例给出了定理在现实生活中的应用,阐明了定理的重要应用价值。     

Matheius定理的几点认识

Matheius定理是针对离散数学以及解决正整系数整数线性规划问题中多约束条件情况的应用性定理。通过介绍该定理及其证明,作者对定理的证明过程,及参数λ的存在性提出了一些看法,同时对定理的应用和图解方面进行了探讨,以期能够促进相关领域对该定理的重视和更广泛的应用。     

Pappus 定理与 Desargues 定理之间的关系

讨论了射影几何中两个重要定理Pappus定理的Desargues定理之间的关系,证明了Pappus定理可以推出Desargues定理。     

Cauchy微分中值定理的多种探究式证明法

以Cauchy中值定理为例,给出了7种Cauchy中值定理的探究式证明方法,探讨了探究式教学法在定理证明过程中的应用,为大学数学教学提出了更高的要求。     

HVB随机积分的性质及收敛定理

讨论了关于布朗运动的随机积分用Henstock变差逼近的方法所定义的积分(即HVB积分)的一些性质和收敛定理.主要包括积分原过程的绝对连续性,平均收敛定理,一致收敛定理和Vitali收敛定理.     

关于Fuzzy测度与Fuzzy积分的若干定理

研究了Fuzzy集合上的Fuzzy测度与积分理论,给出了两种条件下Fuzzy测度分解定理、Funy积分若干极限定理和Fuzzy积分表现定理。     

刚体平面运动加速度图解的幾个定理

文中提出剛体平面运动加速度图解法的一个定理,但由于作图比例尺受到定理所規定条件的限制,制原定理在某些情况不能应用.本文一方面将原定理加以推广,从而弥补了原定理的缺陷;另一方面推出了两个有关加速度瞬心的定理.为加速度瞬心的图解研究,提供了理论依据.     

密勒定理、密勒对偶定理及应用

本文给出了密勒定理，并提出和证明了密勒定对偶形式－－密勒对偶定理，讨论了密勒定理，密勒对偶定理的适用范围，最后举例说明了这对定理在负反馈放大器、频率响应分析中的应用。     

L-凸空间中的选择定理和不动点定理

笔者在文中得到了L 凸空间中的一个选择定理,推广了Ding[2]的结果.修改了Lin[1,3]中的错误,同时得出L 凸空间中的不动点定理和叠合点定理.     

一类有序分拆的计数

讨论了分部量的限制条件中的数构成等差数列时有序分拆的计数问题，使用了与文献「１」中不同的方法得到的结果分别统一和推广了文献「１」中定理８．２．２及系－－定理８．２．７及系（定理３）和定理８．２．９－定理８．２．１４（定理４）中的所有通解式。     

Radon-Nikodym定理的两种证明方式的比较

笔者在本文讨论应用Riesz-Frechet定理证明R-N定理.拟定的证明改进了文[1]中给出的简略证明,且在问题的处理方面与文[1]的论述略有不同.R-N定理的两种证明方式各有其独特之处.这两种证法都值得研究.     

质量加速度矩定理探讨

本文提出质点和质点系 (绝对运动和相对运动 )质量加速度矩定理。由牛顿定律直接导出此定理 ,并给出此定理用于刚体平面运动的各种动力学方程 :矩心为定轴、质心、加速度瞬心、特殊速度瞬心、以及任意动点。这些方程最简明地给定了物体转动运动量与物体所受力系主矩之间的关系。此定理可以理解工科理论力学中儿乎所有用动量矩定理和用动静法力矩方程解的问题 ,而且比它们更直接 ,简明、方便     

Kadomtsev-Petviashvili型方程的行波解

研究含有两个参数的K-P型方程.在非线性项满足一定指数增长条件下,利用泛函分析中的没有Palais-Smale条件的山路引理和相应的Sobolev紧嵌入定理,证明了该方程非平凡行波解的存在性.     

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

多维函数在广义三角范数下的收敛定理

给出了广义T模糊测度和多维函数(T)模糊积分的定义,采用类比方法证明了多维可测函数在一维测度下对应的Eropo B定理和Riesz定理,得到了多维(T)可积函数在广义三角范数下的2个收敛定理。     

关于抽样分布定理证明的注

本文给出抽样分布定理的一个构造性证明以作为文献[1]对相关定理之证明的一个注.     

粘性半导体偏微分方程的定态解

研究了一维粘性定态量子流体动力学(QHD)模型.利用截断法、Leray-Schauder不动点定理以及椭圆型方程的估计,在“亚音速”条件下,得到了强解的存在唯一性.先验估计依赖构造辅助函数,证明依靠截断技术、Leray-Schauder不动点定理和指数变换.