|
|
Architektura mezi smysly
Kacetlová, Kateřina ; Eyer, David (oponent) ; Mléčka, Jan (vedoucí práce)
Práce shrnuje současné možnosti stavby rodinného domu s ohedem na tradici a vztah obyvatel nejen k okolní krajině ale i k sobě samým. Konkrétně se zabývá možností využití přírodních stavebních materiálů a vytvoření variabilního vitálního prostoru pro potřeby současné rodiny. Předdiplomová část práce obsahuje manuál vývoje a současných přístupů v oblasti mimosmyslového vnímání architektury. Návrhová část popisuje vlastní návrh rodinného domu. Výsledky této práce umožňují základní nahlédnutí do dané problematiky a ilustrují praktické využití těchto poznatků při stavbě rodinného domu.
|
|
|
Algoritmus pro pevné body homomorfismů na slovech
Matocha, Vojtěch ; Holub, Štěpán (vedoucí práce) ; Žemlička, Jan (oponent)
V předložené práci studuji polynomiální algoritmus, který pro dané slovo rozhoduje, zda je pevným bodem nějakého netriviálního homomorfismu. Součástí práce je zpřesněný odhad složitosti, algoritmus v nejhorším případě pracuje v čase O(m · n), kde n značí délku slova a m velikost použité abecedy. V práci se dále zabývám problémem union-find, který je stěžejní součástí popisovaného algoritmu, a s odhadem jeho složitosti související Ackermannovou funkcí. V práci jsou shrnuty používané metody a důkazy jejich složitostí a je popsán postup, kterým lze řešit speciální případ union-find vyskytující se ve zkoumaném algoritmu. Následuje konkrétní implementace algoritmu, jejíž testovaná složitost odpovídá zpřesněnému odhadu. Součástí práce je také vizualizace chodu algoritmu na konkrétních vstupech.
|
|
|
Meze pro vzdálenostně podmíněné značkování grafů
Kupec, Martin ; Fiala, Jiří (vedoucí práce) ; Dvořák, Zdeněk (oponent)
Problém λ − L(p, q)-značkování je přiřadit vrcholům grafu značky {0, . . . , λ} tak, aby sousední vrcholy měly značky od sebe vzdálené alespoň p a vrcholy se společným sousedem značky od sebe vzdáleny alespoň q. Zabýváme se výpočení složitostí tohoto problému a stanovujeme hraniční hodnoty λ, p a q, pro které se tento problém stává NP těžký. Důkaz je veden promocí dvou různých redukcí. Jedna je z NAE-3SATu, druhá z problémů hranového dobarvení před- barveného grafu. 1
|
|
|
Automatizace externí ekonomické analýzy podniku
Baroch, Václav ; Kyjonka, Vladimír (vedoucí práce) ; Král, Jaroslav (oponent)
Automatizované zpracování ekonomické analýzy podniku přináší jistá omezení. Klasická von Neumannova architektura doznala v poslední době určitých vylepšení, a je tak možné simulovat procesy, jejichž algoritmické zpracování bylo ještě před pár lety z praktického hlediska nemyslitelné, především kvůli nedostatečné početní a paměťové výkonnosti užívané IT technologie. Přes všechna zrychlení a razantní vylepšení IT technologií v posledních letech však softwarové zpracování simulace podnikových procesů naráží na dvě podstatná omezení, jež jsou popsána v práci. Je to nemožnost vytvářet izomorfní model reality a nutnost řešit simulaci interních a externích procesů v diskrétním čase.
|
|
|
Hodnocení komplexity signálu ve zpracování zobrazení pomocí funkční magnetické rezonance
Vyhnánek, Jan ; Boldyš, Jiří (vedoucí práce) ; Dvořák, Jiří (oponent)
Zobrazení pomocí funkční magnetické rezonance je v současné době nejpoužívanějším nástrojem pro zkoumání mozkové aktivity lidí a zířat. Předmětem dobývání znalostí z naměřených dat je typicky lokalizace struktur mozku aktivovaných během kognitivního úkolu, která je standardně vyhodnocována pomocí lineárního modelu či korelačních metod. Pro tento účel ale bylo některými autory navrženo také užití různých metod pro hodnocení komplexity signálu, které by mohly překonávat řadu omezení standardních metod zejména díky nezávislosti na a priori znalostech o vlastnostech dat. Tato práce vysvětluje možnosti využití metod hodnocení komplexity včetně aspektů jejich konfigurace a navrhuje dosud nepublikované srovnání metod při aplikaci na simulovaná data splňující očekávané biologické charakteristiky. Z výsledků evaluace vyplývá malý význam užití těchto metod v případech, kdy bylo možné zároveň použít i standardní metody. Hodnocení komplexity pomocí aproximativní entropie bylo v rámci evaluace shledáno účinným nástrojem v případě porovnání regularity signálu, vlastnosti nezjistitelné standardními metodami. Metody pro hodnocení regularity signálu nastavené na základě výsledků evaluace byly následně aplikovány na data naměřená v rámci studie zabývající se výzkumem emocí u pacientů s bipolární poruchou a bylo zjištěno, že...
|
|
|
Makroevoluční a ekologické implikace teorie zamrzlé plasticity
Toman, Jan ; Flegr, Jaroslav (vedoucí práce) ; Fatka, Oldřich (oponent) ; Mikuláš, Radek (oponent)
Teorie zamrzlé plasticity je punktuacionalistickou teorií adaptivní evoluce, podle které se v evoluci pohlavních druhů střídají dlouhá období stáze, během kterých reagují populace na selekční tlaky pouze elastickou změnou ve frekvenci již přítomných alel, s krátkými obdobími plastické evoluce, během kterých může docházet k fixaci a eliminaci alel působením usměrněného výběru. Nepohlavní druhy by si podle tohoto konceptu sice neměly dlouhodobě udržovat tak vysoký genetický polymorfismus, zase by ale měly vykazovat potenciál plasticky reagovat na selekční tlaky v průběhu celé své existence. Tento rozdíl mezi dynamikou evoluce pohlavních a nepohlavních kladů má celou řadu ekologických a makroevolučních implikací. Co se ekologie týče, mohli bychom očekávat odlišné environmentální preference pohlavních a nepohlavních druhů. V naší první práci jsme v souladu s tím na základě srovnávací studie statisticky významně podpořili hypotézu, že se (starobyle) nepohlavní skupiny (eukaryot) vyskytují přednostně ve stabilnějších a homogennějších habitatech než jejich příbuzné pohlavní kontroly. Zásadním faktorem se přitom ukázalo vycházet ze skutečně zažívané, tj. subjektivní, heterogenity prostředí. Z hlediska makroevolučních implikací teorie zamrzlé plasticity je zásadní předpoklad, že se v průběhu existence...
|
|
|
Evoluce jako cesta k Bohu v díle Teilharda de Chardin
Jirousová, Františka ; Karfíková, Lenka (vedoucí práce) ; Sokol, Jan (oponent) ; Macek, Petr (oponent)
Tématem práce je pojem centrování v díle Teilharda de Chardin. Centrování je zkoumáno se zřetelem ke dvěma souvisejícím cílům. 1) Ukázat logickou strukturu Teilhardovy křesťanské evoluční teorie a 2) vyložit, jak se k sobě vztahuje centrování, které provádějí stvořené bytosti, a centrování připisované Bohu jako ohnisku evoluce. Jinak řečeno: ukázat souvislost mezi radikální svobodou, kterou Teilhard připisuje stvořeným bytostem a která podle jeho pojetí vrcholí u člověka, a Boží svobodou, která se projevuje řízením celého vesmíru k cíli, jímž je plnost bytí (pléróma). První část představuje Teilhardův život a kontexty jeho práce. Ve druhé části jsou vyloženy hlavní pojmy Teilhardovy teorie a metafyziky, jako je "vědomí", "duch", "energie", "centro-komplexita" a "hmota" a jsou vztaženy k pojmu centrování. Centrování je zde ukázáno jako činnost vědomí spočívající ve sjednocujícím formování mnohosti jejím provázáním různými typy vztahů kolem jednoho centra. Při takovém sjednocení se projevuje hlavní evoluční zákon "diferenciace sjednocením". To znamená, že takto sjednocené části se začnou rozrůzňovat. Je ukázáno, jak v evoluci postupně vznikají stále komplexnější celky obsahující více vzájemně kooperujících center a jaký význam mají pro kvalitativní nárůst bytí komunikační vztahové sítě mezi...
|
|
|
Teorie komunikace jakožto explanatorní princip přirozené víceúrovňové segmentace textů
Milička, Jiří ; Zemánek, Petr (vedoucí práce) ; Cvrček, Václav (oponent) ; Altmann, Gabriel (oponent)
1. Na rozdíl od distinktivních rysů a morfémů nejsou hlásky, slova, věty ani souvětí logickou nezbytností jazyka. 2. Přesto je tento nebo podobný druh vnořené segmentace přítomen v různých jazycích a je pevně zakotven i v naší představě o jazyce. 3. Je tomu tak, neboť vnořená několikaúrovňová segmentace dovoluje vkládání redundance na různých úrovních, což je efektivní způsob, jak přenést informaci přes kanál obsahující dávkový šum. 4. Existuje mnoho strategií, jak redundanci vložit, a druhů redundance, které vlo- ženy být mohou. 5. Kvůli oddělování segmentů je do segmentů vkládáno určité množství informace navíc. Množství této informace je nezávislé na délce segmentu, který odděluje. Na tomto principu je možno založit úspěšný model pro Menzerathův vztah.
|
|
|
Grover's algorithm in Quantum computing and its applications
Katabira, Joseph ; Návrat, Aleš (oponent) ; Hrdina, Jaroslav (vedoucí práce)
Quantum computing as a new field of computing is a quickly growing field which encapsulates the role of quantum phenomenon in our day to day lives. Because of the quantum characteristics, quantum computers have proved quantum supremacy over the classical computers. In this thesis we focused on discussing basics of quantum computing and in particular we focused on discussing the functioning, construction and implementation of Grover algorithm as a special case of quantum algorithms. We showcased its power as a database search algorithm over the classical non quantum ones through our algorithmic construction implemented through QISKit simulation environment. To simulate our construction, we made use of QASM Simulator and the State vector Simulator Aer backends and the results obtained correlated with the earlier discussed theoretical findings highly proving that Grover's algorithm provides quadratic speed up over the classical non quantum search algorithm which is a much better improvement but as at hand, the applicability of the algorithm as many others is still limited by several factors amongst which includes high decoherence levels and gate errors.
|
|
|
Kombinatorika matematických struktur
Paták, Pavel
Kombinatorika matematické struktury prvního řádu je třída všech formulí, které platí ve všech strukturách v ní definovatelných. Tento pojem poprvé zavedl Krajíček v [6]. V předložené práci se zabýváme charakterizací a srovnáním kombinatorik známých matematických struktur (reálná a komplexní čísla, husté lineární uspořádání, …). Dále se věnujeme otázce výpočetní složitosti, tj. Otázce jak těžké je zjistit, zda daná formule leží v kombinatorice dané struktury. Dokážeme, že v případě modelů úplných teorií bez vlastností striktního uspořádání (SOP) či v případě pseudokonečných struktur je tento problém korekurzivně spočetně úplný, a tudíž algoritmicky neřešitelný.
|
host ::
RSS.