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.
Anotace v angličtině
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.
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.
Anotace v angličtině
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.
Formou literární rešerže zpracujte obecný přehled pro aplikaci Port-Royalské logiky s využitím formální konceptuální analýzy.
Proveďte identifikaci vzorků nenasycených kyselin se zaměřením na hexanoic, octanoic, decanoic, dodecanoic, mathyl tetradecanoate, hexadecanoic a cyclopropaneoctanoic acid a uvolněného tepla.
Identifikaci vzorků zpracujte ve spolupráci s odborným pracovištěm Univerzity Tomáše Bati ve Zlíně.
S využitím reprezentace svazů kontextů, atributových implikací a systému řezů fuzzy množin a stanovením suprema a infima v oblasti analýzy vzorků vyjádřete uvedenou problematiku zpracováním softwarových výpočtů svazu kontextů a škálováním atributů hodnot.
Získané údaje z použité metody uveďte v 3D prostředí s využitím programu Matlab.
Zásady pro vypracování
Formou literární rešerže zpracujte obecný přehled pro aplikaci Port-Royalské logiky s využitím formální konceptuální analýzy.
Proveďte identifikaci vzorků nenasycených kyselin se zaměřením na hexanoic, octanoic, decanoic, dodecanoic, mathyl tetradecanoate, hexadecanoic a cyclopropaneoctanoic acid a uvolněného tepla.
Identifikaci vzorků zpracujte ve spolupráci s odborným pracovištěm Univerzity Tomáše Bati ve Zlíně.
S využitím reprezentace svazů kontextů, atributových implikací a systému řezů fuzzy množin a stanovením suprema a infima v oblasti analýzy vzorků vyjádřete uvedenou problematiku zpracováním softwarových výpočtů svazu kontextů a škálováním atributů hodnot.
Získané údaje z použité metody uveďte v 3D prostředí s využitím programu Matlab.
Seznam doporučené literatury
BĚLOHLÁVEK, Radim. Konceptuální svazy a formální konceptuální analýza \matsymb{lbrack}online\matsymb{rbrack}. Dostupné z WWW: http://belohlavek.inf.upol.cz/publications/Bel_Ksfka.pdf.
KLŮJOVÁ, Jana. Formální konceptuální analýza v zobrazování 3D živočišných ostatků v půdě. Zlín, 2010. 78 s. Bakalářská práce. UTB, Fakulta aplikované informatiky.
KÜHR, Tomáš. Formální konceptuální analýza \matsymb{lbrack}online\matsymb{rbrack}. Dostupné z WWW: http://www.inf.upol.cz/downloads/ruzne/FCAproSS.pdf.
NAVARA, Mirko a OLŠÁK, Petr. Základy fuzzy množin. Vyd. 1. Praha: Vydavatelství ČVUT, 2002, 136 s. ISBN 80-01-02585-3.
ŠMEJKAL, Ladislav. PLC a automatizace. 1. vyd. Praha: BEN - technická literatura, 2005, 207 s. ISBN 80-7300-087-3.
Seznam doporučené literatury
BĚLOHLÁVEK, Radim. Konceptuální svazy a formální konceptuální analýza \matsymb{lbrack}online\matsymb{rbrack}. Dostupné z WWW: http://belohlavek.inf.upol.cz/publications/Bel_Ksfka.pdf.
KLŮJOVÁ, Jana. Formální konceptuální analýza v zobrazování 3D živočišných ostatků v půdě. Zlín, 2010. 78 s. Bakalářská práce. UTB, Fakulta aplikované informatiky.
KÜHR, Tomáš. Formální konceptuální analýza \matsymb{lbrack}online\matsymb{rbrack}. Dostupné z WWW: http://www.inf.upol.cz/downloads/ruzne/FCAproSS.pdf.
NAVARA, Mirko a OLŠÁK, Petr. Základy fuzzy množin. Vyd. 1. Praha: Vydavatelství ČVUT, 2002, 136 s. ISBN 80-01-02585-3.
ŠMEJKAL, Ladislav. PLC a automatizace. 1. vyd. Praha: BEN - technická literatura, 2005, 207 s. ISBN 80-7300-087-3.
Přílohy volně vložené
-
Přílohy vázané v práci
-
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Součástí prezentace DP nebyla praktická ukázka.
V rámci obhajoby byly položeny následující dotazy:
1. Existuje i jiná metoda, která je adekvátní k Vámi prezentované metodě? (doc. RNDr. Švec, CSc.)
2. Neuvažovala jste i na nějakém srovnání podobných metod?
3. Jak je Váš výstup využit ve forenzních vědách a jaký má účel? (doc. Ing. Gajdošík, CSc.)
4. V čem si myslíte, že je Váš největší přínos? Bráno z pohledu výstupů z DP. (doc. Ing. Gajdošík, CSc.)
5. Jaký je rozdíl mezi Fuzzy a Lingvistickou logikou? (doc. Ing. Hruška, Ph.D.)
Studentka zodpověděla položené dotazy vedoucího DP a oponenta v plném
rozsahu a na kladené dotazy v dis. komise pro SZZ reagovala pohotově.