8 resultados para 102600
Resumo:
Pós-graduação em Ciências Biológicas (Biologia Vegetal) - IBRC
Resumo:
Signatur des Originals: S 36/F04955
Resumo:
Em princípios de 1946 o Conselho Nacional do Petróleo iniciou seus estudos sísmicos na foz do rio Amazonas, tendo então averiguado a existência de uma fossa de 60 mil \'km POT.2\', com espessuras entre mil e três mil metros. Como vemos na fig. 1, esta fossa inicia-se aproximadamente a 200 km ao sul de Belém, estendendo-se mais 500 km para o norte, atravessando as ilhas de Marajó e Mexiana, prolongando-se pelo oceano Atlântico. Sua largura é de aproximadamente 120 km. Uma segunda fossa com mil metros de espessura de sedimentos foi assinalada pelos estudos geofísicos do Conselho Nacional do Petróleo, sendo seu eixo aproximadamente concordante com o curso do rio Amazonas, estendendo-se até os arredores de Monte Alegre. Nas proximidades de Antonio Lemos, uma evolução do cristalino indica a separação das duas fossas, sendo que a segunda é limitada ao norte e ao sul por afloramentos do cristalino nos rios Jarí, Paru e Xingu. (Dados lidos nos Relatórios do Conselho Nacional do Petróleo). Processos geofísicos de refração e reflexão indicaram a existência de falhamentos e de estruturas favoráveis ao acúmulo de petróleo (anticlinais) em três localidades: Limoeiro, Cururu e Badajós (fig.1). Uma vez feitas as perfurações nessas três localidades, com resultados negativos para petróleo, infelizmente, aproveitamos os testemunhos das duas primeiras perfurações, com o objetivo de procurarmos esclareceer a estrutura geral das camadas, condições de formação dos sedimentos amostrados, ambiente geográfico e tectônico e provável idade das rochas estudadas. Por motivo de força maior não nos foi possível estudar a testemunhagem da terceira perfuração. Limitamo-nos a estudar alguns fragmentos típicos, mais representativos, gentilmente cedidos pelo Dr. Setembrino Petri. Deixo aqui os meus agradecimentos ao Conselho Nacional do Petróleo pelas facilidades que nos foram proporcionadas a fim de que pudéssemos realizar tal trabalho. Agradeço ) também ao Prof. Dr. Viktor Leinz pela criteriosa orientação dada ao presente trabalho.
Resumo:
The testing of concurrent software components can be difficult due to the inherent non-determinism present in these components. For example, if the same test case is run multiple times, it may produce different results. This non-determinism may lead to problems with determining expected outputs. In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool. We then present a recent extension to the tool that provides a general solution to this problem that is sufficient to deal with the level of non-determinism that we have encountered in testing over 20 components with ConAn. © 2005 IEEE