|
|
Static Analyzer for List Manipulating Programs
Kotoun, Michal ; Lengál, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Creating a software verification tool is a complex task -- one must implement source code parsing, instruction representation, value abstraction, user interface, ... and the analysis itself. Therefore, we decided to create a static analysis framework to prevent unnecessary wheel reinventing by an analyses implementers. We propose a general design of the framework called Angie with a primary focus on usability, and describe a prototype implementation of the framework, including a model analysis based on symbolic memory graphs. Angie is implemented in C++ and uses the LLVM toolchain as the front-end for parsing the source code of analysed programs.
|
|
|
Extension of the Code Listener Infrastructure Adding C++ Support
Kašpar, David ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
V této práci je popisováno rozšíření infrastruktury Code Listener, kterou lze použít pro tvorbu nástrojů pro statickou analýzu programů, o podporu zpracování programovacího jazyka C++. Řešení představuje rozšíření pluginu Code Listener bez nutnosti jakékoliv modifikace v již existujících statických analyzátorech, které jsou na této infrastruktuře postaveny. Výsledkem této práce je přidání podpory pro zpracování základních konstrukcí jazyka C++, jako například jmenných prostorů, L-hodnotových referencí nebo tříd.Přínosem této práce je možnost ji dále použít jako odrazový bod pro implementaci zbývající podpory jazyka C++ pro infrastrukturu Code Listener.
|
|
|
Škůdci hrachu při ekologickém a konvenčním pěstování
Matějková, Lucie
Occurrence of pests has been investigated in the district Vyškov on organically and conventionally grown pea in 2013. Monitoring of insects was carried from May to July using pheromone traps, sticky boards and check of plants. 13 590 individuals were determined on the organic, 6608 on the conventional plot. Acyrthosiphon pisum was the most numerous pest (10 811, 4335 individuals). Parasitism reached 67.5% on the organic plot. Other pests findings on organic and conventional plots were Aphis fabae (70, 88), Kakothrips robustus (1403, 316), Odontothrips confusus (251, 0), Autographa gamma (12, 12), Cecidomyidae (97, 191), Anthomyidae (0, 327). Other phytophagous species (350, 967), predators (159, 66), parasitoids (21, 7), decomposers (1, 17), pollinators (4, 2) and Cyclorrhapha of unknown significance (441, 280) were registered to organic and conventional plots.
|
|
| |
|
|
Aphidophagy among polyphagous predators
Valdecká, Miriam ; Řezáč, Milan (advisor) ; Dolejš, Petr (referee)
Aphids are among the most widespread insect pests in agroecosystems. So far, significant attention has been paid to their natural enemies, especially to specialized predators and parasitoids. There is less information about the influence of polyphagous predators, especially spiders and ground beetles. Therefore, the aim of this thesis is to summarize the knowledge about this topic. And focus on the advantages and disadvantages of aphidophagy in polyphagous predators. Key words: Aphid, aphidophagy, polyphagous, spider, carabid, predator
|
|
|
Aphidophagy among polyphagous predators
Valdecká, Miriam ; Řezáč, Milan (advisor) ; Dolejš, Petr (referee)
Aphids are among the most widespread insect pests in agroecosystems. So far, significant attention has been paid to their natural enemies, especially to specialized predators and parasitoids. There is less information about the influence of polyphagous predators, especially spiders and ground beetles. Therefore, the aim of this thesis is to summarize the knowledge about this topic. And focus on the advantages and disadvantages of aphidophagy in polyphagous predators. Key words: Aphid, aphidophagy, polyphagous, spider, carabid, predator
|
|
|
Use of macroorganisms and microorganisms in biological control of whiteflies
ŽÁKOVÁ, Erika
Whitefly is one of the most important greenhouse pests that can cause significant damage to crops. Whitefly suck juice from plants and produce honeydew which is sugar source for saprotrophic fungi called sooty mold. Fungi cover the leaves and reduce the leaf assimilation area. The most serious harm of whiteflies is attributed to transfer of many plant viruses. The most serious whiteflies commonly found in the greenhouses are Trialeurodes vaporariorum and Bemisia tabaci. For the control of whitefly populations, the seasonal inoculum strategy of biological control is used, with the aim of immediately overlapping the pest with the right choice of natural enemies. Biological control contributes to the control of whiteflies in the greenhouse, specifically the use of natural enemies based on macro-organisms and microorganisms. The macroorganisms include parasitoids and predators. The most important commercially used whitefly parasitoids are Encarsia formosa, Eretmocerus eremicus and E. mundus. Predators used in biological control against whitely is the predatory bug Macrolophus caliginosus, the predatory ladybug Delphastus catalinae and the predatory mite Amlyseius swirskii. Parasitic wasps are narrowly specialized in both whitefly species, while predators are polyphagous species that can feed on more pest species. Bioproducts based on entomopathogenic fungi are also used against whiteflies in the abroad. The most important species are Aschersonia aleyrodis, Isaria fumosorosea, Beauveria bassiana and Lecanicillim muscarium. For the effective use of these bioagents, it is important to have knowledges not only about pest, but also about interaction among pest - natural enemy - host plant. So it is important to perform quality monitoring of whiteflies in the greenhouse to make the use of natural enemies profitable.
|
|
|
Antipredatory function of aggregations in aposematic prey
Mitlenerová, Barbora ; Exnerová, Alice (advisor) ; Pipek, Pavel (referee)
Aggregation is a very important strategy of many organisms. It occurs in both vertebrates and invertebrates. Besides other functions (foraging, thermoregulation, maintenance of humidity protection against dessication, epigamic, hibernation or aestivation), aggregation also carries out antipredatory function. Aggregation of animals may reduce the risk of attacks by predators and prey mortality. Reduction of the attack probability might be caused by the predator confusion effect, lower risk of prey detectability, dilution effect, more effective vigilance of aggregation members and increase of strength of the warning signal produced by aposematic prey. Experimental studies, focused on the role of aposematic coloration in antipredatory functions use usually birds as predators. There are many kinds of insects, such as true bugs or mealworms, or artificial prey used as a prey in the experiments. The combination of aposematic signals and gregariousness of prey might have a significant influence on both probability and frequency of predator attacks. The length of predator's hesitation before the attack and the attack intensity used on attack may differ according to the coloration and presentation (gregariousness) of the prey and therefore the chance of survival varies. Aggregation may also improve...
|
|
|
Static Analyzer for List Manipulating Programs
Kotoun, Michal ; Lengál, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Creating a software verification tool is a complex task -- one must implement source code parsing, instruction representation, value abstraction, user interface, ... and the analysis itself. Therefore, we decided to create a static analysis framework to prevent unnecessary wheel reinventing by an analyses implementers. We propose a general design of the framework called Angie with a primary focus on usability, and describe a prototype implementation of the framework, including a model analysis based on symbolic memory graphs. Angie is implemented in C++ and uses the LLVM toolchain as the front-end for parsing the source code of analysed programs.
|
|
|
Are body size and specific species colouration important cues for predator recognition by their potencial prey? Diplomová práce
Antonová, Kateřina ; Fuchs, Roman (advisor) ; Sedláček, Ondřej (referee)
I tested influence of a body size and overal colouration in feeders experiments on recognition of sparrowhawk (Accipiter nisus) by chosen species of passerine. Experiments were conducted in years 2015 ̶ 2018. I used a plush dummies which carried a specific featuress of raptor (hooked beak, claws) and specific features of genus Accipiter (yellow eyes, respectively yellow eyes and overal colouration). As a control, dummy of harmless pigeon was used. Smaller dummies (size of a great tit) were not recognized as a raptor regardless of colouration. Large dummies with colouration of great tit and pigeon were not recognized as a raptor as well. On a contrary, large dummy with colouration of robin was recognized as a raptor, respectively sparrowhawk. Most birds who were flying to the feeders, at first payed attention to global features (size, overal colouration). If these features belong to well-known harmless bird, then local features (particular) which characterize raptor or sparrowhawk had no effect. Birds did not pay attention to them. Therefore it depends on a context, in which potential local key features occure.
|
guest ::
