683 resultados para Depuracao paralela
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
It bet on the next generation of computers as architecture with multiple processors and/or multicore processors. In this sense there are challenges related to features interconnection, operating frequency, the area on chip, power dissipation, performance and programmability. The mechanism of interconnection and communication it was considered ideal for this type of architecture are the networks-on-chip, due its scalability, reusability and intrinsic parallelism. The networks-on-chip communication is accomplished by transmitting packets that carry data and instructions that represent requests and responses between the processing elements interconnected by the network. The transmission of packets is accomplished as in a pipeline between the routers in the network, from source to destination of the communication, even allowing simultaneous communications between pairs of different sources and destinations. From this fact, it is proposed to transform the entire infrastructure communication of network-on-chip, using the routing mechanisms, arbitration and storage, in a parallel processing system for high performance. In this proposal, the packages are formed by instructions and data that represent the applications, which are executed on routers as well as they are transmitted, using the pipeline and parallel communication transmissions. In contrast, traditional processors are not used, but only single cores that control the access to memory. An implementation of this idea is called IPNoSys (Integrated Processing NoC System), which has an own programming model and a routing algorithm that guarantees the execution of all instructions in the packets, preventing situations of deadlock, livelock and starvation. This architecture provides mechanisms for input and output, interruption and operating system support. As proof of concept was developed a programming environment and a simulator for this architecture in SystemC, which allows configuration of various parameters and to obtain several results to evaluate it
Resumo:
The vascular segmentation is important in diagnosing vascular diseases like stroke and is hampered by noise in the image and very thin vessels that can pass unnoticed. One way to accomplish the segmentation is extracting the centerline of the vessel with height ridges, which uses the intensity as features for segmentation. This process can take from seconds to minutes, depending on the current technology employed. In order to accelerate the segmentation method proposed by Aylward [Aylward & Bullitt 2002] we have adapted it to run in parallel using CUDA architecture. The performance of the segmentation method running on GPU is compared to both the same method running on CPU and the original Aylward s method running also in CPU. The improvemente of the new method over the original one is twofold: the starting point for the segmentation process is not a single point in the blood vessel but a volume, thereby making it easier for the user to segment a region of interest, and; the overall gain method was 873 times faster running on GPU and 150 times more fast running on the CPU than the original CPU in Aylward
Resumo:
A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.
Resumo:
Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification
Resumo:
Baixo Vermelho area, situated on the northern portion of Umbuzeiro Graben (onshore Potiguar Basin), represents a typical example of a rift basin, characterized, in subsurface, by the sedimentary rift sequence, correlated to Pendência Formation (Valanginian-Barremian), and by the Carnaubais fault system. In this context, two main goals, the stratigraphic and the structural analysis, had guided the research. For this purpose, it was used the 3D seismic volume and eight wells located in the study area and adjacencies. The stratigraphic analysis of the Valanginian-Barremian interval was carried through in two distinct phases, 1D and 2D, in which the basic concepts of the sequence stratigraphy had been adapted. In these phases, the individual analysis of each well and the correlation between them, allowed to recognize the main lithofacies, to interpret the effective depositional systems and to identify the genetic units and key-surfaces of chronostratigraphic character. The analyzed lithofacies are represented predominantly by conglomerates, sandstones, siltites and shales, with carbonate rocks and marls occurring subordinately. According to these lithofacies associations, it is possible to interpret the following depositional systems: alluvial fan, fluvio-deltaic and lacustrine depositional systems. The alluvial fan system is mainly composed by conglomerates deposits, which had developed, preferentially in the south portion of the area, being directly associated to Carnaubais fault system. The fluvial-deltaic system, in turn, was mainly developed in the northwest portion of the area, at the flexural edge, being characterized by coarse sandstones with shales and siltites intercalated. On the other hand, the lacustrine system, the most dominant one in the study area, is formed mainly by shales that could occur intercalated with thin layers of fine to very fine sandstones, interpreted as turbidite deposits. The recognized sequence stratigraphy units in the wells are represented by parasequence sets, systems tracts and depositional sequences. The parasequence sets, which are progradational or retrogradational, had been grouped and related to the systems tracts. The predominance of the progradation parasequence sets (general trend with coarsening-upward) characterizes the Regressive Systems Tract, while the occurrence, more frequently, of the retrogradation parasequence sets (general trend with finning-upward) represents the Transgressive System Tract. In the seismic stratigraphic analysis, the lithofacies described in the wells had been related to chaotic, progradational and parallel/subparallel seismic facies, which are associated, frequently, to the alluvial fans, fluvial-deltaic and lacustrine depositional systems, respectively. In this analysis, it was possible to recognize fifteen seismic horizons that correspond to sequence boundaries and to maximum flooding surfaces, which separates Transgressive to Regressive systems tracts. The recognition of transgressive-regressive cycles allowed to identify nine, possibly, 3a order deposicional sequences, related to the tectonic-sedimentary cycles. The structural analysis, in turn, was done at Baixo Vermelho seismic volume, which shows, clearly, the structural complexity printed in the area, mainly related to Carnaubais fault system, acting as an important fault system of the rift edge. This fault system is characterized by a main arrangement of normal faults with trend NE-SO, where Carnaubais Fault represents the maximum expression of these lineations. Carnaubais Fault corresponds to a fault with typically listric geometry, with general trend N70°E, dipping to northwest. It is observed, throughout all the seismic volume, with variations in its surface, which had conditioned, in its evolutive stages, the formation of innumerable structural features that normally are identified in Pendencia Formation. In this unit, part of these features is related to the formation of longitudinal foldings (rollover structures and distentional folding associated), originated by the displacement of the main fault plan, propitiating variations in geometry and thickness of the adjacent layers, which had been deposited at the same time. Other structural features are related to the secondary faultings, which could be synthetic or antithetic to Carnaubais Fault. In a general way, these faults have limited lateral continuity, with listric planar format and, apparently, they play the role of the accomodation of the distentional deformation printed in the area. Thus, the interaction between the stratigraphic and structural analysis, based on an excellent quality of the used data, allowed to get one better agreement on the tectonicsedimentary evolution of the Valanginian-Barremian interval (Pendência Formation) in the studied area
Resumo:
Geological and geophysical studies (resistivity, self potential and VLF) were undertaken in the Tararaca and Santa Rita farms, respectively close to the Santo Antônio and Santa Cruz villages, eastern Rio Grande do Norte State, NE Brazil. Their aim was to characterize water acummulation structures in crystalline rocks. Based on geological and geophysical data, two models were characterized, the fracture-stream and the eluvio-alluvial through, in part already described in the literature. In the Tararaca Farm, a water well was located in a NW-trending streamlet; surrounding outcrops display fractures with the same orientation. Apparent resistivity sections, accross the stream channel, confirm fracturing at depth. The VLF profiles systematically display an alignment of equivalent current density anomalies, coinciding with the stream. Based on such data, the classical fracture-stream model seems to be well characterized at this place. In the Santa Rita Farm, a NE-trending stream display a metric-thick eluvioregolith-alluvial cover. The outcropping bedrock do not present fractures paralell to the stream direction, although the latter coincides with the trend of the gneiss foliation, which dips to the south. Geophysical data confirm the absence of a fracture zone at this place, but delineate the borders of a through-shaped structure filled with sediments (alluvium and regolith). The southern border of this structure dips steeper compared to the northern one. This water acummulation structure corresponds to an alternative model as regards to the classical fracture-stream, being named as the eluvio-alluvial trough. Its local controls are the drainage and relief, coupled with the bedrock weathering preferentially following foliation planes, generating the asymmetry of the through
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Resumo:
OBJETIVO: analisar qual das características propostas pelo BIRADS-US tem maior impacto na diferenciação das lesões benignas das malignas. MÉTODOS: estudamos as características ultra-sonográficas do BIRADS em 384 nódulos submetidos à biópsia percutânea no período de fevereiro de 2003 a dezembro de 2006. Utilizou-se, para o exame, o aparelho Logic 5, com transdutor linear multifreqüencial de 7,5-12 MHz. A análise ultra-sonográfica do nódulo foi baseada no BIRADS-US levando em conta: forma, orientação, margem, limites da lesão, ecogenicidade, características acústicas posteriores, o tecido circunjacente e a presença de calcificações. Estes dados foram submetidos à análise estatística com modelo de regressão logística. Para o estudo de associação entre estas variáveis utilizamos o teste do c² e também calculamos a sensibilidade e a especificidade das variáveis tecido ao redor, calcificações, efeito posterior, limite da lesão e orientação. RESULTADOS: as lesões benignas representaram 42,4% e as malignas, 57,6%. A análise por regressão logística encontrou odds ratio (OR) aumentado para câncer de 7,7 vezes quando o tecido ao redor esteve alterado, de 6,2 vezes quando houve presença das microcalcificações no interior das lesões, de 1,9 quando o efeito acústico foi sombra, de 25,0 vezes quando houve o halo ecogênico e de 7,1 vezes quando a orientação foi não paralela. CONCLUSÕES: dentre as características estudadas, o limite da lesão, representado pela presença ou não do halo ecogênico, é o mais importante diferenciador das massas benignas das malignas.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
INTRODUÇÃO: A utilização da fotogrametria computadorizada em prol da goniometria, ou vice-versa, na prática clínica ainda necessita de fundamentações consistentes. OBJETIVOS: Os objetivos deste estudo foram: verificar a confiabilidade inter e intraexaminadores avaliadores na quantificação das medidas angulares obtidas a partir da fotogrametria computadorizada e a goniometria e determinar a confiabilidade paralela entre esses dois diferentes instrumentos de avaliação. MATERIAIS E MÉTODOS: 26 voluntários e 4 examinadores foram utilizados no estudo. A coleta foi realizada em 4 etapas sequenciais: demarcação dos pontos anatômicos de referência, mensuração e registro dos valores goniométricos, captação da imagem do voluntário com os marcadores fixados no corpo e avaliação do registro fotográfico no programa ImageJ. RESULTADOS: O goniômetro é um instrumento confiável na maioria das evidências, porém, a confiabilidade das medições depende principalmente da uniformização dos procedimentos. Considerações metodológicas relativas ao estabelecimento de confiabilidade e padronização da colocação dos marcadores se fazem necessárias, de modo a oferecer opções de avaliação ainda mais confiáveis para a prática clínica. CONCLUSÃO: Ambos os instrumentos são confiáveis e aceitáveis, porém, mais evidências ainda são necessárias para suportar a utilização desses instrumentos, pois poucos pesquisadores têm utilizado o mesmo desenho de estudo, e a comparação dos resultados entre eles muitas vezes são difíceis.
Resumo:
Documento en inglés ingresado en Biblioteca (146629)
Resumo:
The Neoproterozoic Granitic Province from the southeast of Mato Grosso and Mato Grosso do Sul region is constituted by seven distinctive granitic bodies, emplaced in the epimetamorphic rocks of the Cuiabá Group and related to the evolution of Paraguai Folded Belt. The Northern portion crops out in Mato Grosso State and is constituted by São Vicente, Araguaiana and Lajinha batholiths; the Southern portion crops out in the Mato Grosso do Sul State and is represented the Sonora, Coxim Rio Negro and Taboco massifs. The structural evolution is evidenced by the presence of three deformational phases, the first one is characterized by axial planar foliation (S 1), parallel or sub parallel to S 0, with attitude N60E/70NW; the second constitutes the most important phase for the tectonic arrangement and is defined by a slaty and/or crenulation cleavages (S 2), with attitude N10W/30SW and contact metamorphism associated to the emplacement of granitic bodies, the third phase is characterized by a weak retrometamorphic cleavage (S 3) with attitude N10E/ 80NW, that evolves local and gradually to strike-slip shear zones. The geological data suggest that this province was formed syn- to post tectonic to the D2 deformational set associated to the end of the collisional event in the Southeastern of the Amazonian Craton.
Resumo:
Incluye Bibliografía