Do ponto de vista reológico, o concreto fresco flui como um líquido. Sendo assim, o seu comportamento no estado fresco deve ser estudado a partir dos conceitos da reologia, ciência voltada para o estudo das deformações e escoamento de um fluido sob a influência de tensões. As estruturas bem planejadas, dependendo do processo adotado para sua confecção, são executadas em tempo muito pequeno após a mistura dos materiais que irão constituir os concretos. Assim, a trabalhabilidade do concreto é um parâmetro importante a ser estudado, tanto por facilitar o lançamento do material quanto pelas decisões relacionadas com a forma desse lançamento. Tradicionalmente, a trabalhabilidade do concreto está associada à sua consistência, expressa em termos de abatimento obtido no ensaio de tronco de cone, que, apesar de ser um método de ensaio bastante utilizado, não a quantifica totalmente. Isto porque o concreto se comporta como um fluido binghamiano, sendo, então, caracterizado por dois parâmetros reológicos: a tensão de escoamento e a viscosidade plástica. Assim, o presente trabalho determina alguns parâmetros de medida, a partir de conceitos reológicos, para a verificação do comportamento de alguns tipos de concreto de alto desempenho no estado fresco, com adição de sílica ativa. Para isso, foram usados tanto os métodos de ensaios tradicionais - ensaio de abatimento de tronco de cone e consistômetro de Ve-Be - quanto equipamentos mais modernos - reômetro. Uma modificação do ensaio de abatimento tradicional também foi usada como uma tentativa de simplificar a determinação dos parâmetros reológicos que caracterizam o comportamento dos concretos frescos. A capacidade dos concretos escoarem sob influência do seu peso próprio foi avaliada através do ensaio da caixa L. A identificação da natureza reológica dos concretos foi feita com o auxílio de um reômetro. A trabalhabilidade dos concretos foi avaliada a partir dos métodos de ensaio que medem os dois parâmetros reológicos e sua perda ao longo do tempo foi associada à evolução dos parâmetros medidos. Apesar de terem sido classificadas como misturas fluidas, nenhum concreto apresentou escoamento suficiente que o caracterizasse como um material auto-adensável, porém apresentou bom escoamento sob a energia de um vibrador. A natureza reológica dos concretos foi identificada como sendo realmente semelhante a um fluido binghamiano. A trabalhabilidade, bem como sua perda ao longo do tempo, foram associadas à evolução dos parâmetros reológicos: observou-se um aumento da tensão de escoamento (ou torque de escoamento), enquanto a viscosidade plástica (ou viscosidade de torque) permaneceu praticamente constante durante os 60 minutos em que o comportamento foi acompanhado. Conclui-se que para a trabalhabilidade dos CAD, há inúmeros outros fatores importantes a serem considerados no prosseguimento da pesquisa, os quais deverão levar em conta parâmetros associados à produção, ao transporte e ao lançamento do material. / From the rheological point of view, the fresh concrete flows as a liquid. In such case, its fresh behavior should be studied from the concepts of rheology, the science which concerns the study of deformation and flow of a fluid under stress influence. The well designed structures, depending on the process considered in their production, are performed in a very short time after the mixture of the materials that will constitute the concretes. Thus, the concrete workability is an important parameter to be studied, even for facilitating the material placement and for the decisions related with the method of this process. Traditionally, the concrete workability is associated to its consistency, expressed in terms of the slump value measured by the slump test that, in spite of being a quite used test, does not quantify it totally. It happens because the concrete behaves as a Bingham fluid, being described by two rheological parameters: the yield stress and the plastic viscosity. Thus, the present research determines some measure parameters from rheological concepts to verify the behavior of some types of fresh high performance concrete (with silica fume addition). For this, both traditional test methods - slump test and Vebe consistometer - and more recent equipments - rheometer - were used. A modification of the traditional slump test was also used as an attempt to simplify the determination of the rheological parameters that describe the fresh concretes behaviors. The capacity of the concretes flow under the influence of their own weight was evaluated by the L-box test. The identification of the concretes rheological behavior was made with a rheometer. The concretes workability was evaluated from test methods that measure the two rheological parameters and its loss over time was associated to the evolution of the measured parameters. In spite of being classified as fluid mixtures, none of the concretes presented enough flow to describe it as a self-compacting material; however they presented a good flow under vibration energy. The concrete rheological behavior was identified as being similar to a Bingham fluid. The workability, as its loss over time, was associated to the evolution of the rheological parameters: an increase of the yield stress (or flow resistance) was observed, while the plastic viscosity (or torque viscosity) stayed practically constant during the 60 minutes in which the behavior was followed. It is concluded that for the high performance concretes workability, there are other several important factors to be considered in the research pursuit, which should consider the parameters associated to the material\'s production, transport and placement.

O consumo de pêssego se expandiu no Brasil durante a última década. A Região do Alto e Médio Vale do Uruguai, RS, apresenta características potencialmente favoráveis ao cultivo do pessegueiro. Ao avaliar a adaptação de uma cultivar de pessegueiro a uma região, é necessário conhecer o clima e a fenologia das plantas, relacionando-a com horas de frio (HF) para saída da endodormência e com graus-dia (GD) para o seu desenvolvimento. O entendimento das relações entre fenologia e meteorologia contribui para melhorar o manejo da cultura. O objetivo deste trabalho foi caracterizar o clima regional e determinar o comportamento do pessegueiro nas condições meteorológicas locais. Para a caracterização climática, sistematizaram-se dados de Iraí, RS e, a partir de uma imagem de altitudes e equações derivadas, produziram-se imagens usando o programa IDRISI. Foram observadas fenologia, fenometria e qualidade de fruto nos anos de 2000 a 2003 e 2005 a 2007, de 18 cultivares. Determinaram-se início e fim de brotação, floração, crescimento e maturação; diâmetro de fruto, firmeza de polpa, sólidos solúveis e acidez titulável. Os dados meteorológicos de precipitação pluvial (PP) foram medidos no local do experimento e os de temperatura do ar, HF (<7, 10, 12 e 15ºC) e GD foram estimados de Iraí e Santo Augusto, RS. Climaticamente a precipitação pluvial mensal variou de 132 a 195mm, com média anual de 1850mm e nas imagens, as HF (<7ºC) variaram entre 94 a 426, com média de 277; o risco de geada foi de 20 a 37%. Para floração, as cultivares Precocinho e Fla foram precoces e as Pilz e Coral e Eldorado, tardias. Nos anos de fenologia, as HF anuais variaram de 156 a 389 (<7ºC) e de 1293 a 1727 (<15ºC). Pela fenologia, determinaram-se às HF e os GD necessários das cultivares. Houve relação positiva entre HF e tempo para brotar e florescer, demonstrando que após sair da endodormência a planta necessita GD para entrar na fase vegetativa. A relação entre nº de dias com PP e duração da floração foi positiva, sugerindo que dias nublados alongam e dias com brilho solar encurtam o período. / The consumption of peach increased in Brazil during the last decade. The region of the Region of the High and Middle Valley of Uruguai, in Rio Grande do Sul State (RS), provides favorable characteristics for growing peach. The adaptation of peach cultivar in a certain region has the necessity of knowing the climate conditions and evaluating the plants phenology, in terms of chilling hours (CH) for endormency and degree-days (DD) for the plant development. Understanding the relationship between phenology and weather contributes for facilitating the crop management. This study aimed to characterize the regional climate and to determine the behavior of peach in the local weather conditions. Climatological data from Iraí, RS were systematized for characterizing the regional climate, and with a image of altitudes and derived equations, images were elaborated by using the IDRISI software. Cultivars were described in terms of phenology, fenometry and fruit quality, from 2000 to 2003 and, 2005 to 2007 of 18 cultivars. The beginning and the end of budding, flowering, growth and maturation of fruit, fruit diameter, flesh firmness, soluble solids and titratble acidity were determined. Data of rainfall were measured at the experimental site while the air temperature, CH (below 7, 10, 12 and 15ºC) and DD were estimated from Iraí and Santo Augusto, RS. Climatically the monthly rainfall ranged from 132 to 195mm, with annual average of 1,850mm. In the images generated, the CH (below 7ºC) ranged from 94 to 426, with an average of 277. The risk of frost ranged from 20 to 37%. For flowering, the Precocinho and Fla cultivars were earlier, while cv. Pilz and Coral were later. During the period of phenological observations, the annual CH ranged from 156 to 389 (below 7ºC) and from 1,239 to 1,727 (below 15ºC). The phenology of the studied cultivars, were characterized in terms of CH and DD necessary for each one. A positive relationship between CH and time in days for starting the budding and flowering was observed. This relationship shows that plants has entered into ecodormancy but didn’t have accumulated sufficient DD. A positive relationship between number of rainy days and duration of flowering was detected, suggesting that cloudy days prolong this period, while sunny days reduce the same period.

Este trabalho visa a disponibilização de um ambiente de alto desempenho, do tipo cluster de computadores, com alta exatidão, obtida através da utilização da biblioteca C–XSC. A alta exatidão na solução de um problema é obtida através da realização de cálculos intermediários sem arredondamentos como se fossem em precisão infinita. Ao final do cálculo, o resultado deve ser representado na máquina. O resultado exato real e o resultado representado diferem apenas por um único arredondamento. Esses cálculos em alta exatidão devem estar disponíveis para algumas operações aritméticas básicas, em especial as que possibilitam a realização de somatório e de produto escalar. Com isso, deseja-se utilizar o alto desempenho através de um ambiente de cluster onde se tem vários nodos executando tarefas ou cálculos. A comunicação será realizada por troca de mensagens usando a biblioteca de comunicação MPI. Para se obter a alta exatidão neste tipo de ambiente, extensões ou adaptações nos programas paralelos tiveram que ser disponibilizadas para garantir que a qualidade do resultado final realizado em um cluster, onde vários nodos colaboram para o resultado final do cálculo, mantivesse a mesma qualidade do resultado que é obtido em uma única máquina (ou nodo) de um ambiente de alta exatidão. Para validar o ambiente proposto foram realizados testes básicos abordando o cálculo do produto escalar, a multiplicação entre matrizes, a implementação de solvers intervalares para matrizes densas e bandas e a implementação de alguns métodos numéricos para a resolução de sistemas de equações lineares com a característica da alta exatidão. Destes testes foram realizadas análises e comparações a respeito do desempenho e da exatidão obtidos com e sem o uso da biblioteca C–XSC, tanto em programas seqüenciais como em programas paralelos. Com a conseqüente implementação dessas rotinas e métodos será aberto um vasto campo de pesquisa no que se refere ao estudo de aplicações reais de grande porte que necessitem durante a sua resolução (ou em parte dela) da realização de operações aritméticas com uma exatidão melhor do que a obtida usualmente pelas ferramentas computacionais tradicionais.

O derrame estudado é o sexto da sequência basáltica do Alto Uruguai, no norte do Rio Grande do Sul. Este derrame faz parte da Fm Serra Geral que é a parte brasileira do grande evento geológico: a formação da Província Magmática Paraná-Etendeka. Este derrame tem a seguinte estruturação interna: - nível basal contendo vesículas; nível intermediário com 10 a 25m de espessura, com fraturamento irregular e contendo no topo um nível macrovesicular interno, onde ocorrem os geodos (com diâmetros de milímetros a metros). Estes geodos são preenchidos principalmente por minerais de sílica como ametista, ágata e calcedônia, mas podem conter também calcita e zeolitas associadas; - nível superior, com 2 a 4m de espessura de basalto maciço; e – nível vesicular de topo, com 1 a 2 m de espessura, contendo vesículas (milimétricas a centimétricas) preenchidas por zeolitas, calcita, quartzo e argilominerais. Oito amostras destas rochas foram estudadas através de difratometria de raios X, petrografia, microscopia eletrônca e geoquímica de rocha total, com o objetivo de entender a gênese dos argilominerais presentes nestas rochas. A esmectita é o argilomineral presente em todas as rochas, principalmente ocupando a mesóstase. A celadonita ocorre somente no contato com os geodos e as vesículas. A esmectita é bem cristalizada, tem seu crescimento perpendicular Às faces dos cristais primários e não ocorre nas zonas de alteração. As vesículas contêm diferentes gerações de argilominerais, com a esmectita sendo formada inicialmente, seguida da celadonita. A presença de esmectita como inclusão em apatita, seu aspecto de crescimento, associado à presença de celadonita somente nas zonas de maior alteração, sugerem que a esmectita pode ter a sua origem durante os processos tardi-magmáticos e a celadonita resulta de processos de alteração hidrotermal destas rochas. / The basalt flow deposit studied is the 6th of a basaltic sequence of the Alto Uruguai region in the Rio Grande do Sul state. This deposit is situated in the Serra Geral formation which is the Brazilian part of a big geological event: the formation of the Paraná-Etendeka magmatic province. This flow have the internal structures as: -a basal level that contains vesicles; - a medium level from 10 to 25m, irregularly fracturated that contains at the top an internal macrovesicular level where we can find geodes (from few millimeters to few meters diameter). These geodes are principally filled with silica minerals as amethyst, agate and chalcedony, but can also have associated minerals as calcite and zeolites; - the superior level, from 2 to 4 m thick, of massive basalt; - and a vesicular level on the top, 1 to 2m thick, where vesicles (from millimeter to centimeter diameter) are filled with zeolites, calcite, quartz and clays. Eight rock samples were used for this study, by X-ray diffraction, petrography, electron microscopy and whole rock chemistry, with the aim to understand how the clays present in a basal flow could have formed. Smectite is the clay mineral that occurs in all samples, mainly in the mesostasis. Celadonite occurs only in the contact of the geodes and vesicles. Smectite is well crystallized, growing perpendicular to the phenocrystals surfaces and doesn’t grow in the alteration zones. Vesicles contain different generations of clay minerals with a first one of smectite and a second of celadonite. The presence of smectites as inclusion in apatite, its growing aspects, along with the presence of celadonite only in the alteration zones suggest that smectites could be formed during the tardi-magmatic processes and celadonite represents the hydrothermal alteration product of this rock.

Neste trabalho, fez-se uma avaliação da reatividade do carvão gaúcho da mina de Faxinal com 17% de cinzas, de dois carvões importados, bem como das misturas destes carvões em diferentes proporções mássicas. Além disso, quantificou-se outros parâmetros importantes para o processo de injeção do carvão pulverizado (PCI) na fabricação do gusa via alto-forno, como o teor de cinzas, teor de matéria volátil e composição química das cinzas. A reatividade foi avaliada em termos da reação de gaseificação com CO2, em termobalança, sob condições isotérmicas e pressão atmosférica. Os experimentos foram realizados na temperatura de 1050ºC com CO2 puro, utilizando amostras com granulometria menor que 75 mm. Avaliou-se o efeito da geometria do cadinho e vazão de gás sobre a taxa de reação para garantir uma situação de controle cinético na reação de gaseificação. Os resultados experimentais revelaram que o carvão de Faxinal possui uma reatividade muito maior frente ao CO2 do que os carvões importados. O tempo para que se complete a reação, parâmetro importantíssimo no processo do alto-forno que utiliza PCI, é muitíssimo menor para o carvão de Faxinal do que para os carvões importados. As misturas de carvões revelaram um comportamento aditivo quanto à reatividade e aos demais parâmetros estudados. Observou-se que quanto maior o teor de carvão gaúcho presente na mistura, maior sua reatividade e menor é o tempo gasto para atingir a taxa máxima de reação. Em função dos resultados de reatividade, teor de cinzas e composição química das cinzas obtidos, permitiu-se indicar uma mistura com até 50% de carvão de Faxinal para ser testada na injeção de carvão pulverizado.

Submitted by Marcelo Andrade Silva (marcelo.andradesilva@ufpe.br) on 2015-03-06T14:13:00Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO - ISABELA AMBLARD.pdf: 1238347 bytes, checksum: e1ecd7547b463eb69482e7976905b1f7 (MD5) / Made available in DSpace on 2015-03-06T14:13:00Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO - ISABELA AMBLARD.pdf: 1238347 bytes, checksum: e1ecd7547b463eb69482e7976905b1f7 (MD5) Previous issue date: 2012 / Esta pesquisa teve como objetivo compreender as representações sociais da vitória/derrota construídas por atletas-adolescentes do esporte de alto rendimento na cidade do Recife. A adolescência é compreendida a partir da Psicologia Sócio Histórica, e o embasamento teórico-metodológico adotado é a Teoria das Representações Sociais, que aborda os sujeitos inseridos em diferentes contextos socioculturais, lugares de pertencimento, experiências individuais e coletivas, crenças, saberes e sentimentos compartilhados por seus grupos de pares. A natureza da pesquisa é qualitativa e teve por objetivos específicos descrever, compreender e explicar os sentidos atribuídos pelos atletas-adolescentes. Adotou-se a perspectiva plurimetodológica com variados recursos de coleta e análise de dados. Os instrumentos utilizados foram os questionários de associação livre (1ª etapa), com a identificação do campo semântico das representações, e entrevistas semi-dirigidas (2ª etapa), com o objetivo de capturar os elementos centrais das representações sociais. Na análise dos dados, o software EVOC e as técnicas de análise temática de conteúdo de Bardin. Participaram 101 atletas-adolescentes do esporte de alto rendimento, na faixa etária entre 12 e 18 anos, de ambos os sexos, atuantes de modalidade individual (natação) e coletiva (vôlei). Identificamos as representações de vitória/derrota a partir de três dimensões: a dimensão pessoal e motivacional, a dimensão afetivo-emocional, e a dimensão técnica, sinalizando um sentido subjetivo e outro técnico. De modo geral, a vitória/derrota apresenta sentidos compartilhados de sentimentos positivados de superação. Nas situações de vitória, interpretamos que o mérito é compartilhado entre os sujeitos e os treinamentos executados por eles, enquanto na derrota, o sujeito assume de modo solitário a culpa pelo fracasso, e aparece a autoproteção em relação às frustrações e decepções decorrentes de suas performances. As experiências do esporte de alto rendimento parecem repercutir como aprendizados para a vida. Verificamos, ainda, idealizações de: atletas, adolescentes, filhos e pais, que sugerem sistemas de representações interligados, formando redes de significações, a partir das quais os sujeitos atribuem sentidos aos seus modos de ser e agir.

Submitted by Etelvina Domingos (etelvina.domingos@ufpe.br) on 2015-04-10T17:56:29Z No. of bitstreams: 2 DISSERTAÇÃO Hérika Dantas Modesto Pinheiro.pdf: 1082437 bytes, checksum: 0565c806ce6fdac95d34d7cadc5544ce (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-04-10T17:56:29Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Hérika Dantas Modesto Pinheiro.pdf: 1082437 bytes, checksum: 0565c806ce6fdac95d34d7cadc5544ce (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-04-15 / A gravidez é um fenômeno fisiológico que evolui em sua maioria sem intercorrências. As gestações de alto risco correspondem a 15% dos casos, onde a mulher necessita ser referenciada para uma unidade de maior complexidade. O acesso ao parto precisa ocorrer em tempo e local oportunos para atender às demandas das parturientes. O presente trabalho buscou avaliar o acesso das parturientes às maternidades de alto risco da cidade do Recife-PE. Trata-se de um estudo descritivo, quantitativo de corte transversal, realizado nas maternidades de referência estadual, por meio de entrevista estruturada. A amostra foi composta por 618 puérperas. Os dados foram digitados e analisados através do software Epiinfo versão 3.5.3 e a razão de chances (OR) como medida de associação. Os resultados evidenciaram que a maioria das puérperas era jovem, parda, baixa escolaridade, sem trabalho remunerado. Aquelas que residiam na I Região de Saúde tiveram cinco vezes mais chances de obter assistência em uma única maternidade procurada (p<0, 0001). Houve predomínio de primíparas, sem doenças e complicações obstétricas anteriores, que realizaram o pré-natal. As síndromes hipertensivas foram as principais complicações obstétricas atuais (66%). A maioria não teve o parto realizado na maternidade de referência (80,2%), onde 62% tiveram que procurar por mais de um serviço de saúde durante o parto. Conclui-se que há uma oferta desigual de leitos de alto risco em Pernambuco, falta de integração e articulação entre os níveis de complexidade, com baixa resolutividade da atenção primária. É necessário um maior compromisso por parte dos gestores de saúde na garantia do atendimento à gestante com o objetivo de promover o acesso ao parto oportuno, regionalizado e de forma humanizada, garantindo assim o cumprimento dos direitos sexuais e reprodutivos das mulheres pernambucanas.

Made available in DSpace on 2014-06-12T15:06:13Z (GMT). No. of bitstreams: 2 arquivo4467_1.pdf: 3066603 bytes, checksum: a1685ecd7f9a19a961b0a3a072d851a0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / As sociedades ocidentais contemporâneas têm desenvolvido um movimento conhecido como Nova Era, onde ressurgem valores e práticas religiosas antigas e/ou de origem oriental, aliadas a uma crescente valorização da natureza enquanto espaço sagrado. O desafio de alcançar a sustentabilidade ambiental e a busca por uma vida mais próxima da dimensão espiritual se confundem e provocam deslocamentos humanos em muitas partes do mundo, então considerados centros importantes do planeta por muitos dos adeptos deste movimento, também chamado esotérico. Este trabalho foi realizado sob esta perspectiva, tendo a cidade de Alto Paraíso de Goiás como um dos cenários para a análise de uma situação onde a preservação ambiental é fundamentada na prática espiritual religiosa e na percepção do ambiente como meio de relações entre o homem e o sagrado. Suas características geográficas, assim como os fluxos migratórios e de turistas que a cidade recebeu nas últimas décadas, nortearam a formação de suas múltiplas identidades, resultando num espaço onde os símbolos que a natureza oferece são percebidos por seus habitantes tanto como oportunidades de desenvolvimento econômico, como limites para a atuação humana sobre seu meio

Made available in DSpace on 2014-06-12T15:53:01Z (GMT). No. of bitstreams: 2 arquivo4840_1.pdf: 2733371 bytes, checksum: e244212f7a4deffc77acea2d00797916 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Mudanças paradigmáticas tem sido observadas no contexto da computação de alto desempenho a partir da última década. A consolidação das arquiteturas distribuídas, bem como o avanço no estado-da-arte das tecnologias de processadores e interconexão em redes, culminou no aparecimento dos clusters, redes de convencionais de computadores capazes de rivalizar com supercomputadores em seu nicho de aplicações a um custo inferior em ordens de magnitude. Recentemente, com o avanço no estado-da-arte das tecnologias de interconexão de redes de longa distância, vislumbrou-se o uso da infra-estrutura destas para construção de supercomputadores de escala virtualmente infinita, conceito que ficou conhecido como grid computing. Pesquisas em todo o mundo visam viabilizar o uso destas arquiteturas para supercomputação, com resultados promissores. Clusters e Grids são hoje consideradas as tecnologias que ditarão o futuro da computação de alto desempenho. Sua maior implicação reside na miríade de novas aplicações para supercomputação, extrapolando os limites da computação meramente científica. Entretanto, estas tem se caracterizado por um maior nível de complexidade estrutural e escala, exigindo ferramentas de mais alto nível para o seu desenvolvimento. O paradigma de programação paralela designa os alicerces à implementação eficiente de aplicações sobre clusters e grids. Entretanto, a dificuldade inerente à construção de programas paralelos e a inexistência de ferramentas de alto nível que auxiliem a esta tarefa, principalmente voltadas a programas de larga escala, levaram a comunidade científica ao consenso da necessidade em investirem-se esforços no desenvolvimento de modelos avançados de programação paralela, ermitindo que programas serem formalmente validados e adaptados às modernas técnicas de engenharia modular de programas. O modelo # de programação paralela, produto desta tese de doutorado, surge como uma alternativa aos mecanismos eficientes convencionais de desenvolvimento de programas paralelos sobre arquiteturas distribuídas, tendo sido desenvolvido segundo um conjunto de premissas induzidas pelo contexto que se criou com o surgimento e disseminação das tecnologias associadas a cluster e grid computing. O modelo surge com s\'olidas fundações em modelos formais baseados em redes de Petri, permitindo a análise de propriedades e avaliação de desempenho de programas usando ferramentas pré-existentes adaptadas a esse disseminado formalismo. Implementa-se a linguagem Haskell#, a qual adere ao modelo #, usando Haskell para descrever computações. O uso de Haskell permite a ortogonalização transparente entre os meios de coordenação e computação de um programa #. Complementa ainda o arcabouço de análise formal de programas #, extendo-o no nível de computação, devido a existência de ferramental adequado ao tratamento formal de linguagens funcionais puras e não-estritas

Made available in DSpace on 2014-06-12T15:54:52Z (GMT). No. of bitstreams: 2 arquivo2015_1.pdf: 2391415 bytes, checksum: 09ab851c629f8ccc9ea982e2c53f53b3 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / A recente evolução na arquitetura dos dispositivos lógicos programáveis, como os FPGAs (Field Programmable Gate Array), associada à demanda por desempenho exigida em aplicações de computação científica, despertou a atenção de projetistas de supercomputadores que têm investido na criação de plataformas híbridas, associando processadores de propósito geral a co-processadores baseados em FPGAs, em busca de melhores níveis de aceleração. Uma arquitetura que incorpore um ou mais processadores de propósito geral e FPGAs num link de alta velocidade é chamada computador reconfigurável de alto desempenho. Este tipo de configuração requer, em geral, uma alta largura de banda entre o processador e o FPGA, necessário para que os ganhos com a execução em hardware superem o gargalo na comunicação. O sucesso dessas plataformas depende de características como: recursos presentes no FPGA, disponibilidade de memória na arquitetura, largura de banda e capacidade de escalabilidade das mesmas. Ao mesmo tempo, uma análise adequada do problema e um particionamento hardware/software eficiente, são necessários. Neste caso, processos com características de controle devem ser executados no processador de propósito geral e a computação intensiva deve ser executada em FPGA, onde podem ser exploradas características como paralelismo de execução e reuso de dados. Neste trabalho, são estudadas as principais características de alguns dos computadores reconfiguráveis de alto desempenho existentes. Além disso, como estudo de caso, é apresentada a análise e desenvolvimento de uma das importantes operações da computação científica: a multiplicação de matrizes, objetivando uma das plataformas estudadas, a plataforma RASC (Reconfigurable Application-Specific Computing), desenvolvida pela Silicon Graphics. A arquitetura proposta no estudo de caso visa, a partir da análise do problema e da avaliação dos recursos disponíveis na plataforma alvo, a obtenção de melhores resultados de desempenho quando comparado à execução em plataformas convencionais, baseadas em processadores de propósito geral. Para tanto, características como paralelismo e o reuso de dados são exploradas. A partir do projeto desenvolvido, é apresentado um modelo para avaliação de desempenho do multiplicador que pode ser aplicado às demais plataformas estudadas