Cílem bakalářské práce bude literární rešerše v oblasti speciální ochrany dokumentů, cenin, atd. Student se seznámí s problematikou Port-Royalské logiky, jejími cíli a zásadami využití, verifikací získaných hodnot a funkcí programu.
Teoretická část práce bude obsahovat zařazení komponentů speciální ochrany v oblasti ostatních primárních druhů ochran, jako i teoretickou část FCA s využitím supremia a infima pro aplikování vybraných komponentů v speciální ochraně.
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í. Získané hodnoty budou verifikovány a zobrazeny ve 3D prostředí.
Annotation in English
The aim of the bachelor's thesis is literary research in the field of special protection of documents, valuables, etc. The student will get acquainted with the problems of Port-Royal logic, its aims and principles of utilization, verification of acquired values and functions of the program.
The theoretical part of the thesis will include the inclusion of special protection components in the field of other primary types of protection, as well as the theoretical part of FCA with the use of supremia and infima for application of selected components in special protection.
Practical part of the thesis will be focused on graphical display of software contextual calculation, scaling of attribute implications and text expression of graphical representation. The values obtained will be verified and displayed in a 3D environment.
Keywords
Atributové implikace, formální konceptuální analýza, Port-Royalská logika, speciální ochrana, konceptuální škálování, koncept, kontext.
Cílem bakalářské práce bude literární rešerše v oblasti speciální ochrany dokumentů, cenin, atd. Student se seznámí s problematikou Port-Royalské logiky, jejími cíli a zásadami využití, verifikací získaných hodnot a funkcí programu.
Teoretická část práce bude obsahovat zařazení komponentů speciální ochrany v oblasti ostatních primárních druhů ochran, jako i teoretickou část FCA s využitím supremia a infima pro aplikování vybraných komponentů v speciální ochraně.
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í. Získané hodnoty budou verifikovány a zobrazeny ve 3D prostředí.
Annotation in English
The aim of the bachelor's thesis is literary research in the field of special protection of documents, valuables, etc. The student will get acquainted with the problems of Port-Royal logic, its aims and principles of utilization, verification of acquired values and functions of the program.
The theoretical part of the thesis will include the inclusion of special protection components in the field of other primary types of protection, as well as the theoretical part of FCA with the use of supremia and infima for application of selected components in special protection.
Practical part of the thesis will be focused on graphical display of software contextual calculation, scaling of attribute implications and text expression of graphical representation. The values obtained will be verified and displayed in a 3D environment.
Keywords
Atributové implikace, formální konceptuální analýza, Port-Royalská logika, speciální ochrana, konceptuální škálování, koncept, kontext.
Formou literární rešerše zpracujte teoretickou část práce pro praktické využití Port-Royalské logiky s softwarovým zpracováním a verifikací formální konceptuální analýzy.
Stanovte supremium a infimum pro komponenty speciální chrany.
Aplikujte Port-Royalskou logiku do oblasti speciální ochrany dokumentů a cenin a vyhodnoťte softwarové zobrazení výpočtů svazu kontextů.
Popište svazy kontextů a atributových implikací včetně navigace vybraných komponentů speciální ochrany.
Získané výsledné data mining uveďte ve 3D prostředí.
Research Plan
Formou literární rešerše zpracujte teoretickou část práce pro praktické využití Port-Royalské logiky s softwarovým zpracováním a verifikací formální konceptuální analýzy.
Stanovte supremium a infimum pro komponenty speciální chrany.
Aplikujte Port-Royalskou logiku do oblasti speciální ochrany dokumentů a cenin a vyhodnoťte softwarové zobrazení výpočtů svazu kontextů.
Popište svazy kontextů a atributových implikací včetně navigace vybraných komponentů speciální ochrany.
Získané výsledné data mining uveďte ve 3D prostředí.
Recommended resources
NAVARA, Mirko a OLŠÁK, Petr. Základy fuzzy množin. Vyd. 1. Praha: Vydavatelství ČVUT, 2002, 136 s. ISBN 80-01-02585-3.
IVANKA, Ján. Mechanické zábranné systémy. 1. Zlín: Univerzita Tomáše Bati ve Zlíně, 2010. ISBN 978-80-7318-910-5.
C. Carpineto, G. Romano: Concept Data Analysis: Theory and Applications. John Wiley & Sons, 2004. ISBN 978-0-470-85055-8.
B. Ganter, R. Wille: Formal Concept Analysis Mathematical Foundations. Springer, 1999. ISBN 978-3-642-59830-2.
R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. Ordered Sets, strany 445470. Boston, 1982. ISBN 978-3-642-01814-5.
Recommended resources
NAVARA, Mirko a OLŠÁK, Petr. Základy fuzzy množin. Vyd. 1. Praha: Vydavatelství ČVUT, 2002, 136 s. ISBN 80-01-02585-3.
IVANKA, Ján. Mechanické zábranné systémy. 1. Zlín: Univerzita Tomáše Bati ve Zlíně, 2010. ISBN 978-80-7318-910-5.
C. Carpineto, G. Romano: Concept Data Analysis: Theory and Applications. John Wiley & Sons, 2004. ISBN 978-0-470-85055-8.
B. Ganter, R. Wille: Formal Concept Analysis Mathematical Foundations. Springer, 1999. ISBN 978-3-642-59830-2.
R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. Ordered Sets, strany 445470. Boston, 1982. ISBN 978-3-642-01814-5.
