KODA：基于依赖分析的编织程序优化器

视频

DOI

数字编织机器具有可靠制造无缝、纹理和多材料服装的能力，但这些能力被限制性的CAD工具所掩盖。计算编织的最新创新建立在新兴编程基础设施之上，该基础设施使人们能够完全访问机器的功能，但需要对机器操作和执行有广泛的了解。在本文中，我们为编织机编程管道贡献了一个关键缺失的环节——程序优化器。程序优化允许程序员专注于开发产生所需面料的创新算法，同时将高效机器操作的关注 deferred 给优化器。我们提出了KODA，即基于依赖分析的编织程序优化方法。KODA重新排序并减少机器指令，以减少编织时间，提高编织可靠性，并管理调整机器状态的样板操作。结果是一个系统，使程序员能够编写可读且直观的编织算法，同时产生高效且经过验证的程序。