|
Trh s vínem v České republice a politika vinohradnictví a vinařství
Vlašicová, Eliška ; Tomšík, Karel (vedoucí práce) ; Malý, Michal (oponent)
Disertační práce je zaměřena na trh s vínem v České republice. Cílem je identifikovat nedostatky v odvětví vína za účelem zformování návrhů doporučení pro zlepšení stávající situace v odvětví. V teoretických východiscích práce byla ve zkratce představena Společná zemědělská politika Evropské unie a podrobněji byl popsán vznik a vývoj Společné organizace trhu s vínem. Dále byly popsány teoretické aspekty trhu, včetně nabídky a poptávky a byl charakterizován zemědělsko-potravinářský trh, jeho specifika, komoditní vertikála vína, determinanty poptávky, nabídky a ceny vína a byly vytvořeny obecné ekonometrické modely a jejich předpoklady, které posloužily k odhadům poptávky, nabídky a ceny vína. V dalších kapitolách práce byly vytvořeny analýzy trhu s vínem, zejména se zaměření na produkční potenciál vinic v ČR a na základě regresní analýzy byly modelovány poptávka, nabídka a cena vína včetně cenové transmise ve vertikále vína. Zásadní vliv na poptávku po vínu mají minulá spotřeba vína a cena vína, spotřeba substitutů piva a lihovin, (cena substitutů není významným faktorem), důchod domácností a hrubá mzda, na základě kterých bylo možné víno označit za normální statek, a konečně kvalita vína měřená cukernatostí a oceněním na mezinárodních soutěžích. Na nabídku vína významně působí cena moštových hroznů, cena vína, plocha vinic a produkce moštových hroznů. Mezi další významné faktory lze navíc zařadit některé aspekty počasí a určité dotace. Klimatická změna může vyústit k rozšíření vinohradnictví a vinařství v ČR a k obměně odrůdové skladby vinic. Poptávka má ve vertikále vína věší vliv než nabídka, což může mít negativní dopad na vinohradníky, popřípadě na vinaře. Výsadba vinic není dostačující pro zachování současné výše produkčního potenciálu vinic v ČR. Ideální rozsah roční výsadby révy vinné by měl být okolo 655 ha. S tím souvisí otázka financování obnovy vinic, která je nákladná (finančně náročná). Na základě finanční analýzy malých a středních vinařských podniků bylo zjištěno, že podniky si obnovu vinic nemohou dovolit z vlastních zdrojů a bude zapotřebí dotační výpomoci státu, popř. EU.
|
|
Antioxidační, anti-proliferační a imunomodulační účinky ovoce, zeleniny a hub in vitro
Doskočil, Ivo ; Havlík, Jaroslav (vedoucí práce) ; Orsák, Matyáš (oponent)
V poslední době stoupá zájem o nalezení nových druhů rostlin a hub, které mají antioxidační nebo antiproliferační aktivitu. Tento zájem je vyvolán zejména jejich možným léčivým a potravinovým využitím při mnoha onemocněních, které mohou být spojeny s oxidačním stresem, jako jsou například zánětlivá onemocnění střev, kardiovaskulární onemocnění, hypertenze nebo nádorová onemocnění.
Tato práce předkládá charakterizaci in vitro antioxidační a anti proliferační aktivity vybraných 19 džusů a 28 metanolových extraktů z ovoce a zeleniny, které jsou běžnou součástí jídelníčku. Dále 13 etanolových extraktů jedlých hub řádu chorošotvarých (Popyporales). Pro stanovení antioxidační aktivity byly využity metody
2,2 diphenyl 1 picrylhydrazyl (DPPH); absorbance kyslíkových radikálů (oxygen radical absorbance capacity ORAC) a inhibice produkce oxidu dusnatého (NO). Cytotoxicita byla měřena pomocí metody MTT využívající tetrazolovou sůl 3 [4,5 dimetyltiazol 2 yl] 2,5 difenyltetrazol bromid; a pro stanovení imunomodulační aktivity byla použita metoda fagocytární aktivity lidských neutrofilních granulocytů. Dále byl zjišťován celkový obsah fenolů (TPC) a ß glukanů, jako potenciálně aktivních složek podílejících se na těchto aktivitách.
Z výsledků je patrné, že z testovaných vzorků ovoce a zeleniny vykazovaly nejvyšší antioxidační aktivitu džusy (TPC = 1603,2 mg GAE/l džusu; ORAC = 438,5 umol TE/g) a extrakty (ORAC 836,6 umol TE/g;
DPPH = 404,6 umol TE/g) z plodů brusnice borůvky (Vaccinium myrtillus), následované džusem z papriky (Capsicum L.)(TPC = 642,1 mg GAE/l džusu; ORAC = 127,9 umol TE/g) a extraktem z ředkve bílé (Raphanus sativus L.)(ORAC = 724,5 umol TE/g; DPPH = 52,2 umol TE/g). Z testovaných druhů ovoce a zeleniny inhibovaly produkci NO džusy z cibule kuchyňské (Allium cepa L)(snižoval produkci NO o 57 %) a mandarinka (Citrus reticulata Blanco)(o 52 %) spolu s extrakty z brokolice (Brassica oleracea var. botrytis italica) (o 21 %) a pomeranče (Citrus sinensis Pers.) (o 10 %). Z jedlých hub byl stanoven nejvyšší obsah fenolových sloučenin u Lentinus tigrinus (Bull.) (houževnatec tygrovaný) Fr. (TPC = 216,2 umol GAE/g extraktu), Ganoderma lucidum (Curtis) P. Kras (lesklokorka lesklá)(TPC = 257,9 umol GAE/g extraktu) a Royoporus badius (Pers.) A.B. De (choroš smolonohý)(TPC = 257,8 umol GAE/g extraktu). Obsah ß glukanů byl nejvyšší u Sparassis crispa (Wulfen) Fr. (kotrč kadeřavá)(117,4 mg/g extraktu). Významný efekt na fagocytární aktivitu granulocytů byl zaznamenán u Neolentinus lepideus (Fr.) Redhead & Ginns, Polyporus squamosus (Huds.) Fr. (choroš šupinatý) a S. crispa. U poslední ze zmíněných hub byl taktéž zaznamenán mírný inhibiční účinek vůči buněčné linii HT 29 kolorektálního karcinomu člověka (IC50 = 107 ug/ml extraktu).
Výsledky naznačují, že některé námi testované rostliny a houby mohou být perspektivní ve snižování následků vzniklých v důsledku oxidačního stresu, který má podíl na celé řadě onemocnění a snížení toho oxidačního stresu může vést ke snížení progrese těchto onemocnění. Výsledky naznačují možný mechanismus účinku na lidské zdraví, při jejich interpretaci je však třeba brát v úvahu, že in vitro testy a screeningy jsou prvním stupněm systematického výzkumu těchto účinků a slouží pro výběr kandidátů pro návazné podrobnější studie.
|
|
Systém ukazatelů zdanění mezinárodních společností v České republice
Janský, Petr
Metodika definuje soubor ukazatelů hodnotících zdanění mezinárodních společností působících v České republice. Tyto ukazatele identifikují možné způsoby snižování daňového základu firem a převádění zisků do zahraničí, což umožňuje rozpoznat firmy, jejichž daňová politika nemusí být v souladu s nejlepší praxí. Extrémní hodnoty ukazatelů mohou sloužit jako podnět pro další šetření firmy ze strany státních orgánů. Metodika tak doplňuje stávající analytické nástroje Generálního finančního ředitelství v oblasti zdanění mezinárodních společností.
|
|
Optický rezonátor s nízkou disperzí pro účely délkového senzoru využivající optický frekvenční hřeben
Pravdová, Lenka ; Hucl, Václav ; Lešundák, Adam ; Lazar, Josef ; Číp, Ondřej
Ultra přesná měření délky jsou doménou laserových interferometrů. Na našem pracovišti jsme navrhli a experimentálně ověřili metodu měření s optickým rezonátorem, která využívá širokospektrálního záření optického frekvenčního hřebene. Měřená délka, tj. délka rezonátoru, je pak převedena na hodnotu opakovací frekvence pulsního laseru se synchronizací modů optického frekvenčního hřebene. V našem příspěvku nyní představujeme porovnání absolutní stupnice optického rezonátoru se stupnicí inkrementálního interferometru. Inkrementální interferometr je do sestavy implementován pro provedení požadované verifikace stupnice optického rezonátoru. Dvousvazkový inkrementální interferometr pracuje na vlnové délce 633 nm a měřicí zrcadlo rezonátoru vybavené piezo posuvem je s výhodou použito zároveň i jako zpětný odrážeč pro tento interferometr. Jako markantní chybový signál se zde projevuje periodická nelinearita stupnice inkrementálního interferometru. Relativní rozlišení naší metody tak dosahuje hodnoty až 10-9 při zachování absolutní stupnice měření.\n
|
| |
|
Porovnání ceny dopravní stavby se skutečně vynaloženými náklady v různém stupni rozestavěnosti
Nezbeda, Jiří ; Zímová, Štěpánka (oponent) ; Kosová, Jaroslava (vedoucí práce)
Tato diplomová práce se zabývá tématikou kalkulace nákladů stavebního díla za účelem tvorby ceny, která se ve fázi zakázky stává cenou prodejní, a náklady se zafixují jako rozpočet. Předmětem této práce je tedy monitorovat vývoj nákladů v čase tak, aby náklady nepřesáhly rozpočet a stavba se tím nedostala do záporného výsledku. Následně se práce klade za cíl stanovit cenu vlastními metodami (položkový rozpočet, propočet dle rozpočtových ukazatelů) a porovnat takto získané ceny a náklady z různých fází výstavby mezi sebou a určit rozdíly. V této práci jsou monitorovány a porovnávány náklady na stavební zakázku a její ceny v časových fázích stavby. V praktické části jsou využity metody přímého porovnání jednotlivých hodnot nákladů a cen v čase, a to formou různých výstupů z controllingového programu a vlastních výstupů sestaveného položkového rozpočtu a propočtu stavby. Jsou zde analyzovány rozdíly mezi těmito náklady a jejich vývoj v čase podrobnějším zkoumáním položkových rozpočtů a nákladových kalkulací, a je analyzován původ těchto odchylek. Na závěr je navrhnuto opatření pro konkrétní dopravní stavbu, na jejíž realizaci se zpracovatel při svém povolání „mistra a koordinátora stavby“ spolupodílel.
|
|
Srovnání cen rodinného domu v Novém Jičíně a v jeho okolí v letech 2015 a 2016
Žemlová, Eva ; Gardášová, Alena (oponent) ; Lorencová, Marie (vedoucí práce)
Diplomová práce se zabývá srovnáním cen rodinného domu v Novém Jičíně a jeho okolí v letech 2015 a 2016. Rodinný dům se nachází v obci Starý Jičín, kvůli srovnání cen pak bude rodinný dům simulován do okrajové části města Nový Jičín. U daných lokalit se vypočítá cena zjištěná pomocí cenových předpisů a cena obvyklá pomocí porovnání s vytvořenou databází rodinných domů. V teoretické části je vysvětlena základní terminologie, hlavní použité právní předpisy a metody oceňování nemovitých věcí. Cílem práce je zjistit vliv umístění rodinného domu na jeho cenu a určit faktory, které tyto ceny ovlivňují.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Důvěra a reputace v distribuovaných systémech
Samek, Jan ; Návrat,, Pavol (oponent) ; Šafařík,, Jiří (oponent) ; Hanáček, Petr (vedoucí práce)
Tato disertační práce se zabývá problematikou modelování důvěry v distribuovaných systémech, konkrétně pak více-kontextové důvěry v distribuovaných multi-agentních systémech. V současné době existuje velké množství modelů důvěry či reputace, nicméně více-kontextová vlastnost důvěry či reputace v nich není často zohledněna. Z tohoto důvodu se práce zaměřuje především na analýzu více-kontextových modelů založených na důvěře a na jejím základě stanovuje předpoklady pro nový, vlastnost více-kontextovost plně podporující, model důvěry. Stěžejní částí práce je formální návrh nového více-kontextového modelu důvěry, který je schopen vytvářet, aktualizovat a uchovávat důvěru pro různé aspekty (kontexty) jedné entity multi-agentního systému. Důvěru lze v navrženém modelu budovat jak na základě přímých zkušeností, tak i na základě doporučení a reputace. Dalším aspektem navrženého modelu je schopnost odvozovat důvěru v různé kontexty na základě znalosti důvěry v kontexty jiné, což je zajištěno vytvořením hierarchické struktury jednotlivých kontextů jedné entity. Přínosem nového modelu je především zvýšení efektivity rozhodování agentů v rámci multi-agentního systému ve smyslu schopnosti výběru optimálního partnera pro provedení transakce. Návrh modelu byl ověřen implementací prototypu multi-agentního systému, ve kterém se agenti rozhodují a jednají na základě důvěry.
|
host ::
