Modélisation et simulation des processus biologiques dans le À-calcul

No Thumbnail Available

Date

2007

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)

Citation

Collections

Endorsement

Review

Supplemented By

Referenced By