English
接洽我们
网站舆图
邮件
旧版回首



澳门送彩金网站院士周巢尘获中国盘算机学会终身成绩奖

文章泉源:软件研讨所   公布工夫:2019-01-21  【字号:     】  

  1月19日,以“责任·创新·贡献”为主题的2018中国盘算机学会(CCF)颁奖大会在北京举行。2018注册免费送白菜_可靠平台软件研讨所研讨员、2018注册免费送白菜_可靠平台院士周巢尘被CCF嘉奖委员会付与2018年度“CCF终身成绩奖”。中国人民束缚军军事迷信院研讨员、中国工程院院士何新贵同获此荣誉。

  周巢尘是国际闻名盘算机实际专家,我国漫衍式步伐设计实际研讨的先驱者和开辟者之一,第三天下迷信院院士。恒久从事漫衍式盘算、实际盘算机迷信等方面研讨。

  周巢尘在颁发获奖感言时说:“十分谢谢盘算范畴的同仁发表的这个大奖——终天生就奖,这是对我几十年来事情的一定。这类事情黑白常单调无味的,要在底子实际方面有所得是不易的,打破更是困难的。”他先容了漫衍式盘算体系的引进和时段演算两部门研讨事情,并夸大如今国度再次重提了底子实际。“我以为是时间在底子实际方面增强器重水平了。进步单篇论文的程度,才气使我国的总体程度遇上国际尺度。盼望年轻一代有更多的人能从事这项事情,更要具有不怕刻苦、不怕艰巨的精力,才气使底子实际方面尽快地遇上国际程度。”

  1981年,他与英国迷信家互助提出了漫衍式盘算体系准确性的组合式验证要领。1991年,他与英国及丹麦迷信家互助创建了时段演算实际(Duration Calculus),在国际上初次将一连数学观点(积分)引入盘算机迷信,并基于区间时序逻辑,创建了及时体系情势设计和验证的逻辑要领,创始了及时体系情势设计的新途径。后续引领国际二十多个国度的迷信家到场这一方面的研讨,使得时段演算实际和工夫主动实际被以为是情势设计及时体系的两个主流要领。

  为表扬盘算机范畴结果卓著和孝敬宏大的科技事情者,CCF于2010年设立“CCF终身成绩奖”。该奖付与在盘算机迷信、技能和工程范畴获得庞大打破,成绩杰出、孝敬宏大的资深中国盘算机科技事情者。

 

周巢尘与颁奖高朋合影

 

周巢尘颁发获奖感言




(责任编辑:叶瑞优)

附件:

专题保举

相干旧事


© 1996 - 2018注册免费送白菜_可靠平台 版权全部 京ICP备05002857号  京公网安备110402500047号  接洽我们

地点:北京市三里河路52号 邮编:100864