因此即使速率不变,也就是说速度矢量的的大小不变,但它的方向可以做旋转。
So, even if the speed is constant, that means, even if a length of the velocity vector stays the same, the velocity vector can still rotate.
(上面的类不变条件实际上就是一个字段不变条件的规范!)
(The class invariant above was effectively a field-invariant specification!)
我们可以依靠非正式文件来规定这类不变量,我们标准化和检查的不变量越多,效果就越好。
We can rely on informal documentation to specify such invariants, but the more invariants we can formalize and check, the better.
不变量:在执行了外部组件后维持不变的条件。
Invariants: Conditions that must remain unchanged after the execution of the external component.
关键概念在于,当系统向外扩展时,管理任务应该保持其复杂性不变,或者至少尽可能不变。
The key concept is that administrative tasks should have a constant complexity as the system scales outwards, or at least as close to constant as possible.
最后,不变条件测试断言永远不变的条件。
Finally, invariant tests assert conditions that never change.
不变性表示将更改提交到存储库之后,它们就成为项目历史记录不变的一部分。
Immutability means that once changes are committed to a repository, they are a permanent part of a project's historical record.
确定词干是查找单词中不变部分的过程,它是单词中与时态和语气无关的保持不变的片断。
Stemming is the process of finding the constant part of a word, which is the fragment that stays the same no matter which word tense or mode is used.
所以现在回复力加倍,物体质量加倍,加速度不变,周期不变。
So now the restoring force doubles and the mass doubles, the acceleration remains the same, the period remains the same.
球场上,少年万年不变地坐冷板凳,父亲万年不变地在看台上喝彩,一场不落。
Even though the son was always on the bench, his father was always in the stands cheering.He never missed a game.
在其他条件不变的情况下,未来数年,这种变暖导致的强化将使那些由这对麻烦兄妹造成的水灾变得更为恶劣,虽然你无法保证其他条件会一成不变。
Other things being equal, this amplification due to warming will worsen floods associated with either troublesome sibling in years to come. Don't bet on other things being equal, though.
然而,棋盘的格子和进攻,防守,捉子,弃子的规则保持不变,以任何代价取得胜利保持不变。
Yet the grid remained and the rules remained: attack, defend, capture, sacrifice. Win at all costs.
我们先继续考虑,保持熵不变的情况,即保持熵和压强不变。
Let's hang on for a little while longer to a set of conditions where we will maintain constant entropy, namely constant entropy and pressure.
能量可变可不变,可增加或减小,或保持动能不变,但若系统无外力,动量总是守恒。
Energy can change or cannot change, can increase or decrease or remain the same kinetic energy, but if there are no external forces on the system, momentum is always conserved.
好只要压强不变,总压强不变,那么就应该用。
Well, as long as you keep the pressure, the total pressure, constant, Kx then you should be able to use Kx.
即使服务器的address发生变化,如果feed的内容不变,那么feedid也应该保持不变。
Even if the address of your server changes, the feed id should remain unchanged if the content remains unchanged.
来是偶然的,走是必然的。所以你必须,随缘不变,不变随缘。
Come by accident, walking is inevitable. So you have to revel unchanged unchanged.
因为我们很少对else子句中希望保留的不变量进行显式检查,所以在代码中清楚说明该不变量是一个不错的主意。
Because there is rarely an explicit check on the invariants that are expected to be held in an else clause, it's a good idea to make that clear in your code.
理想气体常数不变,温度也不变,因此,是负的nRT,积分从v1到v2,dv除以。
The ideal gas constant doesn't change, temperature doesn't change, and so v we just have minus nRT integral V1, V2, dV over V.
来是偶然的,走是必然的。所以你必须,随缘不变,不变随缘。
To be accidental, go is inevitable. So you have to, pay the same, the same fate.
如反应速度不变或加快,分化能力不变或提高,说明皮质机能恢复良好。
If response rate is fixed or accelerate, differentiation ability changeless or rise, explain coriaceous rehabilitation is good.
也就是说,假设类不变式在该例程调用前被满足了,那么例程退出时必须再次确保类不变式得到满足。
That is to say, assuming the class invariant was satisfied before the routine was called, the routine must ensure that class invariant is again going to be satisfied on exit.
“不变章节”是标题已被指定的某些次要章节,在一个声明了是以本授权加以发行的文件中,依此作为不变章节。
The 'Invariant Sections' are certain Secondary Sections whose titles are designated, as being those of Invariant Sections, in the notice that says that the Document is released under this License.
不变性(Immutability)(时间属性在这样的意义下是不变的:改变值导致一个新的值被增加到属性历史中。)
Immutability (Temporal properties are immutable in the sense that changing the value results in a new value being added to the properties history).
随着年龄的增长,我们并不变得更好也不变得更坏,而是变得更像我们自己。——K。L。贝克尔。
We grow neither better nor worse as we grow old but more like ourselves. — K. L. Becker.
还有循环契约要素条件不变式等等,但前置、后置条件和类不变式是基本要素。
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.
对IIR的脉冲响应不变法、阶跃响应不变法、双线性变换法和直接设计法进行研究,得出IIR难以满足要求的结论。
For IIR, after researching Pulse Response Method, Step Response Method, Bilinear Transform Method, Direct Design Method, it is found that IIR is unsatisfactory.
对IIR的脉冲响应不变法、阶跃响应不变法、双线性变换法和直接设计法进行研究,得出IIR难以满足要求的结论。
For IIR, after researching Pulse Response Method, Step Response Method, Bilinear Transform Method, Direct Design Method, it is found that IIR is unsatisfactory.
应用推荐