Oto Fargaš

Bakalářská práce

GUI pro zadávání hypotéz v hybridní logice

GUI for hypotheses specification in hybrid logics
Abstract:
This thesis deals with hypotheses in hybrid extension of CTL (Computation Tree Logic). It allows creating hypothesis about behavior of the biological systems as well as creating predefined patterns for later usage in hypotheses. Hypotheses can be exported to .hyp file. In the first part of the thesis CTL and its hybrid extension is explained. Next part describes technologies used for implementation …více
Abstract:
Práca sa zaoberá hypotézami v hybridnom rozšírení CTL (Computation Tree Logic). Umožňuje vytvárať hypotézy o chovaní biologických systémov a zároveň vytvárať preddefinované vzory chovania a neskôr ich v hypotézach použiť. Hypotézy možno exportovať do súboru .hyp. V prvej časti práce je vysvetlená logika CTL a jej hybridné rozšírenie. Ďalšia časť popisuje použité technológie a posledná časť popisuje …více
 

Klíčová slova

logika hypotéza CTL HCTL GUI Java Swing XML
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 26. 5. 2020
Identifikátor: https://is.muni.cz/th/j2osi/

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

  • Obhajoba proběhla 24. 6. 2020
  • Vedoucí: prof. RNDr. Luboš Brim, CSc.
  • Oponent: Mgr. Samuel Pastva

Citační záznam

Citovat tuto práci

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
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.