Detail práce

Výpočetní model a analýza systému adaptivních semaforů

Bakalářská práce Student: Terbr Filip Akademický rok: 2019/2020 Vedoucí: Strnadel Josef, Ing., Ph.D.
Název anglicky
Computational Model and Analysis of Adaptive Traffic Lights
Jazyk práce
český
Abstrakt

Bakalářská práce se věnuje tématu adaptivních křižovatek a studiem jejich vlivu na plynulost provozu a jiné. V práci je obsažen rozbor aktuálně používaných dopravních detektorů, rozbor hlavních problémů klasických křižovatek a možnosti jejich řešení, následně návrh modelu, popis realizace a testování vytvořeného modelu. Výsledný model je vytvořen v softwaru UPPAAL SMC a jedná se o systém navzájem komunikujících časovaných automatů. Testování probíhá porovnáváním výsledků testů klasických semaforů s výsledky adaptivních semaforů.

Klíčová slova

křižovatka, adaptivní křižovatka, simulace, modelování, UPPAAL, dopravní detektory, silniční provoz, časované automaty, analýza modelu, statistické ověřování modelu, verifikátor

Ústav
Ústav počítačových systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení D
Obhajoba
13. července 2020
Oponent
Šimek Václav, Ing.
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm D.

Otázky u obhajoby
  1. Na straně 10 uvádíte, že "Pro řešení tohoto projektu je software SUMO asi nejvhodnější variantou, ...". Proč jste se pak rozhodl pro systém UPAAL?
  2. Obrázky v kapitole 4, na nichž jsou ukázány intervaly průjezdu křižovatkami, představují grafický výstup z vámi prováděných simulací na základě dotazů pomocí SMC rozšíření systému UPPAAL?
Komise
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), předseda
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Rozman Jaroslav, Ing., Ph.D. (UITS FIT VUT), člen
Veselý Vladimír, Ing., Ph.D. (UIFS FIT VUT), člen
Citace
TERBR, Filip. Výpočetní model a analýza systému adaptivních semaforů. Brno, 2020. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2020-07-13. Vedoucí práce Strnadel Josef. Dostupné z: https://www.fit.vut.cz/study/thesis/22918/
BibTeX 
@bachelorsthesis{FITBT22918,
    author = "Filip Terbr",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "V\'{y}po\v{c}etn\'{i} model a anal\'{y}za syst\'{e}mu adaptivn\'{i}ch semafor\r{u}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2020,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/22918/"
}

Závěrečné práce

Nahoru