Orientador: Prof. Dr. Rovílson Mafalda. / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Engenharia e Gestão da Inovação, 2018. / Nas últimas décadas, o problema da navegação autônoma tem sido o principal foco da robótica móvel. Este problema consiste em gerar trajetórias para guiar o deslocamento do robô num determinado ambiente a partir de informações provenientes de sistemas de sensores externos e/ou de informações constantes no mapa do ambiente. A partir destes pode saber sua localização e movimentar-se para quaisquer pontos do ambiente de trabalho de maneira segura, evitando colisões e regiões onde não há espaço suficiente para sua travessia. O planejamento de trajetórias é parte fundamental para o deslocamento de robôs móveis. A elaboração de um plano para movimentação autônoma é uma tarefa complexa. O planejamento de caminhos está relacionado ao planejamento geométrico da movimentação do robô no ambiente. Já o planejamento de trajetória é responsável por baseado no planejamento de caminhos, atuar sobre a movimentação dinâmica do robô [1]. A forma como o ambiente é mapeado no sistema é determinante na sua precisão e desempenho. Dentro deste contexto, neste trabalho é proposto um método para planejamento de caminhos para robôs móveis, considerando um ambiente interno, estruturado e estático, onde o ambiente e os obstáculos, entre os quais estes se movem, estão modelados como um Diagrama de Voronói para Circunferências. Algoritmos com a finalidade de encontrar o caminho de menor distância entre os caminhos disponíveis no mapa do ambiente discretizado de acordo com a modelagem acima são estudados e avaliados. Esta pesquisa também envolve estudos sobre problemas de tangências entre circunferências, estudos sobre a representação matemática do Diagrama de Voronoi e estudos sobre otimização de caminhos sobre estes Diagramas. / Over the last decades, researches in mobile robotics has focused on autonomous navigation problem. This problem consists on generating trajectories to guide the movement of a robot from a start point to an end point in a determined local. It is based on data from external sensor systems and /or information of the environment map. From this information, the robot is able to know its location and to move to another point in the working environment in a safe path, avoiding collisions and regions where there is not enough space for crossing. Trajectory planning is a fundamental part for movement of mobile robots. To elaborate a path planning for autonomous displacement is a complex task. Path planning relates to the geometric planning of robot movement in the environment. Already the trajectory planning is responsible for, based on path planning, to act on a dynamic movement of the robot. The approach applied to model an environment is determinant over accuracy and performance of a trajectory system. Within this context, in this work it is proposed a method to plan routes for mobile robots, where the environment map is model as a Voronói Diagram for Circumferences. Searching algorithms with the purpose of finding the shortest routes between the paths available in the map are studied and analyzed. This research also involves studies on circumferential tangency problems, studies on the mathematical representation of the Voronoi Diagram, and studies on path optimization on these Diagrams.

Made available in DSpace on 2014-06-12T15:58:27Z (GMT). No. of bitstreams: 2 arquivo4484_1.pdf: 6966497 bytes, checksum: 24a281b3de8ed514a81a117af5c76238 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / A maioria dos sistemas electrônicos modernos consiste em hardware dedicado e componentes programáveis (chamados componentes de software). Ao longo dos últimos anos, o número de metodologias que aplicaram simultaneamente técnicas de diferentes áreas para desenvolver sistemas mistos de hardware e software tem crescido consideravelmente. Projetos concorrentes de sistemas mistos de hardware/software têm mostrado ser vantajoso quando considerado como um todo ao invés de se considerar entidades independentes. Hoje em dia, o mercado eletrônico demanda sistemas de alto desempenho e de baixo custo. Estes requisitos são essenciais para a competitividade de mercado. Além disso, um curto time-to-market é um fator importante. A demora no lançamento do produto causa sérias reduções no lucro, desde que é mais simples vender um produto quando se tem pouca ou nenhuma competição. Isto significa que facilitando o re-uso de projetos anteriores, uma rápida exploração de projeto, análise/verificação qualitativa em fases iniciais do projeto, prototipação e a redução do tempo requerido para testes, reduzem o tempo global exigido de uma especificação até o produto final. Ao projetar tais sistemas mistos de hardware/software, a análise de alternativas de projeto e a decisão de onde implementar cada parte de sistema, isto é, em hardware ou em software, são tarefas muito importantes. A estimativa de métricas de qualidade permite a exploração do espaço de projeto e pode guiar a decisão de implementação de partes do sistema. Tais métricas são calculadas no nível de sistema, ou seja, sem implementação real. Conseqüentemente, tais estimativas também aceleraram o projeto do sistema e permitem a análise de restrições de projeto, fornecendo uma retroalimetação para decisões de projeto. As redes de Petri são técnicas de especificação formal que permitem uma representação gráfica e matemática. Têm métodos poderosos que permitem aos projetistas realizar análises qualitativa e quantitativa. Redes de Petri Timed, são extensões de redes de Petri nas quais as informações de tempo são expressas por duração (rede com tempo determinístico, política de disparo em três fases) e são associadas às transições. Para uma descrição comportamental de alto nível, o projeto de hardware é dividido em classes de blocos funcionais: caminho de dados e controladores. O caminho de dados consiste em três tipos de componentes RT: unidades de armazenamento (registradores e latches), unidades funcionais (ALUS e comparadores), e unidades de interconexão (multiplexadores e barramentos). As unidades de armazenamento são requeridas para armazenar valores de dados como constantes, variáveis e vetores no comportamento. As unidades funcionais são necessárias para implementar as operações no comportamento. Após todas as variáveis e operações no comportamento terem sido mapeadas às unidades de armazenamento e funcionais, respectivamente, podemos estimar o número de unidades de interconexão, como os barramentos e multiplexadores, os quais são requeridos para interligar as unidades de armazenamento e funcionais. Este trabalho propõe uma abordagem para estimar a área de hardware a partir do número de unidades de armazenamento, funcionais e de interconexão, levando-se em consideração restrições de tempo e dependência de dados, e estende alguns trabalhos anteriores com o objetivo de melhorar a precisão dos métodos de estimativa de área. Isto é, o método proposto considera uma rede de fluxo de dados que captura dependência de dados e calcula a área do caminho de dados a partir do número e tipo dos seus componentes, considerando a relação de dependência temporal

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-04-20T12:39:56Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Alyne.pdf: 544449 bytes, checksum: 8a26d8e01d9c13c955a21271ca4ec83e (MD5) / Made available in DSpace on 2017-04-20T12:39:56Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Alyne.pdf: 544449 bytes, checksum: 8a26d8e01d9c13c955a21271ca4ec83e (MD5) Previous issue date: 2016-09-30 / O principal objetivo deste trabalho é identificar quais fatores explicam a adesão dos municípios mato-grossenses ao Programa Caminho da Escola, no período de 2008 a 2010. Neste trabalho, propomos explorar a difusão das políticas sociais no Brasil, um país recentemente redemocratizado e também uma federação altamente descentralizada. O trabalho também inova ao analisar o papel dos fatores internos e externos na difusão política usando uma análise de unidade não convencional, ou seja, os governos locais. É interessante notar que a Constituição Brasileira de 1988 reconhece os municípios como jurisdições autônomas, dando-lhes consideráveis atribuições no que tange às políticas públicas. No sentido de avançar na explicação dos determinantes tanto internos e externos da difusão política no Brasil, empregamos uma análise de cross section nos três anos em questão, utilizando os dados sobre umas das políticas sociais do país, o Programa Caminho da Escola. A partir desse referencial teórico a pesquisa buscou responder as seguintes hipóteses: (1) quando o prefeito e o presidente são do mesmo partido, maior a possibilidade de adesão ao programa; (2) quanto maior o numero de alunos matriculados na zona rural maior a possibilidade de adesão; (3) prefeito de segundo mandato tende a não aderir ao programa; e (4) quanto maior o PIB per capita, maior a possibilidade de adesão. Metodologicamente a pesquisa baseou-se em análises estatísticas, principalmente a análise de regressão logística múltipla, ou seja, foi testada a relação da variável dependente “aderiu” com as variáveis independentes “partido presidente”, “renovação política”, “log matricula rural” e “PIB per capita deflacionado”. Os resultados obtidos sugerem que há uma explicação para a difusão da política, sendo que o numero de matriculas efetivadas na zona rural e o PIB per capita apresentaram resultados significantes. As demais variáveis apresentaram significância abaixo do nível aceitável, ou seja, seriam necessários estudos mais aprofundados para afirmar tal influência na difusão do programa. / The main objective of this work is to identify which factors explain the accession of Mato Grosso municipalities the Way to School Program in the State of Mato Grosso, from 2008 to 2010. In this work, we propose to explore the diffusion of social policies in Brazil, a country recently redemocratized and also a highly decentralized federation. The work also breaks new ground by examining the role of internal and external factors in policy diffusion using an unconventional analysis unit, or local governments. Interestingly, the 1988 Brazilian Constitution recognizes municipalities as autonomous jurisdictions, giving them considerable powers in relation to public policies. In order to advance in the explanation of both internal and external determinants of policy diffusion in Brazil, employ a cross section analysis of the three years in question, using the data on one of the country's social policies, the Way to School Program. From this research theoretical framework sought to answer the following cases: (1) where the mayor and the president are the same party, the greater the possibility of joining the program; (2) the higher the number of registrations made in most rural areas the likelihood of accession; (3) Mayor second term tends not to join the program; and (4) the higher the GDP per capita the likelihood of adherence reduces. Methodologically research was based on statistical analysis, especially the analysis of multiple logistic regression, that is, we tested the relationship of the dependent variable "joined" with the independent variables "party chairman", "political renewal", "rural registration log" and "GDP per capita deflated." The results suggest that there is an explanation for the spread of the policy, and the number of registrations effected in the countryside and the GDP per capita show significant results. The remaining variables were significant below the acceptable level, ie, it would take further study to affirm that influence the program broadcasting.

Orientadora: Profa. Dra. Patrícia Teixeira Leite Asano / Tese (doutorado) - Universidade Federal do ABC. Programa de Pós-Graduação em Energia, 2017. / A área do setor elétrico que trata das necessidades energéticas por parte das usinas, de forma coordenada, é chamada de Planejamento da Operação de Sistemas Hidrotérmicos de Potência. Esta área tem como finalidade principal encontrar uma política operativa que forneça energia elétrica ao sistema, em um determinado período, com confiabilidade e por um custo mínimo. Sendo assim com a intenção de colaborar com está área, a Tese desenvolvida teve como objetivo principal aplicar a técnica de otimização de colônia de formigas para minimizar a potência de bombeamento através da definição do melhor caminho para construção de tubulações de transferência de água entre dois pontos. Para isso uma nova ferramenta computacional (programa IarAI) foi proposta e implementada considerando os dados georreferenciados de entrada, sendo o relevo da região e restrições ambientais. O programa IarAI foi implementado nas linguagens Java e JavaScript. Além disso, o IarAI é composto por quatro módulos que utilizam como técnicas de otimização as Colônias de Formigas e Algoritmos Genéticos. A metodologia e programa foram validados através de dois estudos de casos. O primeiro foi composto por três pontes que ligavam o ninho até a comida com um espaço de busca de 1200 m (40 pontos) x 480 m (16 pontos). O segundo caso teste foi aplicado no curso natural do rio Pinheiros na cidade de São Paulo com um espaço de busca de 34.710 m (1.157 pontos) x 17.960 m (568 pontos). Finalmente, os resultados apresentados demonstram a aplicabilidade da metodologia e algoritmo proposto. / The area of the electricity sector that addresses the energy needs of the plants, in a coordinated way, is called Operation of Hydrothermal Power Systems. This area has as main objective to find an operative policy that provides electrical energy to the system, in a certain period, with reliability and for a minimum cost. The main objective of this thesis was to apply the ant colony optimization technique to minimize pumping power by defining the best path for the construction of water transfer pipes between two points. A new computational tool (IarAI program) was proposed and implemented considering the georeferenced input data, being the relief of the region and environmental restrictions. The IarAI program was implemented in Java and JavaScript languages. In addition, the IarAI is composed of four modules that use as optimization techniques the Ant Colony and Genetic Algorithms. The methodology and program were validated through two case studies. The first one consisted of three bridges that connected the nest to the food with a search space of 1200 m (40 points) x 480 m (16 points). The second test case was applied in the natural course of the Pinheiros river in the city of São Paulo with a search space of 34,710 m (1,157 points) x 17,960 m (568 points). Finally, the presented results demonstrate the applicability of the methodology and proposed algorithm.

Esta tese tem como foco o desenvolvimento de procedimentos analíticos automáticos, visando as determinações fotométricas de vanádio e de estanho em águas e em alimentos empregando o processo de multicomutação em fluxo. Um microcontrolador da família PIC e um programa escrito em linguagem Visual Basic 6.0 foram empregados para controle dos dispositivos e aquisição de dados. A unidade de detecção foi construída empregando LED de alto brilho e celas de fluxo com longo caminho óptico (50-200 mm) para ganho em sensibilidade. O módulo de análises, empregando bombas solenoide como propulsores de fluido e o fotômetro foram integrados, formando uma unidade compacta. A determinação de vanádio em águas, mineral e de rio, foi baseada na redução do V(V) à V(IV) com ácido ascórbico e posterior complexação com Eriocromo Cianina R (ECR). Empregando uma cela de 150 mm, o sistema apresentou resposta linear de 0,02 a 1,00 mg L-1, limite de detecção estimado em 13 ?g L-1, coeficiente de variação de 0,87% (n=10) e frequência analítica de 47 determinações por hora. Recuperações entre 89 e 109% foram obtidas para adição de V(V) nas amostras de águas. O procedimento para a determinação de estanho em alimentos foi desenvolvido empregando bomba de multi-seringa como unidade de propulsão de fluidos, cela de fluxo com caminho óptico de 200 mm e parada de fluxo de 50 s. Baseado na reação do Sn(IV) com o violeta de pirocatecol (PCV) na presença de surfactantes, o sistema apresentou resposta linear de 0,10 a 1,25 mg L-1, limite de detecção estimado em 0,04 mg L-1, coeficiente de variação de 1,30% (n=10) e frequência analítica de 49 determinações por hora. Recuperações entre 95 e 115% foram obtidas com a adição de Sn(IV) às amostras de alimentos. / Automatic analytical procedures for photometric determinations of vanadium in water and tin in foods were developed using the multicommutation flow analysis process. A microcontroller of the PIC family and a software written in Visual Basic 6.0 language were used for devices control and data acquisition. Detection unit was designed to use high brightness LED and long optical pathlength flow cells (50-200 mm) to improve sensitivity. The flow analysis module using solenoid mini-pumps as fluid propelling devices and the photometer were integrated in order to form a compact unit. The determination of vanadium in mineral and river waters was based on the reduction of V(V) to V(IV) with ascorbic acid and subsequent complexation with Eriochrome Cyanine R (ECR). Employing flow cell of 150 mm, the system presented linear response between 0.02 and 1.00 mg L-1, detection limit of 13 ?g L-1, variation coefficient of 0.87% (n=10) and sampling throughput of 47 determinations per hour. Recoveries between 89 and 109% were attained for vanadium spiked to mineral and river water. The procedure for determination of tin in foods was development employing a multi-syringe pump as fluid propelling device, a flow cell with optical pathlength of 200 mm and stop flow of 50 s. The procedure was based on the reaction of Sn(IV) with pyrocatechol violet (PCV) in the presence of surfactants, presented linear response between 0.10 and 1.25 mg L-1, detection limit of 0.04 mg L-1, variation coefficient of 1.30% (n=10) and sampling throughput of 49 determination per hour. Recoveries between 95 and 115% were attained for tin spiked samples

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-20T19:29:18Z No. of bitstreams: 1 rafaelmartinsdeoliveiralaguardia.pdf: 116573229 bytes, checksum: 8d1e6bc97fdace9749cb5d8110d7524c (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-07T19:03:24Z (GMT) No. of bitstreams: 1 rafaelmartinsdeoliveiralaguardia.pdf: 116573229 bytes, checksum: 8d1e6bc97fdace9749cb5d8110d7524c (MD5) / Made available in DSpace on 2017-08-07T19:03:24Z (GMT). No. of bitstreams: 1 rafaelmartinsdeoliveiralaguardia.pdf: 116573229 bytes, checksum: 8d1e6bc97fdace9749cb5d8110d7524c (MD5) Previous issue date: 2015-08-20 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O principal objetivo deste trabalho é discutir em que medida os aspectos físicos e geográficos condicionaram o processo de uso e ocupação do solo no período que compreende o início do século XVIII até a primeira metade do XIX, no antigo território da Freguesia "Caminho Novo", identificando as vantagens competitivas naturais. O estudo conjuga dados físicos e geográficos com informações retiradas de fontes históricas relacionadas com caminhos, sesmarias, produção agrícola e riqueza. Trata-se, portanto, de um estudo essencialmente interdisciplinar. A metodologia busca georreferenciar as informações das fontes históricas, objetivando entender o condicionamento através do cruzamento com as informações geográficas. Por isso, esta pesquisa pode ser classificada como uma pesquisa de análise espacial. Utiliza-se o Sistema de Informações Geográficas, que contribui para a apresentação de uma abordagem de pesquisa denominada História Georreferenciada. A vantagem deste método é a possibilidade de trabalhar o conjunto de informações de uma única fonte ou a partir de diferentes fontes, utilizando temática específica ou ligando-os a outros temas históricos. / El objetivo central de esta investigación es discutir en qué medida los aspectos físicos y geográficos condicionaron el proceso de uso y ocupación del suelo a lo largo del período que comprende de comienzos del siglo XVIII hasta la primera mitad del siglo XIX en el antiguo territorio de la parroquia del “Caminho Novo”, identificando las ventajas competitivas naturales. El estudio conjuga los datos físicos y geográficos con informaciones sacadas de las fuentes históricas relacionadas a caminos, mercedes de tierras rurales, producción agrícola y riqueza. Se trata portanto de un estudio essencialmente interdisciplinario. La metodología busca georreferenciar las informaciones de las fuentes históricas, objetivando entender ese condicionamiento, por medio de la intersección con las informaciones geográficas. Por ello, esta investigación puede ser clasificada como de análisis espacial. Se utiliza el Sistema de Informaciones Geográficas, que contribuye a la presentación de una metodología que denominamos História Georreferenciada. La ventaja de este método está en la posibilidad de trabajar el conjunto de informaciones de una única fuente o de fuentes diferentes, utilizando temáticas específicas o relacionándo-las a otros temas históricos.

Orientador: Andre Luiz Morelato França / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T08:13:24Z (GMT). No. of bitstreams: 1 Mota_AlexandredeAssis_D.pdf: 2550000 bytes, checksum: d1b87870a85e6720b234c4e11cce99a8 (MD5) Previous issue date: 2005 / Resumo: O sucesso da recomposição de sistemas interligados está diretamente associado à qualidade dos planos de recomposição. Esses planos descrevem as seqüências de ações de controle que devem ser tomadas para energizar as diferentes áreas geoelétricas do sistema após a ocorrência de blecautes totais ou parciais. Nesse contexto, o objetivo deste trabalho é propor uma metodologia para avaliação da qualidade de planos de recomposição, que permita o uso de ferramentas computacionais para avaliar a qualidade de forma automática e sob alguns critérios como (a) grau de flexibilidade quanto a imprevistos durante a execução, (b) índices de qualidade globais determinados a partir da representação do plano de recomposição através de grafos conexos e (c) facilidade de acesso, visualização, atualização e treinamento. Diferentes técnicas e métodos foram empregados para atingir esse objetivo (busca de caminho mínimo, utilização de índices nebulosos, métodos de caminho crítico - CPM/PERT), visando a determinação dos índices numéricos relacionados à qualidade do plano, tais como: duração total prevista para a recomposição, eficiência da fase fluente, evolução da carga interrompida e custos estimados para a interrupção / Abstract: A successful restoration depends on the quality of the restoration plans, that describe the sequence of control actions that must be executed to reenergize different areas (of the power system) just after total or partial blackouts. This work proposes a methodology to automatically evalute the quality of power system restoration plans, related to (a) the flexibility of the plan, (b) numerical quality indexes, extracted using a graph representation for the plan and (c) the easiness of use, visualization, training and access to restoration instructions. Different techniques and methods were used to achieve this goal (minimum path search, adoption of fuzzy indexes, critical path methods), focusing on the determination of numerical indexes that express the quality of the plan, such as total restoration duration, fluent phase efficiency, interrupted load evolution and estimated interruption costs / Doutorado / Energia Eletrica / Doutor em Engenharia Elétrica

Submitted by Nadir Basilio (nadirsb@uninove.br) on 2015-07-17T15:18:49Z No. of bitstreams: 1 Wilson da Silva Lourenco.pdf: 1321079 bytes, checksum: ea090b0df77d0c04ef1dde30e7b41558 (MD5) / Made available in DSpace on 2015-07-17T15:18:49Z (GMT). No. of bitstreams: 1 Wilson da Silva Lourenco.pdf: 1321079 bytes, checksum: ea090b0df77d0c04ef1dde30e7b41558 (MD5) Previous issue date: 2015-02-26 / The network optimization problems (NOP) are common to several areas such as engineering, transport and telecommunications, and have been objects of intense research and studies. Among the classical NOP are the problems of Shortest Path (SPP), Max Flow (MFP) and Traveling Salesman (TSP), which are usually studied in undergraduate and graduate courses such as Industrial Engineering, Computer Science, Information Systems and Logistics, with the use of resources such as chalk and blackboard that hinder the teacher's work, in the sense of showing the functioning of algorithms that solve these problems while maintaining students' motivation for learning. In this context, it is proposed in this research, a computational tool, characterized as a Learning Object (OA) and called TASNOP - Teaching Algorithms for Solving Network Optimization Problems, whose purpose is to contribute to students' understanding about concepts from NOP and, mainly, the functioning of algorithms A*, Greedy Search and Dijkstra used for resolution of SPP, Ford-Fulkerson employed in the resolution of MFP and the Nearest Neighbor to solve the TSP. It is important to highlight that the proposed OA can be accessed through web and also employed in distance learning environments (DLE). Experiments conducted in 2014 with 129 students of Computer Science, from which 51 performed an exercise using the TASNOP and 78 without this tool, confirm that students who used the TASNOP performed better in solving the proposed exercise, corroborating the idea that the OA helped to improve their understanding about the algorithms discussed in this research. In addition, the 51 students who employed the TASNOP answered a questionnaire about it use and, the answers indicated that the TASNOP shows a potential to be used as a learning support tool. / Os problemas de otimização em redes (POR) são comuns a diversas áreas como engenharia, transportes e telecomunicações, e têm sido objetos de intensas pesquisas e estudos. Entre os POR clássicos estão os problemas de Caminho Mínimo (PCM), Fluxo Máximo (PFM) e Caixeiro Viajante (PCV), os quais normalmente são estudados em cursos de graduação e pós-graduação tais como Engenharia de Produção, Ciência da Computação, Sistemas de Informação e Logística, com a utilização de recursos como giz e lousa, o que dificulta o trabalho do professor, no sentido de mostrar o funcionamento dos algoritmos que solucionam esses problemas, mantendo a motivação dos alunos para a aprendizagem. Neste contexto, propõe-se nesta pesquisa, uma ferramenta computacional, caracterizada como um Objeto de Aprendizagem (OA) denominado TASNOP - Teaching Algorithms for Solving Network Optimization Problems, cuja finalidade é contribuir para compreensão dos alunos sobre conceitos de POR e, principalmente, sobre o funcionamento dos algoritmos A*, Busca Gulosa, e Dijkstra, usados para resolução do PCM, Ford-Fulkerson empregado na resolução de PFM e o algoritmo Vizinho mais Próximo para resolução do PCV. É importante ressaltar que o OA proposto pode ser acessado via web e, inclusive, ser acoplado em ambientes de ensino a distância (EaD). Experimentos realizados no ano de 2014 envolvendo 129 alunos do curso de Ciência da Computação, dos quais 51 resolveram um exercício com o uso do TASNOP e 78 sem o seu uso, permitiram verificar que os alunos que utilizaram o TASNOP obtiveram melhor desempenho na resolução do exercício proposto, corroborando a ideia de que o OA contribuiu para melhorar suas compreensões acerca dos algoritmos abordados nesta pesquisa. Em adição, os 51 alunos que usaram o TASNOP responderam a um questionário sobre o seu uso e, com base nessas respostas, ficou evidente o potencial do TASNOP como uma ferramenta de apoio ao ensino.

O Problema dos K Menores Caminhos é uma generalização do Problema do Menor Caminho, em que desejamos encontrar os K caminhos de menor custo entre dois vértices de um grafo. Estudamos e implementamos algoritmos que resolvem esse problema em grafos dirigidos, com peso nos arcos e que permitem apenas caminhos sem repetição de vértices na resposta. Comparamos seus desempenhos utilizando grafos do 9th DIMACS Implementation Challenge. Identificamos os pontos fortes e fracos de cada algoritmo, e propusemos uma variante híbrida dos algoritmos de Feng e de Pascoal. Essa variante proposta obteve desempenho superior aos algoritmos base em alguns grafos, e resultado superior a pelo menos um deles na grande maioria dos testes. / The K-Shortest Path Problem is a generalization of the Shortest Path Problem, in which we must find the K paths between two vertices in a graph that have the lowest costs. We study some K-Shortest Path Problem algorithms applied to weighted directed graphs, allowing only paths with no repeated vertices. We compare empirically implementation of some algorithms, using instance graphs from the 9th DIMACS Implementation Challenge. We identify the strengths and weaknesses of each algorithm, and we propose a hybrid version of Feng\'s and Pascoal\'s algorithms. This proposed variant achieve better perfomance compared to both base algorithms in some graphs, and it is better than at least one of them in most cases.

[pt] A contribuição de Dietrich Bonhoeffer para a teologia do século XX é imensurável pela sua dedicação pastoral à igreja cristã, bem como pelo empenho e rigor acadêmico e teológico. O mártir luterano é o tema principal dessa dissertação, principalmente no que concerne ao seu pensamento sobre a esperança. Fez-se, pois, uma exposição da sua biografia, a fim de se perceber o quanto o contexto histórico e social é importante para suas obras e posicionamentos, e que já evidencia a perspectiva escatológica latente do autor. Em seguida, a apresentação de temas fundamentais da teologia de Bonhoeffer, como a eclesiologia e cristologia, serve de base para se definir a esperança que se faz presente, ainda que de forma secundária, nos seus escritos. Por fim, define-se o tema da ética do discipulado como a esperança bonhoefferiana, por ser o modo próprio do ser cristão, fundamentada nos conceitos de penúltimo, último e preparação do caminho. Todos estão presentes em Ética e moldam o pensamento teológico do autor, que traz a escatologia, como o último, para o presente, penúltimo, isto é, que apresenta o ethos cristão – discipulado – como a preparação do caminho para a volta do Nazareno. / [en] Dietrich Bonhoeffer s contribution to 20th century theology is immeasurable, for his pastoral dedication to the christian church as well as his academic and theological commitment and rigor. The Lutheran martyr is the main theme of this dissertation, especially regarding his thinking about hope. Therefore, an exposition of his biography was made, in order to understand how important the historical and social context is for his works and positions, and which already shows the latent eschatological perspective of the author. Then, the presentation of fundamental themes of Bonhoeffer s theology, such as ecclesiology and christology, serves as a basis for defining the hope that is present, albeit in a secondary way, in his writings. Finally, the theme ethics of discipleship is defined as the bonhoefferian hope, as it is the proper way of being a christian, based on the concepts of penultimate, ultimate and preparation of the way. All are present in Ethics and shape the author s theological thought, which brings eschatology, as the ultimate, to the present, penultimate, that is, which presents the christian ethos - discipleship - as the preparation of the way for the back from the Nazarene.