Submitted by Maike Costa (maiksebas@gmail.com) on 2016-04-25T13:32:58Z No. of bitstreams: 1 arquivo total.pdf: 4525999 bytes, checksum: 439ef786ba011b8d141d0b5a92537aa3 (MD5) / Made available in DSpace on 2016-04-25T13:32:58Z (GMT). No. of bitstreams: 1 arquivo total.pdf: 4525999 bytes, checksum: 439ef786ba011b8d141d0b5a92537aa3 (MD5) Previous issue date: 2015-05-28 / The airlines that operate regular ights de ne in advance the airports to be operated and the landing and takeo schedule of its aircraft. This scheduling is likely to su er interruptions causing nancial losses due to delays and/or cancellations of ights. In these situations, the airlines usually use the experience of their professionals and seek to minimize the impacts by relocating the aircraft, crew and then passengers. There is no guarantee that such method will lead to good results from an economic point of view, especially in periods of high demands of passengers. Due to this di culty, several authors have studied the Airline Recovery Problem using di erent optimization techniques. This problem is basically composed of three sub-problems: Aircraft Recovery Problem (ARP), Crew Recovery Problem (CRP) and Passenger Recovery Problem (PRP). In order to de- ne the new least-cost aircraft scheduling of a Brazilian airline (in operation interruption situations) due to delays and/or cancellations of ights, this research presents an ARP solution proposal starting from the representation of ights through a network time-space and mathematical modeling analogous to the minimum cost ow problem. To analyze the ARP, data was used from a Brazilian airline for building the time-space networks with bands of 30, 20 and 15 minutes, and 100 instances were utilized to simulate the unavailability of up to 3 aircraft on di erent nodes of such networks. The solutions based on these bands were solved via Integer Linear Programming and with average improvements of 38.24%, 40.44% and 41.15%, respectively, with respect to the trivial solutions. The band of 15 min was more appropriate because it provided a more realistic analysis of takeo s and landings events and resulted in a greater di erence, on average, between the optimal solutions and the trivial ones. Other 95 instances were tested for a time-space network with 15 min band and a spare aircraft located at the busiest airport. In this case the results were 38.68% better than the situation without a spare aircraft, but it was not conclusive because an economic feasibility analysis on the acquisition and deployment of a new aircraft in the eet must be performed. / As companhias a ereas de voos regulares possuem previamente de nidos os aeroportos que ser~ao operados, os dias e os hor arios de pouso e decolagem das suas aeronaves. E poss vel que essa programa c~ao sofra interrup c~oes e causem preju zos nanceiros devido aos atrasos e/ou cancelamentos dos voos. Nessas situa c~oes, normalmente as companhias a ereas usam a experi^encia dos seus pro ssionais e procuram minimizar os impactos realocando as aeronaves, tripulantes e em seguida os passageiros. N~ao h a garantia que esse m etodo retorne um bom resultado do ponto de vista econ^omico, sobretudo em per odos de grande demanda por passageiros. Mediante essa di culdade, diversos autores t^em estudado o Airline Recovery Problem empregando diferentes t ecnicas de otimiza c~ao. Esse problema e composto basicamente por tr^es subproblemas: Aircraft Recovery Problem (ARP), Crew Recovery Problem (CRP) e Passenger Recovery Problem (PRP). Como forma de de nir o novo sequenciamento das aeronaves de uma companhia a erea brasileira que, em situa c~oes de interrup c~oes das opera c~oes, resulte no menor custo devido aos atrasos e/ou cancelamentos dos voos, esta pesquisa apresenta uma proposta de solu c~ao do ARP a partir da representa c~ao dos voos por uma rede tempo-espa co e modelagem matem atica an aloga ao problema do uxo de custo m nimo. Para a an alise do ARP, foram utilizados dados de uma companhia a erea brasileira para a constru c~ao das redes tempo-espa co com bandas de 30, 20 e 15 minutos e empregadas 100 inst^ancias que simularam a indisponibilidade de at e 3 aeronaves em diferentes n os dessas redes. As solu c~oes baseadas nessas bandas foram resolvidas via Programa c~ao Linear Inteira e apresentaram resultados m edios, respectivamente, 38; 24%; 40; 44% e 41; 15% melhores do que as solu c~oes triviais. A banda de 15 min mostrou-se mais adequada porque possibilitou uma an alise mais realista dos eventos de pousos e decolagens e resultou numa diferen ca m edia maior entre as solu c~oes otimas e as triviais. Outras 95 inst^ancias foram testadas para uma rede tempo-espa co com banda de 15 min e aeronave reserva localizada no aeroporto de maior movimento. O resultado foi 38; 68% melhor do que a situa c~ao sem aeronave reserva, mas n~ao conclusivo por ser necess aria uma an alise de viabilidade econ^omica sobre a aquisi c~ao e disponibiliza c~ao de uma nova aeronave na frota.

Submitted by Aline Batista (alinehb.ufpel@gmail.com) on 2017-03-23T21:50:38Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Têmpera simulada aplicada no mapeamento tecnológico de FPGAs baseadas em LUTs.pdf: 6180241 bytes, checksum: 0999141a1ddfa162736db78d94e29dee (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2017-03-28T20:27:26Z (GMT) No. of bitstreams: 2 Têmpera simulada aplicada no mapeamento tecnológico de FPGAs baseadas em LUTs.pdf: 6180241 bytes, checksum: 0999141a1ddfa162736db78d94e29dee (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-04-05T19:12:51Z (GMT). No. of bitstreams: 2 Têmpera simulada aplicada no mapeamento tecnológico de FPGAs baseadas em LUTs.pdf: 6180241 bytes, checksum: 0999141a1ddfa162736db78d94e29dee (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2015-05-19 / Existem várias técnicas para a otimização de atributos de circuitos integrados. O foco atual dessas técnicas é a minimização da área do circuito em questão. Porém, as técnicas existentes possuem diversas etapas que precisam ser melhoradas, entre elas a etapa de Mapeamento Tecnológico (MT). O Mapeamento Tecnológico é uma etapa crucial no processo de síntese lógica, pois ele define qual conjunto de elementos lógicos serão utilizados para implementar o circuito na tecnologia alvo. Na literatura existem várias abordagens diferentes para otimização da etapa de mapeamento e atualmente as metodologias iterativas estão se popularizado. Esta dissertação propõe uma nova abordagem para o Mapeamento Tecnológico de Field Programmable Gate Arrays (FPGAs), baseada em técnicas de otimização de Inteligência Artificial (IA), mais especificamente a técnica de Têmpera Simulada. A utilização de uma técnica de IA no Mapeamento Tecnológico é uma abordagem promissora pois se diferencia fortemente das técnicas já existentes, devido aos fatores de aleatoriedade em técnicas de otimização baseados em IA. A abordagem elaborada age em uma etapa do mapeamento chamada de cobertura, criando uma solução para o circuito baseada no número de cortes-K necessários para uma cobertura total do mesmo. Cada corte-K pode ser diretamente relacionado a uma Look-Up Table(LUT) da tecnologia FPGA, permitindo assim a geração de um circuito com a lógica equivalente a requisitada. Essa abordagem foi implementada na ferramenta FlexMap, a qual é um framework para o desenvolvimento de métodos para o MT. Foram realizados testes em 85 benchmarks dos pacotes ISCAS85 e MCNC91, amplamente conhecidos na área e frequentemente utilizados para testes de desempenho de novas abordagens. Os testes realizados apresentaram resultados promissores, mostrando que a abordagem desenvolvida consegue encontrar soluções comparáveis em vários casos a ferramenta ABC, considerada estado-da-arte no processo de MT. Os resultados obtidos pela abordagem proposta obtiveram melhoras em aproximadamente 19% dos casos avaliados com K=4 e 26% dos casos com K=5 sobre os resultados do ABC. / Currently there are several techniques for integrated circuit’s atribute optimization. The current focus of these techniques is to minimize the area of the given circuit. These current techniques, however, have several stages that need improvement, including the Technology Mapping stage. The technology mapping is a crucial step in the logic synthesis process, because it de?nes which set of logic elements will be used to implement the circuit in the target technology. In the literature there are several different approaches to optimize the mapping stage and currently iterative methodologies are becoming popular. This dissertation proposes a new approach to Technology Mapping of Field Programmable Gate Arrays (FPGAs), based on optimization techniques using Arti?cial Intelligence (AI), more speci?cally the Simulated Annealing technique, in order to propose an alternative solution to the problem. The utilization of an AI technique in technology mapping is promissing approach because it strongly differs from existing techniques due to the randomness factors in optimization techniques based on AI. The developed approach acts on the mapping stage called coverage, creating a solution for the circuit based on the number of k-cuts needed for a complete coverage. Each k-cut can be directly related to a FPGA’s Look-Up Table (LUT), allowing the generation of a circuit equivalent to the required logic. This approach has been implemented in the FlexMap tool, which is a framework for developing Technology Mapping methods. Tests were performed in 85 benchmarks of the ISCAS85 and MCNC91 packages, widely known in the area and commonly used for performance testing of new approaches. The tests conducted in the implemented approach had promising results, showing that the developed technique can ?nd solutions comparable in several cases to the ABC tool, which is considered state-of-the-art in the Technology Mapping process. The results obtained by the proposed approach obtained improvements in approximately 19% of the evaluated benchmarks with K=4 and 26% with K=5 over ABC’s results.