科技创新是渔业可持续发展的核心动力，没有科技支撑，渔业就没有未来。

科学的每一次伟大进步都源于新的想象的大胆。

爱不是原因，而是结果。

通过反思来获得智慧。

任何企业最好的肥料是持续学习的文化。

The challenge in model checking is not just to find errors, but to understand why they occur.

在这个世界上取得成功的人，是那些努力寻找他们想要的环境的人，如果找不到，就自己创造。