|
|
Simulace kvantových celulárních automatů
Michálik, Juraj ; Bidlo, Michal (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato bakalářská práce popisuje vznik a účel kvantových celulárních automatů (QCA), jejich funkci a fyzikální zhotovení. Popisuje také kvantově celulární buňku a zhotovení jednoduchých obvodů pomocí těchto buněk. Práce obsahuje přehled použitých simulátorů, detailně popisuje simulátor QCAD a příklady odsimulovaných obvodů. QCA jsou analyzovány z pohledu chyb při výrobě, složitosti fyzikálního zhotovení a významu pro moderní elektroniku. Vytvoření základu pro studijní materiál a tvorba příkladů pro základní pochopení principu činnosti kvantových celulárních automatů je její nedílnou součástí.
|
|
|
Aproximace obvodů v nástroji Yosys
Plevač, Lukáš ; Vašíček, Zdeněk (oponent) ; Mrázek, Vojtěch (vedoucí práce)
Cílem této práce je představení rozšíření cgploss, které slouží k optimalizaci kombinačních obvodů v nástroji Yosys. V první části práce bude představena metoda Kartézského genetického programování, která lze použít na návrh a optimalizaci obvodů. Tato kapitola dále popisuje možné reprezentace kombinačních obvodů pro Kartézské genetické programování. Následuje představení nástroje Yosys z uživatelského i implementačního hlediska a popis tvorby rozšíření pro tento nástroj. Následující kapitola popisuje návrh rozšíření cgploss a jeho vnitřní struktury. Dále je popisována implementace rozšíření a jeho ovládání. V závěru práce je otestována funkčnost nástroje a jednotlivé použité reprezentace obvodu jsou porovnány mezi sebou.
|
|
|
Evoluční návrh využívající booleovské sítě
Mrnuštík, Michal ; Žaloudek, Luděk (oponent) ; Bidlo, Michal (vedoucí práce)
Tato diplomová práce představuje možnosti využití booleovských sítí jako vývojového modelu v evolučním návrhu. Jsou zde popsány reprezentace booleovských sítí vhodné pro evoluční návrh včetně genetických operátorů. Booleovské sítě jsou použity jako vývojový model pro vývoj kombinačních obvodů a řadicích sítí. Dále je uvedena jedna z možných reprezentací aplikovatelná pro návrh obrazových filtrů. Navržené metody jsou experimentálně ověřeny a je navrženo jejich potenciální vylepšení a směr dalšího výzkumu.
|
|
|
Evoluční resyntéza kombinačních obvodů
Kocnová, Jitka ; Sekanina, Lukáš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Diplomová práce se zabývá resyntézou kombinačních obvodů pomocí evolučních principů. První část se zabývá logickou syntézou a jejími problémy, evoluční syntézou a výhodami evolučního přístupu, a taktéž jsou zmíněny některé existující syntézní nástroje. V druhé části jsou pak přiblíženy vybrané grafové algoritmy a jejich možné využití v navrhovaném programovém rozšíření pro vybraný syntézní nástroj. Zde je také popsán návrh rozšíření a jeho samotná implementace. Třetí část se zabývá testováním vzniklého rozšíření. Čtvrtou částí je závěr shrnující získané poznatky a dosažené výsledky.
|
|
|
Aproximace obvodů v nástroji Yosys
Plevač, Lukáš ; Vašíček, Zdeněk (oponent) ; Mrázek, Vojtěch (vedoucí práce)
Cílem této práce je představení rozšíření cgploss, které slouží k optimalizaci kombinačních obvodů v nástroji Yosys. V první části práce bude představena metoda Kartézského genetického programování, která lze použít na návrh a optimalizaci obvodů. Tato kapitola dále popisuje možné reprezentace kombinačních obvodů pro Kartézské genetické programování. Následuje představení nástroje Yosys z uživatelského i implementačního hlediska a popis tvorby rozšíření pro tento nástroj. Následující kapitola popisuje návrh rozšíření cgploss a jeho vnitřní struktury. Dále je popisována implementace rozšíření a jeho ovládání. V závěru práce je otestována funkčnost nástroje a jednotlivé použité reprezentace obvodu jsou porovnány mezi sebou.
|
|
|
Evoluční resyntéza kombinačních obvodů
Kocnová, Jitka ; Sekanina, Lukáš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Diplomová práce se zabývá resyntézou kombinačních obvodů pomocí evolučních principů. První část se zabývá logickou syntézou a jejími problémy, evoluční syntézou a výhodami evolučního přístupu, a taktéž jsou zmíněny některé existující syntézní nástroje. V druhé části jsou pak přiblíženy vybrané grafové algoritmy a jejich možné využití v navrhovaném programovém rozšíření pro vybraný syntézní nástroj. Zde je také popsán návrh rozšíření a jeho samotná implementace. Třetí část se zabývá testováním vzniklého rozšíření. Čtvrtou částí je závěr shrnující získané poznatky a dosažené výsledky.
|
|
|
Simulace kvantových celulárních automatů
Michálik, Juraj ; Bidlo, Michal (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato bakalářská práce popisuje vznik a účel kvantových celulárních automatů (QCA), jejich funkci a fyzikální zhotovení. Popisuje také kvantově celulární buňku a zhotovení jednoduchých obvodů pomocí těchto buněk. Práce obsahuje přehled použitých simulátorů, detailně popisuje simulátor QCAD a příklady odsimulovaných obvodů. QCA jsou analyzovány z pohledu chyb při výrobě, složitosti fyzikálního zhotovení a významu pro moderní elektroniku. Vytvoření základu pro studijní materiál a tvorba příkladů pro základní pochopení principu činnosti kvantových celulárních automatů je její nedílnou součástí.
|
|
|
Evoluční návrh využívající booleovské sítě
Mrnuštík, Michal ; Žaloudek, Luděk (oponent) ; Bidlo, Michal (vedoucí práce)
Tato diplomová práce představuje možnosti využití booleovských sítí jako vývojového modelu v evolučním návrhu. Jsou zde popsány reprezentace booleovských sítí vhodné pro evoluční návrh včetně genetických operátorů. Booleovské sítě jsou použity jako vývojový model pro vývoj kombinačních obvodů a řadicích sítí. Dále je uvedena jedna z možných reprezentací aplikovatelná pro návrh obrazových filtrů. Navržené metody jsou experimentálně ověřeny a je navrženo jejich potenciální vylepšení a směr dalšího výzkumu.
|
host ::
RSS.