Benutzer: Gast  Login
Originaltitel:
Efficient Analysis of Population Protocols and Chemical Reaction Networks
Übersetzter Titel:
Effiziente Analyse von Populationsprotokollen und chemischen Reaktionsnetzwerken
Autor:
Helfrich, Martin
Jahr:
2023
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Betreuer:
Esparza Estaun, Francisco Javier ( Prof. Dr. )
Gutachter:
Esparza Estaun, Francisco Javier ( Prof. Dr. ); Seidl, Helmut (Prof. Dr.); Meyer, Roland (Prof. Dr.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
Stichworte:
Population Protocols, Chemical Reaction Networks, Simulation, Verification, Synthesis
Übersetzte Stichworte:
Populationsprotokolle, chemischen Reaktionsnetzwerke, Simulation, Verifikation, Synthese
TU-Systematik:
DAT 500
Kurzfassung:
Population protocols are a model of distributed computation where agents interact to reach consensus. We introduce stage graphs, formal objects that can efficiently verify population protocols and help to understand how they work. In the related chemical reaction network model, we improve simulation efficiency via segmental simulation. This technique reuses parts of previous simulations, enabling accurate predictions for complex stochastic systems.
Übersetzte Kurzfassung:
Populationsprotokolle sind ein Modell der verteilten Berechnung, bei dem Agenten interagieren, um einen Konsens zu erreichen. Wir führen Phasengraphen ein, die Populationsprotokolle effizient verifizieren können und dabei helfen, zu verstehen, wie sie funktionieren. Für chemische Reaktionsnetzwerke verbessern wir die Simulationseffizienz durch Segmentsimulation, die Teile früherer Simulationen wiederverwendet und genaue Vorhersagen für komplexe stochastische Systeme ermöglicht.
WWW:
https://mediatum.ub.tum.de/?id=1713629
Eingereicht am:
26.06.2023
Mündliche Prüfung:
05.12.2023
Dateigröße:
9117251 bytes
Seiten:
203
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20231205-1713629-1-6
Letzte Änderung:
22.12.2023
 BibTeX