Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-18T20:18:42Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T02:25:30Z : No. of bitstreams: 1 193147.pdf: 7504038 bytes, checksum: a7fe9d95e293c9b051a546c2b13d3c37 (MD5) / A utilização de ferramentas de verificação formal em sistemas de comunicação de dados é um tema que contem diversos tópicos de pesquisa que estão constantemente recebendo o ingresso de novos estudos. Apesar da essência do conceito de verificação formal já estar fundamentada, novas metodologias, técnicas, estratégias e ferramentas estão sendo desenvolvidas a cada dia, tornando a verificação formal cada vez mais próxima e adequada à utilização por projetistas que desenvolvem sistemas, tais como os de comunicação de dados. O mito de que as ferramentas de verificação formal estão restritas ao meio acadêmico, onde apenas matemáticos estariam aptos a utilizá-las, pode ser desmistificado com trabalhos que mostram como uma pessoa que conhece um sistema pode tirar proveito da verificação formal para identificar erros. Este trabalho nasceu em torno deste objetivo, mostrando características das metodologias e ferramentas de verificação, e como elas podem ser aplicadas num sistema de comunicação de dados. O trabalho foi dividido em capítulos inter-relacionados. No capitulo 1 trabalham-se os principais conceitos relacionados ao tema. No capítulo 2 apresentam-se as vantagens e desvantagens da verificação formal sobre a simulação. São mostrados alguns métodos aplicáveis na verificação formal, tecendo algumas considerações e comparações entre eles. Mostra-se o poder da Checagem de Modelos e suas aplicações, introduzindo o capítulo 3. Neste capítulo trabalham-se detalhes da Checagem de Modelos, mostrando como é feita a verificação através desta metodologia e apresentando seus maiores problemas, como a explosão de estados, e as principais soluções, além de mostrar como se utilizam as especificações através de Lógicas Temporais. Apresentam-se também as principais ferramentas de Checagem de Modelo do mercado, o SPIN e o SMV, introduzindo o capítulo 4. Neste são mostradas algumas características especificas da ferramenta SMV, que será utilizada na análise de um sistema padronizado pelo ATM Forum. Durante todo o capítulo a ênfase é dada sobre o SMV, porém, ao invés de abrir um capítulo para a solução SPIN, esta ferramenta é comparada com o SMV ao longo da exposição. No capítulo 5 apresentam-se as principais características a serem consideradas na verificação de protocolos de comunicação de dados. Através da utilização do modelo OSI como filosofia buscou-se abranger qualquer protocolo. Entretanto houve a necessidade de se mostrar algumas características próprias do sistema a ser discutido, o ATM, que é apresentado no capitulo 6. Durante todo este capitulo mostraram-se características do ATM, que é um sistema de comunicação de dados relativamente simples que tira proveito das baixas taxas de erros dos modernos sistemas de transmissão. Dentro do universo de diferentes aplicações suportadas pelo ATM focou-se num aspecto específico, o gerenciamento de tráfego, que é trabalhado dentro do capítulo 7, utilizando-se da ferramenta SMV para verificação de projetos. O trabalho conclui no capitulo 8 com as recomendações e conclusões propriamente ditas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Mecânica. / Made available in DSpace on 2012-10-15T23:26:43Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T15:13:18Z : No. of bitstreams: 1 180865.pdf: 3980366 bytes, checksum: 053f6d2d88977002380c6ef8de4aa8f1 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Mecânica. / Made available in DSpace on 2012-10-17T13:08:32Z (GMT). No. of bitstreams: 1 187952.pdf: 1111339 bytes, checksum: 6701a3a6be402ac9f7d0be78d2a9f699 (MD5) / À medida em que os aspectos relacionados à eficiência energética e usabilidade dos refrigeradores tornam-se requisitos ambientais e mercadológicos de suma importância, o conhecimento detalhado dos mecanismos de transferência de calor e massa que governam o desempenho térmico do produto se torna condição necessária para o atendimento das exigências normativas e de mercado. Neste sentido o presente trabalho tem por objetivo o estudo e a modelação do comportamento térmico de um refrigerador sujeito à abertura e fechamento de porta, de forma a possibilitar a quantificação do incremento de energia sensível e latente associada a este evento, bem como disponibilizar uma metodologia de análise de engenharia para uso no projeto de refrigeradores. O modelo matemático desenvolvido foi implementado computacionalmente e o sistema de equações foi resolvido com a aplicação do método de Newton-Raphson marchando-se no tempo para obtenção da resposta transiente das variáveis termodinâmicas associadas ao problema. Experimentos foram realizados para validar o modelo matemático proposto e quando confrontados os resultados numéricos e experimentais apresentaram boa concordância

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Metrologia Científica e Industrial, Florianópolis, 2009. / Made available in DSpace on 2012-10-24T19:43:40Z (GMT). No. of bitstreams: 1 267493.pdf: 8118050 bytes, checksum: 59db713857226e218bebc534554bbcb3 (MD5) / A medição exerce papel preponderante em plantas de geração, de transmissão e de distribuição de energia elétrica. Ela está presente em todas as fases dos empreendimentos - projeto, implantação e operação. Há, no entanto, uma heterogeneidade muito grande nos formalismos metrológicos aplicados às diferentes áreas. Por exemplo, enquanto na medição destinada a faturamento há enorme preocupação com a confiabilidade dos resultados e os instrumentos são submetidos a periódicas calibrações e verificações, na medição de supervisão isso não é usual. Aumentar a confiabilidade das medições operacionais significa aumentar a segurança na tomada de decisões operacionais, contribuindo para melhorar a qualidade da energia e reduzir a probabilidade de falhas do sistema. Este trabalho analisa, sob enfoque da confiabilidade metrológica, a medição operacional na transmissão de energia elétrica. É feito um levantamento dos procedimentos usuais aplicáveis em todas as fases que têm impacto sobre a confiabilidade da medição operacional, do projeto à operação. São organizadas as informações sobre as cadeias de instrumentos usuais e as respectivas fontes de incertezas de medição. É também proposto um conjunto de ações, na forma de um sistema, que visa aumentar a confiabilidade das medições operacionais. Adicionalmente, como ferramenta desse sistema, é proposto e desenvolvido um recurso de simulação computacional que permite cadastrar instrumentos, formar cadeias de medição e realizar as avaliações de incertezas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Psicologia, Florianópolis, 2010 / Made available in DSpace on 2012-10-24T23:22:40Z (GMT). No. of bitstreams: 1 289036.pdf: 807503 bytes, checksum: 8c5ee9bacb0febe2236c1f68076b1bc5 (MD5) / Esta pesquisa tem como objetivo verificar as possibilidades de transmissão da experiência psicanalítica através da própria escrita. Para tanto, seguiremos pela via na qual Freud que entre a fisiologia e a linguagem abre um novo campo onde o humano encontra maneiras para se responsabilizar pelo que lhe acontece. Em um primeiro momento retomaremos a elaboração freudiana, seus escritos primeiros como delimitadores de um novo campo de investigação, para que desta forma, na restituição da originalidade de suas formulações conceituais, possamos fazer operar tais conceitos, os colocando à prova com o intuito de fazer viva a transmissão. Neste sentido, será seguida a orientação lacaniana, à qual buscaremos delinear os contornos para que efetivemos uma reflexão epistemológica acerca das condições de pesquisa em psicanálise. Pode-se dizer que o produto deste trabalho é o próprio escrito, que extraído do funcionamento da linguagem não se oferece ao leitor como um objeto de contemplação ou um fio condutor para a compreensão da complexa e extensa trama conceitual psicanalítica, senão como um objeto para o trabalho, um escrito como tentativa de provocar o desejo do leitor, uma passagem pela qual este poderá se colocar a partir de suas próprias questões. / This research aims to examine the possibilities of transmission by the psychoanalysis experience through the own written. For this, we will follow by the way between the philosophy and the language, as far as Freud open a new field where the human can to meet of some ways to be responsible for what happens to you. In first moment we will recover the Freudian elaboration of her first written to investigate by this way how we could to make to operate those notions the intent to able to operate such concepts, putting to the test in order to test with the intention of making a best transmission. In this sense, the Lacanian orientation will be followed, to try to seeking outline the contours to an epistemological reflection about the state of research in psychoanalysis. You could say that the product of this work is the writing itself, which extracted the functioning of language and that don't offer itself to the reader as an object of contemplation or a guideline for understanding the complex and extensive psychoanalytic conceptual scheme, but as an object for the work, the written as attempt to provoke the desire of the reader, a passage in which this can be put yourself from their own issues.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T03:57:16Z (GMT). No. of bitstreams: 1 285784.pdf: 3511851 bytes, checksum: ff89e124f69a4f069157f3c48967ef06 (MD5) / Nos últimos vinte anos, com a progressiva miniaturização de quipamentos e sistemas de engenharia e o conseqüente aumento das taxas com que calor é dissipado por unidade de área, diferentes tecnologias vêm sendo avaliadas para o resfriamento de altos fluxos de calor em componentes eletrônicos. Sistemas de resfriamento envolvendo a mudança de fase líquido-vapor de um fluido de trabalho, como termossifões bifásicos e ebulição em convecção forçada em microcanais, são atualmente experimentados em diversas aplicações. Dentre as alternativas mais promissoras, destaca-se o resfriamento por jatos bifásicos (spray cooling), o qual consiste na atomização de um fluido de trabalho no estado líquido através de um injetor (ou um arranjo de injetores) direcionado à superfície a ser resfriada. Dependendo das condições de operação, uma fina película de líquido pode cobrir totalmente a superfície aquecida e diferentes regimes de transferência de calor por ebulição podem se fazer presentes. Tais cenários proporcionam elevados valores do coeficiente de transferência de calor por convecção, fazendo com que um alto fluxo de calor possa ser removido mediante um pequeno grau de superaquecimento da superfície do aquecedor. Este trabalho apresenta uma análise teórica do processo de resfriamento com um único spray incidindo perpendicularmente a uma superfície plana voltada para cima. O modelo matemático para o campo de velocidades, temperaturas e concentração de gotículas por unidade de volume de spray é baseado em uma formulação de dois fluidos diferencial quasi-bidimensional que considera a variação radial dos campos de velocidade no spray por meio de perfis gaussianos. Um critério para a existência de um filme contínuo sobre a superfície aquecida é apresentado com base na relação entre a frequência com que as gotas atingem a superfície e o tempo de ciclo de vida das mesmas, o qual é definido com o tempo decorrido ao longo do impacto, espalhamento e secagem total de uma gota. Quando as condições de operação são tais que um filme líquido contínuo é formado, um modelo matemático é proposto para se determinar a variação da espessura da película em função da distância radial a partir do eixo de simetria do jato. Tal modelo é baseado em um balanço de quantidade de movimento no filme, levando em conta a transferência de quantidade de movimento ao filme por parte das gotas incidentes e assumindo que o perfil de velocidades no filme obedeça à lei-log universal. A transferência de calor por ebulição no filme fino é computada com base em um modelo de superposição onde a parcela de ebulição nucleada é computada por meio da correlação de Nishikawa para filmes líquidos finos. O modelo é verificado a partir de dados experimentais obtidos por diversos autores para fluidos de trabalho como água, FC-72 e R-134a, onde se observa uma concordância da ordem de ± 30%para o coeficiente de transferência de calor médio. Um modelo matemático também é apresentado para a transferência de calor no regime de filme líquido descontínuo, o qual é baseado naquele proposto por Aoki para a evaporação de uma gotícula impactando sobre uma superfície. O modelo proposto combina o modelo de Aoki para a fração da superfície coberta pelas gotas com um modelo para a convecção forçada monofásica na fração da superfície em contato direto com o vapor. / Over the last twenty years, with the progressive miniaturization trend of engineering systems, there has been a continuous increase of the rates with which heat is dissipated per unit area in electronic equipment. Among the many technologies under constant evaluation and development for cooling of high heat fluxes, such as two-phase thermosyphons, heat pipes and forced convection boiling in microchannels, spray cooling is one of the most promising due to the high heat transfer coefficients involved. The technique consists of atomizing a working fluid through a nozzle (or a nozzle array) directed to ward the surface to be cooled. Depending on the operating conditions, a thin liquid film can cover completely the heated surface and various regimes of boiling heat transfer can be present. These conditions provide high values for the heat transfer coefficient, which enables the removal of the large heat transfer rates with a small superheating of the heater wall. This work presents a theoretical analysis of the cooling process with a single spray perpendicular to an upward-facing flat plate heater. The mathematical model for determining the phase velocities, temperatures and droplet concentration per unit volume in the spray is based on a two-fluid quasi two-dimensional differential formulation which considers the variation of velocities in the radial direction via Gaussian distributions. A criterion for the existence of a continuous film on the heated surface is presented based on the relation between the droplet lifetime on the heated surface and the frequency with which it reaches the heated surface. When the operating conditions are such that a continuous liquid film is formed, a mathematical model is proposed to determine the variation of the film thickness as a function of the radial distance from the spray center line. This model is based on mass and momentum balances, taking into account the momentum transfer to the film by the drops which impact on its free surface. A universal log-law velocity profile is assumed in the liquid film. Boiling heat transfer in the thin film is computed based on a superposition model using the thin liquid film boiling correlation of Nishikawa. The model is verified against experimental data obtained by several authors for working fluids such as water, FC-72 and R-134a, with an average agreement of ± 30%for the average heat transfer coefficient. A mathematical model was also developed for heat transfer in the discontinuous liquid film regime based on the theory advanced by Aoki for the evaporation of a single droplet impacting on a surface. The proposed calculation method combines the Aoki model for the fraction of the surface covered by the drops with a model for the single-phase forced convection heat transfer in the fraction of the surface in direct contact with the vapor.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T05:52:22Z (GMT). No. of bitstreams: 0 / Com o aumento do volume de petróleo produzindo no Brasil é necessária a busca de novas tecnologias para que os processos se tornem mais eficientes e propiciem a redução do consumo de energia. Uma das propostas é o estudo térmico de uma unidade de destilação que possui uma configuração inovadora, sendo assistida pela tecnologia semelhante à aplicada em tubos de calor e termossifões. Estudos preliminares mostraram que uma variação longitudinal na temperatura da parede do tubo de destilação, contribui para a redução da altura da coluna, e também na eficiência energética do dispositivo. O objetivo do presente trabalho é o estudo teórico e experimental de um sistema de controle térmico para unidade de destilação pelicular, assistida por uma câmara de vapor. Para a obtenção de um perfil de temperatura que atenda esta configuração foi utilizada gases não-condensável dentro da câmara de vapor. Um modelo matemático simplificado, baseado na equação da difusão mássica entre espécies químicas envolvidas, foi proposto para inferir a distribuição da fração molar das espécies e a temperatura do fluido condensado no interior da câmara de vapor. Um protótipo de vidro foi construído para a visualização do fenômeno bifásico de transferência de calor que ocorre dentro da câmara de vapor, bem como para avaliar os resultados obtidos do modelo matemático. Ensaios experimentais foram executados simulando a película de fluido a ser destilado através de um escoamento anular de água, com vazão controlada, para diferentes níveis de potência e temperatura aplicados sobre o sistema. Os resultados experimentais, bem como os resultados modelo analítico, indicaram que é possível obter um perfil de temperatura ao longo da câmara de vapor, com a inserção de ar como gás não-condensáveis. / With the increasing rate of petroleum extraction in Brazil, it is necessary to find new technologies to make the processes more efficient and also energy efficient. One of the proposals is the thermal study of a distillation unit which contains an innovative configuration with heat pipe and thermosyphon techonologies. Preliminary studies showed that the variation of the longitudinal wall temperature of the distillation tube contributes to reduce the height of the column, and also to improve the energetic efficience of the device. The objective of the present work is the theoretical and experimental studies of a thermal control system for a pelicular disttilation unit, aided by a vapor chamber in order to obtain a temperature profile to suit this configuration non condensible gases were applied inside the vapor chamber. A simplified mathematical model, based on the diffusion equation for the mass of the chemical components is proposed to determine the molar distribution of the species and the temperature profile of the condensed working fluid in the interior of the vapor chamber. A glass-type prototype was built for the visualization of the two-phase heat transfer phenomena which occurs in the vapor chamber, as well as to compare the mathematical models. Experimental tests were performed with an annular water flow to simulate the liquid film to be distilled, and different power and temperature levels applied on the system. The experimental results as well the analytical results show that it is possible to obtain a temperature profile over the vapor chamber, with the intersection of the air as a non-condensable gas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2007 / Made available in DSpace on 2012-10-23T01:34:36Z (GMT). No. of bitstreams: 1 275235.pdf: 6718178 bytes, checksum: 2959a8a72d22e825b7e842a3016eb912 (MD5) / Superaquecedores de vapor são geralmente submetidos a elevados gradientes térmicos que exigem atenção especial no intuito de minimizar problemas associados à fluência do material e, por conseqüência, indisponibilidade da planta termoelétrica. Trabalhos já concluídos têm contribuído significativamente para a redução de temperaturas de parede e, portanto, na freqüência de paradas forçadas da planta. Este trabalho apresenta uma metodologia para solução numérica integrada do problema de transferência de calor entre gases e vapor, bem como resultados preliminares para o domínio do superaquecedor final de um gerador de vapor. Diferentes códigos computacionais existentes no mercado representam hoje ferramentas de valor fundamental para a análise e aperfeiçoamento de projetos de unidades geradoras de vapor, bem como propiciar um melhor entendimento de problemas responsáveis pelo mal funcionamento dos equipamentos a eles associados. No caso específico das unidades geradoras de vapor do complexo Jorge Lacerda de Capivari de Baixo-SC, a maioria das paradas forçadas ocorre, principalmente, devido a falhas por fluência nos tubos do superaquecedor final e reaquecedor. Este trabalho tem como objetivo mapear o campo de temperaturas nas paredes dos tubos e na região dos gases ao longo do superaquecedor final, utilizando-se como ferramenta computacional um código comercial CFD. A metodologia adotada consiste na divisão do domínio total em subdomínios menores, levando-se em conta os mecanismos de transferência de calor envolvidos, considerando-se inclusive a radiação em meios participantes, tendo-se em vista a presença significativa de gases CO2 e vapor d`agua, bem como a radiação proveniente da fornalha e que atinge parte da superfície de alguns tubos do superaquecedor final. Os resultados encontrados atendem à expectativa inicial, apresentando diferenças aceitáveis quando comparadas com os valores medidos. Estas diferenças são em parte justificadas pelas hipóteses consideradas nas condições de contorno de fluxo prescrito nos tubos do superaquecedor final. Para se conseguir resultados consistentes, os subdomínios próximos às paredes recebem tratamento especial, tendo-se em vista a ocorrência de fortes gradientes de velocidade e de temperatura nesta região. / Superheaters are usually submitted to high thermal gradients which ask special attention in order to reduce operational problems due to the failure tubes. These failures are usually associated to the material fluence and they may cause the forced stop of thermoelectric plants. Researches have contributed significantly to reduce the wall temperatures and the increase availability of power plants. This work describes a methodology for a numerical solution of the heat transfer problem between steam and combustion gases, and preliminary results for a superheater temperature distribution of a steam generator. The CFD commercial softwares have been a powerful tool to analyze and improve the steam generator designs. In the specific case of Jorge Lacerda thermoelectric plant in Capivari de Baixo - Santa Catarina, most of the forced stops to maintenance occur due the fluency mechanism in the final superheater and reheater tubes. The goal of this work is identify the temperature field in the final superheater tubes by a CFD commercial software. The adopted methodology divides the superheater total domain at sub-domains, taking in account the different heat transfer mechanisms, like the flames and participating media radiation Numerical results show an acceptable difference with the experimental ones. These differences are associated with the prescribed flux adopted as simplification in the boundary conditions tube. To get consistent results, the sub-domains near of the walls have a special treatment due to the high velocity and temperature gradients in this region.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Civil. / Made available in DSpace on 2012-10-23T17:18:19Z (GMT). No. of bitstreams: 1 254999.pdf: 3756209 bytes, checksum: 2c86684e6e05e68c1968e6501a9d1926 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Mecânica. / Made available in DSpace on 2012-10-24T08:17:04Z (GMT). No. of bitstreams: 1 264239.pdf: 27021029 bytes, checksum: 441ba1fb27a92633ba773cef35564146 (MD5) / Esta dissertação de mestrado propõe uma análise experimental e o desenvolvimento de um modelo aplicados a trocadores de calor que fazem parte de um sistema de refrigeração por compressão mecânica de vapor miniaturizado. É apresentada a avaliação experimental do desempenho térmico e hidráulico dos trocadores de calor, assim como o desenvolvimento de novos trocadores de calor que correspondam às aplicações que um sistema de refrigeração miniaturizado possa ter. A bancada experimental permite a avaliação dos condensadores e dos evaporadores nas condições típicas do sistema de refrigeração miniaturizado. Ela consiste num circuito fechado de ar em conjunto com um circuito de fluido refrigerante e com um dispositivo que simula a carga térmica fornecida ao evaporador. Foi utilizado isobutano (R-600a) como fluido de trabalho no circuito do fluido refrigerante. Dois tipos de condensadores foram testados na bancada experimental: condensadores aletados com micro-canais e condensadores porosos com micro-canais. O primeiro consiste em condensadores com aletas ventiladas de alumínio. Diferentes características das aletas foram variadas e suas influências no desempenho dos condensadores foram exploradas. O segundo é composto por meios porosos, ao invés de aletas. Três diferentes amostras de cobre foram utilizadas. Um condensador com aletas simples foi testado e comparado aos condensadores porosos. Além da bancada experimental, foi desenvolvido um modelo computacional que prevê a transferência de calor entre um evaporador e entre tubos de calor usados na refrigeração de micro-componentes eletrônicos. Em seguida, um protótipo foi fabricado e testado na bancada experimental para uma posterior comparação com o modelo teórico. Foi visto que o uso do alumínio provou ser uma solução promissora na questão do peso dos condensadores miniaturizados. A diminuição do número de poros e o aumento da porosidade resultaram em menores coeficientes de transferência de calor. O condensador com menor número de poros e porosidade apresentou a maior queda de pressão. A comparação entre os testes do evaporador e o modelo teórico apresentou uma boa concordância.