The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.

循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。

youdao

It's a gorgeous, fool-proof design that should go very nicely with your designer fridge.

ENGADGET: iPod fathers unveil their next project, the Nest Learning Thermostat (hands-on)

The annual Zombie Safe House competition challenges architects to design the best ghoul-proof home, and zombie "fun runs" are now regular events across North America.

WSJ: Why Zombies Are Everywhere

The proof of concept design was initially created some time ago, and sponsors of the project have helped build the hardware according to the students' original designs.

ENGADGET: Alt-week 9.22.12: Quantum Scotch tape, moving walls and scientific beer