三元计算趋势.pptVIP

图灵计算模型 基本假设 信息可编码到纸带上 度量指标 时间复杂度 空间复杂度 变形与推广 Oracle图灵机 概率图灵机 三元世界计算 * 三元计算：计算机科学新趋势徐志伟中国科学院计算技术研究所zxu@ INSTITUTE OF COMPUTING TECHNOLOGY 武汉华中科技大学 2010.9 产出优秀学生的条件与做法 学生质量的分级 牛人（master），好学生，合格 将排名最靠前的学生招到排名最靠前的学校 过了一定的阈值，排名无意义 “一万小时规则” 牛人必须实践工作（动手动脑）一万小时 见：Outliers, 2008 针对三元世界趋势，建立“一万小时”环境 龙星计划 搜索：龙星计划 已成功举办8年 2010课程 信息安全（计算所）；生物信息学（武大） 分布式计算（中科大）；无线网络（西工大） 机器学习（复旦）；数据挖掘（西交大） 软件工程（上海交大） 龙星计划办公室 北京2704信箱 100190刘 芳010dragonstar@? 《路线图》提出三元世界 《中国至2050年信息科技发展路线图》，中国科学院信息领域战略研究组，科学出版社，2009年 网(The Net) = 三元世界 图灵算法科学 新型信息科学 1970-2000 与 2010-2040：主要变化 人机共生 ? 人-机-物三元世界（The Net） 计算机科学的研究对象和问题改变 “计算”变成三元计算 图灵算法科学?网络计算科学 摩尔定律?网络效应 参见Jon Kleinberg 2010新书《Networks, Crowds, and Markets 》 图灵算法科学 新型信息科学 三元世界的一些特征 实现互联网、物联网和社会网的新三网融合 实现信息资源与物理资源、社会资源的有效互动和综合利用 物联网 云计算 未来互联网 三元计算 计算机科学 从信息空间向物理世界、人类社会扩展 从硬件、软件、服务向人际合作演变 人 机 物 0 1 1 # 0 0 1 1 0 1 0 # ....... ....... 有限转移函数 计算 输入：编码后的未着色地图 输出：编码后的四色地图 1 0 1 0 0 1 1 0 1 0 1 1 人 机 物 对账单 抄电表 每月15字节 电费计算 1 0 1 1 劳动复杂度 能量复杂度 计算 趋势1：新的问题度量 新的“图灵测试” Test 1. Rank low-carbon households in big cities automatically Automatically rank the households in Beijing and London by the best practices in terms of energy efficiency, and contrast the two cities’ top 10 best practices. Test 2. Use IT assets via Universal Compute Account (UCA) even when time and space have shifted Test 3. Increase datacenters efficiency by orders of magnitude Typical million-server datacenters each consume less than 100 million watts, and achieve PEE and PCE greater than 10-20%. Test 4. Facilitate mass creations of value Net services A high-school student can learn to create and deploy a value Net service within a month. Test 5. Enable science-based macro information policies How to price the Net to maximize 1.2 billion people’s welfare? A science-based messaging tax policy which could drastically reduce spam while facilitating legitimate communication. 新的challenges benchmarks DARPA的“红气球挑战” 为庆祝因特网四十周年设立的“网络挑战”（2009.12） 找到全美十个红气球的坐标 回