Orientador: Beatriz Mascia Daltrini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T02:07:35Z (GMT). No. of bitstreams: 1 Dias_AndreFelipe_M.pdf: 9283333 bytes, checksum: d75199178c40b65be03d5abfa1d5714f (MD5) Previous issue date: 1997 / Resumo: Esta dissertação apresenta a proposta de um método de desenvolvimento de sistemas que busca combinar o melhor que o paradigma de Orientação a Objetos têm a oferecer. È mostrado que a decomposição funcional de muitos sistemas é necessária, mesmo que seja utilizado um método Orientado a Objetos para o desenvolvimento, implicando a necessidade de utilização conjunta de diferentes paradigmas. As duas abordagens mais significativas de captura de requisitos funcionais são analisadas com objetivo de se obter o método de Análise mais adequado para fornecer uma especificação às fases posteriores de desenvolvimento, baseadas no paradigma de Orientação a Objetos. O método híbrido (não formalizado) apresentado baseia-se nos métodos: Análise Essencial, cartões CRC e Responsibility Driven-Design. Conseguiu-se uma ótima integração entre os diferentes paradigmas. Alguns heurísticas pertencentes à Análise Essencial foram estendidas ao paradigma OO, novos modelos foram introduzidos e outros, aprimorados. O método obtido fornece uma base bastante sólida para o desenvolvimento de software / Abstract: This thesis present a proposal of a software development method. Its goal is to combine the best from Functional and Object-Oriented paradigms. Its show that functional decomposition is necessary, even if an OO method is used, meaning that different paradigms are necessary. The two most significant approaches for functional requirement capturing are analyzed. The best of the two was chosen for providing a specification for use in later developments stages, wich are based on the OO paradigm. The hybrid method (non-formalized) is based on Essential Analysis, CRC cards and Responsibility Driven-Design. A very good integration between the paradigms was achieved. The related results are clear distinction between Analysis and Design stages, smooth transition between stages and equilibrated importance between paradigms. Some of the Essential Analysis¿ heuristics are extended to the OO paradigm, new models are introduced and some existing models are improved. The method provides a solid base for software development / Mestrado / Mestre em Engenharia Elétrica

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T12:24:42Z (GMT). No. of bitstreams: 1 Prado_DenisePiubeli_M.pdf: 2798230 bytes, checksum: a94abbe68c6bf4db802c4be142bb54ed (MD5) Previous issue date: 1998 / Resumo: Este trabalho tem por objetivo desenvolver uma arquitetura orientada a objetos para dar suporte às aplicações tolerantes a falhas de software. Técnicas de orientação a objetos, tais como, abstração de dados, herança, ligação dinâmica e polimorfismo são exploradas, visando obter aplicações de software de melhor confiabilidade e qualidade. Nosso objetivo é prover um suporte para aplicações que requeiram tolerância falhas de software através de técnicas já conhecidas de diversidade de projeto, integrando essas técnicas ao mecanismo de tratamento de exceções criando assim um framework composto por componentes de software genéricos que formam uma infra-estrutura para dar suporte ao desenvolvimento de sistemas tolerantes a falhas distribuídos(FOOD) . / Abstract: The major goal of this work is to develop an object-oriented architecture for software fault-tolerant applications. Object-oriented techniques, such as data abstraction, inheritance and polymorphism are explored to improve software reliability and quality. Thus, our goal is to support software fault tolerance using design diversity, so that this support can be incorporated to the exception handling mechanism in the application. For the understanding and validation of these techniques, we have developed a fault-tolerant object-oriented distributed ftamework (FOOD). / Mestrado / Mestre em Ciência da Computação

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T12:28:59Z (GMT). No. of bitstreams: 1 Correa_SandLuz_M.pdf: 2497773 bytes, checksum: 9ad25bb50d6cb8930108dd8f3ceffbe1 (MD5) Previous issue date: 1997 / Resumo: Este trabalho tem por objetivo desenvolver uma arquitetura orientada a objetos reflexiva para aplicações tolerantes a falhas de software. Técnicas de orientação a objetos, tais como, abstração de dados, herança e polimorfismo são exploradas, visando obter softwares de melhor confiabilidade e qualidade. Técnicas de reflexão computacional são usadas para estruturar a aplicação, separando de forma nitida os requisitos funcionais da aplicação dos requisitos pertinentes ao dominio de tolerância a falhas. Com isso, nosso objetivo é prover um suporte para tolerância a falhas de software através de técnicas já conhencidas de diversidade de projeto, de forma que este suporte seja incorporado à aplicação da forma menos intrusiva possivel, através das técnicas de reflexão computacional. Para maior entendimento e validação dessas técnicas foi desenvolvido um framework orientado a objetos reflexivo e distribuido( FOORD). / Abstract: The major goal of this work is to develop a reflective object-oriented architecture for software fault-tolerant applications. Object-oriented techniques, such as data abstraction, inheritance and polymorphism are explored to improvement of reliability and quality. Computational reflection techniques are used for structuring applications, so that functional requirements and fault-tolerant requirements can be clearly separated. Thus, our goal is to support software fault tolerance through techniques like design diversity, so that this support can be incorporated to the application in a less intruder way, through computational reflection techniques. For the understanding and validation of these techniques, we developed a reflective object-oriented distributed framework (FOORD). / Mestrado / Mestre em Ciência da Computação

Orientadores : Philippe Remy Bernard Devloo, Renato Pavanello / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-27T19:02:51Z (GMT). No. of bitstreams: 1 AyalaBravo_CedricMarceloAugusto_D.pdf: 8604668 bytes, checksum: 944ae0b8783c10884416086e25f24434 (MD5) Previous issue date: 2000 / Resumo: Descrevem-se de uma maneira formal os conceitos matemáticos que permitem implementar um refmamento multidimensional h-p adaptativo para o método dos elementos finitos. Os conceitos são implementados em código orientado para objetos num ambiente de programação de elementos finiitos denominado PZ. O conceito de transformação geométrica define o mapeamento entre um elemento de referência uni, bi ou tridimensional e o elemento deformado em ~. Estende-se o conceito de "lado" de um elemento fmito representando canto, aresta, face ou volume. Associa-se funções de fonna hierárquicas a lados de um elemento e para uma malha refmada, defme-se uma dependência entre as bases associadas a lados adjacentes de níveis distintos. Descreve-se detalhadamente a defmição dos elementos hierárquicos e a construção das suas funções de forma. Demonstra-se que os elementos assim defmidos possuem a ordem p completa para o espaço de interpolação associado, independente da ordem p escolhida. Através da introdução dos "parâmetros variacionais" e das restrições entre funções de forma associadas a lados de elementos, consegue-se combinar de forma adaptativa qualquer um destes elementos. Mostra-se de forma teórica e prática que uma combinação adaptativa de elementos, ainda que de distintas dimensões, implica na obtenção de um espaço de elementos fmitos de funções contínuas. Relacionam-se os testes de qualificação para as ferramentas desenvolvidas / Abstract: A formal description of the multidimensional hp adaptive refmement process is developed. The concepts are implemented within the PZ object oriented environment for finite element programming. The concept of the geometric transformation defmes the mapping between a one-, two- or three dimensional master element and its defonned configuration in ~. The concept of a side is extended to inc1ude comers, tines, faces and volumes. Hierarchical shape functions are associated with sides and for adaptively refmed meshes, the concept of restrained shape functions is introduced. A detailed description of the construction process is given for the complete family of fmite elemento It is shown for each element that the space of interpolation for arbitrary order p is complete. U sing variational parameters associated with the sides of the elements and the restraints between shape functions of adaptive fmite element meshes, it is possible to use hp adaptivity on heterogeneous meshes. It is shown that shape functions of elements of different dimensions maintain continuity at their interfaces. Qualification tests and numerical examples are inc1uded to demonstrate the correctness of the approach / Doutorado / Mecanica dos Sólidos e Projeto Mecanico / Doutor em Engenharia Mecânica

Orientadores : Maria Regina Wolf Maciel, Denis Libert Westphalen / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-28T19:05:39Z (GMT). No. of bitstreams: 1 Franco_Max_M.pdf: 3922752 bytes, checksum: 4394100c9d3140421338561158b19fc5 (MD5) Previous issue date: 2001 / Resumo: A evaporação é uma das operações unitárias mais utilizadas na indústria química. A concentração de muitos produtos é feita de forma simples através do uso de evaporadores como, por exemplo, nas indústrias de alimentos, bebidas, tintas e farmacêuticos. Conhecidos como grandes consumidores de energia térmica, os evaporadores têm sido estudados nos últimos anos com o objetivo de redução no consumo de energia. Algumas técnicas, como a evaporação em múltiplos efeitos e o aproveitamento de condensados podem trazer bons resultados, quando se analisa apenas esta operação unitária, isolada do processo. No entanto, melhores resultados podem ser obtidos quando evaporadores não são estudados isoladamente, e sim como parte de um processo. A Análise Pinch constitui um conjunto de ferramentas que auxiliam na otimização de um processo como um todo. Consiste resumidamente na divisão do processo em duas partes independentes, do ponto de vista do balanço de energia. A região com temperaturas acima do ponto pinch apenas consome utilidade do tipo quente, enquanto que a região abaixo do ponto pinch somente consome utilidade fria. Uma metodologia para a integração energética de sistemas de evaporação localizados acima do ponto pinch já foi proposta anteriormente, através da otimização de correntes de extração de vapor. Este trabalho tem por objetivo a complementação desta metodologia. É proposta neste trabalho a integração de sistemas de evaporação localizados abaixo do ponto pinch do processo, através do uso de trocadores de calor intermediários. Esta metodologia foi implementada na forma de um programa de computador baseado na programação orientada por objetos e no uso de listas de conexões. São apresentados casos de estudo, que mostram a possibilidade de economia considerável de utilidades quentes e frias, em função das temperaturas de operação dos efeitos do sistema de evaporação e da localização do ponto pinch do processo. Pode-se concluir então, que a integração energética de sistemas de evaporação conforme proposta neste trabalho de tese, é uma alternativa viável de economia de energia / Abstract: Evaporation is one of the most used unit operations at chemical industries. The concentration of many products is easily carried out through the use of evaporators. Some examples can be found in food, drink, paint and pharmaceutical industries. As a great heat consumer, evaporators have been studied with the objective of reducing their energy consumption. Some techniques, like multiple-effect evaporation and utilization of condensates can bring good results, when this unit operation is analyzed isolated from the process. On the other hand, better results can be obtained when evaporators are analyzed as a part of the whole process. Pinch Analysis is a collection of tools that helps on the optimization of processes, integrating them. Summarily, it consists of the division of the process in two different parts, based on its energy balance. The region with temperatures above the pinch point just receives heat, from hot utilities, whereas the region with temperatures below the pinch point just gives heat, to cold utilities. A methodology for the heat integration of evaporation systems with temperatures located above the pinch point was proposed previously. It is based on the optimization of bleed streams. The objective of this work is to complete this methodology, with the proposal of the heat integration of evaporation systems with temperatures located below the pinch point, based on the use of intermediate heat exchangers. This methodology was implemented in a computer program based on object-oriented-programming and the use of linked lists. Some case studies were presented, showing a considerable reduction of the consumption of hot and cold utilities, as function of the effects' temperature of operation and the localization of the process pinch point. 50, it can be concluded that the heat integration of evaporation systems, as proposed in this work, is a feasible alternative of energy saving / Mestrado / Desenvolvimento de Processos Químicos / Mestre em Engenharia Química

Orientador : Luiz Eduardo Buzato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-01T02:39:02Z (GMT). No. of bitstreams: 1 Senra_RodrigoDiasArruda_M.pdf: 5692776 bytes, checksum: 1742fa697ada7ad703a7f170be9c32f7 (MD5) Previous issue date: 2001 / Resumo: Esta dissertação traz contribuições teóricas e práticas. No plano teórico, apresentamos uma unificação da terminologia de Reflexão Computacional, onde introduzimos o termo para-objeto. Após a compilação de uma série de critérios para se classificar protocolos de meta-objetos (MOPs), analisamos comparativamente os MOPs mais expressivos até o ano 2000 utilizando a terminologia e os critérios propostos por nós. Enfatizamos os MOPs implementados sobre a Máquina Virtual Java. Na fronteira entre o plano teórico e prático, analisamos detalhadamente o MOP de Gua raná, utilizando a terminologia e critérios propostos. O MOP de Guaraná é um protocolo de meta-objetos (MOP), idealizado por Alexandre Oliva, Luiz Eduardo Buzato e Islene Calciolari Garcia, que almeja simplicidade, flexibilidade, reuso de código de meta-nível e independência de linguagem de programação. Nesta dissertação também propomos um modelo de programação para o meta-nível. Segundo este modelo, enunciamos os problemas típicos na programação de meta-nível, a partir dos quais numeramos técnicas para contorná-los. No plano prático é descrita a implementação de GDK: Guaraná Development Kit, constituído por um conjunto de ferramentas que implementam as técnicas propostas e que auxiliam a programação de meta-nível. Entre os componentes do GDK, existem utilitários para depuração e composição de meta-objetos / Abstract: This dissertation brings theoretical and practical contributions. In the theoretical sphere, we propose a unified terminology for Computational Reflection, introducing the term para-object. Moreover, we have compiled cri teria to classify meta-object protocols (MOPs), which is used in a comparative analysis of the most expressive MOPs published till the year 2000. We give emphasis on those implemented on top of a Java Virtual Machine. In the frontier of both theoretical and practical spheres, we make a detailed analysis of the Guaraná MOP, in which we apply the same terminology and criteria that we have previously defined. The Guaraná MOP is a language independent meta-object protocol that aims at simplicity, flexibility and code reuse. It was conceived by Alexandre Oliva, Luiz Eduardo Buzato and Islene Calciolari Garcia. Besides, we propose a meta-programming conceptual model, in which meta-leveI programming issues are raised, and followed by the techniques to tackle them. In the practical sphere, we describe the implementation of GDK: Guaraná Development Kit, which consists of a set of tools that implement the proposed techniques and aid metaleveI programming. Amongst GDK's components, there are tools to aid debugging and meta-object composition / Mestrado / Mestre em Ciência da Computação

Orientador : Marco Lucio Bittencourt / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-03T00:38:16Z (GMT). No. of bitstreams: 1 NogueiraJunior_AlbertoCosta_D.pdf: 21099108 bytes, checksum: baeb9cab3a5df748e9d6b0897c80a17f (MD5) Previous issue date: 2002 / Resumo: O presente trabalho tem por objetivo principal desenvolver e implementar (em linguagem C++) a versão-p do Método de Elementos Finitos (MEF) para problemas elásticos lineares e não-lineares com malhas 3D não-estruturadas. Para se atingir essa meta, realiza-se primeiramente um estudo detalhado do comportamento teórico-numérico de diversas funções de base hierárquicas para triângulos e tetraedros disponíveis na literatura. Como consequência desse estudo preliminar, adota-se a formulação p 3D apresentada em (Karniadakis e Sherwin, 1999) para o desenvolvimento de aplicações em elasticidade linear e não-linear. Esse desenvolvimento é posteriormente utilizado como ponto de partida para o estudo e a implementação de técnicas multigrid algébricas associadas a versão-p do MEF. As aplicações desse tipo de técnica são voltadas para a solução de problemas elípticos lineares 2De 3D. A validação das técnicas multigrid algébricas do ponto de vista da eficiência numérica envolve ainda o estudo de pré-condicionadores para a versão-p do MEF e o desenvolvimento de estratégias multi-hp adaptáveis para problemas 2D / Abstract: The main purpose of this work is to develop and implement (in C++ language) the p-version of the Finite Element Method (FEM) applied to linear and non-linear structural elastic problems with 3D non-structured meshes. To achieve this goal, we conduct a previous study which compares some sets of triangular and tetrahedral hierarchical basis functions available in the literature. As a consequence of this study, we adopt the formulation suggested by (Karniadakis e Sherwin, 1999) to construct some applications related to linear and non-linear structural elastic problems. This development is subsequently used as the starting point to the study and implementation of the algebraic multigrid techniques based on the p-version. This kind of technique is applied to 2D and 3D elliptic linear problems. To validate the proposed algebraic multigrid schemes from a computational point of view we also consider the implementation of preconditioning algorithms for the p-version of the FEM as well as adaptive muIti-hp strategies applied to 2D problems / Doutorado / Mecanica dos Sólidos e Projeto Mecanico / Doutor em Engenharia Mecânica

Orientador: Luiz Cezar Martini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T17:30:25Z (GMT). No. of bitstreams: 1 GoncalezTenorio_Aurio_M.pdf: 1521621 bytes, checksum: b4cd7690daf2a24f97b4443b54d9866c (MD5) Previous issue date: 2003 / Mestrado

Orientador: Paulo Morelato França / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T17:43:38Z (GMT). No. of bitstreams: 1 Mendes_AlexandredeSousa_D.pdf: 1237414 bytes, checksum: 79ab61ac72d53bfe2374807e58a1f03c (MD5) Previous issue date: 2003 / Doutorado

Orientador: Renato Pavanello / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-03T17:30:12Z (GMT). No. of bitstreams: 1 SilvaJunior_FranciscoIlsonda_M.pdf: 2997546 bytes, checksum: 2ae80fc65b91714699db05b9df7fd3da (MD5) Previous issue date: 2003 / Mestrado