Aplikace Port-Royalské logiky pro vybrané prvky plášťové ochrany objektů

Abstract

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.