Aplikace formální konceptuální analýzy pro speciální síťové prvky

Bc. Pavel Měsíček

Diplomová práce

Applying Formal Concept Analysis for Special Network Elements

Anotace:

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í.

Abstract:

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.

Klíčová slova

formální konceptuální analýza, atributové implikace, supremum, infimum, konceptuální svaz, koncept, kontext, síťové prvky.

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 12. 8. 2020

Obhajoba závěrečné práce

• Vedoucí: Ing. Ján Ivanka

Univerzita Tomáše Bati ve Zlíně

Fakulta aplikované informatiky

Magisterský studijní program / obor:
Inženýrská informatika / Bezpečnostní technologie, systémy a management