[pt] Neste trabalho, apresentamos dois métodos geostatísticos para modelar estruturas geológicas que exibem características direcionais em uma estrutura de árvore, como leques deltaicos e canais turbidíticos. O primeiro método é um algoritmo geoestatístico multi-ponto chamado simulação baseada em campo de direções (DIR-SIM). A característica direcional da imagem de treinamento é usada para criar um novo objeto que chamamos de campo direcional de treinamento (TDF), que contém a direção em cada ponto da imagem. Este TDF representa a imagem de treinamento em um sentido mais amplo por que tanto a imagem de treinamento quanto a direção seguida pelo reservatório estão contidas nele. Propomos aplicar esse objeto como uma ferramenta fundamental na simulação. O segundo método é uma simulação baseada em objetos chamada SKE-SIM, que usa uma imagem de treinamento para extrair a distribução de parâmetros selecionados para construir o sistema de canais turbidíticos. A idéia baseia-se na premissa de que a imagem de treinamento pode ser bem representada por um objeto unidimensional que chamamos esqueleto. / [en] In this work, we present two geostatistical methods to model geological structures that exhibit directional features in a tree structure, like fan deltas and turbidite channels. The first method is a multiple point geostatistical algorithm called directional field-based simulation (DIR-SIM). The directional feature of the training image is used to create a new object that we call training directional field (TDF), which contains the direction in each point of the image. This TDF represents the training image in a broader sense because both the training image and the direction followed by the reservoir are contained there. We propose to apply this object as a fundamental tool in the simulation. The second method is an object- based simulation called SKE-SIM which uses a training image to extract the distribution of selected parameters to build the turbidite channel system. The idea is based on the premise that the training image can be well represented by a one-dimensional object that we call, skeleton.

[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] A reconstrução de cenas a partir de imagens tem recebido, recentemente, grande interesse por parte dos pesquisadores das áreas de visão computacional, computação gráfica e modelagem geométrica. Várias são as suas aplicações como, por exemplo, modelagem de objetos a partir de imagens, construção de ambientes virtuais e telepresença. Dentre os métodos que têm produzido bons resultados na reconstrução de cenas a partir de imagens, podemos destacar aqueles que se baseiam em algoritmos de Escultura do Espaço. Tais técnicas procuram determinar quais são os elementos, em uma representação volumétrica do espaço da cena, que satisfazem um conjunto de restrições fotométricas impostas por um conjunto de imagens. Uma vez determinados, tais elementos volumétricos são coloridos de modo que reproduzam as informações fotométricas nas imagens de entrada, com uma certa margem de tolerância especificada com base em critérios estatísticos. Neste trabalho, investigamos o emprego de técnicas utilizadas em visualização no desenvolvimento de métodos de escultura do espaço. Como resultado, propomos um método por refinamento adaptativo que trabalha sobre espaços de reconstrução representados através de subdivisões espaciais. Tal método é capaz de realizar o processo de reconstrução de modo mais eficiente, empregando esforços proporcionais às características locais da cena, que são descobertas à medida em que a reconstrução é realizada. Finalmente, avaliamos a qualidade e a eficiência do método proposto, com base em um conjunto de resultados obtidos através de um sistema de reconstrução de objetos que utiliza imagens capturadas por webcams. / [en] The reconstruction of scenes from imagens has received special attention from researchers of the areas of computer vision, computer graphics and geometric modeling. As examples of application we can mention image-based scene reconstruction, modeling of complex as-built objects, construction of virtual environments and telepresence. Among the most successful methods used for the reconstruction of scenes from images are those based on Space Carving algorithms. These techniques reconstruct the shape of the objects of interest in a scene by determining, in a volumetric representation of the scene space, those elements that satisfy a set of photometric constraints imposed by the input images. Once determined, each photo- consistent element is colorized according to the photometric information in the input images, in such a way that they reproduce the photometric information in the input images, within some pre-specificied error tolerance. In this work, we investigate the use of rendering techniques in space carving methods. As a result, we propose a method based on an adaptive refinement process which works on reconstruction spaces represented by spatial subdivisions. We claim that such method can reconstruct the objects of interest in a more efficient way, using resources proportional to the local characteristics of the scene, which are discovered as the reconstruction takes place. Finally, we evaluate the quality and the efficiency of the method based on the results obtained from a reconstruction device that works with images captured from webcams.

[pt] O presente trabalho representa um estudo realizado sobre a gestão da produção e operações, tendo em vista o planejamento da produção de um conjunto de itens independentes num horizonte de curto prazo de uma empresa de varejo do setor eletrônico, via minimização de custos. O estudo iniciou-se a partir da necessidade de uma interface entre o setor de produção e o de vendas, e é focado na otimização da produção de luminárias da empresa Energia, a qual abastece o mercado de emissoras de televisão e produtores cinematográficos, em sua maioria. Para o planejamento, é necessário conhecer a série histórica da demanda dos itens dos últimos períodos. Porém, somente os dados históricos disponíveis – os dados de vendas dos itens - foram manipulados no software de previsão Forecast Pro, com o intuito de simular a previsão de demanda desses produtos no horizonte de planejamento de curto prazo. Em seguida, a modelagem matemática do problema de planejamento da produção desagregado – o modelo MPS para itens acabados - foi realizada a partir de entrevistas com responsáveis por setores distintos na empresa estudada. Por fim, utilizou-se o software de otimização AIMMS 3.10, capaz de solucionar problemas difíceis, para encontrar o plano ótimo de produção desagregado. Os resultados obtidos pelo software para o planejamento de curto prazo são as quantidades de luminárias a serem produzidas e estocadas em cada período, assim como decisões de produzir ou não em cada período. Esses resultados foram usados como base para analisar novos cenários, gerando informações suficientes para auxiliar a tomada de decisão por parte dos gerentes da empresa, como por exemplo, expandir os recursos produtivos. / [en] This work represents a study on the production and operations management, in order to plan the production of a set of independent items in a short-term horizon of a retail company of the electronics industry, by minimizing costs. As a necessity of understanding between sales and production the study is focused on optimizing production of lamps of the company Energia, which supplies to mostly the market for television and film producers. For planning, it is necessary to know the historical series of product demands of the items in recent past periods. However, the only available data – the product sales data -were handled in prediction Forecast Pro software to simulate the demand sales of the items for the short-term planning horizon. Then, the mathematical modeling of disaggregate production planning problem - the MPS model for finished items - was built, from interviews with managers of different sectors of the studied company. Finally, the optimization software AIMMS 3.10, capable of solving complex problems, was used to find the optimal production plan. The obtained results for short-term planning are the quantities of items to be produced and to be stocked in each period, as well as the decision to produce or not in each period. These results were used as the basis to analyze new scenarios, generating sufficient information to assist decision makers of the company, as for example, expand the productive resources.

[pt] Atualmente, podemos observar uma clara tendência na direção de sistemas cada vez maiores e mais complexos quanto às suas partes e formas de interconexão. Num cenário como este, torna-se imperativa a preocupação com a modelagem da estrutura, organização geral e formas de interação presentes nesses sistemas, assim como com as garantias de que certos requisitos críticos sejam atendidos. O contexto de nosso trabalho engloba disciplinas de Engenharia de Software, como Arquitetura de Software e Técnicas de Modelagem, e disciplinas mais formais como Verificação de Modelos, Lógicas Modais e Álgebras de Processos. Nosso trabalho tem inspirações nestas disciplinas mas apresenta, de fato, um cunho metodológico, localizando-se nas fronteiras da ES com Métodos Formais, onde buscamos investigar e estabelecer uma forma sistemática para utilização efetiva de métodos formais logo nas etapas iniciais do desenvo lvimento. Mais especificamente, mostramos como é possível, a partir de modelos baseados em abstrações arquiteturais, obter-se sistematicamente um modelo formal sobre o qual possamos realizar certos tipos de análise comportamental. Nossa proposta inclui um sistema notacional básico para expressar modelos arquiteturais, junto com sua semântica formal, e um protótipo construído para dar suporte a tarefas de especificação e análise formal orientadas por abstrações arquiteturais. Com isto, pretendemos abordar alguns dos aspectos essenciais de uma metodologia de desenvolvimento que integre ferramentas e técnicas formais na etapa de modelagem arquitetural. / [en] There is a trend nowadays towards bigger and more complex systems concerning their parts and interconnectivity. In such scenario, modeling structure, overall organization and interaction have become a main concern, as well as fulfillment of mission critical requirements. The scope of our work encompasses Software Engineering related subjects such as Software Architecture, Modeling Techniques and more formal disciplines like Model Checking, Modal Logics and Process Algebra. Although inspired by such techniques, there is, indeed a methodological orientation in our work, traversing the boundaries of Software Engineering with Formal Methods, through which we seek to investigate and establish a systematic way for the effective utilization of formal methods in the first steps of software development. Still, more specifically, we show how it is possible, starting from models based on architectural abstractions, to systematically produce a formal model upon which we can execute certain forms of behavior analysis. Our proposal includes a basic notational system to express architectural models along with their formal semantics and a prototype built to support specification and formal analysis tasks oriented by architectural abstractions. With this, we intend to stress some essential aspects of a development methodology which aims to integrate tools and formal techniques to software modeling.

[pt] Esta pesquisa investiga o comportamento sísmico da barragem de terra de Breapampa, situada no Peru em zona de atividade sísmica. A previsão numérica é feita com auxílio do programa computacional FLAC 2D v.7, baseado no método das diferenças finitas. É simulada a construção incremental da barragem, a elevação gradual do nível d água do reservatório durante a etapa do primeiro enchimento do reservatório, é estabelecida a posição da linha freática em regime de fluxo permanente e são calculados os fatores de segurança estático da estabilidade dos taludes nas condições de final da construção e após o primeiro enchimento do reservatório. A simulação do comportamento sísmico da barragem é feita em seguida, discutindo-se vários e importantes aspectos que devem ser considerados para uma correta análise como a seleção do terremoto de projeto, a filtragem de altas frequências para minimizar o número de elementos da malha, a introdução de condições de contorno silenciosas, a escolha de modelos constitutivos incluindo a incorporação de amortecimento histerético, entre outros pontos. A resposta sísmica da barragem, nas condições de reservatório vazio e reservatório cheio, foi obtida em termos de deslocamentos permanentes, história de deslocamentos, amplificações da aceleração horizontal, desenvolvimento de poropressões no corpo da barragem e potencial de ruptura cíclica no material do núcleo. / [en] This research investigates the seismic behavior of the Breapampa earth dam, situated in Peru within a seismic activity zone. The numerical prediction is carried out using the computer program FLAC 2D v.7, based on the finite difference method. it is simulated the incremental construction of the dam, the gradual raise of the water level during the stage of reservoir impounding, the establishment of the phreatic line under steady state flow and the determination of safety factor for the stability of the soil slopes considering both conditions of after construction and after reservoir impounding. The modeling of the seismic behavior of the dam is then made with detailed discussion of several important aspects for a correct analysis such as the selection of the design earthquake, the filtering of high frequencies in order to minimize the number of elements in the mesh, the introduction of silent boundaries, the choice of proper constitutive soil models including the representation of hysteretic damping, among others points. The seismic response of the dam, under the conditions of full and empty reservoir, was obtained in terms of permanent displacements, displacement history, amplifications horizontal acceleration amplification, porepressure distribution and potential of cyclic failure in the saturated material of the core of the dam.

[pt] Este trabalho apresenta um ambiente computacional para modelagem geométrica aplicada à análise por elementos finitos usando multi-regiões e superfícies paramétricas representadas por NURBS. O principal objetivo é gerar modelos 3D para serem usados em simulações numéricas baseadas no Método de Elementos Finitos (MEF). Nessa proposta, a metodologia adotada consiste na combinação de alguns aspectos da modelagem geométrica tais como a detecção automática de regiões e a interseção de superfícies com geração de malhas de elementos finitos. No contexto da programação orientada a objetos, uma nova organização de classes para o modelador geométrico usado neste trabalho, denominado MG, é apresentada. Essa organização de classes permite a implementação do ambiente proposto, mantendo a interface com o usuário tão simples e eficiente quanto à versão original. A organização de classes também provê suporte para a geração de modelos usados em análise por elementos finitos. Enquanto as malhas de elementos finitos requeridas para simulações numéricas são geradas por algoritmos específicos implementados no modelador MG, os atributos são gerenciados por um sistema, denominado ESAM (Extensible System Attributes Management), que também é incorporado ao MG. Esse sistema permite que os atributos do modelador MG sejam configurados para o uso em diversos tipos de problemas de engenharia. A estrutura de dados usada neste ambiente é representada por um enfoque híbrido baseado na combinação de uma representação CGC (Complete Geometric Complex) do modelo e na estrutura de dados estendida do modelador MG. Além disso, a determinação da interseção de superfícies é realizada usando um algoritmo implementado no MG, enquanto que a representação CGC é responsável pelo reconhecimento de multi-regiões. O algoritmo de interseção de superfícies é modificado para tratar casos especiais não considerados na sua versão original. / [en] This work presents a computational environment for geometric modeling applied to finite-element analysis using multi-regions and parametric surfaces represented as NURBS. The main goal is to generate 3D models to be used in numerical simulations based on the Finite-Element Method (FEM). For this purpose, the adopted methodology consists of combining some aspects of geometric modeling, such as automatic region detection and surface intersection, with finite-element mesh generation. In the context of Object-Oriented Programming, a new class organization for the geometric modeler used in this work, called MG (Mesh Generation), is presented. This class organization allows the implementation of the proposed environment, keeping the user interface as simple and efficient as in the original version of the MG modeler. The proposed class organization also provides support for the generation of models used in finite-element analysis. While the finite-element meshes required for the numerical simulations are generated by specific algorithms implemented in MG, the attributes are managed by a system called ESAM (Extensible System Attributes Management), which also is incorporated into MG. This system allows the customization of simulation attributes in the MG modeler for use in different types of Engineering problems. The data structure used in this environment is represented by a hybrid approach based on the combination of a CGC (Complete Geometric Complex) representation and the MG`s data structure, which has been extended for this purpose. Moreover, the computation of surface intersections is accomplished by using an algorithm implemented in the MG, while the CGC representation is responsible for multi-region recognition. The surface-intersection algorithm has been modified in order to handle special cases that have not been treated in the original version.

[pt] Apresenta-se uma metodologia para modelagem de cascas para elementos finitos definidas em superfícies paramétricas. A metodologia consiste na criação de curvas e geração de malhas sobre os retalhos paramétricos constru´ıdos com base nestas curvas, que também são usadas para a conexão de malhas adjacentes. O modelo final é uma representação de todas as malhas combinadas em uma única estrutura de dados. As ferramentas básicas para geração de tais malhas são uma interface para modelagem de curvas espaciais e os algoritmos geom´etricos para construcão de mapeamentos nos domínios elementares. O problema central em modelagens compostas é o tratamento dado às malhas em superfícies que se interceptam. Um algoritmo capaz de modelar com precisão as curvas de interseção e de ajustar as duas malhas para as novas restrições geradas é apresentado neste trabalho. O algoritmo é parte de um programa completo para modelagem interativa de cascas, que tem sido usado no projeto de grandes sistemas flutuantes para explotação de petróleo em águas profundas. O uso de uma variante da estrutura de dados DCEL, que usa árvores de ordenação espacial para armazenar as entidades topol´ogicas ao invés de listas ou vetores, permite que malhas bastante refinadas sejam reconstru´ıdas em tempo compatível com o trabalho interativo. Estas árvores aceleram os cálculos de interseção necessários à determinação dos pontos de interpolação das curvas de trimming, permitindo tamb´em a reconstrução das malhas usando-se apenas consultas locais. / [en] We present a methodology for modeling finite-element meshes defined on parametric surface patches. The idea is to build curves and generate meshes over the parametric patches built with these curves, which also connect adjacent meshes. The final model is a representation of all meshes combined into a single data structure. The basic tools to generate such meshes are the user interface to model space curves and the geometric algorithms to construct the elementary domain mappings. The main problem in composite modeling is how to handle mesh surfaces that intersect each other. We present an algorithm that models the intersection curves precisely and adjusts both meshes to the newly formed borders. The algorithm is part of an interactive shell modeling program, which has been used in the design of large offshore oil structures. We avoid unacceptable interaction delays by using a variant of the DCEL data structure that stores topological entities in spatial indexing trees instead of linked lists. These trees speed up the intersection computations required to determine points of the trimming curves, and also allows mesh reconstruction using only local queries.

[pt] Nos projetos de engenharia de poço, o conhecimento das pressões é fundamental para o planejamento do poço e otimização do processo construtivo. Em geral, as estimativas de pressão de poros são feitas baseadas em análises unidimensionais de poços de correlação e dependem da experiência do analista responsável. Tais estimativas não contemplam todos os dados de uma região e muitas vezes dados não são bem aproveitados. Neste trabalho, é apresentada uma metodologia para estimativa de pressão de poros tridimensional, onde as propriedades dos poços da mesma região foram extrapoladas para toda área através da ferramenta geoestatística. A partir desta extrapolação, foi possível obter-se perfis sintéticos em qualquer locação dentro da região delimitada com maior confiabilidade, enriquecer a compreensão global da região modelada e finalmente construir um cubo tridimensional de pressão de poros utilizando os modelos de Eaton e Bowers, baseando-se no critério que a região apresenta a mesma tendência de compactação. / [en] The knowledge of pore pressures of rocks is critical to several aspects of petroleum the well design and planning. Usually, in the petroleum industry, estimations are based on 1D analyses of the analogues wells and depend on the professional experience. Moreover, estimations do not consider the whole base data of the field. In this dissertation, is presented a methodology for 3D pore pressure estimation, where well data is calculated for the whole area applying a geostatistical tool to build the 3D properties model. From that, it was possible to make more credible synthetics well logs at any location, enrich the whole area comprehension, and also, to build the pore pressure cube based on Eaton and Bowers pore pressure estimations models.

[pt] As doenças do rim e trato urinário contribuem com cerca de 850 mil mortes a cada ano, sendo a décima segunda causa de morte do mundo. No Brasil, a diálise ainda é o procedimento mais utilizado, apesar de o transplante ser a modalidade mais recomendada, por oferecer melhor qualidade de vida ao paciente, uma possível redução do risco de mortalidade e menor custo que a diálise. Uma vez na fila, o paciente ainda se depara um conjunto de ineficiências do Sistema Nacional de Transplante. A presente pesquisa identifica que uma delas é o desalinhamento entre os atores do transplante (doador, receptor e unidade transplantadora) e que há um gap no que tange às atividades do ator unidades transplantadoras. Dessa forma, o objetivo da presente pesquisa é investigar, à luz da gestão de operações, o modelo de uma unidade transplantadora de referência, inserida na rede de transplante renal do estado do Rio de Janeiro. A partir do levantamento da literatura e de campo, são realizadas modelagens do processo de transplante renal, descrição e diagnóstico do modelo de operação da unidade transplantadora e proposições acerca do projeto de operação da unidade estudada / [en] Diseases of the kidney and urinary tract contribute about 850,000 deaths each year, being the 12th leading cause of death in the world. In Brazil, dialysis is still the most used procedure, although transplantation is the most recommended modality, because it offers a better quality of life for the patient, a possible reduction of mortality risk and lower cost than dialysis. Once in the queue, the patient still faces a set of inefficiencies of the National Transplant System. The present research identifies that one of them is the misalignment between the actors of the transplant (donor, receiver and transplantation unit) and that there is a gap with respect to the activities of the transplantation unit actors. Thus, the objective of this research is to investigate, in the light of operations management, the model of a reference transplantation unit, inserted in the kidney transplant network of the state of Rio de Janeiro. From the literature and field survey, modeling of the renal transplantation process, description and diagnosis of the operation model of the transplantation unit and propositions about the operation project of the studied unit are performed.