Diplomová práce se zabývá aplikací Port-Royalské logiky, prezentované pomocí formální konceptuální analýzy, pro efektivnější výběr stavebních prvků mechanických zábranných systémů. Vzhledem k tomu, že formální konceptuální analýza je založena na matematické teorii, teoretická část poskytuje matematické základy této mocné metody analýzy dat. Dále se zaměřuje na integrovaný bezpečnostní systém zahrnující mechanické zábranné systémy a jejich plášťovou ochranu. Praktická část se zabývá aplikací formální konceptuální analýzy na vybrané stavební prvky prostřednictvím softwaru Concept Explorer. Závěrečná část prá-ce obsahuje výsledné hodnoty zobrazené v 3D prostředí Microsoft Excel.
Annotation in English
The diploma thesis deals with the application of Port-Royal logic presented by formal con-cept analysis for more efficient selection of structural elements of mechanical preclusive systems. Since formal concept analysis is based on the mathematical theory, the theoretical part provides the mathematical foundations of this powerful data analysis technique. Fur-thermore, it is focused on the integrated security system including the mechanical preclu-sive systems and its casing protection. The practical part is devoted to the application of formal conceptual analysis on selected structural elements by the Concept Explorer soft-ware. The last section contains the results of the analysis shown in 3D via Microsoft Excel.
Keywords
formální konceptuální analýza, Port-Royalská logika, fuzzy množiny, konceptuální škálo-vání, mechanické zábranné systémy, plášťová ochrana, Concept Explorer
Diplomová práce se zabývá aplikací Port-Royalské logiky, prezentované pomocí formální konceptuální analýzy, pro efektivnější výběr stavebních prvků mechanických zábranných systémů. Vzhledem k tomu, že formální konceptuální analýza je založena na matematické teorii, teoretická část poskytuje matematické základy této mocné metody analýzy dat. Dále se zaměřuje na integrovaný bezpečnostní systém zahrnující mechanické zábranné systémy a jejich plášťovou ochranu. Praktická část se zabývá aplikací formální konceptuální analýzy na vybrané stavební prvky prostřednictvím softwaru Concept Explorer. Závěrečná část prá-ce obsahuje výsledné hodnoty zobrazené v 3D prostředí Microsoft Excel.
Annotation in English
The diploma thesis deals with the application of Port-Royal logic presented by formal con-cept analysis for more efficient selection of structural elements of mechanical preclusive systems. Since formal concept analysis is based on the mathematical theory, the theoretical part provides the mathematical foundations of this powerful data analysis technique. Fur-thermore, it is focused on the integrated security system including the mechanical preclu-sive systems and its casing protection. The practical part is devoted to the application of formal conceptual analysis on selected structural elements by the Concept Explorer soft-ware. The last section contains the results of the analysis shown in 3D via Microsoft Excel.
Keywords
formální konceptuální analýza, Port-Royalská logika, fuzzy množiny, konceptuální škálo-vání, mechanické zábranné systémy, plášťová ochrana, Concept Explorer
Seznamte se s problematikou teorie a s aplikačními možnostmi formální konceptuální analýzy s využitím reprezentace a systémů řezů fuzzy množin.
Stanovte supremum a infimum v oblasti redundance a reaktibilnosti pro stavební prvky plášťové ochrany.
Zaměřte se na aplikaci Port-Royalské logiky s využitím softwarového vybavení pro navigaci svazů kontextů.
Popište svazy kontextů a atributových implikací vybraných stavebních prvků plášťové ochrany objektů.
Získané výsledné hodnoty uveďte v 3D zobrazení.
Research Plan
Seznamte se s problematikou teorie a s aplikačními možnostmi formální konceptuální analýzy s využitím reprezentace a systémů řezů fuzzy množin.
Stanovte supremum a infimum v oblasti redundance a reaktibilnosti pro stavební prvky plášťové ochrany.
Zaměřte se na aplikaci Port-Royalské logiky s využitím softwarového vybavení pro navigaci svazů kontextů.
Popište svazy kontextů a atributových implikací vybraných stavebních prvků plášťové ochrany objektů.
Získané výsledné hodnoty uveďte v 3D zobrazení.
Recommended resources
NAVARRA, Mirko a Petr OLŠÁK. Základy fuzzy množin. Praha: ČVUT, 2002. ISBN 80-01-02585-3.
IVANKA, Ján. Mechanické zábranné systémy. 2.vyd. Zlín: Univerzita Tomáše Bati ve Zlíně, 2014. ISBN 978-80-7454-427-9.
IVANKA, Ján. Systematizace bezpečnostního průmyslu. 5.vyd. Zlín: Univerzita Tomáše Bati ve Zlíně, 2014. ISBN 978-80-7454-410-1.
BĚLOHLÁVEK, Radim. Konceptuální svazy a formální konceptuální analýza \matsymb{lbrack}online\matsymb{rbrack}. , 19 \matsymb{lbrack}cit. 2018-11-27\matsymb{rbrack}. Dostupné z: http://belohlavek.inf.upol.cz/publications/Bel_Ksfka.pdf
VOLNÁ, Eva. Základy softcomputingu \matsymb{lbrack}online\matsymb{rbrack}. Ostrava: Ostravská univerzita v Ostravě, 2012 \matsymb{lbrack}cit. 2018-11-27\matsymb{rbrack}. Dostupné z: http://www1.osu.cz/ volna/Zaklady_softcomputingu_skripta.pdf
Recommended resources
NAVARRA, Mirko a Petr OLŠÁK. Základy fuzzy množin. Praha: ČVUT, 2002. ISBN 80-01-02585-3.
IVANKA, Ján. Mechanické zábranné systémy. 2.vyd. Zlín: Univerzita Tomáše Bati ve Zlíně, 2014. ISBN 978-80-7454-427-9.
IVANKA, Ján. Systematizace bezpečnostního průmyslu. 5.vyd. Zlín: Univerzita Tomáše Bati ve Zlíně, 2014. ISBN 978-80-7454-410-1.
BĚLOHLÁVEK, Radim. Konceptuální svazy a formální konceptuální analýza \matsymb{lbrack}online\matsymb{rbrack}. , 19 \matsymb{lbrack}cit. 2018-11-27\matsymb{rbrack}. Dostupné z: http://belohlavek.inf.upol.cz/publications/Bel_Ksfka.pdf
VOLNÁ, Eva. Základy softcomputingu \matsymb{lbrack}online\matsymb{rbrack}. Ostrava: Ostravská univerzita v Ostravě, 2012 \matsymb{lbrack}cit. 2018-11-27\matsymb{rbrack}. Dostupné z: http://www1.osu.cz/ volna/Zaklady_softcomputingu_skripta.pdf
