|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
| |
|
Sharing Local Information for Faster Scanning-Window Object Detection
Hradiš, Michal ; Kälviäinen, Heikki (oponent) ; Matas, Jiří (oponent) ; Zemčík, Pavel (vedoucí práce)
This thesis aims to improve existing scanning-window object detectors by exploiting information shared among neighboring image windows. This goal is realized by two novel methods which are build on the ideas of Wald's Sequential Probability Ratio Test and WaldBoost. Early non-Maxima Suppression moves non-maxima suppression decisions from a post-processing step to an early classification phase in order to make the decisions as soon as possible and thus avoid normally wasted computations. Neighborhood suppression enhances existing detectors with an ability to suppress evaluation at overlapping positions. The proposed methods are applicable to a wide range of detectors. Experiments show that both methods provide significantly better speed-precision trade-off compared to state-of-the-art WaldBoost detectors which process image windows independently. Additionally, the thesis presents results of extensive experiments which evaluate commonly used image features in several detection tasks and scenarios.
|
|
Multimedia Data Processing in Heterogeneous Distributed Environment
Kajan, Rudolf ; Ferko,, Andrej (oponent) ; Míkovec, Zdeněk (oponent) ; Herout, Adam (vedoucí práce)
Ubiquitous computing, a paradigm in which the processing of information is linked with each activity or object as encountered, was proposed by Mark Weiser as the next era for interacting with computers. Its goal is to enable people to interact with devices more naturally and casually in ways that suit whatever location or context they find themselves in. Ubiquitous computing focuses on learning by removing the complexity of computing and increases efficiency while using computing for different daily activities. But after more than 15 years since Weiser formulated these goals, several aspects of ubiquitous computing are still not a part of user experience with today’s technology. Seamless integration with environment leading to technological invisibility or user interaction spanning across multiple devices pose still a great challenge. The main goal of our work is to make a step towards making the idea of ubiquitous computing a reality by addressing the question about intuitive information sharing between a personal device and a situated display. We have developed three interaction techniques which support unobtrusive content exchange between touch-enabled personal device and a large display - whether it is shared-private or public. These techniques are based on video streams, augmented reality, and analysis of gaze data. Besides the interaction techniques, we also present a framework for real-time application state acquisition and reconstruction on target platform. We report on user studies focused on the usability of our prototypes and a system performance evaluations. Our experiments were formed around real-life scenarios which are commonly experienced throughout the day. For interactions based on video streams, the results indicate that our techniques outperform the existing solutions: the localization and task migration is done in real time on a midlevel cellphone; the localization is reliable even for different observation angles and for cluttered screen content. Our technique based on gaze analysis goes even further by allowing for modeling of implicit user preferences through gaze data, while being accurate and unobtrusive.
|
|
Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; Gramatová, Elena (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto systémů. Práce se opírá o využití částečné dynamické rekonfigurace obvodu FPGA při návrhu systémů odolných proti poruchám, kde může být částečná rekonfigurace využita jako mechanizmus pro opravu a zotavení systému po výskytu poruchy. Práce nejprve představuje obecné principy diagnostiky, testování a spolehlivosti číslicových systémů včetně stručného popisu programovatelných obvodů FPGA a jejich architektury. Dále pokračuje přehledem současných metod a technik při návrhu a implementaci systémů odolných proti poruchám do obvodů FPGA, kde jsou popsány zejména techniky z oblasti detekce a lokalizace poruch, opravy a posuzování kvality návrhu. Nejdůležitější částí práce je popis metodiky pro návrh, implementaci a testování systémů odolných proti poruchám, která byla vytvořena pro obvody FPGA, jejichž konfigurační paměť je založena na pamětech typu SRAM. Nejprve je prezentována technika pro vytváření a automatizované generování hlídacích obvodů pro číslicové systémy a komunikační protokoly v FPGA, následně je prezentovaná referenční architektura spolehlivého systému implementovaného do FPGA včetně několika odolných architektur využívajících principu částečné dynamické rekonfigurace jako mechanizmu opravy a zotavení po výskytu poruchy. Dále je popsán způsob řízení rekonfiguračního procesu a testovací platforma pro snadné testovaní a ověření kvality systémů odolných proti poruchám implementovaných dle navržené metodiky. V závěru jsou diskutovány experimentální výsledky a přínos práce.
|
|
Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; Kotásek, Zdeněk (vedoucí práce)
Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto systémů. Práce se opírá o využití částečné dynamické rekonfigurace obvodu FPGA při návrhu systémů odolných proti poruchám, kde může být částečná rekonfigurace využita jako mechanizmus pro opravu a zotavení systému po výskytu poruchy. Práce nejprve představuje obecné principy diagnostiky, testování a spolehlivosti číslicových systémů včetně stručného popisu programovatelných obvodů FPGA a jejich architektury. Dále pokračuje přehledem současných metod a technik při návrhu a implementaci systémů odolných proti poruchám do obvodů FPGA, kde jsou popsány zejména techniky z oblasti detekce a lokalizace poruch, opravy a posuzování kvality návrhu. Nejdůležitější částí práce je popis metodiky pro návrh, implementaci a testování systémů odolných proti poruchám, která byla vytvořena pro obvody FPGA, jejichž konfigurační paměť je založena na pamětech typu SRAM. Nejprve je prezentována technika pro vytváření a automatizované generování hlídacích obvodů pro číslicové systémy a komunikační protokoly v FPGA, následně je prezentovaná referenční architektura spolehlivého systému implementovaného do FPGA včetně několika odolných architektur využívajících principu částečné dynamické rekonfigurace jako mechanizmu opravy a zotavení po výskytu poruchy. Dále je popsán způsob řízení rekonfiguračního procesu a testovací platforma pro snadné testovaní a ověření kvality systémů odolných proti poruchám implementovaných dle navržené metodiky. V závěru jsou diskutovány experimentální výsledky a přínos práce.
|
|
Měření fonologického povědomí – test skládání hlásek na počátku školní docházky: porovnání klasického přístupu a teorie odpovědi na položku
Gorčíková, M. ; Šafr, Jiří
Cílem příspěvku je ukázat výhody a limity dvou přístupů klasické teorie měření (CCT) a teorie odpovědi na položku (IRT) k posouzení úrovně diagnostického nástroje pro hodnocení fonologického povědomí (FP) mezi žáky prvních tříd. FP bylo měřeno testem skládání hlásek v rámci longitudinálního výzkumu 25 škol v Praze a Středočeském kraji (N=439). Výhodou přístupu IRT oproti klasické testové teorie je především pojetí nezávislosti položek v testu. Pravděpodobnost určité odpovědi je tak závislá na úrovni latentní schopnosti žáka a charakteristikách konkrétní položky. Pokud tedy známe parametry položek (obtížnost) lze na základě odpovědí žáka odhadnout úroveň měřené lingvistické schopnosti uplatnitelné v praktické diagnostice. Výsledky poukázaly na vhodnost úpravy testu skládání hlásek (zejména pro konec první třídy) tak, aby adekvátně měřil velkou dynamiku růstu úrovně schopnosti FP během první třídy.
|
|
Dopad obecného nařízení o ochraně osobních údajů na šedou literaturu
Koščík, Michal
V dubnu 2016 bylo přijato nové obecné nařízení o ochraně osobních údajů, jež v zásadních principech vychází ze stávající právní úpravy, v mnohém ji však rozvádí a konkretizuje. Příspěvek má převážně přehledový charakter a zaměří se na novou úpravu povinností, jimž se budou muset správci repozitářů v horizontu nejbližších dvou let přizpůsobit. Příspěvek bude věnován zejména otázkám souhlasu se zpracováním údajů, informovanosti subjektu údajů, přebírání osobních údajů od třetích stran, možnostech zpracovávat a zveřejňovat některé osobní údaje i bez souhlasu dotčených osob a nově formulovanému právu být zapomenut.
Plný text: idr-1039_1 -  PDF
Prezentace: idr-1039_2 - PDF; idr-1039_3 - PDF
Videozáznam: idr-1039_4 -  MP4
|
|
Společné obchodní právo pro Evropu
FRAŇKOVÁ, Hana
Tato práce se zabývá společným obchodním právem pro Evropu, které postrádá existenci jednotného standardu smluv uzavíraných obchodníky se spotřebiteli. Řešením tohoto problému měl být návrh Nařízení o společné evropské úpravě prodeje. Tato práce pojednává o vývoji tohoto návrhu, který byl zrušen a proměněn v unijní strategii pro jednotný digitální trh. Zabývá se jeho přínosy a potenciálem.
|
|
Profese vojenské zdravotní sestry z historického pohledu.
PAVLÍKOVÁ, Andrea
Diplomová práce se zabývá profesí vojenské zdravotní sestry. Můžeme konstatovat, že oficiální studium vojenských nelékařských zdravotnických odborností a jejich využití nejen pro válečné účely se datuje od padesátých let minulého století. Ovšem ženy zdravotnice následně i v uniformě byly vždy aktuální záležitostí v údobích jakéhokoli ozbrojeného tažení. Rozvoj ošetřovatelské činnosti jako takové probíhal téměř pokaždé v závislosti na její zvýšené potřebě ve válečných anabázích, avšak není možné opomenout vliv vědeckých, medicínských a technických poznatků. Historická osa vývoje ošetřovatelské výchovy a zdravotnické péče na bojištích je zaznamenána od pravěkého léčitelství přes původní starověké medicínské pokusy až po středověké tradiční lékařství. Způsob křesťanského léčení negativně ovlivnila katolická církev, která takřka znemožnila jakýkoli vědecký pokrok zejména na chirurgické půdě. Temný středověk na evropském kontinentě fakticky vyrval provádění lékařských úkonů z rukou odborníků a nechal trpící na pospas kněžím. Následující část práce se věnuje novověké medicíně, kde se uplatňují osvícenské reformy. V této epoše se organizovaly jedny z počátečních půlročních kurzů pro vojenské ranhojiče, které se přeměnily na Chirurgickou vojenskou akademii, z níž pak vzniklo pověstné Josefinum. Projev humanity, jež podnítila formu péče o válečné veterány, se manifestoval výstavbou invalidoven. Druhou polovinu 19. století charakterizuje fenomén výskytu řádových sester v polních lazaretech. Hlouběji se tato studie zaobírá profesionální organizovanou zdravotnickou péčí přímo na bojišti, která se datuje od éry válčení na Krymu. Tento mezník vypovídá o transformaci opatrovnictví na ošetřovatelství, jež vykazuje nutnost specializované přípravy osob provozujících ošetřovatelskou praxi. Nesmazatelně se do dějin sesterského povolání zapsal i Henri Dunant, jako zakladatel Červeného kříže, který první zacvičoval zdravotnice pro plnění branných záměrů státu. Pokračování tohoto počinu nastiňuje průběh poskytování první pomoci v ozbrojených konfliktech 20. století. Popisuje fungování tehdejší velitelsky řízené vojenské zdravotnické služby. První světová válka zahnala český ošetřující personál na obě strany fronty, kde zajišťoval zraněným pomoc. Druhé světové války se zdravotní sestry účastnily již ve stejnokrojích, coby právoplatné příslušnice armády. Dílo se dále zmiňuje i o poválečném využívání armádních zdravotníků v utajených zahraničních misích a jejich odborné erudici. V neposlední řadě velmi okrajově hovoří o současných možnostech moderní zdravotnické služby Armády České republiky. Cílem usilovného snažení při zpracování tohoto tématu bylo přehledně zmapovat vývoj profese vojenské zdravotní sestry v historickém kontextu se zvláštním zřetelem na ženy zdravotnice pocházející z českých končin. Aby zachycené dějinné podklady týkající se konkrétních účastnic světových válečných konfliktů byly čtenáři dobře uchopitelné, líčí toto pojednání v širším rozsahu příznačné lékařské a ošetřovatelské poznatky už od éry pravěkých civilizací. Pro teoretickou diplomovou práci byla zvolena metoda historické studie. Metodika se zakládá na vyhledávání, prostudování, třídění a následném systematickém nestranném popisu událostí z časů minulých s cílem podat ucelenou zprávu o daném námětu. K získání povědomí o dějinných souvislostech bylo zapotřebí prostudovat nepřeberné množství relevantních zdrojů. Věcné informace byly čerpány analyzováním jednak primárních, ale ponejvíc sekundárních dokumentů. Badatelskými prameny se staly i starobylé knižní publikace, soudobá odborná literatura a časopisy s historickou, vojenskou i zdravotnickou tematikou. Prozkoumáním odpovídajících písemností a shrnutím zásadních zjištění vznikla diplomová práce, která mapuje dějiny válečného ošetřovatelství a profese vojenského zdravotníka. Výtvor nemá za úkol jen osvětlovat minulost, nýbrž přispívat k řešení každodenních problémů a poskytovat zářivý výhled do budoucnosti.
|
host ::
