Cílem diplomové práce bude literární rešerše v oblasti speciálních síťových prvků. Student se seznámí s problematikou formální konceputální analýzy, jejími cíli a zásadami využití, verifikací získaných hodnot a funkcí programu. Teoretická část práce bude obsahovat popis vybraných komponentů a jejich důležitost z hlediska bezpečnosti v kybernetickém prostoru, jako i teoretickou část FCA s využitím suprema a infima pro aplikování vybraných komponentů. Praktická část práce bude zaměřena na grafické zobrazení softwarového výpočtu svazu kontextů, škálováním atributových implikací a textové vyjádření grafického zobrazení. Dále zde bude navigace pro Galoisovy konexe množin, získané hodnoty budou verifikovány a zobrazeny ve 3D prostředí.
Anotace v angličtině
The aim of this thesis will be a literature search in the field of special network elements. The student will be acquainted with the problems of formal end-to-end analysis, its goals and principles of use, verification of acquired values and functions of the program. The theoretical part will include a description of selected components and their importance in terms of security in cyberspace, as well as a theoretical part of FCA using supremum and infimum for the application of selected components. The practical part of the thesis will be focused on graphical representation of software computation of the union of contexts, scaling attribute implications and textual representation of graphical representation. Furthermore, there will be navigation for Galois set connections, the obtained values will be verified and displayed in 3D environment.
Cílem diplomové práce bude literární rešerše v oblasti speciálních síťových prvků. Student se seznámí s problematikou formální konceputální analýzy, jejími cíli a zásadami využití, verifikací získaných hodnot a funkcí programu. Teoretická část práce bude obsahovat popis vybraných komponentů a jejich důležitost z hlediska bezpečnosti v kybernetickém prostoru, jako i teoretickou část FCA s využitím suprema a infima pro aplikování vybraných komponentů. Praktická část práce bude zaměřena na grafické zobrazení softwarového výpočtu svazu kontextů, škálováním atributových implikací a textové vyjádření grafického zobrazení. Dále zde bude navigace pro Galoisovy konexe množin, získané hodnoty budou verifikovány a zobrazeny ve 3D prostředí.
Anotace v angličtině
The aim of this thesis will be a literature search in the field of special network elements. The student will be acquainted with the problems of formal end-to-end analysis, its goals and principles of use, verification of acquired values and functions of the program. The theoretical part will include a description of selected components and their importance in terms of security in cyberspace, as well as a theoretical part of FCA using supremum and infimum for the application of selected components. The practical part of the thesis will be focused on graphical representation of software computation of the union of contexts, scaling attribute implications and textual representation of graphical representation. Furthermore, there will be navigation for Galois set connections, the obtained values will be verified and displayed in 3D environment.
Formou literární rešerše zpracujte teoretickou část práce pro praktické využití formální konceptuální analýzy se softwarovým zpracováním a verifikací získaných hodnot.
Stanovte supremum a infimum pro speciální síťové prvky.
Aplikujte formální konceptuální analýzu do oblasti speciálních síťových prvků a vyhodnoťte softwarové zobrazení výpočtů svazů kontextů.
Popište svazy kontextů a atributových implikací včetně navigace pro Galoisovy konexe množin speciálních síťových prvků
Získané výsledky data mining uveďte ve 3D prostředí s využitím diagramů.
Zásady pro vypracování
Formou literární rešerše zpracujte teoretickou část práce pro praktické využití formální konceptuální analýzy se softwarovým zpracováním a verifikací získaných hodnot.
Stanovte supremum a infimum pro speciální síťové prvky.
Aplikujte formální konceptuální analýzu do oblasti speciálních síťových prvků a vyhodnoťte softwarové zobrazení výpočtů svazů kontextů.
Popište svazy kontextů a atributových implikací včetně navigace pro Galoisovy konexe množin speciálních síťových prvků
Získané výsledky data mining uveďte ve 3D prostředí s využitím diagramů.
Seznam doporučené literatury
NAVARA, Mirko a Petr OLŠÁK. Základy Fuzzy množin. Vyd. 1. Praha: Vydavatelství ČVUT, 2002, 136 s. ISBN 80-01-02585-3.
NOVÁK, Vilém. Fuzzy množiny a jejich aplikace. Praha: Nakladatelství technické literatury, 1990. ISBN 80-03-00325-3.
BĚLOHLÁVEK, Radim. Konceptuální svazy a formální konceptuální analýza [on-line]. 2004 [cit. 2019-10-06]. Dostupné z WWW: http://belohlavek.inf.upol.cz/publications.pdf.
ELZINGA, P. G. Formalizing the concepts of crimes and criminals [online]. Amsterdam, 2011 [cit. 2019-1006]. Dostupné z: http://dare.uva.nl/document/2/96595. PhD thesis. Amsterdam Business School Research Institute.
ZADEH, L. A. Fuzzy Sets [online]. California, 1965 [cit. 2019-10-06]. Dostupné z: http://www.cs.berkeley.edu/.zadeh/papers/Fuzzy 20Sets-InformationControl-1965.pdf. University of California, Berkeley. Concept Explorer.
Seznam doporučené literatury
NAVARA, Mirko a Petr OLŠÁK. Základy Fuzzy množin. Vyd. 1. Praha: Vydavatelství ČVUT, 2002, 136 s. ISBN 80-01-02585-3.
NOVÁK, Vilém. Fuzzy množiny a jejich aplikace. Praha: Nakladatelství technické literatury, 1990. ISBN 80-03-00325-3.
BĚLOHLÁVEK, Radim. Konceptuální svazy a formální konceptuální analýza [on-line]. 2004 [cit. 2019-10-06]. Dostupné z WWW: http://belohlavek.inf.upol.cz/publications.pdf.
ELZINGA, P. G. Formalizing the concepts of crimes and criminals [online]. Amsterdam, 2011 [cit. 2019-1006]. Dostupné z: http://dare.uva.nl/document/2/96595. PhD thesis. Amsterdam Business School Research Institute.
ZADEH, L. A. Fuzzy Sets [online]. California, 1965 [cit. 2019-10-06]. Dostupné z: http://www.cs.berkeley.edu/.zadeh/papers/Fuzzy 20Sets-InformationControl-1965.pdf. University of California, Berkeley. Concept Explorer.
Přílohy volně vložené
-
Přílohy vázané v práci
ilustrace, grafy, tabulky
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Student představil komisi výsledky své diplomové práce. Součástí prezentace nebyla praktická ukázka. Poté byla komise seznámena s posudky a hodnocením vedoucího (A) a oponenta (A). V rámci posudků zazněly tyto otázky: Jaké znáte jiné software produkty? V čem vidíte nedostatky použitého software ve srovnání s jinými? Popište proces konceptuálního škálování pro atributové implikace? Z jakých hodnot jste vycházel při konceptuálním škálování atributů? Student zcela odpověděl. Členové komise položili následující otázky: Dr. Drga: K čemu slouží konceptuální analýza? Student odpověděl na otázky.