|
|
Lexikální zápor u francouzských adjektiv - sémantická a morfologická omezení
Orel, Jan ; Štichauer, Jaroslav (vedoucí práce) ; Nádvorníková, Olga (oponent)
Tato diplomová práce se zabývá problematikou lexikálního záporu francouzských adjektiv, ale i dalších slovních druhů - substantiv a adverbií. Cílem je popsat fungování lexikální negace a prozkoumat omezení, která ji doprovází. Na základě těchto poznatků se praktická část, tj. vlastní výzkum, pokouší o stanovení tendence použití lexikální negace v blízké budoucnosti. V neposlední řadě také popisuje použití negace obecně, nebo mimo standardní spisovnou francouzštinu, v argotu, nebo hovorovém jazyce.
|
|
|
Omezení a evoluce velikosti vajec a mláďat u amniotických obratlovců
Kubát, Jan ; Kratochvíl, Lukáš (vedoucí práce) ; Hořák, David (oponent)
Amniotičtí obratlovci (savci a plazi včetně ptáků) vykazují značnou rozmanitost v relativní velikosti vejce/mláděte vzhledem k velikosti matky. Tato práce shrnuje mechanismy určující velikost vajec a mláďat (např. morfologická či fyziologická omezení, kompromis mezi počtem a velikostí). Zvláštní zřetel je věnován srovnání alometrických vztahů velikosti vejce/mláděte vůči velikosti matky mezi jednotlivými skupinami a jejich determinantám.
|
|
|
Role evolučních mechanismů v designování akustických signálů
Rulfová, Alena ; Policht, Richard (vedoucí práce) ; Linhart, Pavel (oponent)
Akustická komunikace je v celé živočišné říši poměrně silně rozšířený jev. Téma evolučních mechanismů a jejich působení v akustické komunikaci je v posledních letech vcelku hojně studované, a to zejména u ptáků, netopýrů či žab. I přes tento fakt byly některé evoluční mechanismy dosud studovány detailně, zatímco jiné byly neprávem opomíjeny. Velice dobře prostudovaný je proces působení selekce (přírodního a pohlavního výběru) na akustické projevy, zatímco náhodné procesy, jako genetický drift či bottleneck, byly na poli této problematiky studovány spíše sporadicky. Genetický drift vede v akustické komunikaci k náhodným změnám v akustických projevech. Obdobou genetického driftu je pak drift kulturní, a to u druhů, které jsou schopny vokálního učení se. Změny v důsledku kulturního driftu mohou ale nemusí být spojeny se změnami na genetické úrovni. Velmi málo prostudovaným fenoménem na poli evolučních mechanismů v bioakustice je bottleneck. Zdá, že tento jev je příčinou redukce nejen genetické, ale také akustické variability živočichů. Některé parametry akustických projevů jsou utvářeny prostředím, a to zejména parametry spojené s frekvencí hlasu. Jiné oproti tomu velice dobře odrážejí fylogenetické vztahy mezi příbuznými druhy, a na základě těchto parametrů tak lze, kromě fylogeneze, mapovat kupříkladu...
|
|
|
MS SQL Application Development Framework
Hanes, Marek ; Kopecký, Michal (vedoucí práce) ; Hoksza, David (oponent)
Název práce: Nástroje pro vývoj MS SQL aplikací Autor: Bc. Marek Hanes Katedra / Ústav: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Michal Kopecký, Ph.D. Abstrakt: Tato práce pojednává o vývoji databázových aplikací a snaží se najít možnosti zefektivnění nejčastejších problémů. Cílem práce je návrh a imple- mentace modulárních nástrojů, které zjednodušují vývoj databázových aplikací a zabraňují nezkušeným uživatelům použití nebezpečných SQL příkazů nebo výrazů. Příkladem mohou býti insert příkazy bez seznamu sloupců, nebezpečné XPath výrazy a tak dále. Nástroje mimo jiné umožňují manipulaci s historickými tabulkami umožnujíc verzování dat a vracení nežádoucích datových změn asynchronní a paralelní zpracování SQL příkazů, správu chyb a podporu logování, monitorování změn schémat a též ladění procedur a funkcí Spolu s prostředky na manipulaci dat umožnují nástoje jednoduché zveřejnění uložených procedur v podobe webových služeb. Nástroje jsou doprovozeny pro- gramátorskou a uživatelskou dokumentací umožňující další vývoj. Klíčová slova: vývoj aplikací, nástroje, modulární design, bezpečné výrazy, omezení 1
|
|
|
Search Strategies for Scheduling Problems
Kypta, Tomáš ; Barták, Roman (vedoucí práce) ; Čepek, Ondřej (oponent)
V předložené práci porovnávám prohledávací strategie pro řešení rozvrhovacích problémů z pohledu programování s omezujícími podmínkami. Těžiště práce je věnováno rozvrhovacím problémům obsahujícím alternativní úlohy. V práci jsou jednak rozebrány různé již publikované způsoby modelování těchto problémů, dále pak jsou popsány a experimentálně porovnány prohledávací strategie pracující s těmito modely. Porovnáván je zejména vliv strategií na rychlost práce řešiče v závislosti na typu a velikosti dat. Jako vedlejší efekt práce studuje možnosti řešení rozvrhovacích problémů obsahujících alternativní úlohy pomocí řešiče Choco, který byl pro implementaci experimentů použit.
|
|
|
Jednotky pro asynchronní přechody v obvodech FPGA
Cabal, Jakub ; Fujcik, Lukáš (oponent) ; Bohrn, Marek (vedoucí práce)
Cílem této práce je provést rozbor a implementaci jednotek pro řešení asynchronních přechodů v obvodech FPGA. Tyto přechody jsou nevyhnutelné ve složitějších obvodových návrzích a jejich nesprávná implementace může vést ke ztrátě nebo poškození dat. Dále se práce zaměřuje na aplikování správných omezujících podmínek (constraints). V praktické části této práce je popsána realizovaná knihovna asynchronních přechodů. Dále praktická část práce popisuje vytvořenou metodiku použití asynchronních přechodů, jejíž uplatnění je demonstrováno na případové studii v obvodu síťové karty vytvořeném pro akceleračníkartu COMBO-80G.
|
|
|
Toolbox pro vícekriteriální optimalizační problémy
Marek, Martin ; Hurák,, Zdeněk (oponent) ; Kadlec, Petr (vedoucí práce)
Tato práce se zabývá problematikou více-kriteriálních optimalizací. Je vysvětleno, která řešení jsou optimální při použití více konfliktních kriteriálních funkcí a jak tato optimální řešení (Paretovo čelo) v množině možných řešení vyhledat. Poté jsou popsány principy algoritmů NSGA-II, MOPSO a GDE3. V následujících kapitolách jsou představeny testovací metriky a problémy. Na závěr práce jsou tyto tři algoritmy porovnány na základě několika metrik.
|
|
|
Aplikace pro generování školních rozvrhů
Fiala, Jan ; Horáček, Jan (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce se zabývá problémem generování školních rozvrhů. Řešení je založené na třech různých heuristických algoritmech (horolezecký algoritmus, simulované žíhání, genetický algoritmus) a je celé implementováno v jazyce Java. Přináší srovnání implementovaných heuristických algoritmů včetně popisu jejich výhod a nevýhod.
|
|
|
Moderní CAD systémy v silnoproudé elektrotechnice
Strnad, Karel ; Vorel, Pavel (oponent) ; Kuchyňková, Hana (vedoucí práce)
Práce se zaměřuje na stručné shrnutí historie CAD systémů a popisuje novinky, které přináší nová verze programu Autodesk Inventor oproti předešlé verzi. Poté je v pěti krocích popsán postup parametrického modelování v programu Autodesk Inventor od náčrtu až po výsledný 3D model včetně výkresové dokumentace. Důraz je kladen zejména na vysvětlení základních modelovacích funkcí a prostředí v témže programu. Důležitou součástí této práce je i stručné vysvětlení některých pojmů vztahujících se k parametrickému modelování a animace modelu vytvořeného v programu Autodesk Inventor.
|
|
|
Využití simplexového algoritmu pro transformaci výroby
GUROVIČOVÁ, Eva
Cílem diplomové práce bylo navrhnout transformaci výroby s použitím simplexového algoritmu. Transformace navázala na bakalářskou práci, pro kterou jsem vytvořila prvotní výrobu zemědělského podniku se zaměřením na rostlinnou a živočišnou výrobou. Transformace spočívala v přeměně mléčné produkce na produkci zaměřenou na chov krav bez tržní produkce mléka. Základní kamenem bylo předělání rostlinné výroby. Její produkce se používala nejen pro výrobu vlastního krmení, ale prodejem rostlinných komodit na trhu pro zvyšování zisku. Nová výroba se zaměřuje na pěstování rostlinné výroby čistě jen pro vlastní spotřebu jako krmivo. Veškerý zisk vytváří živočišná výroba. Záměrem tedy bylo transformovat rostlinnou a živočišnou výrobu tak, abych získala co nejefektivnější nový způsob využití osevní plochy, pro změnu výroby.
|
host ::
RSS.