|
|
Nové techniky návrhu celulárních automatů
Baláž, Martin ; Drábek, Vladimír (oponent) ; Bidlo, Michal (vedoucí práce)
Cílem této diplomové práce je uvést novou techniku návrhu celulárních automatů, která poskytne lepší možnosti implementace a řešení zadaných problémů v prostředí neuniformních automatů. V rámci této práce byly položeny teoretické základy k problematice celulárních automatů a byly přezkoumány možnosti jejich návrhu pomocí dvou evolučních principů, které se běžně používají - genetický algoritmus a celulární programování. Byly vybrány dva principiálně výrazně odlišné problémy, na kterých byly možnosti a schopnosti těchto technik prověřeny: problém synchronizace a systém implementace logických hradel v prostředí celulárního automatu. Na základě přezkoumání implementačních vlastností a na základě prvních výsledků použití těchto metod byla vytvořena nová metoda návrhu celulárních automatů - celulární evoluce. Celulární evoluce se svojí metodou "predikce budoucího stavu okolních buněk" poskytuje nové možnosti v návrzích automatů, jelikož pracuje se strukturovanými geny, které umožňují, aby byl daný gen aktivní pro více různých celulárních okolí. V závěru práce byly na vybraných dvou problémech porovnané všechny tři metody a jejich schopnosti byly shrnuty v podrobném přehledu.
|
|
|
Advanced Electronic Circuits Simulation Methods
Kocina, Filip ; Kozek, Martin (oponent) ; Kyncl, Jan (oponent) ; Kunovský, Jiří (vedoucí práce)
The thesis deals with the simulation of electronic circuits. It describes the Capacitor Substitution Method (CSM) to transform electronic circuits into electric circuits which can then be solved using numerical methods, namely the Modern Taylor Series Method (MTSM). This method is distinguished by automatic order selection, halving the step size as required and the wide area of stability according to the order. Within the thesis, specialized programming equipment to solve ordinary differential equations using MTSM was created by the author of the thesis, with many improvements to the algorithms (compared to TKSL/386). These algorithms involve the simplification of generic expressions into polynomials, parallelization independent of the integration method etc. This software runs on a Linux server which communicates using the TCP/IP stack. The equipment was successfully used to simulate VLSI circuits whose solution by CSM was much faster and more memory-efficient than the state-of-the-art SPICE.
|
|
| |
|
|
Nové techniky návrhu celulárních automatů
Baláž, Martin ; Drábek, Vladimír (oponent) ; Bidlo, Michal (vedoucí práce)
Cílem této diplomové práce je uvést novou techniku návrhu celulárních automatů, která poskytne lepší možnosti implementace a řešení zadaných problémů v prostředí neuniformních automatů. V rámci této práce byly položeny teoretické základy k problematice celulárních automatů a byly přezkoumány možnosti jejich návrhu pomocí dvou evolučních principů, které se běžně používají - genetický algoritmus a celulární programování. Byly vybrány dva principiálně výrazně odlišné problémy, na kterých byly možnosti a schopnosti těchto technik prověřeny: problém synchronizace a systém implementace logických hradel v prostředí celulárního automatu. Na základě přezkoumání implementačních vlastností a na základě prvních výsledků použití těchto metod byla vytvořena nová metoda návrhu celulárních automatů - celulární evoluce. Celulární evoluce se svojí metodou "predikce budoucího stavu okolních buněk" poskytuje nové možnosti v návrzích automatů, jelikož pracuje se strukturovanými geny, které umožňují, aby byl daný gen aktivní pro více různých celulárních okolí. V závěru práce byly na vybraných dvou problémech porovnané všechny tři metody a jejich schopnosti byly shrnuty v podrobném přehledu.
|
|
|
Advanced Electronic Circuits Simulation Methods
Kocina, Filip ; Kozek, Martin (oponent) ; Kyncl, Jan (oponent) ; Kunovský, Jiří (vedoucí práce)
The thesis deals with the simulation of electronic circuits. It describes the Capacitor Substitution Method (CSM) to transform electronic circuits into electric circuits which can then be solved using numerical methods, namely the Modern Taylor Series Method (MTSM). This method is distinguished by automatic order selection, halving the step size as required and the wide area of stability according to the order. Within the thesis, specialized programming equipment to solve ordinary differential equations using MTSM was created by the author of the thesis, with many improvements to the algorithms (compared to TKSL/386). These algorithms involve the simplification of generic expressions into polynomials, parallelization independent of the integration method etc. This software runs on a Linux server which communicates using the TCP/IP stack. The equipment was successfully used to simulate VLSI circuits whose solution by CSM was much faster and more memory-efficient than the state-of-the-art SPICE.
|
|
|
Webový editor a simulátor hradlových sítí
Horák, Jan ; Kruliš, Martin (vedoucí práce) ; Bulej, Lubomír (oponent)
Jedním z témat vyučovaných v rámci informatiky jsou principy hradlové logiky. Pomůckou k lepšímu pochopení této látky může být aplikace, která stu- dentům umožní sestavovat a zkoumat hradlové sítě. Měla by být jednoduše použitelná a její instalace by měla být snadná nezávisle na vybavení počítače. Podařilo se nám vytvořit prototyp webové aplikace, která tyto požadavky splňuje a umožňuje sestavování logických obvodů ze všech základních typů hradel, a která názorně zobrazuje hodnotu na každém vodiči. Implementovali jsme i další funkce, které zpříjemní použití aplikace - neomezenou editační plochu, úvodní tutoriál, možnost importu a exportu sítí do souboru či knihovnu log- ických obvodů, které lze importovat v podobě sítě či samostatné komponenty. Aplikace je díky objektovému přístupu a rozdělení jednotlivých částí do modulů snadno rozšiřitelná a její zdrojový kód je uvolněn pod open-source licencí. 1
|
host ::
RSS.