Now showing items 162-181 of 190

  • Temporální rozšíření pro PostgreSQL 

    Jelínek, Radek
    Tato práce se zabývá temporálním rozšířením databázového systému PostgreSQL. Čtenář se tu seznámí se stručným úvodem do temporálních databází, databázovým systémem PostgreSQL, návrhem rozšíření pro PostgreSQL a konkrétní ...
  • Time-Based Account Policies in FreeIPA 

    Láznička, Stanislav
    Tato práce se zabývá běžnými problémy časových politik, které jsou využívány v rámci procesu přihlašování uživatelů. Jsou rozebrána řešení v některých jiných současných systémech. Dále je čtenáři představen projekt pro ...
  • Tvorba panoramatických fotografií 

    Cacek, Pavel
    Tato práce se zabývá problematikou automatického skládání panoramatických fotografií z jednotlivých snímků. Postupně rozebírá jednotlivé kroky algoritmů, a metody v nich používané, které jsou využívány při tvorbě panoramat. ...
  • Univerzální palubní počítač do auta 

    Novohradský, Petr
    Práce obsahuje kompletní návrh prototypu vestavěného zařízení pro zobrazování informací z vozidla. Je popsán čip ELM327 a jeho základní použití. Popisuje také vývoj diagnostické zásuvky vozidel v Evropských zemích. Obsahuje ...
  • Uživatelské aplikace pro satelitní přijímače 

    Dorušák, Petr
    Tato práce seznamuje čtenáře s principem přenosu digitálního televizního vysílání pomocí satelitní družice umístěné na oběžné dráze Země. Dále se zaměřuje na satelitní přijímač, jakožto důležitý prvek satelitních systémů. ...
  • Uživatelské rozhraní pro řízení technologií 

    Zapletal, Filip
    Tato práce popisuje systémy a uživatelská rozhraní pro dohled a řízení technologických zařízení. Čtenáři přibližuje základní přístupy k tomuto problému, běžně používané komunikační protokoly a existující uživatelské rozhraní. ...
  • Vektorová analýza v GIS systémech 

    Životský, Tomáš
    Tato diplomová práce pojednává o geografických informačních systémech s důrazem na tzv. vektorovou analýzu. Cílem práce je vytvořit knihovnu, která implementuje vnitřní reprezentaci geografických dat a provádí nad nimi ...
  • Verifikace ASIP založena na formálních tvrzeních 

    Šulek, Jakub
    Tato práce představuje koncept pro ověřování správnosti procesorů s aplikačně-specifickou instrukční sadou (ASIP) pomocí verifi kace založené na formálních tvrzeních. Koncept je implementován v jazyku SystemVerilog Assertions ...
  • Verifikace ukazatelových programů pomocí lesních automatů 

    Hruška, Martin
    V této práci je rozvíjena existující metoda pro shape analýzu programů založená na lesních automatech. Dále je také vylepšována implementace této metody, nástroj Forester. Lesní automaty jsou založeny na stromových automatech, ...
  • VGA grabber pro FITkit 

    Lojda, Jakub
    Práce pojednává o možnostech realizace VGA grabberu pro přípravek FITkit. Text je zaměřen na softwarové i hardwarové možnosti realizace. Úvod zavádí čtenáře do teorie dané problematiky. Následně práce uvádí několik možností ...
  • Virtuální stroj pro Objektově orientované Petriho sítě 

    Sitarčík, Ľuboš
    Diplomová práce formálne definuje Objektovo orientované Petriho síte a představuje pojem virtuální stroj. Pak práce představuje koncept virtuálního stroje pro Objektovo orientované Petriho síte. Nakonec je v práci popsána ...
  • Vizuální sledování objektu v reálném čase 

    Šimon, Martin
    Práce se zaměřuje na vizuální sledování objektu v reálném čase ve videu s důrazem na problémy vznikající při dlouhodobém sledování. Mezi tyto problémy patří především okluze, ať už částečná či úplná, a vizuální změny ...
  • Vícekamerový snímač biometrických vlastností lidského prstu 

    Trhoň, Adam
    Tato práce se zabývá návrhem konceptu platformy pro bezdotykové snímání otisku prstu a jeho realizací. Dále je popsán návrh, implementace a testování hardware implementovaného ve VHDL a programu implementovaného v C. Výstup ...
  • Vyhledávání příbuzných proteinů s modifikovanou funkcí 

    Hon, Jiří
    Proteinové inženýrství je dynamicky se rozvíjecí obor s velkým množstvím potenciálních aplikací v praxi. Úspěch v tomto oboru je však podmíněn co nejlepším využitím všech dostupných informací o proteinech, k čemuž se využívá ...
  • Využití syntézy na systémové úrovni pro aplikace s platformou ZYNQ 

    Husák, Jiří
    Práce se zabývá využitím syntézy na systémové úrovni v aplikaci pro zpracování obrazu. Aplikace je určena pro platformu Xilinx ZYNQ. Komponenty v FPGA jsou popsány v jazyce C++. K implementaci bylo použito vývojové prostředí ...
  • Využití vlnkové transformace při zpracování obrazu 

    Dostál, Martin
    Vlnková transformace je využívána již několik desetiletí a je stále předmětem výzkumu - především její modifikace používající tzv. vlnky druhé generace. Oproti ostatním integrálním transformacím má několik výhod, těmi ...
  • Výpočetní historie Turingových strojů a jejich generování gramatikami s rozptýleným kontextem 

    Kajan, Dušan
    Cílem této diplomové práce je navrhnout metodu , která by na vstupu očekávala Turingův stroj a na výstupu by byla propagujucí gramatika s roptýleným kontextem . Jazyk výstupní gramatiky by byl tvořený množinou řetězců ...
  • Výpočetní metody pro anotační analýzy genetických variací 

    Fülöp, Tibor
    Analýza a interpretace variací DNA je důležité pro zkoumání genetického pozadí dědičnosti, nemocí a jiných fenotypových rysů. Tato práce stručně úvadí oblasti molekulární biologie a základních principů genetiky, popisuje ...
  • Vzájemná notifikace inteligentního telefonu a serveru 

    Douděra, Martin
    Tato diplomová práce se zabývá notifikacemi mezi chytrým telefonem a aplikačním serverem ovládající inteligentním domácnost. Zaměřuje se na mobilní platformu Android, na kterou je navržené řešení implementováno. Mobilní ...
  • Vzdálené ovládání inteligentní domácnosti 

    Podmolík, Leopold
    Hlavním cílem práce bylo zajistit jednoduché a přehledné ovládání pro platformu Android a současně poskytnout uživateli možnost sledovat aktuální a analyzovat historická data ze senzorů v inteligentní domácnosti. Nad rámec ...