2007年度中国计算机学会王选奖揭晓并颁奖
 



2007 年 10 月 18 日 ,在 2007 中国计算机大会欢迎晚宴上, 2007 年度中国计算机学会王选奖揭晓并举行了隆重的颁奖仪式。学会秘书长杜子德主持了颁奖仪式。

在颁奖仪式上,中国计算机学会副理事长 王珊 教授和苏州市副市长徐南平院士共同为一等奖获得者颁发了获奖证书和奖杯; 王珊 教授为获二等奖的项目颁了奖。

获得本年度中国计算机学会王选奖一等奖的项目有 2 项,分别是:

•  清华大学计算机系 应明生 教授完成的“通讯并发系统中的拓扑结构、随机性与噪音”理论研究成果 (通讯并发系统的形式化模型是理论计算机科学的主流研究方向之一。主要学术贡献包括 : ( 1 )提出并系统地发展了进程演算中的拓扑理论,用于刻画通信并发系统近似正确性与进化过程。 (2) 提出了元逻辑层应用概率逻辑的思想并发展了相应的数学工具,建立了概率谓词转换器的范式定理及概率程序的对策论语义。( 3 ) Pi- 演算是由 Turing 奖得主 Milner 等提出的,但其中暗含的一个假设是信道无噪音。本成果提出并系统发展了带噪音的 Pi- 演算。本成果关于概率程序与进程的工作被国外某些学者认为 :”beyond what we have seen so far” , ”really novel ideas”, “a new angle, … which other researchers in this filed may not have” 。)

•  北京中科辅龙计算机技术股份有限公司唐卫清研究员等人完成的“ PDSOFT 计算机辅助工厂设计系统”应用研究成果 ( PDSOFT 是针对国内众多工业装置领域的需要,历经 10 余年、 50 多人参与核心技术攻关和自主研发后形成的,现已在多项工业装置中成功应用并替代了国外系统,目前市场占有率超过 25 %,累计直接销售收入超过 5000 万元,全国已有 150 家客户,使用该系统设计的工业装置数千亿元,在石化、冶金、电力、化工、电子工程等十多个行业成功应用。解决实际需求才能赢得客户,具有核心技术才能赢得竞争,有过硬的产品才能赢得市场—这就是 PDSOFT 的创新之处。)

获得本年度中国计算机学会王选奖二等奖的项目有 2 项,分别是:

•  中国科学院计算技术研究所诸葛海研究员等人完成的“知识网格的基础理论”理论研究成果 (知识网格的基础理论研究首次系统地提出了知识网格方法学及兼备规范组织与自组织的资源组织模型,解决了经典数据库模型难以胜任的大规模动态环境中复杂资源的有效管理问题。得到广泛引用和采用,产生了重要国际影响。)

•  中国科学院计算技术研究所的徐志伟研究员撰写的科普著作《电脑启示录》 (“万物生于有,有生于无”。这是中国易经中的话,也是徐志伟《电脑启示录》(上、中、下三篇)的开首语。这部书不仅是一套关于“电脑”的高级科普书籍,更是作者关于以计算机技术为基础的信息社会乃至哲学的研究成果。徐志伟通过这部书,将他在这个研究过程中得到的种种“启示”以一种独特的方式记“录”下来,呈现给我们的读者。不管是计算机专业人士,还是非专业人士,读了他的这套书,无不感到收获良多。八年磨练出来的这套书指点江山,激扬文字,从内容组织,思想深度,表达方式等诸方面均体现出一种难能可贵的创新精神。) 
 

王珊 教授、徐南平院士与 2007 CCF 王选奖一等奖获得者合影

  

(左图为郑纬民代获奖者应明生领奖,右图中间为获奖者唐卫清)

教授王珊与 2007 CCF 王选奖二等奖获奖者合影

 

(左图为获奖项目完成人冯亮代主要完成人诸葛海领奖,右图为获奖者徐志伟领奖)

学会秘书长杜子德主持颁奖仪式