Neste trabalho abordam-se alguns aspectos numéricos relacionados ao movimento de uma partícula carregada em um fluido ionizado, constituindo assim o fenômeno de eletroforese. A equação de Navier-Stokes governa a hidrodinâmica do sistema, sendo atribuída a esta um termo forçante relacionado a equação de Poisson-Boltzmann que descreve a interação com o campo elétrico. A simulação foi realizada utilizando a linguagem Fortran 90 e as discretizações foram feitas pelo método de diferenças finitas junto as equações governantes. Para descrever a posição da partícula foi usada a técnica de fronteira virtual, onde são criados pontos lagrangeanos sobre,o contorno da partícula formando uma espécie de segunda malha. Foram feitos testes com objetivo de validar as equações governantes e identificar a influencia das condições de contorno direção da partícula. / In this work we study some of the numerical aspects related to the motion of a charged particle in an ionized fluid, known as the phenomenon of electrophoresis. The Navier-Stokes equations models the ,hydrodynamics of the system, with the addition of a forcing term, related to the Poisson-Boltzmann equation, which describes the interaction of the electric field. The simulation was performed using Fortran 90 and discretizations were made by the method of finite differences applied to the governing equations. To describe the position of the particle the technique of virtual boundary is used, where Lagrangean points are created around the circumference of the particle forming a sort of second mesh. Tests were made with the objective of validating the governing equations and to identify the influence of boundary conditions in the direction of the particle.

Frente às transformações advindas do impacto das tecnologias na sociedade e nas organizações, bem como as novas habilidades e competências a serem adquiridas pelos profissionais no disputado mercado de trabalho atual, faz-se relevante atualizar os processos de ensino/aprendizagem, de forma a qualificar a formação profissional do egresso de ensino médio. O presente estudo tem por objetivo analisar a visão dos professores sobre as implicações da introdução dos recursos de informática nas organizações estaduais de ensino médio de Porto Alegre. Sua investigação tem como dimensão predominante uma abordagem quantitativa, de caráter exploratório sobre as percepções dos professores. Uma segunda dimensão - contextual - identifica as principais políticas educacionais para a área de informática no ensino médio. A dimensão do professor tem, por sua vez, duas subdimensões: o papel do professor frente ao processo de ensino-aprendizagem e suas percepções quanto à introdução dos recursos da tecnologia da informática no ensino médio. A base empírica desta dimensão adveio de dez escolas, selecionadas através de amostragem por cotas, tendo como instrumento de coleta de dados um questionário. Na dimensão contextual, foram realizadas pesquisa documental e entrevistas junto aos ór gãos oficiais responsáveis pelas políticas de informática educacional e direções de escolas e professores. Os resultados mostram que os professores do ensino médio das escolas estaduais de Porto Alegre concordam e percebem como prioritária a introdução dos recursos da tecnologia da informática nas escolas e que, para usufruir adequadamente destes recursos, os docentes devem assumir uma nova postura frente aos métodos de ensino-aprendizagem. Esta postura vem permitir e incentivar que o discente seja o sujeito do processo de construção do seu conhecimento. Esta pesquisa também identificou diretrizes para a formação de professores subsidiando, assim, políticas públicas para a área de educação no Estado. / Facing the changes brought about by the impact of technologies on cocieties and organizations as well as the new skills and competence required for professionals on the search for positions in the present working market, it is timely to update the teaching/learning processes so as to qualify the background of undergraduates who come back to university for further development. The present study aims at analyzing the teachers' view on the implications of the introduction of informatics in undergraduate state teaching institutions in the city of Porto Alegre, Brazil. The investigation has predominantly the dimension of a quantitative approach, of na exploratory character, to the perception of teachers. Secondly, it explores the contextual dimension to identify the main educational policies in the field of informatics acting at the undergraduated level. The former dimension is two-fold: it looks into the teachers' role within the teaching/learning process and their perceptions regarding the introduction of resources provided by informatics technologies. In the contextual dimension, documental research and interviews were carried out at official organs in charge of the policies concerning educational informatics as well as at the schools' boards of directors and teaching staffs. Results show that undergraduated teachers, in state schools of Porto Alegre, highly regard the introduction of technological resources in informatics and agree that it is a priority issue for the adequate use of which they shall take up a new attitude concerning teaching/learning methods. Such attitude will both encourage teachers and allow them to be the subject of their own knowledge constructing process. This research also identified guidelines for the formation of teachers, thus providing subsidies for public policies in the state's area of education.

Nesta dissertação será apresentada uma alternativa para o aprendizado do sensoriamento remoto através de uma página web, a qual pode ser utilizada como ferramenta de apoio às disciplinas regulares ou como material de pesquisa. Através da integração das linguagens de programação C e PHP, algumas das principais técnicas de processamento digital de imagens (PDI) são disponibilizadas via web juntamente com a explicação dos algoritmos, fórmulas e métodos utilizados, bem como é disponibilizado o material teórico sobre o assunto. / This Dissertation will be presented an alternative to the learning of remote sensing through a web page, which can be used as a tool to support regular disciplines or as material for research. Through the programming integration of the languages C and PHP, some of the main techniques for the processing of digital images (PDI) are available through the web as well as the algorithms explanation, formulas, used methods and the theoretical material on the subject.

Neste trabalho abordam-se alguns aspectos numéricos relacionados ao movimento de uma partícula carregada em um fluido ionizado, constituindo assim o fenômeno de eletroforese. A equação de Navier-Stokes governa a hidrodinâmica do sistema, sendo atribuída a esta um termo forçante relacionado a equação de Poisson-Boltzmann que descreve a interação com o campo elétrico. A simulação foi realizada utilizando a linguagem Fortran 90 e as discretizações foram feitas pelo método de diferenças finitas junto as equações governantes. Para descrever a posição da partícula foi usada a técnica de fronteira virtual, onde são criados pontos lagrangeanos sobre,o contorno da partícula formando uma espécie de segunda malha. Foram feitos testes com objetivo de validar as equações governantes e identificar a influencia das condições de contorno direção da partícula. / In this work we study some of the numerical aspects related to the motion of a charged particle in an ionized fluid, known as the phenomenon of electrophoresis. The Navier-Stokes equations models the ,hydrodynamics of the system, with the addition of a forcing term, related to the Poisson-Boltzmann equation, which describes the interaction of the electric field. The simulation was performed using Fortran 90 and discretizations were made by the method of finite differences applied to the governing equations. To describe the position of the particle the technique of virtual boundary is used, where Lagrangean points are created around the circumference of the particle forming a sort of second mesh. Tests were made with the objective of validating the governing equations and to identify the influence of boundary conditions in the direction of the particle.

Diante dos problemas vivenciados no ensino da Física cabe ao professor a tarefa de tentar combater as dificuldades de seus alunos, proporcionando-lhes experiências de aprendizagem eficazes, procurando atualizar, tanto quanto possível, os instrumentos pedagógicos que utiliza. Considerando a especificidade experimental da Física, a realização de atividades de laboratório faz-se de grande importância. Porém, uma reflexão a respeito de como utilizar tais atividades é necessária para que possam realmente contribuir para uma aprendizagem significativa. Nesta busca, a utilização da aquisição automática de dados através de dispositivos do tipo CBL (do inglês Calculator Based Laboratory) pode, sem dúvida, trazer grande contribuição. Aliando-se à grande potencialidade do uso destes dispositivos, à inexistência de trabalhos divulgados envolvendo seu uso no ensino de Física no Brasil e, finalmente, ao fato deste ser um equipamento adquirido recentemente pelo Centro Federal de Educação Tecnológica de Pelotas, instituição na qual este trabalho foi desenvolvido, optou-se por propor nesta dissertação a utilização de tais equipamentos em laboratório didático de Física Térmica no ensino médio. Dentre os assuntos abordados cita-se: calor, temperatura e energia interna; resfriamento de um corpo; mudança de estado físico e pressão de vapor; transmissão do calor. Alguns destes assuntos não são normalmente abordados no ensino médio, como a lei de resfriamento e análise da curva de pressão de vapor. Outros tópicos levam a uma maior contextualização da Física, como umidade relativa do ar e formação de geada. Esta proposta é fundamentada pela teoria da aprendizagem significativa de David Ausubel e pela teoria da interação social de Lev Vigotski Através desta experiência de implementação em aulas regulares de ensino médio, espera-se verificar a possibilidade de sua utilização neste nível de ensino. Como produto deste trabalho de dissertação, foi produzido material instrucional que compreende guias experimentais e textos envolvendo os conteúdos abordados, assim como material hipermídia sobre transmissão do calor contendo algumas animações e teste interativo desenvolvidos em Flash MX. Todo este material foi concebido e implementado buscando levar o aluno a uma aprendizagem significativa dos conceitos físicos.

No presente trabalho é proposto um conjunto de atividades de aquisição de dados para um laboratório didático de Física, no contexto de ensino tecnológico de escolas técnicas. São construídas rotinas de programação com a ferramenta Visual Basic for Applications (VBA), incorporadas em planilhas Excel, sendo a aquisição de dados através da porta de joystick da placa de som do microcomputador. As atividades propostas envolvem especialmente experimentos no campo da mecânica, no qual são investigados o sistema massa-mola, pêndulo simples e movimento de rotação de um pião. A metodologia proposta para estas atividades é embasada na teórica construtivista de Vygotsky. O material foi aplicado e avaliado em uma oficina oferecida para alunos de cursos superiores de tecnologia (Automação Industrial e Manutenção Industrial e Sistemas de Informação) do CEFET/PR, unidade sudoeste do Paraná em 2005. O produto educacional deste trabalho consiste em um texto de apoio sobre medidas físicas e erros e sobre o uso da linguagem VBA em sistemas de aquisição de dados com a placa de som do microcomputador, e rotinas incorporadas a planilhas Excel que permitem a aquisição automática dos dados trabalhados nas atividades experimentais. No texto de apoio, também são sugeridas atividades para os alunos. As planilhas Excel (incluindo as macros VBA) constam o CD-ROM anexo a este trabalho, e estão disponibilizadas na web.

Os aspectos quantitativos regem as práticas de engenharia visando o gerenciamento de reservatórios. Entretanto, a preocupação em relação aos aspectos qualitativos da água tem aumentado, já que um número cada vez maior de reservatórios estão sendo utilizados para vários tipos de usos. No processo de gerenciamento de reservatórios é necessário que se leve em consideração todos os usos que serão beneficiados pelo sistema em questão. Nesse sentido, o objetivo do trabalho foi o emprego de técnicas computacionais para análise quanti-qualitativa dos usos múltiplos do reservatório de Barra Bonita - SP, realizando simulações computacionais através do modelo MIKE BASIN; propondo e testando um modelo de otimização com programação não-linear baseado no método das restrições e incorporando o uso de geotecnologias para análise espacial (distribuição horizontal) e temporal (sazonalidade) da qualidade da água do reservatório. Selecionou-se o reservatório de Barra Bonita para análise, devido aos usos múltiplos da água (geração de energia, navegação, recreação, turismo e pesca) e a presença de uma eclusa para transposição do desnível entre a jusante da barragem e o reservatório de acumulação da hidrelétrica, o que torna o reservatório uma área de estudo diferenciada. Os resultados das simulações realizadas no modelo MIKE BASIN para avaliar os usos múltiplos do reservatório, demonstraram que o melhor cenário foi o que estabeleceu prioridades iguais para a geração de energia e a navegação. A maximização da geração de energia hidroelétrica, através do modelo de otimização, não prejudicou os outros usos do reservatório (principalmente a navegação) e, mesmo no período seco, a energia média gerada pelo modelo registrou valores acima da energia média real gerada pela Usina Hidrelétrica de Barra Bonita-SP (período de 2001 a 2005). O emprego de geotecnologias (software Surfer) proporcionou boas condições para análise espaço-temporal da qualidade da água, quando aliado ao conhecimento sobre as características e condições do ambiente de estudo. Os dados obtidos em campo, demonstraram que algumas variáveis analisadas, como a condutividade elétrica e a turbidez aumentam significativamente do período seco para o chuvoso, pois estão diretamente relacionados com o aporte de material orgânico e inorgânico. O potencial hidrogeniônico (pH) sofre uma variação muito pequena do período seco para o chuvoso, mas seus valores variam espacialmente, sendo encontrados valores maiores no compartimento da barragem para o período seco, e no final do braço do rio Piracicaba para o período chuvoso. Quanto ao oxigênio dissolvido, este aumenta bastante do período chuvoso para o seco, mas em ambos os períodos as maiores concentrações são encontradas no final do braço do rio Piracicaba - SP. Ressalta-se, que apenas o oxigênio dissolvido (estação seca) não se enquadrou no padrão da Resolução CONAMA nº 357/2005, para águas de classe II. / The quantitative aspects rule the engineering practices aimed at reservoirs management. However, the concern about the qualitative aspects of water has increased, since a growing number of reservoirs are being used for many kinds of applications. In the process of reservoir management it is necessary to take into consideration all the uses that will benefit from the system itself. Hence, the objective of this study was the use of computational techniques for quantitative and qualitative analysis of the multiple applications of the reservoir of Barra Bonita - SP, performing computer simulations using the model MIKE BASIN, proposing and testing an optimization model with non-linear programming based on the constraint method and incorporating the use of geotechnologies for spatial (horizontal distribution) and time (seasonal distribution) analysis of the reservoir water quality. It was selected the reservoir of Barra Bonita for analysis because of the multiple applications of the water (power generation, navigation, recreation, tourism and fishing) and the presence of a lock for transposition of the gap between the dam downstream and the power plant accumulation reservoir, which makes the reservoir a different area of study. The results of the simulations performed in MIKE BASIN model to evaluate the multiple applications of the reservoir showed that the best scenario was the one in which the priorities were the same for power generation and navigation. The maximization of the hydropower generation through the optimization model, did not impair other uses of the reservoir (mainly navigation) and even in the dry season, the average power generated by the model registered values above the average real power generated by the Hydroelectric Power Plant of Barra Bonita-SP (from 2001 to 2005). The use of geotechnologies (Surfer software) provided good conditions for space-time analysis of water quality when coupled with the knowledge about the characteristics and conditions of the studied environment. The data obtained showed that some variables, such as electrical conductivity and turbidity significantly increase from the dry season to the rainy season, since they are directly related to the supply of organic and inorganic materials. The hydrogen potential (pH) undergoes a very small variation from the dry season to the rainy season, but its values vary spatially, with higher values found in the compartment of the dam during the dry season, and at the end of the arm of the Piracicaba river during the wet season. The dissolved oxygen greatly increases from the rainy season to the dry one, but in both periods the highest concentrations are found at the end of the arm of the river Piracicaba - SP. It is emphasized that only the dissolved oxygen (dry season) did not fit the pattern of CONAMA Resolution nº 357/2005, to class II waters.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-05-02T22:35:04Z No. of bitstreams: 1 DjalanFrancaDeLima_DISSERT.pdf: 2696405 bytes, checksum: 8b5dffa110a765e4d9d8cea9b23ed545 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-05-04T23:41:02Z (GMT) No. of bitstreams: 1 DjalanFrancaDeLima_DISSERT.pdf: 2696405 bytes, checksum: 8b5dffa110a765e4d9d8cea9b23ed545 (MD5) / Made available in DSpace on 2018-05-04T23:41:02Z (GMT). No. of bitstreams: 1 DjalanFrancaDeLima_DISSERT.pdf: 2696405 bytes, checksum: 8b5dffa110a765e4d9d8cea9b23ed545 (MD5) Previous issue date: 2018-02-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Tradicionalmente, os livros textos de química orgânica propõem que a maioria das reações de substituição nucleofílica em substratos aromáticos e heteroaromáticos (SNAr) ocorrem via mecanismo com formação de intermediário de Meisenheimer. As quinoxalinas compreendem uma classe de compostos heterociclos com importantes aplicações em diversas áreas, e dentro deste contexto, as metodologias sintéticas envolvendo o composto 2,3-dicloroquinoxalina (DCQX) em reações de SNAr são frequentemente relatadas na literatura. O DCQX é um substrato adequadamente ativado para tais reações uma vez que possui dois átomos de cloro ativados por conta da deficiência eletrônica das posições 2 e 3 do anel quinoxalínico. O presente trabalho apresenta um estudo experimental e teórico voltado para a reação entre DCQX e o éster metílico da cisteína (CysMe). A escolha da CysMe se deu basicamente por conta da natureza nucleofílica distinta do referido éster de aminoácido, e devido à possibilidade de aplicação dos possíveis produtos gerados em diferentes áreas. O interesse em estudar os mecanismos das possíveis reações se dá, especialmente, por falta de dados disponíveis na literatura para sistemas heteroaromáticos em reações de SNAr. A reação de DCQX com CysMe, em DMF, e na presença de bicarbonato de sódio, forneceu três produtos distintos cuja a caraterização espectroscópica (RMN, IV e Massas de alta resolução) apontou para os inéditos na literatura ésteres metílicos derivados da quinoxalina. Cálculos computacionais (M06-2X/6-311+g(3df,2p), e B3LYP 6-31+g (d,p)) foram realizados no intuito de varrer todas as possibilidades associadas à reatividade da CysMe frente ao DCQX. Para este trabalho foram avaliados as diferenças energéticas entre reagentes e os possíveis produtos de reação para o sistema, a monossubstituição pelo enxofre (CysQX1) ou pelo átomo de nitrogênio (CysQX2), dissubstituição via dupla ataque do enxofre (CysQX3), duplo ataque do nitrogênio (CysQx4), ou um ataque do enxofre e outro do nitrogênio (CysQX6) e a formação do produto ciclizado CysQX5. Para os ataques nucleofílico pelo átomo de enxofre, foram consideradas tanto a hipótese do grupo nucleofílico ser neutro ou aniônico. Os estudos computacionais sugerem que o produto mais estável termicamente é o ciclizado, CysQX5, com valor da variação de energia livre de Gibbs de – 26,78 kcal.mol-1. Os cálculos indicaram que a formação deste produto pode seguir duas rotas distintas para ciclização: i) a partir do produto monossubstituído CysQX1; ii) a partir do produto dissubstituido por CysQX3. Os estados de transição para a formação de todos os produtos formados foram avaliados e apontam uma barreira energética para formação do produto CysQX5 +37.62 Kcal.mol-1 a maior entre as demais. Não foram encontradas até o momento a possibilidade de rearranjo do tipo Smiles. / Traditionally, organic chemistry text books suggest araomatic/heteroaromatic nucleophilic substitution (SNAr) procedding via Meiseinheimer-type intermediate mechanism. Quinoxaline are a class of nitrogen heterocycles with application in many fields. IN this context, several synthetic methodologies based on SNAr reactions involving the substrate 2,3-dichloroquinoline (DCQX) have been reported in literature. In fact, DCQX is adequately for this type of reaction since it has two chlorine atoms as potential leaving group due the activation promoted by electron-deficient nature of the quinoxaline ring. The present work presents a combined experimental and theoretical study involving the reaction of DCQX and cysteine methyl ester (CysMe). The choice for CysMe arrives from its interesting nucleophilic nature and due the reaction products being potentially applied in many areas. On the other hand, a computational study of the mechanisms of this reaction is especially interesting due the small number of reports concerned on SNAr involving heterocycles substrates. The reaction of DCQX and CysMe in DMF, in the presence of potassium carbonate, afforded a major product (yielding 80.2%) in which spectroscopic characterization (NMR and IR) suggest to be 3,4-dihydro-2H-1-thia-4,9,10-triaza-anthracene carboxylic acid methyl ester (CysQX5). A secondary product is also formed in the reaction, and this has not been properly isolated and characterized. Theoretical calculations (M06-2X/6-311+g(3df,2p) and B3LYP 6-31+g(d,p)) were performed in attempt to screen all possibilities associated to the reactivity of CysMe toward DCQX. To the moment, this work is based on the thermodynamics aspects. They were evaluated the Gibbs free energy variation between the reagents and all possible products, including those originated from monossubstituion by sulfur atom (CysQX1) or nitrogen atom (CysQX2), as well as dissubstitution by sulfur atoms (CysQX4), by nitrogen atoms (CysQX4), or simultaneously by sulfur and nitrogen (CysQX6), besides the cyclized product CysQX5. Both neutral and anionic nucleophiles were taken into account in the reactions originated from nucleophilic attack of sulfur atom. Computational results suggest that the more stable product is CysQX5 (Gibbs free energy variation of – 26.78 kcalmol-1), and it could be formed from two distinct intramolecular cyclization paths: i) from the monosubstituted product CysQX1; ii) from disubstituted product CysQX3. At the time, transition states of all processes involving in the reactions of DCQX and CysMe are being evaluate, including the possibility of Smile-type rearrangements.

Este trabalho apresenta um novo algoritmo de diagnóstico distribuído em nível de sistema, Distributed Network Reachability (DNR). O algoritmo permite que cada nodo de uma rede particionável de topologia arbitrária determine quais porções da rede estão alcançáveis e inalcançáveis. DNR é o primeiro algoritmo de diagnóstico distribuído que permite a ocorrência de eventos dinâmicos de falha e recuperação de nodos e enlaces, inclusive com partições e healings da rede. O estado diagnosticado de um nodo é ou sem-falha ou inatingível; o estado diagnosticado de um enlace é ou sem-falha ou não-respondendo ou inatingível. O algoritmo consiste de três fases: teste, disseminação e cálculo de alcançabilidade. Durante a fase de testes cada enlace é testado por um de seus nodos adjacentes em intervalos de teste alternados. Após a detecção de um novo evento, o testador inicia a fase de disseminação, na qual a nova informação de diagnóstico é transmitida para os nodos alcançáveis. A cada vez que um novo evento é detectado ou informado, a terceira fase é executada, na qual um algoritmo de conectividade em grafos é empregado para calcular a alcançabilidade da rede. O algoritmo DNR utiliza o número mínimo de testes por enlace por rodada de testes e tem a menor latência possível de diagnóstico, assegurada pela disseminação paralela de eventos. A correção do algoritmo é provada formalmente. Uma prova de correção no arcabouço bounded correctness também foi elaborada, incluindo latência delimitada de diagnóstico, latência delimitada de inicialização e acuidade. Um simulador do algoritmo foi implementado. Experimentos foram executados em diversas topologias incluindo grafos aleatórios (k-vertex connected e Power-Law) bem como grafos regulares (meshes e hipercubos). Extensivos resultados de simulação de eventos dinâmicos de falha e recuperação em nodos e enlaces são apresentados. / This thesis introduces the new Distributed Network Reachability (DNR) algorithm, a distributed system-level diagnosis algorithm that allows every node of a partitionable general topology network to determine which portions of the network are reachable and unreachable. DNR is the first distributed diagnosis algorithm that works in the presence of network partitions and healings caused by dynamic fault and repair events. A node is diagnosed as either working or unreachable and a link is diagnosed either as working or unresponsive or unreachable. The algorithm is formally specified and consists of three phases: test, dissemination, and reachability computation. During the testing phase each link is tested by one of the adjacent nodes at alternating testing intervals. Upon the detection of a new event, the tester starts the dissemination phase, in which the new diagnostic information is received by every reachable node in the network. New events can occur before the dissemination completes. After a new event is detected or informed, a working node runs the third phase, in which a graph connectivity algorithm is employed to compute the network reachability. The algorithm employs the optimal number of tests per link per testing interval and the best possible diagnosis latency, assured by the parallel dissemination of event information. The correctness of the algorithm is proved, including the bounded diagnostic latency, bounded start-up and accuracy. Experimental results obtained from simulation are presented. Simulated topologies include random graphs (k-vertex connected and Power-Law) as well as regular graphs (meshes and hypercubes). Extensive simulation results of dynamic fault and repair events on nodes and links are presented.

Este trabalho apresenta um novo algoritmo de diagnóstico distribuído em nível de sistema, Distributed Network Reachability (DNR). O algoritmo permite que cada nodo de uma rede particionável de topologia arbitrária determine quais porções da rede estão alcançáveis e inalcançáveis. DNR é o primeiro algoritmo de diagnóstico distribuído que permite a ocorrência de eventos dinâmicos de falha e recuperação de nodos e enlaces, inclusive com partições e healings da rede. O estado diagnosticado de um nodo é ou sem-falha ou inatingível; o estado diagnosticado de um enlace é ou sem-falha ou não-respondendo ou inatingível. O algoritmo consiste de três fases: teste, disseminação e cálculo de alcançabilidade. Durante a fase de testes cada enlace é testado por um de seus nodos adjacentes em intervalos de teste alternados. Após a detecção de um novo evento, o testador inicia a fase de disseminação, na qual a nova informação de diagnóstico é transmitida para os nodos alcançáveis. A cada vez que um novo evento é detectado ou informado, a terceira fase é executada, na qual um algoritmo de conectividade em grafos é empregado para calcular a alcançabilidade da rede. O algoritmo DNR utiliza o número mínimo de testes por enlace por rodada de testes e tem a menor latência possível de diagnóstico, assegurada pela disseminação paralela de eventos. A correção do algoritmo é provada formalmente. Uma prova de correção no arcabouço bounded correctness também foi elaborada, incluindo latência delimitada de diagnóstico, latência delimitada de inicialização e acuidade. Um simulador do algoritmo foi implementado. Experimentos foram executados em diversas topologias incluindo grafos aleatórios (k-vertex connected e Power-Law) bem como grafos regulares (meshes e hipercubos). Extensivos resultados de simulação de eventos dinâmicos de falha e recuperação em nodos e enlaces são apresentados. / This thesis introduces the new Distributed Network Reachability (DNR) algorithm, a distributed system-level diagnosis algorithm that allows every node of a partitionable general topology network to determine which portions of the network are reachable and unreachable. DNR is the first distributed diagnosis algorithm that works in the presence of network partitions and healings caused by dynamic fault and repair events. A node is diagnosed as either working or unreachable and a link is diagnosed either as working or unresponsive or unreachable. The algorithm is formally specified and consists of three phases: test, dissemination, and reachability computation. During the testing phase each link is tested by one of the adjacent nodes at alternating testing intervals. Upon the detection of a new event, the tester starts the dissemination phase, in which the new diagnostic information is received by every reachable node in the network. New events can occur before the dissemination completes. After a new event is detected or informed, a working node runs the third phase, in which a graph connectivity algorithm is employed to compute the network reachability. The algorithm employs the optimal number of tests per link per testing interval and the best possible diagnosis latency, assured by the parallel dissemination of event information. The correctness of the algorithm is proved, including the bounded diagnostic latency, bounded start-up and accuracy. Experimental results obtained from simulation are presented. Simulated topologies include random graphs (k-vertex connected and Power-Law) as well as regular graphs (meshes and hypercubes). Extensive simulation results of dynamic fault and repair events on nodes and links are presented.