Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2016. / Made available in DSpace on 2017-05-02T04:12:34Z (GMT). No. of bitstreams: 1 345228.pdf: 2456245 bytes, checksum: 8a93eaf6ebf886bec3c4c85de820db74 (MD5) Previous issue date: 2016 / O constante aumento da complexidade de sistemas embarcados requer um processo de verificação capaz de acompanhar esse crescimento e ser capaz de assegurar o correto funcionamento do sistema projetado, especialmente se tratando de aplicações críticas que lidem com vidas humanas ou com grandes investimentos. Esta responsabilidade por parte das companhias que desenvolvem tais sistemas faz com que a verificação se torne a parte mais importante no projeto de um sistema, consumindo a maior parte dos seus recursos, tanto em questão de tempo quanto financeiramente. A verificação realizada através de simulações requer a participação de um engenheiro de verificação analisando os resultados e com base nestes, modificando parâmetros para gerar novos testes. Neste trabalho é apresentada uma abordagem para uso de Algoritmos Genéticos no processo de verificação, de forma a automatizar a geração de novos vetores de teste. Esta abordagem analisa os resultados com base nas métricas de verificação definidas durante a fase de planejamento do projeto, e com estas informações gera novos testes que contribuam para a validação do sistema, adaptando-se ao funcionamento do sistema e aos resultados de cada nova iteração do processo de verificação.<br> / Abstract : The growing increase in embedded systems complexity requires a verification process to be able to follow this trend while capable of assuring the correctness of the designed system, especially on critical applications that deal with human lives, or big financial investments. This responsibility incurred by these system's developers makes verification the most important step in designing an embedded system, considering both development time and money. Simulation-based verification requires an engineer's work by analyzing results and creating new test vectors relevant to the process. In this work an approach for automating test vector generation through Genetic Algorithms is presented. This approach analyzes test results based on predefined verification metrics and, with this information creates new tests that aim on advancing the verification process to reach a better system validation, adapting itself to the design and its results at each step of the process.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2008 / Bibliografia: f 63-66. / Neste trabalho apresentamos um estudo que visa reduzir o erro na identificação de falsificações em sistemas de verificação de assinaturas off-line através do agrupamento de classificadores (ensembles). Num total, quatro características (Distribuição de Pi / In this work we discuss the use of ensemble of classifiers based on graphometric features to improve the reliability of the classification, hence reducing the false acceptance for signature verification systems. The ensemble was built using a standard gen

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.

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.

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.

COSTA, L H. M. Utilização de um algoritmo genético híbrido na operação de sistemas de abastecimento de água com ênfase na eficiência energética. 2010. 146 f. Tese (Doutorado em Engenharia Civil: Recursos Hídricos) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2010. / Submitted by Hohana Sanders (hohanasanders@hotmail.com) on 2016-04-27T18:31:30Z No. of bitstreams: 1 2010_tese_lhmcosta.pdf: 4002955 bytes, checksum: ba71d922a311f1418ada14a519538663 (MD5) / Approved for entry into archive by Marlene Sousa (mmarlene@ufc.br) on 2016-05-27T19:16:29Z (GMT) No. of bitstreams: 1 2010_tese_lhmcosta.pdf: 4002955 bytes, checksum: ba71d922a311f1418ada14a519538663 (MD5) / Made available in DSpace on 2016-05-27T19:16:29Z (GMT). No. of bitstreams: 1 2010_tese_lhmcosta.pdf: 4002955 bytes, checksum: ba71d922a311f1418ada14a519538663 (MD5) Previous issue date: 2010-05-31 / Use of hybrid genetic algorithm in the operation in water supply system considering energy efficiency. Fortaleza, 2010. 146 p. Thesis (Doctorate) - Federal University of Ceará, Fortaleza, 2010. In general, operational rules applied to water distribution systems are created to assure continuity of the public water supply, without taking into account variations of the energy costs during a day. This causes an elevation of the energy costs due to the pumps. Furthermore besides rational use of energy by the pumps, there are other aspects which should be considered in order to achieve an optimized operation of a water transmission system, such as the daily variation of the water demand and the requirements regarded minimum and maximum water levels in the tanks and pressure requirements in the nodes of the water network. The objective of the present work is to develop a computer code which will determine on optimized operation rule for the system which will reach minimum costs of energy used by the pumps. The system is based in the use of Genetic Algorithms (GA) and the hydraulic network computer system EPANET. The GA for of the system is responsible for the search for rules of low energy costs and the hydraulic calculations are done by EPANET. Besides, one major innovation proposed by this research is the introduction of the Hybrid Genetic Algorithm which in order to reduce the stochastic standard aspect of the GA. The proposed methodology was applied to three study cases: two hypothetical and one real which was located in the city of the Ourém, Portugal. The results of these three study cases clearly show the superiority of the hydrid GA over the standard GA. The hybrid GA not only obtained better solution but also took much less time to run. Finally, it is expected that the use of this methodology will lead to more real time applications. / Utilização de um algoritmo genético híbrido na operação de sistemas de abastecimento de água com ênfase na eficiência energética. Fortaleza, 2010. 146 p. Tese (Doutorado) - Universidade Federal do Ceará, Fortaleza, 2010. Em geral, as regras operacionais dos Sistemas de Abastecimento de Água (SAAs) visam à garantia da continuidade do abastecimento público, sem a consideração da variação da tarifa energética ao longo do dia. Este fato ocasiona o aumento do custo energético gerado pelos motores das bombas em funcionamento. Entretanto, além da utilização eficiente da tarifa energética, outros aspectos devem ser considerados na operação de um SAA tais como, a gama de combinações possíveis de regras operacionais, a variação da demanda hídrica e a manutenção dos níveis dos reservatórios e das pressões nos pontos de consumo dentro de seus limites préestabelecidos. Isto motivou o desenvolvimento desta pesquisa, que tem como objetivo fornecer ao operador condições de operacionalidade nas estações elevatórias do sistema de forma racional, não dependendo somente de sua experiência profissional. Desta forma, apresenta-se neste trabalho um modelo computacional de apoio à tomada de decisão com vistas à minimização dos gastos com energia elétrica. Para tanto, fundamenta-se na junção da técnica dos Algoritmos Genéticos (AGs) e do simulador hidráulico EPANET. O AG é responsável pela busca de estratégias operacionais com custo energético reduzido, enquanto que a avaliação do desempenho hidráulico dessas estratégias é feita pelo EPANET. Além disso, devido à alta aleatoriedade característica dos AGs, foi incorporado ao mesmo um conjunto de algoritmos determinísticos visando tornar o processo o menos estocástico possível. Com o acoplamento destes algoritmos ao AG padrão desenvolveu-se um Algoritmo Genético Híbrido (AGH). A metodologia proposta foi avaliada por meio de três estudos de casos, sendo dois hipotéticos e um real, localizado na cidade de Ourém, em Portugal. Os resultados obtidos nos três estudos de caso demonstram a superioridade do AGH em relação ao AG padrão, tanto pelo encontro de melhores soluções, como na redução considerável do tempo computacional demandado para tal feito. Finalmente, espera-se que o desenvolvimento dessa metodologia possa contribuir para o uso de modelos de otimização na operação de SAAs em tempo real.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T16:05:26Z (GMT). No. of bitstreams: 1 195928.pdf: 2356678 bytes, checksum: 164754abb834f5498d839239ae33e9d7 (MD5) / Problemas combinatorias são utilizados em muitas áreas de pesquisa, devido a sua simplicidade de compreensão e a sua aplicabilidade prática em vários domínios. Porém são intratáveis devido ao elevado tempo de processamento e de armazenamento de dados, sendo assim conhecidos e classificados como problemas NP-completos. Visando resolver estes problemas, diversos algoritmos têm sido propostos ao longo de vários anos de estudo, entre eles os Algoritmos Genéticos (AG) e o Algoritmo Simulated Annealing (SA). Estes algoritmos dão um tratamento polinomial aos problemas de otimização, buscando uma boa solução próxima a ótima em um tempo de processamento aceitável. Este trabalho concentra-se no estudo do AG e do SA aplicados ao clássico "Problema do Caixeiro Viajante". Propõe-se uma abordagem híbrida baseada no desenvolvimento do algoritmo SA em ambiente distribuído acrescido do operador "crossover" dos AG. A utilização em conjunto destas abordagens busca aumentar a potencialidade de obtenção de melhores resultados quando aplicados a problemas de otimização, sendo avaliado através de testes computacionais com instâncias públicas disponíveis via internet e instâncias construídas, também com suas soluções, conhecidas a priori.

Dissertação (mestrado) - Univesidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T21:29:30Z (GMT). No. of bitstreams: 1 199823.pdf: 476183 bytes, checksum: 77435484658bb78956b75067dd586087 (MD5) / Neste trabalho apresentaremos o desenvolvimento de uma biblioteca de funções de Algoritmos Genéticos (AG) utilizando o paradigma da passagem de mensagens. Isto torna viável a sua utilização em sistemas distribuídos, mais especificamente em cluster de computadores. Algoritmos Genéticos são reconhecidos por sua eficiência na área de otimização e tem aplicações nas mais diversas áreas do conhecimento. O protótipo apresentado define uma interface de acesso ao usuário onde ele pode implementar suas aplicações e depois executá-las sobre um ambiente paralelo de forma fácil e transparente.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-19T21:24:39Z (GMT). No. of bitstreams: 1 196454.pdf: 1261320 bytes, checksum: a16a4cc179fc3ab1959742a72e1344a2 (MD5) / Sistemas de produção de grandes dimensões e complexos, compostos por múltiplos subsistemas de complexidade igualmente elevada, têm como uma de suas características a dificuldade em se determinar um plano ótimo de operações de longo prazo onde as intervenções para manutenção preventiva nos subsistemas sejam, do ponto de vista do resultado econômico geral, previstas para o momento realmente mais adequado. Neste trabalho é desenvolvida uma ferramenta de apoio às decisões relacionadas com a definição do planejamento das paradas de subsistemas produtivos para manutenção preventiva, considerando de forma central os aspectos relacionados com a produção e o mercado. A ferramenta desenvolvida emprega dois submodelos onde são solucionadas seqüencialmente etapas distintas do problema. Na primeira, utilizando-se de um modelo de programação linear, desenvolve-se uma base de dados formada a partir de soluções para o plano de produção em cada possível configuração de paradas nos subsistemas. Na segunda etapa, a partir da base de dados gerada inicialmente, o plano de paradas é obtido por meio da aplicação da técnica de algoritmo genético. Posteriormente, utilizando-se o estudo de caso de uma refinaria de petróleo, a metodologia desenvolvida é testada. Através de análises de sensibilidade com a alteração de parâmetros, a consistência das soluções obtidas é verificada e as conclusões e possibilidades de desenvolvimento são apresentadas.