|
|
Samočinné řízení vozidel
Čurda, Vojtěch ; Bidlo, Michal (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelu samočinně řízeného vozidla a jeho okolí. Práce nejprve nastiňuje téma samočinně řízených vozidel a problematiku modelování systémů. V práci je poté předveden návrh zmíněného modelu a popsána jeho realizace. K realizaci modelu byl zvolen nástroj UPPAAL Stratego, který slouží k modelování, validaci a verifikaci systémů reálného času. S pomocí tohoto nástroje je model implementován v podobě sítí časovaných automatů. Výsledkem je model samočinně řízeného vozidla, které se pohybuje na dálnici s libovolným počtem jízdních pruhů a dokáže reagovat jak na pohyb ostatních vozidel provozu, tak na dopravní značení určující maximální povolenou rychlost. Statistickou analýzou pomocí dotazů verifikačního jazyka zmíněného nástroje jsou poté ověřeny vlastnosti vytvořeného modelu. Model je testován jak nad konkrétními scénáři, tak nad náhodnými, kde je samočinně řízené vozidlo zasazeno do běžného provozu.
|
|
|
Agile Model Editor
Zavadil, Michal ; Pavela, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
The goal of this thesis is to simplify the creation and modification of complex system models and to create a reliable and performant tool to serve this purpose. Primarily, an internal data model is defined with an emphasis on effectiveness and avoiding redundancy. The editor, created to support modeling in OPM (Object-Process Methodology), is implemented with the help of web technologies and, most importantly, the web diagramming library Cytoscape.js. The editor can automatically propagate relationships to other diagrams as well as derive new relationships from existing ones. Both of which save time and make the modeling process easier.
|
|
|
Agile Model Editor
Zavadil, Michal ; Pavela, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
The goal of this thesis is to simplify the creation and modification of complex system models and to create a reliable and performant tool to serve this purpose. Primarily, an internal data model is defined with an emphasis on effectiveness and avoiding redundancy. The editor, created to support modeling in OPM (Object-Process Methodology), is implemented with the help of web technologies and, most importantly, the web diagramming library Cytoscape.js. The editor can automatically propagate relationships to other diagrams as well as derive new relationships from existing ones. Both of which save time and make the modeling process easier.
|
|
|
Samočinné řízení vozidel
Čurda, Vojtěch ; Bidlo, Michal (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelu samočinně řízeného vozidla a jeho okolí. Práce nejprve nastiňuje téma samočinně řízených vozidel a problematiku modelování systémů. V práci je poté předveden návrh zmíněného modelu a popsána jeho realizace. K realizaci modelu byl zvolen nástroj UPPAAL Stratego, který slouží k modelování, validaci a verifikaci systémů reálného času. S pomocí tohoto nástroje je model implementován v podobě sítí časovaných automatů. Výsledkem je model samočinně řízeného vozidla, které se pohybuje na dálnici s libovolným počtem jízdních pruhů a dokáže reagovat jak na pohyb ostatních vozidel provozu, tak na dopravní značení určující maximální povolenou rychlost. Statistickou analýzou pomocí dotazů verifikačního jazyka zmíněného nástroje jsou poté ověřeny vlastnosti vytvořeného modelu. Model je testován jak nad konkrétními scénáři, tak nad náhodnými, kde je samočinně řízené vozidlo zasazeno do běžného provozu.
|
|
|
Vliv zákaznické spokojenosti a dalších ukazatelů na tržní podíl společnosti
Dvořáková, Monika ; Sedláček, Jiří (vedoucí práce) ; Skala, David (oponent)
Na trzí??ch z?ápadní?? Evropy dnes vl?ádne siln?ě konkuren?ční prost?ředí?? t?ém?ěř ve v?šech průmyslových odv?ětví??ch. S konkurencí?? se musí?? pot?ýkat tak?é tradi?ční?? evrop?ští?? v?ýrobci automobilů, kte?ří?? musí?? ?čelit ?často levn?ěj?ší??m import?ům z Asie. Pro v?ýrobce automobil?ů je nutn?é zvy?šovat loajalitu z?ákazn??íků a zajistit si tak stabilní nebo rostouc??í tr?žní?? podíl?? v budoucnu. Jednou z mo?žností?? budov?ání?? loajality z?ákazní??k?ů je vysoká? kvalita prod?ávan?ých v?ýrobk?ů a poskytovan?ých slu?žeb. Jako indik?átory spokojenosti z?ákazn??ík?ů jsou vyu?ží??v?ány ukazatele v?šeobecn?é z?ákaznick?é spokojenosti, vypočítané z v?ýsledk?ů dotazní??kov?ého ?šet?ření?? (Customer satisfaction survey). Se znalostmi vnitřních procesů automobilky a dostatkem měřených indikátorů lze konstruovat matematický model simulující vývoj tržního podílu značky na daném trhu. Pomocí tohoto modelu a jeho analýzy lze ur?čit ukazatele maj??ící?? nejsilnější?? vliv na tvorbu tr?žní??ho podí??lu automobilky. Jako vstupní?? veli?činy modelu jsou pou?žity sledovan?é indik?átory z?ákaznick?é spokojenosti, klí???čov?é ukazatele z oblasti prodeje nov?ých voz?ů i slu?žeb servisu a tak?é z?ákladní?? makroekonomick?é veli?činy z dan?ého trhu. C??ílov?ým trhem, pro kter?ý jsou modely tvo?řeny, bylo zvoleno N?ěmecko. V?ýstupem pr?áce je soubor doporu?čení??, jejichž implementace by m?ěla zajistit zlep?šení?? konkr?étní??ch m?ěřen?ých ukazatel?ů a tak?é zv?ýšení?? tr?žního?? podí??lu zna?čky na n?ěmeck?ém trhu. Krom?ě doporučení pro zlep?šení?? sledovan?ých ukazatel?ů je v práci nastíněn tak?é zp?ůsob zv?ý?šení?? ?účinnosti marketingov?ých strategií?? za pou?žití?? ?ří??zení?? vztahu se z?ákazní??ky (Customer relationship management).
|
host ::
RSS.