This project describes several methods suggested for security protocol design. The method named ' A Simple Logic for Authentication Protocol Design' is described in more detail and implemented including custom made addition defining the ownership of messages and rights to re-send those messages.

This master thesis deals with the application of fuzzy logic for evaluating the quality of customers in company PPL CZ s.r.o. For evaluation was used Microsoft Excel and MathWorks MATLAB. There are going to be created models using fuzzy logic. The introductory part is devoted to the theoretical bases that are necessary to understand the whole issue. The second part includes information about the company and analyzes of the current situation. Finally, the last part presents fuzzy models used to evaluation of existing customers.

Master's thesis deals with design and development of two decision-making systems, which can be supportive during suppliers rating and selection the most suitable one from them. Both of the models, that one, which was made in the MS Excel, and also that one, which was made in the MATLAB, use principle of fuzzy logic and are designed according to the requirements of the selected company. Diploma thesis contains also all of theoretical bases, which are necessary for a design of both systems, and evaluation of benefits of the solution.

Cílem této diplomové práce je navrhnout vhodnou metodu pro vyhodnocení dodavatelů průmyslových větráku pro společnost První brněnská strojírna a.s. (PBS Brno). Společnost existuje více než 200 let na trhu a má více než 100 dodavatelů po celém světě. Proto je potřeba navrhnout adekvátní systém hodnocení dodavatelů. Pro vyhodnocení budou použité programy MS Excel a MATLAB.

Vít Punčochář Dissertation: Hypothetical Judgements, Truth and Assertibility Abstract: The main topic of this thesis is the logic of indicative conditionals, i.e. sentences of the form If A then B. In classical logic, these sentences are analysed with the help of the so- called material implication. However, the analysis is problematic in many respects. Some chapters of the thesis are devoted to the explanation of the problems, which one necessarily faces when analysing conditionals with the apparatus of standard classical logic. The stress is laid upon the fact that here we are led to a paradoxical situation: some general principles of classical logic (e.g. the principle according to which one can infer If not-A then B from A or B) seem to be unquestionable, but they have very controversial consequences. In the thesis, attempts are presented to defend classical logic as well as to revise it. The approaches to the logical analysis of conditionals are classified into two basic kinds: the first one might be called ontic and the second one epistemic. The ontic approach defines all crucial semantic notions in terms of the concept of truth that is modelled in logic as a relation between sentences of a given language and states of affairs. In contrast, the epistemic approach is not based on the concept of truth...

This thesis focuses on the way in which the media presented the Czech biathlon team over the period of its greatest success, between 2012 and 2018. In this context, it deals with how often the media presented relationships, mood and cooperation in the team as perfect, helping to create the myth of an ideal team. The aim of the thesis is to answer the research question: How was the myth of an ideal biathlon team constructed by the media, biathlonists and the support team? This question is answered through an analysis of biathlon articles published in the years 2012 - 2018 across four Czech sports diaries, namely iSport.cz, sport.cz, sport.aktualne.cz and sport.iDNES.cz. The analysis uses qualitative content analysis extended by linguistic analysis of discourse. The analysis of the individual articles is based on theoretical background, devoted to the media's representation of reality, media logic, myth, heroism, myth in sport and discourse. The results of the analysis describe the way and means by which the actors helped construct the myth of a perfectly functioning biathlon team. The methods used with examples are given at the end of the thesis.

This dissertation thesis deals with problems of identifying client’s solvency in the insurance business and is drawn for the insurance companies needs. The main target of this work is a construction of methodology, which will provide managers a tool to support their decision making in cases of client solvency assessment. The basic theoretical background, an overview of the current state of the analyzed subject and the description of utilized methods are presented in the introductory part of this work. In following parts of this work is introduced a real database of insurance company’s clients, which serves as a basis to accomplish the defined goal. The source data were subject to a necessary analysis to determine the cross-correlations and variables entering the decision-making model. A large variety of traditional statistical methods, including relevant software were used to analyze the data. Decision-making model was formed with the help of artificial intelligence methods, especially fuzzy logic. The technical realization of the model was made using MATLAB software. The process of insurance company’s client solvency assessment methodology creation is described in detail and elaborated into phases. The fundamental part of the methodology, decision-making model, can be easily modified and adapted to the end user’s specific needs. The text also includes a verification and implementation of the model, an interpretation of the results, a comprehensive client solvency assessment methodology process in insurance business and the definition of contribution of this methodology to practice, theory and pedagogy.

The thesis deals with optimization of the continuous slab casting process. The thesis summarizes the basic analytical and empirical findings concerning to the solidification process, the numerical modeling and the selected optimization techniques. Physical conditions and factors that affect the quality of steel including their relationships are also described. The basis of the solution strategy is the original numerical model of the temperature field in its off-line version. The numerical model was verified by the real historical data. The optimization part is based on the fuzzy logic implemented above the numerical model. The optimization algorithm is used for the optimal control of the casting process. The universal usage of the optimization model is demonstrated on several cases, e.g. the finding of optimal casting parameters that ensure the high quality of products, the optimal reactions on breakdown situations, the determination of an optimal relationship between casting parameters, etc. Based on optimization results, the suitable caster modification to increase the surface temperature at the unbending point was proposed. The whole concept of the numerical and optimization model is general and it can be applied to arbitrary slab or billet continuous casting.

Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.

Baigiamojo magistro darbo tiriamasis objektas – intelektinė tiesiaeigė elektros pavara. Tyrimo tikslas – ištirti tiesiaeigę elektros pavarą, valdoma neraiškiuoju reguliatoriumi. Uždaviniai – sudaryti intelektinės tiesiaeigės pavaros kompiuterinį modelį gauti ir ištirti imitacijos rezultatus, juos palyginti su tokia pačia PI reguliatoriumi valdoma pavara. Literatūros analizės dalyje išnagrinėtas neraiškiosios logikos panaudojimas valdant elektros pavaras. Pateikiami straipsniai, kuriose aprašomos elektros pavarų valdymo galimybės panaudojant neraiškiosios logikos reguliatorius. Teorinėje dalyje išnagrinėjamos tiesiaeigės pavaros, pateikiamos jų taikymo apžvalga ir panaudojimo galimybės. Taip pat išanalizuojamos neraiškiosios valdymo sistemos, jų sudarymo principai ir panaudojimas reguliatoriuose. Aptariami tiesiaeigių elektros pavarų valdymo būdai. Tiriamojoje dalyje sukurtas tiesiaeigės pavaros kompiuterinis modelis, suprojektuotas neraiškusis reguliatorius, gauti imitacijos rezultatai. Rezultatams palyginti sudarytas pavaros modelis naudojant PI reguliatorių. Gauti rezultatai ištirti ir palyginti. Išnagrinėjus tiesiaeigės asinchroninės pavaros imitavimo rezultatus pateikiamos išvados ir pasiūlymai. Darbą sudaro 7-ios dalys: įvadas, literatūros analizė, tyrimo tikslas ir uždaviniai, teorinė dalis, tiriamoji dalis, apibendrinančioji dalis, naudotos literatūros šaltinių sąrašas. Darbo apimtis – 65 psl. teksto be priedų, 43 iliustr., 2 lent., 37 bibliografiniai šaltiniai, iš jų... [toliau žr. visą tekstą] / Research subject of master thesis is intelligent linear electric drive. Objective of the study - to investigate linear electric actuator, controlled with Fuzzy controller. Tasks - create computer model of intellectual linear drive, to investigate the simulation results and compare them with the same drive which controlled with PI controller. In the literary analysis part usage of Fuzzy logic in the electric drives control has been examined. Articles with description of the electric drive control features using Fuzzy logic controller have been given. In the theoretical part the linear actuators are analyzed, the review of the application and their usability was given. Also are analyzed Fuzzy control systems, their creation principles and usage in the regulators. The linear electric drive control methods are discussed. In the research part computer model of the linear drive has developed, designed Fuzzy controller, analyzed simulation results. For results comparing the model with PI controller has designed. The results obtained are examined and compared. After examination results of the linear induction drive simulation the conclusions and recommendations are given. The work consists of seven parts: introduction, literature review, the study aims and objectives, the theoretical part, research, generalization and used references. Thesis volume - 65 pages text without appendixes, 43 pictures, 2 tables, 37 bibliographical sources, including internet links 10. Appendixes are... [to full text]