A novel is a conversation between the writer and the reader, across time.

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

【译文】 子夏说：“广泛学习并且不停地朝着目标前进，认真地提出问题并且联系实际去思考，仁就在其中了。”

I always felt that my greatest asset was not my physical ability, it was my mental ability.

小说是一面反映社会的镜子，包括所有的光明和阴影。

"It’s the things we love most that destroy us."

水产养殖的未来属于那些能够平衡经济增长与环境保护的人。