Modélisation et simulation des processus biologiques dans le À-calcul
No Thumbnail Available
Date
2007
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Dans ce mémoire nous avons étudié la modélisation des réactions biologiques et leur simulation dans le À-calcul stochastique. Les processus biologiques, considérés comme des processus parallèles, sont d'abord exprimés dans le langage du À-calcul stochastique, ensuite sont simulés à l'aide d'outils comme BioSpi et SPiM, basés sur l'algorithme de Gillespie. Pour illustrer cette méthode nous avons considéré l'exemple de réaction de régulation de la transcription de gènes par rétroaction. Après sa modélisation dans le À-calcul stochastique, nous avons exécuté le programme obtenu à l'aide d'outil SPiM. Les résultats de la simulation obtenus donnent des informations utiles sur cette réaction de régulation
Description
84 p. , ill. 30 cm
Keywords
Simulation, Calcul formel, Automates, Logique temporelle, Design patterns, Modalité (logique), Modèle CMM (informatique)
