Nesta dissertação de mestrado estudamoscódigos Reed-Solomon. Começamos fazendo uma revisão sobre extensões de corpos finitos, focando na maneira de representar e operar com os seus elementos, e também sobre teoria de códigos, explorando os códigoslineares e os códigos cíclicos. Apresentamos as duas construções dos códigos de Reed-Solomon, a original, com a imagem de uma função polinomial, e a descoberta por Gorenstein e Zierler, como o ideal gerado por um polinômio gerador. Terminamos mostrando um algoritmo devido a Gao que mostra como decodificar palavras código de Reed-Solomon codificadas de maneira não sistemática. / In this dissertation we study Reed-Solomon codes. We begin with a review about extensions of finite fields, focusing on the way to represent and operate with its elements, and also about the theory os codes, exploting a few propertiesof linear codes and codes cyclic. We present two constructions of Reed-Solomon codes, the original, as the image os a polynomial function, and the discovery by Gorenstein and Zierler, as the ideal generated by a polynomial generator. Finished showing an algorithm due to Gao that shows how to decode Reed-Solomon code words coded in a nonsystematic way.

Este trabalho descreve a área de processamento matricial, mostrando os principais compromissos existentes na obtenção de arquiteturas paralelas a partir de algoritmos, para que haja um ganho real na avaliação destes. São feitas, ainda, considerações sobre ferramentas de programação para arquiteturas paralelas. Os principais compromissos que influenciam as arquiteturas SIMD, objeto de estudo deste trabalho, são abordados analisando-se uma áera de aplicação de arquiteturas SIMD: tratamento de imagens. Como uma caso prático de estudo e exemplo destes compromissos, é proposta uma arquitetura SIMD para um processador matricial empregando um chip matricial disponível comercialmente - o GAPP (Geometric Arithmetic Parallel Processor). É proposto, ainda, um ambiente para o desenvolvimento de programas nesta arquitetura. Este ambiente é baseado na utilização da lingaugem GAL (GAPP Algorithm Language), criada especificamente para elaboração de programas para o GAPP. / This work describes the array processing area, discussing the main tradeoffs in the design of parallel architecture from algorithms. The algorithm to architecture transformation is called a mapping problem. Some considerations about progamming tools for parallel architectures are also made. The relationship between algorithms and architectures is covered by studying a specific case for SIMD architectures: digital image processing. A SIMD architecture proposal, using a commercially available chip array - GAPP (Geometric Arithmetic Parallel Processor) is made. This architecture is used on a practical case to study and analyze those tradeoffs. An environment for program development for this architecture is also proposed. This environment is based on the use of GAL language (GAPP Algorithm Language), which was created specificaly for GAPP program development.

MAIA JUNIOR, J. V. F. Comparação de métodos de dimensionamento em redes de distribuição de água. 2012. 145 f. Dissertação (Mestrado em Engenharia Civil: Saneamento Ambiental) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2012. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2013-06-24T13:51:12Z No. of bitstreams: 1 2012_dis_jvfmaiajunior.pdf: 2130816 bytes, checksum: eabcf73fbca1b78c6e28b2db65f86792 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2013-06-28T17:23:55Z (GMT) No. of bitstreams: 1 2012_dis_jvfmaiajunior.pdf: 2130816 bytes, checksum: eabcf73fbca1b78c6e28b2db65f86792 (MD5) / Made available in DSpace on 2013-06-28T17:23:55Z (GMT). No. of bitstreams: 1 2012_dis_jvfmaiajunior.pdf: 2130816 bytes, checksum: eabcf73fbca1b78c6e28b2db65f86792 (MD5) Previous issue date: 2012-12-21 / This work presents a computational model for the dimensioning of optimized minimum cost of water distribution network. The model is an addition to the system UFC4(module for dimensioning water supply networks). The model uses the technique of Genetic Algorithms and the hydraulic simulation is done by EPANET. Multiple simulations have been made individually varying each parameter in the algorithm to achieve better performance in terms of convergence, processing time and the final of the quality solutions. Its results is compared to that obtained by LENHSNET for the same network. The cost compared was the of implementation of pipes. The proposed model has proved satisfactory for optimized dimensioning of network. / Este trabalho apresenta um modelo computacional para o dimensionamento otimizado de mínimo custo em redes de distribuição de água. O modelo é um complemento do sistema UFC4 (Módulo para dimensionamento de redes de abastecimento de água). O modelo utiliza a técnica dos Algoritmos Genéticos e a simulação hidráulica é feita pelo EPANET. Foram feitas várias simulações variando individualmente cada parâmetro do algoritmo para se obter um melhor desempenho em termos de convergência, tempo de processamento e qualidade final das soluções. Seu resultado é comparado ao obtido pelo LENHSNET para a mesma rede. O custo comparado foi o de implantação das tubulações. O modelo proposto se mostrou satisfatório para o dimensionamento otimizado de redes de distribuição de água.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2014 / Made available in DSpace on 2015-02-05T20:55:28Z (GMT). No. of bitstreams: 1 329630.pdf: 3224394 bytes, checksum: fc48cdc77f6532aea3c1e3039c0b50a1 (MD5) Previous issue date: 2014 / O objetivo desta dissertação é propor um procedimento para a síntese estrutural e a otimização dimensional de mecanismos de direção. A síntese estrutural de mecanismos de direção consiste na listagem de todos os mecanismos que cumprem os critérios de mobilidade e simetria necessários. Na síntese estrutural foram consideradas cadeias cinemáticas de quatro, seis e oito elos, com juntas simples e, logo formando mecanismos com juntas prismáticas e rotativas. A síntese dimensional consiste na determinação das dimensão do mecanismo de modo que cumpra com os critérios cinemáticos desejados. O problema de síntese dimensional foi formulado como um problema de otimização, considerando a geometria Ackerman como a função de movimento desejado. No método de síntese ótima proposto, utilizou-se coordenadas naturais na modelagem matemática que descreve a cinemática do mecanismo, e propondo um algoritmo genético implementado no software MALAB. Para a validação dos resultados foram considerados os mecanismos de direção tradicionais e, comparando-os com métodos da literatura. O método de otimização também é aplicado a novos mecanismos encontrados com a síntese estrutural.<br> / Abstract: The aim of this work is to propose a procedure for structural synthesis and dimensional optimization of steering mechanisms. The structural synthesis of steering mechanisms is the list of all the mechanisms that meet the criteria of mobility and symmetry required. In the structural synthesis were considered kinematic chains of four, six and eight links with simple joints, forming mechanism by the permuting of the joints between prismatic and revolute joints.The dimensional synthesis determine the dimension of such mechanism that have the criteria kinematic desired. The problem of dimensional synthesis was formulated as a optimization problem, considering the Ackerman geometry as a function desired movement. In the optimal synthesis method proposed was used natural coordinates by mathematical modeling that describes the kinematics of the mechanism, and propose a genetic algorithm implemented in Matlab. To validate the results were considered traditional steering mechanisms with recent steering methods from the literature. The optimization method is also applied to new mechanisms found to structural synthesis.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, 2015. / Made available in DSpace on 2015-04-29T21:09:35Z (GMT). No. of bitstreams: 1 333107.pdf: 16297606 bytes, checksum: 454d808d03f08650094d51715415a4c2 (MD5) Previous issue date: 2015 / Um dos principais processos utilizados no campo de processamento digital de imagens é a segmentação, processo no qual a imagem é separada em seus elementos ou partes constituintes. Na literatura, existem diferentes e bem conhecidos métodos usados para segmentação, tais como clusterização, limiarização, segmentação com redes neurais e segmentação por crescimento de regiões . No intuito de melhorar de melhorar o desempenho dos algoritmos de segmentação, um estudo sobre o efeito da aplicação de uma métrica não linear em algoritmos de segmentação foi realizado neste trabalho. Foram selecionados três algoritmos de segmentação (Mumford-Shah, Color Structure Code e Felzenszwalb and Huttenlocher) provenientes do método de crescimento de regiões e nestes se alterou a parte de análise de similaridade utilizando para tal uma métrica não linear. A métrica não linear utilizada, denominada Polinomial Mahalanobis, é uma variação da distância de Mahalanobis utilizada para medir a distância estatística entre distribuições. Uma avaliação qualitativa e uma análise empírica foram realizadas neste trabalho para comparar os resultados obtidos em termos de eficácia. Os resultados desta comparação, apresentados neste estudo, apontam uma melhoria nos resultados de segmentação obtidos pela abordagem proposta. Em termos de eficiência, foram analisados os tempos de execução dos algoritmos com e sem o aprimoramento e os resultados desta análise mostraram um aumento do tempo de execução dos algoritmos com abordagem proposta.<br> / Abstract : One of the main procedures used on digital image processing is segmentation,where the image is split into its constituent parts or objects. In the literature,there are different well-known methods used for segmentation, suchas clustering, thresholding, segmentation using neural network and segmentationusing region growing. Aiming to improve the performance of the segmentationalgorithms, a study off the effect of the application of a non-linearmetric on segmentation algorithms was performed in this work. Three segmentationalgorithms were chosen (Mumford-Shah, Color Structure Code,Felzenszwalb and Huttenlocher) originating from region growing techniques,and on those the similarity metric was enhanced with a non-linear metric.The non-linear metric used, known as Polynomial Mahalanobis, is a variationfrom the statistical Mahalanobis distance used for measure the distancebetween distributions. A qualitative evaluation and empirical analysis wasperformed in this work to compare the obtained results in terms of efficacy.The results from these comparison, presented in this study, indicate an improvementon the segmentation result obtained by the proposed approach. Interms of efficiency, the execution time of the algorithms with and without theproposed improvement were analyzed and the result of this analysis showedan increase of the execution time for the algorithms with the proposed approach.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015. / Made available in DSpace on 2015-10-20T03:11:57Z (GMT). No. of bitstreams: 1 334834.pdf: 1362711 bytes, checksum: 1e54f3bc932701ad72bcb877dd3a06c0 (MD5) Previous issue date: 2015 / Cobertura de estados é um critério de adequação de testes de software que mede a quantidade de modificações de estados feitas durante a execução dos testes que foram verificadas através de asserções. O presente trabalho propõe um algoritmo para o cálculo de cobertura de estados baseado em construções comuns a linguagens orientadas a objetos, como atribuições, retorno de métodos e chamadas de funções. O algoritmo identifica modificações de estados cobertas por asserções através de um novo cálculo de influências de atributos em métodos de uma classe baseado na extração de dependências entre identificadores existentes no código. São apresentados ainda uma extensão à definição de estado modificado levando em consideração a distinção entre atributos simples e compostos (estruturas de dados) e uma implementação do algoritmo através da instrumentação de bytecode Java. Experimentos feitos em sete projetos de código aberto mostraram a utilidade do algoritmo na identificação de atributos não verificados por asserções mas executados pelo teste. Ao inserir erros propositais nestes atributos os testes não falharam. Em uma situação real, estes erros estariam imperceptíveis pelos desenvolvedores. Os experimentos ainda mostraram que a execução do algoritmo adicionou um overhead de 20% a 33% no tempo de execução dos testes unitários, um valor abaixo dos trabalhos existentes.<br> / Abstract : State coverage is a test adequacy criterion that measures the quantity of state modifications made by a test execution that were verified by assertions. This work proposes an algorithm for state coverage based on common constructions of object-oriented languages, such as assignments, method returns and function calls. The algorithm identifies influences of an instance attribute on assertions applying a new method to compute influences of attributes on methods. This work also presents an extension to the modified state definition by applying a distinction between simple and compound types (data-structures) and an implementation of the algorithm based on instrumentation of Java bytecode. Experiments made on seven open source projects showed the validity of the algorithm in identifying attributes not verified by assertions that were executed by tests. Bugs inserted in these attributes were not captured by the tests. The results also showed that the algorithm adds an overhead of 20% and 33% at the test execution. These values are below of existent works.

PINTO, M. R. Dimensionamento econômico de redes de distribuição de água considerando os custos de manutenção e de implantação. 2014 127 f. Tese (Doutorado em Engenharia Civil: Recursos Hídricos) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-04-13T16:50:18Z No. of bitstreams: 1 2014_tese_mrpinto.pdf: 2290253 bytes, checksum: fec2ed2e62c34a26b2219680a6e4c9ff (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2015-04-14T14:31:13Z (GMT) No. of bitstreams: 1 2014_tese_mrpinto.pdf: 2290253 bytes, checksum: fec2ed2e62c34a26b2219680a6e4c9ff (MD5) / Made available in DSpace on 2015-04-14T14:31:13Z (GMT). No. of bitstreams: 1 2014_tese_mrpinto.pdf: 2290253 bytes, checksum: fec2ed2e62c34a26b2219680a6e4c9ff (MD5) Previous issue date: 2014-02-04 / We present an approach for project optimization problem of networks water supply (RDA), considering the deployment cost (CI) and the cost of maintenance (MC) simultaneously applying a multi-population and multiobjective algorithm. An RDA can be seen as a graph whose edges are the conduits and the vertices are the nodes. Choose the diameters that make the most economical network given the restrictions techniques is a combinatorial problem for which direct methods may become unworkable when considering increasing numbers snippets. The optimization problem is tackled to minimize both CI and CM of an RDA, considering it to the cost of conduits according to their diameters and lengths. To carry out optimization was developed the evolutionary algorithm (EA) Hybrid Multi-Island-niched Pareto Genetic Algorithm (MINPGA), merge output adapted from a multi-population algorithm, MIIGA, another multi-objective algorithm based on Niche Pareto, the NPGA. How hydraulic simulator was used Environment Protection Agency Network Engine Tool (EPANET). The optimization scheme of Network By Evolutionary Algorithm (ONEBEAR) has been developed and applied to three different network sizes and layouts, one of with 666 snippets. A computer program was written to implement the ONEBEAR, connecting the EPANET to MINPGA, allowing desired optimization. It has been shown, and the importance of considering the cost of maintenance over the life of a RDA address the feasibility of multi-objective optimization problem using an AE multi-population. The scheme shown robustness and flexibility, solving the problem of optimization for both branched networks and for looped networks and a network with 666 excerpts. The Pareto front generated for each problem showed the dominant solutions considered viable. The viability of the networks was checked for compliance with technical requisite minimum pressure per node, calculated by EPANET. The smaller networks and CI / Apresenta-se uma abordagem para o problema de otimização de projetos de redes de distribuição de água (RDA), considerando-se o custo de implantação (CI) e o custo de manutenção (CM) simultaneamente, aplicando-se um algoritmo multi-população e multiobjetivo. Uma RDA pode ser vista como um grafo cujas arestas são os condutos e o vértices são os nós. Escolher os diâmetros que tornam a rede mais econômica atendendo a restrições técnicas é um problema combinatório para o qual métodos diretos podem se tornar inviáveis ao se considerar números crescentes de trechos. O problema de otimização abordado consiste em minimizar simultaneamente CI e CM de uma RDA, considerando para isso o custo dos condutos de acordo com seus diâmetros e comprimentos. Para proceder a otimização foi desenvolvido o algoritmo evolucionário (AE) híbrido Multi-Island Niched-Pareto Genetic Algorithm (MINPGA), resultado da junção adaptada de um algoritmo multi-população, o MIIGA, a outro algoritmo multi-objetivo baseado em Nicho de Pareto, o NPGA. Como simulador hidráulico foi utilizado o Environment Protection Agency Network Engine Tool (EPANET). O esquema Optimization of NEtwork By Evolutionary AlgoRithm (ONEBEAR) foi desenvolvido e aplicado a três redes de tamanhos e traçados distintos, sendo uma delas com 666 trechos. Um programa computacional foi escrito para implementar o ONEBEAR, conectando o EPANET ao MINPGA, possibilitando assim otimização pretendida. Mostrou-se, além da importância de se considerar o custo de manutenção ao longo da vida útil de uma RDA, a viabilidade de abordar o problema de otimização multi-objetivo por meio de um AE multi-população. O esquema mostrou robustez e flexibilidade, resolvendo o problema de otimização tanto para redes ramificadas quanto para redes malhadas e com uma rede com 666 trechos. A frente de Pareto gerada para cada problema mostrou as soluções dominantes consideradas viáveis. A viabilidade das redes foi verificada quanto ao atendimento ao requesito técnico de pressão mínima por nó, calculada pelo EPANET. As redes de menor CI e

LEÃO, J. A. Influência de manobras de válvulas na identificação das rugosidades em tubulações de redes de distribuição de água. 2014. 123 f. Dissertação (Mestrado em Engenharia Civil: Recursos Hídricos) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-04-14T11:41:20Z No. of bitstreams: 1 2014_dis_jaleão.pdf: 1835721 bytes, checksum: 3398ac97957f57e5aadc710c5c8c6d5a (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2015-04-16T11:20:23Z (GMT) No. of bitstreams: 1 2014_dis_jaleão.pdf: 1835721 bytes, checksum: 3398ac97957f57e5aadc710c5c8c6d5a (MD5) / Made available in DSpace on 2015-04-16T11:20:23Z (GMT). No. of bitstreams: 1 2014_dis_jaleão.pdf: 1835721 bytes, checksum: 3398ac97957f57e5aadc710c5c8c6d5a (MD5) Previous issue date: 2014-11-28 / Currently, based on computational analysis, more accurate assessments have been possible in studies of design of water supply networks. The hydraulic transient is a phenomenon that can affect all forced drainage system. Understanding this phenomenon and the constant search for solutions to avoid its harmful effects cause significant technological advances, principally through the application of computational methods. The present work is to use the Transient Inverse Method (TIM) with a genetic algorithm to calibrate the absolute roughness of pipes of two water distribution networks using four different types of maneuvers through genetic parameters. The study was done in two fictitious networks, but with physical characteristics of real networks. We analyzed the influence of valves maneuvers in the identification of roughness in pipes of water distribution networks. The simulations were made by varying two types of selection: elitism with and without elitism, considering the efficiency indicators: Average Relative Error (EMR), Relative Error (RE) and Objective Function (OF), where the results of the Network proved best for the relative error (RE) with elitism in four maneuvers. In network B, the best indicator of efficiency for the calibration of the four maneuvers was the mean relative error (EMR) with elitism and the indicators Relative Error (RE) and Objective Function (OF) vary according to the analyzed maneuver. / Atualmente, com base na análise computacional, avaliações mais precisas vêm sendo possíveis em estudos de dimensionamento de redes de abastecimento de água. O transiente hidráulico é um fenômeno que pode afetar toda rede de escoamento forçado. A compreensão deste fenômeno e a constante busca de soluções para evitar seus efeitos danosos acarretam avanços tecnológicos significativos, principalmente através da aplicação dos métodos computacionais. O presente trabalho consiste em utilizar o Método Transiente Inverso (MTI) com um algoritmo genético para a calibração das rugosidades absolutas das tubulações de duas redes de distribuição de água utilizando quatro tipos de manobras diferentes, através de parâmetros genéticos. O estudo foi feito em duas redes fictícias, mas com características físicas de redes reais. Foi analisado a influencia de manobras de válvulas na identificação das rugosidades em tubulações de redes de distribuição de água. As simulações foram feitas variando dois tipos de seleção: com elitismo e sem elitismo, considerando os indicadores de eficiência: Erro Médio Relativo (EMR), Erro Relativo (ER) e Função Objetivo (FO), onde os resultados da Rede A se mostraram melhores para o Erro Relativo (ER) com elitismo nas quatro manobras. Na rede B, o melhor indicador de eficiência para a calibração das quatro manobras foi o Erro Médio Relativo (EMR) com elitismo e que os indicadores Erro Relativo (ER) e Função Objetiva (FO) variam conforme a manobra analisada.

LIMA JÚNIOR, O. A. de. SKMotes : um kernel semipreemptivo para nós de redes de sensores sem fio. 2011. 91 f. Dissertação (mestrado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2011. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2012-02-10T19:02:03Z No. of bitstreams: 1 2011-dis_oalimajunior.pdf: 2767952 bytes, checksum: 003409fd0de13eaaac0200e8f9b5a633 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2012-02-10T19:02:31Z (GMT) No. of bitstreams: 1 2011-dis_oalimajunior.pdf: 2767952 bytes, checksum: 003409fd0de13eaaac0200e8f9b5a633 (MD5) / Made available in DSpace on 2012-02-10T19:02:31Z (GMT). No. of bitstreams: 1 2011-dis_oalimajunior.pdf: 2767952 bytes, checksum: 003409fd0de13eaaac0200e8f9b5a633 (MD5) Previous issue date: 2011-10 / The ever-increasing developments of low-power integrated circuits have made it possible the design of very small low-cost and low-power electronic sensors with wireless communication and computing capabilities. Those devices, in their turn, made it feasible the implementation of the so-called Wireless Sensors Networks (WSN). WSN is a network of such devices (known as nodes), each one having an embedded microcontroller and a communication module which makes it possible the nodes to be used as sensors which process and exchange information with the other nodes, in order to achieve a speci c purpose. Usually, due to the nodes very limited processing power, a very simple operating system (SO) is used to manage the node's processing and communicating capabilities by executing tasks in a concurrent fashion. The SO is a very important part in the design of a WSN and, depending on the concurrence model used on its design, the SO can be divided into two types: event-based or thread-based SO's. Event-based models make it di cult for the programmer to control the execution ow and are not suitable for tasks with long computation time. Thread-based models, on the other hand, present heavy memory use, but have a much simpler programming model and good real-time responses. In this sense, this dissertation proposes a new semi-preemptive SO, called SKMotes has the relatively easy-programming model related to thread-based models and a low memory usage. Despite SKMotes be thread-based, it is not fully preemptive, since at any given time, only a subset of the system's threads is executing as preemptive priority-based tasks and the rest of them remains on hold, which makes for low context usage, since the threads do not need data stack. This approach provides low time response for high-priority threads while at the same time guarantees lower memory usage than that of preemptive kernels. These features make SKMotes very suitable for WSN applications where there is a combination of I/O-oriented tasks and task with long computation times (for example, applications that perform data compression and/or cryptography). After being implemented, SKMotes' performance analysis was carried out by using a specially-designed FPGA-based module, which made it possible to perform CPU-usage measurements as well as threads' time response, with the system on the y. The measurement's results showed that, for the considered test-scenario, SKMotes presents CPU-usage rates equal to preemptive multi-threading approaches but having a lower memory usage (20). / Redes de Sensores sem Fio (RSSFs) são fruto dos recentes avan cos nas tecnologias de sistemas micro-eletro-mecânicos, circuitos integrados de baixa potência e comunicação sem baixa potência. Estes avan ços permitiram a cria ção de min usculos dispositivos computacionais de baixo custo e baixa potência, capazes de monitorar grandezas fí sicas do ambiente e estabelecer comunica ção uns com os outros. Estes dispositivos, denominados n os sensores, são dotados de um microcontrolador simples, elementos sensores, r adio transceptor e fonte de alimenta ção. Desenvolver aplica çoes para RSSFs ée um grande desafio. O sistema operacional (SO) ée um componente essencial de um projeto de uma aplica ção para RSSFs. Em rela ção ao modelo de concorrência, podem-se dividir os SOs em duas categorias: baseados em eventos e baseados em threads. O modelo baseado em eventos cria dificuldades ao programador para controlar os fluxos de execu ção e não se ajusta a problemas com longos perí odos de computação. Por outro lado, o modelo baseado em threads tem alto consumo de mem oria, mas fornece um modelo de programa ção mais simples e com bons tempos de resposta. Dentro desse contexto, esta disserta ção propõe um novo SO para RSSFs, chamado SKMotes, que explora as facilidades de programa ção do modelo threads aliadas a baixa ocupa ção de mem oria. Este SO utiliza um modelo de concorrência baseado em threads, mas não completamente preemptivo, pois em dado momento apenas um subconjunto das threads do sistema est a executando no modo preemptivo baseado em prioridades. O restante das threads permanece em espera, ocupando apenas um contexto m nimo de execu ção, que não contempla a pilha de dados. O principal objetivo desse modelo é prover tempos de resposta baixos para threads de alta prioridade, ao mesmo tempo que garante baixo consumo de energia e ocupa ção de mem oria mais baixa do que kernels preemptivos. Estas caracter sticas permitem que o SKMotes seja empregado em aplica ções de RSSFs que utilizem um conjunto de tarefas orientadas a E/S e a longos per íodos de computação. Por exemplo, aplica ções de RSSFs que realizem fun ções de compressão de dados, criptogra a, dentre outras. A avalia ção de desempenho do SO proposto foi realizada em um ambiente de testes, baseado em uma FPGA, projetado para esta disserta ção, que permite realizar medi ções da utiliza ção da CPU e do tempo de resposta das threads, ao mesmo tempo em que interage com a plataforma do n o sensor atrav es da interface de comunica ção serial. Este ambiente de testes pode ser reutilizado em diferentes cen arios de avaliação de desempenho de sistemas computacionais baseados em microcontroladores. Os testes de avalia ção de desempenho mostram que, para os casos de teste realizados, o SKMotes apresenta ocupa ção do processador equivalente as solu ções baseadas em multithreading preemptivo, mas com consumo de mem oria de dados, em m edia, 20% menor. Al em disso, o SKMotes e capaz de garantir tempos de respostas, em m edia, 34% inferiores as solu ções baseadas em kernels de eventos. Quando se avalia apenas os casos de teste que possuem threads orientadas a E/S e a longos per odos de computação, o tempo de resposta chega a ser, em m edia, 63% inferior ao apresentado por kernels baseados em eventos.

BARBOSA, R. C. Aplicação da metaheurística algoritmo genético na otimização das rotas de entregas da distribuição física de produtos no município de Fortaleza. 90 f. 2014. Dissertação (Mestrado em Logística e Pesquisa Operacional) – Pró-Reitoria de Pesquisa e Pós-Graduação, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-02-01T11:43:51Z No. of bitstreams: 1 2014_dis_rcbarbosa.pdf: 3702015 bytes, checksum: 5fa65b50402f0134e50e77927eda96eb (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-02-01T16:24:05Z (GMT) No. of bitstreams: 1 2014_dis_rcbarbosa.pdf: 3702015 bytes, checksum: 5fa65b50402f0134e50e77927eda96eb (MD5) / Made available in DSpace on 2016-02-01T16:24:05Z (GMT). No. of bitstreams: 1 2014_dis_rcbarbosa.pdf: 3702015 bytes, checksum: 5fa65b50402f0134e50e77927eda96eb (MD5) Previous issue date: 2014-07-31 / The continuous growth of populations and their concentration in great urban centers is reflected in an increasing demand for products and services in such areas. However, the distribution of a range of different products within the same geographic area, in many cases relying on the same transportation infrastructure, is becoming ever more complex and costly. The purpose of this study was to develop and test an application based on metaheuristic Genetic Algorithms (GA) designed to optimize the logistics of product distribution and delivery. In the literature this is known as the Travelling Salesman Problem (TSP) of the NPhard class. The method was initially tested on small and intermediate problems from the TSP library. Performance was satisfactory within an acceptable computational time. Subsequently, the method was tested in a real-life scenario: a specialized product distributor in Fortaleza (Northeastern Brazil). Again, results were satisfactory as the method was able to optimize the logistics of all the distributor’s delivery routes. / O contínuo crescimento das populações e a concentração nos centros urbanos fazem com que a demanda por produtos e serviços também cresça nestas regiões. Entretanto, dentro de um mesmo espaço geográfico, e em muitos casos, com a mesma infraestrutura de transporte disponível, a distribuição física de produtos torna-se uma atividade cada vez mais complexa e onerosa. O objetivo deste trabalho foi propor uma aplicação baseada na Metaheurística Algoritimos Genéticos (AG), para ser utilizada em serviços de distribuição física de produtos a fim de obter maior eficiência logística na construção da sequência de entregas. Na literatura este problema é conhecido como uma variante do Problema do Caixeiro Viajante (PCV), e pertence à classe NP-Hard. O método foi testado em problemas de pequeno e médio porte da TSP-LIBRARY. Os resultados foram obtidos com desempenho satisfatório num tempo computacional aceitável. Para aplicação prática, foi considerada uma empresa especialista em distribuição de produtos com atuação no município de Fortaleza. Os resultados dos testes práticos foram aceitáveis, uma vez que o método conseguiu otimizar todas as rotas observadas e praticadas pela empresa.