一阶非线性非完整系统的改进的Routh方程

导出了一阶非线性非完整系统的改进的Ｒｏｕｔｈ方程并举例说明其应用，从而提供了建立非完整系统的运动微分方程的一种新方法。该方程的特点在于其第一组方程中只包含系统的独立的广义动量，而第二组方程中不包含任何广义动量。同时，本文结果也是对黄昭度先生的“改进的Ｒｏｕｔｈ方程”一文中的某些错误的修正。     

排气全燃型联合循环设计点性能简明估计公式

排气全燃型联合循环设计点性能简明估计公式蔡睿贤（中国科学院工程热物理研究所北京１０Ｏ０８０）关键词：排气全燃型联合循环，热力分析主要符号表Ｈｕ燃料热值Ｌ燃料理论空气量ｌ比功Ｐ单位能量价格Ｒ燃气轮机与蒸汽轮机的功率比α过量空气系数β摩尔燃料系数△增量η...     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

取值于Banach空间中的（E1）囿变函数

引入取值Ｂａｎａｃｈ空间中的（Ｅ１）囿变函数的概念，并讨论它与强、弱囿变函数之间的关系．     

同输入M/M/∞排队群的联合队长过程

本提出一个偏微分方程方法，用这一方法研究同输入M/M／∞排队群中的联合队长分布。在任意初始条件下，给出了瞬时联合队长分布的多元母函数，也讨论了稳态队长的联合分布及各排队系统之间的相关性。     

M-M型纳米颗粒膜的巨磁电阻效应

探讨了M-M型纳米颗粒膜巨磁电阻效应的物理机制，指出了影响颗粒膜巨磁电阻效应的因素，推导出M-M型纳米颗粒膜巨磁电阻效应的计算公式。     

AC=BD在微分方程中的应用

利用AC＝BD的思想，将变系数广义KdV方程约化成常微分方程，求出了KdV方程的Lax对。     

H-空间与拟向量变分不等式

本在Hausdorff locally convex H-空间上建立了一个新的不动点定理；利用局部交性质，在Hausdorff locally convex H-空间上建立了相应的拟向量变分不等式．     

非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

变式乘除一口清的最佳易倍数应为2—6

在珠算乘除运算中，应用“一口清”变为加减运算。从算理算法上讲，必能减少拨珠次数，提高运算速度。但在实践上讲，学习和掌握它却是相当困难的。如被珠算研究者和珠算选手们视为魔数的“7”，它的进律多迭六位数码，这样在实际计算中就要看七位(有时还不止是七位)数码才能得出一位乘积。这就不但给人们学习和掌握这一方法造成了记忆的困难，