文档视界 最新最全的文档下载
当前位置:文档视界 › 历届图灵奖获得者及其获奖原因

历届图灵奖获得者及其获奖原因

历届图灵奖获得者及其获奖原因
历届图灵奖获得者及其获奖原因

历届图灵奖(A.M. Turing Award)获得者及其获奖原因

目前图灵奖由英特尔公司和Google公司赞助,奖金为250,000美元。

2010 Leslie Valiant 莱斯利·瓦伦特

获奖原因:为人工智能进步提供了理论基础,在改进机器学习方面取得骄人成绩。在计算科学和数学领域的远见及认知理论与其它技术结合后,开创了机器学习和通信的新时代,如IBM推出的计算系统已经能够挑战人类回答问题的能力。2009 Charles Thacker

获奖原因:对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现,还有在局域网(包括以太网)、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献。(现代PC之父——盖茨语)

2008 Barbara Liskov 利斯科夫

获奖原因:在计算机程序语言设计方面的开创性工作。她的贡献是让计算机软件更加可靠、安全和更具一致性。

2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis

获奖原因:在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。

2006 Fran Allen

获奖原因:对于优化编译器技术的理论和实践做出的先驱性贡献,这些技术为现代优化编译器和自动并行执行打下了基础。

2005 Peter Naur

获奖原因:由于在设计Algol60程序设计语言上的贡献。Algol60语言定义清晰,是许多现代程序设计语言的原型。

2004 Vinton G. Cerf、Robert E. Kahn

获奖原因:由于在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,TCP/IP,以及在网络方面卓越的领导。

2003 Alan Kay

获奖原因:由于在面向对象语言方面原创性思想,领导了Smalltalk的开发团队,以及对PC的基础性贡献。JA V A

至理名言:预测未来的最好方法是创造它。

2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman

获奖原因:由于在公共密钥理论和实践方面的基础性工作。

2001 Ole-Johan Dahl达菲、Kristen Nygaard奈加德

获奖原因:由于面向对象编程始发于他们基础性的构想,这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。(面向对象技术的先驱)2000 Andrew Chi-Chih Yao(姚期智)

获奖原因:由于在计算理论方面的贡献而获奖,包括伪随机数的生成算法、加密算法和通讯复杂性。(唯一的华人)

1999 Frederick P. Brooks, Jr.弗雷德里克·布鲁克斯

获奖原因:由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。人月神话的作者。《人月神话(英文版)》内容源于作者Brooks 在IBM公司任System/360计算机系列以及其庞大的软件系统OS/360项目经理时的实践经验。在《人月神话(英文版)》中,Brooks为人们管理复杂项目提供了最具洞察力的见解,既有很多发人深省的观点,又有大量软件工程的实践,为每个复杂项目的管理者给出了自己的真知灼见。人月神话提出了2条著名的法则:1、向一个已经延后的项目中投入更多的人力资源只会让它更延后。2、没有一种策略,技术或者技巧可以极大地提高程序员的生产力。

1998 James Gray詹姆斯·格雷

获奖原因:由于在数据库、事务处理研究和相关系统实现的技术领导工作。1997 Douglas Engelbart道格拉斯·恩格尔巴特

获奖原因:由于提出了激动人心的交互式计算机未来构想,以及发明了实现这一构想的关键技术。鼠标的发明者以及超文本研究的先驱。

1996 Amir Pnueli阿米尔·伯努利

获奖原因:由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。

1995 Manuel Blum曼纽尔·布卢姆

获奖原因:由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。香港城市大学计算机系教授

1994 Edward Feigenbaum爱德华·费根鲍姆、Raj Reddy劳伊·雷迪

获奖原因:由于他们所设计和建造的大规模人工智能系统,证明了人工智能技术的重要性和其潜在的商业价值。

1993 Juris Hartmanis尤里斯·哈特马尼斯、Richard E. Stearns理查德·斯特恩斯获奖原因:由于他们的论文奠定了计算复杂性理论的基础。

1992 Butler W. Lampson巴特勒·兰普森

获奖原因:由于在个人分布式计算机系统及其实现技术上的贡献,这包括:工作站、网络、操作系统、编程系统、显示、安全和文档发布。微软首席技术官,Alto系统(第一个个人计算机系统,首次实现了图形用户界面)的首席科学家。

1991 Robin Milner罗宾·米尔纳

获奖原因:由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。

1990 Fernando J. Corbato费尔南多·考巴脱

获奖原因:由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。

1989 William (Velvel) Kahan威廉·卡恩

获奖原因:由于在数值分析方面的基础性贡献。

1988 Ivan Sutherland伊万·萨斯兰德

获奖原因:由于在计算机图形学方面开创性和远见性的贡献,其所建立的技术历经二、三十年依然有效。计算机图形学之父。

1987 John Cocke约翰·科克

获奖原因:由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。世界上第一个“超级计算机”的设计者、RISC(精简指令集计算)概念的首创者。

1986 John Hopcroft约翰·霍普克洛夫特、Robert Tarjan罗伯特·陶尔扬

获奖原因:由于在算法及数据结构设计和分析方面的基础性成就。两人是师生关系。

1985 Richard M. Karp理查德·卡普

获奖原因:由于在算法理论方面,特别是NP-completeness理论方面,连续不断的贡献。

1984 Niklaus Wirth尼克劳斯·沃斯

获奖原因:由于开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言。Pascal语义的发明者和结构化程序设计创始者。著名公式“程序=数据结构+算法”的提出者。

1983 Ken Thompson肯尼斯·汤普森、Dennis M. Ritchie丹尼斯·里奇

获奖原因:由于在通用操作系统理论研究,特别是UNIX操作系统的实现上的贡献。(2011年10月9日,C语言之父,UNIX之父——丹尼斯·里奇去世,享年70岁。)

1982 Stephen A. Cook史蒂芬·库克

获奖原因:由于其于1971年发表的论文,奠定了NP-Completeness理论的基础。1981 Edgar F. Codd埃德加·科德

获奖原因:由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献,关系数据库之父。(关系数据库之父,我们现在学的数据库都拜他所赐)

1980 C. Antony R. Hoare查尔斯·霍尔

获奖原因:由于在编程语言的定义和设计方面的基础性贡献。

1979 Kenneth E. Iverson肯尼斯·艾佛森

获奖原因:由于在编程语言的理论和实践方面,特别是APL,所进行的开创性的工作。

1978 Robert W. Floyd罗伯特·弗洛伊德

获奖原因:由于在如何开发高效、可靠的软件方法论方面的贡献,这包括:建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项计算机子学科。

1977 John Backus约翰·巴克斯

获奖原因:由于在高级语言方面所做出的具有广泛和深远意义的贡献,特别是其在Fortran语言方面。Fortran语言以及“巴克斯范式(BNF)”的发明者。1976 Michael O. Rabin迈克尔·拉宾、Dana S. Scott达纳·斯科特

获奖原因:由于他们的论文"有限自动机与它们的决策问题",被证明具有巨大的价值。

1975 Allen Newell艾伦·纽厄尔、Herbert A. Simon赫伯特·西蒙

获奖原因:由于在人工智能、人类识别心理和表处理的基础贡献。

1974 Donald E. Knuth唐纳德·克努特

获奖原因:由于在算法分析和程序语言设计方面的重要贡献,计算机程序设计艺术的作者。

1973 Charles W. Bachman查尔斯·巴赫曼

获奖原因:由于在数据库方面的杰出贡献。

1972 E.W. Dijkstra埃德斯加·狄克斯特拉

获奖原因:由于对开发ALGOL做出了原理性贡献。最早指出“goto”语句有害,著名的最短路径Dijkstra算法,现代操作系统的奠基者之一。

1971 John McCarthy约翰·麦卡锡

获奖原因:由于其讲稿“The Present State of Research on Artificial Intelligence”,对人工智能领域的贡献。

1970 J.H. Wilkinson詹姆斯·威尔金森

获奖原因:由于其在数值分析方面的研究工作。

1969 Marvin Minsky马文·明斯基

获奖原因:人工智能理论及软件

1968 Richard Hamming理查德·汉明

获奖原因:由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。

1967 Maurice V. Wilkes莫里斯·威尔克斯

获奖原因:由于设计和制造了第一台内部存储程序的计算机EDSAC。1966 A.J. Perlis艾伦·佩里斯

获奖原因:由于其在先进编程技术和编译架构方面的贡献。

诺贝尔生物学奖历届得主

诺贝尔生物学奖的历届得主 历年诺贝尔生理学医学奖获奖名单 时间获奖人及国籍获奖原因 1901年 E . A . V . 贝林(德国人)从事有关白喉血清疗法的研究1902年 R.罗斯(英国人)从事有关疟疾的研究 1903年 N.R.芬森(丹麦人)发现利用光辐射治疗狼疮 1904年 I.P.巴甫洛夫(俄国人)从事有关消化系统生理学方面的研究 1905年 R.柯赫(德国人)从事有关结核的研究 1906年 C.戈尔季(意大利人) S.拉蒙-卡哈尔(西班牙人)从事有关神经系统精细结构的研究 1907年 C.L.A.拉韦朗(法国人)发现并阐明了原生动物在引起疾病中的作用 1908年 P.埃利希(德国人)、 E.梅奇尼科夫(俄国人)从事有关免疫力方面的研究 1909年 E.T.科歇尔(瑞士人)从事有关甲状腺的生理学、病理学以及外科学上的研究 1910年 A.科塞尔(德国人)从事有关蛋白质、核酸方面的研究 1911年 A.古尔斯特兰德(瑞典人)从事有关眼睛屈光学方面的研究1912年 A.卡雷尔(法国人)从事有关血管缝合以及脏器移植方面的研究 1913年 C.R.里谢(法国人)从事有关抗原过敏的研究 1914年 R.巴拉尼(奥地利人)从事有关内耳前庭装置生理学与病理学方面的研究 1919年 J.博尔德特(比利时人)作出了有关免疫方面的一系列发现1920年 S.A.S.克劳(丹麦人)发现了有关体液和神经因素对毛细血管运动机理的调节 1922年 A.V.希尔(英国人)从事有关肌肉能量代谢和物质代谢问题的研究 迈尔霍夫(德国人)从事有关肌肉中氧消耗和乳酸代谢问题的研究 1923年 F.G.班廷(加拿大) J.J.R.麦克劳德(加拿大人)发现胰岛素 1924年 W.爱因托文(荷兰人)发现心电图机理 1926年 J.A.G.菲比格(丹麦人)发现菲比格氏鼠癌(鼠实验性胃癌)1927年 J.瓦格纳-姚雷格(奥地利人)发现治疗麻痹的发热疗法 1928年 C.J.H.尼科尔(法国人)从事有关斑疹伤寒的研究 1929年 C.艾克曼(荷兰人)发现可以抗神经炎的维生素

历届图灵奖获得者及其获奖原因

历届图灵奖(A.M. Turing Award)获得者及其获奖原因 目前图灵奖由英特尔公司和Google公司赞助,奖金为250,000美元。 2010 Leslie Valiant 莱斯利·瓦伦特 获奖原因:为人工智能进步提供了理论基础,在改进机器学习方面取得骄人成绩。在计算科学和数学领域的远见及认知理论与其它技术结合后,开创了机器学习和通信的新时代,如IBM推出的计算系统已经能够挑战人类回答问题的能力。2009 Charles Thacker 获奖原因:对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现,还有在局域网(包括以太网)、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献。(现代PC之父——盖茨语) 2008 Barbara Liskov 利斯科夫 获奖原因:在计算机程序语言设计方面的开创性工作。她的贡献是让计算机软件更加可靠、安全和更具一致性。 2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis 获奖原因:在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。 2006 Fran Allen 获奖原因:对于优化编译器技术的理论和实践做出的先驱性贡献,这些技术为现代优化编译器和自动并行执行打下了基础。 2005 Peter Naur 获奖原因:由于在设计Algol60程序设计语言上的贡献。Algol60语言定义清晰,是许多现代程序设计语言的原型。 2004 Vinton G. Cerf、Robert E. Kahn 获奖原因:由于在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,TCP/IP,以及在网络方面卓越的领导。 2003 Alan Kay 获奖原因:由于在面向对象语言方面原创性思想,领导了Smalltalk的开发团队,以及对PC的基础性贡献。JA V A 至理名言:预测未来的最好方法是创造它。 2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman 获奖原因:由于在公共密钥理论和实践方面的基础性工作。 2001 Ole-Johan Dahl达菲、Kristen Nygaard奈加德

历届诺贝尔化学奖得主(1901-2016)(DOC)

历届诺贝尔化学奖得主 (1901-2016) 年份 获奖者 国籍 获奖原因 1901年 雅各布斯·亨里克斯·范托夫 荷兰 “发现了化学动力学法则和溶液渗透压” 1902年 赫尔曼·费歇尔 德国 “在糖类和嘌呤合成中的工作” 1903年 斯凡特·奥古斯特·阿伦尼乌斯 瑞典 “提出了电离理论” 1904年 威廉·拉姆齐爵士 英国 “发现了空气中的惰性气体元素并确定了它们在元素周期表里的位置” 1905年 阿道夫·冯·拜尔 德国 “对有机染料以及氢化芳香族化合物的研究促进了有机化学与化学工业的发展” 1906年 亨利·莫瓦桑 法国 “研究并分离了氟元素,并且使用了后来以他名字命名的电炉” 1907年 爱德华·比希纳 德国 “生物化学研究中的工作和发现无细胞发酵” 1908年 欧内斯特·卢瑟福 英国 “对元素的蜕变以及放射化学的研究” 1909年 威廉·奥斯特瓦尔德 德国 “对催化作用的研究工作和对化学平衡以及化学反应速率的基本原理的研究” 1910年 奥托·瓦拉赫 德国 “在脂环族化合物领域的开创性工作促进了有机化学和化学工业的发展的研究” 1911年 玛丽·居里 波兰 “发现了镭和钋元素,提纯镭并研究了这种引人注目的元素的性质及其化合物” 1912年 维克多·格林尼亚 法国 “发明了格氏试剂” 保罗·萨巴捷 法国 “发明了在细金属粉存在下的有机化合物的加氢法” 1913年 阿尔弗雷德·维尔纳 瑞士 “对分子内原子连接的研究,特别是在无机化学研究领域” 1914年 西奥多·威廉·理查兹 美国 “精确测定了大量化学元素的原子量” 1915年 里夏德·维尔施泰特 德国 “对植物色素的研究,特别是对叶绿素的研究” 1916年 未颁奖 1917年 未颁奖 1918年 弗里茨·哈伯 德国 “对从单质合成氨的研究” 1919年 未颁奖 1920年 瓦尔特·能斯特 德国 “对热化学的研究” 1921年 弗雷德里克·索迪 英国 “对人们了解放射性物质的化学性质上的贡献,以及对同位素的起源和性质的研究” 1922年 弗朗西斯·阿斯顿 英国 “使用质谱仪发现了大量非放射性元素的同位素,并且阐明了整数法则” 1923年 弗里茨·普雷格尔 奥地利 “创立了有机化合物的微量分析法” 1924年 未颁奖 1925年 里夏德·阿道夫·席格蒙迪 德国 “阐明了胶体溶液的异相性质,并创立了相关的分析法” 1926年 特奥多尔·斯韦德贝里 瑞典 “对分散系统的研究”

期终测验操作word

获得过被誉为计算机界Nobel奖――ACM图灵奖的20世纪40位计算机科学家,正是影响计算机科学技术发展最有影响的杰出代表。由高等教育出版社组织出版的《ACM图灵奖(1966―1999)――计算机发展史的缩影》一书,逐一对历届图灵奖得主的生平、研究成果、科研和工作风格、创新思想、论著等做了详细介绍,并配有相应人物、事件的历史照片。附录中还有“计算技术发展大事记”等。 在本书所介绍的40位图灵奖获得者当中,有不少人的工作对计算机产业的发展产生了深远的影响。例如,明斯基与麦卡锡共同创建了世界上第一个人工智能实验室;巴赫曼主持设计与开发了最早的网状数据库管理系统,并推动与促成了数据库标准的制定;巴克斯发明了世界上第一个高级程序设计语言FORTRAN,之后又首次提出了元语言“巴克斯范式”BNF;科德首次明确而清晰地为数据库系统提出了关系模型;汤普森和里奇设计、开发了应用广泛和影响深远的操作系统MNIX和程序设计语言C;科克因主持IBM801项目而成为RISC概念的首创者,今天RISC技术已成为计算机体系结构的主流技术;萨瑟兰开发成功著名的Skeichpad系统,奠定了他作为“计算机图形学之父”的基础;布鲁克斯主持与领导了被称为人类从原子能时代进入信息时代标志的IBM360系列计算机的开发工作。 这些计算机科学技术界的佼佼者提出的一些具有前瞻性的设想或思路对生产技术的进步、人才的培养是大有裨益的。比如,威尔克斯在1967年预见到硬件和软件的结合,程序设计语言和数据结构的重要作用,甚至谈到可移植性问题,而当时结构化程序设计的概念尚未正式提出;巴克斯最早提出了归约的概念,这使变元的概念不复存在,所有的计算目标都通过计算获得;霍尔在基于时态逻辑的逻辑型混合计算模型中引入了时段和切变的概念;科克认为对计算机性能影响最大的因素是算法、编译器和机器组织,其中算法的改进是最重要的;而克努特的宏篇巨著《计算机程序设计的艺术》,曾被誉为计算机科学工作者的《圣经》,甚至有人认为其作用和地位可与数学史上欧几里得的《几何学原理》相媲美。 在第16届世界计算机大会举办期间,本书作为会议赠书赠予参会代表,受到了广泛的好评。通过对20世纪下半叶有代表性计算机科学家的介绍,本书在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算机复杂性理论、软件工程、人工智能等计算机科学技术主要分支的形成过程和发展概况。全书内容深入浅出,文笔流畅,叙述生动,是一本难得的收藏之作。 在19世纪80年代,各种机械计算机都采用键盘置数的办法。键盘式计算机在进行除法运算时,要注意听信号铃声,当减去除数的次数过头时,就会响铃,提醒操作都将多减的次数补回来。1905年,德国人加门开始在键盘置数的计算机中,采用“比例杠杆原理”,计

计算机领域著名人物

1. 姓名:George Boole(乔治?布尔) 生卒:1815-1864 国籍:英国 主要成就:创建了布尔代数——集合论和逻辑学的基础。 后人将true与false命名为布尔类型数据(Boolean)来纪 念这位伟人。 2. 姓名:Claude Elwood Shannon(克劳德?埃尔伍德?香农) 生卒:1916-2001 国籍:美国 主要成就:提出了“位”的概念、确立了名为“信息理论”的研究 领域、搭起了逻辑与电学的桥梁。曾在著名的贝尔实验室工 作。 3. 姓名:Alan Mathison Turing(艾伦? 麦席森?图灵) 生卒:1912-1954 国籍:英国 主要成就:构建了用于破译德国 Enigma代码的Colossus计算机、提 出了“计算能力”的概念、构思出了名 为图灵机的计算机抽象模型、在人工智能的领域提出了一种用来测试机器智能的方法——图灵测试法。图灵机模型为现代计算机的逻辑工作方式奠定了基础。美国计算机协会(ACM)于1966年设立了著名的图灵奖(计算机界的诺贝尔奖、计算机行业的最高荣誉)以纪念这位伟大的先驱。 注:计算能力是指计算机能做到的事。实际上不同计算机的能力毫无差别,硬件无法做到的可以用软件实现,只有效率不同,能力并无差别。 4. 姓名:Charles Babbage(查尔斯?巴贝奇)

生卒:1792-1871 国籍:英国 主要成就:被誉为计算机的先驱、计算机革命先驱,构想 了差分机、解析机。解析机用卡片编程,设计理念同现代 计算机极为相似,可以说在当时又着超越时代的认知,虽 然从未完成过,但是其理念对后世影响深远。 5. 姓名:Joseph Marie Jacquard(约瑟夫?玛丽?雅卡尔) 生卒:1752-1834 国籍:法国 主要成就:发明了自动织布机,奠定了后来卡片编程的基础。 6. 姓名:Blaise Pascal(布莱斯?帕斯卡) 生卒:1623-1662 国籍:法国 主要成就:1642年他设计并制作了一台能自动进位 的加减法计算装置,被称为是世界上第一台数字计 算器,为以后的计算机设计提供了基本原理。后来 Niklaus Wirth将其发明的程序设计语言命名为 Pascal,以纪念这位伟人。 7. 姓名:Gottfried Wilhelm Leibniz(戈特弗里德?威廉? 莱布尼茨) 生卒:1646-1716 国籍:德国 主要成就:被誉为16世纪的亚里士多德,发明了能做 加减乘除运算的复杂机器——莱布尼兹之轮,对二进制 的发展有着重要的贡献。 8.

历年图灵奖获得者

历年图灵奖获得者 2010 莱斯利·瓦里安特(Leslie Gabriel Valiant),以表彰他在机器学习理论以及计算机科学诸多方面的奠基性贡献。1984年他在《ACM通讯》上发表了论文“学习能力理论”(A Theory of the Learnable)。莱斯利在论文中提出了PAC模型,即“概率近似正确”(probably approximately correct)的学习模型。 2009 查尔斯·泰克(Charles Thacker),其因帮助设计、制造第一款现代PC电脑Alto而获此殊荣。 2008 麻省理工学院(MIT)女教授芭芭拉?利斯科夫(Barbara Liskov),表彰她在计算机程序语言设计方面的开创性工作,突破性研究成果实际上支撑起整个现代应用软件行业,成为现代编程语言如Java、C#和C++语言的基础。 2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis 获奖原因:在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。 2006 Fran Allen 获奖原因:对于优化编译器技术的理论和实践做出的先驱性贡献,这些技术为现代优化编译器和自动并行执行打下了基础。 2005 Peter Naur 获奖原因:由于在设计Algol60程序设计语言上的贡献。Algol60语言定义清晰,是许多现代程序设计语言的原型。 2004 Vinton G. Cerf、Robert E. Kahn 获奖原因:由于在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,TCP/IP,以及在网络方面卓越的领导。 2003 Alan Kay 获奖原因:由于在面向对象语言方面原创性思想,领导了Smalltalk的开发团队,以及对PC的基础性贡献。 至理名言:预测未来的最好方法是创造它。 2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman 获奖原因:由于在公共密钥理论和实践方面的基础性工作。 2001 Ole-Johan Dahl、Kristen Nygaard 获奖原因:由于面向对象编程始发于他们基础性的构想,这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。 2000 Andrew Chi-Chih Yao(姚期智) 获奖原因:由于在计算理论方面的贡献而获奖,包括伪随机数的生成算法、加密算法和通讯复杂性。 1999 Frederick P. Brooks, Jr.

2021年挑战杯历届获奖作品

第二届“挑战杯”全国大学生课外学术科技作品竞赛由浙江大学于1991年承办:上海交通大学胡昊农村民居建筑调研第三届“挑战杯”全国大学生课外学术科技作品竞赛由上海交通大学于1993年承办: 欧阳光明(2021.03.07) 华中理工大学邬峻将城市引入农村,农村引入城市-繁忙江南水乡的僻静水上花园第四届“挑战杯”全国大学生课外学术科技作品竞赛由武汉大学于1995年承办: 云南大学杨正权村落文化贫困地区农村妇女生育健康服务模式——武定县北京师范大学辛涛论教师的教学效能感南京理工大学赵宏走出困境再创辉煌——重庆军工企业走上发展之路的启示 第五届“挑战杯”全国大学生课外学术科技作品竞赛由南京理工大学

于1997年承办:清华大学浦志勇《十字路口看乡企》——中国农村乡镇企业转制问题调查报告北京大学郝津京两家名油企业生活后勤体制变革武汉大学李雄武汉市再就业工程调研报告 云南大学高志英边疆民族地区生态环境变迁与脱贫致富——云南省怒江傈族自治州经济开发新模式研究 中国政法大学尹承武青少年创造能力培养和知识产权保护教育调查报告第六届“挑战杯”全国大学生课外学术科技作品竞赛由重庆大学于1999年承办: 北京大学冷静从法院状告新闻媒体谈起——一起名誉侵权官司引发的思考复旦大学王焱薇适应环境变化,构建新型企业——上海国有外贸企业改革调查华东师范大学吴法源师范大学生专业思想状况调查哈尔滨理工大学田灼侵华日军731部队罪证网站 北京大学欧阳觅剑社区的构成北京师范大学王天星困境与出路——城镇企业下岗职工再就业状况调查北京师范大学李爽面向21世纪发展远程教育——关于中国远程教育中若干问题的调查与思考中国政法大学王海涛中国农民法律意识现状探讨 中国药科大学宋瑶瑾我国药品价格现状分析及管理对策的研究第七届“挑战杯”全国大学生课外学术科技作品竞赛由西安交通大学

数据库领域图灵奖获得者

三位在数据库领域作出杰出贡献的图灵奖获得者简介 图灵奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早期计算的理论和实践做出了突出的贡献。图灵奖主要授予在计算机技术领域做出突出贡献的个人。而这些贡献必须对计算机技术有长远而重要的影响。 每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的审核,并最终确定当年的获奖者。迄今为止已有3位在数据库领域做出突出贡献的科学家获此殊荣。 查尔斯·巴赫曼 20世纪60年代中期以来,数据库技术的形成、发展和日趋 成熟,使计算机数据处理技术跃上了一个新台阶,并且极大的推 动了计算机的普及与应用。因此,1973年的图灵奖首次授予在这 方面作出杰出贡献的数据库先驱查尔斯·巴赫曼(Charles W.Bachman)。 巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。1948年在密歇根州立大学取得工学学士学位,1950年在宾夕法尼亚大学取得硕士学位。20世纪50年代在Dow化工公司工作,1961-1970年在通用电气公司任程序设计部门经理,1970-1981年在Honeywell公司任总工程师,同时兼任Culllinet软件公司的副总裁和产品经理。1983年巴赫曼创办了自己的公司Bachman Information System,Inc.。 巴赫曼在数据库方面的主要贡献有两项,第一就是在通用电气公司任程序设计部门经理期间,主持设计与开发了最早的网状数据库管理系统IDS。IDS于1964年推出以后,成为最受欢迎的数据库产品之一,而且它的设计思想和实现技术被后来的许多数据库产品所仿效。其二就是巴赫曼积极推动与促进了数据库标准的制定,那就是美国数据系统语言委员会CODASYL下属的数据库任务组DBTG提出的网状数据库模型及数据定义和数据操纵语言,即DDL和DML的规范说明,于1971年推出了第一个正式报告—DBTC报告,成为数据库历史上具有里程碑意义的文献。DBTG首次确定了数据库的三层体系结构,明确了数据库管理员DBA(DataBase Administrator)的概念,规定了DBA的作用与地位。DGTG系统虽然是一种方案而非实际的数据库,但它所提出的基本概念却具有普遍意义,不但国际上大多数网状数据库管理系统,如IDMS、PRIME DBMS、DMS 170、DMS Ⅱ和DMS 1100等都遵循或基本遵循DBTG模型,而且对后来产生和发展的关系数据库技术也有很重要的影响,其体系结构也遵循DBTG的三级模式。 由于巴赫曼在以上两方面的杰出贡献,巴赫曼被理所当然地公认为“网状数据库之父”

诺贝尔奖得主:成长的十大因素

诺贝尔奖得主:成长的十大因素 本文是关于成功励志的,仅供参考,如果觉得很不错,欢迎点评和分享。 诺贝尔奖得主:成长的十大因素 1、信念——“奋斗、探索,不达目的,誓不罢休” 2000年诺贝尔物理学奖获得者、俄罗斯科学院副院长若列斯·阿尔费罗夫在《科学与社会》这本自传式著作中写道:“当我还是一个10岁孩子的时候,我曾读过韦尼阿明·卡维林的一部杰作《船长和大尉》,其后,我便终生不渝地奉行着书中那位主人公萨尼亚·格里戈里耶夫的准则‘奋斗、探求,不达目的,誓不罢休。” 2、转变——“学习的过程比考试有趣得多” 1986年图灵奖获得者约翰·霍普克洛夫特认为,人生中会有很多转变,但很重要的就是从本科到研究生的转变。“如果成为一个研究生,你要学习如何获取新的知识,如何进行研究,这些在书本上学不到,你必须观察别人,看他们是怎么做的,如何以现实的科学基础来进行研究的。”霍普克洛夫特说,有人很擅长考试,很擅长用老的知识回答现在的问题,但学习的过程比考试要有趣的多。他建议大家,一定要找到一个榜样,然后像学徒一样去学习榜样。 3、学业——“我小时候不是好学生” “我小时候不是好学生。”1973年诺贝尔物理学奖得主伊瓦尔·贾埃弗这样评价自己年少时的学业,“我想给一个好建议,学校

在保证学生好好学习的同时,一定不要忘记培养学生的兴趣,让学生学习他们感兴趣的。” 韦尔特曼在讲述了自己成长的故事后说:“我不是个好学生,因为学的东西太多,在初中的时候我竟然要学4门语言,我都没有兴趣。”随后,他开始热衷于理论物理学的研究,并在1999年获得诺贝尔奖。 4、性格——“成功的主要因素是没有放弃” 有人问大师“您认为在追求科学的过程中,什么性格最重要?”对此图灵奖得主巴特勒·莱普森回答:“性格实际上是没有固定不变的规则,比如科学家,什么样的共同点都没有。”而马丁努思·韦尔特曼则补充说:“我们需要有一个性格,就是知难而上。”两人在交流中不忘告诉自己的听众:诺奖得主的智力和大家没有区别。成功是由很多因素造成的,最重要的一点是你必须是一个独立的人,当然了,如果聪明那更好。“可以说诺奖得主成功的主要因素可能是当别人放弃的时候,他没有放弃。” 5、家庭——“父母灌输的理想影响一生” 1999年诺贝尔物理奖得主马丁努思·韦尔特曼回忆自己的童年时说,家庭和父母的教育在人的成长中非常重要,“父母灌输给你们的理想或者人生的目标将会影响你的一生,如果你们的父母希望你赚很多的钱,那么你肯定成不了科学家。”“对于任何人来说,生活当中最为重要的事情之一就是家庭,我想这是非常重要的。” 6、人生——“要学会相信自己的直觉” “你可以听取别人的想法,但要做出自己的选择,如果你感觉你

【历届诺贝尔奖得主(八)】1983年物理学奖

1983年12月10日第八十三届诺贝尔奖颁发。 物理学奖 美国科学家昌德拉塞卡因对恒星结构方面的杰出贡献、美国科学家福勒因与元素有关的核电应方面的重要实验和理论而共同获得诺贝尔物理学奖。 苏布拉马尼扬·钱德拉塞卡是一位印度裔美国籍物理学家和天体物理学家。钱德拉塞卡在1983年因在星体结构和进化的研究而与另一位美国体物理学家威廉·艾尔弗雷德·福勒共同获诺贝尔物理学奖。他也是另一个获诺贝尔奖的物理学家拉曼的亲戚。钱德拉塞卡从1937年开始在芝加哥大学任职,直到1995年去世为止。他在1953年成为美国的公民。钱德拉塞卡兴趣广泛,年轻时曾学习过德语,并读遍自莎士比亚到托马斯·哈代时代的各种文学作品。 人物简介 苏布拉马尼扬·钱德拉塞卡(SubrahmanyanChandrasekhar,1910年10月19日 —1995年8月15日),在恒星内部结构理论、恒星和行星大气的辐射转移理论、星系动力学、等离子体天体物理学、宇宙磁流体力学和相对论天体物理学等方面都有重要贡献。1983年因在星体结构和进化的研究而获诺贝尔物理学奖。他是另一个获诺贝尔奖的物理学家拉曼的亲戚。 他一生中写了约四百篇论文和诸多书籍。他兴趣广泛,年青时曾学习德语,读遍自莎士比亚到托马斯·哈代的文学作品。 1937年起钱德拉塞卡在芝加哥大学工作,1953年取得美国国籍。晚年他曾研读牛顿的《自然哲学的数学原理》,并写了《Newton'sPrincipiafortheCommonReader》。此书出版后不久他便逝世了。 他算过白矮星的最高质量,即钱德拉塞卡极限。所谓“钱德拉塞卡极限”是指一颗白矮星能拥有的最大质量,任何超过这一质量的恒星将以中子星或黑洞的形式结束它们的命运。 人物生平 钱德拉塞卡于1910年出生在英属印度旁遮普地区拉合尔(现在的巴基斯坦),在家中排名第3,父亲为印度会计暨审计部门的高阶官员。 钱德拉塞卡的父亲也是一位技术娴熟的卡纳蒂克音乐(Carnaticmusic)演奏者与一些音乐学著作的作者。他的母亲则是一位知识份子,并曾将亨利克·易卜生的剧作《玩偶之家》翻译成泰米尔语。 钱德拉塞卡起初在家中学习,后来则进入清奈的高中就读(1922年至1925年间)。他在1925年至1930年进入了清奈的院长学院(PresidencyCollege),并获得学士学位。钱德拉塞卡在1930年7月获得印度政府的奖学金,于是前往英国剑桥大学深造。他后来进入剑桥三一学院就读,并成为劳夫·哈沃德·福勒(RalphHowardFowler)的学生。在保罗·狄拉克的建议下,钱德拉塞卡花费一年的时间在哥本哈根进行研究,并且认识了尼尔斯·玻尔。 钱德拉塞卡在1933年夏天获得剑桥大学的博士学位,并且在当年十月成为三一学院的研究员(1933年-1937年),他在这段时期认识了天文学家亚瑟·爱丁顿与爱德华·亚瑟·米尔恩(EdwardArthurMilne)。 钱德拉塞卡在1936年与LalithaDoraiswamy结婚。 学术生涯 苏布拉马尼扬·钱德拉塞卡,1930年毕业于印度马德拉斯大学,1933年获得英国剑桥大学三一学院博士学位。 1930~1934年在英国剑桥大学三一学院学习理论物理。

科幻小说“雨果奖”历届获奖作品名单(1946-2015)

科幻小说“雨果奖”历届获奖作品名单 (1946-2015) 2015年8月23日,第73届雨果奖在美国西雅图附近的斯波坎市颁出。中国科幻作家刘慈欣的作品《三体》获最佳长篇故事奖,这是亚洲人首次获得雨果奖,作为一个最忠实的科幻迷和三体迷,真心为大刘骄傲,为中国科幻骄傲。无限福利的大部分读者都是男生,我相信宅男中很多都会对科幻感兴趣,更不乏资深科幻迷,今天整理出了这份从1946年到2015年的历届雨果奖获奖科幻小说书单,希望诸位在找科幻小说看的时候不用再那么费劲了。唯一的遗憾就是由于客观原因,很多经典科幻小说并没有在中国翻译出版。 雨果奖,是“世界科幻协会”(World Science Fiction Society,简称WSFS)所颁发的奖项,自1953年起每年在世界科幻年会(World SF Convention)上颁发,只有1954年度停办。正式名称为“科幻成就奖”(The Science Fiction Achievement Award),为纪念“科幻之父”雨果·根斯巴克(Hugo Gernsback),命名为雨果奖。堪称科幻艺术界的诺贝尔奖。

2015年:三体 简介: 《三体》是作家刘慈欣创作的一部科幻小说。小说主要讲述了在文化大革命如火如荼进行的同时,军方探寻外星文明的绝秘计划“红岸工程”取得了突破性进展。但在按下发射键的那一刻,历经劫难且对人类充满愤恨的叶文洁没有意识到,她彻底改变了人类的命运。地球文明向宇宙发出的第一声啼鸣,以太阳为中心,以光速向宇宙深处飞驰…… 《三体》三部曲(又名“地球往事“三部曲)是2006年至2010年连载、出版的硬科幻小说系列,作者是刘慈欣。该系列由《三体》、《黑暗森林》、《死神永生》三部小说组成。 《三体》三部曲被誉为迄今为止中国当代最杰出的科幻小说,是中国科幻文学的里程碑之作,将中国科幻推上了世界的高度。2014年第一部小说的英文版在美国上市,反响热烈,并于2015年获得美国科幻奇幻协会“星云奖”提名。2015年8月23日,《三体》获第73届雨果奖最佳长篇故事奖,这是亚洲人首次获得雨果奖。 作者:(中)刘慈欣 出版社:重庆出版社 出版年:2008年 2014年:Ancillary Justice

计算机文化基础系列常识-图灵奖获奖者介绍连载(十四)

计算机文化基础系列常识-图灵奖获奖者介绍连载(十四) 罗伯特·弗洛伊德 ——前后断言法的创始人历届图灵奖得主基本上都有高学历、高学位,绝大多数有博士头衔。这是可以理解的,因为创新型人才需要有很好的文化素养,丰富的知识底蕴,因而必须接受良好的教育。但事情总有例外,1978年图灵奖获得者、斯坦福大学计算机科学系教授罗伯特·弗洛伊德(Robert W.Floyd)就是一位“自学成才的计算机科学家”(a Self-Taught Computer Scientist)。 弗洛伊德1936年6月8日生于纽约。说他“自学成才”并不是说他没有接受过高等教育,他是芝加哥大学的毕业生,但学的不是数学或电气工程等与计算机密切相关的专业,而是文学,

1953年获得文学士学位。20世纪50年代初期美国经济不太景气,找工作比较困难,因学习文学而没有任何专门技能的弗洛伊德在就业上遇到很大麻烦,无奈之中到西屋电气公司当了二名计算机操作员,在IBM650机房值夜班。我们知道,早期的计算机都是以批处理方式工作的,计算机操作员的任务就是把程序员编写好的程序在卡片穿孔机(这是脱机的辅助外部设备)上穿成卡片,然后把卡片叠放在读卡机上输入计算机,以便运行程序。因此,操作员的工作比较简单,同打字员类似,不需要懂计算机,也不需要懂程序设计。但弗洛伊德毕竟是一个受过高等教育的人,又是一个有心人,干了一段操作员,很快对计算机产生了兴趣,决心弄懂它,掌握它,于是他借了有关书籍资料在值班空闲时间刻苦学习钻研,有问题就虚心向程序员请教。白天不值班,他又回母校去听讲有关课程。这样,他不但在1958年又获得了理科学士学位,而且逐渐从计算机的门外汉变成计算机的行家里手。1956年他离开西屋电气公司,到芝加哥的装甲研究基金会(Armour Research Foundation),开始还是当操作员,后来就当了程序员。1962年他被马萨诸塞州的Computer Associates公司聘为分析员。1965年他应聘成为卡内基—梅隆大学的副教授,3年后转至斯坦福大学,1970年被聘任为教授。之所以能这样快地步步高升,关键就在于弗洛伊德通过勤奋学习和深入研究,在计算机科学的诸多领域:算法,程序设计语言的逻辑和语义,自动程序综合,自动程序验证,编译器的理论和实现等方面都作出创造性的贡献。其中包括:1962年,弗洛伊德完成了Algol 60编译器的开发,成功投入使用,这是世界上最早的Algol 60编译器之一,而且弗洛伊德在这个编译器的开发中率先融入了优化的思想,使编译所生成的目标代码占用空间少,运行时间短。弗洛伊德优化编译的思想对编译器技术的发展产生了深刻的影响。随后,他又对语法分析进行了系统研究,大家现在熟知的优先文法(precedence grammar),限界上下文文法(bounded context grammar)等都是弗洛伊德在这个时期首先提出来的。优先文法解决了自底向上的语法分析中的首要任务:如何找到“句柄”,也就是当前需要进行归约的符号串。弗洛伊德通过对不同的符号定义不同的优先级,解决了这个问题。限界上下文文法则通过对上下文无关文法G中的两个推导: * S→βArβαγ + S→δαε

茅盾文学奖介绍及历届获奖作品-推荐下载

茅盾文学奖介绍及历届获奖作品 第六届茅盾文学奖 茅盾文学奖,是以我国著名作家茅盾先生的名字设立的长篇小说文学奖。是为鼓励优秀长 篇小说的创作,推动我国文学繁荣而设立的。从1982年开始,每四年评选一次。是我国最高荣誉的文学奖之一。 茅盾文学奖是著名作家茅盾先生将自己的25万元稿费捐献出来设立的,在中国文坛的影响较大。茅盾文学奖由中国作家协会主办,根据茅盾先生生前遗愿于1981年设立,当时决定由巴金担任评委会主任。此奖项的设立旨在推出和褒奖长篇小说作家和作品。当时规定每 三年评选一次,参与首评而未获奖的作品,在下一届以至将来历届评选中仍可获奖。首届 评选在1982年确定,评选范围限于1977年至1981年的长篇小说。 茅盾文学奖由中国作家协会主办。 指导思想 茅盾文学奖评选工作,高举邓小平理论伟大旗帜,以马克思列宁主义、毛泽东思想和 邓小平理论为指导,遵循文艺“为人民服务,为社会主义服务”的方向,贯彻“百花齐放,百 家争鸣”的方针,弘扬主旋律,提倡多样化,鼓励关注现实生活、体现时代精神,坚持导向性、权威性、公正性,推出具有深刻思想内容和丰厚审美意蕴的长篇小说作品。 评选范围 1、茅盾文学奖当时规定每三年评选一次,现每四年评选一次凡在评选年度内公开发表与出版,能体现长篇小说完整艺术构思与创作要求,字数13万以上的作品,均可参加评选。评选年度以前发表或出版的,经过时间考验的优秀之作,在得到评委会不少于半数委员的

赞同后,亦可参评。 2、多卷本长篇小说,一般在全书完成后参加评选。 3、鉴于评选工作所受的语言限制和各种具体困难,凡是用少数民族文字创作的长篇小说,均要求以汉文的译本出版后参加评选。 4、同一作者不宜连届获奖。 评选标准 1、坚持思想性与艺术性完美统一的原则,所选作品应有利于倡导爱国主义、集体主义、社会主义的思想和精神,有利于倡导改革开放和现代化建设的思想和精神,有利于倡导民 族团结、社会进步、人民幸福的思想和精神,有利于倡导用诚实劳动争取美好生活的思想 和精神;对于深刻反映现实生活,塑造社会主义新人形象,较好地体现时代精神和历史发 展趋势的作品,尤应重点关注;要兼顾题材、主题、风格的多样化。 2、要重视作品的艺术品位,鼓励在继承我国优秀传统文化和借鉴外国优秀文化基础上的探索和创新,鼓励那些具有中国作风和中国气派,为人民大众所喜闻乐见,具有艺术感 染力的佳作。 评选机构 1、评选工作由“茅盾文学奖评奖委员会”承担。 2、茅盾文学奖评奖委员会委员聘请文学界有影响的作家、理论家、评论家和文学组织工作者出任,每一届评委会成员的组成应有更新,更新名额不少于评委总数的1/2。评委 名单由中国作家协会书记处在广泛征求意见的基础上提名,报告主席团,报请上级主管部 门备案。 3、评奖委员会下设评奖办公室,处理评奖活动中的具体工作。 4、评奖委员会组成后,须认真讨论评选标准,申明评奖纪律,统一思想,以确保评选工作的导向性、权威性与公正性。 评奖程序 1、参评作品征集。参评作品的征集工作由评奖办公室进行。经中国作协书记处批准后,向全国各省、市、自治区的作协、各行业文协、全国各有关出版单位和大型文艺杂志社发 出作品征集通知,请他们在规定期限内向评奖办公室报送符合评选要求的参评作品。 2、推荐备选作品。评奖办公室报请中国作协书记处批准,聘请熟悉长篇小说创作的若干评论家、作家和编辑家组成审读小组,对推荐作品在广泛阅读、讨论的基础上,进行筛选,提出适当数量的作品,作为提供给评委会审读备选的书目。经由三名以上评委联名提议,可在审读小组推荐的书目以外,增添备选书目。 3、投票产生获奖作品。评委会在认真阅读全部备选书目的基础上,经充分的协商与讨论,可选择用记名投票方式或不记名投票方式产生获奖作品。投票方式由评委会以少数服 从多数的原则择定。投票分两轮:第一轮投票,对候选篇目进行初步筛选;第二轮投票, 决定获奖作品。作品获得不少于评委总数的2/3的票数,方可当选。 4、获奖作品的数量。每一届评委会根据长篇小说创作的实际状况确定该届评选的获奖数量。一般情况下,获奖作品3-5部。为保持此项文学大奖的权威性,应坚持"宁缺毋滥" 的原则。 5、评奖揭晓。评选结果由中国作协统一发布。对获奖作品,颁发奖状(证书)、奖牌 和奖金。对出版获奖作品的出版社、杂志社、责任编辑颁发奖状(证书)。颁奖方式由评委会讨论决定。 评奖纪律 1、为确保评奖的权威性与公正性,茅盾文学奖评奖委员会要坚持评奖标准,逐步向评委名单公开、投票过程公开以及评委评语公开制度过渡。每一位评委或评委会集体要对获

历届图灵奖得主

历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主1966年图灵奖获得者美国科学家艾伦佩利Alan J.Perlis:ALGOL语言和计算机科学的“催生者”。获奖演说“算法系统的综合”(The Synthesis of Algorithmic System)。1967年图灵奖获得者英国科学家莫里斯威尔克斯Maurice V.Wilkes:世界上第一台存储程序式计算机EDSAC的研制者。获奖演说“计算机的过去和现在”(Computer Then and Now)。1968年图灵奖获得者美国科学家理查德汉明Richard W.Hamming:发明了纠错码——汉明码(Hamming Code)。获奖演说“对计算机科学的看法”(On Man’s View of Computer Science)。图灵奖得主1969年图灵奖获得者美国科学家马文明斯基Marvin L.Minsky:“人工智能之父”,知识的框架理论(Frame Theory)创立者。获奖演说“计算机科学的形式和内容” 。1970年图灵奖获得者英国科学家詹姆斯威尔金森James H.Wilkinson:数值分析专家和研制ACE计算机(第一台商业计算机)的功臣。获奖演说“一个数值分析家的若干意见” 。1971年图灵奖获得者美国科学家约翰麦卡锡John MacCarthy:“人工智能之父”,LISP语言的发明者。获奖演说“人工智能研究的现状” 。图灵奖得主1972年图灵奖获得者荷兰科学家埃德斯加狄克斯特拉Edsgar W.Dijkstra:最早指出“goto”语句有害,著名的最短路径Dijkstra算法,现代操作系统的奠基者之一。获奖演说“智力低下的程序员” 。1973年图灵奖获得者美国科学家查尔斯巴赫曼Charles W.Bachman:网状数据库之父、推动与促成数据库标准的制订。获奖演说“作为导航员的程序员” 。1974年图灵奖获得者美国科学家唐纳德克努特Donad E.Knuth:经典巨著《计算机程序设计的艺术》The Art of Computer Programming的作者,排版软件的先驱(TEX)。获奖演说“作为一种艺术的计算机程序设计” 。图灵奖得主1975年图灵奖获得者美国科学家赫伯特西蒙Herbert A.Simon和艾伦纽厄尔Allen Newell:人工智能符号主义学派的创始人,提出了“物理符号系统假说”。获奖演说“计算机科学作为按经验进行探索的科学:符号和搜索” 。1976年图灵奖获得者以色列科学家迈克尔拉宾Michael O.Rabin和英国科学家达纳斯科特Dana S.Scott :“非确定性有限状态自动机理论”的创立者。获奖演说“计算复杂性”和“逻辑与程序设计语言” 。1977年图灵奖获得者美国科学家约翰巴克斯John W.Backus:Fortran语言以及“巴克斯范式BNF”的发明者。获奖演说“机程序设计能从冯诺依曼形式中解脱出来吗?函数式风格及其程序设计” 。图灵奖得主1978年图灵奖获得者美国科学家罗伯特弗洛伊德Robert W.Floyd :Algol60最早的编译器开发者、HeapSort算法、验证程序正确性的“前后断言法”的创始者。获奖演说“程序设计的风范” 。1979年图灵奖获得者加拿大科学家肯尼斯艾佛森Kenneth E.Iverson:交互式程序设计语言APL的发明人,程序设计语言的理论和实践的开创者。获奖演说“作为思维工具的符号” 。1980年图灵奖获得者英国科学家查尔斯霍尔Charles A.R.Hoare:QuikSort算法、Case语句等的发明者,程序设计语言的公理化方法(公理语义学)的提出者。获奖演说“皇帝的旧衣” 。图灵奖得主1981年图灵奖获得者美国科学家埃德加科德Edgar F.Codd:关系数据库之父。获奖演说“关系数据库:提高生产率的实际基础” 。1982年图灵奖获得者加拿大科学家史蒂芬库克Stephen A.Cook :NP完全性理论的奠基人。获奖演说“计算复杂性综述” 。1983年图灵奖获得者美国科学家肯尼斯汤普森Kenneth L.Thompson和丹尼

鲁迅文学奖历届获奖作品(1-5届)

第一届鲁迅文学奖获奖作品 (1995-1996) 全国优秀短篇小说获奖作品:《老屋小记》史铁生、《雾月牛栏》迟子建、《赵一曼女士》阿成、《镇长之死》陈世旭、《哺乳期的女人》毕飞宇、《心比身先老》池莉 全国优秀中篇小说奖获奖作品:《父亲是个兵》邓一光、《小的儿》林希、《挑担茶叶上北京》刘醒龙、《年前年后》何申、《涅盘》李国文、《天知地知》刘恒、《没有语言的生活》东西、《黄金洞》阎连科、《天缺一角》李贯通、《双鱼星座》徐小斌 全国优秀报告文学奖获奖作品:《锦州之恋》邢军纪曹岩、《没有家园的灵魂》杨黎光、《黄河大移民》冷梦、《黑脸》一合、《恸问苍冥》金辉、《没有掌声的征途》江宛柳、《东方大审判》郭晓晔、《温故戊戌年》张建伟、《淮河的警告》陈桂棣、《大国长剑》徐剑、《敦煌之恋》王家达、《共和国告急》何建明、《走出地球村》李鸣生、《开埠》程童一、《毛泽东和蒙哥马利》董保存 全国优秀诗歌奖获奖作品:《生命是一片叶子》里瑛、《今天没有空难》匡满、《韩作荣自选诗》韩作荣、《在瞬间逗留》沈苇、《鸟落民间》张新泉、《狂雪》王久辛、《寻觅光荣》辛茹、《拒绝末日》李松涛 全国优秀杂文奖获奖作品:《微言集》林祖基、《何满子杂文自选集》何满子、《邵燕祥随笔》邵燕祥、《韩羽杂文自选集》韩羽、《世象杂拾》唐达成 全国优秀散文奖获奖作品:《何为散文选集》何为、《春宽梦窄》王充闾、《中华散文珍藏本*周涛卷》周涛、《女人的白夜》铁凝、《秋白茫茫》李辉、《皇天后土》周同宾、《从这里到永恒》赵枚、羊想云彩》刘成章、《湮没的辉煌》夏坚勇、《两种生活》斯妤 全国优秀散文杂文荣誉奖获奖作品:《我的家在哪里》冰心、《赋得永久的悔》季羡林、《牵牛花蔓》严秀、《半月随笔二集》雷加、《郭风散文选集》郭风、《烟水江南绿》艾煊

历届图灵奖得主简介ACM图灵奖1999计算机发展史的缩影

中国大学教学 27书林撷英 历届图灵奖得主简介 ———《ACM 图灵奖(1966—1999)———计算机发展史的缩影》 ○高等教育出版社刘建元康兆华 计算机与计算技术可以说是20世纪最有影响的一门科学技术。今天的信息技术、知识经济、电子商务、互联网络没有哪一项不是以计算机技术为基础的。而获得过被誉为计算机界Nobel 奖———ACM 图灵奖的20世纪40位计算机科学家,正是影响计算机科学技术发展最有影响的杰出代表。由高等教育出版社组织出版的《ACM 图灵奖(1966-1999)———计算机发展史的缩影》一书,逐一对历届图灵奖得主的生平、研究成果、科研和工作风格、创新思想、论著等作了详细介绍,并配有相应人物、事件的历史照片。附录中还有“计算技术发展大事记”等。在本书所介绍的40位图灵奖获得者当中,有不少人的工作对计算机产业的发展产生了深远的影响。例如,明斯基与麦卡锡共同创建了世界上第一个人工智能实验室;巴赫曼主持设计与开发了最早的网状数据库管理系统,并推动与促成了数据库标准的制定;巴克斯发明了世界上第一个高级程序设计语言FORTR AN ,之后又首次提出了元语言“巴克斯范式”BNF ;科德首次明确而清晰地为数据库系统提出了关系模型;汤普森和里奇设计、开发了应用广泛和影响深远的操作系统UNIX 和程序设计语言C ;科克因主持IBM 801项目而成为RISC 概念的首创者,今天RISC 技术已成为计算机体系结构的主流技术;萨瑟兰开发成功著名的Sketchpad 系统,奠定了他作为“计算机图形学之父”的基础,他的工作对后来的计算机模拟技术、计算机辅助设计技术都产生了积极的影响;布鲁克斯主持与领导了被称为人类从原子能时代进入信息时代标志的IBM 360系列计算机的开发工作。近年来信息产业的发展,及其对人们的生活、工作所产生的影响,对社会发展和国民经济所起的作用,都和这些计算机界先辈们的付出有着密不可分的联系。这些计算机科学技术界的佼佼者所提出的一些具有前 瞻性的设想或思路对我国的科技人员、学者和教育工作者有一定的启迪,虽然不能把他们的想法完全套用在我国的产业实践中,但是对其进行审慎地思考后进行有选择性地吸收,对生产技术的进步、人才的培养是大有裨益的。比如,威尔克斯在1967年预见到硬件和软件的结合,程序设计语言和数据结构的重要作用,甚至谈到可移植性问题,而当时结构化程序设计的概念尚未正式提出;巴克斯最早提出了归纳的概念,这使变元的概念不复存在,所有的计算目标都通过计算获得;霍尔在基于时态逻辑的逻辑型混合计算模 型中引入了时段和切变的概念,这种模型对于设计要求绝对安全的软件系统有重要意义;科克认为对计算机性能影响最大的因素是算法、编译器和机器组织,其中算法的改进是最重要的;而克努特的宏篇巨著《计算机程序设计的艺术》,曾被誉为计算机科学工作者的《圣经》,甚至有人认为其作用和地位可与数学史上欧几里得的《几何学原理》相媲美,其影响之广泛和深远更是不言而喻。 本书特邀中国科学院院士、北京大学计算机科学与技术系杨芙清教授作序。在第16届世界计算机大会举办期间,该书受到了与会代表的广泛的好评。通过对20世纪下半叶有代表性计算机科学家的介绍,本书在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算复杂性理论、软件工程、人工智能等计算机科学技术主要分支的形成过程和发展概况。全书内容深入浅出,文笔流畅,叙述生动,对于人们了解计算机科学技术发展的历史,了解计算机学科的一些基本知识、思想方法,以及供广大教师和学生了解计算机学科的背景知识,都是一本难得的收藏之作。◆

相关文档
相关文档 最新文档