but.committee	doc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Jaroslav Rozman, Ph.D. (člen) Ing. Vladimír Veselý, Ph.D. (člen)	cs
but.defence	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: 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? 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?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Strnadel, Josef	cs
dc.contributor.author	Terbr, Filip	cs
dc.contributor.referee	Šimek, Václav	cs
dc.date.created	2020	cs
dc.description.abstract	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ů.	cs
dc.description.abstract	This thesis deals with the topic of adaptive intersections and the study of their influence on the flow of traffic and others. The work contains an analysis of currently used traffic detectors, an analysis of the main problems of classic intersections and the possibilities of their solution, followed by the design of the model, a description of the implementation and testing of the created model. The resulting model is created in the UPPAAL SMC software and is a system of timed automata communicating with each other. Testing is performed by comparing the results of tests of classical traffic lights with the results of adaptive traffic lights.	en
dc.description.mark	D	cs
dc.identifier.citation	TERBR, F. Výpočetní model a analýza systému adaptivních semaforů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129225	cs
dc.identifier.uri	http://hdl.handle.net/11012/191575
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	křižovatka	cs
dc.subject	adaptivní křižovatka	cs
dc.subject	simulace	cs
dc.subject	modelování	cs
dc.subject	UPPAAL	cs
dc.subject	dopravní detektory	cs
dc.subject	silniční provoz	cs
dc.subject	časované automaty	cs
dc.subject	analýza modelu	cs
dc.subject	statistické ověřování modelu	cs
dc.subject	verifikátor	cs
dc.subject	intersection	en
dc.subject	adaptive intersection	en
dc.subject	simulation	en
dc.subject	modelling	en
dc.subject	UPPAAL	en
dc.subject	traffic detectors	en
dc.subject	road traffic	en
dc.subject	timed automata	en
dc.subject	model analysis	en
dc.subject	statistical model verification	en
dc.subject	verifier	en
dc.title	Výpočetní model a analýza systému adaptivních semaforů	cs
dc.title.alternative	Computational Model and Analysis of Adaptive Traffic Lights	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2020-07-13	cs
dcterms.modified	2020-07-13-23:43:55	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129225	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:31:16	en
sync.item.modts	2025.01.17 11:32:41	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

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

Files

Original bundle

Collections