Aplikace formální konceptuální analýzy pro vybrané balistické vesty s antitrauma vložkou. Stanislav Čermák
|
|
- Bohumil Vávra
- před 6 lety
- Počet zobrazení:
Transkript
1 Aplikace formální konceptuální analýzy pro vybrané balistické vesty s antitrauma vložkou Stanislav Čermák Bakalářská práce 2018
2
3
4
5 ABSTRAKT Bakalářská práce se zabývá využitím formální konceptuální analýzy ve výběru balistických ochranných vest. Teoretická část práce je zaměřena na problematiku formální konceptuální analýzy a jejím rozšířením o fuzzy logiku. Jedná se o popsání základních pojmů a definic této části aplikované matematiky. Závěr teoretické části je věnován balistickým ochranným prostředkům s důrazem na balistické nosiče, anti-traumatické vložky a balistické pláty. Praktická část práce je věnována aplikaci formální konceptuální analýzy do oblasti vybraných balistických ochran pomocí softwarového nástroje Concept Explorer a jeho využití pro získání dat a následnému 3D zobrazení výsledků pomoci softwaru Microsoft Excel. Klíčová slova: formální konceptuální analýza, fuzzy logika, základní kontext, konceptuální škálování, konceptuální svaz, balistické ochranné prostředky, balistické nosiče, antitrauma vložky, balistické pláty. ABSTRACT The bachelor thesis deals with the use of formal conceptual analysis in the selection of ballistic vests. The theoretical part of the thesis is focused on the problems of formal conceptual analysis and its extension of fuzzy logic. It is about description of the basic concepts and definitions of this part of applied mathematics. Conclusion of the theoretical part is devoted to ballistic protection focusing on body armor carriers, anti-trauma pads and ballistic plates. The practical part is devoted to the application of formal conceptual analysis to the field of selected ballistic protection using the Concept Explorer software tool and its use for data acquisition and subsequent 3D display of results using Microsoft Excel software. Keywords: formal conceptual analysis, fuzzy logic, formal context, conceptual scaling, conceptual lattice, balistic protection, armor carrier, anti-trauma pad, balistic plate
6
7 OBSAH ÚVOD... 8 I TEORETICKÁ ČÁST FORMÁLNÍ KONCEPUTÁLNÍ ANALÝZA ZÁKLADNÍ POJMY FCA Formální koncept, indukované Galoisovy konexe Formální koncept, konceptuální svaz Atributové implikace Vícehodnotové kontexty a konceptuální škálování Jednoduché škálování Supremum a infimum FUZZY LOGIKA KLASICKÉ MNOŽINY FUZZY MNOŽINY ZAVEDENÍ FUZZY MNOŽIN ROZŠÍŘENÍ FORMÁLNÍ KONCEPTUÁLNÍ ANALÝZY O FUZZY LOGIKU ŘEZY FUZZY MNOŽIN Reprezentace fuzzy množin BALISTICKÉ VESTY KONSTRUKCE BALISTICKÝCH VEST Balistický nosič Vojenský nosič Nosič pro skryté nošení Balistické materiály Antitrauma vložka TŘÍDY BALISTICKÉ ODOLNOSTI Česká norma pro zkoušky odolnosti ochranných prostředků ČSN Americká norma pro zkoušky odolnosti balistické ochrany NIJ STD II PRAKTICKÁ ČÁST APLIKACE FCA DO OBLASTNI BALISTICKÝCH VEST CONCEPT EXPLORER Potřebný software a instalace Uživatelské prostředí PŘEHLED VYBRANÝCH BALISTICKÝCH OCHRAN Vybrané balistické nosiče Vybrané antitrauma vložky Vybrané balistické pláty ANALÝZA VYBRANÝCH BALISTICKÝCH OCHRAN Analýza vybraných balistických nosičů... 37
8 4.3.2 Analýza vybraných antitrauma vložek Analýzy vybraných balistických plátů D ZOBRAZENÍ VÝSLEDKŮ ZÁVĚR SEZNAM POUŽITÉ LITERATURY SEZNAM POUŽITÝCH SYMBOLŮ A ZKRATEK SEZNAM OBRÁZKŮ SEZNAM TABULEK... 59
9 UTB ve Zlíně, Fakulta aplikované informatiky 8 ÚVOD Potřeba chránit své zdraví a život je důležité už od počátku věků snad pro všechny živé tvory. Lidé proto začali vymýšlet, jak své životy chránit co nejlépe proti jakémukoliv nebezpečí. Vzhledem k počtu válkám, co vedlo lidstvo už od nepaměti vznikla potřeba chránit svůj život v boji. Ve středověku nosili válečníci brnění, které jim pomáhalo přežít rány chladnými zbraněmi. Další vývoj v oblasti ochrany života byl během první a druhé světové války, kdy vznikli první balistické vesty na ochranu proti střelným zbraním. Tyto vesty se nadále vyvinuli až do dnešní podoby, kdy máme na výběr velké množství balistických ochran. Pro výběr vhodného typu ochrany dnes můžeme použít například formální konceptuální analýzu, která vychází z Port-Royalské logiky. Vybraná analýza nám umožňuje komplexní přehled mezi objekty a jejich atributy. Výsledek této analýzy dat nám dokáže graficky zobrazit závislosti, které nemusejí být na první pohled zřejmé. Formální konceptuální analýza je tedy výborný prostředek pro orientaci ve vybrané problematice balistické ochrany a výběr správných výrobků. Práce je rozdělena na dva celky, a to teoretickou a praktickou. Teoretická část se věnuje matematické části této analýzy a její rozšíření o fuzzy logiku, která umožňuje pracovat s nepřesnostmi a významy slov jazyka. Praktická část se zaobírá využitím formální konceptuální analýzy pomocí softwarového nástroje Concept Explore pro vyhodnocení a zobrazení svazů kontextů, které jsou důležité pro výběr správné balistické ochrany. Závěr práce je vyhodnocený pomocí 3D grafického zobrazení výsledků v softwaru Microsoft Excel.
10 UTB ve Zlíně, Fakulta aplikované informatiky 9 I. TEORETICKÁ ČÁST
11 UTB ve Zlíně, Fakulta aplikované informatiky 10 1 FORMÁLNÍ KONCEPUTÁLNÍ ANALÝZA Formální konceptuální analýza (dále jen FCA) je metodou tabulkové analýzy dat a také explorativní (průzkumové) analýzy dat. Někdy se také používá termín metoda konceptuálních svazů. Vstupem pro FCA jsou tabulková data a výstupem je konceptuální svaz a atributové implikace. FCA nabízí uživateli netriviální informace, které nemusejí při pouhém pohledu na počáteční data zřejmé a mohou být využity při dalším zpracování dat. Analýza je součástí odvětví aplikované matematiky a její základy jsou postaveny na teorii svazů. [1] Formální konceptuální analýza byla představena poprvé v článku německého matematika Rudolfa Willeho v roce [2] Při pohledu na okolní svět se nejčastěji hovoří o objektech a o jejich vlastnostech neboli atributech. Pro objekty a atributy platí, že objekt daný atribut buď má nebo nemá a také může daný atribut mít jen částečně. Ve formální konceptuální analýze jsou nejčastěji vztahy mezi objekty a atributy popsány tabulkou, ve které sloupce představují atributy a řádky objekty. Položky tabulky (Tab. 1.) u objektu označeného jako x a atributu y nesou informací o tom, zda daný objekt x má atribut y, popřípadě jakou má objekt hodnotu. [1] Tab. 1. Tabulková data s objekty xi a jejich atributy yj. [1] y yj yl x1 : : : xi I (xi, yj) : : xk : Za předpokladu, že vstupní atributy nabývají pouze bivalentních logických hodnot 1 a 0, tak pro každý atribut y a objekt x platí, že x má y nebo x nemá y. Tabulka (Tab. 2.) popisuje, jak mohou vztahy mezi atributy a objekty vypadat. Tab. 2. Tabulka zobrazující objekty x a jejich bivalentní logické atributy [1] y1 y2 y3 y4 x x x
12 UTB ve Zlíně, Fakulta aplikované informatiky Základní pojmy FCA Ve světě plného velkého množství informací je vytváření pojmů jedním je základních způsobů, který napomáhá jejich pochopení. Vytváření a práce s obecnými pojmy umožňuje popisovat obecné zákonitosti jednotlivostí, netriviální komunikace mezi lidmi, klasifikaci a kognitivní uspořádání okolního světa. Pojem vymezuje určité seskupení nějakých objektů neboli shluku objektů, které k sobě patří. [1] V FCA je pojem chápan podle Port-Royalské logiky, kde je tvořen vlastním rozsahem a obsahem. Rozsah je seskupení všech objektů, patřících pod určitý pojem patří. Například u pojmu balistický plát je rozsah seskupení všech balistických plátu a obsahem seskupení všech atributů balistických plátu, například mít balistickou odolnost. [1] Pojem lze tedy chápat jako dvojici (A, B), kde A je množina objektů a B je množina atributů, které pod pojem patří. Ne každou dvojici (A, B) je však možné považovat za pojem. Aby tomu tak bylo, je nutné, aby A byla právě množinou všech objektů sdílejících všechny atributy z B a naopak, aby B byla právě množinou všech atributů společných všem objektům z A. Pojem ve smyslu FKA budeme nazývat formální koncept. [1] Formální koncept, indukované Galoisovy konexe Definice 1. (Formální) kontext je trojice X, Y, I, kde I je binární relace mezi množinami X a Y. [1] Objekty jsou prvky v množině X a atributy jsou prvky množině Y. Vztah kde x, y I znamená, že objekt x má atribut y. Kontexty X, Y, I pak indikují zobrazení : 2 X 2 Y a : 2 Y 2 X a přepisem A = {y Y pro každý x A: x, y I} (1) a pro A X B = {x X pro každý y B: x, y I} (2) Pro B Y místo A píšeme také A I, popřípadě A I, podobně pro B. A může být také značeno jako A I, nebo jen A I. Stejným principem lze zapsat i B.
13 UTB ve Zlíně, Fakulta aplikované informatiky 12 A je tedy množinou všech atributů společných všem objektům z A; B je množinou všech objektů sdílejících všechny atributy z B. [1] Definice 2. Zobrazení f: 2 X 2 Y a g: 2 Y 2 X tvoří tzv. Galoisovu konexi mezi množinami X a Y, pokud pro A, A1, A2 X; B, B1, B2 Y platí A1 A2 f(a2) f(a1); B1 B2 g(b2) g(b1); A g(f(a)); B f(g(b)). [1] Věta 1. Pro binární relaci I X Y tvoří indukovaná zobrazení I a I Galoisovu konexi mezi X a Y. Naopak, tvoří-li f a g Galoisovu konexi mezi X a Y, existuje binární relace I X Y tak, že f = I a g = I. Tím je dán vzájemně jednoznačný vztah mezi Galoisovými ko- nexemi mezi X a Y a binárními relacemi mezi X a Y. [1] Výše zmíněné podmínky Galoisových konexí jsou známé i v běžném životě. V Port-Royalské škole podmínka A1 A 2 implikuje A 2 A 1 známá jako zákon obráceného poměru rozsahů a obsahů. [1] Formální koncept, konceptuální svaz Definice 3. (Formální) koncept v kontextu X, Y, I je dvojice (A, B), kde A X a B Y jsou takové, že A = B a B = A. [1] Formální koncept je dvojice složena ze dvou množin, a to množinou A objektů a množinou B atributů. Tyto atributy B jsou právě všechny společné atributy objektům z množiny A a A jsou právě všechny objekty sdílející atributy z B. Matematiky je koncept právě pevným bodem Galoisovy konexe dané a. [1] Množina všech formálních konceptů v X, Y, I je značena B X, Y, I, tj. B (X, Y, I) = {(A, B) A X, B Y, A = B, B = A}. (3) Definice 4. Konceptuální svaz je množina B (X, Y, I) spolu s relací definovanou na B (X, Y, I) předpisem (A1, B1) (A2, B2) právě když A1 A2 (nebo, ekvivalentně, B2 B1). [1] Množina obsahů všech konceptů z B (X, Y, I) je označena Int(I) = B Y A,B B(X,Y,I) A X, kde B Y je obsahem nějakého konceptu z B(X,Y,I). Dále pomocí Ext(I) jsou označeny rozsahy konceptů z B (X, Y, I). [1] Věta 2. (hlavní věta o konceptuálních svazech). Mějme formální kontext X, Y, I.
14 UTB ve Zlíně, Fakulta aplikované informatiky 13 B (X, Y, I) je vzhledem k úplný svaz, ve kterém jsou infima a suprema dána předpisy Aj, Bj = Aj, ( Aj, jεj jεj jεj jεj jεj ) = Aj, ( Bj ) (4) Aj, Bj = ( Bj), Bj = ( Aj), Bj jεj jεj jεj jεj jεj (5) Daný úplný svaz V= V, je izomorfní s B (X, Y, I), právě když existují zobrazení : X V, : Y V, pro která je (X) supremálně hustá ve V, (Y) infimálně hustá ve V a x, y I platí právě když (x) (y) x X, y Y. [1] Atributové implikace Atributová implikace je výraz tvaru A B, kde A, B Y. [1] Definice 5. Pro implikaci A B a množinu C Y říkáme, že A B platí v C, popř. že C je modelem A B, jestliže platí, že pokud A C, pak i B C. Obecněji, pro množinu M 2 Y množin atributů a množinu T = {Aj Bj j J} implikací říkáme, že T platí v M, popř. že M je modelem T, jestliže Aj Bj platí v C pro každé C M a Aj Bj T. [1] Zápis platnosti, že T platí v M se provádí ve tvaru M = T. Implikace obsahů všech objekt-atributů M = x x X, platí také v kontextu X, Y, I. Pokud však tato atributová implikace platí v systému Int(I) u všech obsahů, je také platná v konceptuálním svazu B (X, Y, I). [1] Věta 3. Atributová implikace platí v X, Y, I, právě když platí v B (X, Y, I). [1] Definice 6. Implikace A B (sémanticky) plyne z množiny T implikací (zapisujeme T = A B), jestliže A B platí v každé C Y, ve které platí T. Množina T implikací se nazývá: uzavřená, jestliže obsahuje každou implikaci, která z ní plyne, neredundantní, jestliže žádná implikace z T neplyne u ostatních (tj. nikdy není T - A B = A B ). [1]
15 UTB ve Zlíně, Fakulta aplikované informatiky 14 Množina T implikací kontextu X, Y, I se nazývá úplná, jestliže z ní plyne každá implikace kontextu X, Y, I. Báze je úplná a neredundantní množina implikací daného kontextu. [1] Ne všechny implikace ve vstupních datech jsou důležité. Jedná se nejčastěji o triviální implikace, jako je A B, kde B A, nebo také další implikace vyplývající z ostatních. [1] Věta 4. Množina T implikací je uzavřená, právě když pro každé A, B, C, D Y platí: A A T, pokud A B T, pak A C B T, pokud A B T a B C D T, pak A C D T. [1] Definice 7. Pseudointent kontextu X, Y, I je množina A Y, pro kterou platí, že A A a že B A pro každý pseudointent B A. [1] Věta 5. Množina A A A je pseudointent X, Y, I implikací je úplná a neredundantní, tj. báze. [1] Vícehodnotové kontexty a konceptuální škálování Rozšířením formálních kontextů dostaneme vícehodnotové kontexty. Tyto kontexty dokáži reprezentovat vstupní data konečně i s atributy jinými než jen bivalentními logickými. [1] Definice 8. Vícehodnotový kontext je čtveřice X, Y, W, I, kde I X Y W je ternární relace taková, že pokud x, y, v I, pak v = w. [1] Množiny X, Y, W obsahují objekty, atributy a příslušné hodnoty atributů. Zápis x, y, w I říká, že objekt označený x má atribut označený y s hodnotou určenou jako w, zkráceně zapsané jako y(x) = w. Úkolem vícehodnotových kontextů je rozšíření základních kontextů. Aby mohla FCA správně fungovat, musí se upravit vícehodnotový kontext pomocí konceptuálního škálování na základní kontext a poté analyzovat. [1]
16 UTB ve Zlíně, Fakulta aplikované informatiky 15 Tab. 3. Vícehodnotový kontext [1] y1 y2 y3 y4 x x x Výše zobrazená tabulka (Tab. 3) je tvořena vícehodnotovými kontexty. Pro potřeby FCA se využívá převod vícehodnotových kontextů na základní kontexty. Definice 9. Škála pro atributy vícehodnotového kontextu je kontext Sy= Xy,Yy,Iy, pro který y(x) Xy (kde y(x)= y(x) x X ). Prvky množin Xy a Yy se nazývají škálové hodnoty a škálové atributy. [1] Škálou pro určitý atribut může být libovolný kontext, které ale musí splňovat odpovídající definici, odrážející význam určitého atributu. Standartní škály pro použití u běžných atributů jsou nominální, biordinální, ordinální, dichotomická. Škály pro tabulku vícehodnotových kontextů (Tab. 3) jsou rozepsány v tabulce (Tab. 4) níže. Tab. 4. Konceptuální škálování [1] y1 y2 y3(0-10) y3(10-15) y3(15-20) y3(20-25) y4 x x x Jednoduché škálování Definice 10. Je-li X, Y, W, I vícehodnotový kontext a jsou-li Sy (y Y) škály, pak kontext odvozený jednoduchým škálováním je kontext X, Z, J, kde N = Uy YYy (Yy = y Yy); x, y, z J právě tehdy když y(x)= w a w, z Iy. [1]
17 UTB ve Zlíně, Fakulta aplikované informatiky 16 Jednoduché škálování je základní procedura pro převod vícehodnotového kontextu na základní kontext Supremum a infimum Definice 11. Nechť M R, M 0. Číslo β R nazýváme supremum množiny M a píšeme β = sup M, právě když: x M : x β (β je horní odhad), β < β x M : x > β (β je ze všech horních odhadů nejmenší). Nejmenší horní odhad množiny M je sup M. Není-li však množina M ohraničena shora, je supremem Definice 12. Nechť M R, M 0. Číslo α R nazýváme infimum množiny M a píšeme α = inf M, právě když: x M : x α (α je dolní odhad), α > α x M : x < α (α je ze všech dolních odhadů největší). Nejmenší spodní odhad množiny M je inf M. Není-li však množina M ohraničena zdola, je jejím supremem - Supremum ani infimum v množině M existovat nemusí, jsou vždy jednoznačné a nemohou existovat vícekrát než jednou. [3]
18 UTB ve Zlíně, Fakulta aplikované informatiky 17 2 FUZZY LOGIKA Za zakladatele Fuzzy logiky je považován Lofti A. Zadeh. Narodil se v roce 1921 v Sovětské Socialistické republice Ázerbájdžán. Kromě toho, že byl známý matematik, informatik, elektrotechnik a podílel se na vývoji umělé inteligence, se proslul hlavně díky Fuzzy logice. Poprvé byl tento pojem uveden v článku Fuzzy Sets v roce [4] Fuzzy logika, v českém jazyce někdy překládána jako mlhavá logika, je matematická disciplína Přínos této logiky je ten, že dokáže zahrnout nepřesnosti a jednoduše pracovat s významy slov příslušného jazyka. [4] Definice 13. Fuzzy logika je vícehodnotová logika definovaná funkcí příslušnosti prvku na intervalu <0,1>. [5] 2.1 Klasické množiny Klasická množiny vyplívající z klasické logiky jsou výhodné pro odvětví informatiky a matematiky. Prvky klasické množiny jsou dvouhodnotové, matematicky zapsány jako 1 a 0, podle toho, zda se určitý prvek v dané množině nachází nebo nenachází. Pokud mluvíme o výroku je tedy buď pravdivý nebo nepravdivý. [6] Obr. 1. Rozdíl mezi klasickou množinou (vlevo) a fuzzy množinou (vpravo). 2.2 Fuzzy množiny Pokud k nám rozhodování nestačí použití klasických množin a potřebujeme uvést také stupeň, s jakým do množiny určitý prvek patří. je zapotřebí použití fuzzy množin. I když se může zdát, že určitý prvek patří do určité množiny, může také v menší míře vykazovat další vlastnosti a částečně tak patřit do jiné množiny. Pro tuto situaci je zaveden pojem, kdy prvek jen částečně náleží do množiny a rozšíření definičního obor ze dvou diskrétních hodnot {0,1} na uzavřený interval <0,1>. [7]
19 UTB ve Zlíně, Fakulta aplikované informatiky 18 Obr. 2. Prvek x s vlastnostmi dvou množin 2.3 Zavedení fuzzy množin Definice 14. Fuzzy množina je objekt A popsaný zobecněnou charakteristickou funkcí nazývanou funkcí příslušnosti µa : X 0,1 přiřazující x X hodnotu µa(x) 0,1 vyjadřující míru jakou prvek x A. [8] F(X) je používán pro označení všechny fuzzy podmnožin univerza X. 2.4 Rozšíření formální konceptuální analýzy o fuzzy logiku Nejvýznamnější rozšíření FCA je fuzzy logika. Z pohledu této logiky však pojmy jako formální koncept a formální kontext neurčují, jestli daný objekt může mít atribut ve stupni různém než 1 nebo 0. Například pojem drahá neprůstřelná vesta je pojem, jehož rozsah je neurčitý a je potřeba ho upravovat fuzzy množinami. [1] Definice 15. (Formální) fuzzy kontext je trojice <X, Y, I>, kde X a Y jsou množiny (objektů a atributů) a I je fuzzy relace mezi X a Y. [1] Definice 16. (Formální) fuzzy koncept ve fuzzy kontextu <X, Y, I> je dvojice (A, B), kde A je fuzzy množina objektů, B je fuzzy množina atributů takových, že A = B a B = A. [1] Definice 17. (Formální) fuzzy konceptuální svaz je množinou všech fuzzy konceptů B (X, Y, I) v X, Y, I, obohacenou relací podpojmu-nadpojmu, kde (A1,B1) (A2,B2) A1 A2 B2 B1. [1]
20 UTB ve Zlíně, Fakulta aplikované informatiky Řezy fuzzy množin Fuzzy množiny lze určit kromě funkce příslušnosti také pomocí řezů, přesněji pomocí α- řezů. Definice 18. Nechť A F(X), 0,1. Pak -hladina fuzzy množiny A je ostrá množina [8] μ 1 A (α) = {x ε X μa(x) = α} (6) Systém řezů fuzzy množiny je zobrazení R A 0,1 P(X) (7) které každému 0,1 přiřazuje tzv. -řez RA(α) = μ A 1 ( α, 1 ) = {x ε X μa(x) α} (8) Systém ostrých řezů SA: 0,1 P(X), kde ostrý -řez je SA: (α) = μ A 1 ( α, 1 ) = {x ε X μa(x) > α} (9) Všechny fuzzy množiny musí bý jednoznačně určeny vlastním systémem řezů (Obr. 3). Obr. 3. Řezy množiny na hladině,,. [9] Řezy a hladiny fuzzy množin jsou k dříve zavedeným pojmům v následujícím vztahu: Range(A) = {α 0, 1 : µa 1 (α) } (10) h(a) = sup {α 0, 1 R A (α) } (11) Supp(A) = S A (0) (12)
21 UTB ve Zlíně, Fakulta aplikované informatiky 20 core(a) = R A (1) (13) Triviálně platí pro všechna A F(X ) : RA(0) = X SA(1) = Reprezentace fuzzy množin Všechny fuzzy množiny musí bý jednoznačně určeny vlastním systémem řezů (Obr. 3). Horizontální reprezentace je prováděna pomocí systému řezů, oproti tomu vertikální reprezentace je prováděna pomocí funkce příslušnosti. [9] V případě, že chceme převést z horizontální reprezentace do vertikální musíme použit vzorec: μ A (x) = sup {α 0, 1 x R A (α)} (14)
22 UTB ve Zlíně, Fakulta aplikované informatiky 21 3 BALISTICKÉ VESTY První použití balistických vest začalo u letectva. Vzhledem k tomu, že za první světové války nebylo možné pancéřování letadel kvůli velkému zvýšení hmotnosti, začal se vymýšlet způsob, jak nejlépe ochránit posádku. Při prvním experimentu piloti obdrželi plátovou zbroj, která omezovala pohyb natolik, že byla v boji nepoužitelná. Při testech na pozemních jednotkách došli ke stejnému závěru, protože snížená pohyblivost vojáky ohrožovala ještě více. Po meziválečném období, kdy nedošlo k pokroku v technologii vest, se další neprůstřelná vesta objevila až ve druhé světové válce v roce Nová vesta sloužila jako proti-střepinová ochrana pro posádku letadel a jmenovala se Flak jacket. Podle armádních předpisů bylo doporučeno oblékání až těsně před akcí, protože stále nebyli moc pohodlné. Nasazení těchto vest bylo velmi kladně hodnoceno a masivně používáno. Do dnešní doby prošly balistické vesty velkou proměnou a rozdíl oproti druhé světové válce je již velice markantní. Balistické materiály jsou dnes odolnější a lehčí a dostupnější a existuje jich více druhů. Taktické vesty zásahových jednotek, které mají množství upínacích prvků pro různé vybavení jako zbraně, zásobníky, vysílačky a jiné. Vesty určené pro skryté nošení. Vesty s panely chránící podbřišek a s límcem. Odolnost balistických vest je dána typem balistických plátů vložených do vesty. Nejčastěji se používají kombinace různých plátu určenou pro těžkou a měkkou balistickou ochranu. [10] Těžká balistická ochrana funguje na principu, že materiál zpravidla vyrobený z hustých keramických nebo kovových plátů odchýlí střelu. To znamená, že materiál působí na střelu skoro podobně velkou silou a střela nepronikne. Těžká balistická ochrana chrání tedy více než měkká, ale je mnohem těžkopádnější, protože je používána nejčastěji armádou nebo policii při výskytu vysokého rizika útoku. [11] Měkká balistická ochrana je vhodná pro každodenní použití a je nošena podobně jako obyčejné oblečení. Tento typ balistické ochrany pracuje na principu velmi silné sítě. Při zásahu je energie absorbována rozptýlením po celé oblasti materiálu. Nejznámějším materiálem v této oblasti je kevlar. [11]
23 UTB ve Zlíně, Fakulta aplikované informatiky Konstrukce balistických vest Smyslem balistické vesty je chránit lidský život a zdraví proti střelným zbraním. Na trhu existuje spousta typů balistických vest určených pro různé použití. Balistické vesty jsou nejčastěji využívány policii, armádou a soukromými bezpečnostními službami. Dále jsou také určeny pro osoby, které díky své pozici ve společnosti mohou cítit v ohrožení. Vesty se mohou lišit podle toho, pro jaké prostředí jsou určeny, a to svou váhou, hmotností, viditelností, použitým materiálem, střihem, cenou a jinými vlastnostmi. Obr. 4. Policejní balistická vesta [12] Balistické vesty se skládají ze tří hlavních částí. První částí je balistický nosič, který slouží k připevnění dalších částí. Samotný nosič neprůstřelný není, ale slouží k udržení částí balistického materiálu a antitrauma vložek Balistický nosič Existují dva základní typy balistických nosičů, a to nosiče pro skryté nošení a nosiče vojenské. Základní nosič tvoří kapsy, které jsou určeny pro balistické panely a popruhy, které drží nosič na chráněném člověku Vojenský nosič Tyto nosiče jsou viditelné a nosí se jako poslední oblečená vrstva. Na tyto nosiče lze kromě balistických panelů umístit také další vybavení potřebné pro zásah. Na tyto nosiče se dá také
24 UTB ve Zlíně, Fakulta aplikované informatiky 23 přidat další ochrana, například krku, ramen, genitálii, boků a dalších ohrožených částí těla. Tento typ nosičů se nejčastěji využívá pro armádu a zásahové jednotky policie Nosič pro skryté nošení Nosič pro skryté nošení se používá nejčastěji při ochraně pracovníků v utajení nebo VIP. Tento nosič je umístěn pod oblečením, aby nebyl viditelný. Tyto nosiče je často vyrábí na zakázku, protože je důležité, aby se přizpůsobily tvaru těla Balistické materiály Vývoj balistických materiálu jde neustále dopředu. Výroba i technologie je neustále zdokonalována a materiály jsou lehčí, tenčí a pevnější. Tyto materiály určují přímo vlastnosti a odolnost balistických vest. Mezí základní a nejčastěji používané měkké balistické materiály patří Kevlar a Dyneema. Mezi materiály tvrdé balistické ochrany patří například keramika Antitrauma vložka Antitrauma vložka je velmi důležitá část balistických vest. Tato vložka, nejčastěji vyráběna z aramidu či polykarbonátu, má za úkol zmenšení průhybu balistického materiálu a následnému zmenšení traumatického efektu pro tělo člověka. Projektil, jež se pohybuje velmi vysokou rychlostí po nárazu do balistické vesty předá velkou část nesené energie zasaženému nositeli. Kinetická energie se poté změní na energii mechanickou, která zdeformuje danou oblast. Tato deformace může v těle člověka způsobit vnitřní zranění, hlavně díky tomu, že lidé jsou tvořeny z velké části nestlačitelnou vodou, která dokáže tlakovou vlnu šířit celým organismem a poškodit jej. Antitrauma vložky dokáží tento dopad zmírnit a zmírnit dopad účinky střely na člověka. Antitrauma vložky se vkládají přímo do nosičů balistických vest, a to blíže k tělu. Někdy se také používají trikoty oblečené přímo na těle s vlastnostmi antitrauma vložky. 3.2 Třídy balistické odolnosti Třídy balistické odolnosti (dále jen TBO) pro kategorizaci balistických vest. V české republice platí norma ČSN z roku 1996, která je brána jako nejpřísnější norma. Další nejvíce celosvětově používaná norma je americká NIJ STD a často je také používaná zahraniční norma STANAG 2920.
25 UTB ve Zlíně, Fakulta aplikované informatiky Česká norma pro zkoušky odolnosti ochranných prostředků ČSN Zkoušky odolnosti ochranných prostředků. Zkoušky odolnosti proti střelám, střepinám a bodným zbraním. Technické požadavky a zkoušky. Česká norma z roku 1996, která určuje požadavky na prostředky balistické ochrany. V této normě je definováno sedm tříd balistické odolnosti, ustanovuje definice a termíny související s danou problematikou, stanovuje technické požadavky, rozděluje zkoušky a stanovuje technické požadavky a provedení samotného zkoušení a vyhodnocení. Tab. 5. Třídy balistické odolnosti podle normy ČSN [13] TBO Ráže Střela Rychlost [m/s] Hmotnost střely [g] 1.22 LR Pb / O 300 ± 10 2,6 2 2CZ 9 mm Luger 7,62 x 25 CP / Pbj / O CP / Pbj / O 410 ± ± ,5 3 3CZ.357 Magnum 9 mm Luger CP / Pbj / KK CP / Fej / O 430 ± ± 10 10,2 6,45 4 4CZ.44 Magnum 7,62 x 25 CP / Pbj / KK CP / Fej / O 440 ± ± 10 15,6 5,5 5 5CZ.223 Rem. 7,62 x 39 CP / Pbj CP / Fej 920 ± ± CZ 7,62 x Rem. CP / Pbj CP / Fej 830 ± ± 10 9,5 3,95 7 7CZ 7,62 x 51 7,62 x 54 R CP / Fej CP / Fej 820 ± ± 10 9,8 9, Americká norma pro zkoušky odolnosti balistické ochrany NIJ STD Americká norma určující minimální požadavky na odolnost vest a metody testování balistické ochrany určené k ochraně těla proti střelbě. Norma je obecně označována jako nepoužívanější norma v oblasti balistické ochrany. Norma stanovuje čtyři základní třídy odolnosti a dvě doplňující třídy. Testování probíhá pro všechny druhy munice specifikované v tabulce za působení sucha a vody. [14] V této době již existuje novější norma NIJ STD , ale při označování balistické ochrany se u nás stále ještě používá starší norma NIJ STD
26 UTB ve Zlíně, Fakulta aplikované informatiky 25 Tab. 6. Třídy balistické odolnosti podle normy NIJ [14] TBO Ráže Střela Rychlost Hmotnost [m/s] střely [g] I.38 Special RN Olověná ,20.22 LRHV Olověná 320 2,60 II-A.357 Magnum JSP ,20 9mm FMJ 332 8,00 II.357 Magnum JSP ,20 9mm FMJ 358 8,00 III-A. 44 Magnum Lead SWC ,55 9mm FMJ 426 8,00 III 7,62 mm Win FMJ 838 9,70 IV AP ,80
27 UTB ve Zlíně, Fakulta aplikované informatiky 26 II. PRAKTICKÁ ČÁST
28 UTB ve Zlíně, Fakulta aplikované informatiky 27 4 APLIKACE FCA DO OBLASTNI BALISTICKÝCH VEST Pro zpracování formální konceptuální analýzy dat existuje celá řada softwarových nástrojů. Většina z těchto nástrojů je dostupných ve formě free open-source, to znamená, že jsou zdarma a mají zdrojový kód, takže je každý může pomoci zdokonalovat. Software zvolený pro tuto práci se nazývá Concept Explorer (dále jen ConExp) a funguje na platformě Java. Tento software byl také několikrát reimplementován a vznikli z něj dále ConExp FX, ConExp-NG nebo ConExp-clj. V této práci je použit základní ConExp, a to z důvodu ověřené funkčnosti a stability. Mezi další nástroje vhodné pro zpracování FCA dat patří dále například Tockit, Score, ToscanaJ nebo dále ještě zajímavý Python FCA Tool a také několik dalších rozšíření pro jiný software jako FCA Extension for Excel nebo OntoComP jako rozšření pro Protege. 4.1 Concept Explorer Softwarový nástroj ConExp slouží k implementaci základní funkcionality pro studium a výzkum v oblasti FCA. Použitá verze je 1.3, která byla představena 12. září [15] Nástroj Concept Explorer nabízí tyto funkce: úpravu kontextu, tvorbu konceptuálních svazů, nalezení správných implikací v kontextu, nalezení správných asociačních pravidel v kontextu, objevování atributů. [15] Potřebný software a instalace Pro spuštění softwaru ConExp je zapotřebí stažení a instalace Java Runtime Environment ve verzi 1.4 nebo novější. Tento software je zdarma ke stažení na webových stránkách Po stažení programu ConExp z webové stránky conexp.sourceforge.net a následném rozbalení, se program spouští skriptem conexp.bat. [15] Uživatelské prostředí Celý program je v anglickém jazyce a jeho ovládání je vcelku intuitivní. Nachází se zde několik ikon a při najetí myší na tyto ikony se objeví popis funkce. Funkce těchto ikon jsou dále popsány v tabulce (Tab. 7).
29 UTB ve Zlíně, Fakulta aplikované informatiky 28 Tab. 7. Popis funkcí ikon v programu Concept Explorer Vytvoření nového dokumentu Upřesnění objektu Otevření souboru Odstranění objektu Uložení souboru Přidání atributu Spočítání konceptů Upřesnění atributu Vytvoření konceptuálního svazu Odstranění atributu Provedení atributního průzkumu Odstranění objektu i atributu Vypočítání důsledků Vyměnění objektů s atributy Vypočítání asociačních pravidel Zpětné vracení poslední akce Přidání objektu Provedení poslední akce znovu Pro vytváření konceptuálních svazů slouží tabulka (Obr. 5) do které se vkládají jednotlivé objekty a atributy. Pokud má objekt daný atribut, tak se kliknutím na pole, označí toto pole jako X. Pokud objekt daný atribut nemá, tak se políčko ponechá prázdné. V matematické logice to znamená, že pole označené jako X, nabývá logické hodnoty 1 a znamená robustnost a reaktibilnost. V opačném případě, pokud je pole prázdné, tak nabývá logické hodnoty 0 a znamená redundanci a neakceschopnost.
30 UTB ve Zlíně, Fakulta aplikované informatiky 29 Obr. 5. Tabulka kontextů v programu ConExp Po vytvoření tabulky kontextů a kliknutí na ikonu Build Lattice se automaticky vygeneruje diagram konceptuálního svazu (Obr 6.), který lze pomocí dodatečných nastavení dále upravovat. Obr. 6. Konceptuální svaz vytvořený v programu ConExp Ve vygenerovaném diagramu jsou jednotlivé kruhy, které označují objekty a atributy. Šedé popisy znázorňují atributy a bílé objekty. Modré půlkruhy pak značí atributové propojení a bílé půlkruhy zase objektové propojení.
31 UTB ve Zlíně, Fakulta aplikované informatiky Přehled vybraných balistických ochran Pro analýzu balistických ochranných prostředků pomocí FCA a programu ConExp byly vybrány balistické nosiče, anti-traumatické vložky a balistické pláty Vybrané balistické nosiče Balistické nosiče byly vybrány z nabídky několika českých e-shopů, kde se nacházeli mezi nejvíce oblíbeným zbožím ve své kategorii. Vzhledem k nedostatečnému popisu velkého množství zboží bylo zapotřebí najít nosiče s podrobným popisem obsahujících informace stejného charakteru pro výběr vhodných atributů. Po prozkoumání velkého množství nosičů byly vybrány posuzované atributy. Atributy, které byly zohledněny při výběhu nejvhodnějších balistických nosičů jsou: cena, hmotnost prázdné vesty, možnost vložení předního balistického plátu, možnost vložení zadního balistického plátu, možnost vložení bočního balistického plátu, materiál, velikost. Konkrétně byly vybrány tyto balistické nosiče: Raptor I ALP, Fénix Protector Démon, Cutaway Plate Carrier BlackHawk, Tasmanian Tiger Plate carrier MK III Multicam, Tasmanian Tiger Plate carrier LC, Assault plate Carrier EG MultiCam, Enforcer, Blue Force Gear PLATEminus V2.
32 UTB ve Zlíně, Fakulta aplikované informatiky 31 Tab. 8. Vybrané balistické nosiče Raptor I ALP Obr. 7. Raptor I ALP [16] Fénix Protector Démon Obr. Démon [17] 8. Fenix Cutaway Plate Carrier BlackHawk Obr. 9. Cutaway BlackHawk [18]
33 UTB ve Zlíně, Fakulta aplikované informatiky 32 Tasmanian Tiger Plate carrier MK III Multicam Obr. 10. TT MK III multicam [19] Tasmanian Tiger Plate carrier LC Obr. LC [20] 11. TT Assault plate Carrier EG MultiCam Obr. 12. EG MultiCam[21] Enforcer Obr. 13. Enforcer [22]
34 UTB ve Zlíně, Fakulta aplikované informatiky 33 Blue Force Gear PLATEminus V2. Obr. 14. PLATEminus V2 [23] Vybrané antitrauma vložky Antitrauma vložky se většinou vytvářejí přímo na zakázku. Vybrané vložky byly vybrány z nabídky českých, ale také zahraničních e-shopů. Atributy, které byly zohledněny při výběhu nejvhodnějších antitrauma vložek jsou: cena, rozměry, váha, tloušťka, materiál. Konkrétně byly vybrány tyto antitrauma vložky: AntiShocková vložka StrikeFace, AR500 Blunt force Trauma Pad, Trauma Panel Plate od Israel Defense Store a TraumaPad od Spartan Armor Systém.
35 UTB ve Zlíně, Fakulta aplikované informatiky 34 Tab. 9. Vybrané antitrauma vložky AntiShocková vložka StrikeFace Obr. 15. StrikeFace [24] AR500 Blunt force Trauma Pad Obr. 16. AR500 [25] Trauma Panel Plate od Israel Defense Store Obr. 17. Trauma Plate IDS [26]
36 UTB ve Zlíně, Fakulta aplikované informatiky 35 TraumaPad od Spartan Armor Systém Obr. SAS [27] 18. TraumaPad Vybrané balistické pláty Balistické pláty, které slouží jako tvrdá balistika, byly vybrány z nabídky českých e-shopů a nacházeli se mezi nejvíce oblíbeným zbožím ve své kategorii. Atributy, které byly zohledněny při výběhu nejvhodnějších antitrauma vložek jsou: cena, hmotnost, materiál, odolnost, tloušťka, provedení multi-hit. Konkrétně byly vybrány tyto balistické pláty: SAPI STORMBLADE STANDALONE level III+, Gared Balistický panel IV., ESAPI STORMBLADE STANDALONE level IV, Armox IV ocelový 8mm, Armox III ocelový 6mm, STORMBLADE level IV. STANDALONE Anatomic, Keramický kompozitní STORMBLADE level IV. STANDALONE, Keramický kompozitní STORMBLADE level IV. ICW.
37 UTB ve Zlíně, Fakulta aplikované informatiky 36 Tab. 10. Vybrané balistické panely Gared Balistický panel IV. Obr. 19. Gared panel [28] Armox IV ocelový 8mm Obr. 20. Armox [29] SAPI STORMBLADE STANDALONE level III+, Obr. [30] 21. Stormblade 4.3 Analýza vybraných balistických ochran Vzhledem k tomu, že FCA umožňuje práci pouze s tabulkami bivalentních hodnot je nutné veškeré data převést pomocí konceptuálního škálování na bivalentní hodnoty, což jsou logická 1 nebo 0. Veškeré vícehodnotové kontexty musí být tedy pomocí vhodně zvolených intervalů převedeny do podoby základních kontextů.
38 Cena [Kč] Hmotnost[g] Vložení předního plátu Vložení zadního plátu Vložení bočního plátu Materiál Velikost UTB ve Zlíně, Fakulta aplikované informatiky Analýza vybraných balistických nosičů Níže uvedená tabulka (Tab. 10.) obsahuje vybrané balistické nosiče s jejich vhodně vybranými atributy pro výběr balistického nosiče podle požadovaných potřeb zájemce. Tato tabulka nadále slouží ke konceptuálnímu škálování, které slouží k výběru optimální varianty podle potřeby konkrétního zájemce. Tab. 11. Vybrané balistické nosiče Balistické nosiče Raptor I ALP ano ano ano Cordura Univerzální FP Démon Ano Ano Ano Cordura Univerzální Cutaway PC BlackHawk TT PC MK III - Multicam Ano Ano Ne Nylon Univerzální Ano Ano Ne Cordura S/M a L/XL TT PC LC Ano Ano Ne Cordura Univerzální Assault PC MultiCam Ano Ano Ne Cordura Univerzální Enforcer Ano Ano Ano Nylon Univerzální BFG Plateminus V Ano Ano Ano Cordura M a L Následující tabulky (Tab. 12., Tab. 13., Tab. 14., Tab. 15., Tab. 16.) objasňují převod vícehodnotového kontextu na základní kontext.
39 UTB ve Zlíně, Fakulta aplikované informatiky 38 Tab. 12. Převod na základní kontext Cena Vícehodnotový kontext Cena [Kč] Základní kontext do až až až a více Tab. 13. Převod na základní kontext Hmotnost Vícehodnotový kontext Hmotnost [g] Základní kontext Do až až až 2000 Tab. 14. Převod na základní kontext Možnost vložení plátu Vícehodnotový kontext Možnost vložení plátu Základní kontext Možnost vložení předního plátu Možnost vložení zadního plátu Možnost vložení bočního plátu Tab. 15. Převod na základní kontext Materiál Vícehodnotový kontext Materiál Základní kontext Cordura Nylon
40 Raptor I ALP Feni Protector Demon Cutaway Plate Carrier BlackHawk Tasmanian Tiger Plate Carrier MK III Tasmanian Tiger Plate Carrier LC Assault Plate Carrier EG - Multi- Cam Enforcer Blue Force Gear Plateminus V2 UTB ve Zlíně, Fakulta aplikované informatiky 39 Tab. 16. Převod na základní kontext Velikost Vícehodnotový kontext Velikost Základní kontext S/M L/XL Univerzální Tabulka konceptuálního škálování pro potřeby softwarového nástroje pro FCA. Tab. 17. Konceptuální škálování balistické pláty Cena 0 až Cena 4000 až Cena 5500 až Cena 7000 až Cena 9500 a více Váha 0 až Váha 500 až Váha 1000 až Váha 1500 až Vložení předních plátu Vložení zadních plátu Vložení bočních plátů
41 UTB ve Zlíně, Fakulta aplikované informatiky 40 Materiál Cordura Materiál nylon Velikost S/M Velikost X/XL Velikost Univerzální Po přepsání tabulky konceptuálního škálování do programu ConExp se vygeneruje pomocí tlačítka Build lattice konceptuální svaz, který je vyobrazen níže na obrázku (Obr. 22). Obr. 22. Konceptuální svaz balistické nosiče
42 UTB ve Zlíně, Fakulta aplikované informatiky 41 V případě hledání optimální varianty pro vybraný atribut se po vytvoření konceptuálního svazu v programu Concept Eplorer dá najít několik návrhů. Po kliknutí na atribut Vložení bočních plátů se zobrazí balistické nosiče, kterým daný atribut náleží. Příklad je zobrazen na Obr. 23. Obr. 23. Konceptuální svaz atribut možnost vložení bočních plátů
43 UTB ve Zlíně, Fakulta aplikované informatiky 42 Obr. 24. Atributové implikace zobrazené v programu ConEXP pro vybrané balistické nosiče Analýza vybraných antitrauma vložek Níže uvedená tabulka (Tab. 18.) obsahuje vybrané antitrauma vložky vybranými atributy pro podle požadovaných potřeb zájemce. Tato tabulka nadále slouží ke konceptuálnímu škálování, které slouží k výběru optimální varianty podle potřeby konkrétního zájemce. Cena i hmotnost je přepočítána na rozměry 150x150mm.
44 AntiShickova vlozka Strike- Face AR500 Blunt force Pad TraumaPad IDS TraumaPad SAS UTB ve Zlíně, Fakulta aplikované informatiky 43 Tab. 18. Vybrané antitrauma vložky Cena Rozměry Hmotnost Tloušťka Materiál StrikeFace 249 Volitelné 45 6 nebo 12 Polyethylen AR 500 Trauma Pad Trauma plate IDS TraumaPad SAS 390 Volitelné 85 6, Jedna možnost Nenewtonovká hmota Polykarbonát Volitelné 60 6,35 Ethylkarbamát Tab. 19. Konceptuální škálování antitrauma vložky Cena do Cena 300 až Cena nad Rozměry - volitelné Rozměry - určené Váha do 49g Váha od 50 do 99g Tloustka 0 až 4,9mm Tloustka 5 az 9,9mm Tloustka 10 az 15mm Material Ethylkarbamát Material Polykarbonát Material Nenewtonovský Polyethylen Váha nad 100g Po přesání tabulky (Tab. 19.) do programu ConExp se stejným způsobem jako u balistických nosičů vygeneruje konceptuální svaz (Obr. 25.).
45 UTB ve Zlíně, Fakulta aplikované informatiky 44 Obr. 25. Konceptuální svaz antitrauma vložky Obr. 26. Konceptuální svaz atribut cena 300 až 499
46 Cena Hmotnost Materiál Odolnost Tloušťka Multi-Hit UTB ve Zlíně, Fakulta aplikované informatiky 45 Obr. 27. Atributové implikace zobrazené v programu ConEXP pro vybrané antitrauma vložky Analýzy vybraných balistických plátů Níže uvedená tabulka (Tab. 20.) obsahuje vybrané balistické pláty a jejich atributy. Tab. 20. Vybrané balistické pláty SAPI Stormblade III UHMWPE III 24 Ano Gared IV Korund IV 18 Ne ESAPI Stormblade IV UHMWPE IV 22 Ano AI203 Armox IV Ocel IV 8 Ano Armox III Ocel III 6 Ano Stormblade IV Anatomic UHMWPE SiC IV 23 Ano
47 SAPI Stormblade Standalone III+ Gared Bal. Panel IV ESAPI Stormblade Standalone IV Ocelový plát Armox IV Ocelový plát Armox 3 Stormblade Standalone Anatomic IV Stormblade Standalone IV Stormblade IV ICW UTB ve Zlíně, Fakulta aplikované informatiky 46 Stormblade IV, komp, ker UHMWPE AI203 IV 22 Ano Stormblade IV, ICW UHMWPE AI203 IV 18 Ano Tab. 21. Konceptuální škálování balistické pláty Cena 2 až 3 tis. kč Cena 3 až 4 tis kč Cena 4 až 5 tis kč Cena 5 až 6 tis kč Hmotnost 1,5 až 2g Hmotnost 2 až 3g Hmotnost 3 až 4g Hmotnost 4 až 5g Materiál UHMWPE Materiál AR Materiál Korund Materiál Jiné Odolnost III Odolnost IV Tloustka 5 až 10mm Tloustka 15 až 20mm Tloustka 20 až 25mm Multi-Hit
48 UTB ve Zlíně, Fakulta aplikované informatiky 47 Obr. 28. Konceptuální svaz balistické pláty Obr. 29. Konceptuální svaz atribut Tloušťka 20 až 25
49 UTB ve Zlíně, Fakulta aplikované informatiky 48 Obr. 30. Atributové implikace zobrazené v programu ConEXP pro vybrané antitrauma vložky
50 UTB ve Zlíně, Fakulta aplikované informatiky D ZOBRAZENÍ VÝSLEDKŮ Analyzované balistické nosiče, antitrauma vložky a balistické pláty, které byly vybrány pro účely této bakalářské práce, jsou se svými atributy graficky znázorněny pomocí níže uvedených grafů. Balistické nosiče jsou v níže uvedeném grafu (Obr. 31.) porovnávány podle ceny, která může být pro velkou většinu zájemců o dané zboží rozhodující. Dalším atributem zvoleným v uvedeném grafu pro porovnávání rozdílu vybraných nosičů je možnost vložení bočních balistických plátu pro zvýšení ochrany těla. Atributy, které náleží vybraným nosičům mají v grafu hodnotu 1. Atribut, který odpovídá možnosti vložení bočních balistických plátů má pro zvýraznění hodnotu 3. Atribut cena je určen podle škály po převodu na základní kontext. Balistické nosiče Cena Váha 0 až 500g Váha 500g až 1000g Váha 1000g až 1500g Váha 1500g až 2000g Vložení předních plátu Vložení zadních plátu Vložení bočních plátů Materiál Cordura Materiál nylon Velikost S/M Velikost X/XL Velikost Univerzální Raptor I ALP Feni Protector Demon Cutaway Plate Carrier BlackHawk Tasmanian Tiger Plate Carrier MK III Tasmanian Tiger Plate Carrier LC Assault Plate Carrier EG - MultiCam Enforcer Blue Force Gear Plateminus V2 Obr. 31. Graf výsledných hodnot balistických nosičů
51 UTB ve Zlíně, Fakulta aplikované informatiky 50 Antitrauma vložky uvedené v následujícím grafu (Obr. 32.) jsou porovnávány na základě atributu cena. Atribut cena je opět určen podle převodu na základní kontext. To znamená, že nejnižší cena bude začínat na stupnici číslem 2. Ostatní atributy náležející vybraným antitrauma vložkám mají hodnotu 1. Antitrauma vložky Cena Rozměry - volitelné Rozměry - určené Váha do 49g Váha od 50 do 99g Tloustka 0 až 4,9mm Tloustka 5 az 9,9mm Tloustka 5 az 15mm Material Ethylkarbamát Material Polykarbonát Material Nenewtonovský Polyethylen Váha nad 100g 4 3,5 3 2,5 2 1,5 1 0,5 0 AntiShickova vlozka StrikeFace AR500 Blunt force Pad TraumaPad IDS TraumaPad SAS Obr. 32. Graf výsledných hodnot antitrauma vložek
52 UTB ve Zlíně, Fakulta aplikované informatiky 51 Vybrané balistické pláty uvedené v grafu (Obr. 33.) jsou porovnány na základě atributu balistické odolnosti podle americké normy balistické odolnosti NIJ STD s dalším důležitým atributem cenou. Ostatní atributy náležící daným prvkům nabývají opět hodnoty 1. Balistické pláty Cena Hmotnost 1,5 až 2g Hmotnost 2 až 3g Hmotnost 3 až 4g Hmotnost 4 až 5g Materiál UHMWPE Materiál AR 500 Materiál Korund Materiál Jiné Odolnost III Odolnost IV Tloustka 5 až 10mm Tloustka 15 až 20mm Tloustka 20 až 25mm Multi-Hit SAPI Stormblade Standalone III+ Gared Bal. Panel IV ESAPI Stormblade Standalone IV Ocelový plát Armox IV Ocelový plát Armox 3 Stormblade Standalone Anatomic IV Stormblade Standalone IV Stormblade IV ICW Obr. 33. Graf výsledných hodnot balistických plátů
53 UTB ve Zlíně, Fakulta aplikované informatiky 52 ZÁVĚR Úkolem bakalářské práce v teoretické části bylo vysvětlení problematiky formální konceptuální analýzy. Tato část aplikované matematiky je zde vysvětlena pomocí definic a základních pojmů. Důležitou součástí je však také fuzzy logika, která je nejčastěji používaným rozšířením formální konceptuální analýzy, a to z důvodu práce s ne zcela určitými vlastnostmi, protože věci kolem nás nemají jen logické hodnoty. Další část bakalářské práce je věnována prvkům balistické ochrany od jejich vzniku po současnost a je kladen důraz na balistické nosiče, anti-traumatické vložky a balistické pláty. Bakalářská práce dále řeší problematiku aplikace formální konceptuální analýzy do oblasti balistické ochrany, která umožní a vylepší proces rozhodování při výběrů správného zboží. V práci bylo dále definováno supremum a infimum v oblasti balistických prostředků, jež bylo dále stanoveno v praktické části. Praktická část se zaměřuje na použití softwarového nástroje Concept Explorer. Tento nástroj byl vybrán zejména díky jeho funkčnosti a spolehlivosti v oblasti aplikace formální konceptuální analýzy. V práci jsou analyzovány vybrané části balistické ochrany a to, balistické nosiče, antitrauma vložky a balistické pláty. Všechny tyto části byly převedeny na základní kontexty pomocí konceptuálního škálování vícehodnotových kontextů. Obdržené data bylo možné zpracovat a zobrazit jejich konceptuální svazy a atributové implikace. Na základě různých vstupních podmínek mohli být vybrané části balistické ochrany vyhodnoceny a rozděleny na vhodné prvky neboli supremum a nevhodné prvky označeny jako infimum. Vykreslené konceptuální svazy vybraných balistických ochran se nacházejí v bakalářské práci spolu s atributovými implikacemi. Pro dosažení lepší přehlednosti jsou výsledky zaznamenány také pomocí grafů v nástroji Microsoft Excel.
54 UTB ve Zlíně, Fakulta aplikované informatiky 53 SEZNAM POUŽITÉ LITERATURY [1] BĚLOHLÁVEK, Radim. Konceptuální svazy a formální konceptuální analýza [on line]. Olomouc, 2004 [cit ]. Dostupné z: vek.inf.upol.cz/publications/bel_ksfka.pdf. Univerzita Palackého. [2] Wille, R. Restructuring lattice theory: an approach based on hierarchies of concepts. In I. Rival editor, Ordered Sets: Proceedings of the NATO Advanced Study Institute. Banff. Spring er Dordecht, ISBN [3] BĚHOUNEK, Libor. Jak je důležité být fuzzy [online]. Olomouc, 2012 [cit ]. Dostupné z: [4] Betty Blair. Lofti Zadeh: Short biographical Sketch [online]. Azerbaijan Internatio nal 1994 [cit ]. Dostupné z: gazine/24_folder/24_articles/24_zadeh.html [5] Mendel University in Brno, University information system MENDELU. Fuzzy lo gika [online]. [cit ] Dostupné z: hovna/opory/zobraz_cast.pl?cast=21852 [6] BĚHOUNEK, Libor. Jak je důležité být fuzzy [online]. Olomouc, [cit ]. Dostupné z: [7] VOLNÁ, Eva. Základy softcomputingu [online]. Ostrava, 2012 [cit ]. Dostupné z: Os travská univerzita v Ostravě. [8] Navara, M. Matematika 6F fuzzy množiny [online]. [cit ]. Dostupné z: [9] IVANKA, Ján, Mechanické zábranné systémy [online]. 2. vydání. Zlín: Uni verzita Tomáše Bati ve Zlíně [cit ]. ISBN Dostupné z: temyobsah.pdf [10] Neprůstřelné vesty. Valka.cz [online]. [cit ]. Dostupné z: [11] Choice of Armor. Science. HowStuffWorks [online]. [cit ]. Dostupné z:
55 UTB ve Zlíně, Fakulta aplikované informatiky 54 [12] 12 Top Bulletproof Body Armor For LEOs and Military. Tactical Life Gun Maga zine: Gun News and Gun Reviews [online]. [cit ]. Dostupné z: h ttps:// tary/ [13] ČSN Zkoušky odolnosti proti střelám, střepinám a bodným zbraním: Tech nické požadavky a zkoušky. Praha: Český normalizační institut, [14] NIJ Standard Ballistic Resistance of Personal Body Armor. National In stitute of Justice. Gaithersburg: Office of Law Enforcement Standards, [15] Concept Explorer: The User Guide [online]. Dublin, 2006 [cit ]. Do stupné z: [16] Balistická vesta Raptor ALP Army - vz. 95. FROGTAC.cz - Moderní taktické a ar mádní vybavení [online]. [cit ]. Dostupné z: tac.cz/takticka-vystroj/takticke-vesty-334/stredni-a-tezke-vesty-balistickevesty/balisticka-vesta-raptor-alp-army-vz-95 [17] DEMON. Taktické nosiče. Balistické vesty. FENIX Protector. [online]. [cit ]. Dostupné z: ticke-nosice/2020/demon/vb-129 [18] S.T.R.I.K.E. Non-Cutaway Tactical Armor Carrier - COTS - BLACKHAWK!. Home - BLACKHAWK! [online]. [cit ]. Dostupné z: khawk.com/products/protective-gear/protective-gear/armor/carriers/s-t-r-i-k-e-noncutaway-tactical-armor-carrier-c [19] Nosič plátů TASMANIAN TIGER Plate Carrier Mk III - MultiCam - KERBEROS TACTICAL. [online]. [cit ]. Dostupné z: rostacti cal.cz/nosice-platu/nosic-platu-tasmanian-tiger-plate-carrier-mk-iii-multi cam--/ [20] Nosič plátů TASMANIAN TIGER Plate Carrier LC - Khaki - KERBEROS TACTICAL - armyshop.[online]. [cit ] Dostupné z: rostactical.cz/nosice-platu/nosic-platu-tasmanian-tiger-plate-carrier-lc-khaki/ [21] Vesta Assault Plate Carrier EG-MultiCam. FROGTAC.cz - Moderní taktické a ar mádní vybavení [online]. [cit ] Dostupné z: ticka-vystroj/takticke-vesty-334/stredni-a-tezke-vesty-balisticke-vesty/vesta- Assault-Plate-Carrier-EG-MultiCam-R
Formální konceptuální analýza
moderní metoda analýzy dat 14. října 2011 Osnova Informatika 1 Informatika 2 3 4 Co je to informatika? Co je to informatika? Computer science is no more about computers than astronomy is about telescopes.
Aplikace formální konceptuální analýzy na komponenty plášťové ochrany. Lukáš Černý
Aplikace formální konceptuální analýzy na komponenty plášťové ochrany Lukáš Černý Bakalářská práce 2017 ABSTRAKT Bakalářská práce se zabývá možností využití formální konceptuální analýzy pro výběr vyšší
Množiny, relace, zobrazení
Množiny, relace, zobrazení Množiny Množinou rozumíme každý soubor určitých objektů shrnutých v jeden celek. Zmíněné objekty pak nazýváme prvky dané množiny. Pojem množina je tedy synonymem pojmů typu soubor,
Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace
RELACE Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace slouží k vyjádření vztahů mezi prvky nějakých množin. Vztahy mohou být různé povahy. Patří sem vztah býti potomkem,
Matematická logika. Miroslav Kolařík
Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ
REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ 5 přednáška S funkcemi se setkáváme na každém kroku ve všech přírodních vědách ale i v každodenním životě Každá situace kdy jsou nějaký jev nebo veličina jednoznačně určeny
Úvod do informatiky. Miroslav Kolařík. Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008.
Úvod do informatiky přednáška čtvrtá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Pojem relace 2 Vztahy a operace s (binárními) relacemi
Fuzzy množiny, Fuzzy inference system. Libor Žák
Fuzzy množiny, Fuzzy inference system Proč právě fuzzy množiny V řadě případů jsou parametry, které vstupují a ovlivňují vlastnosti procesu, popsané pomocí přibližných nebo zjednodušených pojmů. Tedy
Matematická analýza 1
Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod
RELATIONAL DATA ANALYSIS
KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO RELATIONAL DATA ANALYSIS RADIM BELOHLAVEK, JAN OUTRATA VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška pátá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008 a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní
Metoda zpracování dat s filozofickým pozadím. Michal Krupka. Palacky University, Olomouc, Czech Republic
Formální konceptuální analýza Metoda zpracování dat s filozofickým pozadím Michal Krupka Palacky University, Olomouc, Czech Republic!!! M. Krupka (DAMOL) Formální konceptuální analýza 6. října 2011 1 /
Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:
Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 2. Množiny, funkce MNOŽIN, ZÁKLDNÍ POJMY Pojem množiny patří v matematice ke stěžejním. Nelze jej zavést ve formě definice pomocí
Analýza internetových vyhledávačů metodami formální konceptuální analýzy
Analýza internetových vyhledávačů metodami formální konceptuální analýzy Analysis of internet search engines using formal concept analysis method Bc. Petr Fišnar Diplomová práce 2012 UTB ve Zlíně, Fakulta
Nový způsob práce s průběžnou klasifikací lze nastavit pouze tehdy, je-li průběžná klasifikace v evidenčním pololetí a školním roce prázdná.
Průběžná klasifikace Nová verze modulu Klasifikace žáků přináší novinky především v práci s průběžnou klasifikací. Pro zadání průběžné klasifikace ve třídě doposud existovaly 3 funkce Průběžná klasifikace,
Doporučené příklady k Teorii množin, LS 2018/2019
Doporučené příklady k Teorii množin, LS 2018/2019 1. přednáška, 21. 2. 2019 1. Napište množina x je prázdná (přesněji množina x nemá žádné prvky ) formulí základního jazyka teorie množin. 2. Dokažte ((x
Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
Princip rozšíření a operace s fuzzy čísly
Center for Machine Perception presents Princip rozšíření a operace s fuzzy čísly Mirko Navara Center for Machine Perception Faculty of Electrical Engineering Czech Technical University Praha, Czech Republic
1. Posloupnosti čísel
1. Posloupnosti čísel 1.1. Posloupnosti a operace s nimi Definice 1.1 Posloupnost reálných čísel ( = reálná posloupnost ) je zobrazení, jehož definičním oborem je množina N a oborem hodnot je nějaká podmnožina
OSTRAVSKÁ UNIVERZITA V OSTRAVĚ PŘÍRODOVĚDECKÁ FAKULTA
OSTRAVSKÁ UNIVERZITA V OSTRAVĚ PŘÍRODOVĚDECKÁ FAKULTA BAKALÁŘSKÁ PRÁCE 2002 SEDLÁK MARIAN - 1 - OSTRAVSKÁ UNIVERZITA PŘÍRODOVĚDECKÁ FAKULTA KATEDRA INFORMATIKY A POČÍTAČŮ Vizualizace principů výpočtu konečného
PŘEDNÁŠKA 2 POSLOUPNOSTI
PŘEDNÁŠKA 2 POSLOUPNOSTI 2.1 Zobrazení 2 Definice 1. Uvažujme libovolné neprázdné množiny A, B. Zobrazení množiny A do množiny B je definováno jako množina F uspořádaných dvojic (x, y A B, kde ke každému
Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25
Matematika 2 Úvod Jiří Fišer KMA, PřF UP Olomouc ZS09 Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25 Studijní materiály web předmětu: aix-slx.upol.cz/ fiser St. Trávníček: Matematická analýza kag.upol.cz/travnicek/1-matan.
Dolování asociačních pravidel
Dolování asociačních pravidel Miloš Trávníček UIFS FIT VUT v Brně Obsah přednášky 1. Proces získávání znalostí 2. Asociační pravidla 3. Dolování asociačních pravidel 4. Algoritmy pro dolování asociačních
Č.j. :PPR /ČJ Praha Počet listů: 4
POLICEJNÍ PREZIDIUM ČESKÉ REPUBLIKY Odbor veřejných zakázek Č.j. :PPR-32102-69/ČJ-2013-990640 Praha 4.7. 2014 Počet listů: 4 Dle seznamu dodavatelů, kteří si vyzvedli zadávací dokumentaci Dodatečné informace
IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel
Matematická analýza IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel na množině R je definováno: velikost (absolutní hodnota), uspořádání, aritmetické operace; znázornění:
Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.
Zpracoval: hypspave@fel.cvut.cz 5. Výroková logika, formule výrokové logiky a jejich pravdivostní ohodnocení, splnitelné formule, tautologie, kontradikce, sémantický důsledek, tautologicky ekvivalentní
Využití tabulkového procesoru MS Excel
Semestrální práce Licenční studium Galileo srpen, 2015 Využití tabulkového procesoru MS Excel Ing Marek Bilko Třinecké železárny, a.s. Stránka 1 z 10 OBSAH 1. ÚVOD... 2 2. DATOVÝ SOUBOR... 2 3. APLIKACE...
Aplikovaná matematika I, NMAF071
M. Rokyta, MFF UK: Aplikovaná matematika I kap. 1: Úvod, čísla, zobrazení, posloupnosti 1 Aplikovaná matematika I, NMAF071 M. Rokyta, KMA MFF UK ZS 2013/14 Sylabus = obsah (plán) přednášky [a orientační
5. Formalizace návrhu databáze
5. Formalizace návrhu databáze 5.1. Úvod do teorie závislostí... 2 5.1.1. Funkční závislost... 2 5.1.2. Vícehodnotová závislost (multizávislost)... 7 5.1.3. Závislosti na spojení... 9 5.2. Využití teorie
Znalostní systém nad ontologií ve formátu Topic Maps
Znalostní systém nad ontologií ve formátu Topic Maps Ladislav Buřita, Petr Do ladislav.burita@unob.cz; petr.do@unob.cz Univerzita obrany, Fakulta vojenských technologií Kounicova 65, 662 10 Brno Abstrakt:
Základy matematiky pro FEK
Základy matematiky pro FEK 4. přednáška Blanka Šedivá KMA zimní semestr 2016/2017 Blanka Šedivá (KMA) Základy matematiky pro FEK zimní semestr 2016/2017 1 / 27 Množiny Zavedení pojmu množina je velice
5. Formalizace návrhu databáze
5. Formalizace návrhu databáze 5.1. Úvod do teorie závislostí... 2 5.1.1. Funkční závislost... 2 5.1.2. Vícehodnotová závislost (multizávislost)... 7 5.1.3. Závislosti na spojení... 9 5.2. Využití teorie
1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad
1.3. Cíle Cílem kapitoly je seznámení čtenáře s axiomy číselných oborů a jejich podmnožin (intervalů) a zavedení nových pojmů, které nejsou náplní středoškolských osnov. Průvodce studiem Vývoj matematiky
Základní pojmy matematické logiky
KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je
Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část
Matematika I 1/15 2/15 Organizace Zápočet: test 6. + 11. týden semestru (pátek) 80 bodů 50 79 bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část www.vscht.cz/mat Výuka www.vscht.cz/mat/jana.nemcova
Analýza internetových vyhledávačů metodami formální konceptuální analýzy
Analýza internetových vyhledávačů metodami formální konceptuální analýzy Analysis of search engine using formal concept analysis methods Bc. Josef Řeha Diplomová práce 2010 UTB ve Zlíně, Fakulta aplikované
Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu
VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod
i=1 Přímka a úsečka. Body, které leží na přímce procházející body a a b můžeme zapsat pomocí parametrické rovnice
I. Funkce dvou a více reálných proměnných 1. Úvod Značení: V textu budeme používat označení: N pro množinu všech přirozených čísel; R pro množinu všech reálných čísel; R n pro množinu všech uspořádaných
Název DUM: VY_32_INOVACE_2B_16_ Tvorba_grafů_v_MS_Excel_2007
Název školy: Základní škola a Mateřská škola Žalany Číslo projektu: CZ. 1.07/1.4.00/21.3210 Téma sady: Informatika pro sedmý až osmý ročník Název DUM: VY_32_INOVACE_2B_16_ Tvorba_grafů_v_MS_Excel_2007
Teorie informace a kódování (KMI/TIK) Reed-Mullerovy kódy
Teorie informace a kódování (KMI/TIK) Reed-Mullerovy kódy Lukáš Havrlant Univerzita Palackého 10. ledna 2014 Primární zdroj Jiří Adámek: Foundations of Coding. Strany 137 160. Na webu ke stažení, heslo:
2. Množiny, funkce. Poznámka: Prvky množiny mohou být opět množiny. Takovou množinu, pak nazýváme systém množin, značí se
MNOŽIN, ZÁKLDNÍ POJMY Pojem množiny patří v matematice ke stěžejním. Nelze jej zavést ve formě definice pomocí primitivních pojmů; považuje se totiž rovněž za pojem primitivní. Představa o pojmu množina
TRHACÍ PŘÍSTROJ LABTEST 2.05
TRHACÍ PŘÍSTROJ LABTEST 2.05 Přístroj: 1 8 7 6 2 3 4 1 horní příčník 2 pohyblivý příčník 3 siloměrný snímač 4 bezpečnostní STOP tlačítko 5 kontrolka napájení 6 modul řízení 7 spodní zarážka 8 horní zarážka
Metodologie řízení projektů
Metodologie řízení projektů Petr Smetana Vedoucí práce PhDr. Milan Novák, Ph.D. Školní rok: 2008-09 Abstrakt Metodologie řízení projektů se zabývá studiem způsobů řešení problémů a hledání odpovědí v rámci
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška šestá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008 a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní
Limita posloupnosti, limita funkce, spojitost. May 26, 2018
Limita posloupnosti, limita funkce, spojitost May 26, 2018 Definice (Okolí bodu) Okolím bodu a R (také ε- okolím) rozumíme množinu U(a, ε) = {x R; x a < ε} = (a ε, a + ε), bod a se nazývá střed okolí a
Svazy. Jan Paseka. Masarykova univerzita Brno. Svazy p.1/37
Svazy Jan Paseka Masarykova univerzita Brno Svazy p.1/37 Abstrakt Zmíníme se krátce o úplných a distributivních svazech, resp. jaké vlastnosti má řetězec reálných čísel. Svazy p.2/37 Abstrakt V této kapitole
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz
Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2014
Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 204 Zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia
Formální jazyky a gramatiky Teorie programovacích jazyků
Formální jazyky a gramatiky Teorie programovacích jazyků doc. Ing. Jiří Rybička, Dr. ústav informatiky PEF MENDELU v Brně rybicka@mendelu.cz Připomenutí základních pojmů ABECEDA jazyk je libovolná podmnožina
Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...
Kapitola 1 Úvod 1.1 Značení N... přirozená čísla (1, 2, 3,...). Z... celá čísla ( 3, 2, 1, 0, 1, 2,...). Q... racionální čísla ( p, kde p Z a q N) q R... reálná čísla C... komplexní čísla 1.2 Výroky -
Grafy. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava. Prezentace ke dni 13.
Grafy doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava Prezentace ke dni 13. března 2017 Jiří Dvorský (VŠB TUO) Grafy 104 / 309 Osnova přednášky Grafy
Ontologické modely pro webové portály
Ontologické modely pro webové portály Ontological models for web portals Bc.Ondřej Machala Diplomová práce 2011 UTB ve Zlíně, Fakulta aplikované informatiky, 2011 3 UTB ve Zlíně, Fakulta aplikované informatiky,
Kontingenční tabulky v MS Excel 2010
Kontingenční tabulky v MS Excel 2010 Autor: RNDr. Milan Myšák e-mail: milan.mysak@konero.cz Obsah 1 Vytvoření KT... 3 1.1 Data pro KT... 3 1.2 Tvorba KT... 3 2 Tvorba KT z dalších zdrojů dat... 5 2.1 Data
B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík
B i n á r n í r e l a c e Patrik Kavecký, Radomír Hamřík Obsah 1 Kartézský součin dvou množin... 3 2 Binární relace... 6 3 Inverzní relace... 8 4 Klasifikace binární relací... 9 5 Ekvivalence... 12 2 1
Aplikace pro srovna ní cen povinne ho ruc ení
Aplikace pro srovna ní cen povinne ho ruc ení Ukázkový přiklad mikroaplikace systému Formcrates 2010 Naucrates s.r.o. Veškerá práva vyhrazena. Vyskočilova 741/3, 140 00 Praha 4 Czech Republic tel.: +420
Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace
Vektory a matice Aplikovaná matematika I Dana Říhová Mendelu Brno Obsah 1 Vektory Základní pojmy a operace Lineární závislost a nezávislost vektorů 2 Matice Základní pojmy, druhy matic Operace s maticemi
Limita a spojitost funkce a zobrazení jedné reálné proměnné
Přednáška 4 Limita a spojitost funkce a zobrazení jedné reálné proměnné V několika následujících přednáškách budeme studovat zobrazení jedné reálné proměnné f : X Y, kde X R a Y R k. Protože pro každé
KMA/MDS Matematické důkazy a jejich struktura
Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 3 Predikátový počet Uvažujme následující úsudek.
František Hudek. červenec 2012
VY_32_INOVACE_FH14 Jméno autora výukového materiálu Datum (období), ve kterém byl VM vytvořen Ročník, pro který je VM určen Vzdělávací oblast, obor, okruh, téma Anotace František Hudek červenec 2012 8.
Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.
1.2. Cíle Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin. Průvodce studiem Množina je jedním ze základních pojmů moderní matematiky. Teorii množin je možno budovat
Pracovní prostředí Word 2003 versus Word 2010
Zdokonalování gramotnosti v oblasti ICT Pracovní prostředí Word 2003 versus Word 2010 Inovace a modernizace studijních oborů FSpS Vránová Hana 11.7.2012 OBSAH Srovnání pracovního prostředí Word 2003 a
DIPLOMOVÁ PRÁCE. Formální konceptuální analýza nad neúplnými daty. 2014 Bc. Martin Kauer
PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITY PALACKÉHO KATEDRA INFORMATIKY DIPLOMOVÁ PRÁCE Formální konceptuální analýza nad neúplnými daty 2014 Bc. Martin Kauer Anotace Problémem neúplných dat se zabývá stále více
Množiny, základní číselné množiny, množinové operace
2 Množiny, základní číselné množiny, množinové operace Pokud kliknete na některý odkaz uvnitř textu kromě prezentace, zobrazí se odpovídající příklad nebo tabulka. Levý Alt+šipka doleva nebo ikona Vás
Přehledy pro Tabulky Hlavním smyslem této nové agendy je jednoduché řazení, filtrování a seskupování dle libovolných sloupců.
Přehledy pro Tabulky V programu CONTACT Professional 5 naleznete u firem, osob a obchodních případů záložku Tabulka. Tuto záložku lze rozmnožit, přejmenovat a sloupce je možné definovat dle vlastních požadavků
Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech
Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech 1. července 2008 1 Funkce v R n Definice 1 Necht n N a D R n. Reálnou funkcí v R n (reálnou funkcí n proměnných) rozumíme zobrazení
Internetový prohlížeč-vyhledávání a ukládání dat z internetu do počítače
VY_32_INOVACE_In 6.,7.11 Internetový prohlížeč-vyhledávání a ukládání dat z internetu do počítače Anotace: V prezentaci se žák seznámí se základními typy prohlížečů. Zaměříme se na prohlížeč Internet Explorer.
platné nejsou Sokrates je smrtelný. (r) 1/??
Predikátová logika plně přejímá výsledky výrokové logiky zabývá se navíc strukturou jednotlivých jednoduchých výroků na základě této analýzy lze odvodit platnost některých výroků, které ve výrokové logice
PowerPoint lekce II.
PowerPoint lekce II. Formát pptx Základem, všech dokumentů je xml formát Bez nutnosti nastavení, transformace či konverze nativní součást ukládání Ve skutečnosti souhrn dílčích souborů Text, obrázky, styly
Matematická analýza pro informatiky I. Limita posloupnosti (I)
Matematická analýza pro informatiky I. 3. přednáška Limita posloupnosti (I) Jan Tomeček tomecek@inf.upol.cz http://aix-slx.upol.cz/ tomecek/index Univerzita Palackého v Olomouci 25. února 2011 tomecek@inf.upol.cz
1 Topologie roviny a prostoru
1 Topologie roviny a prostoru 1.1 Základní pojmy množin Intervaly a okolí Intervaly v rovině nebo prostoru jsou obdélníky nebo hranoly se stranami rovnoběžnými s osami souřadnic. Podmnožiny intervalů se
Formální konceptuální analýza v zobrazování 3D živočišných ostatků v půdě
Formální konceptuální analýza v zobrazování 3D živočišných ostatků v půdě Formal Concept Analysis in 3D Displaying Animal Remains in Soil Jana Klůjová Bakalářská práce 2010 UTB ve Zlíně, Fakulta aplikované
Zobrazte si svazy a uspořádané množiny! Jan Outrata
LatVis Zobrazte si svazy a uspořádané množiny! Jan Outrata Motivace potřeba visualizovat matematické (algebraické) struktury rychle, přehledně a automaticky počítačovými prostředky ruční kreslení je zdlouhavé
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice Vektorové podprostory K množina reálných nebo komplexních čísel, U vektorový prostor nad K. Lineární kombinace vektorů u 1, u 2,...,u
45 Plánovací kalendář
45 Plánovací kalendář Modul Správa majetku slouží ke tvorbě obecných ročních plánů činností organizace. V rámci plánu je třeba definovat oblasti činností, tj. oblasti, ve kterých je možné plánovat. Každá
Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.
Teorie množin V matematice je všechno množina I čísla jsou definována pomocí množin Informatika stojí na matematice Znalosti Teorie množin využijeme v databázových systémech v informačních systémech při
Zavedení a vlastnosti reálných čísel
Zavedení a vlastnosti reálných čísel jsou základním kamenem matematické analýzy. Konstrukce reálných čísel sice není náplní matematické analýzy, ale množina reálných čísel R je pro matematickou analýzu
FUNKCE POJEM, VLASTNOSTI, GRAF
FUNKCE POJEM, VLASTNOSTI, GRAF Zavedení pojmu funkce funkce Funkce f na množině D R je předpis, který každému číslu x z množiny D přiřazuje právě jedno reálné číslo y z množiny R. Množina D se nazývá definiční
1. Matematická logika
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků
AGC & SKLO V ARCHITEKTUŘE
AGC & SKLO V ARCHITEKTUŘE Bezpečnostní skla SPOLOČNOSŤ KOVÁČ s.r.o. 19.5.2016 Marcela Antlová 1. Ochrana proti úrazu a pádu osoby do skla 2. Ochrana proti ručně vedenému útoku 3. Ochrana proti střelám
Učební texty k státní bakalářské zkoušce Matematika Diferenciální rovnice. študenti MFF 15. augusta 2008
Učební texty k státní bakalářské zkoušce Matematika Diferenciální rovnice študenti MFF 15. augusta 2008 1 7 Diferenciální rovnice Požadavky Soustavy lineárních diferenciálních rovnic prvního řádu lineární
Matematika 1A. PetrSalačaJiříHozman Fakulta přírodovědně-humanitní a pedagogická Technická univerzita v Liberci
Matematika 1A. PetrSalačaJiříHozman Fakulta přírodovědně-humanitní a pedagogická Technická univerzita v Liberci petr.salac@tul.cz jiri.hozman@tul.cz 26.9.2016 Fakulta přírodovědně-humanitní a pedagogická
prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010
Základní pojmy prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky České vysoké učení technické v Praze c Čestmír Burdík, Edita Pelantová 2009 Základy matematické analýzy
Projektová dokumentace pro tvorbu internetových aplikací
Projektová dokumentace pro tvorbu internetových aplikací Tomáš Kuthan PhDr. Milan Novák, Ph.D. Školní rok: 2008-09 Abstrakt Bakalářská práce stanovuje vzor pro vytváření projektové dokumentace internetových
Hotline Helios Tel.: 800 129 734 E-mail: helios@ikomplet.cz Pokročilé ovládání IS Helios Orange
Hotline Helios Tel.: 800 129 734 E-mail: helios@ikomplet.cz Pokročilé ovládání IS Helios Orange 2013 BüroKomplet, s.r.o. Obsah 1 Kontingenční tabulky... 3 1.1 Vytvoření nové kontingenční tabulky... 3 2
Multimediální prezentace MS PowerPoint I
Multimediální prezentace MS PowerPoint I Informatika Multimediální prezentace zažívají v poslední době obrovský rozmach. Jsou používány například k reklamním účelům, k předvedení výrobků či služeb. Velmi
Úvod do informatiky. Miroslav Kolařík. Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008.
Úvod do informatiky přednáška třetí Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Množiny, relace a funkce úvod Množiny, relace a funkce
p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že
KAPITOLA 1: Reálná čísla [MA1-18:P1.1] 1.1. Číselné množiny Přirozená čísla... N = {1,, 3,...} nula... 0, N 0 = {0, 1,, 3,...} = N {0} Celá čísla... Z = {0, 1, 1,,, 3,...} Racionální čísla... { p } Q =
Tvorba kurzu v LMS Moodle
Tvorba kurzu v LMS Moodle Před počátkem práce na tvorbě základního kurzu znovu připomínám, že pro vytvoření kurzu musí být profil uživatele nastaven administrátorem systému minimálně na hodnotu tvůrce
Ukázka knihy z internetového knihkupectví www.kosmas.cz
Ukázka knihy z internetového knihkupectví www.kosmas.cz U k á z k a k n i h y z i n t e r n e t o v é h o k n i h k u p e c t v í w w w. k o s m a s. c z, U I D : K O S 1 8 1 1 2 8 U k á z k a k n i h
Co je to univerzální algebra?
Co je to univerzální algebra? Při studiu řadu algebraických struktur (grupoidy, pologrupy, grupy, komutativní grupy, okruhy, obory integrity, tělesa, polosvazy, svazy, Booleovy algebry) se často některé
Možnosti řešení ukrytí obyvatelstva na území obcí
1 Portál pre odborné publikovanie ISSN 1338-0087 Možnosti řešení ukrytí obyvatelstva na území obcí Rak Jakub Elektrotechnika, Strojárstvo 18.07.2012 Článek předkládá možné základní způsoby realizace ukrytí
Postupy práce se šablonami IS MPP
Postupy práce se šablonami IS MPP Modul plánování a přezkoumávání, verze 1.20 vypracovala společnost ASD Software, s.r.o. dokument ze dne 27. 3. 2013, verze 1.01 Postupy práce se šablonami IS MPP Modul
JEDNODUCHÁ A PRAKTICKÁ METODA ODHADU PRACNOSTI PROJEKTU (S UTILITOU KE STAŽENÍ ZDARMA)
JEDNODUCHÁ A PRAKTICKÁ METODA ODHADU PRACNOSTI PROJEKTU (S UTILITOU KE STAŽENÍ ZDARMA) 2. část autor: RNDr. Ilja Kraval, červenec 2010 http://www.objects.cz ÚVOD V minulém článku bylo pojednáno o složitosti
Funkce, elementární funkce.
Kapitola 2 Funkce, elementární funkce. V této kapitole si se budeme věnovat studiu základních vlastností funkcí jako je definiční obor, obor hodnot. Připomeneme si pojmy sudá, lichá, rostoucí, klesající.
Microsoft Visio 2013 vypadá jinak než ve starších verzích, proto jsme vytvořili tuto příručku, která vám pomůže se s ním rychle seznámit.
Úvodní příručka Microsoft Visio 2013 vypadá jinak než ve starších verzích, proto jsme vytvořili tuto příručku, která vám pomůže se s ním rychle seznámit. Aktualizované šablony Šablony vám pomáhají při
Výroková logika. Teoretická informatika Tomáš Foltýnek
Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky
Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.
2. ZOBRAZENÍ A FUNKCE 2.1 Zobrazení 2. 1. 1 Definice: Nechť A a B jsou množiny. Řekneme že f je zobrazení množiny A do množiny B jestliže (i) f A B (ii) ke každému z množiny A eistuje právě jedno y z množiny
PowerPoint 2010 Kurz 4
PowerPoint 2010 Kurz 4 Animace... 1 Texty vkládání, formátování... 3 Grafy vkládání, formátování... 5 Grafické objekty... 6 Přechody mezi snímky... 7 CZ.1.07/2.2.00/28.0221 Animace Animace jsou umístěny