933 resultados para Computer Generated Proofs
Resumo:
According to experimental observations, the vortices generated by vortex generators have previously been observed to be self-similar for both the axial (u(z)) and azimuthal (u(circle minus)) velocity profiles. Further, the measured vortices have been observed to obey the criteria for helical symmetry. This is a powerful result, since it reduces the highly complex flow to merely four parameters. In the present work, corresponding computer simulations using Reynolds-Averaged Navier-Stokes equations have been carried out and compared to the experimental observations. The main objective of this study is to investigate how well the simulations can reproduce the physics of the flow and if the same analytical model can be applied. Using this model, parametric studies can be significantly reduced and, further, reliable simulations can substantially reduce the costs of the parametric studies themselves.
Resumo:
Esta tese propôs uma metodologia para detecção de áreas susceptíveis a deslizamentos de terra a partir de imagens aéreas, culminando no desenvolvimento de uma ferramenta computacional, denominada SASD/T, para testar a metodologia. Para justificar esta pesquisa, um levantamento sobre os desastres naturais da história brasileira relacionada a deslizamentos de terra e as metodologias utilizadas para a detecção e análise de áreas susceptíveis a deslizamentos de terra foi realizado. Estudos preliminares de visualização 3D e conceitos relacionados ao mapeamento 3D foram realizados. Estereoscopia foi implementada para visualizar tridimensionalmente a região selecionada. As altitudes foram encontradas através de paralaxe, a partir dos pontos homólogos encontrados pelo algoritmo SIFT. Os experimentos foram realizados com imagens da cidade de Nova Friburgo. O experimento inicial mostrou que o resultado obtido utilizando SIFT em conjunto com o filtro proposto, foi bastante significativo ao ser comparado com os resultados de Fernandes (2008) e Carmo (2010), devido ao número de pontos homólogos encontrados e da superfície gerada. Para detectar os locais susceptíveis a deslizamentos, informações como altitude, declividade, orientação e curvatura foram extraídas dos pares estéreos e, em conjunto com as variáveis inseridas pelo usuário, forneceram uma análise de quão uma determinada área é susceptível a deslizamentos. A metodologia proposta pode ser estendida para a avaliação e previsão de riscos de deslizamento de terra de qualquer outra região, uma vez que permite a interação com o usuário, de modo que este especifique as características, os itens e as ponderações necessárias à análise em questão.
Resumo:
Assessment and management of risk is needed for sustainable use of genetically modified aquatic organisms (aquatic GMOs). A computer software package for safely conducting research with genetically modified fish and shellfish is described. By answering a series of questions about the organism and the accessible aquatic ecosystem, a researcher or oversight authority can either identify specific risks or conclude that there is a specific reason for safety of the experiment. Risk assessment protocols with examples involving transgenic coho salmon, triploid grass carp and hybrid tilapia are described. In case a specific risk is identified, the user is led to consider risk management measures, involving culture methods, facilities design and operations management, to minimize the risk. Key features of the software are its user-friendly organization; easy access to explanatory text, literature citations and glossary; and automated completion of a worksheet. Documented completion of the Performance Standards can facilitate approval of a well designed experiment by oversight authorities.
Resumo:
A discussion is presented on the topic of statistical data analysis in the field of ecology, emphasizing the importance of computer programmes being user friendly for the ecologist. Particular reference is given to TWINSPAN, CANOCO and PATN and the applications of these programmes to tropical fisheries and coastal zone management.
Resumo:
This paper presents an algorithm and software (available from ICLARM) for estimating the possible amount of sunlight that may fall on any location of the earth, any day of the year, as might be required for ecological modelling.
Resumo:
É presentada nesta dissertação uma análise espectral das equações de transporte de nêutrons, independente do tempo, em geometria unidimensional e bidimensional, na formulação de ordenadas discretas (SN), utilizando o modelo de uma velocidade e multigrupo, considerando meios onde ocorrem o fenômeno da fissão nuclear. Esta análise espectral constitui-se na resolução de problemas de autovalores e respectivos autovetores, e reproduz a expressão para a solução geral analítica local das equações SN (para geometria unidimensional) ou das equações nodais integradas transversalmente (geometria retangular bidimensional) dentro de cada região homogeneizada do domínio espacial. Com a solução geral local determinada, métodos numéricos, tais como os métodos de matriz de resposta SN, podem ser derivados. Os resultados numéricos são gerados por programas de computadores implementados em MatLab, versão 2012, a fim de verificar a natureza dos autovalores e autovetores correspondentes no espaço real ou complexo.