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

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

• 批准号: 1138967
• 负责人: Daniela Rus
• 金额: $ 596万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1138967&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罗斯，Vijay Kumar，Andre DeHon，Martin Demaine，Sanjeev卡纳，SanguyKim，Insup Lee，Wojciech Matusik，Martin Rinard，Rob Wood这个项目设想了一种未来的桌面技术，可以根据需要，在任何地方使用专业工程师团队的技能，从草图打印实际的可编程混合机电设备。 它将极大地改变制造业，就像个人电脑使信息技术民主化并改变我们的沟通方式一样。 按需定制网络物理系统的能力将改变应急计划的方式。 在偏远地区从事人道主义援助和救灾的救援人员可以尽量减少现场的后勤需求。可能永远不会使用的备件和替换零件的仓库可以通过只存储其设计数字而不是物理零件本身来替换。 计算机科学中关于什么是数字机器可计算的基本问题将发生变化。 这些问题将在更大的背景下重新构建，即从网络物理原语中可以构建哪些功能混合机器。 技术方法建立在与编译器技术和支持算法理论的类比之上。 经验丰富的工程师可能从经验中知道什么是可构建的，但他们的经验必须用一种语言来表达，这种语言将连续与离散、网络与材料加工的物理学相结合。 该项目涉及广泛的可构建的信息物理系统：（1）开发用于功能规范和设备机械，电气，计算和软件方面的自动协同设计的工具;（2）设计用于装置的组装和用于传递期望的行为功能的规划和控制算法，以及用于分析这些算法的工具，这些算法考虑了所有必要的资源，包括执行器，传感器和来自世界的数据流;（3）生成特定于设备和特定于任务的编程环境的方法，这些环境为非计算机程序员编写的程序提供保障。专家用户，使他们能够安全地操作机器;和（4）开发新的方法来自动化生产新的设备，这可能是基于可编程材料的合成与可定制的电气或机械性能。这项研究是高度多学科的，主要利用计算机科学，电气和机械工程，材料和制造科学的学科。 该项目将在这一新的研究领域建立一个感兴趣的社区，接触K-12年级的年轻人，通过专业协会会议吸引国内和国际社会，并在参与的学术机构中建立新的跨学科项目。与非常成功的MOSIS计划（www.mosis.com/）一样，该项目将传播研究成果，并为我们的技术实验提供社区资源和服务。http://ppm.csail.mit.edu