Temporal Analysis of Mixed Intrumental/Electronic Music Scores - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Mémoires D'étudiants -- Hal-Inria+ Année : 2012

Temporal Analysis of Mixed Intrumental/Electronic Music Scores

Résumé

The subject of this internship was to add a static-analysis module to the score-following system Antescofo. The aim of this static-analysis module is to forecast the temporal behavior of the system during live performances, providing a substantial help to both composers and interprets. We follow an approach similar to the Inverse Method implemented by Etienne André in the tool IMITATOR. This method permits to infer constraints on the timing bounds (parametric delays) in timed automata guarantying the same execution trace as for given reference values for the delays. In our case, the parameters should represent the tempo of the musician, and the constraints should restrict the tempo variations, indicating the degree of freedom in interpretation guarantying the expected realtime behavior of the system. For musicality reasons, we found a way to relax the notion of same execution trace to some alternatives.
Le sujet de ce stage était d'ajouter un module d'analyse statique au système de suivi de partitions Antescofo. Le but de ce module d'analyse statique est de prévoir le comportement temporel du system durant les performances (concerts), offrant ainsi une aide substantielle aux compositeurs ainsi qu'aux interprètes. Nous utilisons une approche analogue à celle développée par Etienne André dans l'outil IMITATOR. Cette méthode (Inverse Method) permet l'inférence de contraintes sur les bornes des gardes et des invariants d'un automate temporisé paramétré garantissant un même comportement que pour une instantiation donnée des paramètres. Dans notre cas, les paramètres représentent les délais de jeu du musicien, et les contraintes ont pour but de restreindre les variations de tempo, indiquant le degré de liberté autorisé dans l'interprétation du musicien pour lequel le comportement du système en temps réel reste satisfaisant. La notion de comportement acceptable doit être définie par rapport à des exigences de musicalité.
Fichier non déposé

Dates et versions

hal-00762004 , version 1 (06-12-2012)

Identifiants

  • HAL Id : hal-00762004 , version 1

Citer

Fanchon Léa. Temporal Analysis of Mixed Intrumental/Electronic Music Scores. Logic in Computer Science [cs.LO]. 2012. ⟨hal-00762004⟩
83 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More