麻省理工学院长期教授、计算机科学家阿文德去世 享年77岁

麻省理工学院长期教授、计算机科学家阿文德去世享年77岁阿文德是一位多产的研究人员,曾领导计算机科学与人工智能实验室(CSAIL)的计算结构小组,在麻省理工学院任教近五十年。萨利-科恩布鲁斯(SallyKornbluth)校长今天在致麻省理工学院社区的一封信中写道:"他深受麻省理工学院社区和世界各地无数人的爱戴,他的智慧才华和对生活的热情激励着他们。"作为一名科学家,阿文德因其在数据流计算方面的重要贡献而闻名,数据流计算旨在优化数据流,以利用并行性,实现更快、更高效的计算。在过去的25年中,他的研究兴趣扩展到为微处理器和硬件加速器等复杂数字设备的形式建模、高级综合和形式验证开发技术和工具,以及并行计算架构和编程语言的内存模型和高速缓存一致性协议。认识阿文德的人都说他是一个罕见的人,他的兴趣和专长从高层次的理论形式系统一直到语言和编译器,再到硅硬件的门和结构。从减少数据中心所需的能源和空间,到简化更高效的多核计算机芯片设计,阿文德的研究成果应用广泛。"阿文德既是计算机体系结构和编程语言领域的杰出学者,也是一位兢兢业业的教师,他为我们的学生带来了系统级思维。他还是一位杰出的学术带头人,经常领导课程改革,并以有意义、有影响的方式为工程理事会做出贡献。"首席创新与战略官、工程学院院长、电气工程与计算机科学VannevarBush讲座教授AnanthaChandrakasan说:"我将非常怀念他的睿智建议。""阿文德的正能量和他爽朗的笑声照亮了许多人的生活。他为同事和几代学生提供了经久不衰的睿智建议。他致力于追求卓越的学术成就,不仅改变了计算机体系结构和并行计算方面的研究,还将这一承诺带到了他作为电子工程科学系计算机科学教研室主任的工作中。"麻省理工学院苏世民计算机学院院长、电气工程与计算机科学亨利-埃利斯-沃伦(HenryEllisWarren)教授DanHuttenlocher说:"他给我们所有有幸与他共事的人留下了持久的影响。"阿文德在坎普尔印度理工学院求学期间对并行计算产生了浓厚的兴趣,并于1969年获得该校学士学位。1972年和1973年,他分别获得明尼苏达大学计算机科学硕士和博士学位,研究操作系统和程序行为数学模型。1974年至1978年,他在加州大学欧文分校任教,之后加入麻省理工学院。在麻省理工学院,阿文德的小组研究并行计算和声明式编程语言,他领导开发了两种并行计算语言:Id和pH。20世纪90年代,他一直致力于这些编程语言的研究,并于2001年与合著者R.S.Nikhil出版了《pH中的隐式并行编程》一书,这是20多年研究的结晶。除研究工作外,阿文德还是EECS的重要学术带头人。他曾担任该系计算机科学教研室主任,在麻省理工学院苏世民计算机学院成立后,他在帮助EECS重组方面发挥了关键作用。"阿文德坚持不懈的积极态度、坚定不移的乐观主义、无边无际的慷慨和作为研究人员的非凡力量确实鼓舞人心,给所有有幸认识他的人留下了深刻的印记。我非常感谢他给我们的生活带来的光明,以及他对我们社区的根本性影响,"电气工程与计算机科学安德鲁和埃尔纳-维特比教授兼CSAIL主任DanielaRus说。他在数据流和并行计算方面的工作促成了20世纪80年代末和90年代初的季风项目。阿文德的小组与摩托罗拉公司合作,制造了16台数据流计算机器,并开发了相关软件。其中一台Monsoon数据流计算机现存于加利福尼亚州山景城的计算机历史博物馆。正如他在2012年接受电气和电子工程师学会(IEEE)采访时所解释的那样,20世纪90年代,并行计算研究资金开始枯竭,阿文德的工作重心随之转移。他回忆说:"微处理器的速度越来越快,人们认为不需要它了。"相反,他开始将其团队在并行编程中学习和开发的技术应用到数字硬件的原理设计中。除了指导麻省理工学院的学生和年轻同事,阿文德还为许多国家的大学和政府提供并行编程和半导体设计方面的研究咨询。基于他在数字硬件设计方面的工作,Arvind于2000年创立了Sandburst公司,这是一家无晶圆厂半导体芯片制造公司。Sandburst后来被博通收购。阿文德和他的学生们还开发了一种编程语言Bluespec,旨在实现芯片设计的自动化。在这项工作的基础上,他于2003年与他人共同创办了初创公司Bluespec,Inc.,致力于开发实用工具,帮助工程师简化设备设计。过去十年间,他致力于推动麻省理工学院的本科生教育,为6.004(计算结构)和6.191(深度学习导论)课程引入现代设计工具,并将与Bluespec密切相关的编程语言Minispec纳入其中。由于在数据流和多线程计算以及硬件高级合成工具开发方面做出的上述贡献和其他贡献,Arvind于2008年和2012年分别荣获美国国家工程院院士和美国艺术与科学院院士称号。他还被本科母校印度理工学院坎普尔分校评为杰出校友。"阿文德不仅是EECS社区的支柱和计算机科学的泰斗,他还是一位受人爱戴的同事和值得珍惜的朋友。我们这些有幸与Arvind共事和合作的人对他的突然离世感到悲痛欲绝。他的仁慈和幽默坚定不移;他的指导深思熟虑;他的指导是无价之宝。"麻省理工学院苏世民计算机学院副院长兼电子工程与电子技术系主任AsuOzdaglar说:"我们将深深地怀念他。"阿文德曾获得印度国家科学院院士、美国计算机协会和电气和电子工程师学会研究员等众多奖项,并于2012年获得电气和电子工程师学会颁发的哈里-H-古德纪念奖,该奖旨在表彰对信息处理领域的理论或实践做出的重大贡献。阿文德是一位谦逊的科学家,他首先指出,这些成就的取得离不开他杰出而出色的合作者。这些合作者中最重要的是他有幸在麻省理工学院共事过的本科生和研究生。据他的家人说,他与这些学生在专业和个人方面都保持着良好的关系,他把这些关系看得比他们一起完成的工作更重要。在2012年接受IEEE采访时,阿文德这样总结他在科学上取得成功的关键:"真的,一个人必须做自己相信的事情。我认为,我们大多数人的工作水平,如果你每天都不乐在其中,是无法持续的。你不能只为结果而工作。你必须努力工作,因为你会说,'我必须知道这个问题的答案',"他说。他的妻子GitaSinghMithal、两个儿子Divakar'01和Prabhakar'04、他们的妻子Leena和Nisha以及两个孙子Maya和Vikram均健在。...PC版:https://www.cnbeta.com.tw/articles/soft/1435388.htm手机版:https://m.cnbeta.com.tw/view/1435388.htm

相关推荐

封面图片

【波士顿联储和麻省理工学院发布OpenCBDC】

【波士顿联储和麻省理工学院发布OpenCBDC】波士顿联邦储备银行和麻省理工学院公布了汉密尔顿项目(ProjectHamilton)第一阶段的结果,汉密尔顿项目是一项专注于央行数字货币研究的合作研究工作。今天,波士顿联邦储备银行和麻省理工学院公布还在GitHub上发布了央行数字货币交易处理开源软件OpenCBDC,据悉该软件在技术上已经足够完善,可以支持在“美国这样大的国家运行通用央行数字货币”,在核心处理引擎方面,OpenCBDC处理速度超过每秒170万笔交易,“绝大多数交易”可以在两秒内完成结算。波士顿联邦储备银行和麻省理工学院表示,OpenCBDC技术具有灵活性,可以根据政策决定进行调整,在第二阶段,他们将继续研究其他技术设计,以进一步优化第一阶段技术的“强大的隐私、弹性和功能”,同时更好地阐明不同设计之间的权衡关系。

封面图片

麻省理工学院首次控制量子随机性

麻省理工学院首次控制量子随机性想象一下,平静的海面突然起了波浪--这与量子层面的真空中发生的情况类似。在此之前,科学家们已经利用这些波动生成了随机数。它们也是量子科学家在过去一百年中发现的许多迷人现象的原因。利用真空波动生成可调谐随机数的实验装置。图片来源:CharlesRoques-Carmes、YannickSalamin麻省理工学院博士后CharlesRoques-Carmes和YannickSalamin、麻省理工学院教授MarinSoljačić和JohnJoannopoulos及其同事最近在《科学》(Science)杂志上发表了一篇论文,对上述发现进行了描述。传统上,计算机以确定性的方式运行,按照一系列预定义的规则和算法逐步执行指令。在这种模式下,如果多次运行相同的操作,总会得到完全相同的结果。这种确定性方法为我们的数字时代打下了基础,但也有其局限性,尤其是在模拟物理世界或优化复杂系统时,这些任务往往涉及大量的不确定性和随机性。从量子真空中生成可调随机数的艺术插图。图片来源:陈磊这就是概率计算概念发挥作用的地方。概率计算系统利用某些过程的内在随机性来执行计算。它们不会只提供一个"正确"的答案,而是提供一系列可能的结果,每个结果都有其相关的概率。这使它们非常适合模拟物理现象和解决优化问题,因为在这些问题中可能存在多种解决方案,而对各种可能性的探索可以找到更好的解决方案。工作的主要作者之一CharlesRoques-Carmes博士正在操作实验系统。图片来源:AnthonyTulliani然而,概率计算的实际应用在历史上一直受到一个重大障碍的阻碍:缺乏对量子随机性相关概率分布的控制。不过,麻省理工学院团队开展的研究揭示了一种可能的解决方案。具体来说,研究人员已经证明,向光学参量振荡器(一种自然生成随机数的光学系统)注入微弱的激光"偏压",可以作为"偏压"量子随机性的可控源。"尽管对这些量子系统进行了广泛的研究,但非常微弱的偏置场的影响尚未得到探索,"该研究的研究员CharlesRoques-Carmes说。"我们发现的可控量子随机性不仅让我们能够重新审视量子光学中已有几十年历史的概念,而且还为概率计算和超精确场传感开辟了潜力。"该团队成功展示了操纵与光参量振荡器输出状态相关的概率的能力,从而创造了有史以来第一个可控光子概率位(p-bit)。此外,该系统还显示出对偏置场脉冲时间振荡的敏感性,甚至远低于单光子水平。工作的主要作者之一YannickSalamin博士正在操作实验系统。资料来源:AllysonMacBasino团队另一位成员YannickSalamin说:"我们的光子p比特生成系统目前可以每秒生成10,000个比特,每个比特都可以遵循任意的二项分布。我们预计,这项技术将在未来几年不断发展,从而产生更高速率的光子p位,并实现更广泛的应用。"麻省理工学院的MarinSoljačić教授强调了这项工作的广泛意义:"通过使真空波动成为可控元素,我们正在推动量子增强概率计算的发展。在组合优化和晶格量子色动力学模拟等领域模拟复杂动力学的前景非常令人兴奋"。...PC版:https://www.cnbeta.com.tw/articles/soft/1382749.htm手机版:https://m.cnbeta.com.tw/view/1382749.htm

封面图片

麻省理工学院发现:人类仍然比人工智能便宜

麻省理工学院(MIT)在一项研究中发现,人工智能目前还无法以经济有效的方式取代大多数工作岗位,这项研究试图打消人们对人工智能在许多行业取代人类的担忧情绪。在对人工智能取代劳动力的可行性进行的首次深入调查中,研究人员对美国各项任务自动化的成本吸引力进行了建模估算,重点关注了使用计算机视觉的工作——比如教师和房地产估价师。研究人员发现,按美元工资计算,只有23%的劳动者可以被有效取代。在其他情况下,由于人工智能辅助视觉识别的安装和操作成本高昂,因此由人类来完成这项工作更为经济划算。去年,在OpenAI的ChatGPT和其他AI工具展示了这项技术的潜力之后,各行各业开始加速采用这种工具。从美国的微软公司和Alphabet公司到中国的和,科技公司推出了各种AI服务。行业领袖警告说,AI发展速度太快了。长期以来,人们一直担心AI对就业的影响。麻省理工学院计算机科学与人工智能实验室的研究人员指出,“机器将抢走我们的工作”是技术快速变革时期人们经常表达的一种情绪,而随着大语言模型的创建,这种焦虑再次出现了。“但我们发现,由于AI系统的前期成本很高,只有23%的员工‘暴露’在AI计算机视觉中,对企业来说是具有成本效益的。”计算机视觉是AI技术的一个领域,它使机器能够从数字图像和其他视觉输入中获取有意义的信息,其最普遍的应用出现在自动驾驶的物体检测系统中,或者对智能手机上的照片进行分类。麻省理工学院的论文称,和的突出领域——零售、运输和仓储等方面,也是计算机视觉最具效益的领域。论文中一个案例提到,在面包店里,面包师每天都要检查原料的质量控制,但这只占他们工作时间的6%。但安装摄像头和AI系统所节省的时间和工资,远低于这种技术升级的成本。研究人员表示,目前只有3%的视觉辅助任务可以有效、低成本地自动化,但如果数据成本下降,准确性提高,到2030年这一比例可能会上升到40%。国际货币基金组织(IMF)上周发布报告称,人工智能技术将影响全球近40%的就业岗位,相比于新兴市场和低收入国家,发达国家的就业更容易受到人工智能的影响。它还警告说,在大多数情况下,这种技术对全球劳动力市场的潜在影响可能会加剧整体不平等。在上周的达沃斯世界经济论坛上,许多讨论都集中在AI取代劳动力的问题上。InflectionAI和DeepMind的联合创始人MustafaSuleyman表示,AI系统“从根本上说是替代劳动力的工具”。OpenAI首席执行官萨姆·奥特曼声称,AI的能力“有很强的局限性”,人们应该将其视为一种“在某些领域非常有用”的工具,不能完全依赖于AI。标签:#AI#劳动力频道:@GodlyNews1投稿:@GodlyNewsBot

封面图片

【英格兰银行与麻省理工学院就央行数字货币研究开展合作】

【英格兰银行与麻省理工学院就央行数字货币研究开展合作】3月26日消息,英格兰银行周五宣布,已经与麻省理工学院媒体实验室数字货币计划(简称DCI)达成协议,将共同开展为期12个月的央行数字货币(CBDC)研究项目。该银行在一份声明中说,这个新项目仅用于研究目的,并不打算开发一个可操作的CBDC。此前报道,加拿大银行上周宣布了与麻省理工学院为期一年的联合研究工作,而波士顿联储则在2020年启动了与DCI的合作。

封面图片

麻省理工学院研发Metior框架 一种对抗侧信道攻击的秘密武器

麻省理工学院研发Metior框架一种对抗侧信道攻击的秘密武器为了帮助工程师和科学家更好地了解不同混淆方案的有效性,麻省理工学院的研究人员创建了一个安全框架,用于定量评估攻击者能够从采用混淆方案的受害程序中获知多少信息。名为Metior的框架允许用户研究不同的受害者程序、攻击者策略和混淆方案配置如何影响敏感信息的泄露量。开发微处理器的工程师可利用该框架评估多种安全方案的有效性,并在芯片设计早期确定哪种架构最有前途。"Metior帮助我们认识到,我们不应该孤立地看待这些安全方案。分析混淆方案对某一特定受害者的有效性非常诱人,但这无助于我们理解这些攻击为何有效。从更高的层次看问题,我们就能更全面地了解实际情况,"研究生、Metior公开论文的主要作者PeterDeutsch说。Deutsch的合著者包括麻省理工学院电气工程与计算机科学研究生WeonTaekNa、瑞士联邦理工学院(EPFL)助理教授ThomasBourgeat博士(23岁)、麻省理工学院计算机科学与电气工程实践教授JoelEmer,以及资深作者、麻省理工学院电气工程与计算机科学(EECS)HomerA.Burnell职业发展助理教授、计算机科学与人工智能实验室(CSAIL)成员严孟嘉。这项研究上周在国际计算机体系结构研讨会上发表。揭示混淆安全行业内存在许多混淆方案,但流行的方法通常是通过在受害者的行为中添加一些随机化因素来使攻击者更难获取机密。例如,混淆方案可能涉及程序访问计算机内存的其他区域,而不是只访问需要访问的区域,以迷惑攻击者。还有一些方法会调整受害者访问内存或其他共享资源的频率,使攻击者难以发现清晰的模式。但是,尽管这些方法使攻击者更难得手,但受害者的一些信息仍会"泄露"出去。Yan和她的团队想知道泄漏了多少。他们之前开发了CaSA,这是一种量化特定类型混淆方案所泄露信息量的工具。但对于Metior,他们有更远大的目标。该团队希望推导出一个统一的模型,用于分析任何混淆方案,甚至是尚未开发的方案。为了实现这一目标,他们设计了Metior,将通过混淆方案的信息流映射为随机变量。例如,该模型将受害者和攻击者访问计算机芯片上的共享结构(如内存)的方式映射成数学公式。在Metior得出该数学表述后,该框架利用信息论的技术来理解攻击者如何从受害者那里获取信息。有了这些碎片,Metior就可以量化攻击者成功猜测受害者秘密信息的可能性。"我们将这种微架构侧通道的所有细枝末节都映射成数学问题。"Deutsch说:"一旦我们做到了这一点,我们就可以探索许多不同的策略,更好地理解如何通过微小的调整来帮助您抵御信息泄露。"令人惊讶的见解他们在三个案例研究中应用了Metior,以比较攻击策略并分析最先进的混淆方案造成的信息泄露。通过评估,他们看到了Metior如何识别以前尚未完全理解的有趣行为。例如,先前的分析确定了某种类型的侧信道攻击(称为概率素数和探测)是成功的,因为这种复杂的攻击包括一个初步步骤,即对受害者系统进行剖析,以了解其防御能力。他们利用Metior表明,这种高级攻击实际上并不比简单、普通的攻击更有效,而且它利用的受害者行为与研究人员之前想象的不同。展望未来,研究人员希望继续增强Metior,以便该框架能够以更有效的方式分析非常复杂的混淆方案。他们还希望研究更多的混淆方案和受害者程序类型,并对最流行的防御措施进行更详细的分析。最终,研究人员希望这项工作能激励其他人研究微架构安全评估方法,以便在芯片设计过程中尽早应用。"任何一种微处理器的开发都异常昂贵和复杂,而且设计资源极其稀缺。在公司投入微处理器开发之前,有一种评估安全功能价值的方法极为重要。"Emer说:"这正是Metior允许他们以非常普遍的方式做到的。"...PC版:https://www.cnbeta.com.tw/articles/soft/1370611.htm手机版:https://m.cnbeta.com.tw/view/1370611.htm

封面图片

麻省理工学院发明一种兆瓦级电机 有望彻底改变航空旅行

麻省理工学院发明一种兆瓦级电机有望彻底改变航空旅行现在,麻省理工学院的研究人员可能终于找到了一种方法,可以用来制造一个混合系统,利用电气元件和燃气轮机航空发动机。这些麻省理工学院的研究人员正在研究的100万千瓦的电机可能是一个非常重要的垫脚石,以便在未来的某个地方创造一架全电动的飞机。到目前为止,该团队已经设计并测试了电机的主要部件,通过详细的计算表明,这些部件可以作为一个整体产生一兆瓦的功率,同时在重量和尺寸上仍然可以与目前较小的航空发动机竞争。该团队认为,兆瓦级电机将需要与一个电力来源配对,如电池或燃料电池,使其能够将电能转化为机械功,为飞机上的螺旋桨提供动力。此外,它还能够与传统的涡扇喷气发动机配对,以创建一个混合系统,在飞行的某些部分使用电力推进。该团队由GTL和麻省理工学院电磁和电子系统实验室的教员、学生和研究人员组成。试图创造一个更环保的电机已经变得很重要,特别是当我们正朝着可能是破坏性气候"厄运循环"的开始前进时。能够利用电力进行飞行将很容易帮助彻底改变航空业。"无论我们使用什么作为能源载体--电池、氢气、氨气或可持续航空燃料--独立于所有这些,兆瓦级电机将是绿色航空的关键推动因素,"领导该项目的麻省理工学院T.Wilson航空学教授和燃气涡轮机实验室(GTL)主任ZoltanSpakovszky说。Spakovszky和他的团队成员,以及行业合作者,将在6月的航空会议上的美国航空航天学会-电动飞机技术研讨会(EATS)特别会议上介绍他们的工作。麻省理工学院的团队由GTL和麻省理工学院电磁和电子系统实验室的教员、学生和研究人员组成:HenryAndersenYuankangChen、ZacharyCordero、DavidCuadrado、EdwardGreitzer、CharlotteGump、JamesKirtley,Jr.、JeffreyLang、DavidOtten、DavidPerreault和MohammadQasim,以及Innova-LogicLLC的MarcAmato。该项目由三菱重工(MHI)赞助。...PC版:https://www.cnbeta.com.tw/articles/soft/1369047.htm手机版:https://m.cnbeta.com.tw/view/1369047.htm

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人