Habilitationsschrift-Innsbruck. / Bibliography: p. 135-147.

Thesis--Coimbra. / Includes bibliographical references.

Made available in DSpace on 2013-08-07T18:42:49Z (GMT). No. of bitstreams: 1 000409723-Texto+Completo-0.pdf: 1712848 bytes, checksum: 000c7fa44ec53b2d15786685a9544bc3 (MD5) Previous issue date: 2009 / In Geophysics, the appropriate subdivision of a region into segments is extremely important. ICTM (Interval Categorizer Tesselation Model) is an application that categorizes geographic regions using information extracted from satellite images. The categorization of large regions is a computational intensive problem, what justifies the proposal and development of parallel solutions in order to improve its applicability. Recent advances in multiprocessor architectures lead to the emergence of NUMA (Non-Uniform Memory Access) machines, which combine the efficiency and scalability of MPP (Massively Parallel Processing) machines with the programming facility of the SMP (Symmetric Multiprocessors) machines. In this work, NUMA-ICTM is presented: a parallel solution of ICTM for NUMA machines exploiting memory placement strategies. First, ICTM is parallelized using only OpenMP. After, the OpenMP solution is improved using the MAI (Memory Affinity Interface) library, which allows a control of memory allocation in NUMA machines. The results show that the optimization of memory allocation leads to significant performance gains over the pure OpenMP parallel solution. / Na Geofísica, a subdivisão apropriada de uma região em segmentos é extremamente importante. O ICTM (Interval Categorizer Tesselation Model) é uma aplicação capaz de categorizar regiões geográficas utilizando informações extraídas de imagens de satélite. O processo de categorização de grandes regiões é considerado um problema computacionalmente intensivo, o que justifica a proposta e desenvolvimento de soluções paralelas com intuito de aumentar sua aplicabilidade. Recentes avanços em arquiteturas multiprocessadas caminham em direção a arquiteturas do tipo NUMA (Non-uniform Memory Access), as quais combinam a eficiência e escalabilidade das máquinas MPP (Massively Parallel Processing) com a facilidade de programação das máquinas SMP (Symmetric Multiprocessors). Neste trabalho, é apresentada a NUMA-ICTM: uma solução paralela do ICTM para máquinas NUMA explorando estratégias de alocação de memória. Primeiramente, o ICTM é paralelizado utilizando-se somente OpenMP. Posteriormente, esta solução é otimizada utilizando-se a interfade MAI (Memory Affinity Interface), a qual proporciona um melhor controle sobre a alocação de dados em memória em máquinas NUMA. Os resultados mostram que esta otimização permite importantes ganhos de desempenho sobre a solução paralela que utiliza somente OpenMP.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico. Programa de Pós-Graduação em Engenharia Mecânica / Made available in DSpace on 2012-10-16T22:47:24Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T17:44:44Z : No. of bitstreams: 1 95655.pdf: 2075358 bytes, checksum: e9b07acd4b003010e586bb7127ca7b26 (MD5) / Tradicionalmente, a resposta em freqüência de alto-falantes e radiadores acústicos é medida em câmaras anecóicas. Entretanto, os custos de implantação de uma câmara anecóica que proporcione medições eficientes em baixas freqüências, são muito elevados. Para superar este problema, foram desenvolvidas várias técnicas alternativas que dispensam o uso da câmara anecóica, dentre as quais se destacam o método do campo próximo e o método que utiliza um acelerômetro. Entretanto, no caso de um sistema "vented-box", a obtenção da resposta em freqüência através dos métodos do campo próximo e do acelerômetro, está sujeita a um processo de tentativas e erros. Em contraste a este processo de tentativas e erros, é que se propõe, neste trabalho, um novo método para obtenção da resposta em freqüência de um sistema "vented-box".

La red vial de Chile cuenta con 80.523 km, de los cuales sólo 17.245 km están pavimentados. Con el propósito de aumentar la red vial pavimentada a un menor costo, el Ministerio de Obras Públicas, a través de las Direcciones Regionales de Vialidad, han aplicado el uso de estructuras económicas de pavimentos granulares con coberturas asfálticas delgadas. Una de estas coberturas es el Doble Tratamiento Superficial (DTS) que hasta hoy sólo se ha usado en caminos con tránsito medio a bajo, no superando en la actualidad los 1 - 1,5 Millones de Ejes Equivalentes (MEE). El presente estudio se enmarca dentro del convenio suscrito entre el Laboratorio Nacional de Vialidad (LNV) y el Instituto Chileno del Asfalto (ICHAS) y consistió en verificar si este tipo de solución, responde de manera satisfactoria en caminos con mayores solicitaciones de tránsito. Para verificar el resultado de dicha experiencia, se eligió como base el contrato “Reposición de la Ruta 5 Norte, Sector Chañaral – Límite II Región”, de largo 22,75 km, que se ubica entre los paralelos 25º 56’ y 26º 20’Latitud Sur y meridiano 70º 30’ Longitud Oeste. Esta obra incluyó una capa de base granular con superficie de DTS convencional, sobre el pavimento existente. El desarrollo del trabajo consistió en establecer la condición original de la estructura de pavimento, para luego determinar y comparar la condición actual mediante mediciones de resistencia estructural, funcionalidad y durabilidad. Con esto, más una inspección visual, se logró definir la forma, magnitud y frecuencia del deterioro producido. En general, la estructura ha respondido satisfactoriamente frente a las solicitaciones de tránsito desde su puesta en servicio y momento actual, años 2004 y 2008 respectivamente. Los posibles daños presentados en este tipo de solución, se asocian a las condiciones ambientales, de drenaje, geometría y diseño estructural del pavimento. Los resultados en cuanto al comportamiento de la estructura sometida a tránsito medio a alto son promisorios. No obstante, para el futuro de esta investigación, se sugiere continuar con este seguimiento mediante una metodología genérica que incluye mediciones periódicas de su condición estructural y funcional.

A injeção de carvão pulverizado - PCI - é praticada nas ventaneiras dos altos-fornos com o objetivo de substituir parcialmente o coque, provendo energia e gases redutores ao processo. Em geral, as melhorias desse processo ocorrem no sentido de diminuir o fuel rate e aumentar a produtividade do alto-forno. A tecnologia de oxi-combustão consiste na queima de carvão em uma atmosfera livre de N2, o qual é substituído por um gás rico em CO2. Visando a possibilidade de aplicação desta tecnologia em PCI, chars de três carvões de diferentes ranks utilizados para injeção e chars de um coque de petróleo foram obtidos em atmosferas convencional (O2/N2) e de oxi-combustão (O2/CO2) em forno de queda livre O objetivo do presente trabalho foi avaliar a reatividade ao CO2 desses chars por termogravimetria via método isotérmico a 1000°C. Resultados de eficiência da combustão (burnout), de área superficial e a morfologia dos chars antes da gaseificação auxiliaram a análise da reatividade. A reatividade foi, em geral, mais alta quanto mais baixo o rank do carvão e tendeu a aumentar com o burnout, o qual foi associado ao aumento na área superficial BET. Em geral, as reatividades ao CO2 dos chars de atmosferas O2/N2 e O2/CO2, obtidos com o mesmo teor de oxigênio, não apresentaram diferenças significativas. Apenas no caso dos chars do carvão de mais baixo rank e obtidos em maior teor de oxigênio é que as amostras de oxi-combustão foram mais reativas. / Pulverized coal injection (PCI) is used in the blast furnace tuyeres attempting to provide energy and reducing gases to the process. New technologies have been studied to improve PCI and to make ironmaking process suitable to environmental requirements. Oxy-fuel combustion technology consists of burning coal in a N2-free atmosphere, which is exchanged by a CO2-rich gas. Aiming at a possible application of oxy-fuel combustion in blast furnace, chars of three typical PCI coals of different ranks were obtained under conventional (O2/N2) and oxy-fuel (O2/CO2) atmospheres in drop tube furnace. The aim of this work was to evaluate the CO2 reactivity of these chars via thermogravimetric analysis by isothermal method at 1000ºC. Coals burnouts, BET surface areas of chars and chars morphology before gasification gave support in the reactivity results analyse. In general, the higher reactivities were observed for the lower rank coal chars. Reactivity increased when coal burnouts and chars BET surface areas also increased. The CO2 reactivities of conventional and oxy-fuel chars, obtained under the same oxygen content, have not shown significant differences.

Este trabalho apresenta uma metodologia para a geração automática de ASICs, em VHDL, a partir da linguagem de entrada Java. Como linguagem de especificação adotou-se a Linguagem Java por esta possuir características desejáveis para especificação a nível de sistema, como: orientação a objetos, portabilidade e segurança. O sistema é especificamente projetado para suportar síntese de ASICs a partir dos modelos de computação Máquina de Estados Finita e Pipeline. Neste trabalho, adotou-se estes modelos de computação por serem mais usados em sistemas embarcados As principais características exploradas são a disponibilização da geração de ASICs para a ferramenta SASHIMI, o alto nível de abstração com que o projetista pode contar em seu projeto, as otimizações de escalonamento realizadas automaticamente, e o sistema ser capaz de abstrair diferentes modelos de computação para uma descrição em VHDL. Portanto, o ambiente permite a redução do tempo de projeto e, consequentemente, dos custos agregados, diminuindo a probabilidade de erros na elaboração do projeto, portabilidade e reuso de código – através da orientação a objetos de Java – podendo-se proteger os investimentos prévios em desenvolvimento de software. A validação desses conceitos foi realizada mediante estudos de casos, utilizando-se algumas aplicações e analisando os resultados obtidos com a geração dos ASICs.

A presente Dissertação propõe uma biblioteca de comunicação de alto desempenho, baseada em troca de mensagens, especificamente projetada para explorar eficientemente as potencialidades da tecnologia SCI (Scalable Coherent Interface). No âmago da referida biblioteca, a qual se denominou DECK/SCI, acham-se três protocolos de comunicação distintos: um protocolo de baixa latência e mínimo overhead, especializado na troca de mensagens pequenas; um protocolo de propósito geral; e um protocolo de comunicação que emprega uma técnica de zero-copy, também idealizada neste Trabalho, no intuito de elevar a máxima largura de banda alcançável durante a transmissão de mensagens grandes. As pesquisas desenvolvidas no decurso da Dissertação que se lhe apresenta têm por mister proporcionar um ambiente para o desenvolvimento de aplicações paralelas, que demandam alto desempenho computacional, em clusters que se utilizam da tecnologia SCI como rede de comunicação. A grande motivação para os esforços envidados reside na consolidação dos clusters como arquiteturas, a um só tempo, tecnologicamente comparáveis às máquinas paralelas dedicadas, e economicamente viáveis. A interface de programação exportada pelo DECK/SCI aos usuários abarca o mesmo conjunto de primitivas da biblioteca DECK (Distributed Execution Communication Kernel), concebida originalmente com vistas à consecução de alto desempenho sobre a tecnologia Myrinet. Os resultados auferidos com o uso do DECK/SCI revelam a eficiência dos mecanismos projetados, e a utilização profícua das características de alto desempenho intrínsecas da rede SCI, haja visto que se obteve uma performance muito próxima dos limites tecnológicos impostos pela arquitetura subjacente. Outrossim, a execução de uma clássica aplicação paralela, para fins de validação, testemunha que as primitivas e abstrações fornecidas pelo DECK/SCI mantêm estritamente a mesma semântica da interface de programação do original DECK.

GOMES, L. F. S. Sistematização da assistência de enfermagem à gestante de alto risco: construção e validação de uma tecnologia para o cuidado. 2016. 200 f. Tese (Doutorado em Enfermagem) - Faculdade de Farmácia, Odontologia e Enfermagem, Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Erika Fernandes (erikaleitefernandes@gmail.com) on 2017-03-06T13:35:32Z No. of bitstreams: 1 2016_tese_lfsgomes.pdf: 3028803 bytes, checksum: 60bffac2e9a84fea0c84beb3b60eb2f6 (MD5) / Approved for entry into archive by Erika Fernandes (erikaleitefernandes@gmail.com) on 2017-03-06T13:35:41Z (GMT) No. of bitstreams: 1 2016_tese_lfsgomes.pdf: 3028803 bytes, checksum: 60bffac2e9a84fea0c84beb3b60eb2f6 (MD5) / Made available in DSpace on 2017-03-06T13:35:41Z (GMT). No. of bitstreams: 1 2016_tese_lfsgomes.pdf: 3028803 bytes, checksum: 60bffac2e9a84fea0c84beb3b60eb2f6 (MD5) Previous issue date: 2016-09-26 / This study aimed to develop an instrument of Nursing Care Systematization (NCS) for high-risk pregnancies, based on the Theory of Basic Human Needs (BHN); validate the instrument built as regards the appearance and content with expert judges; and verify the applicability of the NCS instrument with high-risk pregnant women in clinical practice. For this purpose, a methodological study took place in four stages: construction of the NCS instrument for high-risk pregnancies based on integrative review; clinical experience of the researchers and pertinent literature; appearance and content validation by 29 expert judges with experience in NCS and/or obstetrics; instrument improvement and construction of its second version; and finally, evaluation of the instrument applicability by 13 nurse practitioners of the Obstetric Clinic at the Assis Chateaubriand Maternity School (MEAC). This study resulted in a NCS instrument for high-risk pregnancies entitled “Nursing care plan to high-risk pregnant women,” contemplating 21 ND, of which 18 were related to psychobiological BHN and 3 to psychosocial BHN. This instrument was validated with an overall Content Validation Index (CVI) of 0.92. The instrument applicability received a satisfactory assessment according to the usability, functionality, and efficiency criteria, thus demonstrating that, according to nurse practitioners, the instrument is applicable in clinical practice in the care for high-risk pregnant women. It was concluded that the study achieved its objectives and that the product was a NCS instrument for high-risk pregnancies validated as regards the appearance and content and applicable in clinical nursing practice. The study limitation concerned the lack of literature on NCS in obstetrics or studies that had validated the contents of the diagnosis in pregnant women. Therefore, it is recommended the development of further studies involving the subject in question. We hope that our study can be used as a resource to further improvement of Nursing Care Systematization for pregnant women, as well as support the development of nursing care that helps the health promotion of the mother-child binomial. / O presente estudo objetivou construir uma Tecnologia de Sistematização da Assistência de Enfermagem (SAE) às gestantes de alto risco, baseado na Teoria das Necessidades Humanas Básicas (NHB); validar a tecnologia construída quanto à aparência e conteúdo com juízes especialistas; e verificar a aplicabilidade da tecnologia de SAE às gestantes de alto risco na prática clínica. Para tanto, realizou-se um estudo metodológico desenvolvido em quatro etapas: construção de umaTecnologia de SAE às gestantes de alto risco com base em revisão integrativa, experiência clínica das pesquisadoras e literatura pertinente; validação de aparência e conteúdo por 29 juízes especialistas com experiência em SAE e/ou obstetrícia; refinamento daTecnologia e construção da 2ª versão do mesmo; e por fim, avaliação da aplicabilidade da tecnologia por 13 enfermeiros assistenciais da Clínica Obstétrica da Maternidade Escola Assis Chataubriand (MEAC). Este estudo resultou em umaTecnologia de SAE à gestante de alto risco intitulado “Plano de cuidado de enfermagem à gestante de alto risco” o qual contemplou 21 DE, sendo 18 referentes às NHB psicobiológica e 3 NHB psicossociais. Esta tecnologia foi validado com uma média geral de Índice de Validação de Conteúdo (IVC) de 0,92. A aplicabilidade da tecnologia foi avaliada de forma satisfatória segundo os critérios de usabilidade, funcionalidade e eficiência, demonstrando assim que, segundo os enfermeiros assistenciais, a tecnologia é aplicável na prática clínica no cuidado às gestantes de alto risco. Concluiu-se que o estudo atingiu seus objetivos e que o produto foi umatecnologia de SAE às gestantes de alto risco validado quanto a aparência e conteúdo e aplicável na prática clínica do enfermeiro. A limitação do estudo foi a dificuldade de literatura sobre SAE em obstetrícia, ou de estudos que tivessem validado o conteúdo dos diagnósticos de enfermagem em gestantes. Assim, recomenda-se que mais estudos sejam desenvolvidos envolvendo a temática em questão. Espera-se que o nosso estudo possa ser utilizado como um recurso a mais para o aperfeiçoamento da Sistematização da Assistência de Enfermagem a gestantes e deste modo possa apoiar o desenvolvimento de um cuidado de enfermagem que colabore com a promoção da saúde do binômio mãe e filho.

DANTAS, Allberson Bruno de Oliveira. Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho. 2017. 214 f. Tese (Doutorado em Ciência da Computação)-Universidade Federal do Ceará, Fortaleza, 2017. / Submitted by Gláucia Helena da Silveira Mota (glaucia@lia.ufc.br) on 2017-10-23T17:57:00Z No. of bitstreams: 1 2017_tese_abodantas.pdf: 3345763 bytes, checksum: 7d9c19651fdf5919fcc10ab432a72eeb (MD5) / Approved for entry into archive by Jairo Viana (jairo@ufc.br) on 2017-11-03T16:48:46Z (GMT) No. of bitstreams: 1 2017_tese_abodantas.pdf: 3345763 bytes, checksum: 7d9c19651fdf5919fcc10ab432a72eeb (MD5) / Made available in DSpace on 2017-11-03T16:48:46Z (GMT). No. of bitstreams: 1 2017_tese_abodantas.pdf: 3345763 bytes, checksum: 7d9c19651fdf5919fcc10ab432a72eeb (MD5) Previous issue date: 2017 / The development of correct and safe High Performance Computing (HPC) applications is a challenge for developers, since such applications generally use parallelism and run on heterogeneous parallel computing platforms. The Doctoral Thesis proposed in this document is aimed at presenting an architecture of a component certification mechanism for cloud computing platforms of high performance computing services. In particular, this mechanism is proposed within the context of the HPC Shelf platform, allowing the construction of certified components for functional and non-functional properties, which can be used to compose applications for expert users. Two particular certifier components are proposed using the certification mechanism introduced in this Thesis: SWC2 (Scientific Workflow Certifier Component) e C4 (Computation Component Certifier Component). SWC2 components are used to verify formal properties of workflows in HPC Shelf. In turn, C4 components are employed to verify formal properties on computation components. There are still tactical components, which expose the services of software formal verification infrastructures and can be orchestrated, by certifiers, by means of the TCOL (Tactical Component Orchestration Language) language, also proposed in this work. It is expected to contribute to the state-of-the-art in the following points: in cloud computing, by providing the first cloud infrastructure focused on software formal verification using exclusively high performance computing techniques; in component-oriented platforms, by providing nondisruptive components that can certify others in a reflexive way; enabling the creation of the so-called parallel certification systems, which are formed by the orchestration of provers to verify formal properties; in scientific workflows, by extracting the main verifiable patterns in these workflows; and in high performance computing applications, by providing a study on which software formal verification tools are able to verify their properties. / O desenvolvimento de aplicações de Computação de Alto Desempenho (CAD) corretas e seguras é um desafio para desenvolvedores, uma vez que tais aplicações geralmente utilizam paralelismo e executam em plataformas heterogêneas de computação paralela. A Tese de Doutorado proposta neste documento dispõe-se a apresentar a arquitetura de um mecanismo de certificação de componentes para plataformas de nuvens computacionais de serviços de computação de alto desempenho. Em particular, esse mecanismo é proposto no contexto da plataforma HPC Shelf, permitindo a construção de componentes certificados quanto a propriedades funcionais e não funcionais, os quais podem ser utilizados para compor aplicações para usuários especialistas. Dois componentes certificadores particulares são propostos utilizando o mecanismo de certificação introduzido na Tese: SWC2 (Scientific Workflow Certifier Component) e C4 (Computation Component Certifier Component). Componentes SWC2 são utilizados para verificar propriedades formais em workflows na HPC Shelf. Já os componentes C4 são empregados para verificar propriedades formais em componentes de computação. Existem ainda componentes táticos, que expõem serviços de infraestruturas de verificação formal de software e podem ser orquestrados, por certificadores, através da linguagem TCOL (Tactical Component Orchestration Language), também proposta nesse trabalho. Espera-se contribuir com o estado da arte nos seguintes pontos: em nuvens computacionais, fornecendo a primeira infraestrutura em nuvem voltada à verificação formal de software utilizando exclusivamente técnicas de CAD; em plataformas orientadas a componentes, provendo componentes não disruptivos que podem certificar outros de forma reflexiva; possibilitando a criação dos chamados sistemas de certificação paralela, os quais são formados por orquestrações de provadores para verificar propriedades formais; em workflows científicos, extraindo os principais padrões verificáveis desses workflows; e em aplicações de CAD, fornecendo um estudo sobre quais ferramentas de verificação formal de software se aplicam na verificação de suas propriedades.