• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 743
  • 44
  • 4
  • 3
  • 2
  • 1
  • Tagged with
  • 808
  • 808
  • 392
  • 161
  • 151
  • 87
  • 79
  • 77
  • 76
  • 61
  • 60
  • 55
  • 51
  • 50
  • 45
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
151

Estudos computacionais sobre a dinâmica e estruturação de fluidos complexos confinados em nanoporos

Bordin, José Rafael January 2013 (has links)
A compreensão dos processos físicos envolvidos no fluxo e no confinamento de fluidos complexos em sistemas manométricos é de grande interesse para físicos, químicos, biólogos e engenheiros, dada a gama de novas tecnologias envolvidas e da busca contínua de uma melhor compreensão da vida no nível molecular. Dentre os métodos teóricos para abordar este tema, a simulação computacional destaca-se como uma das ferramentas mais poderosas para seu o entendimento, muito embora o alto custo computacional ainda representam um grande obstáculo a ser transposto. Assim, o uso de modelos computacionais que permitam simulações simples, capazes de descrever microscopicamente os sistemas estudados, ao mesmo tempo de forma realista e com baixo custo computacional, ´e o desafio que se impõe. É exatamente em resposta a este desafio que nesta tese nos propusemos a estudar a difusão e estruturação de fluidos complexos através de nanocanais. Em uma primeira etapa do trabalho utilizamos um modelo computacional para calcular o fluxo de íons através de nanoporos e canais inseridos em membranas. O método baseia-se na utilização de simulação em Dinâmica Molecular Grande Canônica com Dois Volumes de Controle (DCV-GCMD) e na solução analítica para o potencial eletrostático dentro de um nanoporo cilíndrico recentemente obtida por Levin. A combinação da teoria de Levin com a simulação DCV-GCMD é utilizada para estudar o fluxo iônico através de um canal artificial que imita o comportamento do canal bactericida gramicidin. A, através da obtenção dos perfis corrente-voltagem e corrente-concentração para várias condições experimentais. Uma boa concordância com experimentos foi encontrada. Na segunda etapa do trabalho utilizamos um modelo de potencial contínuo de duas escalas para a água a fim de estudarmos a difusão através de um modelo coarse-grained de nanotubos de carbono. Diferentes estudos para estes fluidos foram realizados. A dependência da constante da difusão com o raio do nanotubo ´e estudada, e encontramos um resultado qualitativamente equivalente ao obtido em simulações de Dinâmica Molecular para modelos atomísticos de água. Analisando o perfil de densidade dentro do canal observamos que a competição entre as escalas gera o aumento anômalo na difusão para canais estreitos. Em seguida, calculamos o fator de aumento de fluxo para fluidos de duas escalas com interações repulsiva ou atrativa. Obtivemos um resultado comparável qualitativamente com experimentos para água em nanotubos, e mostramos como mudanças conformacionais na estrutura do fluido levam a transição de regime de fluxo contínuo para não-contínuo. Por fim, comparamos o comportamento do fluxo quando modificamos as escalas de interação, e mostramos que o comportamento anômalo somente ocorre quando existe competição entre as escalas. / The understanding of physical processes envolved in confinement and flux of complex fluids in nanoscale systems is of great interest to physicists, chemists, biologists and engineers. This knowledge open a large number of possibilities in new technologies and enables a better compreension of live at molecular level. Simulational methods stand out as one of the most powerful theoretical tool to the understanding of such systems. The high computational cost of such simulations, however, remains as a huge obstacle to be transposed. Therefore, the challenge is the use of simple simulational models capable to describe realistically the system of interest at a low computational cost. To this end, we proposed in this thesis ways to study the diffusion and structure of complex fluids confined inside nanotubes. First, we use a computational approach to calculate the ionic fluxes through narrow nano-pores and transmembrane channels. The method relies on a dual-control-volume grand-canonical molecular dynamics (DCV-GCMD) simulation and the analytical solution for the electrostatic potential inside a cylindrical nano-pore recently obtained by Levin. The Levin’s theory is combined with the DCV-GCMD technique to calculate the ionic fluxes through a synthetic channel which mimics the properties of the gramicidin A channel, obtaining the current-voltage and the current-concentration relations under various experimental conditions. A good agreement with experiments is found. Next, we use a two scale continuum potential for water to study the diffusion of water-like fluids through a coarse-grained model of carbon nanotubes. Several studies for this fluids were performed. The diffusion constant behavior for different channel radius was evaluated, and a good qualitative agreement with all atom Molecular Dynamics results was found. Also, we analise the radial density profile inside the nanotube and observe that the competition between the two scales in potential produces a anomalous increase in fluid diffusion for narrow channels. Then, the flow enhancement factor was evaluated for attractive and purelly repulsive water-like fluids. Our results are similar to experimental results for water flowing in carbon nanotubes. We show that structural changes in the fluid leads to a transition from continuum to non-continuum flow. Finally, we compare the effect of the two length scales in the flow behavior, and show that the anomalous behavior only occurs when there is a competition between the scales.
152

Iluminação : sistemas artificiais em vitrinas de centros de compras

Souza, Lilian Freitas de January 2017 (has links)
Esse trabalho busca classificar sistemas de iluminação em vitrinas de ambientes comerciais para o entendimento da estrutura formal arquitetônica de lojas. O papel da luz em espaços comerciais permite a interpretação da intenção arquitetônica. Por isso, o projeto de iluminação é etapa essencial no processo criativo e conceitual do ambiente comercial e deve ser planejado conjuntamente ao arquitetônico. O objetivo da pesquisa é fazer o estudo de vitrinas, em lojas, localizadas em centros de compras, com a classificação dos sistemas de iluminação artificial utilizados, características físico-espaciais, definição e características técnicas, modelos, requisitos de desempenho e emprego da iluminação. Para tanto, a revisão de literatura baseia-se na relação entre iluminação artificial, espacialidade de edificações, conforto visual e uso da simulação computacional em arquitetura. A metodologia desenvolve-se a partir do levantamento dos critérios para elaboração de projeto de iluminação em vitrinas como elemento de transição espacial aplicados às simulações computacionais. Análises dos aspectos da espacialidade, psicológicos e fisiológicos e fatores da tarefa constatam o comportamento da luz diante das variáveis formais no intuito de investigar a relação entre forma construída que atende a um programa e o papel desempenhado por esta forma na função específica de abrigar o programa e o nível de conforto do objeto arquitetônico Com a documentação gráfica e bibliográfica reunida são estabelecidos parâmetros de comparação entre os exemplos encontrados. Os resultados dos cálculos das simulações dos modelos geométricos de vitrinas viabilizam estudos quantitativos da luz disponível no ambiente. Os estudos qualitativos se referem à condição de conforto visual em vitrinas. Ao final do trabalho a sistematização espacial dos exemplares de vitrinas e classificação dos sistemas de iluminação auxiliam na definição do conceito e partido arquitetônico para projeto de ambientes comerciais. O trabalho de pesquisa divide-se em 5 fases: 1ª fase: Aspectos de classificação espacial 2ª fase: Aspectos psicológicos e fisiológicos (conforto visual) 3ª fase: Fatores da tarefa - sistemas de iluminação 4ª fase: Simulações 5ª fase: Conclusões / This work seeks to classify lighting systems in commercial environments windows to understand stores the architectural formal structure. The role of light in commercial spaces allows the interpretation of the architectural intent. Therefore, the lighting design is an essential step in the creative and conceptual process of the commercial environment and should be planned in conjunction with the architectural design. The objective of the research is to study showcases in shops located in shopping centers, with the classification of artificial lighting systems used, physical and spatial characteristics, definition and technical characteristics, models, performance requirements and use of lighting. Therefore, the literature review is based on the relationship between artificial lighting, spatiality of buildings, visual comfort and use of computer simulation in architecture. The methodology is developed from the survey of the criteria for elaboration of lighting design project in showcases as spatial transition element applied to computer simulations. Analysis of aspects of spatiality, psychological and physiological and task factors shall establish the behavior of light before the formal variables in order to investigate the relationship between built form that meets a program and the role of this in the specific function to house the program and the comfort level of the architectural object With the graphical and bibliographical documentation gathered parameters are established for comparison between the examples found. The showcases geometric models simulations calculations results enable quantitative studies of the light available in the environment. Qualitative studies refer to visual comfort condition in display cabinets. At the end of the work space systematization of showcases specimens and classification of lighting systems assist in the definition and architectural party for commercial environments design. The research was divided into 5 stages: 1st phase: spatial classification aspects 2nd phase: psychological and physiological aspects (visual comfort) 3rd phase: Task Factors - lighting systems 4th phase: Simulations 5th phase: Conclusions
153

Avaliação da equação de estado GERG-2008 para o gás natural

Baladão, Luís Fernando January 2015 (has links)
O conhecimento preciso das propriedades termodinâmicas de gases naturais e outras misturas formadas por componentes do gás natural é de grande importância para o projeto, a simulação e a otimização dos processos envolvendo essa matéria-prima. Processamento, transporte, armazenamento e liquefação de gás natural são exemplos de aplicações técnicas em que é necessário o cálculo das propriedades termodinâmicas de uma variedade de misturas dos componentes presentes de gás natural. Neste trabalho, foram realizados testes computacionais para avaliar a precisão do cálculo de propriedades termodinâmicas através da equação de estado GERG-2008 em relação aos dados experimentais de misturas envolvendo o gás natural (cálculo da pressão e massa específica). Estes resultados foram comparados com as da tradicional equação de estado de Peng-Robinson. A fim de verificar os resultados obtidos, foi feita uma análise qualitativa do número de raízes volumétricas da equação de estado GERG-2008. Por fim, foi realizado o estudo de alternativas de cálculo do equilíbrio líquido-vapor (ELV) através da GERG-2008, verificando qual método de resolução é o mais adequado para a aplicação da equação: igualdade das fugacidades ou minimização da energia de Gibbs. O método mais adequado foi determinado através da comparação dos valores das composições das fases, da fração de vapor e tempo computacional. A equação de estado GERG-2008 obteve menor desvio em relação aos dados experimentais, em termos do erro relativo percentual médio em comparação à equação de estado de Peng Robinson (utilizando a regra de mistura clássica de Lorentz Berthelot), tanto para o cálculo de pressão quanto da massa específica, para as fases líquida (homogênea e no estado saturado) e gasosa. A média do erro no cálculo da massa específica na fase gasosa foi de 0,2% para a equação GERG-2008 e de 2% para a equação de Peng-Robinson. Já para o estado de líquido saturado e fase líquida, a média do desvio foi de 0,1% para a equação GERG-2008 e 10% para a equação de Peng-Robinson. Com temperaturas acima de 200 K, a equação de estado GERG-2008 fornece apenas uma raiz volumétrica para pressão e temperaturas dadas, mas para temperaturas menores, em função da mistura, foi observado que a GERG-2008 pode apresentar até cinco raízes volumétricas, incluindo valores negativos de pressão. Finalmente, no cálculo de ELV foi verificado que o cálculo de flash pelo método de Rachford-Rice com a equação de estado GERG-2008 fornece melhores resultados do que a minimização da energia de Gibbs, sendo menos eficiente, porém, que a equação de estado de Peng-Robinson em relação ao tempo computacional. Isto ocorre, pois no cálculo do flash-RR com a equação de estado GERG-2008, há um laço interno no cálculo das massas específicas das fases, o que torna a resolução do flash mais lenta do que aquele com uma equação cúbica. / The precise knowledge of thermodynamic properties of natural gas and other mixtures formed by natural gas components are of great importance for the basic engineering and performance of technical processes. Processing, transporting, storage and liquefaction of natural gas are examples of technical applications that require thermodynamic properties of various mixtures of the components present in natural gas. In this work, the GERG-2008 equation of state was evaluated in terms of deviation in relation to the experimental data of natural gas mixtures and compared with the Peng Robinson equation of state (using the classical mixing rule Lorentz Berthelot). The number of volumetric roots of GERG-2008 equation of state was also qualitatively analyzed. Finally, study was conducted the vapor-liquid equilibrium (VLE) calculation determine which resolution method is the most appropriate with GERG-2008: equality of fugacities or minimization of the Gibbs energy. The comparison was done on the basis of the resulting compositions of the phases, the vapor fraction and computational time. The GERG-2008 equation of state obtained best results than the Peng Robinson equation of state with regard to mean relative error for pressure and density in both liquid (homogeneous and saturated state) and gas phases. The deviation of density in the gas phase was 0.2% for GERG-2008 and 2% for Peng Robinson equation of state. For the compressed and saturated liquid the deviation was 0.1% for GERG-2008 and 10% for Peng-Robinson equation. At temperatures above 200 K, GERG-2008 equation of state displays a single density root for given pressure and temperature, but at lower temperatures, depending on the mixture, up to five volumetric roots were observed, and even negative pressure values. Finally, for the VLE calculation with the GERG-2008, it was verified that the Rachford-Rice flash formulation gives better results than minimum Gibbs energy approach. However, the flash-RR calculation of Peng Robinson equation of state obtained better efficiency with respect to computational time, since the calculation of the flash-RR with GERG-2008, relies on an inner loop for the calculation of the phase densities, what makes the resolution of the flash-RR slower.
154

VEasy : a tool suite towards the functional verification challenges / VEasy: um conjunto de ferramentas direcionado aos desafios da verificação funcional

Pagliarini, Samuel Nascimento January 2011 (has links)
Esta dissertação descreve um conjunto de ferramentas, VEasy, o qual foi desenvolvido especificamente para auxiliar no processo de Verificação Funcional. VEasy contém quatro módulos principais, os quais realizam tarefas-chave do processo de verificação como linting, simulação, coleta/análise de cobertura e a geração de testcases. Cada módulo é comentado em detalhe ao longo dos capítulos. Todos os módulos são integrados e construídos utilizando uma Interface Gráfica. Esta interface possibilita o uso de uma metodologia de criação de testcases estruturados em camadas, onde é possível criar casos de teste complexos através do uso de operações do tipo drag-and-drop. A forma de uso dos módulos é exemplificada utilizando projetos simples escritos em Verilog. As funcionalidades da ferramenta, assim como o seu desempenho, são comparadas com algumas ferramentas comerciais e acadêmicas. Assim, algumas conclusões são apresentadas, mostrando que o tempo de simulação é consideravelmente menor quando efetuada a comparação com as ferramentas comerciais e acadêmicas. Os resultados também mostram que a metodologia é capaz de permitir um alto nível de automação no processo de criação de testcases através do modelo baseado em camadas. / This thesis describes a tool suite, VEasy, which was developed specifically for aiding the process of Functional Verification. VEasy contains four main modules that perform linting, simulation, coverage collection/analysis and testcase generation, which are considered key challenges of the process. Each of those modules is commented in details throughout the chapters. All the modules are integrated and built on top of a Graphical User Interface. This framework enables the testcase automation methodology which is based on layers, where one is capable of creating complex test scenarios using drag-anddrop operations. Whenever possible the usage of the modules is exemplified using simple Verilog designs. The capabilities of this tool and its performance were compared with some commercial and academic functional verification tools. Finally, some conclusions are drawn, showing that the overall simulation time is considerably smaller with respect to commercial and academic simulators. The results also show that the methodology is capable of enabling a great deal of testcase automation by using the layering scheme.
155

Simulação computacional de uma estrutura anatômica - o pulmão - para processamento e controle de qualidade / not available

Leandro Alves Neves 12 December 2001 (has links)
Neste trabalho desenvolvemos um algoritmo em linguagem \"C\" que simula tanto as vias aéreas e suas imagens radiográficas quanto às artérias pulmonares. Calculamos as ramificações dessas estruturas a partir de distribuição de fluxo dos ramos pais para os ramos filhos e representamos por formas geométricas. Projetamos o algoritmo para representar as variações anatômicas existentes entre os indivíduos e simular as imagens da árvore brônquica com ou sem ramificações, com ou sem alvéolos. Para representar as variações anatômicas adotamos 2 modelos. O primeiro considera as dimensões morfológicas encontradas na literatura e o segundo aceita modificações dos seus parâmetros até encontrar um aspecto visual próximo a de uma anatomia específica. Nas simulações radiográficas, consideramos tecidos pulmonares genéricos e diferentes técnicas radiológicas. O algoritmo que desenvolvemos apresentou resultados superiores aos encontrados na literatura e tem a vantagem de simular imagens radiográficas. / This work consisted of the development and implementation of an algorithm by using \"C\" language that simulates the air passages and their radiographic images as well as the pulmonary arteries. Calculations were made of the ramifications of these structures, based on the distribution of the flow from the parent to the offspring ramifications, which were represented geometrically. The algorithm was designed to represent the anatomical variations among the individual ramifications and to simulate the images of the bronchial tree with or without ramifications and with or without alveolus. Two models were adopted represent the anatomical variations. The first considers the morphological dimensions reported on in the literature, while the second accepts modifications of their parameters until a visual appearance resembling that of a specific anatomy is achieved. The radiographic simulations were based on generic lung tissue and on different radiological techniques. The algorithm developed here showed better results tham those found in the literature, with the added advantage of simulating radiographic images.
156

Sistema virtual para auxiliar a avaliação dos equipamentos radiológicos / not available

Clayton Eduardo dos Santos 14 April 2003 (has links)
O objetivo deste trabalho é implementar um sistema radiológico virtual que auxilie a avaliação dos sistemas radiológicos, simulando os diferentes fenômenos físicos que ocorrem durante o processo de formação de imagens e a influência que cada fator tem sobre os demais. Os algoritmos foram desenvolvidos utilizando o ambiente de programação Delphi na plataforma Windows, o que possibilitou o desenvolvimento de uma interface de trabalho amigável ao usuário. As simulações contemplam a distribuição não uniforme de radiação ao longo do campo, a característica de campo, o espalhamento, a grade supressora e o sistema de registro. Os parâmetros utilizados nas simulações podem ser modificados livremente pelo usuário, visto que estão diretamente ligados aos fenômenos físicos e, conseqüentemente, ao processo de formação de imagens. No final do processamento, é exibida uma imagem virtual de uma matriz de esferas, baseada em um modelo real, que corresponde à imagem que seria produzida pelo sistema de raios X em pleno funcionamento. / A virtual radiological system capable to simulate the different physical phenomena involved in the image formation process was developed to aid in the evaluation of radiological systems. A user friendly interface was obtained using the Delphi programming environment on a Windows platform. In the performed simulation the non-uniform distribution radiation along the field, the field\'s characteristic the scattering, the antiscatter grid and the recording system are taken into account. Parameters defining the physical phenomena affecting the image formation can be freely modified by the user. As final result of the simulation, a virtual image of an array of spheres is calculated representing the image that should be obtained by normal functioning X-ray system.
157

VEasy : a tool suite towards the functional verification challenges / VEasy: um conjunto de ferramentas direcionado aos desafios da verificação funcional

Pagliarini, Samuel Nascimento January 2011 (has links)
Esta dissertação descreve um conjunto de ferramentas, VEasy, o qual foi desenvolvido especificamente para auxiliar no processo de Verificação Funcional. VEasy contém quatro módulos principais, os quais realizam tarefas-chave do processo de verificação como linting, simulação, coleta/análise de cobertura e a geração de testcases. Cada módulo é comentado em detalhe ao longo dos capítulos. Todos os módulos são integrados e construídos utilizando uma Interface Gráfica. Esta interface possibilita o uso de uma metodologia de criação de testcases estruturados em camadas, onde é possível criar casos de teste complexos através do uso de operações do tipo drag-and-drop. A forma de uso dos módulos é exemplificada utilizando projetos simples escritos em Verilog. As funcionalidades da ferramenta, assim como o seu desempenho, são comparadas com algumas ferramentas comerciais e acadêmicas. Assim, algumas conclusões são apresentadas, mostrando que o tempo de simulação é consideravelmente menor quando efetuada a comparação com as ferramentas comerciais e acadêmicas. Os resultados também mostram que a metodologia é capaz de permitir um alto nível de automação no processo de criação de testcases através do modelo baseado em camadas. / This thesis describes a tool suite, VEasy, which was developed specifically for aiding the process of Functional Verification. VEasy contains four main modules that perform linting, simulation, coverage collection/analysis and testcase generation, which are considered key challenges of the process. Each of those modules is commented in details throughout the chapters. All the modules are integrated and built on top of a Graphical User Interface. This framework enables the testcase automation methodology which is based on layers, where one is capable of creating complex test scenarios using drag-anddrop operations. Whenever possible the usage of the modules is exemplified using simple Verilog designs. The capabilities of this tool and its performance were compared with some commercial and academic functional verification tools. Finally, some conclusions are drawn, showing that the overall simulation time is considerably smaller with respect to commercial and academic simulators. The results also show that the methodology is capable of enabling a great deal of testcase automation by using the layering scheme.
158

T&D-bench : explorando o espaço de projeto de processadores em ensino e em pesquisa

Soares, Sandro Neves January 2005 (has links)
Uma metodologia de modelagem para a exploração do espaço de projeto de processadores é apresentada. A exploração do espaço de projeto constitui uma das etapas do fluxo de projeto dos atuais processadores de alto desempenho e de sistemas embarcados, que auxilia os projetistas no tratamento da complexidade inerente ao processo contemporâneo de projeto de sistemas computacionais. A principal característica desta metodologia é um processo de modelagem simples e rápido. Isso é obtido através da disponibilização dos recursos de modelagem em camadas com propósitos e níveis de complexidade de uso diferenciados e da limitação do número de elementos (palavras-chave, classes e métodos) que devem ser conhecidos pelo projetista para o acesso a estes recursos, independentemente da camada na qual eles se encontram. A única exigência para o uso de tais recursos são conhecimentos que estudantes de Computação adquirem ao longo dos seus cursos da área de Computação e Informática. Outras características da metodologia de modelagem incluem: recursos específicos e distintos para a descrição da organização, da arquitetura e de aspectos temporais do processador; um estilo de descrição estrutural de alto nível da organização; a possibilidade de uso de recursos gráficos em tempo de modelagem e em tempo de simulação; e a existência de informações nos modelos que podem ser usadas para a tradução das descrições para uma Hardware Description Language Todas estas características constituem um conjunto de soluções de modelagem e simulação de processadores que não é encontrado em outros ambientes usados na exploração do espaço de projeto, baseados em Architecture Description Languages, Hardware Description Languages e ferramentas de simulação. Além disso, os modelos de processadores, desenvolvidos com esta metodologia, fornecem os recursos para a aceleração do aprendizado de conteúdos de arquitetura de computadores que só são encontrados em simuladores para ensino. Uma infra-estrutura de software que implementa a metodologia de modelagem foi desenvolvida e está disponível. Ela foi usada no ensino e no contexto da pesquisa para a modelagem e simulação de diversos processadores. Uma comparação com a metodologia de modelagem de uma Architecture Description Language demonstra a simplicidade e a rapidez do processo de modelagem previsto na metodologia apresentada.
159

CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias

Vieira, Rodrigo Born January 2006 (has links)
Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria matemática demonstram sua utilidade na pesquisa computacional. Dentre essas características podemos citar independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de formalismos, notação gráfica e, sobretudo, expressividade das construções categoriais. Sua expressividade é explicitamente destacada pelo MEC nas Diretrizes Curriculares de Cursos da Área de Computação e Informática, onde afirma-se que “Teoria das Categorias possui construções cujo poder de expressão não possui, em geral, paralelo em outras teorias”. Entretanto, Teoria das Categorias tem encontrado obstáculos para ser efetivamente aplicada na Ciência da Computação. A baixa oferta de bibliografia - predominantemente de língua inglesa - e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação: a baixa oferta de cursos com enfoque em Teoria das Categorias. A fim de transpor essas dificuldades, Fábio Victor Pfeiff desenvolveu o CaTLeT, um aplicativo de interface visual que tinha como objetivo facilitar o acesso aos conceitos introdutórios de Teoria das Categorias Com inspiração fortemente educacional, CaTLeT somente é capaz de representar objetos e morfismos atômicos, o que o limita a servir somente aos conceitos iniciais. Em 2003, o CaTLeT foi ampliado e os objetos e morfismos, antes atômicos, passaram a representar conjuntos e relações, respectivamente. Este projeto consiste em uma ampliação tanto do CaTLeT quanto dos objetivos que justificaram sua criação. Esta dissertação trata de um projeto de simulador categorial e de sua respectiva implementação as quais visam fornecer suporte computacional a fim de facilitar o acesso a conceitos intermediários de Teoria das Categorias e servir como suporte à pesquisa na área. A construção desse simulador possui três critérios de avaliação como parâmetro: boa acessibilidade, alta relevância das estruturas implementadas e alta cobertura. A nova ferramenta - denominada CaTReS - deve manter a acessibilidade a usuários leigos que sua predecessora possui e ampliar significativamente as estruturas suportadas, além de incluir tratamento à conceitos funtoriais. Dessa maneira, este projeto vem para auxiliar na superação dos obstáculos anteriormente mencionados.
160

Avaliação da equação de estado GERG-2008 para o gás natural

Baladão, Luís Fernando January 2015 (has links)
O conhecimento preciso das propriedades termodinâmicas de gases naturais e outras misturas formadas por componentes do gás natural é de grande importância para o projeto, a simulação e a otimização dos processos envolvendo essa matéria-prima. Processamento, transporte, armazenamento e liquefação de gás natural são exemplos de aplicações técnicas em que é necessário o cálculo das propriedades termodinâmicas de uma variedade de misturas dos componentes presentes de gás natural. Neste trabalho, foram realizados testes computacionais para avaliar a precisão do cálculo de propriedades termodinâmicas através da equação de estado GERG-2008 em relação aos dados experimentais de misturas envolvendo o gás natural (cálculo da pressão e massa específica). Estes resultados foram comparados com as da tradicional equação de estado de Peng-Robinson. A fim de verificar os resultados obtidos, foi feita uma análise qualitativa do número de raízes volumétricas da equação de estado GERG-2008. Por fim, foi realizado o estudo de alternativas de cálculo do equilíbrio líquido-vapor (ELV) através da GERG-2008, verificando qual método de resolução é o mais adequado para a aplicação da equação: igualdade das fugacidades ou minimização da energia de Gibbs. O método mais adequado foi determinado através da comparação dos valores das composições das fases, da fração de vapor e tempo computacional. A equação de estado GERG-2008 obteve menor desvio em relação aos dados experimentais, em termos do erro relativo percentual médio em comparação à equação de estado de Peng Robinson (utilizando a regra de mistura clássica de Lorentz Berthelot), tanto para o cálculo de pressão quanto da massa específica, para as fases líquida (homogênea e no estado saturado) e gasosa. A média do erro no cálculo da massa específica na fase gasosa foi de 0,2% para a equação GERG-2008 e de 2% para a equação de Peng-Robinson. Já para o estado de líquido saturado e fase líquida, a média do desvio foi de 0,1% para a equação GERG-2008 e 10% para a equação de Peng-Robinson. Com temperaturas acima de 200 K, a equação de estado GERG-2008 fornece apenas uma raiz volumétrica para pressão e temperaturas dadas, mas para temperaturas menores, em função da mistura, foi observado que a GERG-2008 pode apresentar até cinco raízes volumétricas, incluindo valores negativos de pressão. Finalmente, no cálculo de ELV foi verificado que o cálculo de flash pelo método de Rachford-Rice com a equação de estado GERG-2008 fornece melhores resultados do que a minimização da energia de Gibbs, sendo menos eficiente, porém, que a equação de estado de Peng-Robinson em relação ao tempo computacional. Isto ocorre, pois no cálculo do flash-RR com a equação de estado GERG-2008, há um laço interno no cálculo das massas específicas das fases, o que torna a resolução do flash mais lenta do que aquele com uma equação cúbica. / The precise knowledge of thermodynamic properties of natural gas and other mixtures formed by natural gas components are of great importance for the basic engineering and performance of technical processes. Processing, transporting, storage and liquefaction of natural gas are examples of technical applications that require thermodynamic properties of various mixtures of the components present in natural gas. In this work, the GERG-2008 equation of state was evaluated in terms of deviation in relation to the experimental data of natural gas mixtures and compared with the Peng Robinson equation of state (using the classical mixing rule Lorentz Berthelot). The number of volumetric roots of GERG-2008 equation of state was also qualitatively analyzed. Finally, study was conducted the vapor-liquid equilibrium (VLE) calculation determine which resolution method is the most appropriate with GERG-2008: equality of fugacities or minimization of the Gibbs energy. The comparison was done on the basis of the resulting compositions of the phases, the vapor fraction and computational time. The GERG-2008 equation of state obtained best results than the Peng Robinson equation of state with regard to mean relative error for pressure and density in both liquid (homogeneous and saturated state) and gas phases. The deviation of density in the gas phase was 0.2% for GERG-2008 and 2% for Peng Robinson equation of state. For the compressed and saturated liquid the deviation was 0.1% for GERG-2008 and 10% for Peng-Robinson equation. At temperatures above 200 K, GERG-2008 equation of state displays a single density root for given pressure and temperature, but at lower temperatures, depending on the mixture, up to five volumetric roots were observed, and even negative pressure values. Finally, for the VLE calculation with the GERG-2008, it was verified that the Rachford-Rice flash formulation gives better results than minimum Gibbs energy approach. However, the flash-RR calculation of Peng Robinson equation of state obtained better efficiency with respect to computational time, since the calculation of the flash-RR with GERG-2008, relies on an inner loop for the calculation of the phase densities, what makes the resolution of the flash-RR slower.

Page generated in 0.11 seconds