but.committee	doc. Ing. František Zbořil, Ph.D. (předseda) doc. Ing. Martin Čadík, Ph.D. (místopředseda) doc. RNDr. Milan Češka, Ph.D. (člen) doc. Ing. Jan Janoušek, Ph.D. (člen) Ing. Filip Orság, Ph.D. (člen) Ing. Marcela Zachariášová, Ph.D. (člen)	cs
but.defence	Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla 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í studentky na položené otázky rozhodla práci hodnotit stupněm A - výborně . Otázky u obhajoby: Jaký je rozdíl, pokud vůbec, mezi konkretizací procesu a aplikací definice procesu? Co vás vedlo k umístění metody pro generování možných redukcí (generateReductionList) do třídy GraphManager místo využití tříd spravujících interní reprezentaci výrazu?	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	Rychlý, Marek	cs
dc.contributor.author	Prokopová, Dagmar	cs
dc.contributor.referee	Křivka, Zbyněk	cs
dc.date.accessioned	2019-04-04T04:10:44Z
dc.date.available	2019-04-04T04:10:44Z
dc.date.created	2017	cs
dc.description.abstract	Tato práce se zabývá problémem vizualizace výrazů procesní algebry pi-kalkul. Teoretická část práce pojednává jak o obecných principech procesních algeber, tak i o specifických vlastnostech konkrétních modelů se zaměřením na procesní algebru pi-kalkul. Součástí je rovněž srovnání několika textových a grafických reprezentací výrazů. Hlavní část práce se pak zabývá návrhem a implementací aplikace pro převod textové reprezentace výrazů na grafickou. Vedle textové a grafické reprezentace byla navržena také interní stromová reprezentace určená pro práci s výrazy uvnitř aplikace. V práci jsou také popsány algoritmy pro vyhledání proveditelných redukcí, pro provedení redukce a pro zjednodušení výrazů, které pracují s navrženou stromovou reprezentací.	cs
dc.description.abstract	This work deals with the problem of visual representation of Pi-calculus expressions. The theoretical part of this paper discusses general principles of process algebras as well as specific properties of individual models, with a focus on Pi-calculus. Also included is the comparison of several text and graphical representations of expressions. The main part of the thesis deals with the design and implementation of an application for converting text representation of expressions into graphical representation. In addition to the text and graphical representation, an internal tree representation designed to work with expressions within the application is also proposed. The thesis also describes algorithms for finding feasible reductions, performing reductions and expression simplification that operate with the proposed tree representation.	en
dc.description.mark	A	cs
dc.identifier.citation	PROKOPOVÁ, D. Vizualizace výrazů procesní algebry pi-kalkul [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	106070	cs
dc.identifier.uri	http://hdl.handle.net/11012/69551
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	procesní algebra	cs
dc.subject	pi-kalkul	cs
dc.subject	vizualizace	cs
dc.subject	souběžné systémy	cs
dc.subject	formální specifikace	cs
dc.subject	grafická reprezentace	cs
dc.subject	graf	cs
dc.subject	redukce	cs
dc.subject	výrazy	cs
dc.subject	Process algebras	en
dc.subject	Pi-calculus	en
dc.subject	Visualization	en
dc.subject	Concurent systems	en
dc.subject	Formal specification	en
dc.subject	Graphical representation	en
dc.subject	Graph	en
dc.subject	Reduction	en
dc.subject	Expressions	en
dc.title	Vizualizace výrazů procesní algebry pi-kalkul	cs
dc.title.alternative	Visual Representation of Pi-Calculus Expressions	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2017-06-20	cs
dcterms.modified	2020-05-09-23:40:00	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	106070	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.12 11:15:12	en
sync.item.modts	2021.11.12 10:18:04	en
thesis.discipline	Inteligentní systémy	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Vizualizace výrazů procesní algebry pi-kalkul

Files

Original bundle

Collections