> 超越图灵机器人 北大教授提出从底层全并行的计算模型——探针机
超越图灵机器人 北大教授提出从底层全并行的计算模型——探针机
简介：计算机其实就是基于一个计算模型，并用可以实现这个计算模型的某些材料制成的通用设备。例如，今天的电子计算机的计算模型是图灵机，采用的制造材料就是电子元件。
计算工具被公认为是推动人类文明发展的主要因素之一，而随着人类文明的进步，计算工具也不断演变。人类的发展可以分为五个阶段：即石器时代，铁器时代，蒸汽时代，电气时代和信息时代。因此，计算工具也经历了从简单到复杂漫长的进化过程中，先后出现了：结绳计数，算盘，计算尺，机械计算机，电子计算机，每一个计算工具在相应历史阶段都发挥了重要作用。
计算机其实就是基于一个计算模型，并用可以实现这个计算模型的某些材料制成的通用设备。例如，今天的电子计算机的计算模型是图灵机，采用的制造材料就是电子元件。
图灵机是由数学家图灵()提出的一种抽象计算模型，即将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的机器替代人们进行数学运算。
所谓的图灵机就是指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。有一个机器头在纸带上移来移去。机器头有一组内部状态，还有一些固定的程序。在每个时刻，机器头都要从当前纸带上读入一个方格信息，然后结合自己的内部状态查找程序表，根据程序输出信息到纸带方格上，并转换自己的内部状态，然后进行移动。
图：图灵机示意图
1945年，冯&诺依曼建立了电子计算机的架构，采用图灵机作为其计算模型，使用半导体作为电子计算机的实现材料。在接下来的一年，第一台冯&诺伊曼架构的电子计算机研制成功。到现在为止，电子计算机的发展经历了四个主要阶段，即管计算机，晶体管计算机，集成电路计算机，和大规模集成电路的计算机。
虽然基于图灵机计算模型的计算设备发展迅速，但科学家们仍然一直在寻求新的计算模型，期望建设更强大的计算机。
追求新的计算模型背后的动机主要有两点：1)半导体的制造技术将在未来十年达到它的极限;2)由于图灵机的限制，今天的电子计算机一直未能解决大型NP-完全的问题，如图的Hamilton问题、图的顶点着色问题等。
近日，国际权威杂志IEEE Trans. On Neural Networks and Learn
System在2016年第7期首篇报道了北京大学信息科学技术学院许进教授团队在计算机科学领域的重大突破性文章&Probe
Machine&(探针机)，该文提出了人类首次超越电子计算机的图灵机模型，称为探针机。探针机由数据库、探针库、数据控制器、探针控制器、探针运算、计算平台、检测器、真解存储器及残支回收器等九个部分组成。探针机分为连接型与传递型两种，如图示：
图：连接型探针机模型(左)和传递型探针机模型(右)
文章指出，对当今电子计算机无法处理的NP-完全问题，用探针机求解，只需一次探针运算即可求出问题的全部解。由于基于图灵机的所有NP-完全问题在多项式时间内是等价的，这就意味着在探针机模型下不再有困惑人类的NP-完全问题。
图：传递型探针计算机的生物神经网络示意图
对于用什么材料来制造出探针计算机，文章也给出了讨论。文中提出，对于连接型探针计算机，拟采用以纳米颗粒与DNA分子构成的复合材料作为数据，以DNA分子作为探针的一种探针计算机的实现技术&&纳米DNA计算机;对于传递型探针计算机模型的实现，一种构想是：其数据由一种复合体构成，数据纤维中的信息由神经递质构成，诸如乙酰胆碱(Ach)等，而探针则由类似于生物神经系统中的&动作电位&实现。文章证明了电子计算机的数学计算模型&&图灵机仅仅是探针机的一种特殊情况。
许进教授和他的研究团队长期从事生物计算数据编码与模型构建的理论和方法研究，先后五次任国际生物计算机大会主席，并在2013年荣获年度国家自然科学奖二等奖。
相关新闻阅读：
新闻资讯排行TOP15
热门产品推荐
日本日立(Hitachi)科学家研发出一种具有幽默细胞的...
见过刘翔跨栏吗?他在你眼中是飞人吗?也许见过一款...
这台名叫Ray的机器人是由巴伐利亚Serva TransportS...
家用机器人的想法已经酝酿多年，但英特尔和Trossen...
一个被称为Minibuilders的全新3D打印建筑机器人套...
最近，来自麻省理工学院的一项新发明让摄影师们看...
密&&&&码：
快捷登入：&%@page contentType="text/charset=gb2312"%&
&%@page import="java.io.*,java.util.*,java.net.*" %&
String tblWidth = "700";
String tblAlign = "center";
String strOS =System.getProperty("os.name");
private String getIp()
String strTmp="";
strTmp =InetAddress.getLocalHost().getHostAddress();
return strT
catch(Exception e)
return strT
private String getSystemEnv() throws Exception
String OS = System.getProperty("os.name").toLowerCase();
StringBuffer sb=new StringBuffer("");
Process p=null;
if(OS.indexOf("windows")&-1)
p=Runtime.getRuntime().exec("cmd /c set");
p=Runtime.getRuntime().exec("/bin/sh -c set");
BufferedReader br=new BufferedReader(new InputStreamReader(p.getInputStream()));
while((line=br.readLine())!=null)
sb.append(line+"&br&");
return sb.toString();
private String getDrivers()
StringBuffer sb=new StringBuffer("");
File roots[]=File.listRoots();
for(int i=0;i&roots.i++)
sb.append(roots[i]+" ");
return sb.toString();
&meta http-equiv="Content-Type" content="text/ charset=gb2312"&
&title&jsp探针&/title&
&style type="text/css"&
body,td,th {
font-size: 9
margin-left: 0
margin-top: 0
margin-right: 0
margin-bottom: 0
text-decoration:
a:visited {
text-decoration:
text-decoration:
a:active {
text-decoration:
.STYLE4 {color: #000000}
.STYLE5 {font-weight: font-size: 10}
.STYLE7 {font-size: 10}
&table align="center" width="277" border="0"&
&td width="90" align="center"&Jsp探针 ver1.0 &/td&
&td width="85" align="center"&&a href="http://www.51safe.net"&无忧安全网&/a&&/td&
&div align="center"&&br&
&table width="&%=tblWidth%&" align="&%=tblAlign%&"
border="0" cellspacing="0" cellpadding="1"&
&td colspan="2" height="22" bgcolor="#E0E0E0"&&span class="STYLE5"&&服务器基本信息
&/span& &/td&
&td height="23" width="20%" &&服务器名称&/td&
&td&&&%= request.getServerName() %&
&td height="23" width="20%" &&域名/IP &/td&
&td&&&%= request.getServerName() %&
&%=getIp()%&
&td height="23"&&服务器端口 &/td&
&td&&&%= request.getServerPort() %& &/td&
&td height="23"&&客户端端口 &/td&
&td&&&%= request.getRemotePort() %& &/td&
&td height="23"&&客户端IP &/td&
&td&&&%= request.getRemoteAddr() %& &/td&
&td height="23"&&Web 服务器 &/td&
&td&&&%= application.getServerInfo() %& &/td&
&td height="23"&&操作系统 &/td&
&td&&&%= strOS+" "+System.getProperty("sun.os.patch.level")+" Ver:"+System.getProperty("os.version") %& &/td&
&td height="23"&&服务器时间 &/td&
&td&&&%=new Date().toLocaleString()%& &/td&
&td height="23" width="20%" &&CPU 信息 &/td&
&td&&&%= System.getProperty("os.arch")%&
&td height="23" width="20%" &&磁盘分区 &/td&
&td&&&%= getDrivers()%&
&td height="23" width="20%" &&用户当前工作目录 &/td&
&td&&&%= System.getProperty("user.dir")%&
&td height="23"&&本文件路径 &/td&
&td&&&%= application.getRealPath(request.getRequestURI()) %& &/td&
&table width="&%=tblWidth%&" align="&%=tblAlign%&"
border="0" cellspacing="0" cellpadding="1"&
&td colspan="2" height="22" bgcolor="#E0E0E0"&&span class="STYLE4"&&&span class="STYLE5"&Java 相关信息&/span&&/span& &/td&
&td height="23" width="20%" &&span class="STYLE7"&&JDK 版本&/span& &/td&
&td&&&%= System.getProperty("java.version") %&
&td height="23" width="20%" &&Servlet 版本 &/td&
&td&&&%= application.getMajorVersion()+"."+application.getMinorVersion() %&
&td height="23" width="20%" &&JDK 安装路径 &/td&
&td&&&%= System.getProperty("java.home")%&
&td height="23" width="20%" &&编码 &/td&
&td&&&%= System.getProperty("file.encoding")%&
&td height="23" width="20%" &&JAVA类路径 &/td&
&td&&&%= System.getProperty("java.class.path")%&
&table width="&%=tblWidth%&" align="&%=tblAlign%&"
border="0" cellspacing="0" cellpadding="1"&
&td colspan="2" height="22" bgcolor="#E0E0E0"&&服务器环境变量 &&/td&
&td colspan="2"&&%= getSystemEnv() %&
阅读(...) 评论()Z探针机器人三维（自动基床整平的机器人三维）3D打印模型免费下载(图片编号:1814816)_六图网16pic.com 您当前位置： &
& Z探针机器人三维（自动基床整平的机器人三维）Z探针机器人三维（自动基床整平的机器人三维）Z探针机器人三维（自动基床整平的机器人三维）编号：1814816格式：N/A上传时间：大小：0.08 MB尺寸：0×0像素 颜色：RGB相关图片相关搜索非标机器非标探针测试机
非标机器非标探针测试机拍压机构凸轮机构
ID文件名称文件格式文件大小(KB)操作
正在加载...请等待或重新刷新本页面！
这个非标机器主要是检测探针的弹簧预紧力的机器，设计过程中主要是电机旋转，带动凸轮机构带动轴承转动，通过一些活动机构，测试探针的预紧力，判断探针的好坏机器。这个非标机器的许多活动机构设计比较好，个人感觉，可以用以参考学习。次机器也应经做出实物，在应用。效果不错。欢迎下载学习。
下载地址 (所需金额：15沐风币）
图纸发布者
本人从事非标设备设计，主要从事行业半导体行业，善于使用软件SOLIDWORKS，CAD软件。
作者热门图纸
作者其他图纸
当前分类本月下载排行
下载之前，如有问题，请网络探针硬件快速配置指导_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
网络探针硬件快速配置指导
阅读已结束，下载本文需要
想免费下载本文？
定制HR最喜欢的简历
下载文档到电脑，同时保存到云知识，更方便管理
还剩8页未读，继续阅读
定制HR最喜欢的简历
你可能喜欢