Interaction Multimédia avec NTCC

Musical phenomena are the most formally studied subset of the fine arts in our present time. From mathematical formalization to psychological analysis onto computer models are among the traces the scientific community have taken to explore music. One such formalism applied to model music is called NTCC , a constraint-based process algebra where operators are part of programs that may behave as musical agents.This work is aimed to provide a solid framework for interacting, constructing and deducting musical properties from an interpretation of a previously known score. The method is divided into two parts, an interactive construction of an NTCC process from executed musical events through the program ANTESCOFO and a model checking module for the output. A communication scheme between the two parts is implemented and documented, and finally an example with a musical piece is given along with analysis of its results
Los fenómenos musicales son el subconjunto más estudiado de las bellas artes actualmente. Desde formalizaciones matemáticas, análisis psicológicos hasta modelos computacionales son algunas de los caminos que la comunidad científica ha tomado para explorar el campo musical. Uno de estos formalismos aplicados a modelar música se llama NTCC , un cálculo de procesos basada en restricciones donde los operadores son parte de programas que pueden comportarse como agentes musicales.Este trabajo tiene como objetivo proveer una herramienta de trabajo para la interacción, construcción y deducción de propiedades musicales de una interpretación con base en una partitura conocida a priori. El método está dividido en 2 partes, una construcción interactiva de un proceso NTCC de eventos musicales ejecutados a través del programa ANTESCOFO y un módulo model checker para la salida de la parte anterior. Un esquema de comunicación entre ambas partes fue implementado y documentado y, finalmente, un ejemplo con una pieza musical es mostrado en conjunto con un análisis de sus resultados
Phénomènes musicaux sont le sous-ensemble plus formellement étudié les beaux-arts dans notre époque actuelle. De la formalisation mathématique d'analyse psychologique sur des modèles informatiques sont parmi les traces de la communauté scientifique ont prises pour étudier la musique. Un tel formalisme appliqué à modéliser la musique est appelé NTCC, un processus algèbre base de contraintes où les opérateurs font partie de programmes qui peuvent se comporter comme des agents musicales.Ce travail vise à fournir un cadre solide pour l'interaction, la construction et la déduction des propriétés musicales d'une interprétation d'une partition déjà connu. La méthode est divisée en deux parties, une construction interactive d'un processus NTCC d'événements musicaux exécutés par l'entremise du programme Antescofo et un module de vérification de modèle pour la sortie. Un système de communication entre les deux parties est mis en œuvre et documenté, et enfin un exemple avec une pièce musicale est donnée ainsi que l'analyse de ses résultats