变分类学基本引理的证明及其推论

本文对文[1]中变分学基本引理的证明进行商榷，给出几种新的证法，同时得到了几个关于可逆矩阵的有用推论。     

转炉热喷补机喷射系统的分析

论述了转炉热喷补技术的发展与应用，在对宝钢转炉热喷补机进行充分调查的情况下，对喷补机喷射系统的结构及参数作了分析，提出了有关参数的确定与计算方法．     

函数值Pad型逼近的行列式公式的计算

给出了一种计算两个特殊行列式的算法.这两个行列式是构造第二类Fredholm积分方程解的函数值Padé 型逼近的行列式公式，一般计算行列式的算法对于这两个行列式的计算较难实现，该文主要利用著名的Schur补定理解决了这一问题.     

CNC系统中空间抛物线的五坐标迭代插补法

建立了任意空间抛物线的数学模型和五坐标的编程模型，提出了空间抛物线的迭代插补方法及旋转坐标和线性坐标的插补方法，推导出速度误差，弓高误差和旋转坐标误差的误差估计公式，实例分析表明，该方法具有较小的速度误差和轨迹误差。     

Stirling公式的二种证法

通过Taylor展式构造不等式,从而得到一类特殊数列极限,并用渐近等价表达式以及级数收敛性给出Stirling公式两种证明方法。     

220kV碧成线可控串补站MOV试验方法探究

220kV碧成线可控串补站是国产化科研示范项目,MOV(串联补偿用金属氧化物限压器)等元件采用进口.MOV的阀片直流参考电压试验是在8mA下进行测试,而目前国内常规试验通常是测量1mA下的直流参考电压,如何在现场用常规的试验方法对MOV进行试验及今后对MOV进行维护都将是非常重要的.     

中药消除运动性疲劳的现状分析

目前越来越多的研究者开始注意到运动性疲劳的恢复在体育训练中的作用，由于西药副作用较大，人们尤其关注中药对运动性疲劳恢复作用的研究。该文对我国运动员以及实验室用到的中药补益药进行了分类（分为补肾、补肝、补脾和对抗自由基的中药），并指出目前在中药进补中存在的一些问题。     

解二维扩散方程的Du Fort-Frankel差分格式

DuFort-Frankel差分格式是对Richardson格式进行修正得到的差分格式。本文将它从一维推广到二维,给出了二维DuFort-Frankel差分格式相容性所满足的条件,并严格论证了它的绝对稳定性     

一类双参p-Laplacian方程正解的存在性与多解性

利用上下解方法与临界点理论,研究一类双参数的p-Laplacian方程的正解,在两个参数各自给定的范围内得到了正解的存在性与多解性.     

单足跳跃机器人补能策略

为了实现稳定跳跃步态,单足机器人需要持续补充能量以克服阻尼、碰撞等造成的能耗。该文针对腿部有阻尼的单足机器人,分析不同补能方式和补能时机对单足机器人竖直跳跃阻尼能耗的影响。理论分析和仿真实验结果表明:在支撑相单足机器人躯干上升阶段补能具有更高的补能效率,且补能起始位置越高、距起跳点越近,补能效率越高;在支撑相单足机器人躯干下降阶段补能会影响地面对足端的支持力,导致机器人站立不稳;如果在上升阶段补能,补能起始位置越高,补充相同能量时对驱动器峰值驱动力及峰值驱动功率要求越高。该研究结果为跳跃补能策略选择以及设计高效跳跃机器人控制器提供了参考。