|
Awareness of vegetarians about deficit of certain nutritions in vegetarian diet and about ways to compensate them
VORLÍČKOVÁ, Markéta
This thesis deals with vegetarians' awareness of the lack of specific nutritional substances in the vegetarian diet and their compensation. The aim is to explore whether vegetarians have sufficient information about the nutritional composition of their diet, whether they are interested in researching this information and whether the information is available and sufficient. I also looked at whether people with this eating preference are preventing potential nutritional deficits and subsequent health problems. There were designated the following three research questions: "How often and where do most vegetarians get information about a meatless diet?", "How can you achieve a full fledged vegetarian diet?" and "What is vegan awareness on the potential deficiencies in their diet, and how do they try avoid these?". In the theoretical part I deal with vegetarianism as a lifestyle, vegetarianism and its subgroups, the reasons for going to this way of life, the composition of a vegetarian diet with a focus on nutrients that may be deficient, vegetarianism and its impact on the body at different stages of development and ultimately the impact of a meatless diet on human health. The practical section is an elaborated form of qualitative research, specifically I chose semi-structured interviews. I collected the data from the interviews. The interview contained fourteen or fifteen questions, and women were also questioned about the pregnancy period. I asked questions regarding the issue of vegetarianism, veganism or raw foodism. I was interested in individual eating habits, nutrition knowledge and personal experience of the respondents. The data was collected between January 2014 and March 2014. The research group consisted of 6 respondents. The group was made up of women and men in the age range from 20 to 30 years. Among respondents there were vegetarians, vegans and raw foodists and the period of time in which they have been eating this way is different for every person. All respondents were familiar with the purpose of providing an interview and agreed to the publication. The interviews I conducted in person and were recorded on a dictaphone mobile phone. The results of my work show that most respondents do research about a meatless diet. They logically state that most intensive research took place while they were switching their eating habits, but now they still keep finding out new information. The most commonly used way was the Internet, specifically through websites such as www.soucitne.cz or www.vegan-fighter.com. Other sources used are books, articles, studies, and information received from friends or family members. The respondents argue that because the information was obtained this way, their diet is balanced. They are often trying to maintain diversity in their diet, for example, consume legumes and combine various foods such as legumes with cereals. Raw foodists state that they often consume sprouts, seeds, nuts, and of course a large amount of raw vegetables and fruits. All Vegans and Raw foodists know about the possible lack of vitamin B12, and some for this reason, use supplements. Also mentioned are supplements or protein complex supplements designed specifically for vegans.
|
|
Neural Networks Between Integer and Rational Weights
Šíma, Jiří
The analysis of the computational power of neural networks with the weight parameters between integer and rational numbers is refined. We study an intermediate model of binary-state neural networks with integer weights, corresponding to finite automata, which is extended with an extra analog unit with rational weights, as already two additional analog units allow for Turing universality. We characterize the languages that are accepted by this model in terms of so-called cut languages which are combined in a certain way by usual string operations. We employ this characterization for proving that the languages accepted by neural networks with an analog unit are context-sensitive and we present an explicit example of such non-context-free languages. In addition, we formulate a sufficient condition when these networks accept only regular languages in terms of quasi-periodicity of parameters derived from their weights.
Fulltext: content.csg -  PDF
Plný tet: v1237-16 - PDF
|
|
Natural houses in gardens
Formánková, Kristýna ; Kunt, Miroslav (advisor)
Thesis discusses natural houses which are supposed to be part of our lives in the future. These houses may be for someone and they might prefer smarter building with non-recyclable materials when choosing a new housing. But it is necessary to think about our future and sustainable development. We also need to tell ourselves what is really a priority for our planet. There comes a time when they will prefer building materials which can be used somehow after some time or be recycled. This is related to the design of the garden. It is designed to fulfil an ornamental, economic and social function. The garden is an integral part of each house, therefore it is important for each element used to be creating the garden as a linked harmonious whole. The study deals with the concept of a natural houses home in accordance with the maximum use of the garden.
|
|
Design of Experiment for Non-Stationary Processes of Production
Jadrná, Monika ; Macák, Tomáš (advisor)
The doctoral thesis is concerned with the services sector and the area of mass production. Particularly, the optimization of the product portfolio of the travel agency and the optimization of production rounds of ammunition.
The theoretical part deals with the current overview of discussed topic. Further, the terminology and methods of the decision-making process are defined to support decision making. The theoretical basis of research focused on the choice of appropriate input variables in the area of services, and on the choice of a particular material option in the production area and appropriate equipment for the production. The theoretical part forms the basis for the practical part of the thesis.
For the doctoral thesis was chosen an enterprise operating in the defined sector. Product portfolio for the services sector is optimised using Fuzzy logic and Fuzzy sets so that the enterprise can maintain its competitiveness in todays highly ambitious market. Product portfolio for manufacture is optimised for achieving desired properties of the product.
The main aim of the thesis is to propose a new methodological approach for the management of selected business processes in their nonstationary time course. The aim of the practical implementation is to verify the functionality of the proposed methodological approach, both in the area of services and in the field of mass production.
|
|
Non-invasive methods for sex and steroid homones determination in gibbons of the genus Nomascus
Bolechová, Petra ; Bartoš, Luděk (advisor) ; Pavel, Pavel (referee)
The gibbon primates of the family Nomascus are classified as critically endangered species, and, to date, basic understanding and information about their biology is missing. With regard to the status of these animals in the wild and captive populations in zoos, being familiar with their reproduction, may improve captive breeding programs. Data collection in this study was to be carried out by the practical use of non-invasive methods (polymerase chain reaction for DNA extraction and enzyme immunoassays), using faecal samples for analysis. The first method, polymerase chain reaction, was used for sex determination in juveniles, because of their coat colour and visual similarity of secondary sex characteristic in both sexes; it is not possible to determinate sex without handling the animal. Another main purpose of this study is to try and answer the hypothesis regarding the ovarian cycle of females, factors influencing their hormone concentration and also the onset of sexual maturity in females and the timing of their fur colour change. Hypotheses were checked by monitoring the concentration of progesterone and oestrogen faecal metabolites and by evaluation of the composition of breeding groups of gibbons with the ZOO influence. During a four year period (from 2010 till 2014), there were a total of 51 animals analysed from 16 different zoos with a faecal sample count totalling 1618 samples. The results confirmed the use of noninvasive methods for sex determination, and thus ensuring the maximum welfare standards. Endocrinological analysis confirmed the hypothesis of the influence of the environment (ZOO) to the hormone concentrations and female´s pregnancy effect in conjunction with her age on the final results of the male - father hormone concentrations. The initial information in this study is the confirmation of the onset of ovarian cycle in young females without connection to their fur colour change and a significant factor of a mother´s impact and her territoriality. This study is the first to present a long term monitoring of ovarian cycles in females and hormone concentrations of other individuals, both male and female, and from various age groups. The results allow us to understand the possible impact of zoo environments on the reproductive status of these gibbons and contribute to the general improvement of breeding management.
|
|
DCTOOL-A3
Bakule, Lubomír ; Papík, Martin ; Rehák, Branislav
DCTOOL-A3 is a documentation of Matlab routines developed for the design of decentralized control of large scale complex systems. The current beta version covers three areas as follows:\nReport 4.1 deals with the event-triggered control design for unstructured uncertain systems. Both non-quantized and quantized feedback is analyzed. The results are given in terms of linear matrix inequalities (LMIs). Logarithmic quantizer is used. Numerical example illustrates the effectiveness of the presented results.\nReport 4.2 presents a new decentralized overlapping wireless control design with a switched communication protocol. The method is applied by simulations on the 20-story building structure including the test of robustness of the methods against sensor failures and network node dropouts of a digital network.\nReport 4.3 presents the construction of a new decentralized wireless controller and a set of heuristic algorithms for evaluation of packet dropouts, sensor faults and actuator faults. The digital network operates at the standard frequency used in well-known widely-used industrial protocols. The results are tested at the Benchmark model decomposed into two disjoint substructures. The results are published. Thus, the details are omitted here.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
Stability and convergence of numerical computations
Sehnalová, Pavla ; Dalík, Josef (referee) ; Horová, Ivana (referee) ; Kunovský, Jiří (advisor)
Tato disertační práce se zabývá analýzou stability a konvergence klasických numerických metod pro řešení obyčejných diferenciálních rovnic. Jsou představeny klasické jednokrokové metody, jako je Eulerova metoda, Runge-Kuttovy metody a nepříliš známá, ale rychlá a přesná metoda Taylorovy řady. V práci uvažujeme zobecnění jednokrokových metod do vícekrokových metod, jako jsou Adamsovy metody, a jejich implementaci ve dvojicích prediktor-korektor. Dále uvádíme generalizaci do vícekrokových metod vyšších derivací, jako jsou např. Obreshkovovy metody. Dvojice prediktor-korektor jsou často implementovány v kombinacích modů, v práci uvažujeme tzv. módy PEC a PECE. Hlavním cílem a přínosem této práce je nová metoda čtvrtého řádu, která se skládá z dvoukrokového prediktoru a jednokrokového korektoru, jejichž formule využívají druhých derivací. V práci je diskutována Nordsieckova reprezentace, algoritmus pro výběr proměnlivého integračního kroku nebo odhad lokálních a globálních chyb. Navržený přístup je vhodně upraven pro použití proměnlivého integračního kroku s přístupe vyšších derivací. Uvádíme srovnání s klasickými metodami a provedené experimenty pro lineární a nelineární problémy.
|
|
Extensions to Probabilistic Linear Discriminant Analysis for Speaker Recognition
Plchot, Oldřich ; Fousek, Petr (referee) ; McCree,, Alan (referee) ; Burget, Lukáš (advisor)
Tato práce se zabývá pravděpodobnostními modely pro automatické rozpoznávání řečníka. Podrobně analyzuje zejména pravděpodobnostní lineární diskriminační analýzu (PLDA), která modeluje nízkodimenzionální reprezentace promluv ve formě \acronym{i--vektorů}. Práce navrhuje dvě rozšíření v současnosti požívaného PLDA modelu. Nově navržený PLDA model s plným posteriorním rozložením modeluje neurčitost při generování i--vektorů. Práce také navrhuje nový diskriminativní přístup k trénování systému pro verifikaci řečníka, který je založený na PLDA. Pokud srovnáváme původní PLDA s modelem rozšířeným o modelování neurčitosti i--vektorů, výsledky dosažené s rozšířeným modelem dosahují až 20% relativního zlepšení při testech s krátkými nahrávkami. Pro delší testovací segmenty (více než jedna minuta) je zisk v přesnosti menší, nicméně přesnost nového modelu není nikdy menší než přesnost výchozího systému. Trénovací data jsou ale obvykle dostupná ve formě dostatečně dlouhých segmentů, proto v těchto případech použití nového modelu neposkytuje žádné výhody při trénování. Při trénování může být použit původní PLDA model a jeho rozšířená verze může být využita pro získání skóre v případě, kdy se bude provádět testování na krátkých segmentech řeči. Diskriminativní model je založen na klasifikaci dvojic i--vektorů do dvou tříd představujících oprávněný a neoprávněný soud (target a non-target trial). Funkcionální forma pro získání skóre pro každý pár je odvozena z PLDA a trénování je založeno na logistické regresi, která minimalizuje vzájemnou entropii mezi správným označením všech soudů a pravděpodobnostním označením soudů, které navrhuje systém. Výsledky dosažené s diskriminativně trénovaným klasifikátorem jsou podobné výsledkům generativního PLDA, ale diskriminativní systém prokazuje schopnost produkovat lépe kalibrované skóre. Tato schopnost vede k lepší skutečné přesnosti na neviděné evaluační sadě, což je důležitá vlastnost pro reálné použití.
|
|
Intrusion Detection in Network Traffic
Homoliak, Ivan ; Čeleda, Pavel (referee) ; Ochoa,, Martín (referee) ; Hanáček, Petr (advisor)
Tato práce se zabývá problematikou anomální detekce síťových útoků s využitím technik strojového učení. Nejdříve jsou prezentovány state-of-the-art datové kolekce určené pro ověření funkčnosti systémů detekce útoků a také práce, které používají statistickou analýzu a techniky strojového učení pro nalezení síťových útoků. V další části práce je prezentován návrh vlastní kolekce metrik nazývaných Advanced Security Network Metrics (ASNM), který je součástí konceptuálního automatického systému pro detekci průniků (AIPS). Dále jsou navrženy a diskutovány dva různé přístupy k obfuskaci - tunelování a modifikace síťových charakteristik - sloužících pro úpravu provádění útoků. Experimenty ukazují, že použité obfuskace jsou schopny předejít odhalení útoků pomocí klasifikátoru využívajícího metriky ASNM. Na druhé straně zahrnutí těchto obfuskací do trénovacího procesu klasifikátoru může zlepšit jeho detekční schopnosti. Práce také prezentuje alternativní pohled na obfuskační techniky modifikující síťové charakteristiky a demonstruje jejich použití jako aproximaci síťového normalizéru založenou na vhodných trénovacích datech.
|
guest ::
