通常情况下，动物每天内部产生的活动循环继续保持不变。
Typically, the animal's daily internally generated cycle of activity continues without change.
也可以将其移出循环，因为这个值是不变的。
You should also move it outside of the loop since its value is invariant. So, in the.data section, add.
如果大地只有太阳的普照，那么每年的各个季节中，天气就不会有什么差别，夏天一样的热，冬天一样的冷，天气就会这么一年一年的一成不变地循环。
If the sun's influence alone were prevalent, there would be no change at all during our seasons; once cold or warm, it would invariably continue to be so, according to the time of the year.
假设有一个具有互斥分支的循环流；每个分支都有一些应用于该分支中所有活动的前置条件和不变量。
Consider a cyclic flow that has mutually exclusive branches; each branch has preconditions and invariants that apply to all activities in the branch.
如果能让催化剂颗粒的尺寸保持在较大的水平，那么设备的稳定性就可以在400个循环内保持不变。
Once the material formed somewhat larger particles, performance stabilized and remained stable out to 400 cycles.
此代码的循环不变式是什么？
清单2循环中包含不变式。
如何寻找循环不变式和证明的正确性？
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
使用截断和边带不变量转换，如循环移位等，对初始的CAZAC序列进行修改。
By using truncation and sideband invariant switch like a cyclic shift, etc., the initial CAZAC sequence can be modified.
还有循环契约要素条件不变式等等，但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre contract element condit- and post-conditions and class invariants are really the basic fabric of contracts.
请注意，这些活动是迭代重复的循环的，而不是按照顺序一成不变的。根据实际的情况，也可以改变活动的顺序。
Note that these are iterative, as opposedto sequential, activities. Depending on the circumstances, the order of some ofthese activities may shift.
还有循环不变式等等，但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts.
此优化将不变量子表达式从循环体中移除。
This optimization removes invariant subexpressions from the body of a loop.
这些技术能探测出较简单问题的循环不变式，但是却无法处理复杂问题。
These technologies can detect some simple loop invariants, but can not deal with complex issues.
基于现有循环不变式开发技术中的递归定义思想，提出了开发复杂递归问题循环不变式的两种新策略；
Based on recursive definition idea in existing technique of developing loop invariants, two new strategies for developing loop invariants on complicated recursive problems are presented.
在环境负荷不变条件下，运用控制方程求得的万元产值用水量无法满足循环经济的需求。
Under the constant condition of environmental load, water consumption of ten thousand Yuan output value is got from the control equation.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
给出了半对称度量循环联络在射影变换下的不变张量。
The invariant tensor under projective transformations of semi- symmetric metric- recurrentconnectionsisobtained.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
当总循环泵变速运行时，各个支路的流量分配比例保持不变。
When the total cycle pump gear shift operation, the flow of the slip road ratio unchanged.
电化学测试表明，快速凝固处理后合金的活化性能不变，循环稳定性得到显著改善，但其放电容量和高倍率放电性能有所降低。
The electrochemical tests indicated that the melt-spun alloys showed a good activation property and much better cycling stability, but lower discharge capacity and high-rate dischargeability.
在环境负荷不变条件下，运用控制方程求得的万元产值用水量无法满足循环经济的需求。
Under the constant condition of environmental load, water consumption of ten thousand Yuan output value is got from the control equation. It is unable to meet the recycling economy's demand.
通过循环检测P 1口按键输入值，然后用数码管输出，没有按键按下时原值不变。
Port P1 through key input loop detection value, and then use digital output, no key is pressed the original value unchanged.
对现有的循环不变式开发技术进行了分析和比较，剖析了其难以实用的原因；
An analysis and comparison is Given about the existing techniques for developing loop invariants and the reasons are presented why they are difficult to popularize.
循环不变子空间是常用于控制科学和信号处理理论的重要数学工具之一。
Recursive invariant subspace is one of the important mathematic tools used in control science and signal processing theory.
循环不变量外提是一种传统的优化算法。
Loop invariant code motion (LICM) is a traditional optimization.
用循环不变子空间的性质研究了切换系统的能控性和能观测性。
Controllability and observability of switching systems are studied by using the characteristics of recursive invariant subspace in this paper.
分析、比较当前数值计算方法，研究用PAR方法来开发循环不变式和数值算法的优越性；
Demonstating the effectiveness of PAR method in arithmetic computing, studying the contribution to the numerical methods by PAR method;
分析、比较当前数值计算方法，研究用PAR方法来开发循环不变式和数值算法的优越性；
Demonstating the effectiveness of PAR method in arithmetic computing, studying the contribution to the numerical methods by PAR method;
应用推荐