| dc.contributor.advisor |
Ivanka, Ján
|
|
| dc.contributor.author |
Měsíček, Pavel
|
|
| dc.date.accessioned |
2021-07-26T10:54:28Z |
|
| dc.date.available |
2021-07-26T10:54:28Z |
|
| dc.date.issued |
2019-12-09 |
|
| dc.identifier |
Elektronický archiv Knihovny UTB |
|
| dc.identifier.uri |
http://hdl.handle.net/10563/47920
|
|
| dc.description.abstract |
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í. |
|
| dc.format |
76 |
|
| dc.language.iso |
cs |
|
| dc.publisher |
Univerzita Tomáše Bati ve Zlíně |
|
| dc.rights |
Bez omezení |
|
| dc.subject |
formální konceptuální analýza
|
cs |
| dc.subject |
atributové implikace
|
cs |
| dc.subject |
supremum
|
cs |
| dc.subject |
infimum
|
cs |
| dc.subject |
konceptuální svaz
|
cs |
| dc.subject |
koncept
|
cs |
| dc.subject |
kontext
|
cs |
| dc.subject |
síťové prvky
|
cs |
| dc.subject |
formal concept analysis
|
en |
| dc.subject |
attribute implications
|
en |
| dc.subject |
supremum
|
en |
| dc.subject |
infimum
|
en |
| dc.subject |
concept association
|
en |
| dc.subject |
concept
|
en |
| dc.subject |
context
|
en |
| dc.subject |
network elements
|
en |
| dc.title |
Aplikace formální konceptuální analýzy pro speciální síťové prvky |
|
| dc.title.alternative |
Applying Formal Concept Analysis for Special Network Elements |
|
| dc.type |
diplomová práce |
cs |
| dc.contributor.referee |
Čandík, Marek |
|
| dc.date.accepted |
2020-09-07 |
|
| dc.description.abstract-translated |
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. |
|
| dc.description.department |
Ústav elektroniky a měření |
|
| dc.thesis.degree-discipline |
Bezpečnostní technologie, systémy a management |
cs |
| dc.thesis.degree-discipline |
Security Technologies, Systems and Management |
en |
| dc.thesis.degree-grantor |
Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky |
cs |
| dc.thesis.degree-grantor |
Tomas Bata University in Zlín. Faculty of Applied Informatics |
en |
| dc.thesis.degree-name |
Ing. |
|
| dc.thesis.degree-program |
Inženýrská informatika |
cs |
| dc.thesis.degree-program |
Engineering Informatics |
en |
| dc.identifier.stag |
54335
|
|
| utb.result.grade |
A |
|
| dc.date.submitted |
2020-08-12 |
|
