|
| |
|
|
Prototypové ověření modifikace evolučního algoritmu
Švestka, Marek ; Rajnoha, Martin (oponent) ; Šeda, Pavel (vedoucí práce)
Tato práce se zabývá evolučními algoritmy s vazbou na problém plánování přistávání letounů na letištích. Cílem práce je vytvořit genetický algoritmus na řešení této úlohy, aplikovat zvolené modifikace od vedoucího práce, výsledky statisticky zpracovat a porovnat. Hledání řešení problému probíhá za pomoci různých selekčních metod, které jsou blíže porovnány a vyhodnoceny. Vstupní data pro konkrétní úlohu jsou použity z Operations research knihovny. Výstupem práce je náhled na evoluční přístup k programování a jeho využití.
|
|
|
Algoritmus pro realistickou tvorbu cévního řečiště syntetických sítnic
Dvořák, Martin ; Drahanský, Martin (oponent) ; Semerád, Lukáš (vedoucí práce)
Cílem této práce je zdokonalit existující nástroj na vytváření syntetických sítnic oka. Zlepšení dosavadního softwaru probíhá změnou algoritmu pro tvorbu cévního řečiště. Zvolený problém byl vyřešen navrhnutím algoritmu, který vychází z reálného chování cévního systému v sítnici oka. Skutečné snímky byly statisticky zaznamenány. Matematické programy vytvořily aproximační křivky cév. Byly sledovány směry cév, místa větvení a počet větvených cév. Na základě zjištěných informací a pravděpodobnosti větvení byl navržen model pro generování syntetických snímků. Hlavním výsledkem jsou syntetické sítnice, které obsahují vzory chování skutečných sítnic oka. Tyto snímky mají podobný počet cév a směřují do stejných oblastí jako reálné snímky.
|
|
|
Programovací nástroje pro algoritmizaci a programováni na ZŠ
Dümont, Jan ; Novák, Jaroslav (vedoucí práce) ; Vaňková, Petra (oponent)
Tato bakalářská práce analyzuje minulý a současný stav vzdělávací oblasti algoritmizace a programování na základní škole na základě výzkumů prováděných na Katedře informačních technologií a technické výchovy Pedagogické fakulty UK v Praze. Přináší přehled různých výukových metod a programů, které napomáhají k rozvíjení dovedností žákům vzhledem k jejich věku a dosaženým dovednostem v této oblasti. V teoretické části práce jsou také vymezeny základní pojmy tématu algoritmizace a programování. Na ni navazuje praktická část využívající teoretických poznatků ve výuce informatiky i v jiných předmětech.
|
|
| |
|
|
Balanced and almost balanced group presentations from algorithmic viewpoint
Skotnica, Michael ; Tancer, Martin (vedoucí práce) ; Paták, Pavel (oponent)
V této práci se zabýváme algoritmickými vlastnostmi prezentací grup, což jsou konečné prezentace, kde počet generátorů a počet relací je stejný. Hlavní motivací je, že rozhodnutelnost některých problémů, např. zjistiť, zdali pre- zentace je prezentací triviální grupy (triviality problem), je pro balancované prezentace otevřená. Nejprve shrneme známé výsledky o rozhodovacích problémech pro ko- nečné prezentace a poté ukážeme dvě vlastnosti, které jsou nerozhodnutelné i pro balancované prezentace. Jedná se o vlastnosti "býti volnou grupou" a "mít prezentaci i na 12 generátorech". Dále ukážeme převody některých grafových problémů na triviality pro- blem. Např. rozhodování, zdali je graf souvislý, k-souvislý nebo souvislý ne- bipartitní. Také ukážeme převod rozhodování, zdali je graf se stejným po- čtem vrcholů a hran kružnice, na triviality problém pro balancované prezen- tace. Zamyslíme se také nad limity převodů na triviality problem pro balan- cované prezentace. Konkrétně ukážeme, že neexistuje balancovaná prezen- tace na dvou generátorech ⟨a, b|ap(m) bq(m) , ar(m) bs(m) ⟩, kde p(m), q(m), r(m), s(m) ∈ Z[m], která by popisovala triviální grupu právě tehdy, když m je liché. V poslední části této práce shrneme, jak prezentace grup souvisí s topo- logií. Doplněk k práci je také jednoduchý program, který...
|
|
|
Algorithms for the computation of Galois groups
Kubát, David ; Žemlička, Jan (vedoucí práce) ; Růžička, Pavel (oponent)
Tato práce se zabývá algoritmy pro výpočet Galoisovy grupy nad racionálnímy čísly. Jako první je představen klasický algoritmus R. Stauduhara. Pozornost je poté věnována výkladu teorie nutné pro vysvětlení modulárního algoritmu K. Yokoyamy. Definujeme pojem univerzálního rozkladového okruhu polynomu. Pro separabilní polynom studujeme idempotenty tohoto okruhu. Práce zahrnuje příklady pro polynomy stupně 3 a 4.
|
|
| |
|
|
Automatizované obchodování na kryptoměnových burzách
Křesťan, Zdeněk ; Zbořil, František (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce je zaměřena na automatizované obchodování na burzách s kryptoměnami. Kryptoměny jsou dnes velice rozšířené. Možnost automatického nákupu a prodeje je zajímavé téma, které je stále více zmiňováno. Hlavní část práce je návrh algoritmu pro zpracovávání dat z burz, jejich vyhodnocování a následné provádění obchodů s kryptoměnami. Popisuje také jeho implementaci, testování a nastiňuje možné další rozšíření.
|
|
| |
host ::
RSS.