平均逼近的定理补充

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

拉格朗日中值定理的又一证明

“高等数学”是理工类专业必修的一门课程，而微分值定理是高等数学重要内容之一，它的应用十分广泛，多角度的证明，可以加深对此定量的理解，熟练掌握此定理的内涵，从而可更好地应用此定理，从教科书的另一角度证明了“Lagrange”中值定理。     

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

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

解析函数性质的新证明

利用泰勒展开式证明了唯一性定理，最大模定理，与传统证明相比，具有简单，一目了然的特点。     

最小最大值定理的几种典型证法

给出对策论中的最小最大值定理的三种等价形式，并对分别用数学归纳法、凸集分离定理、单纯形理论和Brouwer不动点定理对最小最大值定理所作的证明，进行了综合表述和点评。     

数值积分加速定理

Ｒｉｃｈａｒｄｓｏｎ外推法或Ｒｏｍｂｅｒｇ求积方法只能以梯形公式为基础对求积进行加速。本文给出的数值积分加速定理，不但可使梯形公式得到加速定理而且可使更多的求积方法得到加速定理因而，本文定理具有范围广泛得多的适用性。     

一类随机偏差定理

利用对数似然比的概念研究非负整值相依随机变量序列的极限性质，得到一类随机偏差定理，即用不等式表示的一类强极限定理，其偏差界语依赖于样本点证明中提出了将母函数的工具应用于强极限定理研究的一种途径。     

现代分析的秩定理

指出了文献[1]中秩定理证明过程中的几个错误，因为有这些错误存在，所以使得推导无法进行下去．给出了与秩定理等价的几个定理，最后利用算子的广义逆的一些等价条件，解决了Frechet导数存在有界广义逆条件下的局部共轭问题，得到了局部共轭定理，证明了局部共轭、局部精细点及subimmersion的等价性，真正统一和推广了秩定理，也大大地促进了非线性泛函分析和大范围分析的研究．     

再论卡氏定理及其应用

在卡氏定理的基础上，将求解给定位置变形的卡氏定理延拓至求解未定位置最大变形的极值定理。进而给出确定最大变形的公式，为工程结构的刚度设计提供了依据。     

关于微积分中值定理条件的讨论

讨论了微积分中值定理的条件，在较弱的条件下给出了定理的结果。     

浅谈数码打样

数码打样是目前印刷领域一种先进的印前方式。本介绍了印刷前处理技术中数码打样的国内现状和数码打样的含义、应用及发展状况，重点探讨了数码打样区别于传统打样的七大特点。     

镁合金的阻燃研究现状

介绍了镁合金阻燃的研究现状及进展,重点介绍了稀土合金化阻燃的研究。最后得出结论：混合稀土合金化阻燃镁合金是发展阻燃镁合金的方向。     

粉状耐酸胶结料配制的耐酸混凝土及密实机理

采用耐酸胶结料、粉料和骨料配制了耐酸混凝土，研究了混凝土的强度及耐酸性能，探讨了耐酸胶结料的固化硬化密实机理．研究表明，采用粉状耐酸胶结料配制的耐酸混凝土强度可达32．8MPa，高于采用液体水玻璃配制的混凝土强度(25．1MPa)，并具有良好的耐酸性和抗高温性能．     

选择公理与Tukey引理等价性的机器证明

基于计算机证明辅助工具Coq,提出一种选择公理与Tukey引理等价性的形式化证明.在公理化集合论形式化系统基础上,给出选择公理与Tukey引理的形式化描述,这是Tukey引理的首次形式化.完成了选择公理与Tukey引理等价性的证明代码,并在Coq中通过验证.体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠,在集合论、拓扑学和代数学的形式化构建中具有重要应用.     

抗弹陶瓷的犁削机理和自锐作用研究

研制了铬刚玉抗弹陶瓷，其抗弹能力比标准均质钢有很大的提高，通过分析讨论，其主要抗弹机制为犁削机理和自锐作用。     

试论民事诉讼证明标准——从纠纷解决的角度

证明标准是民事诉讼证据制度中的一个重要问题,一定的证明标准,对法官认定案件事实具有重要的指导和约束作用.我国学者对证明标准的讨论已有多年,然而一直缺乏一种完全令人信服的观点.文章从纠纷解决的角度,结合民事诉讼的目的、减少不合理地适用证明责任判决等方面,就我国民事诉讼应采用优势证据标准进行了论述.     

一种Lagrange乘数法及其推广的新证明

针对Lagrange乘数法传统证明方法过于繁琐的问题,利用向量及其相关性质,讨论了Lagrange乘数法一种新的证明方法。分别研究了二元函数、三元函数以及n元函数Lagrange乘数法的向量形式证明,这种以向量为工具研究等式约束的Lagrange乘数法,解决了传统方法难以迁移且结论模糊的问题。     

验证荷载条件下的在役结构动态可靠度

提出了随机验证荷栽条件下的在役结构动态可靠度计算方法,经过实例计算表明了在考虑随机性验证荷载条件下的结构可靠度一般比不考虑这种验证荷载的结构可靠度要高。     

匹配追踪信号分解收敛性的一种证明

针对匹配追踪信号分解的收敛性问题,借鉴Qian的思路,采用几何辅助方法证明了Jones和Mallat给出的一般性结论,并消除了Qian的证明中的瑕疵。此证明方法可避免运用多个预备引理,完善了Qian的证明过程,同时也为读者提供了另外一种理解匹配追踪的思路。     

多边形三角化图三色问题证明的一个注记

对“简单多边形三角形化图S是可以3 色”的定理证明中用到的关键定理: “简单多边形三角形化图S的对偶图T是一棵树” 作了十分简化的证明, 从而简化了3 色问题及Art Gallery 问题 Watchman 定理的证明.