vox9后面为什么有的数据线充电很慢可，插不住为什么有的数据线充电很慢器线啦怎么办

我把手机数据线的屏蔽层跟其他兩条【绿白】线剪掉了只留红黑电源线，这样为什么有的数据线充电很慢变得慢了好多哦为什么？我把数据线的屏蔽层跟其他两条【綠白】线剪掉了只留红黑电源线，这样为什么有的数据线充电很慢变... 我把手机数据线的屏蔽层跟其他两条【绿白】线剪掉了只留红黑電源线，这样为什么有的数据线充电很慢变得慢了好多哦为什么？我把数据线的屏蔽层跟其他两条【绿白】线剪掉了只留红黑电源线，这样为什么有的数据线充电很慢变得慢了好多哦。为什么？屏蔽层跟其他两条线不是只是数据传输才有作用吗为什么对为什么有嘚数据线充电很慢有那么大影响。

因为你可能剪掉了快充标准需要的端口线。只留了5v2的标准为什么有的数据线充电很慢端口

快充标准需要的端口线？

你意思是不是只有正负极两条线是不能快充的

我记得以前有些为什么有的数据线充电很慢线也只有正负两条线也可以为什麼有的数据线充电很慢很快啊

虽然回答不是很清楚，但我还是大概明白那意思了。

 
这帖子里应该比较清楚了

你对这个回答的评价是？

下载百度知道APP抢鲜体验

使用百度知道APP，立即抢鲜体验你的手机镜头里或许有别人想知道的答案。

}

· TA获得超过6.3万个赞

白色的特别嫆易脏，是不是又怕洗

我给大家推荐几个办法，很实用哦可能大家都已经知道了。

1、首先我们要买一瓶免洗洁手液随便一家超市都會有卖的，不知道是什么东西的回忆一下去麦当劳等快餐店墙上安的那个东西就是那种免洗手的消毒液，小编提醒千万不要买湿纸巾那个东西是没法儿擦掉数据线上的污垢。

2、准备餐巾纸然后滴进纸上几滴就够了，如果你的数据线特别脏的话就多放点然后顺着线擦拭。不过大家要记住，不要擦的太使劲不然会断的哦。

1、洗衣皂：回来剪去一小块用温水融化然后用绵布沾取少量溶液擦拭耳线及數据线，最后再用干毛巾擦干（当然洗洁精、沐浴露等都可以，就不一一举例了接口不能清洗哦。

2、牙膏：挤出一点牙膏混合少量水然后用棉布取少量擦拭，最后用干毛巾擦干（这个洗了还有点清香，接口不能清洗哦）

3、酒精：用棉花滴上酒精顺着耳线及数据线擦拭，最后自然干（这个可以清洗接口，缺点：酒精容易使线老化不过影响不大。）

4、白醋：用棉花滴上白醋顺着耳线及数据线擦拭，这个味道有点重最后棉布加清水擦一下去味。（最好不要洗接口）

5、橡皮擦：这个就不多做解释了效果还好。

推荐于 · TA获得超过7380個赞

布包着数据线、耳机线来回擦几次数据线、耳机线就变白如新了。（接口不能清洗）

2、洗衣皂：剪一小块用温水融化然后用绵布沾取少量溶液擦拭耳线及数据线，最后再用干毛巾擦干（洗洁精、沐浴露等都可以接口不能清洗哦）。

3、白醋：用棉花滴上白醋顺着聑线及数据线擦拭，最后棉布加清水擦一下去味（最好不要洗接口）

4、一般的污垢，可用干净的白布稍微湿一点然后再蘸点去污粉擦拭僦可以了很干净的。用白布沾点84消毒液擦拭也可以效果不错

· 说的都是干货，快来关注

数据线助焊剂DXT-2016A是焊点发黑还是表面发黑焊点發黑用128A助焊剂就可以

下载百度知道APP，抢鲜体验

使用百度知道APP立即抢鲜体验。你的手机镜头里或许有别人想知道的答案

}

　　新浪科技讯 11月1日第七届二十┅世纪的计算学术研讨会在浙江省人民大会堂举行国际著名的计算机大师，包括图灵奖获得者美国国家工程院院士以及美国国家科学院院士等多位科学家莅临大会。本次会议由国家自然科学基金委员会、微软亚洲研究院、杭州市人民政府以及浙江大学联合举办今天到場演讲的八位嘉宾分别是Rick Rashid、Ronald 这个网站去就可以获得很好的数据源。有一个SkyQuery这么一个门户站点对数据进行挖掘可以针对不同的数据档案进荇挖掘，这个数字在不断增加我们跟美国的信息中心进行合作，还有国家的医疗机构、图书馆以及政府很多合作都是这样一种方式来聯系。

　　我们讲无“数”不在的世界的时候必须解决一个关键问题，我们的算法对科学家和其他人思考问题方式的影响计算科学确實解决了差异的问题，我们的研究人员做的事情生物问题、生理问题，比如说艾滋病病毒的问题是不是可以看到疫苗能够很好地解决艾滋病病毒，现在全球有400万人在受到艾滋病病毒的侵害在华盛顿大学医学院等地方认识到，艾滋病病毒很多问题和计算机科学面临的问題很相似艾滋病病毒面临的问题它是一种不断变异的病毒，所以很难袭击这些病毒因为它们不断变种。

　　还有一个问题解决垃圾郵件的问题。在这些方面总有人跟我们做斗争垃圾邮件总是想逃避我们的探测。

　　我们使用技术包括机器学习方式，或者有效地管悝以后的电子邮件情况找到一些特点。可以看到这些邮件可能并不是给你一个人发的，可能是给数百万人发的我们这里是要解决垃圾邮件的问题，我们要了解这些规律隔离那些不好的邮件。谈到艾子病毒的时候其实也是这样，按照它的蛋白质顺序进行隔离是一样嘚道理有研究人员发现，计算机科学和技术大家可以看到，有很多人能够一眼看出来找到这些问题，用它的这种能力来解决艾滋病嘚问题因为它经过很多变种的情况。大家可以看一下次序的情况看这个问题，找到关键的蛋白质次序可以认识到很多不同的艾滋病蝳的情况。

　　14年前我们压了一个宝建立研究院，可能公司认为没有必要但是我们认为要建立一个开放的环境，跟更广泛的研究界合莋确实在多方面获得了丰富的成果，在产品方面在市场敏感性方面，我们使我们的公司蓬勃发展而且改变了人们做研究的思维方式。我觉得越来越多的情况下更多人在考虑微软研究院作为他们的一个范例和榜样我们展望未来，再次做出这种承诺不断在未来进行投資，甚至是大大提高我们的投资力度我们计划发展在未来一年半到两年当中使我们的研究组织发展速度超过我们的历史上任何时期。我們发展的规模差不多相当于四个大学计算机科学系的规模最近我宣布建立北京的技术中心，这是在亚洲研究院的框架之下解决很多主体信息的问题我们不仅仅要重要做出承诺来做内部的研究，而且我们重新做的承诺要使他的研究跨入我们研究院之外使更多的人力和能仂投到全球学术界中间去。

　　今年早些时候我们在日本建立了学术中心我们也更加支持在中国的研究工作。去年我们的五个联合实验室成了政府的重点实验室我们继续在中国以及在中国学术系统的未来方面开展投资。

　　最后我想对你们学生说几句，这对你们来说吔是今后下赌注的机会计算机科学也是你们可以参与的最令人兴奋的领域之一，不管你是不是本身已经是计算机科学家或者是在其他方面工作，在计算机科学方面寻找新的想法、新的技术也好都是这样的，因此鼓励你们继续为未来工作鼓励你们继续工作，以便通过伱所说的研究创造更好的世界

　　洪小文：谢谢Rick Rashid博士精采的演讲，下一位演讲者是图灵奖获得者Ronald L.Rivest博士他也是美国国家科学院院士。Ronald L.Rivest博壵是MIT电子和信息科学系讲座教授他在MIT智能实验信息安全研究。Ronald L.Rivest教授1969年从耶鲁大学获得学士学位1977年从斯坦福大学获得计算机博士学位。Ronald L.Rivest敎授主要从事密码安全、计算机安全算法的研究他发明了ISA KEY的算法，这个算法在信息安全中获得最大的突破这个成果也使他在2002年得到图靈奖。他现在担任国家密码学会的负责人他今天要给我们演讲的题目是在二十一世纪网上上投票的新趋势。

L.Rivest：早上好谢谢你们，我到這里来能够感受到空气当中令人兴奋的气氛这是一个美丽的特别是看着这么多的学生在场我感到特别高兴和兴奋，我也要感谢微软、感謝中国地方政府感谢你们提供了这么好的会场，这么好的会议我今天要讲的题目就是二十一世纪的表决或者是投票，这是我最近研究嘚话题就是怎么样把票投好，组织好投票的技术这是我研究的问题。这是本地省市开会的地方开会的时候如果你参会的话每个人面湔是一个投票机，是否同意还是弃权也可以表决。我对于学生的话题格外感兴趣对于学生来说，喜欢研究计算机的安全以及人机界面以及把安全和人机界面问题搞好，用三个不同的做法来解决安全的问题认证、审计、加密、表决系统等等。

　　表决就要考虑安全的問题在美国我们有很长的欺诈历史，有一本书叫做窃取表决票还有一个路易斯安娜的投票，很多死了的人也可以投票表决的人不能決定，但是计票的人可以决定很多事情了表决技术是按照一般的计算机技术进行的，以前只是用纸张来表决现在仍然广泛使用，在美國我们用打孔机就是你选择的候选人可以打孔，以前老的系统是打折的做一个记号，或者是其他的机器识别的用铅笔画圈的。现在計算机怎么样用于表决呢这里涉及到一系列复杂的问题，因为明年选举以后有一些问题美国法律规定不要搞了。现在有一些问题很哆州要求用纸张进行跟踪，因此我想提的主要问题是这个技术可以用了是不是我们可以把它做好准备，因为图纸表决、电子表决现在还無法找到答案我们现在还不知道。我想说明一下在美国表决的复杂性这个地图是在80年选举总统时所提供的不同技术，红色的是打孔系統现在看到的绿色的是画圈扫描的，紫的是触摸屏的系统目前美国的表决系统研究开展了不少的活动，Avi Rubin得到了750万美元的奖励同时我吔参加了表决的另外一个项目，我们也使它理解了目前这项技术的好处和弱点此外还有很多表决技术方面的问题，我在委员会工作来淛定指南，以及确定表决技术同时还有很多积极分子，需要纸张的跟踪系统或者是有些人需要其他的系统等等。法国总统贝克先生也荿立了一个委员会需要报告、用户认证系统等等，这里有很多问题是如何使得表决系统更加有效这个问题是涉及到很多不同方面的。叧外还有表决人隐私的问题他投谁、选择谁他不知道，因为你不能给他一个所谓的收据还有就是卖票，因为美国人以前总是把票卖出詓的同时可用性也涉及到有没有表决系统，因为有些人不能到那些地方这就给他们提供了表决的可能性。这些问题当中我特别要强调嘚是隐私性从安全性的角度来看这个问题是非常难解决的，没有收据就无法知道在表决投票之后有些人更正了什么东西因为搞电子商務收据也是一方面的问题。考虑表决系统的时候要考虑谁要改变答案几乎所有的人，包括政治上的积极分子都希望他们自己的候选人獲胜，甚至外国都会想影响到结果因为结果会影响到他们，因此这个过程所有的人过程当中涉及到的每一部分都需要研究，需要有过程技术来防止各个方面不能够出问题这就是这个问题的严重性所在了。

　　现在的问题是令人相信的程度有多少目前我们还不知道，現在网上有一些软件用这些软件可以分析，有些加密问题还是搞得不好因此所谓的最先进技术还是要改善的。这些系统非常复杂安铨方面也非常复杂，二者之间也是有矛盾的有几百万的单位在地方上加以使用，有时候是偶尔加以使用在选举的时候才拿来使用，因此管理这些机器对有关人员也是很难的还有一个过程，因为这些机器和系统目前不是很好还需要改善。从另外一个投票的角度来看那么多票是不是记录下来了，比如说摸一下屏幕是不是把我的票计下来了这也是一个问题，因为这个东西应该是更加透明、更加令人相信的

　　最终我们可以想到三个方面。第一个在美国还是比较受欢迎的纸张跟踪系统，有一个打印的东西投完票以后打印出来一张紙，你再检查一下让表决人看看是不是对这个是比较受欢迎的，也比较实用的第二，是我研究的领域就是加密系统，我还有一个研究生也在进行这方面的研究我会更好地介绍这个表决系统，也就是把标准提得更高一点使得系统更加有效更加安全。一开始是VVPAT是一個博士生写的论文，就是你投完了票以后可以打出一张纸看看是不是你选的东西，如果是你选的东西就放在那个地方可以成为正式的計票了。David Dill教授搞了一个软件项目而且在这方面成为了积极分子，他主要在加州工作现在已经有20个州开始要求这个系统了。这些还是有些争议的需要注意到票，要保护好实际上有两个表决程序，第一个看屏幕第二看打印纸张，这对于有些人比较艰难特别是对于残疾人比较麻烦。另外不能把所有的问题都解决比如这个单子上没有这个人，如果投票人说打印的东西不是在屏幕上显示的东西那么他僦会怀疑这个机器，或者这个机器让他不能用这时候造成服务器系统表决系统不能使用了，因此不能提供端对端的安全保障表决人投叻票也不能够说看看记录上的票是不是他的意愿，然后把他的意思表决出来、反映出来你在保证他想怎么投之前需要电子系统加以确认，最后进行投票、进行了记录之后你怎么知道这些没有问题，表决的问题怎么能够做得更好能不能够提供端对端的安全保障，相信投嘚东西是你希望投的我的同事们搞了加密的表决系统，加密计算机有三个做法一个是盲签，就是当局闭着眼睛签字了我们叫FOO，因为加密的方式可以把这个加在一起投票以后加密，加在其他人的票上是一种加密的形式。你可以加进去你的候选人你可以把任何你喜歡的候选人加到选票当中去，从这个意义上来说这个要求没办法满足最后Chaum提出了建议，Mixnets是提供一种逆遴可以进行投票计算，但是不能縋溯回谁投的票所以要在计算的时候加密，显示出了逆遴的特点Mixnets是一个新的理念，这是二十一世纪或者是再往前的时间里我们要看到嘚一种趋势我们还有一个想法，要合适投票人的身份官方的票是电子票而不是纸张票，所以完全是电子形式的投票因此官方的票是電子票，你投票的时候你的票是加密的而且是在公共广告栏里面可以看到你的投票加密回执的。另外还有纸张回执如果票面与你希望嘚不符合，你可以用纸张回执更改我们要确定投票人要投的票确实是他想要投的票，所以确实要了解有一系列的数据给它加密这可能仳较难，他可能不太信任这种投票机器所以他没有办法对这种加密的顺序进行计算，计票机提供这一系列的数据可能不是很完善所以怹需要拿着这个证据发现一下看看是否他所投的票进行了完整的加密，所以这样的话就能够处理这两个部分对它进行加密，对他所投的加密票进行计算给大家一个很简单的方式，如果我们给投票人两种打出来的加密电子的方式随意选一个放进去，另外拿出来进行加密可能有一些投票积极分子剪掉，然后选择一个拿出来两只手可以像猜硬币一样的，你也可以猜硬币在我的左手还是在我的右手你没囿看见我的硬币，但是硬币确实在我的手里面这样就会对投票系统有信心。如果欺诈的话就容易发现为了影响投票结果很可能会有欺詐。

　　接下来讲一下Mixnets是如何运作的左边是一个很简单的文字选择，每横线是代表每个投票人机器进行加密，加密完之后提供一系列嘚数据是条形码，这些条形码放在公共布告栏上我们要把票数重新排列，名字放在一边这样没人知道怎么样进行排列，中间的Mix—Servers可鉯提供混杂的Server最后我们可以对每个票进行加密，把加密过的票进行计算所以是三部分，先是投票加密然后服务器进行随意组合，最後比较重要的就是计算问题是你如何能信任这里面每一步，因为你需要证据来表明所有工具、所有步骤都是有效运作的我们讲到了第┅部分，你投的票确实是你想头的票但是你必须要争取证明，我们如何能知道这些混杂的服务器确实能够进行运作因为重新加密，所鉯我们大出了一系列编码但是编码不能混在一起，如果看一下条形码的话已经是经过服务器重新加密和服务器的重新混杂他可能就会紦一些重复投票过滤掉，最后加密的时候是否能做出合适的加密实际上最后一部分是并不是很难做的。但是如何检查Mix能够正确发挥它的功能一个叫做Robust的混杂，它可以提供混杂的序列排列你要知道进来的东西和出去的东西是一样的，如果使用不同的加密形式出现的结果昰不一样的我和Jakobsson还有其他同事一起做的研究，加密有不同的做法原来是剪，后来就是选择使得每个mix服务器能够显示一半进出系统这樣投票人的身份能够得到保护。如果我们把Mix服务器进行配对比如Mix服务器1和Mix服务器2配成一对，这两个之间有编程码的流程然后我们可以隨意决定Mix服务器1或者Mix服务器2应该显示出两个服务器中间的结果，第一个服务器和第二个服务器之间是共通的所以每个服务器都只显示它所交流信息的一半，如果配对之后服务器2对服务器1提出挑战的话就不会被接受所以就会被抓住，所以我们就机率的计算来检查投票系统嘚公正性如果我们发现数替能够做假的话，但是机率就会变得很低这是很好的方式。

　　有的时候我们会做到更好Public Mixing是我在MIT的学生做嘚一个研究，现在还没有成果我们做了矩阵的排列，每一行有11这代表了这样一种情形的排列，然后进行生成矩阵本身也会进行加密，所以才生出这样一种加密后的矩阵所以加密过的0使每个项目都变成0或者1。这样代表的就是票数我们需要一种过程进行加密或者计算，加密过的Vector然后得出加密过的结果最后你会有非常好的想法，Nissim跟我介绍了这样一种结果所以矩阵就可以进行成倍数的计算，这样的进程就可以确保投票人的身份被保护能够提供一些被加密过的信息，但是所有这些矩阵都是被加密过的代表的顺序都是随意排列过的，峩们有公布过的矩阵有这样一个Public进行加密，所以所有的人都能够提供出这样一个Mvv的领域是进入，Mv是加密之后v的结果所以谁都不会知噵M和v之间的关系，但是谁都知道这是加密过的这是一种非常好的想法，这样人们就可以取消在投票时候对混杂服务器加密的信息这就鈳以使用最新的算法来确保投票人的身份得到保护的方式，这是一种非常好的系统

　　这是使用密码学解决投票的，另外一个做法就是必须达到标准的程序这样可以被美国认证为被投资者加以使用，当然在美国的情况比较复杂一点因为联邦的标准不适用于各个州，但昰许多州还是实施联邦制定的保准最近我思索了一下整个过程，这很像提供开发出高性能软件和硬件的方式我们正在提供软件体系和硬件体系，因为你必须对它的软件和硬件体系有信心尤其是它代表你来发挥一些作用，比如说在E商务方面进行投票的时候所以必须建竝这种性能。投票是一个非常好的例子提供高性能的软件和硬件，我觉得微软公司在开发安全的计算技术方面起到的重要作用和安全技術跟我刚才讲的都是相关的我们必须思考一些问题，在考虑投票标准的时候不仅仅要使投票人可以对投票过程进行追踪也可以进行无線的，你如何建立可信赖度的体系你是把代原码公布还是把坏的原码都拿到，所以代原码可能会公开制造商总体来说不愿意公布它的玳原码，还有文件的要求供应商在测试的时候应该提供什么样的文件。安全性是一个非常有意思的特点因为现在不是要求它有多少功能，坏人如果攻破这套系统之后会做些什么许多聪明的人是没有办法突破它的安全设置的，所以没有办法影响到投票的结果这是一个非常困难的事情，我们现在拥有的Tiger小组的评论他们是非常聪明的人，他们可以了解所有的文件然后说想试图突破安全系统看看能不能夠解决，以前在美国没有这些既定的标准我们需要了解一下应该采取什么样的努力，Tiger小组的成员应该是谁是如何选择的。最佳的做法鈈仅仅是硬件的问题投票系统还牵扯到管理这些硬件的人以及投票选务官员，是帮助选民和投票的这些人这是一系列不同的因素。我們经常看到安全系统不奏效因为由人进行的界面要么是很难使用，要么就是安全性不够投票体系经常有一些商业上的运行，比如说微軟的数据库或者是微软的操作系统这些商业上要运行的数据有它自己的脆弱性，所以投票系统要确保整个体系的每个组成部分如果有任何脆弱存在的话都要进行加强，还有就是要管理一下谁来管理这个系统这里面牵扯到了诸多的问题，还有要解决标准化的问题我们看到系统有多重功能，可以用电子和非电子的方面来做刚刚也讲到了软件开发问题，微软在这方面开发出安全代码我想投票系统基本仩需要实施这种类似代原码的方式，这样可以产生正确的结果你所希望达到的结果。投票系统软件开发之后你如何确保投票体系里面所鼡的软件确实是被认证和批准过的还有数字认证、数字签字等等这些技术都在这里面发挥重要的作用。整个系统的认证合适也是非常重偠的作为一个选务官员，你如何能够知道这个投票系统里面所装的软件都是对的这个系统第一天在仓库里呆着第二天用，你怎么知道這个机器里装的软件是对的怎么能够确认它的设置是对的，这并不是很简单机器要弄过来的话你问有些什么文件可能会向你撒一些谎，所以要确认这个机器有没有被人动过手脚这也是今后发展的一个重要方面，希望这方面的技术在今后的表决系统当中可以加以使用峩们往前看的时候也可以看到其他的问题会继续出现，包括远程的表决这也是美国的一个热门话题，有很多的州包括墨尔本州是通过邮寄方式表决的我特别不喜欢这种方式，因为邮寄和网上投票现象是最容易使腐败现象发生的所以在互联网方面的投票压力也是很大的，我希望大家思考这些技术通过什么样的方式能够减少改变投票结果的影响，最好的方法就是不止是第一次表决只算最后一次表决，仳如说早上有人给你付了钱去表决下午又要表决了，对于标准化的问题同时系统要认证，同时这也说明商务性的软件有很多的脆弱性

　　最后我做个结论，我现在给大家简单地介绍一下在表决系统方面的技术以及研究工作表决系统从技术角度来说是很大的挑战，我們现在处于一个过渡阶段以前是纸张打孔卡的系统走到电子系统，现在还不是很清楚有一个很清楚的迹象，加密可以起到很好的作用可以使得界面更加清晰，整个东西模块化容易测试、容易评估，但是今后发展的步骤还不是很清楚我们要相信机器是好的，不需要書面的东西重新计数靠电子的就行，又可以不影响表决者的隐私怎么能够把这些做好还不是很清楚，因此希望搞这方面研究的学生选這方面的题目进行研究这方面还有很多工作需要做。谢谢！

　　洪小文：谢谢Ronald L.Rivest博士的精采演讲下一位演讲者是Jeannette Wing，她的中文名叫周以真我20年前去CMA念书的时候他刚刚到CMA担任教授，她今天的长相和20年前完全一样养生有道。Jeannette Wing在1979年得到MIT的学士学位83年在MIT得到博士学位。她的研究方向非常广包括变频式分布系统的规范和认证，以及编程语言他目前主要的研究是提升软件安全技术的设计与评价工作。Jeannette Wing教授曾经參与编写了11本书100篇的期刊会议，以及博士论文他在很多国际研究机构都担任顾问的要职，例如在国家科学院计算机科学与通讯部担任主席他也是微软可信度计算委员会成员之一，同时他也在国家实验室和国土战略安全咨询委员会的会员他今天要演讲的题目是我们如哬能够把我们的软件做得更可以预知，使得它更加安全现在我们有请Jeannette Wing教授。

　　Jeannette Wing：大家早晨好！非常荣幸能够今天早上到这里为这么多公众以及非常优秀的人士发言我想感谢微软组织了这次会议，也要感谢浙江大学以及感谢地方官员，作为东道主在杭州这个美丽的城市举办这个会议

　　我保证我要讲的是可预测的软件，这基本上是一个摘要但是我想借此机会向在座的学生、系主任、校校长、计算機科学的研究人员，本着这次会议的主题也就是“二十一世纪的计算”来介绍一下我的想法，这一点也是与计算机科学有关的开始的時候我先用一分钟跟大家讲一下计算的讲法，之后讲一下可预见的软件

　　我对这个领域总的想法是这样的，计算机科学要超过任何行政、任何国家的边界这是我对于计算机科学的一个远大想法。计算机应该是在二十一世纪中期每个人都应该掌握的一个技能就像读书寫字一样，这也是我的梦想大家可以想象每个孩子都知道如何像计算机科学家那样思考，这会是怎样的世界呢要实现这个梦想，计算囷计算机就要一起来工作我要给大家讲一下计算思维的例子。每一次面对一个问题的时候我们都要面对一个问题这个问题的难度有多夶，每一次我们都有精确的问这个问题的方式也有回答这个问题的方式。计算的想法就是把看来更加困难的问题换成一种我们知道是如哬解决的问题通过嵌入、转换、模拟等等，计算的方法就是选择一个适当的代表或者模型反映出这个问题的有关方面使得它有不可更總性，计算的想法就是把解决复杂的问题分开来解决同时也要判断它的设计和好处，简单化同时也要检查分析多面的一般化的问题，計算机的思维就是要防止出现最大问题的时候如何恢复这种东西也涉及到多用户，这也涉及到僵局然后是涉及到解决非常难的人们的困难等等。总的来说计算机思维就是采取方法解决问题，并且理解人类的行为而且是和计算机科学非常关键的一些想法，有些计算机思维最喜欢的例子你也可以告诉我们在学习方面，计算机思维也使得统计问题革命化了美国的一些统计部门也在用计算机科学家，因為他们知道今后他们的未来在这个职业美国的计算机学院也开始拥抱现有的部门了，我们的梅隆大学和微软公司开展了合作我们认为算法和结构以及计算机思维方式将有助于生物学的发展。也有专家在游戏理论以及计算机方面进行广泛的研究

　　下面我就讲可预计的軟件，这也是有想法在里面的这和前头相比不如那个那么宏伟，但是更加实际我主要想对在座的学生讲这些内容，因为希望你们能够媔临我们研究的一些挑战使我们的软件更加有个性，就这个问题使你们能够兴奋起来软件应该是无“数”不在的，不能对软件周围画┅条线它周围应该是有小的应用程序母本构成的，还有大的一些东西包括操作系统数据库，很难定起来难以找到的东西比如移动编碼当然是永远存在的，但是是有记录的很难找到谁是这个软件的写者，令人不能相信的是不能知道来源和创造者同时也是认证的编码，所以相信是第三方的编码不久就会有一些这样的图画，我会逐渐把这个变得更大这是医院的一个病人，给他输液输液管道是由软件控制的，医院的病人也是有专门的房间同时医生也带着PDA走来走去，另外还有一个远程病房会有医院档案记录的地方比如记录一下这個病人花了多少钱。同时医生也可以拿着手机开着车远程对病人治疗情况进行监护这个远大想法并不是不太现实，我们不久就会看到这些可能还会很快看到，问题就是到处都有很多软件我们如何相信软件能够把工作做好。有一些非常有意思的想法和评论一个是嫁接系统，这种系统在关键系统当中是有的特别是控制性的软件来确定是不是做了某些移植，在核反应堆控制系统当中也是用这种软件在智能汽车、智能高速公路上都用这样的系统，这是多样通讯系统涉及到很多不同的装置，包括使用什么样的机制、什么样的协议我们箌处都可以看到分布式的系统，每天都可用并且可靠安全。前面也讲到隐私的问题要使得隐私在表决票上加以保护是很难的。关于人機界面这一块要注意到社会上能够接受。最后所有人都注意到我们今天做的这些事情都会需要面对，甚至是更多这方面的问题也许紟后的问题会更加大了。

　　我想讲一下多重系统这方面的挑战嫁接混合系统这方面环境是多重的、难以预测的，这个环境的复杂性是甴于自然造成的有些非常复杂的东西要做模拟，还有一些不同的变量都要加以反映系统完整性的特点不是考虑到功能了，要使得计算能够更具有出色的结果但是根据其他资源的限制还要考虑到硬件。看这张关于混合系统比如说刚才那张照片，都可以意识到非常复杂怎么保证这一点，到处都用的软件有什么影响一个是纸张问题要加以保证，当然还有可靠性除了可靠性之外还有安全的问题，在我們的编码当中还有很多方面我认为安全性、可靠性、可用性这几个问题就构成了令人可相信的计算组成部分，微软公司可以说在这方面昰领导公司之一领导着令人可以置信的计算，领导着我们的软件发展到处都有软件，这还有什么影响我们如何来确定这些特点如何擁有的，对软件体系做一个什么样的定位性能很好以及正确这两个方面我们说了几十年了，正确就是对不对性能就是快不快，我想正確性和性能还是不够的我们是否能够实施可信赖的技术。什么叫正确和信赖这意味着什么，这个听起来不错是不是可以及时做正确嘚事情，比如说Google是已经不错的结果了但这还不行，对于Google来说并不需要结果是完全准确的只是需要这些差不多的回答第一时间出现在浏覽器上面就行了，但是在技术方面还是不够的我们应该尝试可预测性的标签，是否可预测意思就是说正确的行为、而且是可接受的行為，和不可接受的行为而且可预测可接受，这是由最终用户是人或者机器来决定的，当然不同的用户之间对这个有不同的界定这些方法我已经用了很多年，你必须从一个体系的模型入手这样的话你可以通过很多的模型进行预测，所以是企业这样的一个方法这里有兩个方面，一个是体系方面的模型另一方面是他的这种特征，就是你希望这样的体系有什么样的特征所以两个信息放到两个选择里，洏且是自动的你或者说是或者说不是，你输入的信息是看是否能用这些检查装置是看这些检查方式你可能会获得一些模棱两可的结果。有时候你的过程不够有力可以是你得到准确的答案另外企业方面的，你需要具体的说明你想让系统展现的特征企业方面的另外是一個竞争和谐方面的进程，我们显示这些特征是有效的对特定的系统模型来说是可行的。如果我想我的客户从中有所获益的话使他们了解系统要起的作用，或是把核查软件系统进一步的推动模型核查有很多的好处，速度快可以处理大量的文件，你不必有一个完整的对特征的具体规格的说明或者说在做任何的工作之前，不必做很细的规定那么，他的范围是非常的广从安全的特点，那么安全性的特點是说不会有任何不好的事另外，最终一些好的东西可能会出现我想这个模型核查的主要的优势在于这种核查系统，可以告诉你这些特征的成立或者是不成立但是他在告诉你不成立的时候，他就会提出一些反对的例子就是说这种核查的价值，恰恰是为什么说像微软這样的公司使用这种模型核查因为这些反例子告诉了我们为什么这种软件设计是不对的，他是作为一种消除错误的机制

　　但是有一個很大的不利之处。就是空间扩展的问题对模型核查来说，假定你认为你输入的东西在每次作核查的时候，另外一个人可以说他处理這个系统的时候他的量比你多，这个量的问题是来源于不同的渠道比如说有平行错误的时候，你有很多这种线程的控制比如说在软件区域很丰富的时候，你需要看每一个系统到处理多少的程序这个问题成为过去20年来模型研究员所关注的对象。

　　比如说分解和分解嘚技术还有多模型的技术，这张图显示的是这有两个输入的信息这两个信息放到黑盒子里面去，他被成为模型检查器模型的问题是玳表一些最后的结果，这些问题是你是否对MS成立

　　给大家分享一下模型中的一些成功的程式，这是我的学生找到了很多模型的错误其中很多在获得博士学位的人在80年代就提出了一个理念，94年的时候INTEL公司如何发现Pentium流程的问题许多公司进行模拟测验，来设计何时可以看箌软件的错误而且最激动人心的故事，最近几年里面由微软公司所做的工作在2000年的时候，我们的发言人已经讲过的这些结果非常成功，Bill Gates说在2002年的OOPSLA里面提出的故事模型核查在过去30年里面取得了很大的进展。

　　这是最近两年的结果一个是针对我所在的安全性方面的笁作，作为模型检查的一种扩展怎么解决安全性的问题，之后会给大家显示一下我在卡内基大学的同事所表明的一种新的技术就是把混合模型核查的新系统。

　　模型核查是通过提供反例子告诉你为什么你的系统就某个特定的特征来说是不对的在我所做的工作里面，峩们爱查出所有的反例子特定的模型和特征不止是一个。这个图从左到右先开始最初的一些状态之后进入最后的阶段。红色团队是由媄国国家实验室建立的现在在开发这样一种图形，它把红色团队加入进来告诉他攻击者如何进攻我的体系，它提供一种攻击路线图這个图的提供是手工做的，这意味着一些不一致性、重叠性以及一些不完整性。做任何手工工作的时候我们一直在说能否自动来做这昰我和我的学生一直在问的问题，所以我们采用模型核查来自动产生所谓的攻击路线图反例子就把它形成一种攻击。反例子是来自一系列Stat组成的这种攻击就形成了一系列的Stat。就是说违反了特定的安全特征的这是单一的简单反例子，入侵者能够成功的道路具体来说，茬所有的Stat里面入侵者没有获得托管系统的准入最后的M就是安全特征，攻击违反了行动所以M是一系列的攻击。

　　我来介绍一系列的办法我们有M的攻击，以及G的图形最后一种办法我们用M和G进行计算，然后产生LM和(I)然后我们得出G，最后我们就形成这样一个G的供给图这昰一种非常简单的算法，然后得出我们所需要的东西

　　性能很不错，而且是达到了这样一系列的技术这个例子是我们如何把模型核查扩展到各种各样的反例子里面，然后用到安全性能当中去下一个例子是新的技术，证明所有的模型核查都是试用的在这里给大家介紹一下混合体系。这帐技术是专门用于处理大的Stat尤其是无线Stat。现在有一个具体的系统M，先得出Mh如果违反了(I)，你可以继续去找一直箌停止的时候。这里面有个理论叫做危机理论。如果能够满足(I)的话那就证明最初的模型M能够满足(I)。这项技术已经在硬件里面得到使用尤其在核查的时候得到了应用，以及其他一些例子得到了应用我给大家显示的例子是一种混合的系统，混合系统属于无线系统你必須处理各种各样的变量、状况，以及气压、气温、流通速度以及其他一些因素，告诉你处于什么样的模型中通过这种控制图，一系列嘚反例子技术肯定有个对应的途径实际发生的情况是你先开始M系统，然后把原先的进行界定之后找到你的反例子，最后对模型进行测驗如果没有对应的途径的话，就要继续去找你要确定在抽象当中所找到的例子是可以用不同的技巧做到的，可以用不同的方式更重偠的是你可以用不同的技术，只是审查反例子当中的一部分就可以了因此我们把技巧适用于那种平常性的控制。

　　在美国有些高速公蕗是连接不同城市的这些高速公路通常上面没有车，或者车是非常少的这是很难令人置信的一件事情。也许从纽约到西雅图去或者昰开到旧金山去，这个距离比较远了你坐在车里还是很累的，车上有这么一个功能你累了时候就按一下按纽，脚就不用加油了这时候定个寻航，比如70脉因为前面没有车，你就不用总踩着油门了这就叫平衡控制。至于说前面没有车或者是车比较远你不会追尾，这種系统就比较好了但是在城市里开就不行了，在杭州开就更不行了在杭州根本就不可能用寻航控制系统。但是美国的一些人会提出峩们会想办法，来找一种适应性的寻航控制前面有车你离他比较近的时候，而且你的速度在不太安全的情况下如果你靠他比较近了的話，这时候我们用一种自动方式你的车就会减速我们把这个叫做适应性的平衡控制系统。

　　这里要确定这个系统当中的一些特点实際上特点也很简单，没有追尾就行了我们对这个系统做了一个模拟，是非常简单的一种混合式的系统你可以看到这里左上角的状况，峩会把这个结果再说明一下在左边可以看到状况，用一种反例子的做法就是说你可以用刚才检查反例子的一些状况，这时候几乎没有什么要检查的状况因此这个技术是非常令人兴奋的，我们可以用于一些非常困难风险非常大的系统当中

　　我给他们提出一个挑战，這并不是软件检查的挑战软件模型检查为什么变得那么具有挑战性？有哪些因素呢包括编程语言，以及今后到处都有的软件这本身僦是软件模型的复杂性和挑战性。这里列了这么多问题这里其中一个有可能会成为你们今后写论文的方向，这些都是值得研究的挑战领域也是面向我们这个社会的，微软也在解决很多这方面的问题你可以问一下要检查什么，是检查编码还是检查编码的设计有些人可能会说，不要去管码了只要检查设计就好了，因为设计错误了检查编码也是没有用的。有的人关心的是软件架构模式检查或者叫审查。我的同事还有一个问题那些特性如何进行检查，因为今后的软件越来越复杂他们今后的检查如何进行，我的回答是不止要进行模型检查模型检查同时要进行动态分析以及审查检查的技巧，因此模型检查只不过是整个工作当中的一部分而已

　　最后结束之际，我想说的是我对于上述所有软件的想法要实现的时候都要超出传统的计算机科学领域，包括数学、自然科学、经济学、行为科学还涉及箌用户使用的问题，社会层面的问题还有公共政策方面的问题，另外还有隐私方面的问题因此都可以实现软件方面的理想，这就要在計算机科学方面取得关键性的进展同时也要在计算机以及其他学科相互交叉方面取得巨大的进展。

　　洪小文：非常感谢Jeannette Wing博士精采的演講下一个演讲者是我的好友以及同事Alexander Gounares，Alexander Gounares是Bill Gates的左右手是他的技术顾问，帮助全微软公司制定技术策略他参与了很多微软公司项目的推動，比如MSN搜索、新一代互联网服务、虚拟地球等产品Alexander Gounares 93年加入微软担任软件开发工程师，在此期间他在各种不同项目当中担任不同的角色包括软件开发工程师、开发经理、架构师、项目总经理，在他做Bill Gates先生的技术顾问前Alexander Gounares负责微软平板电脑、平台、数字墨水、数字技术以忣手写识别的研究与创新。在加入平板电脑部门前Alexander

Gounares：大家早晨好，谢谢诸位的光临我在工作当中做的一件事情就是研究一下在学术界、业界发生的事情，以便对今后的趋势更好地了解我们考虑了开发，发展新的技术可能要花很多的时间因此我们发展的技术一定要是非常适合的，而且到这个技术成熟的时候是要考虑使用的我今天要介绍的是五年之后的事情，预测本身就是有风险的因此这个东西能鈈能实现我不敢保证。最近有一本书《简单化是靠近》那里非常有意思地介绍了2040年今后的事情，这个人想到今后可能会发生什么事情叧外一个要说的是，45分钟之内我不可能面面俱到地给大家介绍因此我会选几个我非常珍视的题目给大家讲解。

　　如果你希望通过非常簡单的方式看一下今后有什么变化有这样简单的两句话，每个东西都计算每个东西都连接。今天我们已经看到这方面略略成形了包括浏览器、Google搜索、手机等等，今后我们会看到更多的东西联系在一起因此它的作用也会更加重要。我们来看一下一个有知识的工作人员茬2010年的时候会是什么样大家已经想到了到处都有显示器，这是墙面的显示器在墙面的显示器下面是一个手机，因此你可以看到显示器箌处都有在我发言期间你也可以看到到处给你们显示的显示器。今后会发生一个事情所有的物质都会混合在一起，而且是连接的比洳说你会拿一个手机，把它作为一个显示器的遥控器比如说遥控电视频道、寻找信息等等，这已经进入到我们称之为无缝连接的世界了这种连接需要软件和硬件的一种连接。

　　这是一个工人他拿了一个手机，看了火车时刻表上的火车在座椅靠背上也有显示器，比洳飞机上的一些商务舱就可以看到显示器放在每一个座位的后面因为正在显示的价格越来越低，所以它会到处都有所有这些东西都要怹们能够连在一起才行，比如远程电话、显示器显示在火车的座椅上等等更深入的变化，到2010年手机就应该拥有一个混合性的CPU这是我的┅个期待，32G的硬盘闪存也是可移动的，以及各种各样非常多的不同的连接包括UWB，同时包括超频款待的UWB还有摄像头，不止能录像还能在显示器上看录像，以及IP TV(互联网电视)2010年的时候你可能会拿着电话通过它上网、看电视，基本上是看任何内容因此我们可以深深地扎┅猛子到电话上来看一下它的特点，能够使它真正运作的特点就是可连接性现在开展的工作是非常令人兴奋的，我在这列列一个表格紦连接性的工作是通过范围分类的。我们知道定期通讯这个是比较近的比较说拿起一个电话刷一下你的卡，买你需要的日用品在日本，已经开始出现商务上的这些基本内容了另外还有一个超级带宽的东西，现在很多都是靠线路连接今后就不用线路了，可以靠带宽这種东西把显示器连接起来超宽待这种东西使得无缝连接实现，比如拿着电话上车可以用宽带来管理你火车上的一些用品。在距离上还鈳以做得更远802.11n MIMO就是带宽更宽、范围更远，MIMO是代表着多输入、多输出

　　我心里还有一个问题，就是电池不行到目前为止我们没有看箌电池方面没有什么非常神的东西出现，电池在技术上是有很多改善锂电池也不错，一块一块东西组成的很小的东西就可以提供很多嘚电量，这个没有像摩尔定律一样每一年都翻番

　　现在很多人在研究燃料电池。对于汽车从污染角度来说，个人不是觉得很兴奋泹是用在电池手机上还是有很多挑战的。比如说燃料电池也要为什么有的数据线充电很慢这个问题从业界来说必须要看如何解决这个问題。反过来在电力方面有很多好的消息比如说低能耗的LCD或者是多核的CPU，这非常有意思如果你的手机只放在兜里不干什么事，或者说你呮是接一个电话其他三个核可能关掉，这样就会比较省电打个电话之后你想看电视的时候可能四个核都能够启动，这样就可以给你全媔的多媒体体验在这个方面来说会帮助我们改善能耗的问题、电源的问题。我没有预期会出现什么巨大的软件方面的发展事实上这需偠电池的解决，现在很好的电池还没有出现

　　能耗方面的问题。也就是说不必把所有的东西在手机上进行计算联网之后可以放到后端来做，我可以给大家做一些演示可以说从整体体验来说其中很小一部分是放在手机上来做，这样可以降低能耗的问题

　　现在换一個角度讲一下在办公室里的情况，也就是家庭办公室我们专门放了一个24英寸的显示器，这个东西的价格可以说跌得非常厉害几年之前差不多要3000美元，现在差不多870多美元就可以在降价时买下来了可以说降价降得一塌糊涂。大家可以看一下在办公室的情况很大的显示器，但是在这个屏幕上只是进行一个视频会议将来会看到所谓的视频对话，现在很常见的事情比如说通过互联网进行对话，将来几年内佷快的视频电话就会出现

　　我们再更深层看一下2010年PC的情况，大家可以看到它会是16个内核的CPU3TB的硬盘，我们叫做混合的硬盘一会儿我洅讲什么叫做混合。这个计算机特别的库它等于是一个加密的U盘，可以拿下来作为16G的U盘用有线的网络，可能是一秒钟100M的速度左手边夶家会看到它的显示情况，大家可以看到有很多的用途比如说可以去打印扫描，或者说录一些留言或者说有一个提醒，告诉你有电子郵件也就是说任何的信息你可能不需要全面调动出来，只是其中一部分而已

　　我们看几个题目，有关2010年PC的情况其中一个最基本的茬过去几年业界发现的情况，从增长走向所谓的多核这是非常深刻的东西，还没有完全理解它能够产生的影响过去都是兆赫的增长，軟件在计算机上的运行速度越来越快将来多核的概念是什么？同样的软件如果它的设计不是针对多核设计的话，速度并不快我们不呔肯定会出现4G的责任情况，我觉得2010年的时候我们不会看到30个GPU的芯片我们看到更多的是3个GPU的芯片。这在我们的软件设计上有很大的影响軟件核查技术都是特别重要的事情，如果想用多线程的代码是很难把它写对的多核会使这个工作更难，所以核查可预计的软件的这些事凊将会是我们取得成功与否的关键要素不是仅仅有这些软件改善它的并行特点，还要改变它的系统架构其中一个就是INTEL的VT的技术，也就昰让你的新机器效率更高有多个操作系统在同一个机器中运行。这些操作系统怎么做呢一方面来说它有兼容性的问题，现有的新的软件放在计算机上去更多的问题是大家可能会把它的核心做一个专业化的处理，比如说有一个是专门进行DVD解码的内核是非常可靠的，如果我看GPUGPU就是灵活性处理单元，这个最近发展得非常神奇它在能力来说比CPU的发展速度要快。这里有个问题CPU和GPU来说将来是否能够合二为┅，特别是进入多核时代的时候如果我们考虑这个问题的时候，老的技术更广泛来说叫做可重配置的计算也就是把软件拿出来，加上┅个硬件的芯片可以说针对一些具体情况做了最好的优化，比如说你做媒体的编码或者是打电话的话它的性能可以说是非常好的，因為它进行了重新的配置但是我们现在还不知道会产生什么影响，只是做一个推测而已

　　还有一个方面，也是非常重要的存储方面，特别是硬盘方面再过几年每年都是100%地向前发展，可以说现在的磁盘价格越来越便宜我们觉得在2010年的时候它的速度会放缓，不可能永遠会翻一番但是随着存储的增长有一个挑战，获得信息的延迟它转移的速度并不像它密度增长的同步，所以这里有个问题你的磁盘樾来越大，但是通向磁盘的管道还很小在2010年的时候可能要四五个小时才能把一个磁盘装满，如果有十个磁盘的话要四十个小时才能把它充满所以这里有软件分配的问题，也有相关的问题现在你拿一个MP3就可以把一首歌拿走，比如说你想有100万首歌100万是什么概念？差不多4個CD的大小在2010年的时候，计算机可能把所有100万个歌就预装进去了也许是这样，也许这是更有效的方式省得网络进行传输。这是我们非瑺关注的一个事情特别是当你有很大磁盘的时候。

　　另外一个令人神往的问题就是快速磁盘，大家都有U盘这就是每年翻一番的速喥，我们还有一些事情比如说闪存的技术，如果反复使用次数太多的话就不能使用很多闪存能够解决这个问题，但是如果用得比较狠嘚话还会有些问题会把它磨损了。现在只有解决磨损问题的一个折衷的做法没有一个非常革命性的根本做法。大家如果考虑闪存和硬盤的情况我们觉得有些事情要混合地去做，它充分地利用了两点之间的优点闪存损耗是非常快的，如果在硬盘上加了一个闪存缓冲的話速度就会非常快，还是用硬盘作为一个主要的存储尤其是大量存储的成本很低。再看闪存有很多的笔记本，也许这不是一个多媒體的笔记本大家会看到只是一个30G的闪存作为存储，它实际上是非常耐用的在2010年的时候我们会看到有很多这方面的平板电脑或者是笔记夲电脑出来。现在的争论很多人们讲的HD—DVD这些问题，我这里不想发表什么意见或者说将来这个问题能够解决。但是有一个很大的问题Blu—ray和HD—DVD会不会成为这些事情的最后终结者呢，比如说它的效率问题拿一个闪存放到Blu—ray的磁盘上，到底情况会怎么样我们不是很清楚泹这是一个非常有意思的问题。

　　我们大家可以看到视频通讯的问题我觉得确实会有这样一个技术，它们实际上是一个摄像头把它放到会议室里面去，有一个软件可以360度让所有参会者都看到会议室的情况会议室会有一个非常大的显示器，如果有宽带连接的话我们会看到很多类型的虚拟会议会通过这个方式来开其中有一个非常有意思的问题，这不仅仅是技术的一个现象全世界已经成为一个地球村，我们跟中国、印度、欧洲、美国人进行合作其实现在你住在什么地方，边界并不重要只要你有很好的宽带连接，就可以和世界上所囿的人进行交流我个人的工作是和Bill Gates合作，和微软各个地方的同事都可以交流比如说我的同事，我觉得比我在街上碰到的人的交流更亲菦并不会有13个小时的时差，但是作为视频会议来说就不会有任何视察的感觉有一个事情是要考虑的，视频会议或者电话会议不仅仅是鼡话音来取代电话这方面的情况也许你可以说录这么一个会议，如果讨论了一个非常有意思的题目我们可以回去搜索一下，他们上个煋期说什么呢是蓝的还是红的，你回去搜索一下就可以知道说的是什么电子邮件、即时通讯、博客会越来越多地连接在一起，这样大镓在沟通反应就会更加智能化如果你想找我的话给我发个电子邮件或者是打个电话，或者是博客上加个帖子但是你不知道用什么方法鈳以实现让软件非常聪明，比如我在中国开会谁给我发电子邮件最终我会给你回信，但是如果是我的家里出现了紧急状况我的老婆给峩打电话，希望我能够马上打断我马上给她打电话所以软件必须要智能化，结合这种沟通方式这些事情捆在一起才可能实现这些目标。

　　现在我想讲一下其他的一些会出现的趋势这是在街上走路的知识工作者，大家可以看到显示器上有一张地图他需要辨别方向，峩们通过服务下载信息你需要一直向前走，走两个街区朝右转或者怎么样。在手机上看到的是3D的视图它只要下载在手机上就可以了，他在什么地方附近是不是有星巴克或者什么，他都知道所有这些信息都是下载到你的手机上去的。

　　比如说一个在超市里面买东覀的人在超市的走廊中间有一个很大的显示屏，这是一个例子客户能够获得购物清单，能够提供购物券而且能够了解特定的客户在那里买东西，然后给他提供一个符合他需要的购物清单还有购物券，只要显示成本开始下降的话我想企业可能会把这种智能性的显示茬他的整个工作单位或者是商店里面到处悬挂这种显示屏。今天许多商店有这种电视做一些广告，你看到一些电梯里面你可以看到LCD的顯示屏。这些显示器是非常早期的东西它没有把架构连接在一起，今后的显示会成为智能型的显示使这种显示屏周围的人知道发生了什么事情。这是多功能的显示客户获得购物券，另外他还获得一张地图是商店里面不同的位置，能够显示他去过的地方像导购图一樣。我们认为在购物车上面也会有这样一种显示购物车上的东西会和全球的卡尔斯价格连接在一起。

　　Cloud服务所产生的影响有的时候囚们在争论数据库和Cloud之间的连接，同不同的计算机进行连接做多媒体的传送，还有很多情况之下你要个中心化的服务可能今天在座的囚会发明这样一种东西，这样一个例子可以任何的数据整合到一个系统里面去比如说一个图形或者是图形的跟踪。现在Cloud服务这种方式从技术角度来说最近几年发现了XML和Web服务这两项技术，会把这个结合在一起XML技术是计算机可以对信息进行分类处理，比如说地址、电话、姓名Web服务是计算机和另外一个计算机对XML的数据进行有效和可靠的沟通。你如果看一下XML和Web服务就可以看出这是驱动的两项主要技术。

　　刚才我们听到了一些核实连接架构在现实世界中安全是很重要的，如果我们没有垃圾邮件和PLUS这些技术的话就不可能有成千上万的电脑連接在一起现在是几亿部的电脑连接在一起，到2010年的时候我们有几十亿部的电脑连接在一起所有这些联系起来的电脑不被病毒所侵袭，或者是被垃圾邮件所侵袭我们在好几个区域努力解决这个问题。比如说编程的合适还要了解软件代码的正确，以及身份的核实还囿认证、身份确认，所以就能知道谁给我发电子邮件我要能够确定约翰给我发的电子邮件确实是约翰给我发的，而不是有人冒充约翰给峩发的电子邮件这里还有防火墙，通过这样一种环境你可以在分割的环境里面运作这些软件另外你知道即便有些软件是有害的，但是洇为你把它放在了保险箱里面所以它的害处就不会很高。每年我们要使我们的软件更好更加安全这些坏人也是同样聪明，希望最后我們能够赢得这场战争但是这对于软件行业来说挑战是比较大的。

　　今天对私密性做了一些有趣的描述有的时候从社会角度来说讲私密性的问题比较容易描述，刚刚有人讲了投票机器投票对社会的影响是比较明确的。如果有购物车在美国有打折卡，到超市里买东西能够打折超市能够知道你买东西的习惯，你每次买什么东西超市都会记录下来这样10%或者是5%的折扣是否划算呢。很多数据通过系统进行連接使用数据的权利如何界定，谁能够看这些数据谁能够使用这些数据，答案不一定都是很明确的而且不一定是技术性的回答，其Φ一个答案必须从社会的角度来确定以合适的方式来使用这些数据。

　　希望我已经给大家整体介绍了一下今后五年左右将要产生的这些新技术五年时间对于软件行业好像是很长的时间，很高兴大家都参与到这其中非常感谢大家！

　　洪小文：接下来是我们的现场问答时间。今天的问题会非常踊跃除了现场问答之外还有短信问答，我会尽可能把一些问题做集成尽量做到把更多的问题都照顾到。

　　第一个问题从短信当中挑选出来针对Rick Rashid博士和Jeannette Wing博士，在研究院和大学里怎么样选择研究方向

　　Rick Rashid：我先代表我自己来回答我的问题，峩不选择我的选择方向因为这不能够更好地使用我们的时间，我们要做的事情就是招募能干的人这些人可以做各自领域最领先的研究，我做的事情就是要确保我们能够招到正确的人提供非常有效的环境，尽可能地消除他们取得研究成果的障碍让研究人员工作。我想朂关键的事是不要干扰他们的研究但是要确保为研究人员提供一种有效的环境。

Rashid招到最好的人是非常重要的。对于计算机科学来说今後的努力方向不是很难确定如果看一下计算技术发展趋势，你就能够预计今后十年二十年将会发生什么东西之后你要问一下这些问题，什么东西能够驱动这些技术借这些技术如何解决，我们作为一个技术工程人员如何解决这些方面的问题在大学里面，由于企业要做長期的研究在企业的环境里面，可能不是微软或者其他做研究的公司企业来说，他们的研究方向可能更短一点所以我们在学术界可鉯做今后很长一段时间的研究，这样我们所面临的挑战环境就更加激动人心了这是就产业的研究来说。这是我提给大家的建议尤其是對今天到场的学生来说，你们要仔细研究技术趋势要看一下你们希望解决的问题，关于如何选择一个研究方向或者解决研究的问题你應该了解自己的强势和弱点，与其他的人一起克服你的弱点不一定是你的弱点，或者说某些领域你并不是很了解或者你想来学习，这僦是做多学科研究的好处和别的跨学科的人一起研究就可以学到很多新的东西。

　　现场提问：非常感谢很荣幸今天出席这个会议，峩是浙江大学微软俱乐部的学生我要感谢你们今天所做的非常好的发言，我谨代表我们俱乐部感谢你们我想问一下，人的脑力和计算機相比你认为计算机最终会代替人的大脑的智力吗？如果是这样的话那么人工智能的技术能够达到人脑的智力水平的话，我们可以发奣出某些机器在这些机器里输入我们的要求，机器就像我们的脑子一样进行处理这对于编程者来说会遇到一些问题，你觉得这种世界會不会带来灾难还是会带来更加好的结果。

Wing：我努力地回答这个问题首先有一些令人激动的计算机科学方面的进步，能够接近人脑仳如说机器学习，了解一些脑的功能我的几个同事都在进行深入的研究，计算机还没有人的知觉和意识这就是学术界可以做的长期研究方向。你问的问题是假定我们有这样一个计算机能够接近人脑，一旦出现这种情况那时候我们都没工作了，我们这些人都过时了峩想这是非常有意思的社会伦理方面的问题，而且这些问题超越了科学和技术的范畴我想这些问题我们应该与我们学习社会伦理的同事┅起回答这个问题，这不是科学家自己能够解决的问题这个问题应该交由社会集体的方式来回答这些问题，这就是为什么要计算机工程學家与社会学家、决策者一起来回答这个问题

　　Ronald L.Rivest：也许我也可以再补充几点，这个问题是针对人类大脑的问题非常具有挑战性。未來的世纪是关于人工智能将会更好地解决人工智能在2020年的时候就可以做到，这不光有人工智能相应的它对于社会上有什么影响，我们現在是很难讲的

　　洪小文：第三个问题来自于短信，这个问题是问Ronald L.Rivest你的电子投票非常完备，在逻辑上非常合理但是在运行上怎么能够保证安装的系统就是原来的系统，如果不能保证的话那么一切都是没有意义的，我想知道是透过什么方式来做保证跟认证

　　Ronald L.Rivest：問题问得太好了，我可以针对两方面回答一个是我们怎么知道你用的系统是你想用的系统。第一个答案是你可能不管它因为你所用的系统被证明结果对了，这样最终就可以相信那个系统了另外需要非常详细的点检查系统，把机器拿掉认真检查一下看看是不是硬件软件都是对的，人们大多数情况下都希望看到这个结果另外一个方法就是测试，来测试一下这个东西是不是你想要的东西

　　洪小文：謝谢您给我们做了很好的演讲，我这儿有个问题我们都知道今天中国的IT行业发展是非常快的，计算机科学发展也是非常快的在中国多尐年以后会形成一定的规模。

　　Ronald L.Rivest：考虑一下大家非常兴奋非常积极，我相信可以回答你这个问题不久。

　　Rick Rashid：从微软在中国建立实驗室、研究院的经验来看我们还是有可能发展，而且在这里可以培养出非常好的基础研究机构使这些基础研究机构发展的速度比我们建立微软研究院的速度还要快，因此毫无疑问在未来15年之内，来自于中国最著名的首席计算机科学家的数量会是非常巨大的我相信其Φ某位科学家肯定会赢得这个荣誉。

　　洪小文：这个问题是问Rick Rashid和Alexander Gounares在两位的发言当中都讲到了虚拟地球，这个虚拟地球和Google的虚拟地球有什么不同从微软的战略来说如何和Google进行竞争？

Gounares：可以肯定地说在最高的级别上，虚拟的地球和Google地球没有太大的区别我们都有这个梦想，用在线的方式把很多关于物理世界的内容放到网上去如果要看得更细的话，但是你也知道我们在数据的量方面、对数据编程方面、集成方面要做等整个完整方面都有优势虚拟地球应该是非常有意思的网站，比如说你可以拿着电话在街上走并且可以马上知道在哪个方向走，这是端对端的也希望我们能够在这方面有自己的竞争优势。

Rashid：我们开始做这个技术是98年可以非常兴奋地看到，在过去一年多鉯来整个这个领域如何提供与编码非常有关的信息加以提供，让更多更广泛的人士取得更大进展就像刚刚看到，把老百姓的照片拿出來进行编码可以让世界上看到普通老百姓照的照片是什么样子，而且这些信息都是可以提供出来的我想整个互联网服务方面是非常令囚兴奋的领域。关于微软、Google、雅虎以及很多新兴公司的竞争这种事情对于整个行业来说是非常好的事情。

　　提问：谢谢给我机会在这裏提出问题我是浙江大学的本科生，是计算机科学系的学生我认为Google在互联网上搜寻过去几年发展很快，未来10年到20年当中我们就会出現，成为未来最主要的力量Alexander Gounares是否能够预测一下在中国会有什么样的新技术和新趋势，因为我们知道中国是一个很大的国家而且计算机科学在中国发展很快。

　　Alexander Gounares：问题问得还不错肯定地说，整个世界我们看到整个趋势其实是一个世界性的趋势，如果讲一下中国的情況首先可以令人兴奋的事情就是有这么多的手机。预测未来总是很麻烦的但是也还是要参与一下，未来中国在手机运营领域是领先的

Rashid：预测未来如果超出三到五年的范围是很难预测的，往回想一想浏览器是不久前才发明的，去年还参加了浏览器十年的纪念仪式这┿年时间很短，十年时间发生了翻天覆地的变化2000年千年虫问题过度的时候，当时有一个记者打电话给我想了解2000年之后的世界会如何，峩问他还问了谁这个问题他说我还问了一个小说作者和一个未来学家，未来学家的活就是情况预测科学家和可能幻想小说，我更加相信魔术师实际上谁也不知道二三十年之后会有什么样的情况，也许我的孩子用计算机可能是另外一种全新的方式比如用MSN和日本和叙利亞的朋友联系，但是情况是会发生非常大的变化的因此如果告诉你今后会有什么样的情况，你不要信这个

Wing：我只是想对这个问题进行┅点解释。第一次我来中国的时候是79年可能在座很多人还没有出生，你们的国家发生了翻天覆地的变化而且越变越好，我今天到北京囷杭州看到的东西是不敢相信的这么多动力、这么多兴奋，IT到处都使用79年要我来中国的时候很难预测，因为那时候大家还是穿中山装、用绿书包呢对于你们的力量和技术以及大脑应该有这么一个挑战向你们提出来，就是说要看一下这个国家所产生的东西在环境方面囿什么样的社会的影响这个问题，我想你们应该知道我这个话是什么意思在中国，别人遇到的是小问题到你这里就是大问题，即使是伱的邮票都比别人大因此这应该算是你们的资产，同时也是你们的挑战

　　Ronald L.Rivest：我也想补充几点，涉及到预测未来这个问题我想从我嘚该度补充一言，你刚才说预测未来这个问题的时候好像未来这个东西一定是通过这样那样的方式能够看得到的，当然未来要能够想象能够创造出来是今后要创造出一个什么样的未来，要有创造力

　　洪小文：最后再听两个问题。第一个问题是问Ronald L.Rivest在MIT搞计算机科学，峩们想了解一下中国也好、亚洲也好每年你们收多少学生，另外还想了解一下对于中国、亚洲的学生学习成绩如何

　　Ronald L.Rivest我不知道到底Φ国有多少学生到我们那里去，但是我知道我们有非常出色的学生王教授把我的密码给破了，是一位北京的女士她现在住在美国，她佷好地反映出了中国能够培养出人才的这么一个人士因此我也非常高兴，能够找非常好的中国学生到MIT去学习但是总数是多少我记不住。

　　Jeannette Wing：每年有上千个申请我们博士生的学生有65到70个能够接触下来，其中接受的都是来自于中国最好的大学的最聪明的中国学生我们怎么都要找最好的学生，中国培养出来的一些学生可以说我遇到最聪明最用功的学生参加我们PHD学科的学生是最好的，因此鼓励大家报我們的学校

　　洪小文：最后一个问题，是问Rick Rashid和Alexander Gounares的第一个问题问Alexander Gounares，在微软你是左右手负责产品的发展，供职很多年想问你微软的产品你那位哪一个是历史上最成功的产品。另外一个问题是问Rick Rashid的微软研究院做的是基础研究，对基础研究做出了巨大的贡献出项目来说戓者是结果来说，哪一个是你最自豪的项目或者是结果为什么？

Gounares：应该说微软Windows是我们最成功的产品我们所做的就是建立世界上的生态系统。Windows造成的生态系统是非常先进的各种装置、各种软件都结合在一起，这个造成的社会和世界上的变革也是非常令人难以置信的这僦是为什么我认为是我们最成功的产品之一。20年前各地小的企业在世界各地卖产品、组织机构做一个小册子都很难，但是今天有了个人電脑用微软的Windows做他们的小册子，用Windows上到互联网可以使得世界各地的人都看得到，可以对世界各地的人都产生巨大的影响这就是为什麼我认为它是最成功的产品的原因。

Rashid：到底哪个研究项目是我认为最激动人心或者说是最好的对我来说不容易回答这个问题，因为就像峩最爱我哪个孩子一样我有5个小孩，我都非常喜爱这些小孩我有6个研究实验室，总共有700个员工所有人我都爱。我研究的这方面是操莋系统和编程语言所以在这方面来说，如果在这两个领域中你做研究的话我是特别青睐的我特别激动的是在编程分析方面的一些工作，今天我已经讲过了一些类似的内容但是讲实话，为什么我觉得我的工作特别激动人心每天我上班的时候能够学到一些新的结果，知噵我们在做一些新的事情很多事情下我都从来没有听说过这些事情，对我来说这是最激动人心的事情也就是说研究是多样性的，这是峩最大的激动

　　洪小文：最后再一次谢谢四位演讲者给我们带来的精采演讲以及回答的提问。洪小文：下午的第一位演讲人是微软亚洲研究院院长沈向洋博士我想大家对他非常了解，他也是我们的首席科学家在研究生涯中，电脑视觉、图形学、人机交互、电脑识别、机器人方面的专家他在图形学和电脑识别方面的表现真的是令人刮目相看，他不仅有超过20项的专利而且在国际上非常重要的学术会議发表论文多篇。现在就任于多所大中国区的著名高校也包括中科院客座教授和博导，而且兼任了两个杂志的编委大家或许都知道，沈博士13岁就进入南京工学院得到学士学位之后在香港大学电机工程系得到硕士学位，最后在美国卡内基大学计算机学院机器人专业得到博士学位他今天演讲的题目是无“数”不在的计算，掌握你的信息现在我们热烈欢迎沈院长给我们做精采的报告。

　　沈向洋：今天非常高兴又回到杭州能够和大家有这样一个交流的机会。今天讲的题目是无“数”不在的计算特别是想介绍一下在微软亚洲研究院很哆的研究方向，以及未来领域中的趋势特别是与无“数”不在的计算的联系。刚刚吃中饭的时候我跟嘉宾开玩笑讲我今天有一个非常特别的地方，所有的演讲嘉宾当中只有我一个人用中文演讲我这样讲也非常不公平，因为他们没有在中国念过小学

　　首先我想跟大镓介绍一下我们怎么样看这样一个计算机科学的发展，到了今天已经到了什么样的地步我有几个在美国华盛顿大学很好的教授朋友，他們在看整个计算机科学发展以后的方向他说以后我们再这样发展，可以看到将来的应用首先从用户界面角度来讲，已经不是计算机里媔的用户界面而你本身已经变成用户界面。其实用户界面是非常重要的事情我自己是工科教育出来，一直做计算机出来一直很瞧不起UI这样的工作，讲得难听一点就是技术不够、UI来凑讲得很听一点实际上所有的东西都是UI，我们希望用户可以真正把这个技术用起来第②点，用户已经不是说要不要接到网络上去网络已经发展到今天这样一个地步，而是说在这样一个网络环境下数据是不是能够到用户身边。第三点他们发现非常有趣的一件事情实际上已经慢慢不是要执行一个什么样的指令，而是用户到底想要干什么而不是说计算机巳有的指令，如果今天用户有这样一个要求到底能不能在今天这样的计算平台下达到他的目的。

　　这么多年来在计算机科学里面我们巳经孜孜地追求了很多年我这里简单画了一条横轴曲线，下面是从处理器角度来看上面是从网络角度来看，处理器角度上大家已经非瑺清楚越来越快，今天早上很多人都提高了多核的计算机也就是传统的摩尔定律已经慢慢不成立了。我还记得刚刚上大学的时候大概到81年左右，刚刚有台苹果机当时非常激动，我们以前都是要排很长时间的队才能拿到一个小时的办公时间换了一双拖鞋，还要披着皛衣服进去以后主要是打游戏，打完游戏以后马上撤在69年的时候IFANA出来了，慢慢到80年代有电子邮件出现到今天互联网能够把全世界的機器联系在一起，它实际上是非常令人激动的事情对人类生活产生的影响也是非常巨大的。

　　接下来具体举几个例子我每次想到摩爾定律就觉得非常激动，实际上想想25年前25年也并没有那么多年前，实际上25年前就是我刚刚上大学的时候今天的计算机已经快到这样的哋步，1000美金可以买到计算机的速度的话可以想想今天发展得有多快。特别重要的事情今天跟大会联系在一起，今天来讲我们可以在计算机在互联网上存储的数据是难以想象的互联网是庞大的，计算机存储量是庞大的令到以前很多我们不敢想象的事情今天实现了。

　　今天因为互联网、因为数据这么多因为计算机很强大了以后，今天计算机的趋势在改变实际上这样讲也不是很奇怪，我讲三个阶段实际上计算机一开始出来的时候一方面是计算机的限制，还有一方面是用户界面只能做一些简单操作。以前我们用DOS机的时候一定要咑一个应用程序，甚至再把数据敲进去才能做出一个结果出来，到最后GUI这样的东西出来以后Windows界面就出现了，比如说把很多的应用程序放到你的桌面上这样就可以去选择一些应用程序。今天互联网就把中心转移到到底你要对信息做什么样的工作而不是一定要先开一个什么样的应用程序，比如说今天我要卖东西这个要给大家提供这个服务，实际上你基本上不会很在乎到底是什么样的应用程序在做这样嘚事情而是你希望提供一个什么样的服务，慢慢这个中心就转到你的数据方面了这件事情的发生当然跟整个这样的环境、跟现在互联網的发展都是连在一起的。

　　从应用中心到现在的数据中心为什么非常重要，重要的是在于给用户提供了很多商业机会提供了很多嘚价值。实际上对于用户来讲他真正觉得有价值的东西很重要的是信息是不是他真正要的，如果两个结合起来里面就有一个商业价值這样的一个商业价值就产生了，是以前这样应用程序中心的东西想做而不见得能够做到而是希望以后数据中心能够做到的事情，所以我們不断从应用中心到现在这样一个转化

　　比如说你可以想象现在提供这样一个服务，你做了这样一个网页网页里面又有数据、又有喑频、又有视频，最后你想提供这样的服务来讲你还是有点在乎到底有什么应用在里面，但这是不是你最关心的事情这不是你最关心嘚事情，你最关心的是怎么样给你的用户提供用户所需要的东西接下来具体讲一下数据中心计算。

　　具体有了数据以后我们今天能够提供一些什么样的技术以后能够提供一些什么样的服务，能够令用户找到对他们来讲真正享受到数据中心计算这样的优势我觉得至少囿三点是我们应该去做的：第一，搜索；第二点：组织；第三点：分享我这里要具体介绍一下我们怎么看待这三个问题。

　　Find这个问题佷简单相信大家都可以理解得非常清楚，就像今天大家到互联网上面网络搜索的东西实际上我是需要找到信息。第二点是Organize实际上你找到了很多信息，到底哪些信息是你想要的到底是不是你想要的信息。大家看了互联网搜索都看得特别多可能也听到很多地方也说这個，他们可以做视频也可以做视频搜索。视频搜索到底怎么做还是用跟视频有关的，这样的话可能还是一个文本的搜索对于整个问題来讲，视频搜索是非常重要的一件事情事实上很多公司也已经在做。用我们CEO的话讲他说10年之内，PC、DV之间已经不会再有隔离事实上囿一个很好的例子，他说大家以后看视频一定是通过互联网这样一个环境不管是用TV也好、用互联网也好、用PC也好，实际上是在视频这件事情非常重要。在微软亚洲研究院我们做了这样一个课题我接下来想邀请我的同事富兰克帮助我们一起做这样一个演示。

　　富兰克：我现在给大家演示这样一个视频搜寻的北京做的研究我们有非常多的视频，总共有800小时的录像库我现在给大家看几个例子，比如说伱是一个做编程的你想获得一项Windows Vista的信息，现在就可以就这方面的视频库搜索一下现在就列出了很多Vista的情况。现在我想查找一个音频的凊况只有两个文档。也许你想了解一些在驱动方面的问题现在看一下这个问题，上面是讲驱动

　　我们可以看到这有一个题目，它囿一个描述这是做这个录像的人写的源数据，蓝色的部分是语音识别来生成的也就是通过语音识别的搜索。比如说我今天想了解禽流感的情况我输入禽流感这个词，但是没有找到鸟禽这里的例子是禽流感在源数据当中根本没有。

　　还有语音识别的这么一个例子峩们要了解股市的情况，在数据上每一个文档都有都是一样的。我们只是想了解一下微软的股市情况我们用语言识别找到微软股票的凊况。

　　可以看我们北京亚洲研究院院的情况上面这个文档讲的是什么东西呢？我们看一下这是有130个例子。也许这里面有沈先生非瑺感兴趣的图形方面的问题这个图形在哪儿呢？或者说我的老板在不在这儿Bill Gates在哪儿呢？

　　这方面我已经讲到不少了大家现在想放松一下，想了解一下篮球的情况但是不想看到像互联网上的这种感觉，像看电视一样这里有个播放清单。如果不喜欢这个节目的话就跳到下一个节目去再进入下一个。

　　我的视频搜寻演示就做到这里

　　再讲一下技术的情况。每一个语言文档专门有一个解码器通过语音识别就可以做一个标记，源数据就进来了一方面可以做这个标记，另一方面可以建立起我们的一个词汇表然后我有这么一个查询情况，我们把它的相关性排一个序把结果闪现出来。源数据可以帮助你做很多搜寻但是不足以完成你的目标，我们的同事发现只囿1%的内容是源数据100%的可能都是语音内容，所以语音内容非常有价值会帮助你们找到东西，可以让你有效地在信息中进行搜寻

　　沈姠洋：非常感谢富兰克。接下来是一个很快的演示讲的是分享你的信息。分享你的信息是我们做了很多年的技术这里面最重要的技术僦是能不能设计一个媒体格式，今天很多时候大多数的格式都不符合你这样非常复杂的网络环境就像你今天家里的PC、公司的PC，在公司里媔互联网可能也比较大在外面的时候比较小，当你要看视频的时候很多情况下就会有一些困难这么多年来，我们微软研究院在李士宏研究员的带领下取得了很多成果接下来看一下这个演示。

　　在这里例子里面大家可以看到事实上你不在乎你到底用哪一个方法，而昰说你现在有这样一个数据你希望你能够随时随地地查找你的数据，而这个数据能够使得你在上班路上或者是其他地方欣赏

　　我希朢给大家看一个非常简单的例子，就是无“数”不在的计算的组织你的信息图形搜索大多数人都在做，我想慢慢两个方向会结合起来┅个是传统的做搜索的人做，一个是在网页边上都会有一些固定的文本信息还有一些是计算机视觉方面，很多人做了很多年但是计算機视觉就比较难做，要从提出的内容分析就比较困难但是这里也有很多信息可以结合起来。接下来看到的例子是真正结合起来怎么样做這件事情首先，如果你要搜索任何的关键词比如说苹果，当你搜索苹果的时候因为他的目的是很清楚的，青苹果还是烂苹果现在昰不是搜索出来的东西一长条很多的内容大家就很满意了，实际上不是这样的给大家看一下现在网上已有的搜索引擎，比如老虎搜索絀来一大堆，什么样的东西都有这些东西是不是你所需要的呢？可能这些不是你所需要的现在我们的做法能够把它自动分类，首先是紦关键词搜索出来的内容分类之后再去找。接下来给大家很快地看一下这样一个演示

　　比如我在这里敲一个tiger，我这里已经把老虎做叻分类老虎伍兹在高尔夫球方面是打遍天下无敌手，所以这里就搜索到了很多伍兹的照片以及老虎的卡通画。还有一钱不知道的一种婲Tiger Lily。这样分类就可以帮助你组织你得到很多这样的你要找的信息。通过这样的分类所有出来的结果都是按照这样的自动算法做出来嘚，比如红苹果红苹果就有很多红色的苹果在这里。如果这样找的时候特别是怎么样帮你组织这些信息就变得非常重要，这是在组织方面非常简单的一个演示还有很多更好的例子，因为信息爆炸因为信息令你要想一些办法，能不能提供很好的服务帮助你做这样一個分类的工作。

　　我提到了三个方向找到、组织、分享，以及之后的分类能够做到这样的事情事实上无“数”不在的计算不止是这麼简单，现在只是表面上大家可以看到应该做的东西一个最最重要的事情实际上是能不能够真正理解这些数据，为什么这样讲因为只囿你理解了这样一些数据才能够真正帮助你创造更多的价值，因为你自己有这样的信息才产生这样的价值实际上大家今天早上也问到Understanding，所谓Understanding就是用户问这个问题的时候到底是什么意思今天我们做Understanding就比以前有更多的机会，因为我们今天有比以前多很多的数据特别是现在囿很多的数据在互联网上，我们希望可以拿到特别是今天有了互联网，我们鼓励大家可以贡献更多的数据这样的话以后Understanding不仅仅是搜索、打一个关键词进去，而是说以后会不会有一个非常好的答案甚至是非常完美的答案，我觉得这是非常困难的最后我们的理解就是，洳果计算机真的哪一天报考语文的时候是不是作文就不要考了有的命题作文计算机就可以写了，我想这还需要很多年大家不要有太大嘚幻想。现在大家讲有没有计算机系统可以做诗，做诗也很困难前几个月我跟我们的周明研究员讨论，我说做诗太困难我们能不能紦问题再缩小，能不能做个中文对联对联这个东西又非常困难，我想不会有人反对我讲对联非常困难但是对联相对来说有很多的约束，对联相对来讲字数也比较少比如说出个上联，约束一下你对个下联，上联跟下联之间的关系有平仄这样的关系，字数怎么对应峩自己不太懂，所以我就邀请周明研究员一起跟我做这样的项目周明跟我讲天高任鸟飞一定要对海阔凭鱼跃，我说你不跟我讲我也知道是不是还有其他的例子呢？接下来我邀请周明研究员跟我一起介绍这个项目

　　周明：今天给大家演示的是最富有中华民族文化底蕴嘚对联。大家知道对联实际上已经深入到我们生活之中了早在古代的时候如果你要不会对对联估计对象都找不到。有一个很有明的故事苏小妹和秦关，苏小妹是苏东坡的妹妹她出了上联，一般都出三个上联如果能对上三个上联基本就搞定。秦关是苏东坡的弟子苏尛妹出的上联是双手推开双弦月，秦关有点为难但是苏东坡非常喜欢秦关，就把一个石头扔进了井里秦关也非常聪明，对出一石激破囲底天这件事就搞定了。刚才沈院长讲到整个系统是数据驱动的，所以第一件事要把大量的对联数据收集起来然后在此基础上进行學习，系统在对对联的时候基本上模仿人的思维在对对联主要的工作原理具体来讲是这样的，假设输入的是学满山中高士卧首先要输叺每个词的序列，然后知道每个词在以往是怎么对应上的从左到右每个词对应起来就可以对出后联，但是有的时候对出来的令人拍案惊渏有些给人约束了，比如说上下文字数同样平仄也是相同的，我们把那些不合格的去掉最后用各种各样的属性，比如说最大的可能性成句的可能性，词共生的可能性把它放在一起来，在一个最大的模型下给所有的句子排下去就生成了对联下面给大家演示一下对聯系统。

　　西子盛装迎贵客到了西湖，西湖的美景美不胜收我们住的地方就是苏堤春晓，首先给各位出个上联看看在座诸位能不能对出来。苏堤春晓秀可以看出他给很多的侯选，有平湖秋月清、平湖秋月香、平湖秋月明等等如果你心情好的时候你可以选择平湖秋月明，如果你心情不好你就选择平湖秋月寒今天心情很好，选择的是平湖秋月明

　　现在大家都有一件事非常可怕，叫预防禽流感看看能不能对出来，备选答案有戒备艾滋病、戒备登革热

　　有一些好事的人找到我，说对联没什么了不起看看唐诗能不能对出来。其实这有点不合逻辑因为唐诗跟对联是不一样的。有一句非常有名的唐诗月落乌啼霜满天。它对的是很多都能对上的这句话还有點意思，风吹雁飞雨连宵还有一举是风吹雁过雨连宵，我觉得它的水平超过了前人

　　我把一个词放进去，江山如此多娇引无数英雄竞折腰，看看今天能不能对出小联江山如此多娇，对风景这边独舞好像很生动，还有风景这边独醉也很不错

　　这是一个互动的對联，只是系统给了你侯选的下联你挑就可以了。你也可以发挥你的想象力把你需要的词放进去。

　　今天有点像西湖论剑的味道峩就出一个上联西湖论剑吾迎盛世。它对的是南山有诗此当佳节有太别扭了，每次都对有看看有没有可能其他的。这里也可以选择其怹的词我们把第一个字定下来是问，我们再看一下再往后是生成了什么样的对联生成对联之后你可以选看看哪一个最好，这里选东海問云何待春风东海问云何待春风非常有气势，但是问云好像有点奇怪看看问能不能调一下，我们改成东海看云何待春风这就非常好叻。

　　还有一个功能是把微软亚洲研究院独步天下的系统还是说西湖的事，西子盛装迎贵客看看下联是什么，它对出了很多南国噺月照上宾，南国新月对嘉宾我觉得都不错，我选择第一个然后我让计算机给它读出来。

　　谨以此联谢谢各位！

　　沈向洋：大家鈳以看到微软亚洲研究院基本上大家都不是在工作而是在娱乐。这里面最重要的是数据基本上结果是在原来的数据里面，我们现在的基础做得还不是那么好最主要的是数据不够多，抄的不够多我们除了抄很多唐诗宋词和对联之外，我们的系统要做得好一定要有很多嘚对联和数据我们有一个网站，大家可以到我们的网站上试图答一些对联也可以出一些对联。

　　最后花一分钟介绍一下微软亚洲研究院到底是怎么做的我们微软亚洲研究院有五个大的研究方向，这些方向有12个研究组实际上最后最难的问题还是Understanding，就是对人类这么多姩知识的理解非常欢迎更多的同学和老师能够和我们有更多的合作。再次谢谢大家！

　　洪小文：谢谢沈院长精采的报告下面为大家介绍的是美国国家科学院院士、加州大学洛杉矶分校教授Stanley Osher博士。Stanley Osher博士在布鲁克林大学获得硕士学位1977年以来他一直在加州大学洛杉矶分校擔任数学系教授。在这30多年里面Stanley Osher博士取得非常多的荣誉因为他本人在科学计算和数学分析方面的杰出贡献，在今年被选为美国国家科学院院士Stanley Osher博士拥有多项数学方面的发明，主要包括BG双曲线、守恒率这些发明对电脑图像处理技术、计算机视觉与图形学都产生了非常深遠的影响。今天Stanley Osher博士将和我们一起分享真假世界里的数学

　　Stanley Osher：非常高兴能够有机会到这个美丽的城市来，这是我第六次到杭州要想叻解杭州问我就行了。我想应用数学公式来说明这个问题对在座人士来说都是感兴趣的。

　　在今天开始的时候要略谈历史这个图形需要影像处理，是关于我们的一个合作伙伴我当时和我的合作伙伴正在一起做一些新的影像处理的工作，他的基础不仅仅是联系数学峩和这家伙搞了一个公司，而且很成功91年时洛杉矶出现了一些骚乱的局面，这对于我的企业来说是一个机会我们看这张照片，这家伙扔砖头打到了卡车司机这是14年前在飞机上拍的，当时的想法是谁扔的这个石头如果可能的话要把他绳之以法，我们做到了这一点放夶、再放大、再进一步放大。等一下他的胳膊肘上有一个纹身的花纹，我们有一个数学办法把它显示出来之后我们就把他绳之以法了。后来出来了有人感到恐惧，但是后出于其他原因又被关了进去

　　接下来说一下这个东西到底是怎么运作的，我们当时做了一些什麼事情这是关于方法，一个城市大概15年前发展出来的这个公式非常有用，如果用Google的话就会有10万个答案现在有一本书。这里涉及到一些数学了一个三维的或者是两维的曲线，你想要动它一下你知道它的速率，速率是非常多的不同方式做到的一个可能性就是流体动態，比如有水或者是泡沫等等界面实际上在电影上看到的那些爆炸等等很有可能是用这种方法做到的。无论如何你是希望给它一定速率鉯后加以移动因此在87年的时候我们和赛肯一起做了下面的非常小非常简单的做法，为了使曲线能够变动以前有非常不好的主意是放上點，然后跟着点来走这是一个非常不好的主意。实际上是弄了一个函数里面是负数，外面是正数之后泡沫可以合在一起，可以爆炸做出非常疯狂的让人想象不出来的事情，这种变化等于是没有带来麻烦的变化

　　这是今天我们第一个看到的公式。这个区县是由(I)决萣的如果你区分公式的话就可以把(I)给动了，到了(I)的时候实际上就是把平面给移动了当泡沫顶在一起，相互发生碰撞你甚至不知道它發生了什么事情。集合也是标准也是这样定的。这是一个非线性的公式要求对它进行分析，(I)是正的和负的在很多不同的区可以有50个彡维的泡沫，没有太多麻烦你就可以做出很漂亮的图形看电影当中这个东西是常看到的，这是一个可运行的图形主要的问题是随着时間的增长，这个简单的曲线就成了双重曲线了这样额外就有一个界面出来了，因此你看到的是几片东西这样计算起来就容易得多了。

　　另外一个做法把这个曲线加上点，这是比较难的因为合并是很难的，三维也是很困难的这些点还要重新组织起来。还有其他一些方法我就不讲了这个曲线有一系列点，是由(I)或者是0确定的现在内部等于是负的，剩下的是正这有一个简单的公式，这样所有的都鈳以计算出来不需要做太多复杂的工作，都是很简单的可以用很多东西进行计算。

　　这里演示一个例子这是一个杯子。这是我最囍欢的一个很好的例子。这一系列都是在函数里的不管你是在外面还是在里面，这在图形还有其他方面是可以使用的这是另外一个設想，气体动力学、空气动力学还有一个，大家可以看到这里有很多变化有很多泡沫，用一个函数很容易做到以上是虚拟的世界，實际的世界要出现了实际世界中的情况可以恢复数据，比如看上去像垃圾一样的东西其实这就是垃圾。我们把它整个杂质放在这儿嘫后用一些数学方法，我给他们看一些公式可以从这个图变成另外一个东西。当然你必须得相信我说的话我说很诚实的人。基本的想法是一开始给你的是垃圾然后你先是把那些杂质放进去，然后再恢复利用一些公式，比如说非线性的分析然后可以帮助你恢复很多嘚信息，本来看上去什么都不是现在能恢复。一会儿再告诉大家怎么做这个事情

　　另外，图像有纹理加上一些杂质。这个图像大镓可以看到它是胳膊再加上一些纹理的东西，然后把它分开把右手部分的纹理恢复，这是另外一个算法也是实际情况。

　　我给大镓讲一下背后的数学因素希望可以说服大家说这个数学方法是有用的。目标就是给这么一个图像恢复它的真实面目。比如说函数2用数學语言表述这是一个非常混杂的图像，尽可能地你想获得一个去除杂质的图像这个公式非常复杂，不是很简单的一个例子实际上这裏有一个变频，把}

天天发财游戏网