[论文解读] Current Trends and Future Research Directions for Interactive Music

Mauricio Toro|arXiv (Cornell University)|Oct 5, 2018

Music Technology and Sound Studies参考文献 79被引用 17

一句话总结

本文综述并比较了用于交互式音乐的正式框架，包括音序器、元乐器和过程演算，强调其严格的语义和正确性保证。文章指出正式方法与商业工具之间存在差距，主张未来研究应弥合这一鸿沟，以实现更可靠且富有表现力的交互式音乐系统。

ABSTRACT

In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools.

研究动机与目标

• 分析和比较当前交互式音乐系统中使用的软件与形式化方法。
• 识别形式化方法（提供强大语义和正确性保证）与实际、商业可用工具之间的权衡。
• 强调缺乏针对形式化方法的商业工具是其在交互式音乐应用中难以推广的关键障碍。
• 梳理交互式音乐技术的当前趋势，并识别尚未充分探索的研究方向。
• 引导未来研究将形式化方法与实用、易用的工具相结合，以促进音乐交互。

提出的方法

• 调查并分类10种用于交互式音乐的形式化与软件方法，包括乐谱跟踪、数据流语言和过程演算。
• 基于其表达复杂音乐交互并具备形式化语义的能力，评估每种方法。
• 比较同步与异步数据流模型在实时音乐处理中的表现。
• 分析时间约束和交互式乐谱作为形式化方法，用于指定依赖时间的音乐行为。
• 评估过程演算和乐谱跟踪系统等正式模型的表达能力与正确性保证。
• 指出尽管理论优势显著，但缺乏工业级工具支持形式化音乐交互系统。

实验结果

研究问题

• RQ1 当前交互式音乐系统中使用的关键形式化方法有哪些？它们在表达能力和正确性方面有何差异？
• RQ2 尽管形式化方法具有坚实的理论基础，为何在交互式音乐中仍缺乏广泛采用？
• RQ3 如何有效将形式化语义集成到实用的实时音乐软件工具中？
• RQ4 哪些研究方向最有可能弥合形式化音乐模型与商业应用之间的差距？
• RQ5 哪种形式化方法最能支持音乐表演与创作中的动态、实时交互？

主要发现

• 过程演算和时间约束等形式化方法提供了严格的语义，并可实现对系统行为的形式化验证。
• 尽管具有理论优势，形式化方法仍因缺乏成熟、商业可用的工具而难以在交互式音乐开发中普及。
• 音序器、计算机辅助即兴创作和元乐器在实践中仍占主导地位，因其工具支持更好且更易用。
• 异步与同步数据流语言在实时音频处理方面支持良好，但需仔细建模时间与控制流。
• 乐谱跟踪和交互式乐谱在现场表演中有效，但在动态条件下面临鲁棒性和表达能力的挑战。
• 本文结论认为，未来研究必须聚焦于开发实用、用户友好的工具，同时保留理论模型的形式化正确性保证。