Mémoires de Fin d’Etudes
Etablissement
Université de Boumerdès - M’hamed Bougara
Affiliation
Département d’Informatique
Auteur
Ishak Boushaki, Saida
Directeur de thèse
Mezghiche Mohamed (Professeur)
Filière
Informatique
Diplôme
Magister
Titre
Modélisation et simulation des processus biologiques dans le À-calcul
Mots clés
Simulation ; Calcul formel ; Automates ; Logique temporelle ; Design patterns ; Modalité (logique) ; Modèle CMM (informatique)
Résumé
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
Date de soutenance
2007
Cote
004(043.2)/A24/ISH
Pagination
84 p.
Illusatration
ill.
Format
30 cm
Statut
Traitée