|
|
Automatizace verifikace pomocí neuronových sítí
Fajčík, Martin ; Husár, Adam (oponent) ; Zachariášová, Marcela (vedoucí práce)
Úlohou tejto práce je analýza a riešenie optimalizačných problémov vychádzajúcich z automatizácie funkčnej verifikácie hardvéru pomocou umelých neurónových sietí. Verifikácia ľubovoľného integrovaného obvodu (Design Under Verification, DUV) pomocou techniky verifikácie riadenej pokrytím (Coverage-Driven Verification) a metodiky UVM (Universal Verification Methodology) prebieha tak, že do DUV sú zasielané vstupné stimuly, pri ktorých verifikačné prostredie monitoruje percentuálne pokrytie DUV pomocou predom určenej špecifikácie sledovaných vlastností. Pokrytím v tomto kontexte myslíme merateľnú vlastnosť DUV, ako napríklad počet overených aritmetických operácií, či počet aktivovaných riadkov kódu. Na základe dosiahnutej veľkosti pokrytia a stanovenej špecifikácie je možné prehlásiť DUV za zverifikovaný. Súčasným trendom v automatizácii funkčnej verifikácie hardvéru je pseudonáhodné generovanie vstupných stimulov s obmedzeniami (constraints) pomocou techniky constrained-random stimulus generation. V tejto práci sa preto zaoberáme ovládaním pseudonáhodného generátoru stimulov (PNG), pričom obmedzenia pre generátor sú ovládané externým prostriedkom a to konkrétne neurónovou sieťou. Využívame tak vlastnosti neurónových sietí pre riešenie optimalizačných problémov vhodné pre prehľadávanie stavového priestoru pokrytia DUV. Riešenými optimalizačnými problémami sú priebežná úprava obmedzení PNG takým spôsobom, aby došlo k čo najrýchlejšiemu zverifikovaniu DUV a hľadanie najmenšej množiny stimulov takej, že táto množina zverifikuje DUV. Kvalitatívne vlastnosti navrhnutých riešení sú overené na 32-bitových aplikačne špecifických procesoroch (ASIPs) s názvom Codasip uRISC a Codix Cobalt.
|
|
|
Odstraňování artefaktů JPEG komprese obrazových dat
Lopata, Jan ; Kučera, Václav (vedoucí práce) ; Šroubek, Filip (oponent)
Tato práce se zabývá odstraňováním obrazových artefaktů typických pro JPEG kompresi. Nejprve jsme popsali matematickou formulaci formátu JPEG a pro- blému odstraňování obrazových artefaktů. Poté jsme tento problém přeformu- lovali na optimalizační problém, kde minimalizovaná funkce je získána pomocí Bayesovy věty a komplexních waveletů. Popsali jsme proximální operátory a al- goritmy a aplikovali je na minimalizaci daného funkcionálu. Finální algoritmus jsme implementovali v MATLABu a testovali na několika testovacích problémech. 1
|
|
|
Optimalizátor rozvrhu zkoušek na FIT
Paulík, Miroslav ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Tématem této práce je automatizovaná tvorba rozvrhu zkoušek pro Fakultu informačních technologií Vysokého učení technického v Brně. Je zde popsán seznam požadavků (omezení), na které je nutné brát při návrhu rozvrhu ohled. Tyto omezení jsou dále klasifikována podle míry vlivu na kvalitu rozvrhu na nutné a volitelné. Problém plánování zkoušek je zde dekomponován na dílčí podproblémy a dále řešen pomocí Contraint logic programming. Výsledkem je množina řešení splňující všechna nutná omezení. Z nich je nakonec vybráno takové suboptimální řešení, které nejméně porušuje zbývající škálovatelná omezení.
|
|
|
Optimization of Linear Differential Systems by Lyapunov's Direct Method
Demchenko, H.
Two approaches to solving optimization problems of dynamic systems are well-known. The first approach needs to find a fixed control (program control) for which the system described by differential equations reaches a predetermined value and minimizes an integral quality criterion. Proposed by L.S. Pontryagin, this method was in essence a further development of general optimization methods for dynamical systems. The second method consists in finding a control function (in the form of a feedback) guaranteeing that, simultaneously, the zero solution is asymptotically stable and an integral quality criterion attains a minimum value. This method is based on what is called the second Lyapunov method and its founder is N.N. Krasovskii. In the paper, the latter method is applied to linear differential equations and systems with integral quality criteria.
|
|
|
Logické úlohy a hlavolamy jako optimalizační problémy
Lukesová, Kristýna ; Chýna, Vladislav (vedoucí práce) ; Šindelářová, Irena (oponent)
V této práci aplikuji klasické optimalizační problémy, jako jsou například přiřazovací nebo pokrývací problém, na logické hádanky či hlavolamy. Matematický model, popis a typický příklad ke každému v práci použitému optimalizačnímu problému je vypsán v první části práce. Druhá část práce obsahuje aplikaci těchto modelů na samotné logické úlohy, příkladem budiž Sudoku či Einsteinův hlavolam. Hádanky jsou rozděleny na jednodušší a složitější. Ke každé z nich je vždy uvedeno její zadání, zdroj a popsán způsob řešení. K výpočtům příkladů jsem použila Lingo nebo MS Excel, popřípadě obojí. Cílem práce je ukázat možnost řešit logické hádanky a hlavolamy za použití optimalizačních problémů a tím jen potvrdit široké možnosti využití těchto modelů. Řešené příklady mohou posloužit jako zpestření či objasnění učiva.
|
|
|
Fastfood nutriční problém
Hyblerová, Zuzana ; Kuncová, Martina (vedoucí práce) ; Skočdopolová, Veronika (oponent)
Práce vychází z teorie matematického programování, konkrétně z modelu nutričního problému. Cílem je nalezení optimálního menu s minimální celkovou cenou a přihlédnutím k omezením daných výživovými, tedy nutričními, hodnotami pro různé skupiny zákazníků fastfoodů. Model je aplikován na soubor potravin a nápojů nabízených ve vybraných fastfoodech v ČR.
|
host ::
RSS.