Aplikace Port-Royalské logiky pro interferenční validaci alifatických karboxylových kyselin ve forenzních vědách

Bc. Veronika Rosíková

Diplomová práce

Applying Port-Royal Logic for the Interference Validation of Aliphatic Carboxylic Acids in the Forensic Sciences

Anotace:

Diplomová práce prezentuje aplikaci Port-Royalské logiky s využitím formální konceptuální analýzy pro použití v oblasti forenzních věd. V teoretické části je zpracován obecný přehled Port-Royalské logiky a formální konceptuální analýzy popisující základní algebraické defi-nice a věty. V úvodu praktické části jsou identifikovány jednotlivé vzorky karboxylových kyselin, popsány jejich vlastnosti a zobrazeny získané hodnoty. Dále je uvedeno zpracování dat programem založeným na formální konceptuální analýze a následné zobrazení grafů v 3D prostředí programu MATLAB.

Abstract:

The diploma thesis presents the application of Port-Royal logic using formal concept analy-sis for use in forensic science. The theoretical part contains a general overview of Port-Royal logic and formal concept analysis describing the basic algebraic definitions and theo-rems. The introduction of practical part is identified by individual samples of carboxylic acids, described their characteristics and the values displayed. Further, the data processing program based on formal concept analysis and subsequent display graphs in 3D environ-ment MATLAB.

Klíčová slova

Port-Royalská logika, karboxylové kyseliny, formální konceptuální analýza, koncept, kon-text, vícehodnotový kontext, konceptuální škálování, konceptuální svaz, objekty, atributy, atributové implikace, bivalentní logické hodnoty.

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 11. 5. 2016

Zveřejnit od: 11. 5. 2016

Obhajoba závěrečné práce

Univerzita Tomáše Bati ve Zlíně

Fakulta aplikované informatiky

Magisterský studijní program / obor:
Inženýrská informatika / Bezpečnostní technologie, systémy a management