理想气体混合物组分化学势的推证

本文推证了理想气体混合物中任一组分化学势的表达式，并对文献中在推证这一问题时存在错误及其原因作了分析     

对共轴光具组成象理论推证的改进

利用牛顿型物象公式引出共轴光具组的焦距、主点和节点，并对共轴光具组成象理论进行了推证．推证过程比传统方法简单，紧凑，而且物理意义明确．     

分子按自由程分布的另一种推证方法

分子按自由程分布的另一种推证方法张绍鹏（物理系）分子按自由程的分布规律是热学课的难点之一，教材［１］中利用分析法求得了该分布规律．本文采用几率法来推证这一结果．由于这种方法简单，物理图象清楚，对于建立初步的几率概念、统计概念，学习和体会基本的统计方法...     

铰链四杆机构曲柄存在条件的新推证

针对传统的铰链四杆机构曲柄存在条件推证中取曲柄的两个特殊位置进行证明的不足,在总结传统的证明方法基础之上,根据机构中三角形的边角关系,运用余弦定理建立关系式,并通过取三角函数极值,解不等式这一新的推证方法,得到了铰链四杆机构的曲柄存在条件连架杆和机架中必有一杆长度最短;最短杆和最长杆长度之和小于或等于另外两杆长度之和.这种推证方法较传统的推证方法更具严密性,易于理解和接受.     

杜阿美尔积分法求阻尼转矩和阻尼功率

提出了电力系统暂态稳定计算中计入同步电机阻尼功率的作用可以提高系统稳定性的基本概念；运用同步电机派克方程对暂态条件下的阻尼转矩及阻尼功率进行了严密的数学推证；采用杜阿美尔积分公式对推证结果实时域变换后，最终得出正确的阻尼功率和阻尼转矩的算法模型，以及阻尼转矩与阻尼转矩系数的关系式。     

异步电机Mm公式巧妙推证和等效电路改进

异步电机Ｍｍ公式巧妙推证和等效电路改进刘立忠（山东建材学院分院机电系，淄博，２５５２００）异步电机是应用最广的电机。最大转矩Ｍｍ是异步电机的重要参数，在实际应用和教学中都占有重要的位置。现在《电机学》中的推证方法比较复杂，令人望而生厌。通常是将电磁转...     

柱形波导中波型的正交性研究

由二维格林恒等式推证了柱形波导中本征函数及其导数及场分量的正交性，无论是本征函数之间或是场分量之间，都存在着一定的正交关系。     

反射全息图

推证了反射全息图中布喇格面的走向和间距，说明了反射全息图相当于一个半波堆滤波器，并讨论了布喇格定律对反射全息图特性的控制。     

S-P表中注意指数的推证与应用分析

由S-P表的数学模型出发，对S-P表中注意指数的计算公式进行了数学推证，并简要讨论了在使用注意指数时应注意的几个问题。     

数学换元思维方法的应用

目的通过换元方式对微分方程通解的推证,突出换元思维解决问题的重要性。方法区别于传统形式的推证,从基本知识的学习中培养创新意识的形成。结论倡导多向思维能力的养成,注重解决问题方法的多样性及方法结构的改变。     

探险家穿越沙漠的最优方案

先建立模型，再分析推证，得到探险家穿越沙漠的最优方案，最后验证了方案的可行性。     

扩展的纽结族{ψi}4^6在Hamilton约束下的行为

在量子引力的扩展圈表象中，对Hamilton约束在扩展纽结族{ψi}4^6，即微分同胚约束的第3组解上的作用给出了详细的推证．     

射影直线上点的运算

在一维射影变换中推证射影直线上点的运算规律，它满足数的运算法则，它的实现主要应用一维双曲射影变换群和一维抛物射影变换群以及透视变换的简单性质。     

有剪切的壳体有限变形分析

对壳体只采用直法线假设，应用连续介质力学方法，严格地推证有剪切的壳体有限变形的几何方程．     

散射光偏振性的推证

从光波与物质相互作用角度出发，对散射光偏振性加以推证，力图使学生掌握一种研究物质结构的方法。     

单形中棱长,二面角的一类不等式

通过建立两个代数不等式，推证欧氏空间和双曲型空间中关际棱长或二面角的不等式。说明利用对称矩阵的不等式可推出单形中更广泛的一类不等式。     

概率统计中几个概念的辨析

相容性、独立性，相关性是概率统计中几个常见的易混概念，针对这几个概念加以辩析。以概念的基本定义和性质为基础，运用举例，推证等方法，力图澄清三者之间的区别和联系。     

微分中值定理自动推证研究

应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值.     

非理想气体状态方程的一般形式及应用

本文介绍了一种推证非理想气体状态方程一般形式的方法，得出了非常简洁的形式，并了在各种气体中的应用。     

系统辨识递推方法

对线性动态系统推证了系统辨识的递推公式，提出了计算机在线或离线实现的程序设计思想，给出了程序流程，此法提高了辨识精度．