Bakalářská práce

Motifs in State Spaces

Jan Krčál, učo 139854
Abstract

Graph properties of state space influence the efficiency of algorithms used in explicit model checking. We have studied the local structure of state spaces using motifs - patterns of interconnections in a graph. We have measured occurrence of selected motifs to split up our collection of state spaces into different classes. Then we have tested how models from individual classes behave in several …více

Klíčová slova
state space properties network motifs explicit model checking graphs BEEM DiVinE
Zadání práce
Tématem práce je hledání motivů ve stavových prostorech a experimentální vyhodnocení výsledků. Konkrétní cíle práce:
  • Napsat program pro vyhledávání motivů (typických subgrafů) v grafech.
  • S využitím programu vyhledat zajímavé motivy ve stavových prostorech, které jsou součástí sbírky modelů BEEM.
  • Statisticky zpracovat výsledky (identifikovat často se vyskytující motivy, identifikovat třídy stavových prostorů, které obsahují stejné motivy).
Administrativní informace
Práce zkontrolována:
11. 10. 2008 12:56, (IS automaticky)
Plný text práce
268,4 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
18. 6. 2007
Práce byla úspěšně obhájena

Vedoucí

doc. Mgr. Radek Pelánek, Ph.D., učo 4297
KSUZD FI MU

Oponenti

Autor posudku dosud neidentifikován.
Autor posudku dosud neidentifikován.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

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

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

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Jan Krčál FI B-IN BcIN, učo 139854 j5pv8/12
Krčál, J.
18. 5. 2007
Složky
figures 3606133/8
Krčál, J.
18. 5. 2007
graphs 3606134/15
Krčál, J.
18. 5. 2007
Soubory
algorithmicx.sty
Krčál, J.
18. 5. 2007
algpseudocode.sty
Krčál, J.
18. 5. 2007
Anotace anglicky annotation_english.txt
Krčál, J.
18. 5. 2007
Klíčová slova keywords.txt
Krčál, J.
18. 5. 2007
motifs.bib
Krčál, J.
18. 5. 2007
motifs.tex
Krčál, J.
18. 5. 2007
posudek_oponenta.jpg
Dvořáčková, H.
7. 6. 2007
posudek_oponenta_2.jpg
Dvořáčková, H.
7. 6. 2007
Thesis motifs.pdf
Krčál, J.
18. 5. 2007

  • 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.