|
|
Autonomous Control of Cars
Čurda, Vojtěch ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
The purpose of this bachelor's thesis is to create a model of a self-driving vehicle, along with its surroundings. At first, the thesis outlines the vehicle automation and the system modeling problematics. The thesis then shows the design of said model, as well as its implementation. The model was implemented in UPPAAL Stratego - a tool that is used for modeling, validation and verification of real-time systems, in which the model is implemented as networks of timed automata. The result is a model of a self-driving vehicle, that can drive itself on a motorway with an arbitrary amount of traffic lanes. The self-driving vehicle reacts appropriately to the movement of other vehicles on the motorway and can change its speed according to speed limiting traffic signs. The behaviour of the model is then validated with the help of statistical analysis, which is done using the verification language embedded in the mentioned tool. The model is tested in specific scenarios, as well as random scenarios, where the self-driving vehicle is set into a regular traffic.
|
|
|
Agile Model Editor
Zavadil, Michal ; Pavela, Jiří (referee) ; Rogalewicz, Adam (advisor)
Cílem této práce je zjednodušit tvorbu a modifikaci komplexních modelů systémů a také vytvořit spolehlivý a výkonný nástroj, který je schopen splnit tento účel. Vnitřní datový model editoru je navržen s důrazem na efektivitu a vyhnutím se redundanci. Výsledný editor, který je vytvořen pro podporu modelování v OPM (Object-Process Methodology), je implementován s pomocí webových technologií, především s knihovnou pro tvorbu diagramů na webu, Cytoscape.js. Editor je schopný automaticky propagovat vazby do dalších diagramů a také odvozovat nové vazby od existujících, což šetří čas a ulehčuje proces modelování.
|
|
|
Agile Model Editor
Zavadil, Michal ; Pavela, Jiří (referee) ; Rogalewicz, Adam (advisor)
Cílem této práce je zjednodušit tvorbu a modifikaci komplexních modelů systémů a také vytvořit spolehlivý a výkonný nástroj, který je schopen splnit tento účel. Vnitřní datový model editoru je navržen s důrazem na efektivitu a vyhnutím se redundanci. Výsledný editor, který je vytvořen pro podporu modelování v OPM (Object-Process Methodology), je implementován s pomocí webových technologií, především s knihovnou pro tvorbu diagramů na webu, Cytoscape.js. Editor je schopný automaticky propagovat vazby do dalších diagramů a také odvozovat nové vazby od existujících, což šetří čas a ulehčuje proces modelování.
|
|
|
Autonomous Control of Cars
Čurda, Vojtěch ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
The purpose of this bachelor's thesis is to create a model of a self-driving vehicle, along with its surroundings. At first, the thesis outlines the vehicle automation and the system modeling problematics. The thesis then shows the design of said model, as well as its implementation. The model was implemented in UPPAAL Stratego - a tool that is used for modeling, validation and verification of real-time systems, in which the model is implemented as networks of timed automata. The result is a model of a self-driving vehicle, that can drive itself on a motorway with an arbitrary amount of traffic lanes. The self-driving vehicle reacts appropriately to the movement of other vehicles on the motorway and can change its speed according to speed limiting traffic signs. The behaviour of the model is then validated with the help of statistical analysis, which is done using the verification language embedded in the mentioned tool. The model is tested in specific scenarios, as well as random scenarios, where the self-driving vehicle is set into a regular traffic.
|
|
|
Impact of the customer satisfaction and other indicators on company`s market share
Dvořáková, Monika ; Sedláček, Jiří (advisor) ; Skala, David (referee)
In the present hypercompetitive market environment of car producers established especially at the developed west european markets is very difficult to gain new customers and increase the market share. The car producing companies have to build and increase customer loyalty to ensure the sustainable growth of market share in the future. One possibility how to improve customer's loyality to brand is to provide the highest standard at both sales and service department and carefully monitor the customer satisfaction. From the satisfaction and performance indicators of the car producing company is possible to construct a mathematical model producing the market share in a given country as an output. Key indikators of customer satisfaction, sales and service and also the macroeconomical data has been used as the inputs for the model. As a target market for my analysis has been chosen Germany. This thesis presents a set of recommendations and proposals, whose implementation should ensure the improvement of the market share of the given brand on german market. The recommendation does not include only the tips for improvement of the key indicators but it also gives the overview of how to make the marketing strategy more efficient using Customer relationship management.
|
guest ::
