Depot Institutionnel de l'UMBB >
Thèses de Doctorat et Mémoires de Magister >
Informatique >
Magister >
Veuillez utiliser cette adresse pour citer ce document :
http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/895
|
Titre: | Modélisation et simulation des processus biologiques dans le À-calcul |
Auteur(s): | Ishak Boushaki, Saida |
Mots-clés: | Simulation Calcul formel Automates Logique temporelle Design patterns Modalité (logique) Modèle CMM (informatique) |
Date de publication: | 2007 |
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 |
Description: | 84 p. , ill. 30 cm |
URI/URL: | http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/895 |
Collection(s) : | Magister
|
Fichier(s) constituant ce document :
|
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.
|