Bakalářská práce

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

GUI for hypotheses specification in hybrid logics

Oto Fargaš
Anotace

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 program, ktorý bol prácou vytvorený.

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 and the last part describes program that was created.

Klíčová slova
logika hypotéza CTL HCTL GUI Java Swing XML
Zadání práce
Cílem práce je vytvořit grafické rozhraní pro zadávání hypotéz o chování biologických systémů v hybridním rozšíření temporální logiky CTL. Systém by měl umožnit nejen přímé zadávání formulí, ale též možnost vytváření a využívání předdefinovaných vzorů chování. Součástí práce je implementace ve vhodném jazyce včetně potřebné uživatelské dokumentace a příkladů.
Administrativní informace
Práce zkontrolována:
27. 5. 2020 12:31, prof. RNDr. Luboš Brim, CSc.
Plný text práce
597,1 KB / soubor PDF
Přílohy (1)
Jazyk práce
slovenština slovenština
Termín obhajoby
24. 6. 2020
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Luboš Brim, CSc.
KTP FI MU

Oponent

RNDr. Samuel Pastva, Ph.D., učo 410286
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

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

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.