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
Tags & Categories
etablissement
université
simulation
processus
informatique
calcul
modélisation
avons
biologiques
stochastique
universitÉ
Établissement
univérsité
établissement
departement
boumerdes
établissement
universite
établissement
affiliation
boumerdès
boushaki
d’informatique
département
directeur
etablissement
université