Cette UE comporte divers enseignements autour des notions d'espace sonore ainsi que de prise et restitution du son, en traitant des aspects techniques et technologiques et de leur mise en oeuvre dans diverses perspectives musicales.
Expérience du responsable dans le domaine de l’UE
Mon activité de recherche universitaire est centrée sur le fonctionnement physique des instruments de musique, en relation avec la facture et les techniques de jeu des instruments d'une part et l'écoute du son musical d'autre part.
Réalisations du responsable dans le domaine de l’UE
Fabre B., Hirschberg A., From sound synthesis to instrument making : an overview of recent researches on woodwinds. Proceedings of the Stockholm Music Conference. Invited paper SMAC03, pp239-242 [2003].
Segoufin C., Fabre B., Verge M.P., Hirschberg A. and Wijnands A.P.J., Experimental study of the influence of the mouth geometry on sound production in a recorder-like instrument: Windway length and Chamfers, Acta Acustica, 86: 599-610, [2000].
B. FABRE : lectures on the acoustics of string instruments at the IACMA - International Advanced Course on Musical Acoustics, Italy July 2005.
Acronyme : msr
Spécialité : SAR
3 ECTS
Niveau : 500
Semestre : S3
Titre : Modélisation formelle de systèmes répartis
Responsable : Claude DUTHEILLET
Répartition hebdomadaire ou semestrielle
(CM: 20h00/5 semaines)(TD/TME: 10h00/5 semaines)
Contenu
La vérification d'un système se fait par la mise en oeuvre de méthodes utilisant une représentation formelle du fonctionnement de ce système. Le but de ce module est de montrer comment formaliser les caractéristiques du système nécessaires à la vérification des propriétés que l'on souhaite établir. Nous y présentons des outils adaptés aux différentes phases de la modélisation.
Expérience du responsable dans le domaine de l’UE
Après une thèse sur la modélisation d’applications réparties au moyen de réseaux de Petri colorés, ma recherche s’est poursuivie dans ce domaine, notamment en exploitant les symétries intrinséques du système pour réduire la représentation du graphe des états accessibles. Je m’intéresse aussi à la prise en compte de caractéristiques temporelles dans la représentation du système, dans le but d’obtenir des résultats en moyenne sur le comportement quantitatif du système.
Réalisations du responsable dans le domaine de l’UE
S. Baarir, C. Dutheillet, S. Haddad, J.-M. Ilié : "On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets", QEST05.
Y. Thierry-Mieg, C. Dutheillet, I. Mounier : "Automatic Symmetry Detection in Well-Formed Nets", ICATPN 2003
L. Capra, C. Dutheillet, G. Franceschinis, J.-M. Ilié : "Towards Performance Analysis with Partially Symmetrical SWN", MASCOT'99
C. Dutheillet, J.-M. Ilié, D. Poitrenaud, I. Vernier-Mounier : "State-Space-Based Methods and Model Checking", in Petri nets for Systems Engineering
L. Capra, C. Dutheillet, G. Franceschinis, J.-M. Ilié : "Exploiting Partial Symmetries for Markov Chain Aggregation", ENTCS, vol. 39
