[pt] Modelagem de canais turbidíticos é um tema muito presente nas pesquisas da extração do petróleo. O desafio encontra-se em elaborar formas de extração e identificação desses canais em uma superfície pré-determinada. De outro lado, tem-se a sísmica que pode gerar, no resultado final da captação, listas de probabilidades do acúmulo de hidrocarbonetos desta superfície. Unindo estes assuntos, o objetivo deste trabalho é criar um modelo de extração de canais turbidíticos a partir de superfícies interpretadas pela sísmica, utilizando técnicas computacionais e, em particular, um algoritmo de erosão volumétrica. Além do modelo final proposto nesta pesquisa, uma contribuição foi agregar uma particularidade probabilística do dado 3D, em estudo, no algoritmo de erosão utilizado. / [en] Turbidite channels modeling is a very present theme in oil extraction research. The challenge lies in elaborating ways of extracting and identifying these channels on a predetermined surface. On the other hand, seismic data can generate, in the final result of the capture, lists of probabilities of the accumulation of hydrocarbons on this surface. Bringing these subjects together, the objective of this work is to create a model for the extraction of turbiditic channels from surfaces interpreted by Seismic, using computational techniques and, in particular, a volumetric erosion algorithm. In addition to the proposed model in this research, one contribution was to add a probabilistic particularity of the 3D data in the erosion algorithm used.

[pt] Nos últimos tempos, vários pesquisadores têm desenvolvido formulações ou proposições geometricamente não-lineares para elementos finitos com a finalidade de se examinar o comportamento de pórticos com ligações semirígidas. Dentre estes trabalhos destaca-se o de Chan e Chui [6], que desenvolveram um elemento de barra híbrido com duas molas, com rigidez a rotação, condensadas nas suas extremidades. Implementado o elemento híbrido proposto por Chan e Chui [6] no solver FEMOOP [28] e testado, pode-se constatar que este elemento apresenta um comportamento inadequado na representação dos momentos fletores, quando submetido a cargas distribuídas. Esta constatação conduziu a implementação de um novo elemento, elemento de ligação, proposto neste trabalho, que se comportasse adequadamente em qualquer situação de carregamento. O uso deste elemento tornou possível modelar mais precisamente o comportamento da estrutura, sem a necessidade de qualquer tipo de discretização do carregamento. Além disso, este elemento de ligação também permite simular análises elasto-plásticas das ligações e até mesmo das barras da estrutura. Assim, este trabalho tem como principal objetivo validar, com base em investigações presentes na literatura, as formulações implementadas relativa à análise linear (elemento híbrido e elemento de ligação) e não-linear (elemento de ligação) de sistemas estruturais semi-rígidos, bem como as implementações computacionais realizadas para essa metodologia. Desta forma, foi desenvolvido um sistema, chamado FTOOL/SRC, que possibilita a geração de análises paramétricas que balizem o uso adequado de ligações semi- rígidas, de forma simples e compacta graças a uma interface gráfica eficiente e ao uso de um resolvedor externo FEMOOP [28]. / [en] Over the past few years various researchers have been developing geometrically non-linear finite elements formulations with the purpose of examining the behaviour of frames with semi-rigid connections. Among these works it is appropriate to mention Chan and Chui, [6], that developed a hybrid finite bar element containing two rotational springs condensed at its extremities. As this hybrid finite element, Chan and Chui [6] was implemented and tested in the solver FEMOOP, [28], it was verified that it presented an inadequate representation of bending moments, when distributed loads were used. This verification led the implementation of a rotational spring finite element that could tackle any loading conditions. The use of this element enables the users to accurate model the structural behaviour, without the need of any additional loading discretization. Additionally, this connection element also allows elasto-plastic simulation analyses of the connections, and even of the structures bars, to be performed. The main objective of the present investigation was to validate, based in updated literature investigations, the finite element formulations implemented. These procedures included linear (hybrid element and connection element) and non-linear (connection element) analysis of semi-rigid structural systems. The implementations were made by the development of a system, called FTOOL/SRC. This system enables parametric analyses of semi-rigid connections to be performed in a simple and compact form due to the use of an efficient graphic interface and a compact external solver FEMOOP [28].

[pt] A motivação para este trabalho é desenvolver equações simples, porém suficientemente precisas, que possam ser usadas para projetos de vigas casteladas submetidas à flexão pura, considerando a contribuição do conjunto mesa-alma na flambagem local do elemento. Métodos energéticos - Quociente Rayleigh - são adotados para determinar a equação da tensão crítica aproximada. Neste método, a energia de deformação e o trabalho externo são calculados assumindo uma forma de deflexão aproximada, cinemática admissível e contínua. Assim, a precisão do resultado depende da qualidade da forma de deflexão adotada. Estas funções de forma foram escolhidas com base nos resultados obtidos a partir de modelos numéricos criados usando o software ABAQUS e verificados com o software GBTUL, considerando para analise a interação completa entre a alma e a mesa. As expressões desenvolvidas foram baseadas em aproximações clássicas de estabilidade de placas, validadas com estudos paramétricos realizados com os softwares ABAQUS e GBTUL. Os resultados indicaram que a equação proposta pode efetivamente calcular a tensão crítica relativa a instabilidade local de vigas casteladas. A expressão validada e os limites associados são destinados a ser gerais dentro dos limites típicos das aplicações práticas. / [en] The motivation for this work is to develop a simple yet sufficiently accurate equation that can be used in the design of castellated beams subjected to pure bending, considering the contribution of the web-flange coupling effect in the local buckling. To accomplish this, an energy method - Rayleigh quotient - is adopted to determine the approximate critical stress equation. In this method, the strain energy and the potential work are calculated for an assumed approximate and kinematically admissible continuous deflected shape. Thus, the accuracy of the result is dependent on the quality of the assumed buckled shape. These shape functions were chosen based on the results obtained from numerical models created using ABAQUS software and verified with GBTUL, considering full interaction between web and flange. The developed closed-form expressions were based on classical plate stability approximations, validated with parametric studies performed using ABAQUS and GBTUL. The results indicate that the proposed equation can effectively calculate the critical stress of castellated beams due to local instability. The validated expression and its associated limits are intended to be general within the typical limits of practical applications.

[pt] Arquitetos de software utilizam cada vez mais mecanismos de auto- organização para projetar sistemas distribuídos em um ambiente dinâmico, com ruído e imprevisível. Neste cenário, além de não existir uma entidade centralizadora que possua o conhecimento completo do estado do ambi- ente como um todo, mecanismos de auto-organização são principalmente inspirados pela natureza e permitem o comportamento com controle de- scentralizado. Existem duas linhas de pesquisa que direcionam esta tese: a primeira, como é o caso de qualquer paradigma de engenharia de soft- ware, o sucesso e abrangência de uso de sistemas auto-organizáveis requerem notações que exploram o uso de abstrações relacionadas a auto-organização e promovam a rastreabilidade a partir de modelos de projeto à código, e re- querem métodos de engenharia para prover know-how e guiar um engenheiro durante o projeto da aplicação. A segunda linha de pesquisa foca no incen- tivo do reuso de software em sistemas auto-organizáveis. Os objetivos desta tese são: prover um método de engenharia baseado em simulação para apoiar o projeto, desenvolvimento, simulação, validação e refinamento de sistemas multi-agentes auto-organizáveis; e prover uma arquitetura baseada em sim- ulação. Um projeto arquitetural ajuda no desenvolvimento de uma estrutura de programa modular e na representação dos relacionamentos de controle entre módulos e encoraja o engenheiro de software a se concentrar no pro- jeto arquitetural antes de se preocupar com otimizações e código. Esta tese apresenta: um ciclo de vida de desenvolvimento iterativo baseado no Pro- cesso Unificado, SSOA - uma arquitetura de auto-organização baseada em simulação, e o framework que implementa a arquitetura. O método de pro- jeto e a arquitetura foram avaliados através de três domínios de aplicação diferentes: veículos guiados automatizados, contratos que governam sistemas multi-agentes emergentes, e modelagem computacional do comportamento de células-tronco. / [en] Software architects are increasingly relying on self-organizing mechanisms to design distributed systems within a dynamic, noisy and unpredictable envi- ronment. At any point in time, no centralized entity has complete knowledge of the state of the environment as a whole and self-organizing mechanisms are mainly naturally-inspired which enables the decentralized control. There are two tracks that drive the research in this thesis: first, as it is the case with any new software engineering paradigm, the successful and widespread deployment of self-organizing systems require notations that explore the use of self-organizing related abstractions and promote the traceability from the design models to code, and engineering methods that provides know-how and guides an engineer during an application design. The second research track is to promote software reuse of self-organizing systems. This thesis’s goals are: to provide a simulation-based engineering method to support the design, development, simulation, validation and refinement of self-organizing multi-agent systems; and to provide a simulation-based architecture. An ar- chitectural design helps on the development of a modular program structure and on the representation of the control relationships between modules and encourages the software engineer to concentrate on architectural design be- fore worrying about optimizations or code. We present: an iterative develop- ment life-cycle based on a customization of the Unified Process, the SSOA – Simulation-based Self-Organizing Architecture –, and the framework that implements the architecture. We have evaluated the design method and ar- chitecture using three different application domains: the automated guided vehicles, the contracts that govern emergent multi-agent systems, and the stem cell behavior computational modeling.

[pt] Com o objetivo de demonstrar as possibilidades oferecidas pelas tecnologias tridimensionais, no entendimento das doenças cardíacas e testar tratamentos inovadores, o presente estudo obteve imagens da região torácica de um paciente utilizando tomografia computadorizada multi-fatias. Essas imagens foram tratadas, para selecionar apenas a região de interesse, obtendo-se um modelo tridimensional digital da aorta torácica e tóraco-abdominal. A partir daí, foram confeccionados uma serie de modelos físicos, com a utilização da manufatura aditiva, e testados com diversos materiais para simular a estrutura elástica deste vaso. Após a construção dos modelos físicos, as imagens obtidas foram processadas e renderizadas e um modelo de simulação virtual foi criado para testar procedimentos minimamente invasivo. O uso de imagens da Tomografia Computadorizada, transformadas em modelos matemáticos virtuais e posteriormente em representação física, através da tecnologia aditiva, expande as possibilidades didáticas do ensino medico e possibilitam simular práticas e procedimentos cardiológicos minimamente invasivos. / [en] In order to demonstrate the possibilities provided by three-dimensional technologies, to understand disease states and test innovative treatments, this study obtained images of the thoracic region of a patient using multi-slice Computerized Tomography (CT). These images were handled to select only the region of interest, obtaining a three-dimensional digital model of thoraco-abdominal and thoracic aorta. Thereafter, a series of physical models were made using additive manufacturing and thoroughly tested on materials to simulate the elastic structure of the vessel. After building up physical models, the images were processed and rendered, and a virtual simulation model was created to test minimally invasive procedures. The CT s images transformed into virtual mathematical models and later in physical representation, by additive technology, expand educational opportunities and enable simulation of minimally invasive cardiological procedure.

[pt] O efeito da protensão pode ser introduzido sobre estruturas de aço em forma de arco, de tal modo que é adicionado um estado de tensões oposto ao estado proveniente da ação de sucção do vento. Dentro deste escopo, o presente trabalho de pesquisa visa apresentar os resultados obtidos com a modelagem numérica, através do Método dos Elementos Finitos (MEF), sobre o comportamento estrutural de treliças de aço utilizadas no projeto de coberturas protendidas. Para tal, a modelagem numérica é realizada com base em formulações não lineares, com o uso do programa computacional ANSYS, avaliando-se o comportamento estrutural de modelos de treliças de aço em forma de arco até o regime de ruptura. Considerando-se a complexidade do comportamento das treliças em estudo, foram feitas análises com inclusão do efeito da não linearidade física. Com base nos resultados obtidos por meio de uma análise paramétrica, no que tange a comparações entre os valores de resistência das treliças protendidas investigadas, são estabelecidas conclusões e recomendações de projeto. Cabe ressaltar que a economia de material obtida na solução estrutural com base no uso da protensão é resultante do aumento dos níveis de forças de tração nas barras da estrutura, diminuindo-se os de compressão que são menos eficientes. Assim, as soluções estruturais com protensão apresentam diversas vantagens que compensam o seu custo adicional. / [en] Prestressing forces can be introduced on arched steel structures in such a way that a state of tensile stresses is added which to the existing state counteract the state introduced by the wind negative pressures. Within this scope, the present research aims to present the results obtained with the numerical modeling through the Finite Element Method (FEM) on the structural behavior of steel trusses used in the design of prestressed roof structures. For this purpose, the numerical modeling is performed based on non-linear formulations using the ANSYS software in order to evaluate the structural behavior of arched steel trusses modelled up to failure. Considering the complexity of the behavior of the trusses studied, some structural analysis were carried out including the effects of physical nonlinearities. Based on the results obtained through an extensive parametric analysis, with respect to comparisons between the resistance values of the investigated prestressed trusses, conclusions and design recommendations are established. It should be noted that the material savings achieved by the use of prestressing is the resultant from the increase of tensile state of stresses in the bars of the structure, thus reducing the compression stresses, which are less efficient. In this sense, the structural solutions with prestressed trusses have several advantages that compensate for the additional cost of prestressing.

[pt] O presente trabalho visa investigar a interação entre a flambagem lateral com torção e a flambagem local do tê comprimido em vigas casteladas. O método dos elementos finitos (MEF) é usado para realizar análises paramétricas de vigas Litzkas sujeitas a flexão pura e considerando combinações da razão entre espessura e comprimento das mesas e alma, além do comprimento destravado. Para considerar a possibilidade de aço com diferentes resistências ao escoamento, esbeltezes adimensionais são utilizadas para prever o comportamento da estrutura de maneira compreensiva. As respostas de vigas com diferentes combinações de esbeltezes são comparadas e a resistência relativa de cada uma delas é discutida. A influência das imperfeições iniciais na capacidade de resistência é avaliada. Os momentos últimos calculados a partir do MEF são comparados com aqueles calculados de acordo com as normas de dimensionamento para vigas casteladas, mostrando que esses podem superestimar ou subestimar as capacidades de resistência. Finalmente, uma abordagem com o método da resistência direta é testada para prever a resistência nominal à flexão. Através das análises feitas, conclui-se que o Design Guide subestima a resistência das geometrias analisadas, o método da resistência direta as superestima e as imperfeições iniciais têm influência no comportamento das vigas analisadas. / [en] The present work aims to investigate the interaction between lateral torsional buckling and compression tee local buckling in castellated beams. The finite element method (FEM) is used to perform a parametric study for Litzka-beams subject to pure bending moment considering combinations of flange-to-web width and thickness ratios and unbraced lengths. To account for the possibility of different yield strengths, non-dimensional local and global slenderness are used to assess the behavior in a comprehensive manner. The responses for beams having different combinations of slendernesses are compared and the relative strengths are discussed. The influence of the initial imperfections on the strength capacity is evaluated. The FEM ultimate bending moments are compared to those calculated according to the current design recommendations for castellated beams, showing that these may either over or underpredict actual capacities. Finally, a direct strength method approach is tested for the prediction of the nominal bending strength. Through the performed analyses it was concluded that the Design Guide underestimate the relative strengths of the analyzed geometries, while the direct strength method overestimated them and the initial imperfections influence the structural behavior of the analyzed beams.

[pt] Essa pesquisa possui como objetivo investigar os mecanismos de vigas casteladas quanto à sua estabilidade e interação entre modos de flambagem lateral com torção (FLT) e local do tê comprimido (FT). São verificadas as capacidades resistentes de vigas casteladas e, subsequentemente, uma abordagem baseada no Método da Resistência Direta é proposta. As normatizações e guias de dimensionamento atuais tratam dos modos de falha de maneira pouco clara ao considerar a possível interação entre eles, evidenciando a necessidade de estudos e de um método que considere tais efeitos. É realizado um amplo estudo constituído por um universo de 197 vigas casteladas do tipo Litzka biapoiadas sujeitas à flexão pura por meio de modelagem e simulação por análises de elementos finitos lineares e não lineares de material com imperfeições geométricas. Os modelos são validados e o momento último resistente é computado, bem como os momentos críticos dos modos de flambagem global e local. Por fim, são aplicados os conceitos do Método da Resistência Direta e, através de regressão, são propostas equações para previsão do momento nominal resistente levando em conta a interação entre modos de flambagem global e local. Os resultados são comparados com a atual normatização demonstrando melhores valores de previsão para todos os casos, principalmente os que são governados pelo modo local de falha e/ou pela interação dos modos de flambagem. É evidenciada certa discordância dos resultados propostos pelas normas e guias atuais em alguns casos quanto ao dimensionamento à flexão de vigas casteladas, podendo sub ou superestimar sua resistência. / [en] The objective of this research is to investigate the stability mechanisms of castellated beams and the interaction between lateral-torsional and compression tee local buckling modes. A verification of the strength capacity of castellated beams is carried out. Subsequently, an approach based on the Direct Strength Method is proposed for the design of these beams. The treatment of failure modes by current standards and design guides is unclear when considering possible interactions between buckling modes, thus there is a need for more studies and for the development of a design method that takes into account these effects. Firstly, a comprehensive study of 197 simply supported Litzka castellated beams under pure bending moment is carried out. The study involves finite element analyses considering both linear behavior and nonlinear behavior that, which included both material nonlinearity and geometric imperfection. The models are then validated. After computing the moments associated with critical local and global failure modes, and the ultimate moments, along with their respective modes, an approach based on the Direct Strength Method is performed. Equations that consider the interaction for nominal moments prediction are obtained through regression. The developed equation is then compared with current standards procedures. The results show that the proposed equation predicts better values for strength prediction in all cases, especially those in which local and/or interaction failure modes govern the behavior of the beam. The results also show that some of the procedures suggested in standards and guides for the design of castellated beams under flexure, either underestimate or overestimate the failure moment.