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."
自然的和谐不是静态的平衡,而是相互依存的动态之舞。
追求卓越是一段永无止境的旅程。