Orientadores: Philippe Remy Bernard Devloo, Sonia Maria Gomes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo / Made available in DSpace on 2018-08-14T02:00:38Z (GMT). No. of bitstreams: 1 Damas_RenatoGomes_M.pdf: 3286162 bytes, checksum: 85d0d261382f505e55d4f5544f378238 (MD5) Previous issue date: 2005 / Resumo: Neste trabalho avalia-se três modelos que retratam o processo de fraturamento hidráulico. O primeiro, desenvolvido por Fernandes [1998], trata-se de um modelo semi- nalítico cuja formulação fundamenta-se na taxa constante de injeção de fluido fraturante. Esse modelo apresenta como vantagem a simplicidade dos cálculos e a obtenção imediata dos resultados, por outro lado tem seu campo de atuação limitado a intervalos específicos de eficiência volumétrica para os quais foi elaborado. Os outros dois são modelos numéricos desenvolvidos por Devloo et al. [2001] e Devloo [2001]. Incorporam em seu equacionamento taxa variável de injeção e por efetuarem cálculos iterativos são independentes quanto a eficiência volumétrica do processo. Os resultados dos modelos numéricos foram comparados com os do modelo semi-analítico. Buscando-se, desta forma, validar os modelos numéricos para o uso em simulações de fraturamento hidráulico, principalmente para as condições de injeção de água presentes em poços com alta porosidade. Pretende-se com isso oferecer maior liberdade e flexibilidade durante o planejamento da operação de fraturamento. Oferecendo ao projetista a possibilidade de adoção de taxa injeção variável, períodos sem injeção intercalados com períodos com injeção, liberdade para utilização de diferentes fluidos fraturantes entre outros benefícios. / Abstract: The purpose of this research has been evaluated three models of hidraulic fracturing. The first one, developed byFernandes [1998], is a semi-analytical model whose formulation is based on a constant rate of injection of fracturing fluid. This model presents as advantage the simplicity of the calculations and the immediate attainment of the results, on the other hand its performance is limited at specific intervals of volumetric efficiency for which it was elaborated. The others two are numerical models developed by Devloo et al. [2001] and Devloo [2001]. They incorporate variable injection rate and due to the iterative calculations they are not limited in a range of volumetric efficiency of the process. The results of the numerical models had been compared with the ones of the semianalytical model. Searching, in such a way, to validate the numerical models for the use in simulation of hydraulic fracturing, mainly for the characteristic conditions of water injection present in wells with high porosity. It is intended with this to provide freedom and flexibility during the planning of the operation of fracturing. Offering to the designer the possibility to use variable injection rate, periods without injection intercalated with periods with injection, freedom to choose differents fracturing fluids among others benefits. / Mestrado / Estruturas / Mestre em Engenharia Civil

Orientador: Philippe Remy Bernard Devloo / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo / Made available in DSpace on 2018-08-14T01:58:48Z (GMT). No. of bitstreams: 1 Rylo_EdimarCesar_D.pdf: 6164747 bytes, checksum: e5675a350bb563815a0ed3a28155e3ee (MD5) Previous issue date: 2007 / Resumo: Esse trabalho apresenta uma abordagem para a implementação de métodos auto-adaptativos hp em malhas de elementos finitos utilizando processamento paralelo para a seleção do padrão hp a ser utilizado em cada elemento da malha. Dois tópicos são destacados: análise da qualidade da aproximação e modo de melhoria do espaço de aproximação. O trabalho apresentado propõe uma estrutura para a implementação de métodos hp autoadaptativos no ambiente PZ. Essa estrutura é genérica e pode ser utilizada independentemente de: formulação fraca, tipo de elemento utilizado, método de resolução etc. A estrutura proposta define a interface requerida de um estimador de erros, bem como a interface para a seleção do padrão de refinamento. Tal interface contempla a possibilidade de análise de malhas com elementos contínuos ou descontínuos. A implementação apresentada contempla o processamento em máquinas paralelas, de modo que o tempo de obtenção de uma malha adaptada seja aceitável em aplicações práticas. O cálculo do erro bem como a definição dos padrões de refinamento pode ser feito utilizando processamento paralelo, em ambientes com memória compartilhada ou distribuída. Uma metodologia de refinamento h baseado em padrões de refinamento foi desenvolvida, implementada e validada. Essa metodologia facilita a implementação de padrões de refinamento. Em contrapartida, a geração de malhas com espaços de aproximação contínuos impõe restrições para a seleção do padrão de refinamento de um elemento. Assim, para a seleção de um padrão de refinamento de um elemento foi desenvolvida uma metodologia de análise de padrões admissíveis. A seleção do padrão de refinamento tendo por base uma análise de padrões admissíveis é um ponto que requer novas pesquisas, sendo considerado um dos desafios da auto-adaptatividade (ver Zienkiewicz [55]). / Abstract: This work presents a study of hp adaptive methods applied to finite element approximations. Two topics are emphasized: analysis of the quality of the approximation and methodology of refinement of the approximation space. The main objective of the work is to conceive a framework for developing hp-adaptive algorithms within the PZ environment. The framework is independent of the weak statement, type of element or resolution method. The framework uses separate interfaces to define the error estimation method and selection of refinement pattern. Secondly, the framework was ported to parallel processing using the object oriented framework OOPar. The intent of parallelizing the adaptive process is to reduce the time spent in error estimation and choice of the optimal refinement pattern and thus bring adaptivity to a level where it can be used as a routine analysis method. Both error estimation and choice of refinement pattern are implemented on a shared and/or distributed machine. Finally, a methodology was developed to extend the h-adaptive refinement process based on refinement patterns. Together with the implementation of refinement patterns, a procedure was developed to check on the compatibility of refinement patterns of two neighboring elements. The choice of the "best" refinement patterns is one of the main challenges of adaptive methods (Zienkiewicz [55]). The availability of different ways of refining elements increases the flexibility of the code, but also introduces the challenge of deciding which pattern is the "best" pattern. It is possible that the combination of optimized h-refinement together with choice of h and/or p refinement may lead to very efficient approximation spaces for a given problem. / Doutorado / Estruturas / Doutor em Engenharia Civil

Orientador: Hugo Enrique Hernandez Figueroa / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T06:26:18Z (GMT). No. of bitstreams: 1 Hsu_AtilioClaudio_M.pdf: 6986419 bytes, checksum: 5d1120daa8d4126ad4a6fd84fd5ac188 (MD5) Previous issue date: 2007 / Resumo: Nesta dissertação apresenta-se o desenvolvimento e a implementação de algoritmos para geração de malhas adaptativas de elementos triangulares, visando o estudo de problemas de propagação eletromagnética em domínios bidimensionais. Foram implementadas duas técnicas de refinamento, uma baseada no método da troca de arestas denominado Delaunay e a outra baseada na técnica de suavização de Laplace. O gerador implementado leva em conta interfaces de curvatura arbitrária e, também, pode ser facilmente integrado aos programas desenvolvidos no Departamento de Microonda e Óptica (DMO) / Abstract: This work presents the development of algorithms for adaptive mesh generation of triangular elements applicable to electromagnetic propagation problems in bidimensional domains. Several techniques were used, such as edgeflip, known as Delaunay method, and the Laplacian¿s smoothing method. The program considers arbitrary curvature interfaces and can be easily integrated to the programs created in the Department of Microwaves and Optics (DMO) / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

O método de elementos analíticos simula escoamentos subterrâneos por meio da superposição de soluções conceituais. No contexto do método, inomogeneidade é uma região bem definida de condutividade hidráulica constante. A diferença de condutividade hidráulica entre a inomogeneidade e o meio em que está inserida causa uma descontinuidade (salto) no potencial de descarga. Tradicionalmente este salto é simulado usando polinômios de primeiro ou segundo grau. O presente trabalho usa polinômios splines quadráticos para interpolar os saltos ocorridos no potencial de descarga ao longo das bordas de inomogeneidades. Paralelamente, a formulação tradicional de interpolação dos saltos no potencial de descarga é estendida para qualquer grau. Os principais elementos que compõe o método são descritos e implementados. O programa computacional resultante (AEM) foi desenvolvido integrado a um sistema de informações geográficas de código-aberto (JUMP). O programa permite a integração com outros sistemas de informações geográficas baseados em JAVA, guardando independência do SIG residente. O projeto do programa AEM/JUMP é baseado na programação orientada a objetos e apresentou grande afinidade com o método de elementos analíticos, havendo identificação entre os conceitos de elemento (usado pelo método) e de objeto (usado pela programação). Conceitos de padrões de projeto são utilizados objetivando ampliar as facilidades de leitura, entendimento, otimização e modificação do código fonte, já disponibilizadas pela programação orientada a objetos. Problemas conceituais são abordados usando as formulações propostas. A interpolação por splines quadráticas mostrou-se eficiente e precisa. Considerando as soluções exatas, o erro médio sobre a área de estudo foi inferior a 0,12%. O AEM/JUMP foi aplicado à região da Lagoa do Bonfim - RN com o objetivo de determinar as isolinhas de cargas hidráulicas. Os resultados foram comparados com estudo anterior, onde obteve resultados compatíveis, comprovando a aplicação do método e de sua implementação. Foram incorporadas ao problema da Lagoa do Bonfim características geométricas do contorno do oceano e de aluviões existentes no entorno da lagoa, demonstrando a utilidade do programa para gerar diferentes cenários de simulação. / The analytical elements method simulates underground draining through the superposition of conceptual solutions. In the method\'s context, inhomogeneity in defined as a clearly set region of constant hydraulic conductivity. Inhomogeneity hydraulic conductivity differences and the environment in which they are inserted cause a discontinuity (jump) in the discharge potential. Traditionally, this jump is simulated using first or second degree polynomials.The present work presents a formulation that uses quadratic spline polynomials to interpolate jumps occurred in the discharge potential through inhomogeneity borders. At the same time, the traditional formulation of discharge potential jump interpolation is extended to any degree. The main elements that compose the method are described and implemented. The resulting computational program (AEM) was developed integrated to an open code geographic information system (JUMP). The program permits the integration with other geographic information systems based on JAVA, keeping its independence from resident SIG. The architecture project program AEM/JUMP is based on object-oriented programming and presented great affinity with the analytical element method, showing identification among element concepts (used by the method) and the object (used by the program). Standard project concepts are used, seeking to widen source code reading possibilities, understanding, optimization and modifications already available through the object-oriented programming. Conceptual problems are approached with proposed formulations. Quadratic spline interpolation proved to be efficient and precise. Considering exact solutions, average mistake on study area was lower than 0.12%. AEM/JUMP was applied to the Lagoa do Bonfim (RN) lake region with the aim of establishing hydraulic charge isolines. Results were compared with the previous study, where compatible results had been obtained, thus proving method feasibility and implementation. Geometric features of surrounding areas and alluvion regions present around the lake area were incorporated to the original problem, demonstrating the usefulness of the program to generate different simulation scenarios.

Orientador: Marco Lúcio Bittencourt / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-21T13:08:48Z (GMT). No. of bitstreams: 1 Augusto_RodrigoAlves_D.pdf: 47284136 bytes, checksum: 2bd38de7405d98c59a2507e548ca15d9 (MD5) Previous issue date: 2012 / Resumo: Nesta tese é apresentada uma arquitetura orientada por objetos para Método dos Elementos Finitos de Alta Ordem (MEF-AO) para solucionar problemas de grandes deformações com material hiperelástico em mecânica estrutural. O programa hp2fem foi construído em linguagem de programação MatLab, sendo totalmente modular e facilmente estensível para qualquer tipo de problema. A formulação do problema de grandes deformações foi realizada com auxílio de operadores cinemáticos, de tensões e equações constitutivas. A solução do sistema de equação não-linear for feita através do Método de Newton-Raphson. Apresentam-se resultados para a simulação de problema de grandes deformações usando material neo-Hookeano compressível em problemas 2D e 3D e métodos de alta ordem. Também, problemas de contato e otimização de forma são tratados aqui. Conclui-se que a arquitetura funciona muito bem e que o uso do MEF-AO traz grandes benefícios quanto à taxa de convergência / Abstract: This thesis presents an object oriented architecture for the High-Order Finite Element Method (HO-FEM) to solve problems of large deformations in structural mechanics. The software hp2fem was implemented using the Matlab programming language and is fully modular and easily extensible to any problem. The formulation of large deformation considered the kinematic, stress-strain operators and constitutive equations. The solution of nonlinear system equations is performed by the Newton-Raphson method. Results are presented for the simulation of large deformation problem using neo-Hookean compressible material in 2D and 3D problems and the high order methods. Also, contact problems and shape optimization are performed here. It is concluded that the architecture works very well and that the use of the HO-FEM brings great benefits in terms of convergence rate / Doutorado / Mecanica dos Sólidos e Projeto Mecanico / Doutor em Engenharia Mecânica

In my thesis I have planned the structure of a game that I have developed together with two developers and an art director. The structure of the game is planned using class diagram. Class diagram is included in UML and can be used in many areas, one area is programming. Other fields where class diagram can be useful are enterprise information systems. The report shows the advantages and disadvantages of using class diagram when developing games. Examples are shown of how it can be used and how I have used it in my work. The outcome shows that using class diagram can facilitate the development of a game with a complicated structure. Another advantage is that it improves the communication between all participants in a project. / I mitt examensarbete har jag planerat strukturen för ett spel som jag har tagit fram tillsammans med två utvecklare och en art director. Spelets struktur planeras med klassdiagram. Klassdiagram ingår i UML och kan användas inom många områden, ett av områdena är programmering. Fler användningsområden är företags informationssystem. Syftet med rapporten är att visa på fördelar och nackdelar med att använda klassdiagram. Rapporten visar exempel på hur det kan användas och hur jag har använt mig av det i mitt arbete. Resultatet visar att klassdiagram kan underlätta programmeringen av ett spel med en komplicerad struktur. Andra fördelar är att det förbättrar kommunikationen mellan samtliga deltagare i ett projekt.

Afin de sécuriser les applications web, nous nous sommes intéressés à appliquer des analyses dynamiques de sécurité à des programmes JavaScript. Dansce contexte, pouvoir rapidement modifier l’interpréteur et composer des analyses à l’exécution est primordial. Une façon d’effectuer ces changements aurait été parrefactorisation. Mais la refactorisation peut être délicate et chronophage, car elle implique de réécrire des parties du code source, voire de réorganiser toute l’architecture du programme. La refactorisation est trop coûteuse lorsque prime la vitesse d’itération.Nous explorons une alternative économe à la refactorisation : le détournement. Détourner un programme c’est changer ses résultats sans directement modifierson code source. Pour détourner un programme, on exploite des techniques d’indirection, tels que la portée dynamique et la métaprogrammation.On commence par passer en revue les techniques utilisées pour des problèmes connexes d’extensibilité, et on applique ces techniques pour détourner des interpréteurs simples. Puis, on montre comment le détournement peut aider à construire un interpréteur par incréments, pour permettre d’activer dynamiquement des comportements alternatifs. Enfin, on applique ces techniques pour détourner un véritable interpréteur JavaScript par de multiples analyses dynamiques de sécurité.Au prix d’un potentiel impact en efficacité et en sûreté, détourner l’interpréteur est à la fois plus rapide et plus flexible que de le réécrire, ce qui fait du détournement une alternative légitime à la refactorisation. / For securing web applications, we were interested in applying dynamic security analyses to JavaScript programs. In this context, the ability to quickly modify the interpreter and to compose analyses at runtime is paramount. One way to effect these changes would have been through refactoring. But refactoring can be tricky and time-consuming, as it entails to rewrite parts of the source code, and even to reorganize the program’s whole architecture. Refactoring is too costly when rapid iteration is preferred.We explore a lightweight alternative to refactoring: diverting. To divert a program is to change its results without directly modifying its source code. To divert a program, we leverage indirection techniques such as dynamic scoping and metaprogramming.We first review the techniques used in related extensibility problems, like the Expression Problem, and apply these techniques to divert simple interpreters. We then show how diverting can help build interpreters incrementally in layers, allowing dynamic activation of alternative behavior. Finally, we apply those techniques to divert a full-blown JavaScript interpreter with multiple dynamic security analyses. We find that, with potential costs in efficiency and program safety, diverting is both faster and more flexible than rewriting the interpreter,thus making diverting a legitimate alternative to refactoring.

Paradigmas e técnicas de desenvolvimento como a programação Orientada a Objetos (OO) e a programação Orientada a Aspectos (OA) procuram melhorar os níveis de reuso e manutenibilidade na produção de software. Contudo, com a introdução de mecanismos com maior poder de expressividade e, consequentemente, a possível introdução de novos tipos de defeitos, a utilização de linguagens OO e OA pode se tornar um obstáculo ao invés de um auxílio ao desenvolvimento de software. Para lidar com esse problema, nesta dissertação é proposta uma abordagem de teste estrutural de integração para programas orientados a objetos e a aspectos implementados em Java e AspectJ. É definido um modelo de fluxo de controle e de dados baseado no bytecode Java { chamado Grafo Def-Uso Contextual (ou Contextual Def-Use graph) - que é uma abstração formada pela integração dos grafos Def-Uso Orientados a Aspectos (AODU) da unidade sob teste com todas as unidades que interagem direta ou indiretamente com ela até um nível de profundidade de interação máximo ou definido pelo testador. São defiidos três critérios de teste: todos-nós-integrados-Nd, todas-arestas-integradas-Nd e todos-usos-integrados-Nd. Para automatizar o uso do modelo e critérios propostos, a ferramenta JaBUTi/AJ foi estendida. Exemplos de usos são discutidos e, por meio de um estudo experimental, uma análise de aplicabilidade da abordagem proposta é apresentada / Development paradigms and techniques such as Object-Oriented (OO) programming and Aspect-Oriented (AO) programming aim at improving reuse levels and maintenability in the software production. However, due to the introduction of mechanisms to support a greater power of expressiveness and, consequently, possible introduction of new type of faults, the use of OO and AO languages might become an obstacle instead of a benefit in the software development. To deal with these problems, in this dissertation is presented an integration structural testing approach for objectand aspect-oriented software based on Java and AspectJ. It is defined a control- and data- ow model based on Java bytecode { called Contextual Def-Use graph { that is an abstraction composed by the integration of Aspect-Oriented Def-Use graphs (AODU) of the unit under testing with the units triggered by the execution of the unit under testing considering either a maximum interaction depth level or an interaction depth level previously defined by the tester. Three testing criteria are also defined: all-integrated-nodes-Nd, all-integrated-edges-Nd and all-integrated-uses-Nd. To automate the use of the model and the testing criteria, the JaBUTi/AJ tool was extended. Usage examples are discussed to explain the approach and an exploratory study is conducted to evaluate the applicability of the proposed approach

Com o avanço tecnológico dos últimos anos passou a ser normal vermos microprocessadores com múltiplos núcleos (cores). A expectativa é de que o crescimento da quantidade de núcleos passe a ser maior do que o crescimento da velocidade desses núcleos. Assim, além de se preocuparem em otimizar algoritmos sequenciais, os programadores começaram a dar mais atenção às possibilidades de aproveitamento de toda a capacidade oferecida pelos diversos cores. Existem alguns modelos de programação que permitem uma abordagem concorrente. O modelo de programação concorrente mais adotado atualmente é o baseado em threads, que utiliza memória compartilhada e é adotado em Java. Um outro modelo é o baseado em troca de mensagens, no qual as entidades computacionais ativas são denominadas atores. Nesse trabalho, estudamos a linguagem Scala e seu modelo de atores. Além disso, implementamos em Scala uma versão paralela de um algoritmo de classicação que simula o sistema imunológico dos animais, o AIRS paralelo, e comparamos seu desempenho com a versão em Java. / With the technological advance of the last years it has been normal to see microprocessors with multiple cores. The expectation is that the growth of number of cores becomes greater than the growth of the speed of these cores. This way, besides worrying about optimizing sequential algorithms, developers started to give more attention to the possibilities of proting from all capacity offered by the cores. There exists a few programming models that allow a concurrent approach. In these days, the most adopted concurrent programming model is the one based on threads, which uses shared memory and is adopted in Java. Other model is based on message passing, on which the active computational entities are called actors. In this project, we studied Scala language and its model based on actors. Besides that, we implemented in Scala a parallel version of a classification algorithm that simules the immune system of the animals, parallel AIRS, and compared its performance with the Java version.

This project was started with JDK Version 1.0 and was later upgraded to version JDK Version 1.2.2, to create a graphical user interface using the Abstract Window Toolkit (AWT) to a HyperCard bibliography of software engineering. The bibliographic index tool is designed to facilitate searching for text and is run as a Java applet. It presents an alphabetically ordered list of author names and subjects. With the bibliography index tool one can manipulate a bibliographic list directly over the World Wide Web on a computer that lists electronic bibliographies.