[pt] Este trabalho apresenta uma abordagem inovadora para calcular autopares de operadores diferenciais (OD), utilizando programação genética (PG) e computação simbólica. Na literatura atual, o Método dos Elementos Finitos (MEF) e o Método das Diferenças Finitas (MDF) são os mais utilizados. Tais métodos usam discretização para converter o OD em uma matriz finita e, por isso, apresentam limitações como perda de acurácia e presença de soluções espúrias. Além disso, se o domínio do OD fosse alterado, os autopares precisariam ser calculados novamente, pois a representação matricial do operador depende dos parâmetros do problema. Nesse contexto, este trabalho propõe evoluir autofunções analiticamente usando PG, sem discretização do domínio. Com isso, é possível incorporar parâmetros, o que torna a solução obtida válida para uma classe de problemas. Este texto descreve o modelo para OD normais, aplicando conceitos de indivíduos multi-árvore e diferenciação simbólica. O modelo evolui auto-funções e, a partir delas, calcula os autovalores empregando a razão de Rayleigh. Experimentos baseados em aplicações da Física mostram que a técnica proposta é capaz de encontrar as autofunções analíticas com a acurácia igual ou melhor que as técnicas numéricas supracitadas. Finalmente, a técnica proposta é aplicada ao problema de propagação de ondas eletromagnéticas em poços de petróleo em ULF e UHF. As soluções analíticas são dadas em função do diâmetro e do percentual de incrustações no poço. Os resultados mostram que, para um conjunto suficientemente grande de valores distintos dos parâmetros, a técnica apresenta tempo de execução inferior às técnicas clássicas, mantendo a acurácia destas. / [en] This work presents an innovative approach to calculate the eigenpairs of linear differential operators (LDO), employing genetic programming (GP) and symbolic computation. In the current literature, the Finite Element Method (FEM) and the Finite Difference Method (FDM) are more commonly used. Such methods use discretization to convert the LDO to a finite matrix, therefore causing loss of accuracy and presence of spurious solutions. Additionally, if the domain of the LDO was changed, the eigenpairs would need to be recalculated, since the matrix representation of the LDO depends on the parameters of the problem. In this context, this work proposes to evolve eigenfunctions analytically using GP, without domain discretization. Hence, it is possible to incorporate the parameter, which makes a obtained solution valid for a class of problems. This text describes the model for normal LDO, applying concepts of multi-tree individuals and symbolic differentiation. The presented model evolves eigenfunctions and, then, calculates the eigenvalues using the Rayleigh quotient. Experiments based on Physics problems show that the proposed technique is able to find the analytical eigenfunctions with the same accuracy of the numerical techniques mentioned above. Finally, the proposed technique is applied to the problem of propagation of electromagnetic waves in oil wells in ULF and UHF. The analytical solutions are given as a function of the diameter and percentage of CaCO in the well. The results show that, for a sufficiently large set of distinct values of the parameters, the technique presents execution time inferior to the FEM, while maintaining its accuracy.

[pt] Os sistemas de produção de petróleo em águas profundas, incluindo as unidades flutuantes de produção (plataformas ou navios) e todos os equipamentos que participam da produção são atualmente projetados por complexos sistemas de modelagem computacional. Tais sistemas envolvem as áreas de cálculo estrutural, meteo-oceanografia (forças de correntes, ondas e ventos), hidrodinâmica, risers (tubos de aço rígidos ou flexíveis para levar o óleo do poço em sub-superfície até a unidade de produção), sistemas de ancoragem, equipamentos submarinos, fundações e avaliação de risco geológico-geotécnico. O projeto de uma nova unidade de produção é um processo longo e custoso, podendo durar anos e consumir centenas de milhões de dólares, dependendo da complexidade da unidade e da maturidade da tecnologia desenvolvida para tornar o projeto econômica e tecnicamente viável. Os projetos são conduzidos por diversos especialistas, por vezes geograficamente dispersos, gerando artefatos e resultados independentes, porém altamente inter-relacionados. A necessidade de colaboração é uma característica inerente aos projetos de unidades flutuantes de produção para águas profundas. A possibilidade de compartilhar informações entre usuários, controlar a execução de diferentes ferramentas de modelagem, visualizar e manipular modelos 3D virtuais em ambientes imersivos de Realidade Virtual vem empurrando os limites das atividades dos times na indústria do petróleo especialmente em Engenharia de Petróleo. O objetivo desta tese é o de fundamentar os princípios e equacionar os principais problemas para o desenvolvimento de um Ambiente Colaborativo para Engenharia, denominado CEE (Collaborative Engineering Environment), de forma a permitir a visualização colaborativa e interpretação dos resultados de simulações criadas nos projetos de engenharia, que em geral envolvem também diferentes especialidades. Devido à característica multidisciplinar dos projetos, a visualização colaborativa torna-se um componente de fundamental importância durante o ciclo de vida de projetos de engenharia, especialmente os da área de Engenharia Offshore, utilizada neste trabalho como caso de estudo. Propomos um ambiente integrado para visualização colaborativa a ser usado pelas equipes de engenheiros projetistas durante a execução e controle de projetos de engenharia complexos como é o caso dos projetos de unidades flutuantes de produção para águas profundas. Os requisitos do sistema foram levantados com o objetivo de permitir uma colaboração efetiva entre os participantes, criando um ambiente propício para discussão, validação, interpretação e documentação dos resultados das simulações executadas durante as fases de um projeto de engenharia. Para aumentar ainda mais a capacidade de interpretação e uma melhor compreensão dos resultados o suporte a visualização em ambientes imersivos 3D também esta disponibilizado na ferramenta de visualização utilizada, que foi especialmente adaptada para a área de Engenharia Offhore. Para atingir estes objetivos, propomos uma Arquitetura Orientada a Serviços para o CEE. Esta arquitetura é composta pela integração de diferentes tecnologias de Trabalho Colaborativo Auxiliado por Computador (CSCW), Realidade Virtual e Computação em Grade. Utiliza-se um sistema de Gerência de Workflows de Experimentos Científicos (ScWfMS), baseado em BPEL (Business Process Execution Language), para execução de simulações de engenharia em uma infra-estrutura de computação em grade subjacente e um sistema de Videoconferência (VCS) para suporte a colaboração de áudio e vídeo. Para a visualização dos resultados um sistema de visualização, especializado para Engenharia Offshore, ENVIRON, foi desenvolvido em conjunto com a equipe da PUC-Rio/TecGraf. / [en] Deep-water production systems, including floating production units (platforms or ships) and all the equipments playing a part in the production process, are currently designed by means of complex computational modeling systems. Those systems involve the areas of structural calculus, meteo-oceanography (currents, waves and wind forces), hydrodynamics, risers (rigid or flexible steel pipes for carrying oil from the well in subsurface up to the production unit), mooring systems, submarine equipment, seabed foundations and Geologic/Geotechnical risk assessment. The project of a new production unit is a lengthy and expensive process, that can last many years and consume hundreds of million of dollars, depending on the complexity of the unit and how mature is the technology developed to make the project technically and economically feasible. Projects are conducted by diverse specialists, sometimes geographically distributed, yielding independent but highly interrelated artifacts and results. The need for collaboration is an inherent characteristic of deep-water floating production unit projects. The possibility to share information among users, control the execution of different modeling tools, visualize and manipulate virtual 3D models in immersive Virtual Reality (VR) environments is pushing the limits of teamwork activities in oil and gas industry especially in Offshore Engineering. The objective of this thesis is to establish the fundamental principles and address the main issues in the development of a Collaborative Environment for Engineering, named CEE (Collaborative Engineering Environment), in order to allow the collaborative visualization and interpretation of simulation results produced in engineering projects, which in general also involve different specialties. Due to the multidisciplinary characteristic of those projects, collaborative visualization becomes a key component during the life cycle of engineering projects, especially those in Offshore Engineering, used in this work as case of study. We propose an integrated collaborative environment to be used by project engineers teams during the execution and control of complex engineering projects, as is the case of the projects of deep-water floating production units. The system requirements were carefully compiled aiming to enable an effective collaboration among the participants, creating a suitable environment for discussing, validating, interpreting and documenting the results of the simulations executed during the different phases of an engineering project. To further improve the interpretation capacity and a better comprehension of results the support for immersive 3D visualization is also available in the visualization tool, especially tailored for the Offshore Engineering domain. In order to meet these goals, we devise a Service- Oriented Architecture (SOA) for CEE. This architecture is composed of the integration of different technologies of Computer Supported Collaborative Work (CSCW), Virtual Reality (VR) and Grid Computing (GC). We use a Scientific Workflow Management System (ScWfMS), based on BPEL (Business Process Execution Language), a Grid-enabled software infrastructure for executing engineering simulations, and a Video Conferencing system (VCS) to furnish audio and video collaboration. For visualizing the results, a VR visualization tool, specialized for Offshore Engineering, ENVIRON, has also been developed in conjunction with the PUC-Rio/TecGraf team.

[pt] A dissertação analisa os acordos de integração do Nafta e do Mercosul, especialmente a estrutura institucional e o mecanismo de solução de controvérsias de cada um deles. O trabalho analisa ainda como a lógica determinante de cada acordo afetou sua institucionalidade, criando marcos distintos para a relação entre Estado e empresa em cada bloco. Para tal, duas controvérsias solucionadas no âmbito de cada acordo foram selecionadas para análise, buscando dar destaque à atuação dos Estados e das empresas envolvidas no conflito. Percebeu-se que o acordo de integração norte-americano concede amplos e pioneiros benefícios aos investidores estrangeiros, de acordo com a lógica hegemônica estadunidense, enquanto o acordo do o Mercosul estabelece um mecanismo de solução de controvérsia essencialmente estatal, na tentativa de prover seus membros com um projeto contra-hegemônico, no qual a harmonia entre os mesmos é crucial para o sucesso do acordo. / [en] The dissertation analyses the North American Free Trade Agreement (Nafta) and the Mercosul agreement (the South-American Agreement), especially the institutional structure and the dispute settlement mechanism of each agreement. The paper also analyses how the determining logic of each agreement affected its institutionality, creating different patterns for the relationship between State and enterprise. For this purpose, two controversies resolved under each agreement were selected for analysis, emphasizing the role played by states and enterprises involved in the conflict. It was noticed that the North-American agreement concedes broad and new benefits to the foreign investors, according to the U.S hegemonic position. Mercosul, on the other hand, implemented an essentially State-based dispute settlement mechanism, in an attempt to provide its members with an anti-hegemonic project, in which the harmony among them is crucial for the Mercosul`s success.

[pt] Esta dissertação de mestrado apresenta, a partir da concepção de tipos de solução de tradução, contribuições para análise de traduções no par linguístico português-Libras, partindo de uma reflexão acerca dos conceitos de procedimentos, estilo e multimodalidade. Embora a noção de tipos de solução de tradução, ressaltada na obra Translation Solutions for Many Languages, de Anthony Pym, não contemple o par de línguas debatido no presente trabalho, ela dá subsídios importantes para discussões a respeito das tomadas de decisão que tradutores e tradutoras assumem em seu ofício e, consequentemente, contribui para o aspecto formativo de tradutores e tradutoras à medida que oferece um leque maior de opções disponíveis. Nesse sentido, a proposta desta dissertação é, portanto, contemplar os tipos de solução de tradução assumidos por tradutores e tradutoras de português-Libras e refletir sobre a possibilidade de suas escolhas indicarem um estilo próprio de traduzir influenciado não só por componentes linguísticos, mas também sociais, além de discorrer sobre procedimentos específicos adotados por esses profissionais e a multimodalidade contribuindo para tais soluções. Os aportes teóricos desta dissertação se originam dos Estudos da Tradução, da Estilística e da Sociologia da Tradução, além dos estudos acerca de procedimentos e multimodalidade. Para isso, o corpus analisado contempla a tradução para Libras da apostila Introdução aos Estudos da Tradução disponibilizada ao público no site da Videoteca Acadêmica em Libras do Departamento de Letras-Libras da Faculdade de Letras da Universidade Federal do Rio de Janeiro. Os resultados obtidos indicaram que a tipologia proposta por Pym (2016; 2018) foi utilizada pelos tradutores e tradutoras para finalidades específicas sendo, portanto, evidente a habilidade desses profissionais em lançar mão de determinados tipos de solução de tradução de modo consciente e intencional. Além disso, camadas não só linguísticas como também sociais puderam ser constatadas à medida que o conceito bourdieusiano de habitus, aplicado ao contexto de tradução, foi investigado contribuindo para a noção de estilo da tradução. Da mesma forma, a multimodalidade no texto traduzido pôde ser percebida, dando conta não apenas dos recursos multimodais presentes no texto de partida, mas também compondo o todo semiótico e impulsionando soluções tradutórias. / [en] This Master s degree thesis presents, from the conception of translation solution types, contributions to the analysis of translations in the Portuguese-Brazilian Sign Language pair, reflecting on the concepts of procedures, style and multimodality. Although the notion of translation solution types, highlighted in the work Translation Solutions for Many Languages, by Anthony Pym, does not include the language pair discussed in the present work, it provides important subsidies for discussions regarding the decision-making that translators assume in their work and, consequently, contributes to the formative aspect of translators as it offers a wider range of available options. In this regard, the purpose of this thesis is, therefore, to contemplate the translation solution types assumed by Portuguese-Brazilian Sign Language translators and to reflect on the possibility of their choices indicating their own style of translating influenced not only by linguistic components, but also by social ones as well as to discuss specific procedures adopted by these professionals and multimodality contributing to such solutions. The theoretical contributions of this thesis stem from Translation Studies, Stylistics and Sociology of Translation, in addition to studies on procedures and multimodality. For this, the analyzed corpus includes the translation into Brazilian Sign Language of the booklet Introduction to Translation Studies available to the public on the website of the Academic Video Library in Brazilian Sign Language of the Department of Letters-Brazilian Sign Language (Libras) of the Faculty of Letters of the Federal University of Rio de Janeiro. The results obtained indicated that the typology proposed by Pym (2016; 2018) was used by translators for specific purposes and, therefore, the ability of these professionals to make use of certain types of translation solutions consciously and intentionally is evident. Furthermore, not only linguistic but also social layers could be seen as the Bourdieusian concept of habitus, applied to the context of translation, was investigated, contributing to the notion of translation style. In the same way, the multimodality in the translated text could be perceived not only taking into account the multimodal resources present in the source text, but also composing the semiotic whole and driving translation solutions.

[pt] Em muitos problemas de engenharia, e.g., no projeto de próteses biomédicas flexíveis ou em dispositivos de absorção de energia, estruturas sofrem grandes deslocamentos. Nestes casos, a não linearidade geométrica deve ser levada em conta na resposta estrutural. Contudo, algoritmos de otimização topológica considerando não linearidades, e modelados segundo o método de elementos finitos, sofrem instabilidades numéricas causadas por distorções excessivas nas regiões de baixa densidade dentro do domínio de projeto. Em particular, a matriz de rigidez pode não ser positiva definida comprometendo a convergência do processo de otimização. Esta dissertação visa estudar um esquema de interpolação entre as formulações lineares e não lineares de elementos finitos para aliviar tais distorções. Em cada etapa da otimização, para determinar a configuração de equilíbrio, o sistema de equações não-lineares é resolvido pelo procedimento de Newton-Raphson. Utilizando-se das informações dos gradientes calculadas através do método adjunto, o Método das Assíntotas Móveis é empregado para atualizar as variáveis de projeto. Por meio de problemas de referência considerando grandes deslocamentos, são demonstradas a eficácia e a eficiência deste esquema de interpolação. Mais especificamente, as topologias otimizadas estão de acordo com aquelas obtidas na literatura e exibem a dependência esperada em relação ao nível de carga. O esquema de interpolação em estudo desempenha papel crucial na solução de problemas não lineares em níveis elevados de carga, permitindo que a rotina de otimização convirja e se obtenha a distribuição de material ótima. / [en] In many engineering problems, e.g., design of flexible biomedical prostheses or energy absorption devices, structures undergo large displacements. In those problems, the structural response must take into account the geometric nonlinearity. However, topology optimization algorithms regarding nonlinearities, and based on the finite element method, typically suffer from numerical instabilities caused by excessive distortions of low-density regions within the design domain. In particular, the stiffness matrix may be no longer positive definite, which can jeopardize the convergence of the optimization process. This thesis aims to study an interpolation scheme between linear and nonlinear finite element formultation to alleviate this convergence issue. At each step of the optimization, the nonlinear state equation is solved by the Newton-Raphson procedure to determine the equilibrium configuration. Making use of the gradient information computed from the adjoint method, the Method of Moving Asymptotes is employed to update the design variables. Through several benchmark problems considering large displacements, it is demonstrated the effectiveness and efficiency of this interpolation scheme. More specifically, the optimized designs are in agreement with those obtained in the literature and exhibit correct load-level dependence. The investigated interpolation scheme plays a crucial role in the solution of nonlinear problems with high load levels, allowing the optimization routine to converge and to obtain the optimal material arrangement.