| 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 |