RAISE: Software for Making: Programmable Geometry for Mathematics Education, Classical Stringed Instrument Design, and its Material Culture

RAISE：制作软件：用于数学教育的可编程几何、古典弦乐器设计及其物质文化

• 批准号: 1836965
• 负责人: Harry Mairson
• 金额: $ 42.08万
• 依托单位: Brandeis University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-10-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1836965&HistoricalAwards=false
• 关键词: RAISE; Software; Making; Programmable; Geometry

This Research Advanced by Interdisciplinary Science and Engineering (RAISE) project is supported by the Division of Research on Learning in the Education and Human Resources Directorate and by the Division of Computing and Communication Foundations in the Computer and Information Science and Engineering Directorate. This interdisciplinary project integrates historical insights from geometric design principles used to craft classical stringed instruments during the Renaissance era with modern insights drawn from computer science principles. The project applies abstract mathematical concepts toward the making and designing of furniture, buildings, paintings, and instruments through a specific example: the making and designing of classical stringed instruments. The research can help instrument makers employ customized software to facilitate a comparison of historical designs that draws on both geometrical proofs and evidence from art history. The project's impacts include the potential to shift in fundamental ways not only how makers think about design and the process of making but also how computer scientists use foundational concepts from programming languages to inform the representation of physical objects. Furthermore, this project develops an alternate teaching method to help students understand mathematics in creative ways and offers specific guidance to current luthiers in areas such as designing the physical structure of a stringed instrument to improve acoustical effect.The project develops a domain-specific functional programming language based on straight-edge and compass constructions and applies it in three complementary directions. The first direction develops software tools (compilers) to inform the construction of classical stringed instruments based on geometric design principles applied during the Renaissance era. The second direction develops an analytical and computational understanding of the art history of these instruments and explores extensions to other maker domains. The third direction uses this domain-specific language to design an educational software tool. The tool uses a calculative and constructive method to teach Euclidean geometry at the pre-college level and complements the traditional algebraic, proof-based teaching method. The representation of instrument forms by high-level programming abstractions also facilitates their manufacture, with particular focus on the arching of the front and back carved plates --- of considerable acoustic significance --- through the use of computer numerically controlled (CNC) methods. The project's novelties include the domain-specific language itself, which is a programmable form of synthetic geometry, largely without numbers; its application within the contemporary process of violin making and in other maker domains; its use as a foundation for a computational art history, providing analytical insights into the evolution of classical stringed instrument design and its related material culture; and as a constructional, computational approach to teaching geometry.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

跨学科科学与工程（RAISE）项目的研究由教育和人力资源局的学习研究部门以及计算机和信息科学与工程局的计算和通信基础部门提供支持。这个跨学科的项目将文艺复兴时期用于制作古典弦乐器的几何设计原理的历史见解与计算机科学原理的现代见解相结合。 该项目通过一个具体的例子将抽象的数学概念应用于家具，建筑物，绘画和乐器的制作和设计：古典弦乐器的制作和设计。 这项研究可以帮助乐器制造商使用定制的软件，以促进历史设计的比较，借鉴几何证据和艺术史的证据。 该项目的影响包括可能从根本上改变制造商对设计和制造过程的思考方式，以及计算机科学家如何使用编程语言的基本概念来告知物理对象的表示。 此外，本项目开发了一种替代教学方法，帮助学生以创造性的方式理解数学，并在设计弦乐器的物理结构以改善声学效果等方面为当前的制琴师提供具体指导。本项目开发了基于直边和罗盘结构的特定领域功能编程语言，并将其应用于三个互补方向。第一个方向开发软件工具（编译器），以告知基于文艺复兴时期应用的几何设计原则的古典弦乐器的构造。第二个方向发展这些工具的艺术史的分析和计算的理解，并探讨扩展到其他制造商域。第三个方向使用这种特定领域的语言来设计一个教育软件工具。该工具使用计算和建设性的方法来教欧几里德几何在大学预科水平，并补充了传统的代数，证明为基础的教学方法。通过高级编程抽象来表示乐器形式也有助于它们的制造，特别是通过使用计算机数控（CNC）方法来对前后雕刻板进行雕刻-具有相当大的声学意义。该项目的新颖之处包括领域特定语言本身，这是一种可编程的合成几何形式，主要没有数字;它在当代小提琴制作过程和其他制造领域的应用;它作为计算艺术史的基础，为古典弦乐器设计及其相关物质文化的演变提供分析见解;该奖项反映了NSF的法定使命，并被认为值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估来支持。