Bc. Lukáš Chudíček

Bakalářská práce

Symbolic representation of multi-valued logical models in Rust

Symbolic representation of multi-valued logical models in Rust
Anotace:
V průzkumu systémů obsahujících vzájemně interagující biologické entity se využívají Booleovské funkce k popisu těchto interakcí. Stavový prostor takových systémů je zkoumán s cílem získat náhled do jejich dynamiky. Pro obcházení limitací způsobených exponenciálním růstem stavového prostoru se používá symbolické prohledávání, zprostředkované Binárními Rozhodovacími Diagramy (BDD), které se vyhýbá explicitnímu …více
Abstract:
In the exploration of systems comprising interacting biological entities, Boolean functions are employed to describe these interactions. The state space of such systems is investigated, providing insights into their dynamics. To address the exponential growth of the state space, symbolic exploration, facilitated by Binary Decision Diagrams (BDDs), is utilized, avoiding explicit enumeration. However …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 19. 12. 2023

Obhajoba závěrečné práce

  • Obhajoba proběhla 16. 2. 2024
  • Vedoucí: RNDr. Samuel Pastva, Ph.D.
  • Oponent: Bc. Ondřej Huvar

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Programování a vývoj aplikací / Programování a vývoj aplikací