• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 5
  • 4
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 14
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Ecologia, nicho climático e efeito das mudanças climáticas sobre a distribuição potencial das espécies do gênero Eunectes (Squamata, Serpente) / Ecology, climatic niche and the effect of climate changes on the potential distribution of species of the genus Eunectes

Terra, Juliana de Souza 16 August 2018 (has links)
Atualmente estamos presenciando mudanças climáticas ao nível global sem precedentes, as quais se tornarão mais severas no decorrer dos anos, podendo causar danos irreversíveis à biodiversidade. Como as espécies irão reagir a essas mudanças e quais ações de conservações devem ser tomadas estão entre os tópicos mais significantes na ecologia atualmente. As mudanças climáticas têm sido apontadas como uma das principais causas de reduções (e alterações) na distribuição geográfica e abundância de muitas espécies, e até mesmo a extinção. Os modelos de nicho ecológico têm sido uma ferramenta muito utilizada a fim de compreender como a distribuição das espécies pode ser afetada pelas mudanças climáticas. Os modelos fornecem valiosas informações sobre o potencial efeito das mudanças climáticas na distribuição futura das espécies, podendo assim ser usado para a compreensão de como e quais espécies podem ser mais afetadas, além dos locais adequados para sua conservação. Uma vez que informações importantes sobre os organismos não são incorporadas nos modelos, é fundamental o conhecimento sobre a biologia e história natural das espécies para a interpretação dos resultados. No presente estudo é aprestada uma revisão sobre o atual estado de conhecimento das quatro espécies do gênero Eunectes em relação à distribuição geográfica, uso do habitat e microhabitat, atividade diária e sazonal, reprodução, tamanho corporal, dieta e status de conservação. Adicionalmente aspectos da história natural de uma população da sucuri verde, Eunectes murinus, foram estudados em locais florestados, na cidade de Bonito, MS, e aqui são apresentados dados sobre movimentação, uso do microhabitat, reprodução e dieta. Ainda, foram desenvolvidos modelos de nicho climático para cada uma das quatro espécies a fim de entender os possíveis impactos das mudanças climáticas nessas espécies em dois cenários futuros. Foram assumidas duas abordagens de dispersão, com livre dispersão e sem dispersão. A partir dos resultados foi possível reconhecer padrões na biologia das espécies de Eunectes, identificar as principais lacunas de conhecimento e sugerir onde esforços em pesquisa devem ser focados. Além disso, importantes dados sobre a história natural da sucuri verde (E. murinus) foram registrados. Foi observado que, em relação à movimentação, dieta e reprodução, aparentemente a espécie mantém o padrão já registrado em estudos anteriores. Entretanto, o uso do microhabitat diferiu substancialmente, tendo sido encontrado um número muito elevado de indivíduos utilizando árvores. As projeções futuras indicam que, para o intervalo entre os anos de 2061-2080, todas as espécies, menos E. notaeus, perderão grande quantidade de hábitat climaticamente adequado, sendo E. deschauenseei a mais afetada (100% de perda com e sem dispersão no pior cenário). Ainda, as análises apontam que haverá uma mudança de local adequado para a potencial ocorrência de três espécies. Sem dispersão, todas as espécies perderão área, sendo que E. beniensis perderá 100% de habitat adequado em ambos os cenários de alterações climáticas. As informações geradas por este estudo ajudam a melhorar a compreensão da ecologia, história natural e distribuição das espécies do gênero, bem como indica quais as espécies poderão ser mais prejudicadas pelas mudanças climáticas em curso. Finalmente, os resultados fornecem subsídios para a formulação de planos de conservação, indicando importantes áreas que poderão servir de refúgio climático para as espécies / We are currently witnessing unprecedented global climate change, which will become more severe over the years and can cause irreversible damage to biodiversity. How species will react to these changes and what conservation actions should be taken are among the most significant topics in ecology today. Climate change has been identified as a major cause of reductions (and changes) in geographic distribution and abundance of many species, and even extinction. Ecological niche models have been widely used in order to understand how the distribution of species can be affected by climate change. The models provide valuable information on the potential effect of climate change on the future distribution of species and can be used to assess how and which species may be most affected, as well as the appropriate sites for their conservation. Since important information about the species is not incorporated into the models, the knowledge about their biology and natural history is crucial for interpretating the results. In the present study a review is presented on the current state of knowledge about the four species of the genus Eunectes in relation to geographic distribution, habitat and microhabitat use, daily and seasonal activity, reproduction, body size, diet and conservation status. In addition, natural history aspects of a green anaconda (E. murinus) population were studied in forested sites in the Bonito municipality, Mato Grosso do Sul state, Brazil, where data on movement, microhabitat use, reproduction and diet are presented. Furthermore, climate niche models were developed for each of the four species in order to understand the possible impacts of climate change under two future scenarios.Two dispersion approaches were performed, with \"free dispersion\" and \"no dispersion\". It was possible to recognize patterns in the biology of Eunectes species, identify the main knowledge gaps and to suggest where research efforts should be focused. Moreover, important data on the natural history of the green anaconda (E. murinus) were recorded. It was observed that, in relation to movement, diet and reproduction, the species apparently maintains the pattern recorded in previous studies. However, the use of the microhabitat differed substantially, with a very high number of individuals being found on trees. Future projections indicate that, for the interval between the years 2061-2080, all species, but E. notaeus, will lose a large amount of climatically suitable habitat, with E. deschauenseei being the most affected (100% loss with and without dispersion in the worst scenario). Future projections also indicate that there will be a shift in the distribution of suitable habitat for the potential occurrence of three species. Without dispersion, all species will lose area, and E. beniensis will lose 100% of suitable habitat in both climate change scenarios. The information generated by this study helps to improve the knowledge about the ecology, natural history and distribution of the species of Eunectes, as well as indicates which species may be most affected by ongoing climate change. Finally, the results provide subsidies for the formulation of conservation plans, indicating important areas that could serve as a climate refuge for the species
12

Adaptér OSLC pro analýzu softwaru / OSLC Adapter for Software Analysis

Vašíček, Ondřej January 2021 (has links)
Cílem této práce je poskytnout snadný způsob, jak rozšířit analyzační nástroj o rozhraní splňující standard OSLC. Takové rozhraní umožňuje jednoduchou integraci nástrojů s jinými nástroji nebo systémy, umožňuje jejich vzdálené použití skrze webové služby a umožňuje je jednoduše propojit s databází pro databázové dotazy a pro perzistentní uložení dat. Toto je dosaženo návrhem a implementací OSLC adaptéru pomocí sady nástrojů Eclipse Lyo. Adaptér používá jako rozhraní doménu OSLC Automation a je dostatečně univerzální na to, aby skrze toto rozhraní pokryl funkcionalitu většiny analyzačních nástrojů za pomocí jejich stávajících rozhraní na příkazové řádce. Tato práce poskytuje úvod k OSLC, Eclipse Lyo a souvisejícím konceptům. Dále tato práce definuje požadavky a odlišnosti různých analyzačních nástrojů a diskutuje návrh adaptéru a faktory, které ovlivnily návrhová rozhodnutí. A nakonec prezentuje implementovaný adaptér a jeho vyhodnocení pomocí automatizované testovací sady a pomocí experimentů s řadou analyzačních nástrojů. Nejvýznamnější ukazatel hodnocení vytvořeného adaptéru je to, že už teď je používán v praxi pro přidání OSLC rozhraní k nástrojům ANaConDA, Perun, Spectra (všechny tři vyvíjené na VeriFIT) a HiLiTE (Honeywell).
13

Podpora pro monitorování procesů za běhu v prostředí ANaConDA / Support of Run-time Monitoring of Processes in ANaConDA Framework

Mužikovská, Monika January 2020 (has links)
Tato práce rozšiřuje nástroj ANaConDA pro dynamickou analýzu vícevláknových programů o možnost analyzovat také programy víceprocesové. Část práce se soustředí na popis nástroje ANaConDA a mechanismů, které pro monitorování využívá, a na jejich nutné úpravy vzhledem k rozdílům procesů a vláken. Tyto zahrnují nutnost složitějších mechanismů pro meziprocesovou komunikaci, nutnost překládat logické adresy na jiný jednoznačný identifikátor a monitorování obecných semaforů. Rozšíření pro monitorování procesů tyto problémy řeší za vývojáře analyzátorů, čímž velmi zjednodušuje jejich vývoj. Užitečnost rozšíření je ukázána na implementaci dvou analyzátorů pro detekci souběhu (AtomRace a FastTrack), které bylo dosud možné využít pouze na vícevláknové programy. Implementace algoritmu FastTrack využívá happens-before relaci pro obecné semafory, která byla také definována jako součást této práce. Experimenty s analyzátory na studentských projektech ukázaly, že nástroj ANaConDA je nyní schopen detekovat paralelní chyby i ve víceprocesových programech a může tak pomoci při vývoji další skupiny paralelních programů.
14

Low Intensity Conflict: Contemporary Approaches and Strategic Thinking

Searle, Deane January 2007 (has links)
Low Intensity Conflict (LIC) is a significant feature of the contemporary world and it is a particular challenge to the armed forces of many states which are involved is such conflict, or are likely to become so. This thesis is not concerned with how such difficult conflict situations arise. Rather it is concerned with how, from the point of view of the state, they may be contained and ultimately brought to a satisfactory resolution. The work is thus concerned with the practicalities of ending LIC. More specifically, the purpose of this research is to establish a framework of doctrinal and military principles applicable to the prevention and resolution of LIC. The principles of this thesis are based in numerous historical examples of LIC and six in depth case studies. These distilled principles are analysed in two central chapters, and are then applied in two latter defence force chapters so as to ensure there practicality and resilience. Numerous defence academics and military practitioners have been consulted in the production of this thesis; their contribution has further reinforced the functionality of the principles examined in this research. The research illustrates the criticality of a holistic approach to LIC. The function of this approach is to guarantee the stability of the sovereign state, by unifying civil, police, intelligence and military services. The effectiveness of the military elements must also be ensured, as military force is central to the suppression of LIC. Consequently, the research makes strategic and operational prescriptions, so as to improve the capability of defence forces that are concerned with preventing or resolving LIC.

Page generated in 0.0321 seconds