Browse IS/STAG - Portál UTB

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

• Basic data

The document you are accessing is protected by copyright law. Unauthorised use may lead to criminal sanctions.
Name	Rosíková Veronika
Acad. Yr.	2015/2016
Assigning department	AUEM
Date of defence	Jun 2, 2016
Type of thesis	Master's thesis
Thesis status	Thesis finished and defended successfully (DUO).
Completeness of mandatory entries	- All mandatory fields for this Thesis are filled in.
Main topic	Aplikace Port-Royalské logiky pro interferenční validaci alifatických karboxylových kyselin ve forenzních vědách
Main topic in English	Applying Port-Royal Logic for the Interference Validation of Aliphatic Carboxylic Acids in the Forensic Sciences
Title according to student	Aplikace Port-Royalské logiky pro interferenční validaci alifatických karboxylových kyselin ve forenzních vědách
English title as given by the student	Applying Port-Royal Logic for the Interference Validation of Aliphatic Carboxylic Acids in the Forensic Sciences
Parallel name	-
Subtitle	-
Thesis supervisor	Ivanka Ján, Ing.
External examiner	Mach Vlastimil, Ing. Ph.D.
Annotation	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.
Annotation in English	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.
Keywords	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.
Keywords in English	Port-Royal logic, carboxylic acids, formal concept analysis, concept, context, multivalued context, scaling conceptual, conceptual cluster, objects, attributes, attribute implications, bivalent logic values.
Length of the covering note	96
Language	CZ
Annotation
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.
Annotation in English
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.
Keywords
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.
Keywords in English
Port-Royal logic, carboxylic acids, formal concept analysis, concept, context, multivalued context, scaling conceptual, conceptual cluster, objects, attributes, attribute implications, bivalent logic values.
Research Plan	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.
Research Plan
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.
Recommended resources	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.
Recommended resources
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.
Týká se praxe	No
Enclosed appendices	-
Appendices bound in thesis	-
Taken from the library	No
Full text of the thesis
Appendices
Reviewer's report
Supervisor's report
Defence procedure record file