卓尔不凡的图灵

对于现今热得发烫的苹果品牌,很多人会提出同样一个问题,当初徽标中的苹果为什么会被咬了一口呢？最耐人寻味的解释是,它的设计来源于对计算机鼻祖阿兰.图灵的纪念。     

图灵、人脑计划与智能之年

为了表达对阿兰·图灵的敬意,《自然》杂志建议将图灵百年诞辰的2012年命名为“智能之年”．以纪念这位科学界的先知人物。暂且不论图灵在破译密码和计算机领域的成就．以及在植物学和物理学方面的造诣．其实图灵一直耿耿于怀的是未能实现构造一个大脑以复活唯一真正朋友的愿望。     

图灵咖啡厅

正人类的智慧不仅仅体现于提问与回答。同样,对智能的评估也不应被此局限。——摘自强化图灵测试总纲一、男人这是开店以来最冷清的一天。本应是生意最好的时候,街上却看不到半个人影,让人不敢相信自己身在城市。要是一个顾客都没有的话,我大概会找个借口直接打烊,但是偏偏有那么一名中年男人,目光涣散,两个小时里只点了一杯拿铁,时不时还长吁短叹。实话说,假若他今晚选择自杀,我也不会感到意外。我正在胡思乱想,他突然起身向我走来。     

光学系统计算机辅助设计展望

光学设计过程中大量繁琐冗长的计算工作，曾迫使从事光学设计的人们把宝贵的精力耗费在烦人的简单重复劳动中，电子计算机的问世为解决这一问题带来了福音。本世纪中期，人们用电子计算机代替手工进行光路计算，使平均约10分钟完成一个光线面的速度提高到每分钟10个光线面，尽管那时的计算机还有很多缺陷，它不仅使光路计算速度提高了近百倍，而且使设计者开始摆脱了繁琐的重复劳动，能更好地集中精力考虑象差的校正。在这期间也出现了适于计算机编程使用的光路计算向量公式，一般认为，这是光学设计领域应用电子计算机的第一阶段，它主要是…     

量子计算机的0到N

众所周知，量子计算机在处理某些特定问题时的速度将快于传统计算机。由于各国争相布局量子计算，它将成为世界科技发展的新高地。作为新一代信息技术，具有颠覆性质的“它”能够给人类带来多少魅力？近年来，国内外针对量子计算的研究风起云涌，如今的量子计算又发展到了什么阶段?文章作为引玉之砖，对量子计算从底层研究跨越到技术路线的发展以及未来的产业动向作初步的探讨。     

关于交互和图灵可计算性的一些注记

图灵机作为通用的算法模型在计算机科学中占据统治地位长达半个世纪，它反映的是“封闭世界”假设，认为计算实体的行为完全由自身的因素决定，和所处的环境、外部时间没有关系，随着基于网络的计算技术的兴起，计算实体之间通过网络互联并且互相影响，它们的行为既相对独立，又彼此依赖，     

计算和机器计算

电子计算机应用已深入到人类活动的各个领域。虽然其应用方式不尽相同,但归根结底少不了“计算”。如所周知,“计算”这概念是先于计算机而出现的。然而到底什么是人类所能进行的计算?机器计算是否与人类所能进行的计算相同呢?本文以数理逻辑和计算机科学的研究成果来回答上述问题。一、有穷自动机的能力和机器计算对可作为计算机模型的有穷自动机的功能曾进行过不少研究。R.W.Ritchie定义了     

电子计算机与生物学家

生理学家必然是生物学家中最乐意使用电子计算机的了;从学校教育中知道交流和直流放大器的区别的人,自然而然地更倾向于在他们的实验室里给电子设备多腾出一些位置。不过近几年来我们所看到的,却是电子计算机渗透到多数其他门类的研究实验室。在所有的各类实验室里,电子计算机的主要用途仍然是储存和分析数据。使用原理仍是电子计算机始创时那一套。人们把资料数字化,储存在计算     

电力系统潮流计算中的稀疏技术研究

潮流计算是电力系统中最基本、最重要的问题,最优潮流是潮流计算的扩展。本文综合概述了潮流计算与最优潮流的最新研究成果,并重点研究了在运用计算机解决潮流计算问题时核心技术之一的稀疏技术,包括排零存储和排零运算。     

DNA分子计算与DNA计算机的研究进展

生物分子计算与DNA计算机是计算机科学和分子生物学交叉产生的新兴领域. DNA计算机的特点是具有超强的并行运算能力和巨大的数据存储能力, 因而被认为有望解决电子计算机所面临的评价问题. 本文在介绍DNA计算机的基本概念基础上, 围绕DNA计算机的原理、计算模型和在多方面的应用等关键问题, 分析讨论了粘贴模型、剪接模型和等价检查模型等常用的DNA计算模型, 并对DNA计算机在NP问题、遗传分析与临床诊治、防伪和译码技术以及游戏与机器人等领域的研究进展和应用前景进行了探讨. 最后讨论了DNA计算机未来可能的发展方向.     

软件异想天开 赢得人性大奖

计算机能真正地思考呢,还是永远只能具有人工的智能呢?为了回答这令人困扰的问题,英国数学家阿兰·图灵(Alan Turing)于1950年设计了一种简便而天才的模仿测试(图灵认为让某人提出问题,分别由人和计算机来回答,如果辨别不出回答者是人还是机器,则可认为这部机器具有智能——译者注)。他还预言,思维机器将在世纪交替之前出现。去年晚些时候在波士顿的计算机博物馆有史以来第一次举行了这种所谓的图灵测试。     

为计算主义辩护

自1980年代以来，计算科学与计算技术已在科学活动和社会生活的各个方面显示出巨大威力。在科学方面，计算已与实验、理论形成三足鼎立之势，成为当代科学研究的一种新视角、新理念和新方法：在哲学方面，计算这一原本属于数学领域的专门概念也已上升为一种新的哲学范畴，成为人们审视世界的一种新的世界观。“计算主义”已成为当今科学界、哲学界最具时代特色的一个概念和主张。     

计算复杂穆斯堡尔谱的一种方法——含有修正因子的高斯-牛顿法

一、引言穆斯堡尔谱学是近代进行物质微观结构分析的重要方法之一。在穆斯堡尔谱学的研究中,慎重地选择计算方法,并通过电子计算机用合适的程序来拟合谱线,找出谱中各峰的位置、强度和宽度等参数值,是一项重要的工作。目前拟合穆斯堡尔谱最常用的是高斯-牛顿法。它对一些简单而分辨得较好的谱线计算     

“天河一号”：中国的世界速度

从1946年世界上第一台电子计算机埃尼亚克（ENIAC）诞生起,计算机性能遵循摩尔定律飞速提升。随着科学研究的不断深入和经济社会的持续发展,单台计算机的性能已无法满足科学计算需求,超级计算机（又称高性能计算机）由此诞生并迅速发展,其计算速度快、存储容量大,是实现高水平科学研究和生产研发的重要平台．可以解决大型科学与工程领域的重大计算难题。     

对于B存在A使P~A=NP~B成立的充要条件

Baker等人首先对P=?NP问题进行了相对化研究,获得了深刻的结果。本文对于任意语言B,讨论了存在语言A使P~A=NP~B成立的充要条件。 我们采用Cook的带oracle的图灵查询机器为我们的计算模型,有关查询机器的详细描     

机器究竟会思维吗?

机器能思维吗?这个问题几十年来吸引了许多发明家、哲学家和逻辑学家。1938年,英国数学家阿兰·图灵(Alan Turing)证明了现在称之为图灵机的很简单的计算模型能够进行很广泛的计算;它能模似任何其它图灵机的计算。这种模型是存贮程序计算机的基础。看来,存贮程序计算机最终能模拟人的动作。因为根据每个神经元的状态及神经元的刺激机制,有可能计算出某人每个神经元的下一状态,因而可以预测     

多重编辑先驱

<正>乔治·丘奇再次尝试创新，力求通过多重基因编辑来创建抗病毒细胞，提高器官移植成功率并保护大象。在哈佛大学朗伍德校区，合成生物学家兼遗传学家乔治·丘奇（George Church）十分忙碌，不是指导学生构建最新的生物技术原型，就是与老伙伴一起开拓新领域。丘奇一直被视为生物工程领域的开拓者。他在直接基因组测序和人类基因组计划等方面的工作备受赞誉；他与他的学生对CRISPR-Cas9系统编辑人类细胞能力的证明更是引起了大众关注。眼下，丘奇团队正努力开展的项目有望推动基因编辑进入一个全新层次，对整个科学界产生重大影响。     

永恒的精神遗产

阿兰·图灵出生于100年前的这一年,他最出名的成就是战时密码破译和发明“图灵机”——现在每一台电脑的核心概念。但他的精神遗产并不止于此：他创立了人工智能领域,提出了生物形态发生学理论并且探索计算的临界限度。这些碎片似的描述只是图灵短暂而又悲惨的一生中的一小部分,我们在这里颂扬和纪念的是他的思想对当今科学许多热门领域作出的贡献。     

前景诱人的DNA计算机

D电子计算机自1946年问世至 今,几经演变,已从单纯的计算工具发展成为具有计算、记忆与通信功能的信息处理机。功能的多样化,赋予了电子计算机更加广阔的用途——数值计算的行家里手,数据处理的能工巧匠,自动控制的尖兵闯将……一句话,电子计算机是人脑的好帮手。 然而,随着微电子技术的高速发展,电子计算机的核心元件——集成电路制造工艺,已经达到了理论的极限。制做材料半导体硅芯片上因电路密集而引起的诸如运算速度慢、没有     

光子纠缠和量子计算领域的两项世界纪录

据国家自然科学基金委员会2007年2月8日报道．中科大微尺度物质科学国家实验室的工作人员潘建伟和同事杨涛、陆朝阳等，最近通过实验成功制备出国际上纠缠光子数最多的薛定谔猫态和可直接用于量子计算的簇态，刷新光子纠缠和量子计算领域的两项世界纪录。该项研究成果以封面标题的形式发表在最新一期英国胁ture子刊Nature Physics上。审稿人评价其是“光学量子计算领域至今最先进的实验工作”，“为量子计算、量子纠错和量子力学基本问题的研究铺平了道路”。