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

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