ACM网站刚刚发布消息，出生于英国的理论计算科学家、哈佛大学教授Leslie Valiant因为“对众多计算理论（包括PAC学习、枚举复杂性、代数计算和并行与分布式计算）所做的变革性的贡献”而获得最新一届计算机科学最高荣誉——图灵奖。
ACM的颁奖词高度评价了Valiant教授30多年对理论计算科学的基础性贡献：
| 他的工作开辟了新领域，推出了独创的新概念，并提供了许多兼具原创性、深度和优美的结果。他的工作一次又一次地确立或改变了计算机科学的面貌。 |
颁奖词还指出，Valiant最大的贡献是1984年的论文A Theory of the Learnable使诞生于1950年代的机器学习领域第一次有了坚实的数学基础，从而扫除了学科发展的障碍，这对人工智能诸多领域包括加强学习、机器视觉、自然语言处理和手写识别等都产生了巨大影响。可以说，没有他的贡献，IBM也不可能造出Watson这样神奇的机器来。
他在计算复杂性理论方面也有重要贡献，包括提出了#P-completeness。他1979年提出的上下文无关分析算法，至今仍然是最快的之一。
在并行与分布式计算领域，他1990年提出了著名的BSP并行模型，至今还是这一学科的必读论文。
Leslie Valiant是先后在英国剑桥大学、伦敦帝国理工学院学习，1974年获得华威大学计算机科学博士学位。此后曾在卡内基-梅隆大学、利兹大学和爱丁堡大学任教。1982年来到哈佛，先任该校工程与应用科学学部计算机与应用数学讲席教授。
关于自己最近的研究方向兴趣，Valiant教授在网站中这样写道：
计算机科学包括对人工现象和自然现象的研究。前者关注人造设备比如计算机；后者涉及大自然中多步骤或者计算的过程，比如脑或者生物进化过程。在大多数领域，对这些人工或者自然过程的终极局限还没有很好的理解。计算设备的潜力目前还远远没有认识清楚，而神经科学与演化中基础性的定量问题也没有得到解答。他的研究主要关注这些基本问题。
具体而言，在计算复杂性方面，Valiant教授正在寻求全息（holographic）解决方法。在分布式计算方面，他正在研究如何为多核设备设计算法，而且能够实现在性能差异很大、不同的架构之间保证很好的移植性和效率。在机器学习领域，他提出了robust logics试图缝合统计模型与推理模型之间的鸿沟。此外，他对大脑皮层如此脆弱的系统如何完成复杂而且大规模的计算发生了浓厚兴趣，已经提出了一些原语。他还在达尔文进化理论的量化研究方面做出了一些尝试。
的确，正如ACM对其成就的描述最后总结的，很少有人能在学术研究中达到Valiant这样深度和广度兼备。他是理论计算科学名副其实的英雄人物。
Leslie Valiant是英国皇家学会会士、美国科学院院士。1986年获国际数学联盟Nevanlinna奖，1997年获Knuth奖，2008年获EATCS（欧洲理论计算科学协会）奖。
图灵奖有计算机界的诺贝尔奖之称，由ACM（国际计算机协会）每年颁发，奖金为25万美元，目前由Google和Intel赞助。
转自：http://www.oschina.net/news/16196/leslie-valiant-2010-am-Turing-Award
分享到：
相关推荐
此外，还有在机器学习、计算复杂性理论以及计算神经学等领域做出突出贡献的科学家，如Leslie Gabriel Valiant和首位华裔图灵奖得主姚期智，以及Judea Pearl，他在概率和因果性推理方面有重要建树。 【人工智能的...
- 计划邀请图灵奖获得者、美国哈佛大学的Leslie Valiant教授前来做讲座并进行交流。 - 合作双方将不定期进行学术或产业发展方向的交流，为公司和高校教师了解国际、国内最前沿动态提供帮助。 #### 三、宣传工作 ...
- **Leslie Gabriel Valiant (2010)**：因其在计算理论方面的变革性贡献而获奖，尤其是在可能近似正确（PAC）学习理论方面的工作。 以上内容不仅涵盖了多媒体与网络的基础概念，还深入探讨了其与人机交互、人工...
为了充分利用Fountain码的优势，开发者需要理解其背后的数学原理，如图灵奖得主Leslie Valiant提出的Luby Transform编码，以及RaptorQ的细节，以便于在具体项目中进行有效应用。 总之，Fountain码在XIA平台上的应用...
内容概要：0欧姆电阻在电路设计中有多种重要作用。它不仅可以在PCB上为调试提供便利，还能用于跳线、替代不确定参数的元件以及测量电路的耗电流。此外，在布线困难时可作为应急解决方案。在高频信号环境下，它能充当电感或电容，有助于解决EMC问题。对于地线处理，0欧姆电阻可用于实现单点接地，避免模拟地和数字地直接大面积相连带来的互相干扰问题。在跨接电流回路方面，它可以提供较短的回流路径，减少干扰。同时，0欧姆电阻还适用于配置电路，防止用户误操作跳线或拨码开关，并且在布线、调试、测试、温度补偿等方面有着广泛应用，尤其在EMC对策中表现突出。; 适合人群：电子工程师、硬件设计师以及对电路设计感兴趣的爱好者。; 使用场景及目标：①在PCB设计阶段，利用0欧姆电阻进行灵活的电路调试与优化；②解决高频信号下的EMC问题，确保电路稳定性和抗干扰能力；③实现单点接地，避免不同地线间的相互干扰；④提高电路的可维护性和可靠性，降低生产成本。; 阅读建议：本文详细介绍了0欧姆电阻在电路设计中的多种应用场景，读者应结合具体项目需求来理解和运用这些知识，特别是在面对复杂的电路布局和电磁兼容性问题时，要充分考虑0欧姆电阻的独特优势。
mysql安装教程 一个基于SpringBoot+Mybatis+Mysql+Html实现的页面登录案例.
在探索智慧旅游的新纪元中，一个集科技、创新与服务于一体的整体解决方案正悄然改变着我们的旅行方式。智慧旅游，作为智慧城市的重要分支，旨在通过新一代信息技术，如云计算、大数据、物联网等，为游客、旅游企业及政府部门提供无缝对接、高效互动的旅游体验与管理模式。这一方案不仅重新定义了旅游行业的服务标准，更开启了旅游业数字化转型的新篇章。 智慧旅游的核心在于“以人为本”，它不仅仅关注技术的革新，更注重游客体验的提升。从游前的行程规划、信息查询，到游中的智能导航、个性化导览，再到游后的心情分享、服务评价，智慧旅游通过构建“一云多屏”的服务平台，让游客在旅游的全过程中都能享受到便捷、个性化的服务。例如，游客可以通过手机APP轻松定制专属行程，利用智能语音导览深入了解景点背后的故事，甚至通过三维GIS地图实现虚拟漫游，提前感受目的地的魅力。这些创新服务不仅增强了游客的参与感和满意度，也让旅游变得更加智能化、趣味化。 此外，智慧旅游还为旅游企业和政府部门带来了前所未有的管理变革。通过大数据分析，旅游企业能够精准把握市场动态，实现旅游产品的精准营销和个性化推荐，从而提升市场竞争力。而政府部门则能利用智慧旅游平台实现对旅游资源的科学规划和精细管理，提高监管效率和质量。例如，通过实时监控和数据分析，政府可以迅速应对旅游高峰期的客流压力，有效预防景区超载，保障游客安全。同时，智慧旅游还促进了跨行业、跨部门的数据共享与协同合作，为旅游业的可持续发展奠定了坚实基础。总之，智慧旅游以其独特的魅力和无限潜力，正引领着旅游业迈向一个更加智慧、便捷、高效的新时代。
内容概要：本文详细介绍了如何通过PLC程序实现模拟量滤波防抖，确保电流、电压和热电阻等信号的准确采集。核心算法采用掐头去尾平均法，即去掉一组数据中的最大值和最小值后取剩余数据的平均值，以消除因环境干扰导致的异常值。文中提供了详细的代码实现步骤，包括数据结构定义、主程序逻辑、间接寻址方法以及参数配置。此外，还讨论了如何通过死区判断和上升率限制进一步优化滤波效果，提高系统的稳定性和响应速度。 适合人群：从事工业自动化领域的工程师和技术人员，尤其是熟悉PLC编程和模拟量信号处理的专业人士。 使用场景及目标：适用于需要高精度模拟量信号采集的工业控制系统，如电力、化工、制造业等领域。主要目标是提升数据采集的准确性和稳定性，减少外部干扰带来的误差。 其他说明：文中提供的代码示例基于西门子S7-1200/1500系列PLC，但相关原理和方法同样适用于其他品牌的PLC。建议在实际应用中根据具体情况调整参数设置，以达到最佳效果。
内容概要：本文详细介绍了大模型的发展现状与未来趋势，尤其聚焦于DeepSeek这一创新应用。文章首先回顾了人工智能的定义、分类及其发展历程，指出从摩尔定律到知识密度提升的转变，强调了大模型知识密度的重要性。随后，文章深入探讨了DeepSeek的发展路径及其核心价值，包括其推理模型、思维链技术的应用及局限性。此外，文章展示了DeepSeek在多个行业的应用场景，如智能客服、医疗、金融等，并分析了DeepSeek如何赋能个人发展，具体体现在公文写作、文档处理、知识搜索、论文写作等方面。最后，文章展望了大模型的发展趋势，如通用大模型与垂域大模型的协同发展，以及本地部署小模型成为主流应用渠道的趋势。 适合人群：对人工智能和大模型技术感兴趣的从业者、研究人员及希望利用DeepSeek提升工作效率的个人用户。 使用场景及目标：①了解大模型技术的最新进展和发展趋势；②掌握DeepSeek在不同领域的具体应用场景和操作方法；③学习如何通过DeepSeek提升个人在公文写作、文档处理、知识搜索、论文写作等方面的工作效率；④探索大模型在特定行业的应用潜力，如医疗、金融等领域。 其他说明：本文不仅提供了理论知识，还结合实际案例，详细介绍了DeepSeek在各个场景下的应用方式，帮助读者更好地理解和应用大模型技术。同时，文章也指出了当前大模型技术面临的挑战，如模型的局限性和数据安全问题，鼓励读者关注技术的持续改进和发展。
内容概要：本文详细比较了四种基于最小二乘支持向量机(LSSVM)的短期电力负荷预测算法：原始LSSVM、SSA-LSSVM、VMD-LSSVM以及VMD-SSA-LSSVM。通过对这些算法的具体实现和性能评估，展示了每种方法的优势和局限性。实验结果显示，随着算法复杂度的增加，预测精度显著提高，特别是VMD-SSA-LSSVM在RMSE和MAPE等评价指标上表现出色，达到了接近真实值的预测效果。然而，这也伴随着计算成本的大幅上升。 适合人群：从事电力系统调度、数据分析、机器学习领域的研究人员和技术人员。 使用场景及目标：适用于需要进行短期电力负荷预测的研究项目或实际应用，旨在提高预测准确性，减少因天气变化、节假日等因素带来的不确定性影响。 其他说明：文中提供了详细的Python代码片段，帮助读者理解和复现相关算法。同时提醒，在选择模型时需综合考虑预测精度与计算效率之间的平衡。
内容概要：本文详细介绍了一种基于Python和Django框架构建的电影推荐系统。该系统不仅涵盖了用户端的基本功能（如登录、搜索、浏览、评论、评分、收藏），还包括管理端的增删改查操作。后端使用Python和Django框架，结合MySQL数据库，前端采用HTML、CSS和JavaScript实现交互界面。推荐算法方面，利用机器学习和深度学习技术，特别是协同过滤和内容过滤相结合的方式，确保推荐结果的多样性和精准性。此外，文中还讨论了一些常见的技术挑战及其解决方案，如用户冷启动问题、前端交互效果优化、数据库配置错误等。 适合人群：具有一定编程经验的Web开发者和技术爱好者，尤其是对Django框架、机器学习和深度学习感兴趣的读者。 使用场景及目标：适用于希望深入了解并实现一个完整的电影推荐系统的个人或团队。主要目标是掌握如何整合前后端技术，运用机器学习和深度学习算法提升用户体验。 其他说明：文中提供了大量代码片段和实践经验，帮助读者更好地理解和实施各个技术细节。同时强调了系统优化的重要性，如通过Redis缓存提高查询效率，使用AJAX实现无缝加载等。
内容概要：本文探讨了基于MATLAB平台的V2G（车辆到电网）光储充一体化微网多目标优化调度策略。该策略旨在通过建立光伏微网中以经济性和并网负荷波动率为双目标的蓄电池和V2G协同调度模型，利用粒子群优化（PSO）算法求解模型。文中详细介绍了模型搭建、核心算法实现、运行模式对比以及算例分析。结果显示，V2G模式能够显著提高系统的经济性和稳定性，减少蓄电池的需求量，优化三方（电网、微网调度中心、电动汽车用户）的利益。 适合人群：从事电力系统优化、智能电网研究的专业人士，尤其是对MATLAB编程有一定基础的研究人员和技术人员。 使用场景及目标：适用于需要优化光储充一体化微网调度策略的研究机构和企业。目标是在保证系统经济运行的同时，稳定并网负荷，减少波动，从而提升整体性能。 其他说明：代码注释详尽，包含并行计算框架、电池寿命模型和可视化模块等多个亮点。通过实际案例验证，证明了V2G模式的有效性。
内容概要：本文详细介绍了三菱FX3U五轴钻孔机的PLC程序和威纶通触摸屏配置，涵盖梯形图编程、IO分配表、参数设置、自动补偿机制以及异常处理等方面。文章通过具体的代码实例展示了如何实现加工循环、参数动态调整、安全防护等功能，并分享了调试过程中遇到的问题及解决方案。此外，还提供了完整的工程文件，便于读者快速理解和应用。 适合人群：从事工业自动化领域的工程师和技术人员，尤其是对三菱PLC和威纶通触摸屏有一定了解的人群。 使用场景及目标：帮助读者掌握五轴钻孔机的控制系统设计方法，提高编程效率和设备稳定性，适用于类似机床控制系统的开发和维护。 其他说明：文中提到的许多技巧和注意事项来源于作者的实际工作经验，对于初学者来说非常有价值。同时，提供的完整工程文件可以作为参考模板，节省开发时间和成本。
matlab开发相关资源
a383d-main.zip
智慧小区解决方案.pptx
Seafile 基于 Qt 的 GUI 客户端
内容概要：本文详细介绍了无人驾驶车辆在局部路径规划中的两种经典算法——Astar和RRT的Matlab实现及其优化。首先，文章解释了Astar算法的核心思想，即通过启发函数进行路径搜索，并针对U型障碍等问题提出了双向搜索策略和动态权重调节。接着，文章探讨了RRT算法的特点，如随机生长特性和路径平滑处理，解决了路径过于曲折的问题。此外，还提出了一种混合算法HRA*，通过改进OPEN集的维护方式，提高了算法效率。最后，通过对不同场景的仿真测试，展示了两种算法在复杂环境中的性能差异，并提供了详细的调参经验和优化建议。 适合人群：对无人驾驶技术和路径规划感兴趣的科研人员、工程师以及有一定编程基础的学习者。 使用场景及目标：适用于研究无人驾驶车辆在复杂环境中的路径规划问题，帮助研究人员理解和优化Astar和RRT算法，提高路径规划的效率和准确性。 其他说明：文中附有大量Matlab代码片段和仿真结果图表，便于读者理解和复现实验。同时，提供了关于栅格地图分辨率、车辆动力学参数等方面的实用建议，有助于实际系统的部署和优化。
选择
内容概要：本文详细介绍了西门子200Smart PLC与维纶触摸屏在某疫苗车间控制系统的具体应用，涵盖配液、发酵、纯化及CIP清洗四个主要工艺环节。文中不仅展示了具体的编程代码和技术细节，还分享了许多实战经验和调试技巧。例如，在配液罐中，通过模拟量处理确保温度和液位的精确控制；发酵罐部分，着重讨论了PID参数整定和USS通讯控制变频器的方法；纯化过程中，强调了双PID串级控制的应用；CIP清洗环节，则涉及复杂的定时器逻辑和阀门联锁机制。此外，文章还提到了一些常见的陷阱及其解决方案，如通讯干扰、状态机切换等问题。 适合人群：具有一定PLC编程基础的技术人员，尤其是从事工业自动化领域的工程师。 使用场景及目标：适用于需要深入了解PLC与触摸屏集成控制系统的工程师，帮助他们在实际项目中更好地理解和应用相关技术和方法，提高系统的稳定性和可靠性。 其他说明：文章提供了大量实战经验和代码片段，有助于读者快速掌握关键技术点，并避免常见错误。同时，文中提到的一些优化措施和调试技巧对提升系统性能非常有帮助。