001024516
100  $a20120919                 y50      
101  $afre
2001 $aModélisation et simulation des processus biologiques dans le À-calcul$bressource électronique
210  $aUniversité de Boumerdès - M'hamed Bougara  : Département d'Informatique$cUniversité de Boumerdès - M'hamed Bougara $d2007
215  $a84 p.$cill.$d30 cm
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université de Boumerdès - M'hamed Bougara $d2007
330  $aDans 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
610  $aSimulation 
610  $a Calcul formel 
610  $a Automates 
610  $a Logique temporelle 
610  $a Design patterns 
610  $a Modalité (logique) 
610  $a Modèle CMM (informatique)
700  $aIshak Boushaki, Saida
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac
990  $a004(043.2)/A24/ISH