Orientadores: Claudia M. Bauzer Medeiros, Mario A. Nascimento / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T10:40:49Z (GMT). No. of bitstreams: 1 Faria_Glaucia_M.pdf: 3202235 bytes, checksum: 39b84521869e9c1d343b4a565d05add8 (MD5) Previous issue date: 1998 / Resumo: Esta dissertação discute a implementação de uma infra-estrutura extensível, baseada em um sistema gerenciador de banco de dados orientado a objetos, que provê suporte ao desenvolvimento de aplicações espaço-temporais. A infra-estrutura está baseada na definição e implementação de um conjunto básico de operadores e classes orientadas a objetos, que cobrem os requisitos mínimos de processamento de consultas espaciais, temporais e espaço- temporais. As principais contribuições deste trabalho são a definição dos operadores e das classes e sua implementação efetiva, validada através de uma aplicação piloto. Uma contribuição adicional é a discussão da própria implementação, que permitiu corrigir falhas do modelo teórico adotado. / Abstract: This dissertation discusses the implementation of an extensible framework, which provides support for the development of spatio-temporal database applications. The infrastructure, developed on the O2 object-oriented database system, consists of a kernel set of operators and database classes, which meet the minimum requirements for the processing of spatial, temporal and spatio-temporal queries. The main contributions of this work are the specification of the kernel operators and classes and their implementation, validated through a pilot geographic application. Another contribution is fhe analysis of this implementation, which discusses problems and shortcomings of some models proposed in the literature. / 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: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

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Cette recherche cherche à faire une reflexion à propos de lâascension de la consommation dâobjets techniques et de services urbains et mÃnagers à Fortaleza de 1940 à 1970. Le contexte de dÃveloppement technologique et la stimulation à la consommation rendent possible de penser à lâapparition dâobjets techniques, inventÃs et reinventÃs, et de nouveaux services dans le marchà de Fortaleza. Nous analyserons le rapport entre objets et services, en construisant un dialogue à doublà sens dans les expÃriences ambiguÃs de la modernitÃ, dans les  pratiques de consommation  et dans les  faÃons dâutilisation  des objets. En outre, nous faisons une rÃflexion sur les transformations subies dans les sensibilitÃs, dans les gestes et sensations du corps rÃalisÃes par la  maniÃre de vie moderne  et lâusage des outils technologiques, qui modifient les services urbains et les activitÃs mÃnagÃres. / A pesquisa aqui apresentada procura fazer uma reflexÃo a respeito da ascensÃo do consumo de objetos tÃcnicos e dos serviÃos urbanos e domÃsticos na Fortaleza do ano de 1940 a 1970. O contexto de desenvolvimento tecnolÃgico e o estÃmulo ao consumo possibilitam pensar o aparecimento de objetos tÃcnicos, inventados e reinventados, e de novos serviÃos no mercado fortalezense. Analisamos a relaÃÃo entre objetos e serviÃos, construindo um diÃlogo de mÃo dupla, nas experiÃncias ambÃguas da modernidade, nas âprÃticas de consumoâ e nas âformas de usoâ dos objetos. No mais, refletimos as transformaÃÃes sofridas nas sensibilidades, gestos e sensaÃÃes do corpo promovidas pelo âmodo de vida modernoâ e o uso dos artefatos tecnolÃgicos, processando uma modificaÃÃo dos serviÃos urbanos e das atividades domÃsticas.

Este trabalho busca a implementação da replicação de objetos através da linguagem Java e de seu sistema de invocação remota de métodos (Remote Method Invocation - RMI). A partir deste sistema, define-se uma classe de replicação - a máquina de replicação – onde a implementação de grupos de objetos é estruturada de acordo com a arquitetura cliente/servidor, sendo o cliente o representante (a interface) de um grupo de objetos e os servidores representam os demais componentes do grupo. A classe de replicação atende a uma necessidade importante dos sistemas distribuídos - o desenvolvimento de aplicações tolerantes a falhas. Fundamentalmente, a tolerância a falhas é obtida por redundância e, no caso de mecanismos de tolerância a falhas por software, esta redundância significa basicamente replicação de dados, processos ou objetos. A tolerância a falhas para tal tipo de sistema é importante para garantir a transparência do mesmo, visto que, assim como um sistema distribuído pode auxiliar muito o usuário pelas facilidades oferecidas, o não cumprimento de suas atividades de acordo com o esperado pode, em algumas situações, causar-lhe transtornos e erros irrecuperáveis nas aplicações. Finalmente, como principal contribuição, este trabalho descreve e implementa a solução completa para a construção de uma biblioteca de classes que oferece a replicação de forma totalmente transparente para o usuário.

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: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T17:14:10Z (GMT). No. of bitstreams: 1 Moraes_ReginaLuciadeOliveira_M.pdf: 4967763 bytes, checksum: 7156a7a1a1801995591c7016b750cc40 (MD5) Previous issue date: 2003 / Resumo: A maioria dos software desenvolvidos atualmente, incluindo sistemas críticos, utiliza em algum momento software desenvolvido por terceiros ou do inglês, third-parties components. Em especial, quase a totalidade dos sistemas desenvolvidos utiliza um gerenciador de base de dados que é adquirido de empresas especializadas nesse segmento. Como a segurança que se espera do funcionamento desses componentes é importante, a injeção de falhas por software é uma ferramenta útil na sua validação, tendo se mostrado uma das formas mais eficientes para isso. Nesse processo são introduzidas falhas, e observada a resposta do sistema quando em presença das falhas injetadas. Para que se possa utilizar essa técnica, é necessário que se tenha à mão uma ferramenta que nos permita injetar as falhas e monitorar o sistema sob teste para que possamos acompanhar o seu comportamento. Para a credibilidade desses testes, é interessante que se tenha uma estratégia que se possa seguir, objetivando a escolha de alguns requisitos necessários para a injeção: as falhas a injetar, onde injeta-las, a maneira de ativa-las, como coletar os resultados e determinar o sucesso ou insucesso do componente ao tentar resolver da maneira esperada o erro causado pela injeção. Para nossos experimentos, escolhemos como componente terceirizado um gerenciador de banco de dados orientado a objetos, o Ozone. Como aplicação, utilizada para ativar as falhas injetadas, utilizamos um benchmark desenvolvido para testes de desempenho desse tipo de componente, o Wisconsin 007. A Jaca, desenvolvida em trabalho anterior de mestrado do Instituto de Computação, foi a ferramenta escolhida para viabilizar os testes por injeção de falhas, permitindo injetar falhas por software. Uma das contribuições desse trabalho foi, a proposta de uma estratégia para a validação de componentes 00. Outra contribuição foram os testes da ferramenta de injeção, bem como, o aparte de correções e melhorias à mesma / Abstract: The majority of software currently developed - including critical systems - utilize third-party components. Further, a1most all systems use Database Management Systems that are acquired from firms that specialize in this sector. Given the security expected from these components, software fault injection is a useful and efficient validation too1. The process comprises the introduction of faults and observation of system replies when in presence of injected faults. To use this technique it is necessary to have a tool that allows for the injection of faults and the monitoring of the system under test in order to accompany its behavior. To achieve credibility these tests need a strategy that permits the choice of some necessary requirements for the injection. Among these requirements are what faults to inject, where to inject them, how to activate them, how to collect results and how to determine the component's success or failure when trying to solve the problem caused by the injections through the expected manner. For the experiments conducted, Ozone - an object-oriented database management system - was chosen as the third-party component. We have used Wisconsin 007, a benchmark developed for performance tests on these types of components, as the application to activate the injected faults. Jaca, that was developed previously at the Institute of Computing, was the chosen tool to make feasible the injection tests. 1t allowed for software fault injection. One contribution of this work is the proposed validation strategy for 00 components. The other contribution is the injection tool' s tests, its corrections and improvements proposed. / Mestrado / Mestre em Ciência da Computação