|
|
Inference propojení komponent
Olšarová, Nela ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce se zabývala návrhem algoritmu pro inferenci propojení hardwarových komponent. Algoritmus je určen pro použití v editoru návrhu schémat pro FPGA čipy, který je součástí školního vývojového prostředí VLAM IDE. Algoritmus má uživateli pomoci s nalezením optimálního propojení dvou vybraných komponent. Vývojové prostředí s editorem návrhu je implementováno jako zásuvný modul do prostředí Eclipse, kdy je využit grafický modelovací rámec GMF. Po úvodu do těchto technologií a metod návrhu vestavěných systémů následuje návrh inferenčního algoritmu. Tento problém spadá pod problémy kombinatorické optimalizace, konkrétně je příbuzný s přiřazovacím problémem a bipartitním párováním. Poté je popsána implementace algoritmu a grafického uživatelského rozhraní pro jeho použití, následuje jeho otestování a shrnutí dosažených výsledků.
|
|
|
Aplikace Bayesovských sítí
Chaloupka, David ; Rozman, Jaroslav (oponent) ; Zbořil, František (vedoucí práce)
Tato diplomová práce se zabývá možnými aplikacemi Bayesovských sítí. Nejprve se zaměřuje na obecnou teorii pravděpodobnosti a později na úrovni matematiky vysvětluje samotnou teorii Bayesovských sítí, přístupy k inferenci a k učení včetně ozřejmění silných a slabých stránek popisovaných technik. Součástí výkladu jsou v mnoha případech ilustrativní příklady a podrobně komentovaná matematická odvození prezentovaných vzorců. V praktické části práce je kladen důraz na aplikace vyžadující učení Bayesovské sítě, jednak ve smyslu učení parametrů a jednak ve smyslu struktury. První aplikací jsou obecné benchmarkové úlohy, které zkoumají chování prezentovaných technik a zaměřují se na způsob optimální volby parametrů učení Bayesovské sítě. Druhou aplikací je užití Bayesovských sítí pro účely dolování znalostí o příčinách zločinnosti prostřednictvím vizualizace závislostí mezi náhodnými proměnnými popisujícími zkoumanou doménu. Třetí aplikace zkoumá možnosti nasazení Bayesovské sítě jakožto spam filtru a dosažené výsledky porovnává prostřednictvím všeobecně užívané datové sady s výsledky naivního Bayesovského filtru, který rovněž vychází z teorie pravděpodobnosti.
|
|
|
Diagnostika problému pomocí expertního systému
Mertlík, Tomáš ; Nagy, Ľuboš (oponent) ; Karásek, Jan (vedoucí práce)
Tato práce obsahuje informace ohledně expertních systémů. Expertní systém je počítačový program, který má za úkol poskytovat expertní rady, rozhodnutí nebo doporučit řešení v konkrétní situaci. V této práci jsou definované čtyři verze expertních systémů, které se v praxi objevují. Popisují se tu základní, přídavné a doplňkové složky expertních systémů. Praktická část této práce se zabývá diagnostikou problému se spouštěním PC pomocí expertního systému a vytvoření aplikace ve vývojovém prostředí JAVA ECLIPSE.
|
|
|
Diagnostický expertní systém
Mertlík, Tomáš ; Nagy, Ľuboš (oponent) ; Karásek, Jan (vedoucí práce)
Tato práce obsahuje informace ohledně expertních systémů. Expertní systém je počítačový program, který má za úkol poskytovat expertní rady, rozhodnutí nebo doporučit řešení v konkrétní situaci. V této práci jsou definované čtyři verze expertních systémů, které se v praxi objevují. Popisují se tu základní, přídavné a doplňkové složky expertních systémů. Praktická část této práce se zabývá diagnostikou problému se spouštěním počítače pomocí expertního systému a vytvoření aplikace ve vývojovém prostředí JAVA ECLIPSE.
|
|
|
Detekce defektů desek ve výrobě polovodičů
Jašek, Filip ; Vágner, Martin (oponent) ; Dřínovský, Jiří (vedoucí práce)
Tato diplomová práce se zabývá problematikou detekce defektů desek ve výrobě polovodičů. V rámci této práce byly zkoumány metody identifikace defektních čipů a kontroly řízení výtěžnosti při výrobě polovodičů. Práce se rovněž zabývá metodami strojového učení pro rozpoznání obrazu s cílem klasifikace defektů ve výrobním procesu. První zvolený přístup využíval k inferenci sítě ResNet18, avšak ukázalo se, že jeho přesnost nedosahovala vysokých hodnot sledovaných metrik z důvodu nedostatečného množství vstupních dat. Pro tento sledovaný dataset tak bylo vyzkoušeno použití předtrénovaných sítí využívající topologie ResNet50v2. K navýšení metrik však došlo až s použitím jiného datasetu. Pomocí ladění hyperparametrů sítě a augmentací byly zkoumány další možnosti zlepšení výkonnosti sítě. V práci se také ukázalo, že použití autoenkodérů pro redukci datového toku při inferenci může navýšit rychlost samotné inference, avšak s degradací evaluačních metrik.
|
|
|
Detekce defektů desek ve výrobě polovodičů
Jašek, Filip ; Vágner, Martin (oponent) ; Dřínovský, Jiří (vedoucí práce)
Tato diplomová práce se zabývá problematikou detekce defektů desek ve výrobě polovodičů. V rámci této práce byly zkoumány metody identifikace defektních čipů a kontroly řízení výtěžnosti při výrobě polovodičů. Práce se rovněž zabývá metodami strojového učení pro rozpoznání obrazu s cílem klasifikace defektů ve výrobním procesu. První zvolený přístup využíval k inferenci sítě ResNet18, avšak ukázalo se, že jeho přesnost nedosahovala vysokých hodnot sledovaných metrik z důvodu nedostatečného množství vstupních dat. Pro tento sledovaný dataset tak bylo vyzkoušeno použití předtrénovaných sítí využívající topologie ResNet50v2. K navýšení metrik však došlo až s použitím jiného datasetu. Pomocí ladění hyperparametrů sítě a augmentací byly zkoumány další možnosti zlepšení výkonnosti sítě. V práci se také ukázalo, že použití autoenkodérů pro redukci datového toku při inferenci může navýšit rychlost samotné inference, avšak s degradací evaluačních metrik.
|
|
|
Falibilismus a sémiotika Charlese Sanderse Peirce
Macháček, Martin ; Karľa, Michal (vedoucí práce) ; Švantner, Martin (oponent)
Tato diplomová práce se zabývá rozborem Peircových textů Questions Concerning Certain Faculties Claimed for Man a Some Consequences of Four Incapacities zaměřeným na genezi falibilismu a jeho závislost na teorii reprezentace. Peircova epistemologická pozice je zde artikulována na pozadí odmítnutí fundacionalismu a jeho podmínek (např. intuice a introspekce), které jsou chápány, vzhledem k charakteru našeho poznání vnějšího světa, jako nepodložené hypotézy. Cílem práce proto bude zjistit, jak se Peircova epistemologie může obejít bez jistoty pevných základů fundacionalismu. Klíčová slova: Peirce, falibilismus, reprezentace, kritika fundacionalismu, inference, epistemologie
|
|
|
Inference of an XML Schema with the Knowledge of XML Operations
Mikula, Mário ; Holubová, Irena (vedoucí práce) ; Svoboda, Martin (oponent)
V poslednej dobe bolo vyvinutých množstvo metód zaoberajúcich sa automatickým odvodzovaním XML schémy. Väčšina z nich ale používa XML dokumenty ako jediný vstup. My sa v tejto práci zameriavame na rozšírenie odvodzovania zahrnutím XML operácií, konkrétne XQuery dotazov. Diskutujeme ako je možné využiť XQuery dotazy na vylepšenie procesu odvodzovania a navrhujeme algoritmus založený na vybraných vylepšeniach, ktorý rozširuje existujúcu metódu hľadania kľúčov a ktorý môže byť začlenený do metód odvodzujúcich tzv. počiatočnú gramatiku. Implementovaním algoritmu sme vytvorili prvé kompletné riešenie odvodzovania XML schémy, ktoré využíva XML dokumenty spolu s XML operáciami.
|
|
|
Inference of XML Integrity Constraints
Vitásek, Matej ; Holubová, Irena (vedoucí práce) ; Knap, Tomáš (oponent)
Tato práce navazuje na dřívější pokusy odvodit (inferovat) schéma existujících XML dokumentů. Jelikož je odvozování struktury již relativně dobře popsáno, soustředíme se na integritní omezení. Několik jich popisujeme, pozornost pak soustředíme na ID/IDREF/IDREFS atributy z DTD. Na bázi článku od Barbosa a Menelzon (2003) stavíme heuristický přístup k problému hledání optimální sady ID atributů, jeho funkčnost a vhodnost pak ověřujeme na škále experimentů.
|
|
|
Úloha hry v Peircově sémiotice
Borč, Marek ; Švantner, Martin (vedoucí práce) ; Gvoždiak, Vít (oponent)
Tato práce se zaměřuje na základní vymezení otázky hry v rámci sémiotiky Ch. S. Peirce. Jejím záměrem je prostřednictvím vybraných Peircových textů a relevantní sekundární literatury vyložit a explikovat úlohu fenoménu hry v rámci Peircovy filozofie, přičemž základním opěrným bodem je pro nás Peircovo pozdní ztotožnění hry s inferenční formou abdukce. Jako taková je hra spojena s Peircovými teoriemi znaku a inference a taktéž s koncepty synechismu, evoluční kosmologie a pragmatismu. Tento poznatek ustanovuje Peircovu teorii inference v rámci kritické logiky jako jedno z klíčových témat práce. V závislosti na tomto poznatku podáváme základní výklad Peircovy faneroskopie a spekulativní gramatiky, který nám v závislosti na Peircově rozdělení věd připravuje půdu pro analýzu hry jako inferenčního procesu a také jako signifikantní funkce. V rámci kritické logiky se věnujeme zejména abdukci, a to především otázce validity abdukce jako formy logického usuzování a taktéž Peircově přechodu od chápání různých forem inference jako samostatných procesů ke spojitému a navzájem závislému celku vědecké metody. Peircovu stručnou koncepci hry rozvíjíme prostřednictvím exkurzu do historicko-deskriptivní analýzy hry Johana Huizingy. Finální kapitola se pak zabývá komparací Peirce a Huizingy a taktéž sémiotickou...
|
host ::
RSS.