In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
This paper presents a transformation relation on the quantity of heat and temperature of thermodynamics system in relativity from one inertial system to another.
文章给出了相对论情况下热力学系统从一个惯性系到另一个惯性系时热量及温度变换关系的另一种推证方法。
The electromagnetic field of a linear electric quadrupole moving uniformly along the axis of the quadrupole has been calculated with the relativistic transformation relation.
利用相对论变换关系计算了沿轴线方向匀速运动的线性电四极子的电磁场。
The electric-field intensity of a charged straight line moving along the straight line with uniform velocity is calculated by the transformation relation of relativity theory.
本文利用相对论变换关系计算了沿直线方向匀速运动的带电直线的电场。
This article calculated out the field intensity of a electric dipole uniformly moving along the axis of the dipole using the transformation relation in the relativistic theory.
本文利用相对论变换关系计算了沿轴线方向匀速直线运动的电偶极子的电场。
Many of the exact solutions of (3 + 1) dimensional breaking soliton equation are obtained by using a simple transformation relation and solving the ordinary differential equation.
首先通过变换关系和求解简单的常微分方程，得到了(3 +1)维破裂孤子方程丰富的孤立波解和周期波解。
The matrix approach is used to establish each branch's position and pose transformation relation, and a numeric method to solve the platform's error is presented, which is tested by an instance.
这里采用矩阵法建立了转台各个支路的位姿变换关系，提出了求解转台误差的数值方法，通过实例对该方法进行了验证。
It is suggested that transformation relation between spatial local coordinate system and integral coordinate system be established by vector method, which simplifies coordinate calculation of to.
提出了运用向量法建立空间局部坐标系与整体坐标系的转换关系，从而使趾板坐标计算简捷方便，且易于设计修改。
They are expressed in a language called the Relation Definition language (RDL), which is parsed and evaluated by the transformation engine.
它们是用一种叫做关联定义语言(rdl)的语言来表达的，该语言被转换引擎分词和评估。
If you take a closer look at the previous relation, you can see how it invokes this relation in order to propagate the transformation from the EMF resources to their content.
如果你仔细研究一下前面的关联，你就会发现它为了传播从EMF资源到它们的内容的转换是如何调用这一关联的。
The execution of the relation will propagate the transformation to the properties of each class, and map them to the relevant columns.
关联的执行将把转换传播到每个类的属性，并把它们映射到相关列。
The body of the relation usually contains the correspondences that need to be applied to the properties of the matched values, in order to propagate the execution of the transformation.
关联的主体通常包含需要用于匹配的值属性的通讯，这样可以传递转换的执行。
In the case of a one-to-one relation, your transformation creates a foreign key in each table.
在一对一关联的情况下，你的转换在所有表中都建立了一个外键。
Possible curvilinear relation (use Transformation?)
可能的曲线关系(使用转换？)
The fuzzy relation equations based on inner transformation a re discussed.
研究一类基于内变换的模糊关系方程的解法。
The layer stiff matrix, which expresses the relation of force and displacement on surface of every layer, could be calculated to apply integral transformation.
通过积分变换的方法可以求出每一层表面处位移与力之间的关系，进而形成层刚度矩阵。
The logic framework structured design is consisted of theory analysis of function dependency, relation normalization, transformation from E-R model to relation model and data model normalization.
逻辑结构设计包括函数依赖和关系规范化的理论分析、E - R模型向关系模型的转换和数据模式规范化。
This text analyzed the legislative transformation of the social transformation from the interactive relation angle between social transformation and law transition.
本文从社会转型与法律变迁互动关系的角度切入，分析了当代中国社会转型中立法转型的问题。
Minganto's transformation functions merely in affirming the relation between certain polynomials.
明安图变换的作用仅限于确认无穷多项式之间的特定关系。
By using the graph theory and the method of data transformation, a series of connectivity matrixes and loop matrixes are derived from the basic relation matrix-the matrix KL.
应用图论理论和数据转换方法，通过基本关系矩阵———KL矩阵派生一系列的衔接矩阵和回路矩阵。
Based on the consistent transformation formula, the logic relation of elements of fuzzy consistent complementary judgment matrix containing parameter with priority is pointed out.
基于一致性转换公式，揭示一种含参数的模糊互补判断矩阵的元素与优先权重新的逻辑关系。
Marx's ideas of material transformation are mainly embodied in the relation between man and nature, it stresses on the relation of man and nature and the material transformation among people.
马克思的物质变换思想主要体现在人与自然关系问题上，强调的是人与自然以及人与人之间的物质变换。
By the relation transvection, we obtain two necessary and sufficient conditions for the transformation being linear transformation in Euclid Spaces, and out of it, we have got some conclusions.
借助内积关系，给出了欧氏空间的变换是线性变换的两个充要条件，并由此得到一些相关结论。
A few good necessary and sufficient conditions are given by using length relation for symmetrical transformation on Euclidean space.
利用长度关系给出了欧氏空间的变换为对称变换的若干个充要条件。
In social transformation, this article makes the analysis to social transformation and the local legislation relation, pointed out social transformation requests the perfection of local legislation.
在社会转型中，本文对社会转型与地方立法的联系作出分析，指出社会转型要求地方立法自身的完善。
The transformation of sound is not an isolated language phenomenon, which would be restricted by the relation of sound and meaning, the language system and the consonant or an internal syllable.
音转不是一种孤立的语言现象，发生音转的字词往往要受到音义关系、语言系统以及一个音节内部声或韵的制约。
A few good necessary and sufficient conditions are given by using inner product and length relation for antisymmetric transformation on Euclidean space.
借助内积与长度与夹角给出了欧氏空间的变换是反对称变换的若干个充要条件。
Thus this paper discusses the physical meaning of the 4-wave vector transformation and gives their relation.
因此本文讨论了四维波矢变换的物理意义并给出它们的关系。
There are two light waves in the 4-vector transformation. The relation of two light waves is easy confusion.
但四维波矢变换中涉及两个光波，两个光波之间的关系非常容易混淆。
There are two light waves in the 4-vector transformation. The relation of two light waves is easy confusion.
但四维波矢变换中涉及两个光波，两个光波之间的关系非常容易混淆。
应用推荐