模型检查是验证有限状态并发系统正确性的强大技术。

The most sustainable building is the one that is already built.

I’ve learned that you don’t get to control what happens to you, but you do get to control how you respond.

船舶自动转向的引入是一个具有重大实际意义的问题，其解决需要开发一种新型控制器。

I'm not afraid to say that I want to be the greatest of all time.

有时候，你必须和你爱的人分开，但这并不会让你爱他们少一点。有时候，这会让你更爱他们。

Every cognitive act is an act of information processing.

凡夫俗子迷失真性而追求虚妄，将智慧转化为对事物的看法，就好比水中掀起波浪，而这种看法始终受其智慧所支配，就像浪花离不开水体；圣人达士看破虚妄而回归真如，将各种看法升华为智慧，就好比波浪平息后的一潭清水，应当很好体味这种无波之水的博大精深。