强者，藐视困难，弱者，仰视困难。

You don't have to be a rock star to want to change the world.

The only way to do great work is to love what you do.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

The future of energy lies in the balance between traditional resources and renewable alternatives.

战略是将有限的资源延伸以适应雄心勃勃的抱负。