Made available in DSpace on 2014-12-17T15:01:58Z (GMT). No. of bitstreams: 1 HumbertoNMO_tese.pdf: 2103195 bytes, checksum: 381908d793fe0f78f568440e43f9d569 (MD5) Previous issue date: 2003-09-22 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / In the present work are established initially the fundamental relationships of thermodynamics that govern the equilibrium between phases, the models used for the description of the behavior non ideal of the liquid and vapor phases in conditions of low pressures. This work seeks the determination of vapor-liquid equilibrium (VLE) data for a series of multicomponents mixtures of saturated aliphatic hydrocarbons, prepared synthetically starting from substances with analytical degree and the development of a new dynamic cell with circulation of the vapor phase. The apparatus and experimental procedures developed are described and applied for the determination of VLE data. VLE isobarics data were obtained through a Fischer's ebulliometer of circulation of both phases, for the systems pentane + dodecane, heptane + dodecane and decane + dodecane. Using the two new dynamic cells especially projected, of easy operation and low cost, with circulation of the vapor phase, data for the systems heptane + decane + dodecane, acetone + water, tween 20 + dodecane, phenol + water and distillation curves of a gasoline without addictive were measured. Compositions of the equilibrium phases were found by densimetry, chromatography, and total organic carbon analyzer. Calibration curves of density versus composition were prepared from synthetic mixtures and the behavior excess volumes were evaluated. The VLE data obtained experimentally for the hydrocarbon and aqueous systems were submitted to the test of thermodynamic consistency, as well as the obtained from the literature data for another binary systems, mainly in the bank DDB (Dortmund Data Bank), where the Gibbs-Duhem equation is used obtaining a satisfactory data base. The results of the thermodynamic consistency tests for the binary and ternary systems were evaluated in terms of deviations for applications such as model development. Later, those groups of data (tested and approved) were used in the KijPoly program for the determination of the binary kij parameters of the cubic equations of state original Peng-Robinson and with the expanded alpha function. These obtained parameters can be applied for simulation of the reservoirs petroleum conditions and of the several distillation processes found in the petrochemistry industry, through simulators. The two designed dynamic cells used equipments of national technology for the determination Humberto Neves Maia de Oliveira Tese de Doutorado PPGEQ/PRH-ANP 14/UFRN of VLE data were well succeed, demonstrating efficiency and low cost. Multicomponents systems, mixtures of components of different molecular weights and also diluted solutions may be studied in these developed VLE cells / No presente trabalho s?o inicialmente estabelecidas as rela??es termodin?micas fundamentais que governam o equil?brio entre fases, sendo apresentados os modelos utilizados para a descri??o do comportamento n?o ideal das fases l?quidas e vapor em condi??es de baixas press?es. Este trabalho visou a determina??o de dados de equil?brio l?quido-vapor (ELV) para uma s?rie de misturas de hidrocarbonetos alif?ticos saturados multicomponentes preparadas sinteticamente a partir de subst?ncias com grau P.A., e o desenvolvimento de uma nova c?lula din?mica com circula??o da fase vapor. Os dispositivos e os procedimentos experimentais s?o descritos e aplicados para a determina??o destes dados de ELV. Dados de ELV isob?ricos foram determinados, atrav?s de um ebuli?metro Fischer de circula??o das fases l?quida e vapor, para os sistemas pentano + dodecano, heptano + dodecano, decano + dodecano. Atrav?s das duas novas c?lulas din?micas especialmente projetadas, de f?cil opera??o e baixo custo, com circula??o da fase vapor, os sistemas heptano + decano + dodecano, acetona + ?gua, tween 20 + dodecano, fenol + ?gua e curva de destila??o de uma gasolina sem aditivo foram estudados experimentalmente. As composi??es das fases em equil?brio foram encontradas por densimetria, cromatografia e analisador de carbono org?nico total. Curvas de calibra??o de densidade versus composi??o foram preparadas a partir de misturas sint?ticas e avaliados os comportamentos de seus volumes de excesso. Os dados de ELV obtidos experimentalmente para os sistemas aquosos e hidrocarbonetos foram submetidos a testes de consist?ncia termodin?mica, bem como os dados obtidos da literatura para outros sistemas bin?rios, principalmente no banco de dados DDB (Dortmund Data Bank), utilizando a equa??o de Gibbs-Duhem, obtendo uma s?rie de dados com consist?ncia satisfat?ria. Os resultados dos testes de consist?ncia termodin?mica, obtidos para os sistemas bin?rios e tern?rio, foram avaliados em termos de desvios para aplica??es tais como desenvolvimento de modelos. Posteriormente, esses conjuntos de dados (testados e aprovados) foram usados no programa KijPoly para a determina??o dos par?metros bin?rios kij das equa??es de estado c?bicas de Peng-Robinson original e com a fun??o alfa expandida. Os par?metros obtidos podem ser aplicados para simula??o das condi??es de Humberto Neves Maia de Oliveira Tese de Doutorado PPGEQ/PRH-ANP 14/UFRN reservat?rios de petr?leo e dos v?rios processos de destila??o encontrados na ind?stria petroqu?mica, atrav?s de simuladores. Os dois novos projetos de c?lulas din?micas usaram equipamentos de tecnologia nacional para a determina??o de dados de ELV foram bem sucedidos, demonstrando efici?ncia e baixo custo. Sistemas multicomponentes e com componentes de diferentes pesos moleculares, e at? em concentra??es dilu?das foram e podem ser estudados nessas c?lulas de ELV desenvolvidas

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-06-15T14:23:09Z No. of bitstreams: 1 LEONARDO REZENDE JURACY_DIS.pdf: 2268947 bytes, checksum: bedc63f7c14296e039a798403cdeec80 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-06-26T12:27:11Z (GMT) No. of bitstreams: 1 LEONARDO REZENDE JURACY_DIS.pdf: 2268947 bytes, checksum: bedc63f7c14296e039a798403cdeec80 (MD5) / Made available in DSpace on 2018-06-26T12:45:06Z (GMT). No. of bitstreams: 1 LEONARDO REZENDE JURACY_DIS.pdf: 2268947 bytes, checksum: bedc63f7c14296e039a798403cdeec80 (MD5) Previous issue date: 2018-03-21 / Atualmente, a abordagem s?ncrona ? a mais utilizada em projeto de circuitos integrados por ser altamente automatizado pelas ferramentas comerciais e por incorporar margens de tempo para garantir o funcionamento correto nos piores cen?rios de varia??es de processo e ambiente, limitando otimiza??es no per?odo do rel?gio e aumentando o consumo de pot?ncia. Por um lado, circuitos ass?ncronos apresentam algumas vantagens em potencial quando comparados com os circuitos s?ncronos, como menor consumo de pot?ncia e maior vaz?o de dados, mas tamb?m podem sofrer com varia??es de processo e ambiente. Por outro lado, circuitos resilientes s?o uma alternativa para manter o circuito funcionando na presen?a de efeitos de varia??o. Sendo assim, foi proposto o circuito Blade que combina as vantagens de circuitos ass?ncronos com circuitos resilientes. Blade utiliza latches em sua implementa??o e mant?m seu desempenho em cen?rios de caso m?dio. Independentemente do estilo de projeto (s?ncrono ou ass?ncrono), durante o processo de fabrica??o de circuitos integrados, algumas imperfei??es podem acontecer, causando defeitos que reduzem o rendimento de fabrica??o. Circuitos defeituosos podem apresentar um comportamento falho, gerando uma sa?da diferente da esperada, devendo ser identificados antes de sua comercializa??o. Metodologias de teste podem ajudar na identifica??o e diagn?stico desse comportamento falho. Projeto visando testabilidade (do ingl?s, Design for Testability - DfT) aumenta a testabilidade do circuito adicionando um grau de controlabilidade e observabilidade atrav?s de diferentes t?cnicas. Scan ? uma t?cnica de DfT que fornece para um equipamento de teste externo acesso aos elementos de mem?ria internos do circuito, permitindo inser??o de padr?es de teste e compara??o da resposta. O objetivo deste trabalho ? propor uma abordagem de DfT estrutural, completamente autom?tica e integrada com as ferramentas comerciais de projeto de circuitos, incluindo uma s?rie de m?todos para lidar com os desafios relacionados ao teste de circuitos ass?ncronos e resilientes, com foco no Blade. O fluxo de DfT proposto ? avaliado usando um m?dulo criptogr?fico e um microprocessador. Os resultados obtidos para o m?dulo criptogr?fico mostram uma cobertura de falha de 98,17% para falhas do tipo stuck-at e 89,37% para falhas do tipo path-delay, com um acr?scimo de ?rea de 112,16%. Os resultados obtidos para o microprocessador mostram uma cobertura de 96,04% para falhas do tipo stuck-at e 99,00% para falhas do tipo path-delay, com um acr?scimo de ?rea de 50,57%. / Nowadays, the synchronous circuits design approach is the most used design method since it is highly automated by commercial computer-aided design (CAD) tools. Synchronous designs incorporate timing margins to ensure the correct behavior under the worstcase scenario of process and environmental variations, limiting its clock period optimization and increasing power consumption. On one hand, asynchronous designs present some potential advantages when compared to synchronous ones, such as less power consumption and more data throughput, but they may also suffer with the process and environmental variations. On the other hand, resilient circuits techniques are an alternative to keep the design working in presence of effects of variability. Thus, Blade template has been proposed, combining the advantages of both asynchronous and resilient circuits. The Blade template employs latches in its implementation and supports average-case circuit performance. Independently of the design style (synchronous or asynchronous), during the fabrication process of integrated circuits, some imperfections can occur, causing defects that reduce the fabrication yield. These defective ICs can present a faulty behavior, which produces an output different from the expected, and it must be identified before the circuit commercialization. Test methodologies help to find and diagnose this faulty behavior. Design for Testability (DfT) increases circuit testability by adding a degree of controllability and observability through different test techniques. Scan design is a DfT technique that provides for an external test equipment the access to the internal memory elements of a circuit, allowing test pattern insertion and response comparison. The goal of this work is to propose a fully integrated and automated structural DfT approach using commercial EDA tools and to propose a series of design methods to address the challenges related to testing asynchronous and resilient designs, with focus on Blade template. The proposed DfT flow is evaluated with a criptocore module and a microprocessor. The obtained results for the criptocore module show a fault coverage of 98.17% for stuck-at fault model and 89.37% for path-delay fault model, with an area overhead of 112.16%. The obtained results for the microprocessor show a fault coverage of 96.04% for stuck-at fault model and 99.00% for path-delay fault model, with an area overhead of 50.57%.