|
Evaluation of complex situations from airplane’s avionics
Vysloužil, Ondřej ; Svoboda,, Jiří (referee) ; Honzík, Petr (advisor)
Tento projekt se podrobně zaměřuje na data z avioniky a může být chápán jako horní vrstva nad systémy monitorujícími poruchy, která poskytuje dodatečné informace o letu. Pro konkrétní návrh byly vybrány Airbus A320 a A340 jako zástupci moderních a rozšířených dopravních letadel. Vyvíjená aplikace analyzuje dvě vybrané komplexní situace z toku dat palubní avioniky a hledá podmínky, které vedou k abnormálnímu chování letadla (nikoliv poruchám). Práce je primárně zaměřena na letové fáze, strukturu dat (a jejich kategorizaci) a na vývoj aplikace na bázi fuzzy systému s expertní znalostí uloženou v jeho pravidlech.
|
|
Integrated development environment for Artificial Intelligence Fuzzy Numbers Module
Pergl, Miroslav ; Hrabec, Jakub (referee) ; Jirsík, Václav (advisor)
Master’s thesis deals with mathematical operation with fuzzy numbers. The first part of the thesis deals with theoretical knowledge of fuzzy arithmetic and defines fuzzy sets, fuzzy numbers, universum and five membership function used in program. In the concrete it describes – cut method for dealing with fuzzy numbers as with limited interval for specific level which simplifies computation. The second part of the thesis contains description of programmed module for mathematical operation with fuzzy numbers. There is described creation of user interface which is using to set parameters of computation. There are also described support functions which make operation with fuzzy numbers possible and operation ensures output.
|
|
Classification of microsleep by means of analysis EEG signal
Ronzhina, Marina ; Smital, Lukáš (referee) ; Čmiel, Vratislav (advisor)
This master thesis deals with detection of microsleep on the basis of the changes in power spectrum of EEG signal. The results of time-frequency analysis are input values for the classifikation. Proposed classification method uses fuzzy logic. Four classifiers were designed, which are based on a fuzzy inference systems, that are differ in rule base. The results of fuzzy clustering are used for the design of rule premises membership functions. The two classifiers microsleep detection use only alpha band of the EEG signal’s spectrogram then allows the detection of the relaxation state of a person. Unlike to first and second classifiers, the third classifier is supplemented with rules for the delta band, which makes it possible to distinguish the 3 states: vigilance, relaxation and somnolence. The fourth classifier inference system includes the rules for the whole spectrum band. The method was implemented by computer. The program with a graphical user interface was created.
|
|
Fuzzy Petri Nets for Expert systems
Maksant, Jindřich ; Valenta, Jan (referee) ; Jirsík, Václav (advisor)
The object of this thesis is proposal and practical implementation of expert system, whose knowledge base will be modeling by fuzzy Petri nets. The proposal is based on knowledge in theoretical analysis of diagnostic expert system and fuzzy Petri nets. This proposal is realised in programming language C#. There are described functions of program and it is made a model consultation with using two different knowledge base.
|
| |
|
Modern trends in the area of computer physics
SURYNEK, Radek
The theme of the thesis is to make a list few fundamental modern methods which can be used in computerized physics. The thesis describes parallel computing, neural networks,genetic algorithms, fuzzy logic. Every chapter include theoretical description, simplified mathematical expression, proposals of technical solution. Applications are briefly mentioned here too. The printed matter is completed with a few simple examples. The closing part of the thesis acquired information about these methods and outlines their future development.
|
|
NCMPL 2011 Abstracts
Cintula, Petr ; Ju, S. ; Víta, Martin
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, 2011. Modalities and predicates have since ancient time been central notions in logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical settings. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference was solely dedicated to modal and predicate non-classical logics. Its aim was to bring together esearchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.
|
|
Fuzzy GUHA
Ralbovský, Martin ; Rauch, Jan (advisor) ; Svátek, Vojtěch (referee) ; Holeňa, Martin (referee) ; Vojtáš, Peter (referee)
The GUHA method is one of the oldest methods of exploratory data analysis, which is regarded as part of the data mining or knowledge discovery in databases (KDD) scienti_c area. Unlike many other methods of data mining, the GUHA method has firm theoretical foundations in logic and statistics. In scope of the method, finding interesting knowledge corresponds to finding special formulas in satisfactory rich logical calculus, which is called observational calculus. The main topic of the thesis is application of the "fuzzy paradigm" to the GUHA method By the term "fuzzy paradigm" we mean approaches that use many-valued membership degrees or truth values, namely fuzzy set theory and fuzzy logic. The thesis does not aim to cover all the aspects of this application, it emphasises mainly on: - Association rules as the most prevalent type of formulas mined by the GUHA method - Usage of fuzzy data - Logical aspects of fuzzy association rules mining - Comparison of the GUHA theory to the mainstream fuzzy association rules - Implementation of the theory using the bit string approach The thesis throughoutly elaborates the theory of fuzzy association rules, both using the theoretical apparatus of fuzzy set theory and fuzzy logic. Fuzzy set theory is used mainly to compare the GUHA method to existing mainstream approaches to formalize fuzzy association rules, which were studied in detail. Fuzzy logic is used to define novel class of logical calculi called logical calculi of fuzzy association rules (LCFAR) for logical representation of fuzzy association rules. The problem of existence of deduction rules in LCFAR is dealt in depth. Suitable part of the proposed theory is implemented in the Ferda system using the bit string approach. In the approach, characteristics of examined objects are represented as strings of bits, which in the crisp case enables efficient computation. In order to maintain this feature also in the fuzzy case, a profound low level testing of data structures and algoritms for fuzzy bit strings have been carried out as a part of the thesis.
|
|
Special Issue on Hybrid Intelligent Systems 2007
Abraham, A. ; Húsek, Dušan ; Snášel, V.
Special Issue on Hybrid Intelligent Systems 2007. Neural Network World. Vol. 17, No. 6 (2007), p.505-688 The issue contains papers prepared specially for this issue by authors of some best evaluated papers presented on HIS'07) at Kaiserslautern, Germany, during September 17-19, 2007. The Current research interests in HIS and covered in this issue focus on integration of the different computing paradigms such as fuzzy logic, euro-computation, evolutionary computation, probabilistic computing, intelligent agents, machine learning, and other intelligent computing frameworks. There is also a growing interest in the role of sensors, their integration and evaluation in such frameworks. The phenomenal growth of hybrid intelligent systems and related topics has obliged.
|
| |