因此即使速率不变,也就是说速度矢量的的大小不变,但它的方向可以做旋转。
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 think of time as a constant, but there is nothing constant about it.
我们可以依靠非正式文件来规定这类不变量,我们标准化和检查的不变量越多,效果就越好。
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.
随着年龄的增长,我们并不变得更好也不变得更坏,而是变得更象我们自己。
We grow neither better nor worse as we grow old but more like ourselves. (M.L.Becker).
该坚持时就坚持,以不变应万变;该改变时就改变,以万变应不变。
The insist when they do, should be in constant change; when they change, the change to change should be the same.
来是偶然的,走是必然的。所以你必须,随缘不变,不变随缘。
To be accidental, go is inevitable. So you have to, pay the same, the same fate.
随着年龄的增长,我们并不变好也不变坏,而是变得更像我们自己。
We grow neither better nor worse as we grow old but more and more like ourselves.
如反应速度不变或加快,分化能力不变或提高,说明皮质机能恢复良好。
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.
没有不变的感情,没有不变的人。
没有不变的感情,没有不变的人。
应用推荐