The history of a nation is, in essence, the history of its ruling class.

Trust is the foundation of every successful business relationship.

The past is a foreign country; they do things differently there.

That neither our thoughts， nor passions， nor ideas formed by the imagination， exist without the mind， is what every body will allow.

效率是把事情做对；效果是做对的事情。

Never be satisfied with current achievements, always aim higher.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

自然的和谐不是静态的平衡，而是相互依存的动态之舞。

追求卓越是一段永无止境的旅程。