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
Vorkommen:
- mediaTUM GesamtbestandHochschulbibliographie2023Schools und FakultätenTUM School of Computation, Information and TechnologyInformatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
- mediaTUM GesamtbestandElektronische PrüfungsarbeitenSchoolTUM School of Computation, Information and TechnologyComputer Science