Made available in DSpace on 2015-03-04T18:50:42Z (GMT). No. of bitstreams: 1 Capitulo 1 e 2.pdf: 236440 bytes, checksum: 0afb7e8e3c2b968e8c9a8921330a01b0 (MD5) Previous issue date: 2004-05-13 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / An universal quantum computer is capable to perform any calculation that any classical turing machine can perform. However, the orthodox quantum mechanics is described for isolated systems. Therefore, the description of quantum computers is made starting from linear and reversible transformations. The interaction with the environment tends to eliminate the quantum effects as the superposition of states. However, any natural system is not infact isolated. Hence, noises, dissipations and errors are inevitable for any procedures that manipulate information with any natural resources. The formalism known by Quantum Operation (QO) issued to describe most of the open quantum systems. Through this format we can display the characteristic noises of the computational processes. To show the effectiveness of the QO s we applied the formalism in the quantum biological model of Fröhlich. Starting from that characterization we build a bridge between Quantum Computation and biological processes. That bridge can reveal unknown properties or to help in understanding the microbiologic dynamics; or even new techniques in the construction of quantum computers. / Um computador quântico universal é capaz de efetuar qualquer cálculo que qualquer máquina de Turing clássica possa efetuar. Porém, sistemas quânticos, em geral, são descritos como sistemas isolados. A interação do meio com as superposições de estados reduz a função de onda para um único estado bem definido. Contudo nenhum sistema na natureza é de fato isolado. Assim, ruídos, dissipações e erros são 'inevitáveis' para quaisquer procedimentos que manipulem informação com quaisquer recursos naturais (quânticos ou clássicos). O formalismo conhecido por Operação Quântica (OQ) é usado para descrever a maioria dos sistemas quânticos abertos num formato de tempo discreto. A partir desse formato pode-se evidenciar operações e ruídos característicos de processos computacionais. Para mostrar a eficiência de uma OQ aplicamos o formalismo no modelo quântico-biológico de Fröhlich. A partir dessa caracterização construímos uma ponte entre computação quântica e processos biofísicos. Essa ponte pode revelar propriedades desconhecidas ou ajudar na compreensão da dinâmica ainda difusa de sistemas biológicos; ou mesmo em novas técnicas na construção de computadores quânticos.

Made available in DSpace on 2015-03-04T18:50:13Z (GMT). No. of bitstreams: 1 Apresentacao.pdf: 108219 bytes, checksum: 5d45885c1cb3a3bd5830f6b0e8711721 (MD5) Previous issue date: 2006-03-23 / Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Main memory limitations can lower the performance of segmentation applications for large images or even make it undoable. In this work we integrate the T-Surfaces model and Out-of-Core isosurface generation methods in a general framework for segmentation of large image volumes. T-Surfaces is a parametric deformable model based on a triangulation of the image domain, a discrete surface model and an image threshold. Isosurface generation techniques have been implemented through an Out-of-Core method that uses a kd-tree structure, called Meta-Cell technique. By using the Meta-Cell framework, we present an Out-of-Core version of a segmentation method based on T-Surfaces and isosurface extraction. The Gradient Vector Flow (GVF) is an approach based on Partial Differential Equations. This method has been applied together with snake models for image segmentation through boundary extraction. The key idea is to use a diffusion-reaction PDE in order to generate a new external force field that makes snake models less sensitivity to initialization as well as improves the snakes ability to move into boundary concavities. In this work, we firstly review basic results about global optimization conditions of the GVF and numerical considerations of usual GVF schemes. Besides, we present an analytical analysis of the GVF and a frequency domain analysis, which gives elements to discuss the dependency from the parameter values. Also, we discuss the numerical solution of the GVF based in a SOR method. We observe that the model can be used for Multiply Connected Domains and applied an image processing approach in order to increase the GVF efficiency. / Limitações de memória principal podem diminuir a performance de aplicativos de segmentação de imagens para grandes volumes ou mesmo impedir seu funcionamento. Nesse trabalho nós integramos o modelo das T-Superfícies com um método de extração de iso-superfícies Out-of-Core formando um esquema de segmentação para imagens de grande volume. A T-Superficie é um modelo deformável paramétrico baseado em uma triangulação do domínio da imagem, um modelo discreto de superfície e um threshold da imagem. Técnicas de extração de isso-superfícies foram implementadas usando o método Out-of-Core que usa estruturas kd-tree, chamadas técnicas de Meta-Células. Usando essas técnicas, apresentamos uma versão Out-of-Core de um método de segmentação baseado nas T-Superfícies e em iso-superfícies. O fluxo do Vetor Gradiente (GVF) é um campo vetorial baseado em equações diferenciais parciais. Esse método é aplicado em conjunto com o modelo das Snakes para segmentação de imagens através de extração de contorno. A idéia principal é usar uma equação de difusão-reação para gerar um novo campo de força externa que deixa o modelo menos sensível a inicialização e melhora a habilidade das Snakes para extrair bordas com concavidades acentuadas. Nesse trabalho, primeiramente serão revistos resultados sobre condições de otimização global do GVF e feitas algumas considerações numéricas. Além disso, serão apresentadas uma análise analítica do GVF e uma análise no domínio da frequência, as quais oferecem elementos para discutir a dependência dos parâmetros do modelo. Ainda, será discutida a solução numérica do GVF baseada no método de SOR. Observamos também que o modelo pode ser estendido para Domínios Multiplamente Conexos e aplicamos uma metodologia de pré-processamento que pode tornar mais eficiente o método.

Made available in DSpace on 2015-03-04T18:51:04Z (GMT). No. of bitstreams: 1 dissertacao_versaofinal.pdf: 4193769 bytes, checksum: 028e41923811f71a2de3f1099d402a29 (MD5) Previous issue date: 2008-05-27 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / The use of information technology in biodiversity related databases is increasing due to the open access to a large sum of data. Access to this information may be regarded as crucial to different areas of knowledge. The present work aims at the development of a open access computational system on biodiversity of the State of Rio de Janeiro. The Biota-Rio system focuses on the animal species, vertebrates and invertebrates, which were originally described for the State of Rio de Janeiro. In this sense, key information such as original descriptions, type localities, habitats and other are directly available on the system. Biota-Rio is a system in which the user may freely access the information via web that was implemented using the PERL language. The MySQL was the selected DBMS in the implementation of the database in which the informations are deposited. To date, surveys have been made of references to thirty-six species of mammals using the Zoological Record database. / O uso da tecnologia da informação na implementação de bases de dados com informações sobre a biodiversidade, vem ganhando uma grande importância. Isso se deve a grande necessidade de se promover um acesso livre a dados e informações sobre as espécies. O acesso a essas informações é considerado como fundamental para o desenvolvimento de diferentes áreas do conhecimento. A presente dissertação teve como objetivo o desenvolvimento de um sistema computacional para acesso a informações sobre a biodiversidade do Estado do Rio de Janeiro. O sistema Biota-Rio deverá conter informações sobre as espécies de animais, vertebrados e invertebrados, que foram descritas para o Estado do Rio de Janeiro. Informações como descrições originais, localidades-tipo, ambiente e outras informações estarão disponíveis no sistema. Biota-Rio é um sistema de acesso livre via web, que foi implementado utilizando a linguagem de programação PERL. O MySQL foi o SGBD utilizado na implementação do banco de dados onde estarão depositadas as informações sobre as espécies. Até o momento, foram feitos levantamentos das referências para trinta e seis espécies de mamíferos utilizando a base de dados Zoological Record.

Made available in DSpace on 2015-03-04T18:51:08Z (GMT). No. of bitstreams: 1 TeseGiusti2009.pdf: 5842084 bytes, checksum: f5eb69a245d72e4b645f97f28f880fe3 (MD5) Previous issue date: 2009-05-27 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / The purpose of the present work is to carry out a topological sensitivity analysis in constitutive multi-scale models. By making use of the Hill-Mandel Principle of Macro-Homogeneity and the concept of volume average, a variational formulation was established to derive a clearly structured axiomatic framework for constitutive multi-scale models of the present type, allowing the equilibrium equations at the micro-scale to be rigorously written through the clear identification of the functional spaces involved. This formulation lead to a structure that is particularly well-suited for the development of topological sensitivity analyses of constitutive multi-scale models of the present type. As a fundamental result of the topological sensitivity analyses carried out, tensorial fields were identified that represent the topological derivative of the macroscopic constitutive tensor when a singular perturbation is introduced at the micro-scale. The components of such tensorial fields depend on the solution of the canonical variational problems associated to the original unperturbed domain. It is worth emphasising that this result allows the topological asymptotic expansion of the macroscopic constitutive operator to be written explicitly which, in turn, makes it possible to get promptly the topological derivative for a vast class of shape functionals. In particular, in this thesis, two classical computational modeling problems are addressed within the proposed framework: stationary heat conduction and linear elasticity. Multi-scale constitutive models for both problems are firstly derived. Then, the corresponding topological derivatives are obtained by considering the micro-structure to suffer a singular perturbation characterised by the nucleation of a circular inclusion made of a material with physical properties different from those of the medium. Finally, several numerical experiments are performed which show some of the different possible manners of using the topological sensitivity tensor in the project/optimization of specialised micro-structures. These demonstrate the fundamental nature of the results obtained in this work for use in the computational modelling context. / O presente trabalho tem como propósito principal desenvolver a análise de sensibilidade topológica em modelos constitutivos multi-escala. Neste sentido, utilizando o Princípio de Macro-Homogeneidade de Hill-Mandel e o conceito de média volumétrica, foi estabelecida uma formulação variacional para derivar uma elegante estrutura axiomática de modelos constitutivos multi-escala deste tipo, permitindo escrever as equações de equilíbrio na micro-escala de maneira rigorosa através de uma clara identificação dos espaços envolvidos. Com essa formulação, obteve-se uma estrutura adequada para o desenvolvimento da análise de sensibilidade topológica de modelos constitutivos multi-escala. De fato, como resultado fundamental dessa análise, foi identificado um campo tensorial que representa a derivada topológica do tensor constitutivo macroscópico quando é introduzida uma perturbação singular na micro-escala. As componentes do mencionado campo tensorial dependem apenas das soluções dos problemas variacionais canônicos associados ao domínio original não perturbado. Cabe mencionar que através desse resultado, é possível escrever de forma explícita a expansão assintótica topológica do operador constitutivo macroscópico, permitindo obter rapidamente a derivada topológica para uma vasta classe de funcionais de forma. Em particular, neste trabalho são tratados dois problemas clássicos da modelagem computacional: condução estacionária de calor e elasticidade linear. Assim, inicialmente é desenvolvida a modelagem constitutiva multi-escala de cada um dos problemas ora mencionados. Em seguida, considerando que a micro-estrutura sofre uma perturbação singular caracterizada pela nucleação de uma inclusão circular composta de material com propriedades físicas distintas do meio, são calculadas as respectivas derivadas topológicas. Finalmente, são realizados diversos experimentos numéricos mostrando algumas das diferentes maneiras possíveis de utilização do tensor de sensibilidade topológica no projeto e/ou otimização de micro-estruturas especializadas, o que demonstra o caráter fundamental dos resultados desenvolvidos neste trabalho para a modelagem computacional.

Made available in DSpace on 2015-03-04T18:51:08Z (GMT). No. of bitstreams: 1 Dissertacao Luciana1.pdf: 6052653 bytes, checksum: 9c7348d9ada9fa32dce1bedcfa34e110 (MD5) Previous issue date: 2008-05-13 / Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Finding the structure of an arbitrary protein is vital for the understanding of its functionality. Many models had been developed for the ab initio prediction, and the lattice model is one of these models. Lattice models specify that each amino acid occupies a lattice position, consecutive amino acids occupy adjacent positions and a protein conformation is given by a path in this lattice. We have some forms to codify an amino acid sequence computationally. The main method is the usage of internal coordinates, however we can find in literature codifications using cartesian coordinates and torsion angles. We introduce a new codification of the data for lattice models, in which a protein with amino acids is configured as a numerical sequence in a three-dimensional lattice of size and all the possible movements for each amino acid are intuitive and correspond to add and to subtract , and . With the goal of exemplifying the development of this new codification, we construct a specific genetic algorithm for the protein structure prediction (PSP) problem. We analyze the development of this algorithm in four models, , , e , and tests using found proteins in literature and in the Protein Data Bank are carried out. / Encontrar a estrutura de uma proteína arbitrária é vital para a compreensão da funcionalidade desta proteína. Muitos modelos foram desenvolvidos para a predição em primeiros princípios, entre eles modelos de grades. Em modelos de grades, cada aminoácido ocupa uma posição da grade, com aminoácidos consecutivos ocupando posições adjacentes. Uma possível conformação da proteína é dada por um caminho nesta grade. Em uma grade, temos várias formas de codificar computacionalmente uma seqüência de aminoácidos. O método mais usado é o de coordenadas internas, mas também encontramos na literatura codificações por coordenadas cartesianas e ângulos de torção. Neste trabalho, introduzimos uma nova codificação dos dados para modelos de grades. Nesta codificação, uma proteína com n aminoácidos é configurada como uma seqüência numérica, com valores variando entre 0 e no caso bidimensional e e no caso tridimensional. Nesta grade, os possíveis movimentos para cada aminoácido são intuitivos e correspondem a somar e subtrair 1 e n no caso bidimensional e , e no caso tridimensional. Para exemplificarmos o desenvolvimento desta nova codificação, desenvolvemos um algoritmo genético específico para o problema de predição da estrutura da proteína (PSP). Analisamos o desenvolvimento deste algoritmo em quatro modelos, , , e , e realizamos testes com proteínas encontradas na literatura e no Protein Data Bank.

Made available in DSpace on 2015-03-04T18:51:12Z (GMT). No. of bitstreams: 1 TeseRosaLuz.pdf: 2324271 bytes, checksum: 38301fe0e11f9cf83a774f763dbb7ec0 (MD5) Previous issue date: 2009-01-01 / Conselho Nacional de Desenvolvimento Cientifico e Tecnologico / In the context of the stochastic perturbations theories we analyze the accuracy of two linear poroelastic models applied to highly heterogeneous porous media subject to uncertainties in the permeability and the elastic constants. The poroelastic models completely and weakly coupled analized arise characterized by the degree of intensity coupling between the hydrodinamics, governor of the percolation of the fluid and poromechanics which governs the deformation of the porous matrix. New equations for the moments of effective solutions using techniques of asymptotic expansion. In light of the perturbation theory are set simplifying assumptions that clarify clearly the domain of validity of weakly coupled model, widely used in simulation of oil reservoirs in the presence of heterogeneities and correlation in poroelastic coefficients. Computational simulations of the primary extraction of oil process are carried out using Monte Carlo techniques in conjunction with finite element methods. Results obtained clearly confirm the conjecture established by the perturbation theorie related with the inaccuracy of the weakly coupled model in the presence of variability in the elastic constants. The methodology used allows to quantify the distance between the two poroelastics models and therefore propose the appropriate model for different conditions of loading and variability of the geological formation. / No contexto das teorias de perturbação estocástica, analisamos a acurácia de dois modelos poroelásticos lineares aplicados a meios porosos altamente heterogêneos sujeitos as incertezas na permeabilidade e nas constantes elásticas. Os modelos poroelásticos completamente e fracamente acoplados analisados surgem caracterizados pelo grau de intensidade de acoplamento entre a hidrodinámica governante da percolação o do fluido e a poromecânica que rege as deformações da matriz porosa. Novas equações efetivas para os momentos das soluções são obtidas fazendo uso de técnicas de expansão assintótica. À luz da teoria de perturbação, são estabelecidas hipóteses simplificadoras que elucidam o domínio de validade do modelo fracamente acoplado, amplamente utilizado nos simuladores de Reservatórios de Petróleo, na presença de heterogeneidades e correlação nos coeficientes poroelásticos. Simulações computacionais do processo de extração primária de petróleo são realizadas utilizando técnicas de Monte Carlo em conjunção com métodos de elementos finitos. Resultados numéricos obtidos confirmam claramente a conjectura estabelecida pela teoria de perturbação relacionada com a inacurácia do modelo fracamente acoplado na presença de variabilidade nas constantes elásticas. A metodologia empregada permite quantificar a distância entre os dois modelos poroelásticos, e consequentemente, propor a escolha do modelo apropriado para diferentes condições de carregamento e variabilidade da formação geológica.

Made available in DSpace on 2015-03-04T18:51:18Z (GMT). No. of bitstreams: 1 Tese.pdf: 7360626 bytes, checksum: 2dafc32ffe671ffbc0ed16f2c7cf3864 (MD5) Previous issue date: 2009-08-10 / Um processo pode ser monitorado de várias maneiras diferentes. A mais usual é a medição de alguma característica do processo. O acompanhamento desta característica, agora representada através de uma variável de controle, permite a identificação de um comportamento não usual, também dito anômalo. Existem diversas medidas que podem ser realizadas sobre um fenômeno.Estas medidas podem sofrer alterações durante todo o ciclo de vida do fenômeno. Destas, algumas podem representar o fenômeno em seus vários estados de transição,permitindo assim,que seja possível acompanhar o fenômeno pela monitoração desta medida.Desta forma, se o fenômeno for interpretado como um processo, esta medida pode ser interpretada como um produto deste processo. Na área de controle estatístico da qualidade há inúmeras ferramentas que permitem o acompanhamento de um processo, em especial de um processo de fabricação.Dentre estas ferramentas há o gráfico de controle que, a partir da interpretação da normalidade de um processo, pode indicar quando um processo torna-se não controlável. A partir de um gráfico de controle para processos não normais e de lógica fuzzy, foi desenvolvido o Algoritmo de Detecção de Anomalias com Janelas Adaptativas. Esse algoritmo foi aplicado nas áreas de Segurança da Informação e Vazão em uma rede de distribuição. No primeiro caso foi utilizado na identificação de ataques de negação de serviço.Ataques deste tipo são caracterizados pelo aumento do número de solicitações a um servidor.O intervalo de tempo entre os pacotes foi a variável selecionada para monitorar o processo. No segundo caso foi utilizado na identificação de vazamentos em redes de distribuição de água.A variável de controle utilizada neste caso foi da vazão obtida em ponto de rede.

Made available in DSpace on 2015-03-04T18:57:33Z (GMT). No. of bitstreams: 1 TeseVersaoFinal.pdf: 2548796 bytes, checksum: f806e85972c47762b6bc09c0773b3430 (MD5) Previous issue date: 2013-03-21 / The inverse conductivity problem consists in determining the thermal conductivity distribution of a body from boundary measurements. In this work, we want to reconstruct a set of inclusions with a different thermal conductivity from the medium by subjecting the body through a thermal excitations and taking temperature measurements on the boundary. Since the inverse conductivity problem is overdetermined, the idea is to rewrite it in the form of an optimization problem. In particular, we minimize a shape functional based on the Kohn-Vogelius criterion that measures the misfit between two auxiliaries problems. One of them contains information on the boundary measurement while the other one contains information on the boundary excitation. Over the solution to the inverse problem, both solutions to the auxiliaries problems coincide. The Kohn-Vogelius criterion is then minimized by using the so-called topological derivative concept. This derivative measures the sensitivity of a given shape functional with respect to an infinitesimal singular domain perturbation. Next, the inverse problem is redefined in the context of Bayesian inference, that consists in codifying a previously known information from a priori probability distribution to be updated through the Bayes Theorem once a new information is introduced. In order to reduce the computational cost of sample numerical methods commonly used in this type of approach, the topological derivative is used as a probability indicator in the construction of the likelihood function to obtain a probability distribution of the set of inclusions, which leads to a probabilistic reconstruction algorithm based on the Bayesian topological derivative concept introduced in this work for the first time. Finally, some numerical experiments are presented. / O problema inverso da condutividade consiste em determinar a distribuição de condutividade térmica de um corpo a partir de medidas tomadas na fronteira. Neste trabalho, objetiva-se reconstruir um conjunto de inclusões com coeficiente de condutividade térmica distinto do meio, submetendo o corpo a excitações térmicas e medindo a correspondente distribuição de temperatura sobre sua fronteira. Como o problema inverso da condutividade é sobredeterminado, a ideia é reescrevê-lo na forma de um problema de otimização. Em particular, objetiva-se minimizar um funcional de forma baseado no critério de Kohn-Vogelius, que mede a diferença entre as soluções de dois problemas auxiliares. Um deles contém informação sobre a leitura e outro sobre a excitação, ambos definidos na fronteira do corpo. Sobre a solução do problema inverso, ambas as soluções dos problemas auxiliares coincidem. O critério de Kohn-Vogelius é então minimizado utilizando o conceito de derivada topológica, que mede a sensibilidade de um dado funcional quando uma perturbação infinitesimal singular é introduzida em um ponto arbitrário do domínio. Em seguida, o problema inverso é redefinido no contexto de inferência bayesiana, que consiste em codificar informações previamente conhecidas a partir de uma distribuição de probabilidade a priori a ser atualizada através do teorema de Bayes, a cada nova informação introduzida. Com a finalidade de se reduzir o custo computacional de métodos numéricos de amostragem, comumente utilizados neste tipo de abordagem, a derivada topológica será utilizada como um indicador de probabilidade na construção da função de verossimilhança para se obter uma distribuição de probabilidade do conjunto de inclusões, o que conduz a um algoritmo de reconstrução probabilístico baseado no conceito de derivada topológica bayesiana, introduzido pela primeira vez nesse trabalho. Finalmente, são apresentados alguns experimentos numéricos.

Made available in DSpace on 2015-03-04T18:57:35Z (GMT). No. of bitstreams: 1 Ackley.pdf: 2102466 bytes, checksum: 4b92e26f652da5a6aa5bb9f6aa1d8f19 (MD5) Previous issue date: 2012-04-27 / Distributed computing systems for shared use with dynamics workload are common in academic and commercial environment. The efficient use of these resources is a challenge. In this work, we developed a performance simulator for coarse-grained parallel applications, which allows varying the task schedulers and the computing environment. The multiple processing elements are associated with threads and a schema master/worker with centralized task list on the master is used. The simulator uses real time to simulate the processing time and implements the most common task schedulers. Experimental results are presented and compared with measurements in real environments and a simulator used by the scientific community demonstrating its validity and applicability. Through this simulator, it is possible to analyze the performance and design task schedulers. A new method of static task scheduling with proportional balancing through estimates of capacity for evolutionary algorithms is proposed. This method measures the processing time in past generations to estimate the current capacity of processing elements and thus make a proportional distribution of tasks. / Sistemas computacionais distribuídos de uso compartilhado e com carga de trabalho dinâmica são comuns no meio acadêmico e comercial. A utilização eficiente destes recursos é um desafio. Neste trabalho, foi desenvolvido um simulador de desempenho de aplicações paralelas de granularidade grossa, que permite variar os escalonadores de tarefas e o ambiente computacional. Os múltiplos elementos de processamento são associados a threads e é utilizado um esquema mestre/trabalhador com lista de tarefas centralizado no mestre. O simulador usa tempo real para simular os tempos de processamentos de tarefas e implementa os escalonadores mais comuns. Resultados experimentais são apresentados e comparados com medições em ambientes reais e de um simulador utilizado pela comunidade científica demonstrando sua validade e aplicabilidade. Através deste simulador, é possível analisar o desempenho e projetar métodos de escalonamento. Um novo método de escalonamento estático com balanceamento proporcional através de estimativas de capacidade para algoritmos evolucionistas é proposto. Este método realiza medidas de tempos de processamentos em gerações passadas para estimar a capacidade atual dos elementos de processamento e assim fazer uma distribuição de tarefas proporcional.

Made available in DSpace on 2015-03-04T18:57:37Z (GMT). No. of bitstreams: 1 Tese Esparta.pdf: 1410380 bytes, checksum: 6f4e3d1a3cbb8918a9f6e8824c0c550a (MD5) Previous issue date: 2013-03-21 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / The topological derivative measures the sensitivity of a given shape functional when an infinitesimal singular domain perturbation is introduced in an arbitrary point of the domain of the problem. According to the specialized literature, the topological derivative has been fully developed for a wide range of one single physical phenomenon modeled by partial differential equation. The purpose of the present work is to carry out the topological sensitivity analysis in a semi-coupled model. In particular, is considered the classical mechanical problem of elasticity with initial thermal stress. The linear elasticity problem is modeled by the Navier equation and it's coupled with the steady-state heat conduction problem (modeled by the Laplace equation). The mechanical coupling term comes out from the thermal stress induced by the temperature field. Since this term is non-local, is necessary to introduce a non-standard adjoint state, which allows to obtain a closed form for the topological derivative. Finally, is provided a full mathematical justification for the derived formulas and develop precise estimates for the remainders of the topological asymptotic expansion. / A derivada topológica mede a sensibilidade de um funcional de forma quando uma perturbação singular infinitesimal é introduzida num ponto arbitrário do domínio de definição do problema. Na literatura especializada, a derivada topológica tem sido desenvolvida para uma grande variedade de fenômenos físicos modelados por somente uma equação diferencial parcial. O presente trabalho tem como propósito principal desenvolver a análise de sensibilidade topológica em um modelo semi-acoplado. Considera-se, em particular, o problema mecânico clássico de elasticidade com tensão inicial de origem térmica. O problema elástico, modelado pela equação de Navier, encontra-se acoplado a um problema de condução de calor estacionário (modelado pela equação de Laplace). O termo de acoplamento mecânico vem da tensão térmica induzida pelo campo de temperatura. Como este termo de acoplamento é não local, na análise de sensibilidade é necessário introduzir um estado adjunto não padrão que permite obter uma forma fechada para a derivada topológica. Finalmente, são fornecidas as justificativas matemáticas completas das fórmulas obtidas e estimativas precisas dos termos remanescentes da expansão assintótica topológica.