邮箱登录 | 所务办公 | 收藏本站 | English | 中国科学院
 
首页 计算所概况 新闻动态 科研成果 研究队伍 国际交流 技术转移 研究生教育 学术出版物 党群园地 科学传播 信息公开
国际交流
学术活动
交流动态
学术报告
现在位置:首页 > 国际交流 > 学术活动
探针计算机
2018-11-09 | 【 【打印】【关闭】

  时间:2018年11月14日(周三)上午9:00-11:00

  地点:计算所254科学家俱乐部

  报告人:许进

  摘要:提出了一种用电子器件研制的新型计算机,称为探针计算机,其数学计算模型为探针机,体系结构为探针机体系结构。证明了:探针机的数目与实数集对应(但图灵机的数目与自然数集对应),并用该计算机求解顶点数1000,颜色数为4的一个图的着色,在0.017秒求出第一个解,35秒内求出9449个解,11个小时求出全部12288000个解。该图用8核,4.7GHz的电子计算机,采用大型优化求解器Gurobi运行46天,未找到一个解;用10核,2.4GHz的工作站运行了11天,未找到一个解。上述事实预示:一种超越冯诺依曼体系结构的新型计算机已经问世。

  报告人简介:许进,北京大学教授,博士生导师。理学、工学双博士。发表学术论文300余篇,出版学术专著3部、译著2部。先后主持国家自然科学基金重点项目、重大国际合作项目、重大仪器专项、面上项目、973项目、863项目、国防预研项目等数十项。作为第一完成人,分别获国家自然科学二等奖1项、省部级自然科学一等奖3项。任第一、二、四、五、七、八届国际生物计算机大会主席;多学报编委;军委科学技术委员会专家;中国电路与系统学会副主任委员;生物计算与生物处理专业委员会理事长;教育部网络空间安全教咨委委员。主要研究领域为图论与组合优化,新型计算机,生物计算机,信息安全等。

 
网站地图 | 联系我们 | 意见反馈 | 所长信箱
 
京ICP备05002829号 京公网安备1101080060号