Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-01-31T14:48:27Z No. of bitstreams: 1 Roberto da Silva Araujo_.pdf: 903723 bytes, checksum: ae702a685139c36126c0bfef5f707282 (MD5) / Made available in DSpace on 2018-01-31T14:48:27Z (GMT). No. of bitstreams: 1 Roberto da Silva Araujo_.pdf: 903723 bytes, checksum: ae702a685139c36126c0bfef5f707282 (MD5) Previous issue date: 2017-10-31 / Nenhuma / Neste trabalho é apresentado um Algoritmo Híbrido (AH) aplicado ao Problema de Roteamento de Veículos com Múltiplos Depósitos e Frota Heterogênea (PRVMDFH). Um conjunto de clientes é atendido por um número fixo de veículos de diferentes tamanhos, por múltiplos depósitos, sujeito a restrições da capacidade do veículo. As meta-heurísticas utilizadas na construção do AH são o Algoritmo Genético (AG) e a Busca Tabu (BT). O AG usa operadores de cruzamento Mapeado Parcialmente (PMX), Cromossomo de Duas Partes (TCX) e de Ordem (OX), o operador de mutação Troca e o Algoritmo de Busca Local (ABL). A BT usa os métodos de Troca, Retirada e Inserção e Deslocamento. São analisadas as políticas de diversificação no ABL e a intensificação com as estratégias de geração de vizinhança na BT. São utilizados conjuntos de dados padrões de problemas testes, para executar os algoritmos propostos. Os resultados obtidos, comparados a outros autores, apresentaram boas soluções para diferentes tamanhos de problemas testes. / This paper presents a Hybrid Algorithm (AH) applied to the Problem of Vehicle Routing with Multiple-Deposit and Heterogeneous Fleet (MDFHPRV). A number of customers are served with a fixed number of vehicles of different sizes by multi-depot, subject to capacity constraints of the vehicle. The meta-heuristics used in AH construction are Genetic Algorithm (GA) and Tabu Search (BT). The AG uses Partial Mapped Crossover (PMX), Two Part Chromosome Crossover (TCX) and Order Crossover (OX) operators, the Exchange mutation operator, and the Local Search Algorithm (ABL). BT uses the Exchange, Retrieve, and Insertion and Displacement methods. Diversification policies was analyzed in the ABL and the intensification with the neighborhood generation strategies in BT. Standard sets of test problems are used to execute the proposed algorithms. The obtained results, compared to other authors, presented good solutions for different sizes of test problems.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-04-12T13:49:50Z No. of bitstreams: 1 Deborah Luisa Detânico Vieira_.pdf: 1504339 bytes, checksum: 49a2adc770aff79d216c818e22dea099 (MD5) / Made available in DSpace on 2018-04-12T13:49:50Z (GMT). No. of bitstreams: 1 Deborah Luisa Detânico Vieira_.pdf: 1504339 bytes, checksum: 49a2adc770aff79d216c818e22dea099 (MD5) Previous issue date: 2017-05-17 / Nenhuma / Com a crescente demanda de serviços de voz e, principalmente, dados móveis se fez necessário o desenvolvimento das tecnologias de quarta geração (4G). O padrão Long Term Evolution (LTE), desenvolvido pela Third Generation Partnership Project (3GPP), foi escolhido pela International Telecommunications Union (ITU) como tecnologia para atender os requisitos da quarta geração de serviços móveis. Para as operadoras inserirem esta nova tecnologia em suas redes existentes, se faz necessário um estudo meticuloso de planejamento, muito embora, na prática, este planejamento seja desenvolvido de forma empírica. O problema de planejamento de redes é conhecido e bem estudado no ramo da computação, conhecido como problema de recobrimento de conjuntos e classificado, pela sua complexidade, como NP-difícil. Dadas as características diferenciadas da arquitetura da rede do LTE, este trabalho busca resolver o problema de planejamento de redes de quarta geração (4G), utilizando uma modelagem matemática aplicada a uma metaheurística híbrida, composta de Algoritmo Genético e Busca Tabu. Almejase resolver o problema de cobertura de uma determinada região, cobrindo a maior área possível com o menor número possível de Base Stations (BS), visando ao planejamento com maior assertividade e redução do custo de implantação da rede 4G. / With the constantly demand of voice services and mostly in mobile data, there was the need the development of the mobile services of fourth generation (4G). The pattern Long Term Evolution, developed by the Third Generation Partnership Project (3GPP) was chosen by the International Telecommunications Union (ITU) as technology to attend the requirements of the fourth generation of mobile services. For the mobile operators introduce and apply this new generation in their own existing networks, they need to do an extensive research and planning, even if, in practical means, it is applied using the empirical way. The network planning problem is widely known and studied in computing area as set-covering problem ans classified as NPhard. Due the unique characteristics of network architecture of LTE, this work aims to solve the mobile’s fourth generation planning problem using a mathematics modelling apply to a hybrid metaheuristics, composed with Genetic Algorithm and Tabu Search. It aims solve the coverage problem of a specific region, covering the largest area possible with the fewest number of Base Sations (BS) possible, seeking the best compliance and cost reduction of the LTE network deployment.

Submitted by William Justo Figueiro (williamjf) on 2015-07-08T20:56:12Z No. of bitstreams: 1 03b.pdf: 3126214 bytes, checksum: 0f98dbf86ae74816af91944aa7dec80f (MD5) / Made available in DSpace on 2015-07-08T20:56:12Z (GMT). No. of bitstreams: 1 03b.pdf: 3126214 bytes, checksum: 0f98dbf86ae74816af91944aa7dec80f (MD5) Previous issue date: 2013 / Nenhuma / A qualidade perceptual alcançada pelos codificadores de áudio depende diretamente da escolha de seus parâmetros. O codificador MPEG-4 AAC (Advanced Audio Coding), utilizado no Sistema Brasileiro de Televisão Digital (SBTVD), possui em sua estrutura uma etapa composta por um laço de iteração para escolher os parâmetros do codificador, de maneira dinâmica durante o processo de codificação. Este processo de escolha pode ser definido como um problema de Pesquisa Operacional, sendo um problema de Seleção de Partes, denominado como o Problema de Codificação AAC. A estrutura existente no codificador de referência, não resolve este problema de maneira ótima. Desta forma, este trabalho propõe o desenvolvimento e implementação de um modelo de uma estrutura de simulação, para encontrar os parâmetros do codificador de áudio MPEG-4 AAC, de maneira a otimizar a qualidade perceptual do áudio, para uma determinada taxa de bits (bit rate). A implementação da estrutura de otimização foi desenvolvida em linguagem C, utilizando as metaheurísticas Busca Tabu e Algoritmo Genético em uma estrutura híbrida. Através da minimização da métrica ANMR (Average Noise-to-Mask Ratio), o algoritmo procura identificar a melhor configuração dos parâmetros internos do codificador MPEG-4 AAC, de maneira que possa garantir uma qualidade perceptual para o sinal áudio. Os resultados obtidos utilizando a estrutura híbrida de otimização apresentaram valores menores para a métrica ANMR, ou seja, uma melhor qualidade perceptual de áudio, quando comparados com os resultados obtidos com o codificador de referência MPEG-4 AAC. / The perceptual quality achieved by audio encoders depends directly on the choice of its parameters. The MPEG-4 AAC (Advanced Audio Coding), used in the Brazilian Digital Television System (BDTS), has a step in its structure that consists in iteration loop to choose the parameters of the encoder dynamically during the encoding process. This selection process can be defined as a problem of Operational Research, being a Part Selection Problem, termed as AAC Encoding Problem. The structure in the reference encoder not solves this problem optimally. Thus, this paper proposes the development and implementation of a model simulation of a structure, to find the internal parameters of the MPEG-4 AAC audio encoder, so as to optimize the perceptual audio quality for a given bit rate. The implementation of the optimization framework was developed in ANSI C programming language, using the Tabu Search and Genetic Algorithm metaheuristics in a hybrid structure. Through the minimization of the ANMR (Average Noise-to-Mask Ratio) metric, the algorithm tries to identify the best configuration of internal parameters of the MPEG-4 AAC. The results obtained using the optimization hybrid structure achieve lower values for the ANMR metric, i.e., an better perceptual audio quality, compared with the obtained with the reference encoder MPEG-4 AAC.

Submitted by Fabricia Fialho Reginato (fabriciar) on 2015-07-28T22:46:54Z No. of bitstreams: 1 JamesBrum.pdf: 2178179 bytes, checksum: 22c4d2e31ff012df7823bad3151fc4de (MD5) / Made available in DSpace on 2015-07-28T22:46:54Z (GMT). No. of bitstreams: 1 JamesBrum.pdf: 2178179 bytes, checksum: 22c4d2e31ff012df7823bad3151fc4de (MD5) Previous issue date: 2014 / PROCERGS – Cia de Processamento Dados do Estado Rio Grande Sul / Este trabalho apresenta o desenvolvimento de um protótipo de software, utilizando metaheurísticas por meio de um Algoritmo Memético, para a Geração de Grade de Programação de intervenções comerciais aplicada à TV Digital e a IPTV. O problema apresenta-se como uma linha de tempo na grade televisiva com sua programação onde estão definidos horários de intervenção em que grupos de comerciais devem ser exibidos. A organização destes comerciais nas intervenções obedecem a um conjunto de requisitos que devem ser otimizados como: a taxa de retorno, adequação ao público alvo, e utilização da largura de banda do servidor e também de restrições como: a classificação indicativa, número de exibições do comercial e adequação à programação. Neste contexto são considerados os problemas de Seleção de Partes e de Timetabling para a elaboração do protótipo, abordando sua solução com a utilização de um Algoritmo Memético, desenvolvido aplicando as metaheurísticas de Algoritmos Genéticos e de Busca Tabu. O resultado obtido foi a geração de uma ferramenta computacional que viabilizou o gerenciamento da inserção de comerciais nas grades de programação, através da obtenção de soluções de boa qualidade. / This paper shows the development of a software prototype using metaheuristics via a memetic algorithm to generation of the Grid Programming of ads interventions applied to Digital TV and IPTV. This problem is presented as a timeline in a TV programing with intervals of interventions where ads groups should be displayed. The organization of these interventions ads groups follow a set of requirements that must be optimized as: the rate of return, appropriateness to the target audience, and use of the bandwidth of the server, and also restrictions like: parental rating, number of views of each ad, time box of the intervention and fitness programming. In this context are considered the problems of Selection Parties and Timetabling for build the prototype and approach the solution using a memetic algorithm developed by applying the metaheuristic Genetic Algorithms and Tabu Search. The resulted was the generation of a computational tool that allows the insertion of ads management in grids programming, by obtaining good quality solutins.

Submitted by Fabricia Fialho Reginato (fabriciar) on 2015-08-26T23:36:04Z No. of bitstreams: 1 ToniWickert.pdf: 3748993 bytes, checksum: d136cd157ac0c38a4b63acbf5d54142d (MD5) / Made available in DSpace on 2015-08-26T23:36:04Z (GMT). No. of bitstreams: 1 ToniWickert.pdf: 3748993 bytes, checksum: d136cd157ac0c38a4b63acbf5d54142d (MD5) Previous issue date: 2012-10-04 / Nenhuma / A televisão analógica aberta atinge aproximadamente 97% dos lares brasileiros. Com o advento do Sistema Brasileiro de Televisão Digital (SBTVD) os usuários terão a possibilidade de ter um canal de interatividade. Dessa forma, será possível ter acesso ao servidor de aplicações multimídia, ou seja, haverá a possibilidade de enviar ou receber e-mails, acessar aplicações interativas, assistir filmes ou notícias específicas. A Plataforma Digiconv tem como objetivo a geração de conteúdo digital para TV Digital, IPTV e dispositivos móveis. Esse trabalho apresenta o desenvolvimento e a implementação de um sistema dividido em dois módulos, o módulo de sugestão de conteúdo tem como objetivo sugerir conteúdos ao usuário, de acordo com o seu perfil, através do uso de agentes de software e ontologias. Nesse módulo, foi desenvolvido um sistema para sugestão com filtragem baseada em conteúdo, dessa forma, o sistema encontra conteúdos semelhantes àqueles que o usuário escolheu no passado para lhe sugerir. Já o módulo de transmissão de conteúdo, tem como objetivo otimizar os parâmetros de transmissão, que é abordado como um problema de otimização combinatória conhecido como Problema de Seleção de Partes que é classificado como NP-Completo. Nesse módulo formam utilizados agentes de software, Busca Tabu, Algoritmo Genético e um Algoritmo Híbrido com o objetivo de encontrar a melhor política de transmissão dos parâmetros de vídeo (LD, P1, SD, P2 e HD) e dos parâmetros de áudio (áudio estéreo e áudio 5.1). A validação desse módulo foi feita, através da média harmônica da distribuição do link de internet disponível no servidor. O resultado desse trabalho é um sistema com dois módulos, um para sugestão de conteúdo e outro módulo que define a melhor política de transmissão do conteúdo. / The open analogic television arrives on approximately 97% of Brazilian homes. With the advent of the Brazilian Digital Television System (SBTVD) users will be able to have an interactive channel. That way, users can access the multimedia applications server, to send or receive emails, access interactive applications, watch movies or specific news. The Digiconv Platform aims to generate digital content to Digital TV, IPTV and mobile devices. This work presents the development and implementation of an architecture divided into two modules, the content suggestion module aims to suggest content to the user, according to his profile, through the use of software agents and ontologies. In this module, a system was developed using content-based filtering, thus the system find similar content to suggest according to the content that the user liked in the past. The content transmission module aims to optimize the transmission parameters, which is addressed as a combinatorial optimization problem known as Part-Selection Problem that is classified as NPComplete. In this module, were used software agents, Tabu Search, Genetic Algorithm and Hybrid Algorithm with the goal to find the best transmission policy of the video parameters (LD, P1, SD, HD and P2) and the audio parameters (stereo audio and 5.1 audio). The validation of this module is done through the harmonic mean of the distribution of the internet link available on the server. The result of this work is a system with two modules, one module suggest content and the other module defines the best content transmission policy.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-06-10T15:26:09Z No. of bitstreams: 1 Joel da Silva Gonçalves Júnior_.pdf: 1935811 bytes, checksum: 2c6b67ad91c1de26271d67142ef7721b (MD5) / Made available in DSpace on 2016-06-10T15:26:09Z (GMT). No. of bitstreams: 1 Joel da Silva Gonçalves Júnior_.pdf: 1935811 bytes, checksum: 2c6b67ad91c1de26271d67142ef7721b (MD5) Previous issue date: 2016-03-07 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O transporte marítimo mercante desempenha um papel fundamental para a economia de uma nação, ligando a produção ao consumo. No cenário de expansão do transporte marítimo, a utilização de contêineres para organização das cargas confere maior facilidade, segurança e rapidez ao transporte, aumentando, assim, a produtividade dos terminais e dos navios. No entanto, a operação de navios porta-contêineres possui limitações de movimentação e de estabilidade que impactam no custo operacional de um terminal portuário. Como os guindastes só podem acessar as pilhas de contêineres a partir do topo, a realização de remoções desnecessárias de contêineres bloqueantes gera um custo adicional de movimentação e de tempo nas operações de carga e descarga. Desta forma, faz-se necessária a elaboração de um plano de estiva eficiente para estas atividades, minimizando tanto os remanejamentos quanto a instabilidade da embarcação. Este estudo propõe uma abordagem híbrida, elaborada através da combinação das metaheurísticas Algoritmo Genético e Busca Tabu, utilizando a codificação da solução baseada em regras, a fim de elaborar uma ferramenta computacional que faça a gestão do número de remanejamentos e da instabilidade da embarcação, que são objetivos conflitantes. Nos experimentos, as metaheurísticas puras foram comparadas ao algoritmo híbrido e os resultados comprovaram que a aplicação hibridizada apresenta uma eficiência maior do que as metaheurísticas puras. As diferentes configurações de regras assumidas mostraram que a proposta de um número maior de regras, em complemento àquelas propostas na literatura, implica em melhores resultados. Através da aplicação da abordagem com múltiplos objetivos, foi possível observar a importância de considerar a movimentação e a estabilidade no plano de estiva. Com os resultados obtidos, demonstrou-se que o uso da abordagem proposta gera soluções melhores que as encontradas até o momento na literatura. / The merchant shipping perform a fundamental role in the economy of a nation, by linking production to consumption. In shipping expansion scenario, the use of containers for cargo organizing provides greater facility, safety and velocity, thus increasing the productivity of terminals and ships. However, the use of container ships has handling and stability limitations that affect the operating cost of a port terminal. As the cranes can only access the container stacks from the top, carrying out unnecessary removals of blocking containers generates an additional cost of handling and time in loading and unloading operations. Thus, it is necessary to elaborate an efficient stowage plan for loading and unloading operations, minimizing both the shifting and the instability of the vessel. This study proposes an hybrid approach developed by the combination of Genetic Algorithms and Tabu Search metaheuristics, using a rules-based encoding for solution representation, in order to create a computational tool that manage both the rehandling and instability, which are conflicting. In the experiments, pure metaheuristics were compared to the hybrid algorithm and the results demonstrate that the hybridization presents greater efficiency than the pure metaheuristics. The different rules configuration have proven that the proposal of a greater number of rules, in addition to those proposed in the literature, implies better results. The application of a multiple objectives approach has proven the importance of considering the handling and stability in the stowage plan. With the results, it was showed that the use of the proposed approach produces better solutions than those found in the literature.

Made available in DSpace on 2016-12-23T14:33:37Z (GMT). No. of bitstreams: 1 dissertacao.pdf: 1052399 bytes, checksum: b17ce224ca3822e277c997fd00bd2c67 (MD5) Previous issue date: 2006-11-29 / Este trabalho apresenta um Sistema Imune Artificial (SIA) para tratar problemas de escalonamento. O Sistema Imunológico Artificial desenvolvido neste projeto baseia-se na estrutura arquitetura e funcionamento dos Sistemas Imunes Biológicos ou Naturais. O uso de Algoritmo Genético (AG) fez-se necessário para gerar os indivíduos a serem escalonados, representando os antígenos e anticorpos do SIA. Cada indivíduo gerado pelo AG representa um conjunto de tarefas processadas em um conjunto de máquinas. Os indivíduos são avaliados por uma função de aptidão que representa o processo de seleção natural. A evolução dos indivíduos e consequentemente das populações são obtidas aplicando-se os operadores genéticos de crossover e mutação. As tarefas e as máquinas, utilizadas para o escalonamento, representa o problema de Job Shop Scheduling (JSS). Ao problema, foram aplicados alguns testes clássicos da literatura, onde se verificou a viabilidade dos SIA para tratamento de problemas de escalonamento. Ainda com os testes, pode-se observar o comportamento do sistema durante toda a execução, possibilitando assim, uma análise criteriosa das funcionalidades do sistema e dos resultados gerados pela massa de teste, observados durante um período de tempo. A representação dos sistemas imunológicos naturais através de algoritmos computacionais tem inspirado pesquisadores de todo o mundo, a motivação é que os sistemas imunológicos possuem características de paralelismo adaptabilidade e aprendizagem, além da possibilidade de serem aplicados em diversos problemas das mais diversas áreas, devido sua portabilid ade. / This work presents an Artificial Immune System (AIS) to deal with problems scheduling. The Artificial Immunologic System developed in this project was based on the structure, architecture and functioning of the Biological or Natural Immune Systems. The use of Genetic Algorithm (GA) became necessary to represent the antibodies and antigens of the AIS. Each individual generated for the GA represented a processed task set library in a set of machines. The evaluation of each individual was given by a fitness function that represents the process of natural selection. The evolution of the individuals, and population as a consequence was obtained by applying the genetic operators of crossover e mutation. The machines and the tasks used for the scheduling represent the problem of Job Shop Scheduling (JSS). Some classic tests of the literature where applied to the problem in order to verify the viability of the AIS on the treatment of task of scheduling problems. Those tests also demonstrated the system s behavior its entire execution, therefore, allowing for a detailed analysis of the system s functionalities sets for certain time period. The representation of the natural immunologic systems through computational algorithms inspires from all over world researchers. The motivation is that the immunologic systems possess parallelism characteristics adaptability and learning, which can be applied in several problems found in many areas, had its portability.

A identificação de parâmetros físicos e geométricos utilizando medições experimentais é um procedimento comum no tratamento de muitos problemas da ciência e engenharia. Neste contexto, a análise inversa apresenta-se como uma importante ferramenta no tratamento desses problemas. Este trabalho apresenta formulações que acoplam o uso do método dos elementos de contorno (MEC) e a técnica de correlação de imagens digitais (CID) (para obtenção dos campos de deslocamentos) na resolução de alguns problemas inversos de interesse para engenharia de estruturas. Implementou-se um código computacional baseado no MEC, em técnicas de regularização e em algoritmo genético, para análise inversa em problemas de identificação das propriedades dos materiais, recuperação das condições de contorno e identificação de parâmetros do modelo coesivo de fraturamento. Exemplos com dados oriundos de uma prévia análise direta (simulando dados experimentais) são apresentados para demonstrar a eficiência das formulações propostas. Ensaios de vigas em flexão em três pontos com entalhe foram realizados com aquisição de imagens para obtenção dos campos de deslocamentos da região de propagação da fissura, via CID. Estes campos foram utilizados para alimentar o modelo inverso proposto. A técnica de CID originou dados em quantidade e precisão suficientes para os fins almejados neste trabalho. A utilização do MEC mostrou-se simples e de grande eficiência para a solução dos problemas inversos tratados. / The identification of physical and geometrical parameters utilizing experimental measurements is a common procedure in treating many problems of science and engineering. In this context, the inverse analysis is an important tool in treating these problems. This work presents formulations that associate the use of boundary element method (BEM) and the technique of digital image correlation (DIC) (for obtaining the displacement fields) in solving some inverse problems of interest to Structure Engineering. A computer code based on the BEM, on regularization techniques and genetic algorithm has been implemented for the treatment of problems such as Identification of material properties, recovery of boundary conditions and identification of cohesive model parameters. Examples with data from a previous direct analysis (simulating experimental data) are presented to demonstrate the effectiveness of the proposed formulations. Three point flexural tests with notch were performed and images were acquired to obtain the displacement fields on one lateral surface of the samples, via DIC. These displacement fields were used to feed the inverse model proposed. The DIC technique resulted in quantitative and accurate data for the purposes of this study. The use of the BEM proved to be simple and efficient in solving the inverse problems treated.

Submitted by Kamila Costa (kamilavasconceloscosta@gmail.com) on 2015-06-15T21:23:16Z No. of bitstreams: 1 Dissertacao-Alessandro B Trindade.pdf: 1833454 bytes, checksum: 132beb74daa71e138bbfcdc0dcf5b174 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-16T15:00:54Z (GMT) No. of bitstreams: 1 Dissertacao-Alessandro B Trindade.pdf: 1833454 bytes, checksum: 132beb74daa71e138bbfcdc0dcf5b174 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-16T15:02:16Z (GMT) No. of bitstreams: 1 Dissertacao-Alessandro B Trindade.pdf: 1833454 bytes, checksum: 132beb74daa71e138bbfcdc0dcf5b174 (MD5) / Made available in DSpace on 2015-06-16T15:02:16Z (GMT). No. of bitstreams: 1 Dissertacao-Alessandro B Trindade.pdf: 1833454 bytes, checksum: 132beb74daa71e138bbfcdc0dcf5b174 (MD5) Previous issue date: 2015-02-09 / Não Informada / When performing hardware/software co-design for embedded systems, does emerge the problem of allocating properly which functions of the system should be implemented in hardware (HW) or in software (SW). This problem is known as HW/SW partitioning and in the last ten years, a significant research effort has been carried out in this area. In this proposed project, we present two new approaches to solve the HW/SW partitioning problem by using SMT-based verification techniques, and comparing the results using the traditional technique of Integer Linear Programming (ILP) and a modern method of optimization by Genetic Algorithm (GA). The goal is to show with experimental results that model checking techniques can be effective, in particular cases, to find the optimal solution of the HW/SW partitioning problem using a state-of-the-art model checker based on Satisfiability Modulo Theories (SMT) solvers, when compared to the traditional techniques. / Quando se realiza um coprojeto de hardware/software para sistemas embarcados, emerge o problema de se decidir qual função do sistema deve ser implementada em hardware (HW) ou em software (SW). Este tipo de problema recebe o nome de particionamento de HW/SW. Na última década, um esforço significante de pesquisa tem sido empregado nesta área. Neste trabalho, são apresentadas duas novas abordagens para resolver o problema de particionamento de HW/SW usando técnicas de verificação formal baseadas nas teorias do módulo da satisfabilidade (SMT). São comparados os resultados obtidos com a tradicional técnica de programação linear inteira (ILP) e com o método moderno de otimização por algoritmo genético (GA). O objetivo é demonstrar, com os resultados empíricos, que as técnicas de verificação de modelos podem ser efetivas, em casos particulares, para encontrar a solução ótima do problema de particionamento de HW/SW usando um verificador de modelos baseado no solucionador SMT, quando comparado com técnicas tradicionais.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-08-24T11:30:17Z No. of bitstreams: 1 Fernanda Lima.pdf: 9275191 bytes, checksum: 7f56bba066e97503f4da03ab7ab861c9 (MD5) / Made available in DSpace on 2017-08-24T11:30:17Z (GMT). No. of bitstreams: 1 Fernanda Lima.pdf: 9275191 bytes, checksum: 7f56bba066e97503f4da03ab7ab861c9 (MD5) Previous issue date: 2015-08-31 / A fuzzy project Takagi-Sugeno (TS) with robust stability based on the specifications of the gain and phase margins via multi-objective genetic algorithm in continuos time domain is proposed in this master thesis. A Fuzzy C-means (FCM) clustering algorithm is used to estimate the antecedent parameters and rules number of a fuzzy TS model by means of the input and output experimental data of the plant to be controlled, while minimum squares algorithm estimate the consequent parameters. A multi-objective genetic strategy is defined to adjust the parameters of a fuzzy PID controller, so that, the gain and phase margins of the fuzzy control system are close to the specified values. Two theorems are proposed to analyse the necessary and sufficient conditions for the fuzzy PID controller design to ensure the robust stability in the close-loop control. The fuzzy PID controller was simulated in the Simulink environment and compared with lead and delay compensator. Experimental results obtained in a control platform in real time to validation the methodology proposed are presented and compared with fuzzy PID controller obtained by the Ziegler Nichols method. The results demonstrate the effectiveness and practical feasibility of the proposed methodology. / Um projeto de controle nebuloso Takagi-Sugeno(TS) com estabilidade robusta baseado nas especificações das margens de ganho e fase via algoritmo genético multiobjetivo no domínio do tempo contínuo é proposto nesta dissertação. Um algoritmo de agrupamento Fuzzy C-Means (FCM) é usado para estimar os parâmetros do antecedente e o número da regras de um modelo nebuloso TS, por meio dos dados experimentais de entrada e de saída da planta a ser controlada, enquanto que o algoritmo de mínimos quadrados estima os parâmetros do consequente. Uma estratégia genética multiobjetiva é definida para ajustar os parâmetros de um controlador PID nebuloso, de modo que, as margens de ganho e fase do sistema de controle nebuloso estejam próximos dos valores especificados. São propostos dois teoremas que analisam as condições necessárias e suficientes para o projeto do controlador PID nebuloso de modo a garantir a estabilidade robusta na malha de controle. O controlador PID nebuloso foi simulado no ambiente Simulink e comparado com compensadores de avanço e de atraso e os resultados analisados. Resultados experimentais obtidos em uma plataforma de controle, em tempo real, para validação da metodologia proposta são apresentados e comparado com controlador PID nebuloso obtido pelo método de Ziegler Nichols. Os resultados obtidos demonstram a eficácia e viabilidade prática da metodologia proposta.