Collaborative Research: An Expedition in Computing for Compiling Printable Programmable Machines

协作研究：编译可打印可编程机器的计算探索

• 批准号: 1138847
• 负责人: R. Vijay Kumar
• 金额: $ 340万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1138847&HistoricalAwards=false
• 关键词: Collaborative; Research; Expedition; Computing; Compiling

An Expedition in Computing for Compiling Printable Programmable MachinesDaniela Rus, Vijay Kumar, Andre DeHon, Martin Demaine, Sanjeev Khanna, Sangbae Kim, Insup Lee, Wojciech Matusik, Martin Rinard, Rob WoodThis project envisions a future desktop technology that prints actual programmable hybrid electro-mechanical devices from only their sketches on-demand, anywhere with the skill of a team of professional engineers using advanced materials. It would transform manufacturing as dramatically as the personal computer democratized information technology and transformed how we communicate. The capability to customize cyber-physical systems on-demand would change how contingencies are planned. Rescuers engaged in humanitarian aid and disaster reliefs in remote locations could minimize their logistic needs on-site. Warehouses of spare and replacement parts that may never be used could be replaced by storing only their designs digitally, not the physical parts themselves. Fundamental problems in computer science about what is computable by digital machines will change. The problems will be reframed in a larger context as what functional hybrid machines are constructible from cyber-physical primitives. The technical approach builds on analogies with compiler technology and supporting algorithmic theories. Experienced engineers may know from experience what is constructible but their experience must be expressed in a language that blends the continuous with the discrete, the cyber with the physics of materials processing. The project addresses broad classes of constructible cyber-physical systems: (1) the development of tools for functional specification and automated co-design of the mechanical, electrical, computing, and software aspects of the device; (2) the design of planning and control algorithms for the assembly of the device and for delivering the desired function of behavior, and tools for the analysis of these algorithms that take into account all the necessary resources, including actuators, sensors, and data streams from the world; (3) the methodology to generate device-specific and task-specific programming environments that provide safeguards for programs written by non-expert users to enable them to operate the machines safely; and (4) the development of novel approaches to the automated production of new devices which may be based on the synthesis of programmable materials with customizable electrical or mechanical properties. This research is highly multidisciplinary, primarily leveraging the disciplines of computer science, electrical and mechanical engineering, materials, and manufacturing science. This project will create a community of interest in this new research area, reach out to young people in grades K-12, engage the national and international community through professional society meetings, and establish new interdisciplinary programs among the participating academic institutions. Like the very successful MOSIS program (www.mosis.com/), this project will disseminate the research results and provide a community resource and service for experimentation with our technologies.¬For more information, please visit: http://ppm.csail.mit.edu

编译可打印可编程机器的计算远征Daniela Rus、Vijay Kumar、Andre DeHon、Martin Demaine、Sanjeev Khanna、Sangbae Kim、Insup Lee、Wojciech Matusik、Martin Rinard、Rob Wood该项目设想了一种未来的桌面技术，可以仅根据需要的草图打印实际的可编程混合机电设备， 任何地方，都有专业工程师团队使用先进材料的技能。 它将极大地改变制造业，就像个人计算机使信息技术民主化并改变我们的沟通方式一样。 按需定制网络物理系统的能力将改变应急计划的方式。 在偏远地区从事人道主义援助和救灾的救援人员可以最大限度地减少现场后勤需求。可能永远不会使用的备件和更换零件的仓库可以通过仅以数字方式存储其设计而不是物理零件本身来进行更换。 计算机科学中有关数字机器可计算内容的基本问题将会发生变化。 这些问题将在更大的背景下重新构建，即可以从网络物理原语构建哪些功能混合机器。 该技术方法建立在与编译器技术和支持算法理论的类比之上。 经验丰富的工程师可能从经验中知道什么是可构造的，但他们的经验必须用一种将连续与离散、网络与材料加工物理相融合的语言来表达。 该项目涉及广泛的可构建网络物理系统：（1）开发用于功能规范和设备的机械、电气、计算和软件方面的自动化协同设计的工具； (2) 设计用于组装设备和提供所需行为功能的规划和控制算法，以及用于分析这些算法的工具，其中考虑到所有必要的资源，包括执行器、传感器和来自世界的数据流； (3) 生成特定于设备和特定于任务的编程环境的方法，为非专家用户编写的程序提供保障，使他们能够安全地操作机器； (4) 开发新设备自动化生产的新方法，该方法可能基于具有可定制电气或机械特性的可编程材料的合成。这项研究是高度多学科的，主要利用计算机科学、电气和机械工程、材料和制造科学等学科。 该项目将在这个新的研究领域创建一个兴趣社区，接触 K-12 年级的年轻人，通过专业协会会议吸引国内和国际社会的参与，并在参与的学术机构之间建立新的跨学科项目。与非常成功的 MOSIS 计划 (www.mosis.com/) 一样，该项目将传播研究成果，并为我们的技术实验提供社区资源和服务。¤欲了解更多信息，请访问：http://ppm.csail.mit.edu