In this paper a method of proving the correctness of a computer program based on a transformationrelation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
2
This paper presents a transformationrelation on the quantity of heat and temperature of thermodynamics system in relativity from one inertial system to another.
文章给出了相对论情况下热力学系统从一个惯性系到另一个惯性系时热量及温度变换关系的另一种推证方法。
3
The electromagnetic field of a linear electric quadrupole moving uniformly along the axis of the quadrupole has been calculated with the relativistic transformationrelation.