太阳的光辉照亮了我们认识宇宙的道路，它是宇宙的核心力量。
哥白尼名人名言哲理格言警句语录 哥白尼
模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯
八月深秋，无边无际的高粱红成洸洋的血海，高粱高密辉煌，高粱凄婉可人，高粱爱情激荡。
莫言
实际上，在所有成功者眼里，没有失败，只有结果。即使有不利的结果出现，只要改变方式，他们便会得到新的结果。“心境的力量是第一位的。”
安东尼·罗宾
节义傲青云，文章高白雪。若不以德性陶镕之，终为血气之私，技能之末。
陈继儒
大概人天生喜欢好事的，因为到底喜欢活着。
张爱玲
90%的困难你现在想都没有想到，你都不知道那是困难。
史玉柱
我如果爱你——绝不像攀援的凌霄花，借你的高枝炫耀自己：我如果爱你——绝不学痴情的鸟儿，为绿荫重复单调的歌曲；也不止像泉源，常年送来清凉的慰籍；也不止像险峰，增加你的高度，衬托你的威仪。甚至日光。甚至春雨。不，这些都还不够！我必须是你近旁的一株木棉，做为树的形象和你站在一起。根，紧握在地下，叶，相触在云里。每一阵风过，我们都互相致意，但没有人听懂我们的言语。
舒婷
爱看书的青年，大可以看看本分以外的书，即课外的书，不要只将课内的书抱住。譬如学理科的，偏看看文学书，学文学的，偏看看科学书，看看别人在那里研究的，究竟是怎么一回事。这样子，对于别人，别事，可以更深的了解。
鲁迅
我们长期以来的`想法和感受，有一天将会被某个陌生人一语道破。
爱默生
当他拿起一本书的时候，他立刻走进一个不同的世界；如果那是一本好书，他便立刻接触到世界上一个最健谈的人。这个谈话者引导他前进。
林语堂
对于学生的期望：自我尊重自我。化孤独为共同。对自我学问本事的切实了解。有计划的运动。
蔡元培
市场竞合是西方市场经济的前沿理论，从竞争到竞合，是人类文明进化的产物，也是市场经济进步的结果。
宋志平
他等待的从来不是爱情，而是自己的倔强向时间投降的那一刻。
加西亚·马尔克斯
欲心难厌如溪壑，财物易尽若漏卮。
程登吉
教师的角色不是主导者，而是幼儿学习的支持者和引导者。
华爱华
文化不是静止的，而是在交流中不断演变。
佚名
The best technology is the one that solves real problems.
最好的技术是能解决实际问题的技术。
邱跃鹏
我们不能等待大自然的恩赐，我们要向大自然索取。
米丘林
所有人类的事物都注定退化与衰落，当命运召唤时，君王也必须服役。
约翰·德莱顿