首页

职称论文知识库

首页 职称论文知识库 问题

美国科学家论文发表

发布时间:

美国科学家论文发表

遗传算法在图像匹配领域的应用可以追溯到1994年的一篇论文,题为“基于遗传算法的图像匹配”。该论文由美国佐治亚理工大学的J.S. DeBonet等人发表在CVPR会议上。该论文提出了一种基于遗传算法的图像匹配方法,该方法可以在多个图像中找到相似的目标。此后,遗传算法在图像匹配领域得到了广泛应用。

A.同位素的分析对象为质子数相同而中子数不同的原子,而超原子的质子、中子均相同,故A错误;B.Al13和Al14 超原子中Al原子间是通过共有电子对成键,所以以共价键结合,故B错误;C.All4的价电子为3×14=42,当具有40个价电子时最稳定,当价电子数是42时,则易失去2个电子,则与ⅡA族元素性质相似,故C正确;D.Al13的价电子为3×13=39,易得电子,形成阴离子,故D错误;故选C.

遗传算法在图像匹配领域的应用早在1992年就有人提出。以下是其中一篇较早的论文:"Genetic algorithms applied to image matching using corner feature detectors",作者为R. Everson和S. Roberts,发表在1992年的遗传算法国际会议上。这篇论文提出了一种使用遗传算法进行图像匹配的方法,其中使用Harris角检测器(一种角点检测算法)来检测两幅图像中的角点,并使用遗传算法来匹配它们。该论文的方法是基于一组相似性度量来进行图像匹配的,其中包括了基于角点距离的相似性度量以及其他一些度量。使用遗传算法来寻找最优的匹配是一种较为有效的方法,因为可以使用遗传算法来搜索解空间并找到最优解。此后,这种方法被广泛应用于图像匹配和其他领域,为遗传算法在计算机视觉领域的应用奠定了基础。

这是一篇有关“素数定理”的论文。数学界的几大猜想中,“素数猜想”一直饱受质疑,如今张益唐教授终于将其攻破。据《澎湃新闻》报道,日前,美国国家科学院院士、英国皇家学会会士张益唐教授在国际知名学术期刊《Nature Communications》上发表论文,对“素数猜想”这一数学界尚未攻克的难题进行了详尽、系统、深入的研究,该工作在理论上为零点猜想这一世界级数学难题的解答开了一个好头。

此前,张益唐已成功解决了国际同行最难的素数猜想——“阿贝尔奇偶性”、并且证明了该猜想对于数理论界基本问题之一——黎曼猜想是具有重要意义。在国际数学联盟(微分几何领域中最具权威的组织)第29届大会上,代表中国学者发表获奖论文《关于素数闭区间1≤ R 0< n> Bi 2-12 a》。

素数猜想,是对数论中素数定义理论、数论和拓扑学基本问题提出的一系列数学问题。它对一般数论、数理逻辑和计算机科学等多个学科具有重大影响。素数猜想由数学家华罗庚于1919年提出,这个问题对数论和微分几何产生了重大影响。这个猜想包括:素数关于每一个数字都是唯一不可变数、素数是唯一有固定数量级或者素数是零点对称性、素数是个整数。

张益唐团队一直认为,阿贝尔奇偶性和“阿贝尔奇奇性”不能同时被证明。因此,研究人员进行了长达12年的讨论。“这项研究不仅将证明素数闭区间1≤ R 0< n> Bi 2-12 a≤ R 0< n> Bi 2-12 a的性质,还将这些发现扩展到与素数闭区间1≤ R 0< n> Bi 2-12 a相邻的四个非平凡素数闭区间,并将这些发现与多个素数闭区间中发生的有趣现象联系起来。”研究人员说。

美国科学家发表论文

这是一篇有关“素数定理”的论文。数学界的几大猜想中,“素数猜想”一直饱受质疑,如今张益唐教授终于将其攻破。据《澎湃新闻》报道,日前,美国国家科学院院士、英国皇家学会会士张益唐教授在国际知名学术期刊《Nature Communications》上发表论文,对“素数猜想”这一数学界尚未攻克的难题进行了详尽、系统、深入的研究,该工作在理论上为零点猜想这一世界级数学难题的解答开了一个好头。

此前,张益唐已成功解决了国际同行最难的素数猜想——“阿贝尔奇偶性”、并且证明了该猜想对于数理论界基本问题之一——黎曼猜想是具有重要意义。在国际数学联盟(微分几何领域中最具权威的组织)第29届大会上,代表中国学者发表获奖论文《关于素数闭区间1≤ R 0< n> Bi 2-12 a》。

素数猜想,是对数论中素数定义理论、数论和拓扑学基本问题提出的一系列数学问题。它对一般数论、数理逻辑和计算机科学等多个学科具有重大影响。素数猜想由数学家华罗庚于1919年提出,这个问题对数论和微分几何产生了重大影响。这个猜想包括:素数关于每一个数字都是唯一不可变数、素数是唯一有固定数量级或者素数是零点对称性、素数是个整数。

张益唐团队一直认为,阿贝尔奇偶性和“阿贝尔奇奇性”不能同时被证明。因此,研究人员进行了长达12年的讨论。“这项研究不仅将证明素数闭区间1≤ R 0< n> Bi 2-12 a≤ R 0< n> Bi 2-12 a的性质,还将这些发现扩展到与素数闭区间1≤ R 0< n> Bi 2-12 a相邻的四个非平凡素数闭区间,并将这些发现与多个素数闭区间中发生的有趣现象联系起来。”研究人员说。

宇宙寿命还有240亿年新华社专电 美国科学家日前发表论文介绍说,宇宙至少还能“活”240亿年,比他们原先预计的要长.科学家们利用哈勃望远镜的观察,计算宇宙中的暗能量,得出了上述新结论.美国斯坦福大学的天体物理学家安德雷·林德领导的研究小组之前曾经称,他们研究预计,宇宙的寿命将还有110亿年.但科学家介绍说,最近哈勃望远镜观察到了一些超新星,它们离我们远去的速度比以前观察到的超新星更快,这意味着宇宙膨胀速度比我们预计的更快.根据这些新发现,林德等发表新论文认为,宇宙目前只度过了其生命的三分之一,它还能存在240亿年左右.

世界各地有很多优秀的学者和研究人员在各自的领域做出了杰出的贡献,以下是一些知名的外国论文学者:Stephen Hawking:英国著名物理学家,曾发表多篇关于宇宙学和黑洞的著名论文,如《时间起源》等。Noam Chomsky:美国著名语言学家和政治学家,曾在语言学、语言心理学、政治学等领域做出了杰出贡献。Albert Einstein:德裔美国物理学家,是相对论和量子力学领域的开创者之一,曾发表多篇具有里程碑意义的论文。Edward Witten:美国物理学家,曾在弦理论领域做出了杰出贡献,被誉为现代物理学的“爱因斯坦”。Ada Yonath:以色列生物学家,曾获得诺贝尔化学奖,她的研究成果在理解细菌蛋白质合成中的作用和机制方面做出了杰出贡献。Richard Feynman:美国理论物理学家,曾发表多篇有影响力的论文,如“QED:电磁学的奇妙理论”。David Gross:美国理论物理学家,曾获得诺贝尔物理学奖,他的研究成果在高能物理学和量子场论方面做出了重要贡献。Ada Lovelace:英国计算机科学家,被认为是计算机科学的奠基人之一,她在19世纪就提出了计算机程序设计的概念。Marie Curie:波兰物理学家和化学家,曾获得两次诺贝尔奖,她的研究成果在放射性和核化学领域做出了杰出贡献。

遗传算法在图像匹配领域的应用早在1992年就有人提出。以下是其中一篇较早的论文:"Genetic algorithms applied to image matching using corner feature detectors",作者为R. Everson和S. Roberts,发表在1992年的遗传算法国际会议上。这篇论文提出了一种使用遗传算法进行图像匹配的方法,其中使用Harris角检测器(一种角点检测算法)来检测两幅图像中的角点,并使用遗传算法来匹配它们。该论文的方法是基于一组相似性度量来进行图像匹配的,其中包括了基于角点距离的相似性度量以及其他一些度量。使用遗传算法来寻找最优的匹配是一种较为有效的方法,因为可以使用遗传算法来搜索解空间并找到最优解。此后,这种方法被广泛应用于图像匹配和其他领域,为遗传算法在计算机视觉领域的应用奠定了基础。

在美国中国科学家发表论文

林媛现在是电子科技大学的教授,博士生导师,攻克了许多电子科技方面的技术难题,且获得多项专利,在电子信息材料领域取得了非常出色的研究成果。

她的水平是被大家公认的,是一个能力很出众的科学家,总是能够一针见血,将事情的核心把握好。

前几天,有个很火的女科学家引起了我们的关注,她就是杨红樱。29岁的杨红樱,来自中国科学技术大学生命科学学院。在今年3月16日的一次学术活动中,杨红樱获得了《自然·生物技术》2019年度华人青年科学家奖,奖金是100万元人民币。杨红樱这位来自中国的女科学家就没有这么好运,她是目前为止唯一一个连续6年在《自然·生物技术》发表文章过 SCI的女性成员。在2017年10月12日以第一作者发表研究论文。当时杨红樱才29岁

杨红樱是我国目前唯一一位获得《自然·生物技术》2019年度华人青年科学家奖的女性科学家之一——首位获奖华人科学家。杨老师虽然只是中国科学技术大学的一个普通学生,但是她的成绩却很不错。她也是近年来美国 NIH、 NATO等权威学术期刊上发表文章最多的中国学生。杨红樱从上大学开始,就有机会参加 NIH、 NATO等国际知名学术组织,还多次参与学术活动。并且参加各类学术会议不少于60次。杨老师目前已经有2篇文章被发表。

杨红樱在2017年的研究中,主要研究细胞凋亡和转录调控领域,并用 CRISPR/Cas9技术建立了一种新的基因编辑系统——K-Methods,利用该系统,科学家们可以在不到一年的时间里获得细胞死亡的相关信息。 据了解,K-Methods会将研究对象产生的大量基因组碎片切割成成千上万个单独或群体,从而影响目标 DNA序列。杨红樱团队经过了长期的系统、深入的实验研究,最终证明了K-Methods可以有效地诱导细胞凋亡和转录。

这么年轻的作家,实力超强,写作能力很丰富。

美国科学家最新论文发表

B 试题分析:质子数相同,中子数不同的同一种元素的不同核素互称为同位素,则A不正确。Al原子的最外层电子数是3个,则Al 14 最外层电子数之和为42,又因为这类“超级原子”最外层电子数之和为40时处于相对稳定状态,这说明Al 14 容易失去2个电子,所以与第ⅡA族元素原子的性质相似,B正确;同一种金属元素之间不可能形成离子键,C不正确;Al 13 最外层电子数之和为39,容易得到1个电子,生成阴离子,D不正确,答案选B。点评:该题是中等难度的试题,该题联系当今的新科技、新发明,有利于调动学生的学习兴趣,激发学生的学习求知欲,也有助于培养学生的逻辑推理能力和知识的迁移能力。

双喙发出震颤的声音,这个有几种可能性:有可能是他在教他的孩子怎么样表达需要,或者吃东西或者说话之类的表达。有的可能性是是因为他有点感觉不舒服了在那告诉别人啊!也有可能是有什么事情和同伴说在那里互相交流之类的。

《自然》:研究揭示鸟类鸣叫始终悦耳的奥秘鸣禽总是可以不费力气地发出悦耳的叫声,但实际上,这是终生严格训练和修正的结果。美国科学家的最新研究进一步证实,高度熟练技巧的微小波动变化是让鸟儿叫声能够始终悦耳的根本条件。这一发现也有助于解释为何人类能够长期保持高精度的运动技巧,比如运动员和音乐家。相关论文发表在12月20日的《自然》杂志上。领导该项研究的是美国加州大学旧金山分校的Michael Brainard,他和同事针对成年白腰文鸟(bengalese finch,一种小型雀类)的研究表明,自然波动是许多动物固有的一种内嵌(bulid-in)机制,它能够让神经系统拥有多样化的选择,从而向达到或维持最优运动技巧的目标前进,即使在机体发生老化或者伤病时。论文第一作者Evren Tumer表示,“许多科学家认为,神经系统无法高度精确地控制身体运动,因为毕竟我们不是机器。但新的研究却说明,微小的波动变化能够为维持运动技巧做出贡献。”他举例说,“高尔夫球手的完美挥杆动作并不需要他的体内和外界是绝对静态的环境,相反,机体系统中总有微小的因素在不断改变,比如肌肉的疲劳程度。为了保持最佳运动姿态,神经系统需要持续地‘试验’,从而进行一些修正。”科学家通过长期研究已经发现,鸣禽的声调是一项相当复杂的技巧,保持着高度刻板的一致性。通常雏鸟需要数月的时间来练习声音,它们首先记住父辈的音调,随后在丰羽期不断尝试各种发声,并与记忆中父辈的声调对比。在这一过程中,鸟儿通过听觉反馈,持续地对声音进行微调,直至最后达到稳定甚至近乎固定化(crystallized)的声音。而对成鸟而言,它们也需要通过听觉反馈来维持歌声。在此前的研究中,Brainard发现如果鸟儿是聋的或者通过干涉混淆它们的听觉反馈,它们声音的保真度将大打折扣。不过,鸣禽通过听觉反馈进行声音调制是否能够以一种可预见的方式进行,仍旧是个未解之谜。为此,在最新研究中,Tumer和Brainard利用计算机系统监控了白腰文鸟目标音调片段的微弱自然波动,而后用短脉冲的白噪音对其施加干扰性听觉反馈。结果发现,鸟儿发生了“立竿见影”的反应,它们尽力改变声调,避免再听到该噪音。而这一改变音节恰巧就发生在监控的目标片段。Tumer说,“这太神奇了。这项研究首次证实了,你可以‘捕获’这种高度熟练的运动行为,并且按照预定的方式改变它。”Brainard此前的一些研究还有更有趣的发现。当雄性鸣禽在向异性歌唱时,声音的可变性会大大减弱。研究人员推测,这可能是由于压力的原因,即环境引发特定神经化学递质释放,并作用于神经中枢,增强了声音的维持能力

美国科学家控制论文发表

1843年12月11日科赫生於德国克劳斯塔尔。5岁时就能借助报纸自己读书,这预示着具有的超凡智慧及毅力。他在高中读书时表现出对生物学的浓厚兴趣。1862年科赫考入格丁根大学学医。1866年在德国格丁根大学学医毕业(获医学博士学位)后,赴柏林进行6个月的化学研究,在那里又受到Virehow的影响,在1867年科赫到汉堡作了一段时间的住院医师,然后先在Langenhagen开业,不久于1869年到Posen省的Rackwitz开业,在Posen他通过了地区医官考试。1870年婚后科赫到东普鲁士一个小乡村沃尔施泰因当外科医生,在那建立了一个简陋的实验室,并多年在此从事病原微生物研究。科赫在没有科研设备,也无法与图书馆联系,更无法与其他科研人员接触情况下开始研究炭疽病。他的实验室就在他的家里,他的科研设备除了他妻子送给他的显微镜外,其余都是他自己设法解决的。1876年他到布雷斯劳用3天时间以公开表演实验的方式证明炭疽杆菌是炭疽病的病因,并报告了炭疽病菌的生活史是从杆菌—芽孢—杆菌的循环,芽孢可以放置较长时间而不死。他认为每种病都有一定的病原菌,纠正了当时认为所有细菌都是一个种的观点,从而兴起了关於疾病生源的研究。1880年科赫应邀赴柏林工作,在德国卫生署任职。在这里他拥有了良好的实验室和助手。1881年他创立了固体培养基划线分离纯种法;应用这种方法,主要的传染病病原菌被相继发现。此后,他转向结核病病原菌研究。他改进染色方法,发现了当时未能得到的纯种结核杆菌。为了大量培养出纯种的结核菌,他又改用在凝固的血清上接种培养,并将培养出的纯种结核菌制成悬液,通过注射豚鼠的腹腔实验,4~6周后豚鼠即死於结核病。他用实验证明结核菌不论来自猴﹑牛或人均有相同症状。并进而阐明了结核病的传染途径。1882年3月24日结核杆菌是科赫在德国柏林生理学会上宣布结核杆菌是是结核病的病原菌。并研究出纯培养其菌的方法。1882年出版了有关结核杆菌的经典著作。1883年科赫被任命为德国霍乱委员会主席并。被派往埃及调查那里的霍乱暴发流行情况。1883年后,他到埃及和印度去调查那里的霍乱暴发流行情况。他和他的同事一起发现了霍乱病原菌是形如逗号的霍乱弧菌,并发现该菌可以经过水﹑食物﹑衣服等途径传播。根据他对霍乱弧菌的生物学知识以及其传播方式的了解,科赫提出控制霍乱流行的法则,这些法则于1893年被各大国批准并形成至今仍沿用的控制霍乱方法的基础。科赫因对霍乱研究作出的贡献而获10万德国马克奖金,他的这项研究工作也对保护饮水规划有重大影响。同时他还发现了阿米巴痢疾和两种结膜炎的病原体。1890年他提出用结核菌素治疗结核病。1891~1899年,他还在埃及﹑印度等地研究了鼠疫﹑疟疾﹑回归热﹑锥虫病和非洲海岸病等。1905年发表了控制结核病的论文,并获得诺贝尔生理学或医学奖。1910年5月27日因患心脏病卒於德国巴登。终年67岁。以下一组有关罗伯特·科赫的统计资料已足以说明一切问题伟大的医学家、细菌学鼻祖罗伯特·科赫23岁时毕业于德国格丁根大学,当了一名乡村医生。后在沃尔斯顿任外科医生,节衣缩食建了一个极其简陋的实验室,用一台只有一般倍数的显微镜,单枪匹马地开始了病原微生物的研究。他关在实验室里几个星期都不出来,像着了魔似的废寝忘食。有些人说他得了精神病,就连他的第一个妻子对丈夫的事业也不理解,最终分手了。

【居里夫人】 事迹:出生于波兰,法国物理学家、化学家,世界著名科学家,研究放射性现象,发现镭和钋两种放射性元素,一生两度获诺贝尔奖(第一次获得诺贝尔物理奖,第二次获得诺贝尔化学奖)袁隆平——让所有人远离饥饿 袁隆平是中国工程院院士,著名杂交水稻专家,国家科学技术奖获得者,中国第一个国家特等发明奖获得者。在国际上11次捧回大奖。获得的“世界粮食奖”更是农业领域国际上的最高荣誉。 他是一位真正的耕耘者。当他还是一个乡村教师的时候,已经具有颠覆世界权威的胆识;当他名满天下的时候,却仍然只是专注于田畴,淡泊名利,一介农夫,播撒智慧,收获富足。他毕生的梦想,就是让所有的人远离饥饿。喜看稻菽千重浪,最是风流袁隆平。【爱因斯坦】 事迹: 爱因斯坦1900年毕业于苏黎世工业大学,并入瑞士籍。1905年获苏黎世大学哲学博士学位。曾在伯尔尼专利局任职。苏黎世工业大学、布拉格德意志大学教授。1913年返德国,任柏林威廉皇帝物理研究所长和柏林大学教授,并当选为普鲁士科学院院士。1933年因受纳粹政权迫害,迁居美国,任普林斯顿高级研究所教授,从事理论物理研究,1940年入美国国籍。

瑞典卡罗林斯卡医学院宣布,将2008年诺贝尔生理学或医学奖授予德国科学家哈拉尔德·楚尔·豪森及两名法国科学家弗朗索瓦丝·巴尔-西诺西和吕克·蒙塔尼。弗朗索瓦丝·巴尔-西诺西1947年出生在法国,是巴黎巴斯德学院病毒学博士,他目前是巴黎巴斯德学院病毒部的教授。吕克-蒙塔尼1932年出生在法国,他是巴黎大学的病毒学教授,也是法国巴黎艾滋研究和预防世界基金会的荣誉教授和主管。 弗朗索瓦丝·巴尔-西诺西和吕克·蒙塔尼发现了人类免疫缺陷病毒(HIV),他们从淋巴结肿大的早期病人的淋巴细胞和晚期病人的血液中确定了病毒复制。他们根据形态、生物化学、免疫特性将这种反向病毒定为首个人类已知慢病毒。由于大量的病毒复制和对淋巴细胞的细胞破坏,HIV破坏了人体的免疫系统。这一发现对于了解艾滋病的生物学和抗病毒治疗是一个前提。弗朗索瓦丝·巴尔-西诺西和吕克·蒙塔尼孤立和培养了从淋巴结肿大的早期病人提取的淋巴结细胞,他们发现了反向病毒复制的直接证据,他们还从被感染的细胞那里发现了反向质粒。被孤立的病毒感染和杀死了已死亡和健康捐赠者的淋巴细胞,对被感染病人的抗体作出了反应。与先前发现的人类致癌反病毒不同,HIV并不引发不可控制的细胞增长。这种病毒需要细胞激活以进行复制,它对淋巴T细胞融合进行介导。 弗朗索瓦丝·巴尔-西诺西和吕克·蒙塔尼1984年之前获得了这个新型人类反病毒的数个孤立样本,他们将此称为慢病毒。由于这一病毒已感染了全球人口的百分之一,他们的这一成就具有非常重要的意义。弗朗索瓦丝·巴尔-西诺西和吕克·蒙塔尼的工作使快速克隆HIV-1基因组成为可能,这使人们可以确认复制阶段的重要细节和病毒如何与病人进行互动。此外,它还使人们研发了对被感染病人进行诊断和对血液制品进行筛查的方法,这进一步制约了艾滋病的传播速度。数个新的抗艾病毒药品的研发也是基于对病毒复制阶段知识的了解。预防和治疗极大地降低了艾滋病的传播,并大幅提高了患者的寿命。HIV的克隆使人们可以对病毒的起源和演变进行研究。这种病毒可能是20世纪从西部非洲的猩猩那里传至人类的,但目前还不清楚这种病毒为何会在七十年代快速爆发。 艾滋病病毒1981年,美国一些年轻的同性恋者先后因一种奇怪的疾病死去。美国疾病控制和预防中心意识到问题的严重性,迅速成立了一个专门小组,并将这种奇怪疾病命名为“获得性免疫缺陷综合征”,即人们常说的艾滋病。1982年,该中心一项大范围的调查得出结论:艾滋病正在全球迅速蔓延,患者主要为同性恋和静脉注射毒品者,特征是血液中CD4+T淋巴细胞下降至几近于零。那么,艾滋病病原体到底是什么呢。 1983年,在法国巴黎的实验室中,两名科学家弗朗索瓦丝·巴尔-西诺西和吕克·蒙塔尼开始从淋巴结肿大的同性恋艾滋病早期患者身上提取淋巴细胞。他们认为,艾滋病患者血液内CD4+T淋巴细胞数量迅速减少表明它们可能是艾滋病病毒攻击的目标,定期分析艾滋病早期患者的淋巴细胞有助于找到艾滋病病毒。这是一个后来给他们带来无数荣誉的决定,他们很快就发现了人类免疫缺陷病毒(HIV),也就是如今人们熟知的艾滋病病毒。1983年5月,他们的论文发表在美国著名学术期刊《科学》上。 瑞典卡罗林斯卡医学院6日在新闻公报中说,发现艾滋病病毒是“从生物学上了解艾滋病和其反逆转录病毒疗法的首要条件”,两名法国人的工作“导致了艾滋病诊断和血液产品筛选方法的出现,艾滋病预防与治疗的结合有效减缓了艾滋病的流行,并大幅提高了艾滋病患者的平均寿命”。不过,目前仍没有有效的艾滋病疗法和疫苗。值得一提的是,巴尔-西诺西与蒙塔尼得到了美国科学家罗伯特·加洛的帮助,才真正确认HIV就是他们要寻找的艾滋病病毒。后来,双方一度为到底谁是艾滋病病毒的发现者争论不休,这一争论曾引起法国和美国两个国家之间的法律甚至外交纠纷。不过,诺贝尔奖评审委员会说,在科学界,对蒙塔尼和巴尔-西诺西首先发现艾滋病病毒这一点没有争议。双方的争论实际上集中在这之后的诸如诊断工具开发等事务上,但这都以发现病毒为基础。

1. 图灵是计算机科学技术的奠基人.阿伦 · 图灵(Alan Mathison Turing) 是英国人,1912年6月23日生于伦敦近郊。其父母早期在印度工作,退休后在法国生活,没有回英国定居。图灵和他的一个哥哥在英国由从军队退休的Ward夫妇带大的。图灵13岁进入中学,学习成绩并不特别好,只有数学例外,演算能力特别强,此外,就是擅长赛跑。1931年中学毕业后,进入英国剑桥大学的"King's College " 攻读数学。他的学位论文是关于概率论的中心极限定理(the Central Limit Theorem of Probability),1936年图灵因就同一课题所发表的论文而获得史密斯奖(Smith Prize)。1935年,图灵开始对数理逻辑发生兴趣。数理逻辑又叫形式逻辑或符号逻辑(symbollogic),是逻辑学的一个重要分支。数理逻辑用数学方法,也就是用符号和公式、公理的方法去研究人的思维过程、思维规律,其起源可追溯到17世纪德国的大数学家莱布尼兹(Gottfried Wilhelm Leibniz, 1646-1716),其目的是建立一种精确的、普遍的符号语言,并寻求一种推理运算,以便用演算去解决人如何推理的问题。在莱布尼兹的思想中,数理逻辑、数学和计算机三者均出于一个统一的目的,即人的思维过程的演算化、计算机化、以至于在计算机上实现。两个多世纪以来,许多数学家和逻辑学家沿着莱布尼兹的思路进行了大量实质性工作,使数理逻辑逐步完善和发展起来,许多概念开始逐步明朗。但是,“计算机”到底是怎么一回事?在图灵之前,没有任何人清楚地说明过。1936年图灵发表了论文“论可计算及其在判定问题中的应用”(On Computable Numbers With an Application to the Enstcheidungs Problem)。有趣的是,该论文的主题是回答德国大数学家戴维 · 希尔伯特在1900年提出的著名的“23个数学难题”中的一个问题,只是在其论文的一个脚注中“顺便”提出来一种计算机抽象模型,利用这种计算机,可以把推理化作一些简单的机械动作。可真是“歪打正着”,正是这个脚注,开辟了计算机科学技术史的新纪元。图灵提出的该计算模型现在被大家称为“图灵机”(Turing Machine)。图灵的论文发表后,立刻引起了美国科学家的重视。暜林斯顿大学立即向图灵发出邀请,,于是图灵首次远涉重洋,到美国和邱奇合作,并于1938年在暜林斯顿大学取得博士学位。在美国,图灵还遇到了计算机科学理论的另一位重要奠基人、出生在匈牙利的天才科学家冯 · 诺依曼(John von Neumann, 1903—1957)。冯 · 诺依曼对图灵十分欣赏并邀请他到他那里工作,但图灵没有接受这个邀请,1938年回到英国剑桥大学。第二次大战爆发后,图灵正值服役年龄,开始为战争服务。主要是破译德军密码,曾立不少功劳,战后被光荣授勋,被称为OBE(Officer Order of the British Empire),这是对非战斗人员的极高荣誉。战后,图灵继续从事计算机理论和技术方面的研发工作 先是在英国国家物理实 验室NPL(National Physical Laboratory)进行了计算机ACE(Automatic Computing Engine)的研究,后在曼彻斯特大学从事过存储程序式计算机MARK I 的研究。由于图灵的一系列杰出贡献和重大创造,1951年,被选为英国皇家学会院士。1954年6月,因吃了有毒苹果而在家中死去,年仅42岁。2. 图灵奖后人为纪念这位“计算机科学之父”,在英国曼彻斯特的Sackville公园为他建造了一尊真人大小的青铜坐像,这尊塑像是2001年6月23日,也就是图灵89岁诞辰那天揭幕的,铜像本身则是在中国铸造的。图灵去世后的12年,即1966年,美国的计算机协会ACM (Association for Computing Machinery) 确定设立图灵奖。ACM是于1947年9月15日在纽约的哥伦比亚大学成立的。成立的目的旨在推动计算机科学技术的发展和学术交流。ACM建立以来,积极开展各种活动,目前已成为计算机界最有影响的两大国际性学术组织之一(另一为IEEE的计算机协会,即IEEE Computer Society)。图灵奖是ACM于1966年第一个设立的奖项,专门奖励那些在计算机科学研究中作出创造性贡献、推动计算机科学技术发展的杰出科学家。奖金金额不算太高,设奖初期为2万美元,1989年起增至2万5千美元。图灵奖对获奖条件要求极高,评奖程序极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此荣。它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。

相关百科

热门百科

首页
发表服务