基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

Liouville定理的证明及其应用

本文给出Liouville定理的两种证明方法及其实际应用。     

G*-锥度量空间中集值映射的公共不动点定理

首次引入G*-锥度量空间,在这个新的锥度量空间中,研究了新的集值压缩映射,通过构造不同的迭代序列证明了在G*-锥度量空间中集值压缩映射公共不动点定理的存在性和唯一性.这一结果丰富了不同度量空间中集值压缩的不动点定理,说明了集值压缩在不同度量空间中的适用性问题.     

第二积分中值定理“中间点”渐近值的进一步完善

本文通过引入Ｂｅｔａ函数，用统一的方法继续探讨了第二积分中值定理“中间点”的一些渐近性质，得出一系列新结论，作为本文的结论在相当大幅度上推广和概括了文（１－６）的重要结论。     

基于正弦映射的动态递归网络产生混沌序列实现方案

提出了应用正弦映射来产生混沌序列，正弦映射是结构简单的一维映射，通过对此映射的分析，得出其能在较大参数范围内产生混沌，并且产生的混沌序列具有较大的Lyapunov指数，具有比较丰富的动态特性，并将其引入到动态递归网络的隐含层作为非线性甬数，选择合适的网络权值，便可在输出层产生具有复杂动力学行为的混沌序列．通过对此序列进行Lyapunov指数和相关性的仿真分析，得出其具有良好的随机性，可应用于混沌保密通信等领域．     

晶体管H参数等效电路与混合π等效电路

本文用晶体管低频H参数的模式,采用电路理论中的密勒定理对高频等效电路进行简化,从而获得较简单的混合π参数等效电路,使高频电子线路中的计算简便化.     

二元函数的微积分基本定理

从二元函数的面导数出发定义原函数和不定积分，研究了它们的性质．证明了：（１）若ｆ（ｘ，ｆｙ）有原函数，则有一族原函数且任意两个原函数相差ｋ（ｘ，ｙ）＝Ｃ（Ｘ）＋Ｄ（ｙ）＋Ｅ，其中Ｃ（ｘ），Ｄ（ｙ）为一元函数，Ｅ为常数；（２）若ｆ（ｘ，ｙ）在闭区间［Ａ，Ｂ］Ｒ２上连续，Ｚ＝（ｘ，ｙ）∈［Ａ，Ｂ］，则Φ（ｘ，ｙ）＝ｆ（ｓ，ｔ）ｄｓｄｔ在（ｘ，ｙ）可导且Φ’ｘｙ＝ｆ（ｘ，ｙ）；（３）若ｆ（ｘ，ｙ）在［Ａ，Ｂ］上连续，Ｆ（ｘ，ｙ）为其一个原函数，则ｆ（ｘ，ｙ）ｄｘｄｙ＝Ｆ（［Ａ，Ｂ］）．     

卸载对软土伸长强度的影响分析

基于Hvorslev强度理论,以卸荷前应力状态为基准,推导了软土等向卸载后,土体处于类似超压密状态时卸载土体强度与卸载前正常固结土强度之间的关系式;采用太沙基一维固结理论,编制了内嵌固结计算的修正剑桥模型程序,分析不同卸载量、不同卸载固结时间、不同卸载级数对强度的影响,从而提供了全面系统分析卸载对软土伸长强度影响的方法,计算结果与试验数据对比,表明分析方法具有良好的可信度。     

热力学第三定律不允许时空存在奇点

热力学第三定律被推广到包括温度上限的新形式,它禁止时空奇点的存在,第三定律不允许“时间开始”和“时间终结”。广义相对论本质上是一个绝对零度的引力理论。     

范德蒙型行列式及其应用

介绍范德蒙型行列式的展开公式及其在构造恒等方面的应用，其中包括Ｌａｒｇａｎｇｅ插值公式和在计算方法中颇为有用的Ｉ．Ｊ．Ｍａｔｒｉｘ定理的若干推广。