Metody aproximativní identifikace vlastností booleovských sítí – RNDr. Jaroslav Bayer
RNDr. Jaroslav Bayer
Diplomová práce
Metody aproximativní identifikace vlastností booleovských sítí
Methods for approximative identification of Boolean networks
Anotace:
Hlavním tématem diplomové práce je identifikace strukturních vlastností grafu sítě, tvorba náhodných booleovských sítí, podpora ověřování jejich vlastností specifikovaných pomocí LTL a CTL formulí a aproximativního odhadu těchto vlastností pomocí strukturních vlastností dané sítě metodami strojového učení. Potenciálně tyto metody umožňují rychle a efektivně odhadnout zajímavé chování či vlastnosti …víceAbstract:
The main goal of the diploma thesis is the identification of the graph structural features, random boolean network generation, CTL and LTL formula verification using model checking methods and the approximate techniques how to estimate these features using machine learning approaches applied on the data about the underlying graph structure. The main idea is to quickly estimate an interesting behaviour …víceKlíčová slova
GRN strojové učení NuSMV GIMsim boolsim Weka strukturní vlastnosti grafu Booleovské sítě
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 23. 5. 2018
Identifikátor:
https://is.muni.cz/th/y9tpi/
Obhajoba závěrečné práce
- Obhajoba proběhla 21. 6. 2018
- Vedoucí: RNDr. David Šafránek, Ph.D.
- Oponent: Mgr. Matej Troják
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 informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Aplikovaná informatika / Bioinformatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.