1.根据地矿部“地矿工作信息化工程”总体部署，地调局设立了区调数字地质图系统的研究项目。
2.天仙子，水调数声持酒听，午醉醒来愁未醒。送春春去几时回？临晚境，伤流景，往事后期空记省。沙上并禽池上瞑，云破月来花弄影。重重帘幕密遮灯，风不定，人初静，明日落红应满径。张先
3.系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架，包括精确的定义、分析和完整的正确性证明。