|
NCMPL 2011 Abstracts
Cintula, Petr ; Ju, S. ; Víta, Martin
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, 2011. Modalities and predicates have since ancient time been central notions in logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical settings. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference was solely dedicated to modal and predicate non-classical logics. Its aim was to bring together esearchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.
|
|
Differences and similarities on the approaches of buyers from X and Y generations regarding sustainable procurement
Lacour, Maxime ; Štěrbová, Ludmila (vedoucí práce) ; Geniaux, Isabelle (oponent)
Zodpovědné zásobování se stalo skutečnou výzvou pro firmy v návaznosti na současné trendy Corporate Social Responsibility (CSR) a pro další eticky orientované zákazníky. Na rozdíl od pojmu "zelené zásobování", tento pojem odpovědných zakázek podporuje společnosti k využívání etického a udržitelného zásobování. Obvyklá kritéria při zadávání veřejných zakázek jako je cena, výkony, inovace, termíny a doba splatnosti, jsou stále více spojovány s těmi více eticky orientovanými. Tato kritéria týkající se etiky kombinují jak sociální tak ekologickou odpovědnost dodavatelů a dalších stakeholders, jako jsou energetické úspory a dodržení určité certifikace. V současné době je mnoho výzev k předkládání nabídek stanovujících také ekologické požadavky na dodavatele nebo subdodavatele, a to i v kategorii nestrategického zásobování. Cílem této práce je porovnat tento přístup odpovědných zakázek mezi kupujícími z generace X a z generace Y: sdílejí stejné názory na zodpovědné zásobování? Jsou pro ně výhody a nevýhody odpovědného zásobování podobné?
|
|
Spekulační aktivita na trhu s ropou a její vliv na cenu komodity
Melcher, Ota ; Taušer, Josef (vedoucí práce) ; Baláž, Peter (oponent) ; Müller, Štěpán (oponent)
Práce si klade za cíl analyzovat vývoj na trhu s ropou v předkrizové období, přičemž se primárně zaměřuje na posouzení role spekulací ve vývoji ceny komodity a její volatilitě. Nejprve popisuje prudký růst spekulační aktivity na termínových trzích spolu s výraznou dynamikou růstu cen komodity. Spekulační aktivita je přitom aproximována mírou expozice (rozsahem pozic) vybraných účastníků termínového trhu a následně kvantifikována pomoci tzv. Workingova T-indexu. Studie pak využívá úrovně expozice obchodníků a cen komodity k testování Grangerovy kauzality mezi proměnnými v rámci vektorových autoregresních modelů VAR. Pro úplnost provádíme rovněž test kauzálních vazeb mezi pozicemi obchodníků a úrovní zásob. Dále studie zkoumá dopad spekulací na volatilitu ceny ropy, přičemž jsou aplikovány různé přístupy ke kvantifikaci volatility v čase včetně modelů podmíněného rozptylu GARCH. V rozporu s očekáváním zjišťujeme, že dopad spekulací na cenu komodity a její volatilitu je spíše zanedbatelný. V poslední kapitole tak hledáme příčiny cenového vývoje komodity pomocí analýzy tržních fundamentů. Porozumění vývoji cen v předkrizovém období nacházíme právě ve vzájemné interakci nabídky a poptávky.
|
|
Rozdíly v postavení mužů a žen na českém trhu práce
Stroukal, Dominik ; Kadeřábková, Božena (vedoucí práce) ; Pavelka, Tomáš (oponent) ; Němec, Otakar (oponent)
Tato disertační práce se skládá z pěti článků, které aplikují aktuální světový výzkum ekonomie trhů práce na Českou republiku a potvrzuje významné rozdíly v postavení mužů a žen na tomto trhu. Ukazuje, že gender má významný vliv na preference na pracovním trhu a následně i na zaměstnanost a zdravotní stav. Práce nejprve dokládá, že preference jsou relevantním determinantem kariéry a poté studuje rozdíl v preferenci výše platu u žen a mužů. Následně se ukazuje, že pro gender hraje významnou roli ve vysvětlování vztahu mezi vlastnickým bydlením a nezaměstnaností a také nezaměstnaností a zdravotním stavem. V první kapitole se podařilo prokázat, že preference pro pracovní kariéru má pozitivní vliv na volbu pracovní kariéry. Vliv vysokoškolského vzdělání na upřednostnění kariéry se projevil jako kladný a významný. Pravděpodobnost volby pracovní kariéry snižuje přítomnost dětí, avšak není závislá na jejich počtu, což je v rozporu s teorií preferencí. Druhá kapitola ukazuje, že české ženy preferují oproti mužům více nepeněžní odměny. Také bylo ukázáno, že u vysokoškolsky vzdělaných v preferencích nepeněžních odměn nezáleží na pohlaví respondentů, avšak oproti světovým výzkumům v ČR vysokoškolské vzdělání tuto preferenci zvyšuje. Nakonec se ukázalo, že ženy méně než muži preferují riziko. Třetí kapitola dokládá, že přestože trh s bydlením narušuje pracovní mobilitu a zaměstnanost v České republice na regionální úrovni, tedy že v regionech s vyšší mírou vlastnického bydlení je vyšší nezaměstnanost, na individuální úrovni platí, že jsou vlastníci bydlení nezaměstnaní s menší pravděpodobností. V odhadech se výrazně lišili muži od žen. Muži žijící ve vlastnickém bydlení mají vyšší pravděpodobnost zaměstnanosti než ženy, na regionální úrovni se však ukazuje, že vysoká míra vlastnického bydlení zvyšuje nezaměstnanost mužům mužům i ženám, v delším čase pouze ženám. Čtvrtá kapitola ukázala, že u mužů přechod k vlastnickému bydlení snižuje v následujícím roce pravděpodobnost nezaměstnanosti. U žen se tento vztah ukázal jako nevýznamný. Vedle toho se jako nevýznamný projevil vztah opačný, tedy od přechodu do nezaměstnanosti k nově nabytému vlastnickému bydlení. Poslední kapitola dokládá, že změna pracovního statusu na nezaměstnanost zvýší v budoucnosti pravděpodobnost na zhoršení zdraví. Vliv kratší než dva roky se však neukázal jako významný. Důležitým závěrem je, že muži mají významně silnější vztah mezi zdravím a nezaměstnaností než ženy.
|
|
Teorie redistribuce a její aplikace
Mihalčinová, Hana ; Dlouhý, Martin (vedoucí práce) ; Valenčík, Radim (oponent) ; Peško, Štefan (oponent)
Teorie redistribučních systémů je praktickým rozšířením teorie her, která se zabývá redistribucí uvnitř sociálního systému, kde jsou více než dva hráči s různými výkonnostmi a možností tvorby koalic. Práce je rozdělena do tří kapitol. V první kapitole jsou popsány teoretické poznatky z teorie her. Druhá kapitola se zabývá teorií redistribučních systémů. Pomocí elementárního redistribučního systému a jeho zobecnění je popsáno skupinové chování při dělení výplaty získané společným výkonem. Je zde představeno rozšíření redistribučního systému na složený redistribuční systém s fraktální strukturou. Dále je ověřena teorie diskriminační a společně přijatelné rovnováhy na elementárním redistribučním systému a také pomocí teorie užitku. Ve třetí kapitole je popsáno využití teoretických poznatků na alokaci prostředků na financování fakulty vysoké školy. Byl použit přístup teorie her, kdy se pomocí tvorby koalic redukovala hra na nekooperativní hru dvou hráčů. Také byla použita teorie redistribučních systémů, kdy byla využita redukce na nekooperativní hru dvou hráčů. Tato redukovaná nekooperativní hra dvou hráčů byla převedena na kooperativní hru více než dvou hráčů pomocí změny pravidel hry a umožněním tvorby koalic. Oba tyto přístupy jsou v praktické části porovnány na konkrétních datech s aktuálním stavem.
|
| |
|
Vliv sněhové pokrývky na odtok během dešťových srážek.
Juras, Roman ; Máca, Petr (vedoucí práce) ; Ladislav , Ladislav (oponent)
V zimním období, kdy leží na povodí sněhová pokrývka, stále přibývá výskytu dešťových srážek. Déšť dopadající na sníh (ROS) má často za následek vznik povodní a mokrých lavin. Predikce vlivu ROS záleží především na lepším pochopení mechanismů vzniku a složení odtoku ze sněhové pokrývky. Spojení simulace deště na sněhovou pokrývku a využití stopovačů bylo testováno jako vhodný nástroj pro tento účel. Celkem bylo provedeno 18 experimentů na sněhovou pokrývku s různými počátečními vlastnostmi v horských podmínkách střední a západní Evropy.
Pro určení charakteru proudění bylo použito barvivo brilliant blue (FCF), pomocí kterého je možné vizualizovat preferenční cesty, ale i určit rozhraní dvou vrstev o různých hydraulických vlastnostech. Zastoupení jednotlivých složek odtékající vody na výtoku bylo stanoveno pomocí metody separace hydrogramu, která poskytuje dobré výsledky s přijatelnou nejistotou. Z technických důvodů nebylo možné obě metody použít současně během jednoho experimentu, i když by to ještě více rozšířilo znalosti o dynamice proudění dešťové vody ve sněhové pokrývce. Množství tavné vody bylo vypočteno pomocí rovnice energetické bilance. Použití této rovnice je poměrně přesné, ale zároveň náročné na vstupy. Z toho důvodu bylo tání vypočteno pouze u jednoho experimentu.
Rychlost vzniku odtoku roste v první řadě intenzitou srážky. Počáteční vlastnosti sněhové pokrývky, jako hustota a vlhkost, ovlivňují rychlost vzniku odtoku až druhotně. Na druhou stranu při stejné intenzitě srážky vykazovala nevyzrálá sněhová pokrývka s malou hustotou rychlejší hydrologickou odpověď, než vyzrálá pokrývka s větší hustotou. Velikost odtoku je závislá, především na počátečním nasycení. Vyzrálá sněhová pokrývka s vyšším počátečním nasycení generovala vyšší celkový odtok, kde dešťová voda přispívala maximálně z 50ti %. Proti tomu protekla dešťová voda nevyzrálou sněhovou pokrývkou poměrně rychle a do odtoku se propagovala přibližně z 80ti %.
Pro predikci odtoku během ROS byla použita Richardsova rovnice v rámci modelu SNOWPACK. Tento model byl upraven tak, že byla sněhová matrice rozdělena pro lepší simulaci preferenčního proudění. Tento přístup přinesl zlepšení výsledků oproti klasickému přístupu, kdy se uvažuje pouze matricové proudění.
|
|
Navrhování experimentů pro nestacionární produkční procesy
Jadrná, Monika ; Macák, Tomáš (vedoucí práce)
Disertační práce se zaměřuje na oblast služeb a oblast hromadné výroby. Konkrétně se jedná o optimalizaci produktového portfolia cestovní kanceláře a optimalizaci výroby nábojů.
V literárních východiscích je vysvětlena terminologie z oblasti rozhodování a popsány metody, které jsou používány pro podporu rozhodování. Jedná se o aktuální přehled řešené problematiky a definování základních pojmů. Teoretická východiska výzkumu jsou v oblasti služeb zaměřena na volbu vhodných vstupních proměnných. V oblasti výroby pak na volbu konkrétního materiálu a vhodného vybavení pro danou výrobu. Literární východiska a teoretická východiska výzkumu současně tvoří základ pro praktickou část práce.
V praktické části disertační práce je zvolen konkrétní podnik působící v daném odvětví. V oblasti služeb je optimalizováno produktové portfolio pomocí Fuzzy logiky a Fuzzy množin, tak aby firma působící v dané oblasti byla schopna se uplatnit a fungovat na současném vysoce konkurenčním trhu. V oblasti výroby je nastaveno optimální složení produktu tak, aby bylo dosahováno jeho požadovaných vlastností.
Hlavním cílem disertační práce je návrh metodického přístupu pro řízení vybraných podnikových procesů při jejich nestacionárním časovém průběhu. V praktické realizaci je cílem verifikovat funkčnost navrženého metodického přístupu, jak v oblasti služeb, tak v oblasti hromadné výroby.
|
|
Populačně genetický rozbor plemene starokladrubský kůň
Vostrá Vydrová, Hana ; Majzlík, Ivan (vedoucí práce) ; Karel, Karel (oponent)
Starokladrubský kůň, spolu s plemenem lipicán, andaluský kůň a lusitano, patří mezi plemena starošpanělského a staroitalského typu a je chováno ve dvou barevných variantách (bělouši a vraníci). Protože se jedná o uzavřenou populaci, je populace ohrožena ztrátou genetické proměnlivosti. Genetická rozmanitost a populační struktura byla analyzována u starokladrubského koně na základě rodokmenových záznamů jedinců registrovaných v plemenné knize. Dále byly identifikovány faktory, které mohou ovlivnit genetickou variabilitu starokladrubského plemene. Rodokmenové záznamy použité v analýze zahrnovaly data o 7971 jedincích v rozmezí let 1729 až do roku 2013. Rodokmenové záznamy zahrnovaly 33 generací předků, s průměrnou kompletností rodokmenu 15,1. Efektivní počet zakladatelů a předků přispívajících do současného genofondu populace byl 92,69 a 17,16. Průměrné hodnoty koeficientů příbuzenské plemenitby byly následující: 13 % (s maximální hodnotou 29 %) pro referenční populaci (jedince schopné reprodukce n=612 jedinců), 11 % pro variantu běloušů (s maximální hodnotou 25 %) a 15% pro vranou variantu (s maximální hodnotou 29 %). Podíl inbredních jedinců v celé referenční populaci představoval 99 %. Průměrný nárůst koeficientu příbuzenské plemenitby z generace na generaci nabýval hodnot: 1% pro celou referenční populaci, 0,8 % pro variantu běloušů a 1,1 % pro variantu vraníků. Těmto hodnotám odpovídaly také hodnoty efektivní velikosti populace, které byly odhadnuty: 52 jedinců pro referenční populaci, 62 jedinců pro bílou variantu a 45 jedinců pro variantu vraníků. Odhadnuté ztráty genetické rozmanitosti z důvodu nenáhodného páření uvnitř sledované populace a barevných subpopulací byly 1 % pro celou referenční populaci a pro variantu běloušů a 1,2 % pro variantu vraníků. Celková ztráta genetické rozmanitosti pro celou referenční populaci a pro variantu běloušů a vraníků dosahovaly hodnot 11 %, 13% a 17%.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
host ::
