Simulazione e Verifica di Sistemi Biochimici in PRISM 

I sistemi biochimici sono un esempio notevole di sistema difficile da analizzare: recenti applicazioni a contesti di bioinformatica e sistemi software autoorganizzante rendono questo problema cruciale. Lo strumento PRISM è lo standard di fatto per l'analisi/simulazione/verifica di sistemi stocastici tempo-continui. In questa tesi si deve analizzare in dettaglio la possibilità di applicare questo strumento ai sistemi biochimici, valutando la possibilità/necessità di adottare opportune tecniche di ottimizzazione, e considerando la letterature esistente sull'argomento.
Tags:
    

Thesis Data

2008 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
0.2