This paper describes the specification and implementation of a computational system entitled Evolutionary Support System for the Analysis of Accounting Statements (ESAAS), which aims to optimize decision making, and uses variations of the genetic algorithm from Holland. In its specification, there is a population formed by chromosomes that are vectors over a ternary alphabet with size corresponding to the number of account statements contained in the type of analysis chosen by the user. The ESAAS diagnoses the financial and economic situation of commercial, industrial companies or service providers, whether they are classified as micro, small, average, average-large or large companies. The diagnosis done by ESAAS was based on the analyzes of liquidity, debt profitability, added value, average terms, vertical and horizontal analyzes; and in the diagnosis of the analytical combination of liquidity, profitability and debt with the vertical analysis, showing as a justification, the influence of each of the accounts or group of financial accounts involved. The system receives as input a set of indexes, total values of the accounts or groups of accounts of financial accounting standards of the company that will be considered in a determinted period, consisting of consecutive years, being considered the minimum of three years. To validate the ESAAS, tests were performed with data obtained from the financial statements from companies in the years 2008, 2009 and 2010. The system was implemented in the eclipse compiler, using the JAVA programming language. The results achieved in the calculation of the quotients obtained in all the seven types of analyzes performed achieved 100% of correctness. Therefore concluding that the ESAAS infers knowledge to decision-making, through diagnostic reports generated. / Este trabalho descreve a especificação e a implementação de um sistema computacional, intitulado de Sistema Evolutivo de Apoio à Análise de Demonstrações Contábeis (SEADC), que visa otimizar a tomada de decisão, e utiliza variações do algoritmo genético de Holland. Possui em sua especificação uma população formada por cromossomos que são vetores sobre um alfabeto ternário, com tamanho correspondente ao número de contas contábeis contidas no tipo de análise escolhida pelo usuário. O SEADC faz o diagnóstico da situação financeira e econômica de empresas comerciais, industriais ou prestadoras de serviço, sejam elas classificadas como micro, pequena, média, média-grande ou grande empresa. O diagnóstico realizado pelo SEADC foi baseado nas análises de liquidez, endividamento, rentabilidade, valor adicionado, prazos médios, análises vertical e horizontal; e no diagnóstico da combinação das análises de liquidez, rentabilidade e endividamento com a análise vertical, mostrando, como justificativa, a influência de cada uma das contas ou grupo de contas contábeis envolvidos. O sistema recebe como entrada um conjunto de índices, valores dos saldos das contas ou grupos de contas contábeis de demonstrações padronizadas da empresa que será analisada, em um determinado período, composto por anos consecutivos, sendo considerado o mínimo de três anos. Para validar o SEADC foram realizados testes com dados obtidos de demonstrações contábeis de empresas nos anos de 2008, 2009 e 2010. O sistema foi implementado no compilador eclipse, usando-se linguagem de programação JAVA. Os resultados alcançados no cálculo dos quocientes obtidos em todos os sete tipos de análises realizadas alcançaram 100% de corretude. Conclui-se, portanto, que o SEADC infere conhecimento à tomada de decisão, através dos relatórios de diagnósticos gerados.

This with the discovery of oil in the Pre-Salt layer, in oceanic regions of Brazil, it is aroused the need to improve technological devices of analysis, to ensure the sustainability of the system of fuel production in the country. From there we conjecture about the problem of air traffic control of offshore helicopters, which give logistical support to oil platforms and to optimization of routes. In this job, we proposed to minimize routes, thus decreasing the fuel consumption of these aircraft, as well as to optimize the time spent on travel between airports and platforms, using the heuristics methods of Genetic Algorithms. To perform a better analysis, we made two deployments, the first with Holland's Genetic Algorithm and the second with Genetic Algorithm Based on Abstract Data Types - GAADT, getting results with better performance in the second implementation. / Com a descoberta de petróleo na camada do pré-sal, em regiões oceânicas do Brasil, se desperta a necessidade de incrementar dispositivos tecnológicos de análise, para dar sustentabilidade ao sistema produtivo de combustível no país. A partir daí, vislumbra-se a problemática do controle de tráfico aéreo de helicópteros offshore, que dão suporte logístico às plataformas de petróleo e a otimização de rotas. Então, neste trabalho propusemos minimizar rotas, diminuindo, portanto o consumo de combustível destas aeronaves, bem como otimizar o tempo gasto com as viagens entre plataformas e aeroportos, utilizando os métodos heurísticos de Algoritmos Genéticos. Para a realização de uma melhor análise, fizemos duas implementações, sendo a primeira com Algoritmo Genético de Holland e a segunda com Algoritmo Genético Baseado em Tipos Abstratos de Dados - GAADT, obtendo resultados com melhor desempenho na segunda implementação.

Orientador: Anna Diva Plasencia Lotufo / Resumo: A lógica de múltiplos valores, em especial a ternária, apresenta inúmeras vantagens sobre a lógica binária em circuitos reversíveis/quânticos. A realização de funções usando a lógica reversível ternária é conhecida por requerer um menor número de linhas em comparação com a lógica reversível binária convencional. Este aspecto tem motivado as pesquisas em abordagens de síntese. A grande maioria dos métodos existentes requerem entradas adicionais, denominadas de ancillary lines, durante o processo de síntese, o que é dispendioso para implementação em tecnologias quânticas, quando disponíveis. Neste trabalho, foram propostas diferentes metodologias e análises comparativas para o problema da síntese de circuitos reversíveis ternários sem a adição de ancillary lines. A metodologia de síntese proposta, denominada de MMD plus, foi aplicado nos modos backward e top-down como referência a todas as 362880 possíveis funções reversíveis ternárias de 2 variáveis. Além do processamento top-down originário do algoritmo MMD, um processamento bottom-up é implementado e sua eficiência comparativa é avaliada. Por definição, as funções reversíveis ternárias são permutações. Realiza-se a decomposição das permutações em ciclos disjuntos de ordem natural, em ciclos de permutação com 3 elementos, e em transposições, para obtenção dos circuitos reversíveis ternários. Uma métrica é introduzida para mensurar a complexidade e custo dos circuitos, com base nas portas reversíveis de múltiplos valores Muthu... (Resumo completo, clicar acesso eletrônico abaixo) / Doutor

Made available in DSpace on 2016-06-02T19:06:15Z (GMT). No. of bitstreams: 1 6263.pdf: 2838494 bytes, checksum: 852261a244b09c47cc828522a799cc8d (MD5) Previous issue date: 2014-06-26 / Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property verification. PN models can be used to model several system types, for example, Manufacturing Systems. In general, using PN to model systems with too many characteristics cause the so-called state-space explosion problem, in other words, a great element profusion in the model. In order to mitigate the referred problem researchers developed reduction rules to synthetize models. Reduced models maintain original system properties and can be easily analyzed and simulated. A method to automate reduction rules application is proposed on the present research. A Genetic Algorithm heuristic is responsible for applying six reductions rules on Place-Transition Petri Nets given as input. The proposed algorithm, presented as a Matlab toolbox, may contribute when simulating and running property verification methodologies on Petri Net models. / Rede de Petri (RP) é uma ferramenta de modelagem com rigor matemático usada para especificar e formalizar sistemas e suas características. Modelos de RP podem ser avaliados quanto à seu comportamento dinâmico e suas propriedades estruturais. Diversos tipos de modelos podem ser especificados usando RP s, por exemplo, modelos de Sistemas de Manufatura. De maneira geral, modelos de sistemas complexos sofrem do problema da grande profusão de elementos. Esse problema é um limitante para diversas metodologias de verificação de propriedades e simulação de comportamento dinâmico dos modelos. Frequentemente metodologias baseadas em regras de redução são propostas para superar o problema da grande profusão de elementos. O presente trabalho apresenta uma ferramenta para automatizar a aplicação de regras de redução em modelos de RP. Um conjunto de regras foi selecionado para montar uma base de regras de redução e uma heurística baseada em algoritmos genéticos foi criada para aplicar reduções em modelos de RP Lugar-Transição. Os resultados obtidos mostraram que a ferramenta proposta, apresentada como uma toolbox do Matlab, pode ser utilizada para auxiliar no processo de análise, simulação e verificação de propriedades de sistemas modelados por meio de RP s.

Submitted by Maike Costa (maiksebas@gmail.com) on 2016-03-22T11:33:37Z No. of bitstreams: 1 arquivototal.pdf: 1643585 bytes, checksum: 5ba2336704d1de91b41bbe323ef3781e (MD5) / Made available in DSpace on 2016-03-22T11:33:37Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1643585 bytes, checksum: 5ba2336704d1de91b41bbe323ef3781e (MD5) Previous issue date: 2015-05-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this paper we discuss the problem of linear tting to experimental data using a method bio-inspired of optimization, i.e., it imitates the biological concepts attempt to nd optimal or suboptimal results. The method used is the genetic algorithm (GA), AG makes use of the theory of Darwinian evolution to nd the best route for the desired maximum point. Traditionally, the linear tting is made through the method of least squares. The method is e cient, but is di cult to justify the pre-calculus classes. Therefore, the alternative AG comes as a computationally exhaustive procedure, however easy justi cation for these classes. Thus, the purpose of this study is to compare the results of linear tting for some control scenarios using this methods and certify the quality of the adjustments obtained by the approximate method. At the end of the work it was found that the results are solid enough to justify the alternative method and the proposed use of this optimization process has the potential to spark interest in other areas of mathematics. / Neste trabalho abordaremos o problema de ajuste linear para dados experimentais através de um método de otimização bio-inspirado, isto é, que mimetiza conceitos biológicos na tentativa de buscar resultados ótimos ou sub-ótimos. O método utilizado é o algoritmo genético (AG), AG faz uso da teoria da evolução Darwiniana para buscar a melhor rota para o ponto de máximo desejado. Tradicionalmente, o ajuste linear é feito através do método de mínimos quadrados. Tal método é e ciente, porém é de difícil justi cativa para as turmas pré-cálculo. Diante disso, a alternativa do AG vem como um procedimento exaustivo computacionalmente, entretanto de fácil justi cativa para essas turmas. Assim, a proposta do trabalho é comparar os resultados de ajuste linear para alguns cenários de controle através dos dois métodos e certi car a qualidade dos ajustes obtidos pelo método aproximado. No nal do trabalho constatou-se que os resultados encontrados sÿo sólidos o bastante para justi car o método alternativo e que a proposta da utilização desse processo de otimização tem potencial para despertar interesse em outras áreas da matemática.

Submitted by ELENILSON DE VARGAS FORTES null (vargasfortes@yahoo.com.br) on 2016-10-27T22:01:08Z No. of bitstreams: 1 Tese.pdf: 4090366 bytes, checksum: c721654fbc082e717b79dc074adcbfa0 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-11-03T18:32:27Z (GMT) No. of bitstreams: 1 fortes_ev_dr_ilha.pdf: 4090366 bytes, checksum: c721654fbc082e717b79dc074adcbfa0 (MD5) / Made available in DSpace on 2016-11-03T18:32:27Z (GMT). No. of bitstreams: 1 fortes_ev_dr_ilha.pdf: 4090366 bytes, checksum: c721654fbc082e717b79dc074adcbfa0 (MD5) Previous issue date: 2016-10-21 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Este trabalho apresenta o Algoritmo Genético de Chu-Beasley Especializado para realizar o ajuste coordenado dos parâmetros de controladores Proporcional-Integral e suplementares de amortecimento (Estabilizadores de Sistemas de Potência e Interline Power Flow Controller - Power Oscillation Damping) em sistemas elétricos de potência multimáquinas. O objetivo principal deste trabalho é inserir amortecimento adicional às oscilações eletromecânicas de baixa frequência classificadas como local e interárea. Para representar o sistema, é utilizado o Modelo de Sensibilidade de Corrente. Desse modo, todos os seus dispositivos e componentes foram modelados por injeção de corrente e, portanto, um novo modelo de injeção de corrente para o Interline Power Flow Controller é apresentado. Três sistemas teste foram utilizados nas simulações realizadas neste trabalho, sendo: Simétrico de Duas Áreas, New England e o Sul Brasileiro Reduzido. O desempenho da metodologia proposta (Algoritmo Genético de Chu-Beasley Especializado), no que concerne ao ajuste dos parâmetros dos controladores, foi comparado a outros dois algoritmos bastantes difundidos na literatura: Particle Swarm Optimization e o Algoritmo Genético com Elitismo. Os resultados demonstraram que o algoritmo Genético de Chu-Beasley Especializado foi mais eficiente que as demais técnicas apresentadas, obtendo soluções robustas quando variações de cargas foram consideradas, sendo, portanto, credenciado como ferramenta no estudo da análise da estabilidade a pequenas perturbações. / CNPq: 141084/2016-2

Orientador: Percival Bueno de Araujo / Resumo: Este trabalho apresenta o Algoritmo Genético de Chu-Beasley Especializado para realizar o ajuste coordenado dos parâmetros de controladores Proporcional-Integral e suplementares de amortecimento (Estabilizadores de Sistemas de Potência e Interline Power Flow Controller - Power Oscillation Damping) em sistemas elétricos de potência multimáquinas. O objetivo principal deste trabalho é inserir amortecimento adicional às oscilações eletromecânicas de baixa frequência classificadas como local e interárea. Para representar o sistema, é utilizado o Modelo de Sensibilidade de Corrente. Desse modo, todos os seus dispositivos e componentes foram modelados por injeção de corrente e, portanto, um novo modelo de injeção de corrente para o Interline Power Flow Controller é apresentado. Três sistemas teste foram utilizados nas simulações realizadas neste trabalho, sendo: Simétrico de Duas Áreas, New England e o Sul Brasileiro Reduzido. O desempenho da metodologia proposta (Algoritmo Genético de Chu-Beasley Especializado), no que concerne ao ajuste dos parâmetros dos controladores, foi comparado a outros dois algoritmos bastantes difundidos na literatura: Particle Swarm Optimization e o Algoritmo Genético com Elitismo. Os resultados demonstraram que o algoritmo Genético de Chu-Beasley Especializado foi mais eficiente que as demais técnicas apresentadas, obtendo soluções robustas quando variações de cargas foram consideradas, sendo, portanto, credenciado como ferramenta no estudo da análise d... (Resumo completo, clicar acesso eletrônico abaixo) / Doutor

Conselho Nacional de Desenvolvimento Científico e Tecnológico / The objective of this work is to apply a heuristic method to optimize the choice of parameters of unbalanced input voltages of a linear induction motor at low speeds.The mathematical model developed for the linear induction motor considers his linor blocked, aiming applications at low speeds. Applying a genetic algorithm program the magnitude of unbalance of the input voltage of the linear motor can be determine.The experimental results are compared satisfactorily with practical tests conducted with a prototype of the linear machine. / O objetivo deste trabalho é aplicar um método heurístico para otimizar a escolha dos parâmetros de desbalanceamento das tensões de entrada de um motor de indução linear em baixas velocidades. O modelo matemático desenvolvido para o motor de indução linear considera o seu linor bloqueado, visando aplicações em baixas velocidades. Através da aplicação de um programa de algoritmo genético é possível determinar a magnitude dos desbalanceamentos das tensões de entrada do motor linear. Os resultados experimentais obtidos são confrontados de forma satisfatória com os testes práticos realizados com um protótipo da máquina linear. / Mestre em Ciências

Neste trabalho, investigamos o controle coerente das bandas de emissão, excitadas via absorção multifotônica, em um cristal de óxido de Zinco (ZnO) através das formatação de pulsos laser ultracurtos (790 nm, 30 fs, 80 MHz e 5 nJ). O ZnO vem se mostrado um possível candidato a dispositivos fotônicos devido a sua grande energia de ligação de éxciton (60 meV).Inicialmente, implementamos a montagem experimental do sistema de formatação de pulsos, bem como de excitação e coleta da fluorescência do ZnO. O controle coerente foi feito através de um programa baseado em um algoritmo genético (GA), também desenvolvido no transcorrer deste trabalho. Através do algoritmo genético, observamos um ganho significativo da emissão do ZnO por meio de fases espectrais impostas ao pulso laser. Monitorando o traço de autocorrelação do pulso, inferimos que este se torna mais longo após a otimização das bandas de emissão via GA. Além disso, verificamos que as funções de fase que otimizam o processo são complexas e oscilatórias. Através da análise das componentes principais (PCA), fizemos uma análise do conjunto de dados providos pelo GA, onde observamos que este método pode ser usado como um filtro para os dados, suavizando as curvas e enfatizando os aspectos mais importantes das máscaras de fase obtidas pelo controle coerente. Por fim investigamos qual a importância das máscaras suavizadas para o entendimento físico do processo. / In this work, we investigate the coherent control of the emission bands, excited via multiphoton absorption, in a zinc oxide crystal (ZnO) by pulse shaping ultrashort laser pulses (790 nm, 30 fs, 5 nJ and 80 MHz). ZnO has been preposed as a potential material for photonic devices due to its strong exciton binding energy(60 meV). Initially, we have implemented the pulse shaper experimental setup, as well as the fluorescence measurements of ZnO. The coherent control was carried out through genetic algorithm (GA) based software, also developed in the course of this work. Using the genetic algorithm, we have observed a significant increase in the ZnO emission when appropriated spectral phase masks are applied to the laser pulse. Autocorrelation measurements were used to infer the pulse duration, which get longer after optimization of the emission band via GA. Additionally, we have found that the phase masks that optimize the process are complex oscillatory functions. Through the Principal Component Analysis, we analyzed the data provided by the GA and observed that it can be used to filter the data, smoothing the curves and highlighting the most important aspects of phase masks obtained by the coherent control. Finally we investigate how important the smoothed masks are for the physical understanding of the process.

Submitted by Liliane Ferreira (ljuvencia30@gmail.com) on 2018-07-09T15:51:41Z No. of bitstreams: 2 Dissertação - Jeferson Silva Martins - 2018.pdf: 4962348 bytes, checksum: 7da8c895b4929a650a07c2381fc59290 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-07-10T11:07:38Z (GMT) No. of bitstreams: 2 Dissertação - Jeferson Silva Martins - 2018.pdf: 4962348 bytes, checksum: 7da8c895b4929a650a07c2381fc59290 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-07-10T11:07:38Z (GMT). No. of bitstreams: 2 Dissertação - Jeferson Silva Martins - 2018.pdf: 4962348 bytes, checksum: 7da8c895b4929a650a07c2381fc59290 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-05-17 / This paper presents the Mixed-Model Flow Line problem for Production Scheduling. Production problems have been vastly studied given their usability in all kind of assembly lines and its production in the industry worldwide. The problem processes jobs grouped by families in stations of machines seeking for the best sequencing the families can provide to be produced in the processing time (Makespan). In this work, a bibliographic review was performed to support the study, looking different methods and problems that encompass the Mixed-Model Flow Line in the literature showing its importance towards the industrial and scientific environment. The Mixed-Model Flow Line problem was solved through optimization techniques: An integer lienar programming inGUROBI, Lagrangian Relaxation and Genetic Algorithm. The processing times and demands are randomly generated for each instance. Finally, the results obtained in the techniques used for the problem were compared to each other. / Este trabalho apresenta o problema de Flow Line Misto para a Programação da Produção em Scheduling. Problemas da produção tem sido vastamente estudado dada sua usabilidade em todo o tipo de linha de montagem e produção na indústria mundial. O problema em estudo considera o processamento de tarefas em conjuntos por meio de estações de máquinas buscando um bom sequenciamento das tarefas a serem produzidas melhorando o tempo de processamento (Makespan). Neste trabalho, uma revisão bibliográfica foi realizada para fundamentar o estudo encontrando diferentes métodos e problemas que englobam o Flow Line Misto mostrando a importância deste estudo no meio industrial e científico. O problema do Flow Line Misto foi resolvido por meio de técnicas de otimização, sendo elas um modelo de programação linear inteira resolvido pelo GUROBI, no Lagrangeano Relaxado e no Algoritmo Genético com tempos de processamento e demandas gerados aleatoriamente para as instâncias criadas. Por fim, os resultados obtidos nas técnicas analisadas para o problema foram comparados entre si.