|
| |
|
| |
|
| |
|
| |
|
|
Goals of Research Centre Data - Algorithms - Decision Making
Mareš, Milan ; Ivánek, Jiří
Global aim of the Centre is to contribute substantially to development of a theoretical, algortihmic and software background for solution of real life problems, above all decision-making in complex situation based on different sources of knowledge and data. Determine the main theoretical areas of the research: 1) Knowledge acquisition and representation, 2) Decision-making, 3) Multidimensional signal processing and pattern recognition, 4) Sof somputing and fuzzy modelling.
|
|
|
Consistency of fuzzy logic theories of inference systems
Havlíček, Petr ; Ivánek, Jiří (advisor) ; Jirků, Petr (referee)
This thesis focus on consistency of a specific class of fuzzy logic theories that represent certain inference system. This class of theories is defined as theories containing especially so called special axioms representing rules of modeled inference system and evaluated set of formulas representing case data. Functional approach is used to develop three popular fuzzy calculi: the Gödel logic, Łukasiewicz logic and product logic. As a language it is used the language of first order propositional fuzzy logic with valuation. To check consistency we use the concept of inconsistency degree and in Łukasiewicz logic also the principle of polar index. The concept of consistency degree is also described, but not used. Simple algorithm is developed to check consistency of theory upon the basis of inconsistency degree principle. A method of use of polar index is also described and illustrated. For each fuzzy theory a term of corresponding classical theory is defined. Then consistency of fuzzy theories and their corresponding classical theories are compared. The results of comparison are presented on the example of the ad-hoc created diagnostic inference system MEDSYS II. In the end the relation between consistency of fuzzy theory of inference system and it's corresponding theory is introduced for all three used calculi and both contradiction concepts.
|
|
|
Latest trends in public-key cryptography
Tvaroh, Tomáš ; Ivánek, Jiří (advisor) ; Palovský, Radomír (referee)
The goal of this thesis is to describe principles of public-key cryptography, introduce and compare latest algorithms for asymmetric encryption and point out their advantages over the most popular cryptosystem - RSA. At the beginning, this thesis describes the evolution of public-key cryptography, its differences compared to symmetric-key cryptography and possibilities of using it for data encryption and digital signature. Mathematical background as well as principles of RSA are described afterwards. At the end, this thesis focuses on the latest algorithms on the basis of eliptic curves and their advantages over the most common algorithms are pointed out. The comparison is then summarized and a recommendation for the best cryptosystem is offered.
|
|
|
Výpočetní aspekty metody maximálního polyedru pro rozhodování při neurčitosti
Rada, Miroslav ; Ivánek, Jiří (advisor) ; Dlouhý, Martin (referee)
Metoda maximálního polyedru je metoda výběru nejlepší varianty pro rozhodování při neurčitosti. Její hlavní myšlenkou je vybrat tu variantu, která bude nejčastěji mít nejvyšší střední hodnotu, pokud zvolíme náhodně vektor pravděpodobností, s nimiž nastanou jednotlivé stavy světa. Stručně je tedy v práci popsána rozhodovací situace za neurčitosti, s důrazem na zmíněnou metodu. Cílem práce je popsat a implementovat algoritmus, jakým metoda maximálního polyedru vybírá nejlepší variantu, a posoudit jeho výpočetní aspekty. Každé rozhodovací variantě přísluší mnohostěn n-tic (vektorů) pravděpodobností, ve kterých je daná varianta nejlepší. Součástí práce je proto popis několika známých algoritmů pro exaktní výpočet objemu mnohostěnu. Protože některé algoritmy vyžadují na vstupu mnohostěn zadaný více způsoby, jsou zahrnuty též některé algoritmy pro přepočet reprezentace mnohostěnu. Jako nejvhodnější metoda výpočtu objemu pro mnohostěny vznikající v metodě maximálního polyedru je zvolena metoda HOT, doplněná pro případy jednoduchých mnohostěnů Lawrenceovou metodou. Jako nejvhodnější metoda přepočtu reprezentace je zvolena metoda LRS. V práci je dále sestaven rozhodovací program, který využívá dostupných implementací zvolených metod. Program je testován na náhodně vygenerovaných rozhodovacích úlohách. Na základě testování jsou odhadnuty meze jeho praktické použitelnosti ? velikost úlohy bez potíží výpočetně zvládnutelné (doba výpočtu cca 30 min) danou implementací je cca 15 variant x 14 stavů světa, přičemž výpočetní náročnost se zvyšuje rychleji s počtem stavů světa než s počtem variant. Konkrétní hodnoty mezní velikosti úlohy samozřejmě závisejí na požadované době odezvy a použitém hardware. V práci je dále provedeno srovnání výsledků rozhodování podle různých kritérií a jsou navrženy některé směry zdokonalení implementace metody maximálního polyedru.
|
|
|
XML bezpečnost a její uplatnění v univerzitním informačním prostředí
Brechlerová, Dagmar ; Ivánek, Jiří (advisor) ; Doucek, Petr (referee) ; Nováček, Jan (referee) ; Čapek, Jan (referee)
XML security je komplexem bezpečnostních řešení, která spojují rysy XML a internetu k řešení bezpečnosti zejména v rozsáhlých počítačových sítích. XML security se velmi dynamicky rozvíjí, v současnosti jsou některé části (podpis, šifrování) již ve fázi konečného vývoje, jiné stále procházejí velmi rychlým vývojem, který je velmi obtížné sledovat. Hlavním cílem práce bylo kriticky zmapovat oblast XML security, popsat výhody, zápory i rizika proti jiným bezpečnostním řešením, a navrhnout některé možnosti použití v univerzitním informačním systému.
|
|
|
Finding Optimal Decision Trees
Máša, Petr ; Ivánek, Jiří (advisor) ; Berka, Petr (referee) ; Jiroušek, Radim (referee)
Rozhodovácí stromy jsou rozšířenou technikou pro popis dat. Používají se často teké pro predikace. Zajímavým problémemje, že konkrétní distribuce může být popsána jedním či více rozhodovacími stromy.Obvykle nás zajímá co nejjednodušší rozhodovací strom(který budeme nazývat též optimální rozhodovací strom).Tato práce navrhuje rozšíření prořezávácí fáze algoritmů pro rozhodovací stromytak, aby umožňovala více prořezávání. V práci byly zkoumány teoretické i praktické vlastnosti tohoto rozšířeného algoritmu. Jako hlavní teoretický výsledek bylo dokázano, že pro jistou třídu distribucí nalezne algoritmus optimální rozhodovací strom(tj.nejmenší rozhodovací strom, který reprezentuje danou distribuci). V praktických testech bylo zkoumáno, jak je schopen algoritmus rekonstruovat známý strom z dat. Zajímalo nás, zdali dosáhne naše rozšíření zlepšení v počtu správně rekonstruovaných stromů zejména v případě, že data jsou dodatečně velká ( z hlediska počtu záznamů). Tato doměnka byla potvrzena praktickými testy. Obdobný výsledek byl před několika lety prokázán pro Bayesovské sítě. Algoritmus navržený v této disertační práci je polynomiální v počtu listů stromu, který je výstupem hladového algoritmu pro růst stromů, což je vylepšení oproti jednoduchému algoritmu prohledávání všech možných stromů, který je exponenciální.
|
guest ::
RSS feed.