|
Stárnutí populace České republiky a jeho důsledky
Tomsová, Veronika ; Prášilová, Marie (vedoucí práce) ; Anna, Anna (oponent)
Diplomová práce se zabývá demografickým vývojem v České republice a důsledky stárnutí populace. V teoretické části práce jsou uvedeny základní pojmy vztahující se k demografii, stárnutí a důchodovému systému. Charakterizovány jsou příčiny a důsledky stárnutí populace.
Analytická část práce je zaměřena na období let 2005 až 2015. Pomocí vybraných ukazatelů je zhodnocen proces stárnutí populace. Součástí práce je vyhodnocení vývoje počtu obyvatel, věkové skladby, průměrného věku, naděje dožití a vybraných indexů. V souvislosti se stárnutím populace jsou analyzována data vztahující se k důchodovému systému.
Pro rozbor a predikci vybraných ukazatelů byla využita metoda analýzy časových řad. Práce obsahuje návrhy a doporučení vztahující se k hodnoceným ukazatelům.
|
|
Metody automatizované transformace modelů v analýze IS
Tůma, Jakub ; Merunka, Vojtěch (vedoucí práce) ; Toman, Prokop (oponent)
Tato doktorská disertační práce přispívá k holistickému vývoji informačních systémů v oblasti analytických modelů informačních systémů (IS). Práce se zabývá modely v analýze informačních systémů a jejich metody transformace.
Práce je zaměřena na konkrétní modely a to na Business process modeling notation (BPMN) a Business object relational modeling (BORM). Model BPMN je rozvíjen od roku 2000. Model BORM je starší a je rozvíjen od roku 1993. Obecným cílem této práce bylo rozšíření holistického vývoje informačních systémů. Konkrétním cílem bylo propojení modelu BPMN a modelu BORM.
Práce byla inspirována teorií konečných automatů. Stav problematiky řešení popisuje přístupy k transformacím modelů. V analytické části jsou matematickým zápisem popsány jednotlivé transformace, jakožto vstupní údaje pro realizační část. Realizační část obsahuje algoritmus transformace, postup jeho dosažení a jeho následné ověření na případových studiích. Diskuze obsahuje porovnání přístupu vytvořené metody transformace s ostatními přístupy.
Dosažení cílů je dokumentováno automatizovaným transformačním kalkulem. Příno- sem je automatizované propojení modelů BPMN a modelu BORM pomocí metody transformace. Výsledkem je metoda automatizované transformace z modelu BPMN do modelu BORM pomocí algoritmu. Transformace modelu BPMN do modelu BORM je uskutečněna přes Mealyho automat.
|
|
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.
|
|
Neinvazivní metody pro stanovení pohlaví a stereoidních hormonů u gibonů rodu Nomascus
Bolechová, Petra ; Bartoš, Luděk (vedoucí práce) ; Pavel, Pavel (oponent)
Giboni rodu Nomascus patří ke kriticky ohroženému druhu, o kterém zároveň chybí velké množství základních biologických informací. Vzhledem ke statutu těchto zvířat ve volné přírodě i počtu chovaných jedinců v chovu zoologických zahrad je prioritní otázkou zlepšení managmentu chovu, kam patří i znalost reprodukce. Základním cílem této práce je praktické využití neinvazivních metod (polymerázová řetězová reakce k extrakci DNA a enzymové imunotesty), využívajících k analýzám vzorky výkalů. První metoda, polymerázová řetězová reakce, byla využita pro determinaci pohlaví u mláďat, protože kvůli jejich specifickému zbarvení a vzhledové podobnosti vnějších pohlavních orgánů, není diagnostika možná bez odchycení zvířete. Další částí je zodpovězení hypotéz týkajících se ovariálního cyklu samic a faktorů ovlivňujících jejich koncentrace včetně souvislosti nástupu pohlavního cyklu u samic a jejich změny barvy srsti. Hypotézy byly ověřeny sledováním výše koncentrací metabolitů progesteronu a estrogenu ve výkalech a vyhodnocením složení chovné skupiny gibonů a vlivu ZOO. Celkem bylo analyzováno během čtyř let (2010-2014) 51 zvířat z 16 zoologických zahrad v celkovém množství 1618 vzorků výkalů. Výsledky potvrdily využití neinvazivních metod pro determinaci pohlaví a tak zajištění maximálního welfare v chovech. Endokrinologické analýzy potvrdily hypotézy o vlivu prostředí (ZOO) na koncentraci hormonů a vliv březosti samice a jejího věku na výši koncentrace hormonů, ale také vliv březosti na koncentraci hormonů u samců-otců. Prvotní informací v této studii je potvrzení nástupu ovariálního cyklu u mladých samic bez návaznosti na jejich přebarvení a významný faktor vlivu matky a její teritoriality. Tato studie předkládá první dlouhodobější monitoring ovariálního cyklu u samic a koncentrace hormonů u ostatních jedinců ve všech věkových kategoriích i pohlaví. Výsledky umožňují pochopit vliv chovatelského prostředí na reprodukční postavení těchto gibonů a přispívají k celkovému zlepšení managementu chovu.
|
|
Návrh a implementace e-learningu v zájmové oblasti
Marešová, Nikola ; Husa, Jiří (vedoucí práce) ; Marek, Marek (oponent)
Bakalářská práce s názvem "Návrh a implementace e-learningu v zájmové oblasti" se zabývá problematikou nákupu ojetých vozů. Stěžejní část práce spočívá v tvorbě e-learningového kurzu, jehož cílem je zlepšit informovanost kupujících a zájemců o tuto oblast. Účastníci kurzu získají přehled o nejčastějších situacích a problémech, se kterými se mohou při koupi ojetého vozu setkat. Teoretická část představuje přehled témat problematiky nákupu ojetých vozů. Může posloužit jako teoretické vodítko k vlastnímu kurzu, přibližuje jeho obsah. Témata jsou sestavena na základě analýzy informací z tištěných a elektronických zdrojů, doplněných zkušenostmi autorky a odborníky z oboru. Praktická část se věnuje sestavení e-learningového kurzu. Obsahuje analýzu potřeb kupujících, důvody tvorby kurzu a požadavky na něj, jeho cíle, popis použitého nástroje eXe a názorný postup od vytváření kurzu po jeho zveřejnění v krocích. Vše doplňuje zpětná vazba od šesti dobrovolníků, kteří projevili zájem si kurz otestovat a následně ho zrecenzovat. Před tvorbou kurzu bylo nutno provést analýzu situace a zjistit, proč je takový kurz potřeba. Nabyté poznatky byly poté v kurzu zpracovány metodou syntézy. Pro evaluaci byla využita metoda krátkého osobního rozhovoru, kde autorka zjišťovala spokojenost s kurzem, jeho případné nedostatky a návrhy pro vylepšení či rozšíření.
|
|
Dílčí zpráva IV/2016 - Hodnocení monitoringu napěťodeformačního stavu horninového masivu při dobývání sloje 30 (634) v rámci zkušebního provozu dobývací metody chodba - pilíř v OPJ Dolu ČSM - SEVER
Waclawik, Petr ; Ptáček, Jiří ; Kukutsch, Radovan ; Kajzar, Vlastimil ; Koníček, Petr ; Souček, Kamil ; Staš, Lubomír
Monitoring napěťodeformačního stavu horninového masivu je nezbytným předpokladem pro ověření nové neschválené dobývací metody chodba-pilíř a jejího dalšího použití v podmínkách české části hornoslezské uhelné pánve. Tato dobývací metoda je projektována pouze na základě zkušeností a postupů, které jsou ověřeny v odlišných přírodních podmínkách a hloubkách pod povrchem a proto je nezbytná její verifikace pro podmínky české části hornoslezské pánve na základě geotechnického monitoringu. Předkládaná zpráva je zpracována na základě smlouvy o dílo č. 942/50/10, kde se Ústav Geoniky AV ČR, v.v zavazuje provádět pravidelné vyhodnocování dat monitoringu napěťodeformačního stavu horninového masivu. V souladu s výše uvedenou smlouvou, je zpráva zpracována v 6-ti měsíčním intervalu a navazuje tak na dílčí zprávu III/2015 (Waclawik et al. 2015) předanou odběrateli v dubnu tohoto roku. Průběžné výsledky geotechnického monitoringu, tak jak zkušenosti získané v době dobývání první dobývky V, ukazují na specifika přírodních podmínek v lokalitě zkušebního provozu nové neschválené dobývací metody chodba-pilíř.
Plný tet: UGN_0464907 -  PDF
Plný text: content.csg - PDF
|
|
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.
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Švéda, Miroslav (vedoucí práce)
The objective of the research is to model and analyze the effects of dynamic routing protocols. The thesis addresses the analysis of service reachability, configurations, routing and security filters on dynamic networks in the event of device or link failures. The research contains two main sections, namely, modeling and analysis. First section consists of modeling of network topology, protocol behaviors, device configurations and filters. In the modeling, graph algorithms, routing redistribution theory, relational algebra and temporal logics were used. For the analysis of reachability, a modified topology table was introduced. This is a unique centralized table for a given network and invariant for network states. For the analysis of configurations, a constraint-based analysis was developed by using XSD Prolog. Routing and redistribution were analyzed by using routing information bases and for analyzing the filtering rules, a SAT-based decision procedure was incorporated. A part of the analysis was integrated to a simulation tool at OMNeT++ environment. There are several innovations introduced in this thesis. Filtering network graph, modified topology table, general state to reduce the state space, modeling devices as filtering nodes and constraint-based analysis are the key innovations. Abstract network graph, forwarding device model and redistribution with routing information are extensions of the existing research. Finally, it can be concluded that this thesis discusses novel approaches, modeling methods and analysis techniques in the area of dynamic networks. Integration of these methods into a simulation tool will be a very demanding product for the network designers and the administrators.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating Büchi automata, which results in an efficient alternating automata size reduction technique.
|
host ::
