Este trabalho apresenta uma proposta para o compartilhamento de dados entre bases de dados orientadas a objetos, em ambientes de desenvolvimento de projetos. O processo de compartilhamento e realizado através de três fases: separação, evolução e integração de dados. Esta forma de compartilhamento atua através de vínculos entre os objetos de base original com a base produto. Foram definidos seis tipos de vínculos, que são estabelecidos no processo de separação: apenas leitura, isolado, flagrante, mutuamente exclusivo, independente e on-line. Com isso, ambas as bases, respeitando as limitações impostas pelo tipo de vinculo entre as mesmas, podem evoluir separadamente e depois de um determinado tempo realizarem, se conveniente, um processo de reintegração. O processo de compartilhamento de dados tem por unidade de gerenciamento os objetos, compostos de base de dados. Os conceitos apresentados podem ser universalmente aplicados, em qualquer base de dados que efetue gerenciamento sobre a composição de seus objetos. Neste trabalho os conceitos de compartilhamento de dados são exemplificados através do modelo de dados SIRIUS. / This work presents a technique to share data stored in an object-oriented databases aimed at design environments. Three process enable the sharing of data between databases: separation, evolution and data integration. Whenever a block of data need to be shared between original and product database, it is spread among both, resulting in two block: one in the original database, and another in the receiver one, identified as the product of the sharing process. During the evolution phase of the sharing process, these blocks are not required to be kept identical. Six types of links to drive the updates were defined: read only, isolated, snapshot, mutually exclusive, independent and on-line. The original and product databases, both restricted by rules imposed by the type of links, can evolve alone. After a while they may enter into an reintegration process, which uses the composite objects as the control units. The presented concepts can be applied to any data model supporting composite objects. The SIRIUS datamodel is used to exemplify those concepts.

A estrutura populacional e o desequilíbrio de ligação são dois processos fundamentais para estudos evolutivos e de mapeamento associativo. Tradicionalmente, ambos têm sido investigados por meio de métodos clássicos comumente utilizados. Tais métodos certamente forneceram grandes avanços no entendimento dos processos evolutivos das espécies. No entanto, em geral, nenhum deles utiliza uma visão genealógica de forma a considerar eventos genéticos ocorridos no passado, dificultando a compreensão dos padrões de variação observados no presente. Uma abordagem que possibilita a investigação retrospectiva com base no atual polimorfismo observado é a teoria da coalescência. Assim, o objetivo deste trabalho foi analisar, com base na teoria da coalescência, a estrutura populacional e o desequilíbrio de ligação de um painel mundial de acessos de sorgo (Sorghum bicolor). Para tanto, análises de mutação, migração com fluxo gênico e recombinação foram realizadas para cinco regiões genômicas relacionadas à altura de plantas e maturidade (Dw1, Dw2, Dw4, Ma1 e Ma3) e sete populações previamente selecionadas. Em geral, elevado fluxo gênico médio (Μ = m/μ = 41,78 − 52,07) foi observado entre as populações considerando cada região genômica e todas elas simultaneamente. Os padrões sugeriram intenso intercâmbio de acessos e história evolutiva específica para cada região genômica, mostrando a importância da análise individual dos locos. A quantidade média de migrantes por geração (Μ) não foi simétrica entre pares recíprocos de populações, de acordo com a análise individual e simultânea das regiões. Isso sugere que a forma pela qual as populações se relacionaram e continuam interagindo evolutivamente não é igual, mostrando que os métodos clássicos utilizados para investigar estrutura populacional podem ser insatisfatórios. Baixas taxas médias de recombinação (ρL = 2Ner = 0,030 − 0,246) foram observadas utilizando o modelo de recombinação constante ao longo da região. Baixas e altas taxas médias de recombinação (ρr = 2Ner = 0,060 − 3,395) foram estimadas utilizando o modelo de recombinação variável ao longo da região. Os métodos tradicional (r2) e via coalescência (E[r2 rhomap]) utilizados para a estimação do desequilíbrio de ligação mostraram resultados próximos para algumas regiões genômicas e populações. No entanto, o r2 sugeriu padrões descontínuos de desequilíbrio em várias ocasiões, dificultando o entendimento e a caracterização de possíveis blocos de associação. O método via coalescência (E[r2 rhomap]) forneceu resultados que pareceram ter sido mais consistentes, podendo ser uma estratégia eventualmente importante para um refinamento dos padrões não-aleatórios de associação. Os resultados aqui encontrados sugerem que o mapeamento genético a partir de um único pool gênico pode ser insuficiente para detectar associações causais importantes para características quantitativas em sorgo. / Population structure and linkage disequilibrium are two fundamental processes for evolution and association mapping studies. Traditionally, both have been investigated using classical methods that are commonly used. These methods certainly provided important advances for the understanding of the evolution processes of the species. However, in general, none of them uses a genealogical view to consider genetic events occurred in the past, making difficult the understanding of the variation patterns observed in the present. An approach that enables the retrospective investigation based on the actual observed polymorphism is the coalescent theory. Here, we used the coalescent theory to analyze the population structure and linkage disequilibrium of a worldwide sorghum (Sorghum bicolor) accession panel. To reach this purpose, analyses of mutation, migration with gene flow and recombination were performed to five genomic regions related to plant height and maturity (Dw1, Dw2, Dw4, Ma1 e Ma3) and seven previously selected populations. In general, high average gene flow (Μ = m/μ = 41,78 − 52,07) was observed between populations considering each genomic region and all the regions simultaneously. The patterns suggested a high exchance of accessions between populations and a specific evolutionary history for each genomic region, showing that the individual analysis of each locus was important. The average number of migrants per generation (Μ) was not symmetric between reciprocal pairs of populations, according to the specific and simultaneous analyses of the regions. This result suggests that the historical and recent evolutionary relations between populations are not equal, showing that the classical methods to investigate population structure may be unsatisfactory. Low average recombination rates (ρL = 2Ner = 0,030 − 0,246) were observed using a constant recombination model along the region. Low and high average recombination rates (ρr = 2Ner = 0,060 − 3,395) were estimated using a variable recombination model along the region. Both traditional (r2) and coalescent (E[r2 rhomap]) methods for the estimation of linkage disequilibrium showed similar results for some genomic regions and populations. However, r2 suggested discontinuous patterns of linkage disequilibrium in several cases, making difficult the understanding and definition of the association blocks. The coalescent method (E[r2 rhomap]) provided results that seemed to be more consistent and could be an eventually important strategy to refine the non-random association patterns. The results detected here suggest that the genetic mapping from a unique gene pool may be insufficient to detect important causal associations for quantitative traits in sorghum.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-01T15:26:09Z No. of bitstreams: 1 franciscoaugustolimamanfrini.pdf: 2355106 bytes, checksum: 0c2126ac87b502d91fbb53cda2fa0b2a (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-02T15:56:42Z (GMT) No. of bitstreams: 1 franciscoaugustolimamanfrini.pdf: 2355106 bytes, checksum: 0c2126ac87b502d91fbb53cda2fa0b2a (MD5) / Made available in DSpace on 2017-06-02T15:56:42Z (GMT). No. of bitstreams: 1 franciscoaugustolimamanfrini.pdf: 2355106 bytes, checksum: 0c2126ac87b502d91fbb53cda2fa0b2a (MD5) Previous issue date: 2017-02-23 / A computação evolucionista tem sido aplicada em diversas áreas do conhecimento para a descoberta de projetos inovadores. Quando aplicada na concepção de circuitos digitais o problema da escalabilidade tem limitado a obtenção de circuitos complexos, sendo apontado como o maior problema em hardware evolutivo. O aumento do poder dos métodos evolutivos e da eficiência da busca constitui um importante passo para melhorar as ferramentas de projeto. Este trabalho aborda a computação evolutiva aplicada ao projeto de circuito lógicos combinacionais e cria estratégias para melhorar o desempenho dos algoritmos evolutivos. As três principais contribuições resultam dessa tese são: (i) o desenvolvimento de uma nova metodologia que ajuda a compreensão das causas fundamentais do sucesso/fracasso evolutivo;(ii)a proposta de uma heurística para a semeadura da população inicial; os resultados mostram que existe uma correlação entre a topologia da população inicial e a região do espaço de busca explorada; e (iii) a proposta de um novo operador de mutação denominado Biased SAM; verificou-se que esta mutação pode guiar de maneira efetiva a busca. Nos experimentos realizados o operador proposto é melhor ou equivalente ao operador de mutação tradicional. Os experimentos computacionais que validaram as respectivas contribuições foram feitos utilizando circuitos benchmark da literatura. / Evolutionary computation has been applied in several areas of knowledge for discovering Innovative designs. When applied to a digital circuit design the scalability problem has limited the obtaining of complex circuits, being pointed as the main problem in the evolvable hardware field. Increased power of evolutionary methods and efficiency of the search constitute an important step towards improving the design tool. This work approaches the evolutionary computation applied to the design of combinational logic circuits and createsstrategiestoimprovetheperformanceofevolutionaryalgorithms. The three main contributions result from this thesis are: (i) the developement of a methodology that helps to understand the success/failure of the genetic modifications that occur along the evolution; (ii) a heuristic proposed for seeding the initial population; the results showed there is a correlation between the topology of the initial population and the region of the search space which is explored. (iii) a proposal of a new mutation operator referred to as Biased SAM; it is verified that this operator can guide the search. In the experiments performed the mutation proposed is better than or equivalent to the traditional mutation. The computational experiments that prove the efficiency of the respective contributions were made using benchmark circuits of the literature.

Na ocorrência de uma ou de múltiplas faltas permanentes em sistemas de distribuição de energia elétrica é inevitável a ausência de fornecimento à algumas cargas. Contudo, devido à presença de chaves seccionadoras, após a localização e isolação do trecho sob falta, é possível restaurar o abastecimento de energia a estas cargas fora de serviço. Para tal é necessária a obtenção de um plano de restabelecimento adequado, no menor intervalo de tempo possível, capaz de informar as chaves que devem ser operadas a fim de reconectar estas cargas à rede e sem sobrecarregar nenhum equipamento. Neste sentido, têm sido propostas metodologias para auxiliar as atividades dos operadores de sistemas de distribuição por meio do fornecimento de planos de restabelecimento de energia em situações de contingência. Todavia, a aplicação da maioria destas técnicas restringe-se à redes pequenas, quando comparadas às redes reais que possuem milhares de barras e chaves. Em outras metodologias, na tentativa de superar esta limitação, são feitas simplificações na representação da rede, desconsiderando alguns dos seus elementos. Nestes casos, a solução fornecida para a rede simplificada pode não ter o mesmo desempenho na rede em operação, o que compromete a confiabilidade dessas metodologias. Em outros métodos, ainda, a rede é representada com todas as suas barras e chaves, no entanto, deixam de considerar a presença de consumidores especiais, que exigem prioridade de fornecimento, bem como de chaves existentes na rede que podem ser operadas remotamente. Face ao exposto, propõe-se uma metodologia para determinação, em tempo real, de planos de restabelecimento de energia elétrica em sistemas de distribuição de grande porte em situações de uma ou de múltiplas faltas. Para lidar com os múltiplos objetivos deste problema, sendo alguns dele conflitantes entre si, esta será baseada em Algoritmos Evolutivos Multi-Objetivo, enquanto que a representação computacional sem simplificações da rede será proporcionada por uma codificação de dados apoiada na teoria de grafos e denominada Representação Nó-Profundidade. A fim de diminuir o tempo e o custo de implementação dos planos obtidos, será considerada e dado prioridade de manobra às chaves controladas remotamente, que podem ser alteradas do centro de operações. Será dado prioridade também ao fornecimento de energia de consumidores especiais. Por fim, para cada plano de restabelecimento fornecido será definida uma sequência factível de chaves que, quando alteradas, reconectarão as cargas sãs fora de serviço e eliminarão sobrecargas ou perfis de tensão inadequados. Para validar a metodologia proposta serão realizadas simulações computacionais no sistema de distribuição real da cidade de São Carlos-SP, em operação no ano de 1994, e nas suas versões duplicada, quadruplicada e octuplicada. / The occurrence of one or multiple permanent faults in electric power distribution systems is inevitable the privation of the service to some loads. However, due to the presence of switches, after the location and isolation of the faulted section, you can restore the power supply to these out of service loads. To this it is necessary to obtain, as soon as possible, a suitable restoration plan. It must be able to inform the switches that must be operated in order to reconnect these loads without overloading on any network or equipment. In this sense, it has been proposed methods to assist the operators\' activities of the of distribution systems by providing plans to restore the service in contingency situations. However, the application of the most of these techniques is limited to small networks, when they are compared to real networks that have thousands of bars and keys. In other methodologies, in order to overcome this limitation, simplications are made in the representation of the network, ignoring some of its elements. In these cases, the solution provided for a simplied network may not have the same performance on the network in operation, which aects the reliability of these methodologies. In other methods, the network is represented with all of its bars and switches. However, these methodologies do not consider the presence of the special consumers that require service priority neither the switches that can be operated remotely. Given the above, we propose a methodology for determining, in real time, plans for service restoration in large-scale electric distribution systems in situations of one or multiple faults. To deal with the multiple objectives of this problem, some of them con icting, the proposed method will be based on Multi-Objective Evolutionary Algorithms. Moreover, the computational representation without simplications of the network will be provided by a data encoding based in graph theory and called Node-Depth Encoding. In order to reduce the time and cost of the implementation of the plans obtained, it will be considered and given priority to maneuvers in remotely controlled switches, which can be changed from the operation center. Priority will be given also to the power supply of special consumers. Finally, for each restoration plan provided will be gotten a feasible switching sequence that, when implemented, will reconnect the out of service loads and eliminate overloads or inadequate voltage proles. To validate the proposed methodology it will be performed computer simulations in the real distribution system of the São Carlos-SP city, in operation in 1994, and their doubled, quadruplicate and octuplicate versions.

As atividades de teste de software são de crescente importância devido à maciça presença de sistemas de informação em nosso cotidiano. Programas de Processamento de Imagens (PI) têm um domínio de entrada bastante complexo e, por essa razão, o teste tradicional realizado com esse tipo de programa, conduzido majoritariamente de forma manual, é uma tarefa de alto custo e sujeita a imperfeições. No teste tradicional, em geral, as imagens de entrada são construídas manualmente pelo testador ou selecionadas aleatoriamente de bases de imagens, muitas vezes dificultando a revelação de defeitos no software. A partir de um mapeamento sistemático da literatura realizado, foi identificada uma lacuna no que se refere à geração automatizada de dados de teste no domínio de imagens. Assim, o objetivo desta pesquisa é propor uma abordagem - denominada TAIGA (Test imAge generatIon by Genetic Algorithm) - para a geração de dados de teste para programas de PI por meio de algoritmo genético. Na abordagem proposta, operadores genéticos tradicionais (mutação e crossover) são adaptados para o domínio de imagens e a função fitness é substituída por uma avaliação de resultados provenientes de teste de mutação. A abordagem TAIGA foi validada por meio de experimentos com oito programas de PI distintos, nos quais observaram-se ganhos de até 38,61% em termos de mutation score em comparação ao teste tradicional. Ao automatizar a geração de dados de teste, espera-se conferir maior qualidade ao desenvolvimento de sistemas de PI e contribuir com a diminuição de custos com as atividades de teste de software neste domínio / The massive presence of information systems in our lives has been increasing the importance of software test activities. Image Processing (IP) programs have very complex input domains and, therefore, the traditional testing for this kind of program is a highly costly and vulnerable to errors task. In traditional testing, usually, testers create images by themselves or they execute random selection from images databases, which can make it harder to reveal faults in the software under test. In this context, a systematic mapping study was conducted and a gap was identified concerning the automated test data generation in the images domain. Thus, an approach for generating test data for IP programs by means of genetic algorithms was proposed: TAIGA - Test imAge generatIon by Genetic Algorithm. This approach adapts traditional genetic operators (mutation and crossover) to the images domain and replaces the fitness function by the evaluation of the results of mutation testing. The proposed approach was validated by the execution of experiments involving eight distinct IP programs. TAIGA was able to provide up to 38.61% increase in mutation score when compared to the traditional testing for IP programs. It\'s expected that the automation of test data generation elevates the quality of image processing systems development and reduces the costs of software test activities in the images domain

A elaboração de planos de restabelecimento de energia (PRE) de forma rápida, para re-energização de sistemas de distribuição radiais (SDR), faz-se necessária para lidar com situações que deixam regiões dos SDR sem energia. Tais situações podem ser causadas por faltas permanentes ou pela necessidade de isolar zonas dos SDR para serviços de manutenção. Dentre os objetivos de um PRE, destacam-se: (i) reduzir o número de consumidores interrompidos (ou nenhum), e (ii) minimizar o número de manobras; que devem ser atendidos sem desrespeitar os limites operacionais dos equipamentos. Conseqüentemente, a obtenção de PRE em SDR é um problema com múltiplos objetivos, alguns conflitantes. As principais técnicas desenvolvidas para obtenção de PRE em SDR baseiam-se em algoritmos evolutivos (AE). A limitação da maioria dessas técnicas é a necessidade de simplificações na rede, para lidar com SDR de grande porte, que limitam consideravelmente a possibilidade de obtenção de um PRE adequado. Propõe-se, neste trabalho, o desenvolvimento e implantação computacional de um algoritmo para obtenção de PRE em SDR, que consiga lidar com sistemas de grande porte sem a necessidade de simplificações, isto é, considerando uma grande parte (ou a totalidade) de linhas, barras, cargas e chaves do sistema. O algoritmo proposto baseia-se em um AE multi-objetivo e na estrutura de dados, para armazenamento de grafos, denominada representação nó-profundidade (RNP), bem como em dois operadores genéticos que foram desenvolvidos para manipular de forma eficiente os dados armazenados na RNP. Em razão de se basear em um AE multi-objetivo, o algoritmo proposto possibilita uma investigação mais ampla do espaço de busca. Por outro lado, fazendo uso da RNP, para representar computacionalmente os SDR, e de seus operadores genéticos, o algoritmo proposto aumenta significativamente a eficiência da busca por adequados PRE. Isto porque aqueles operadores geram apenas configurações radiais, nas quais todos os consumidores são atendidos. Para comprovar a eficiência do algoritmo proposto, várias simulações computacionais foram realizadas, utilizando o sistema de distribuição real, de uma companhia brasileira, que possui 3.860 barras, 635 chaves, 3 subestações e 23 alimentadores. / An elaborated and fast energy restoration plan (ERP) is required to deal with steady faults in radial distribution systems (RDS). That is, after a faulted zone has been identified and isolated by the relays, it is desired to elaborate a proper ERP to restore energy on that zone. Moreover, during the normal system operation, it is frequently necessary to elaborate ERP to isolate zones to execute routine tasks of network maintenance. Some of the objectives of an ERP are: (i) very few interrupted customers (or none), and (ii) operating a minimal number of switches, while at the same time respecting security constraints. As a consequence, the service restoration is a multiple objective problem, with some degree of conflict. The main methods developed for elaboration of ERP are based on evolutionary algorithms (EA). The limitation of the majority of these methods is the necessity of network simplifications to work with large-scale RDS. In general, these simplifications restrict the achievement of an adequate ERP. This work proposes the development and implementation of an algorithm for elaboration of ERP, which can deal with large-scale RDS without requiring network simplifications, that is, considering a large number (or all) of lines, buses, loads and switches of the system. The proposed algorithm is based on a multi-objective EA, on a new graph tree encoding called node-depth encoding (NDE), as well as on two genetic operators developed to efficiently manipulate a graph trees stored in NDEs. Using a multi-objective EA, the proposed algorithm enables a better exploration of the search space. On the other hand, using NDE and its operators, the efficiency of the search is increased when the proposed algorithm is used generating proper ERP, because those operators generate only radial configurations where all consumers are attended. The efficiency of the proposed algorithm is shown using a Brazilian distribution system with 3,860 buses, 635 switches, 3 substations and 23 feeders.

A elaboração de planos de restabelecimento de energia (PRE) de forma rápida, para re-energização de sistemas de distribuição radiais (SDR), faz-se necessária para lidar com situações que deixam regiões dos SDR sem energia. Tais situações podem ser causadas por faltas permanentes ou pela necessidade de isolar zonas dos SDR para serviços de manutenção. Dentre os objetivos de um PRE, destacam-se: (i) reduzir o número de consumidores interrompidos (ou nenhum), e (ii) minimizar o número de manobras; que devem ser atendidos sem desrespeitar os limites operacionais dos equipamentos. Conseqüentemente, a obtenção de PRE em SDR é um problema com múltiplos objetivos, alguns conflitantes. As principais técnicas desenvolvidas para obtenção de PRE em SDR baseiam-se em algoritmos evolutivos (AE). A limitação da maioria dessas técnicas é a necessidade de simplificações na rede, para lidar com SDR de grande porte, que limitam consideravelmente a possibilidade de obtenção de um PRE adequado. Propõe-se, neste trabalho, o desenvolvimento e implantação computacional de um algoritmo para obtenção de PRE em SDR, que consiga lidar com sistemas de grande porte sem a necessidade de simplificações, isto é, considerando uma grande parte (ou a totalidade) de linhas, barras, cargas e chaves do sistema. O algoritmo proposto baseia-se em um AE multi-objetivo e na estrutura de dados, para armazenamento de grafos, denominada representação nó-profundidade (RNP), bem como em dois operadores genéticos que foram desenvolvidos para manipular de forma eficiente os dados armazenados na RNP. Em razão de se basear em um AE multi-objetivo, o algoritmo proposto possibilita uma investigação mais ampla do espaço de busca. Por outro lado, fazendo uso da RNP, para representar computacionalmente os SDR, e de seus operadores genéticos, o algoritmo proposto aumenta significativamente a eficiência da busca por adequados PRE. Isto porque aqueles operadores geram apenas configurações radiais, nas quais todos os consumidores são atendidos. Para comprovar a eficiência do algoritmo proposto, várias simulações computacionais foram realizadas, utilizando o sistema de distribuição real, de uma companhia brasileira, que possui 3.860 barras, 635 chaves, 3 subestações e 23 alimentadores. / An elaborated and fast energy restoration plan (ERP) is required to deal with steady faults in radial distribution systems (RDS). That is, after a faulted zone has been identified and isolated by the relays, it is desired to elaborate a proper ERP to restore energy on that zone. Moreover, during the normal system operation, it is frequently necessary to elaborate ERP to isolate zones to execute routine tasks of network maintenance. Some of the objectives of an ERP are: (i) very few interrupted customers (or none), and (ii) operating a minimal number of switches, while at the same time respecting security constraints. As a consequence, the service restoration is a multiple objective problem, with some degree of conflict. The main methods developed for elaboration of ERP are based on evolutionary algorithms (EA). The limitation of the majority of these methods is the necessity of network simplifications to work with large-scale RDS. In general, these simplifications restrict the achievement of an adequate ERP. This work proposes the development and implementation of an algorithm for elaboration of ERP, which can deal with large-scale RDS without requiring network simplifications, that is, considering a large number (or all) of lines, buses, loads and switches of the system. The proposed algorithm is based on a multi-objective EA, on a new graph tree encoding called node-depth encoding (NDE), as well as on two genetic operators developed to efficiently manipulate a graph trees stored in NDEs. Using a multi-objective EA, the proposed algorithm enables a better exploration of the search space. On the other hand, using NDE and its operators, the efficiency of the search is increased when the proposed algorithm is used generating proper ERP, because those operators generate only radial configurations where all consumers are attended. The efficiency of the proposed algorithm is shown using a Brazilian distribution system with 3,860 buses, 635 switches, 3 substations and 23 feeders.

Na ocorrência de uma ou de múltiplas faltas permanentes em sistemas de distribuição de energia elétrica é inevitável a ausência de fornecimento à algumas cargas. Contudo, devido à presença de chaves seccionadoras, após a localização e isolação do trecho sob falta, é possível restaurar o abastecimento de energia a estas cargas fora de serviço. Para tal é necessária a obtenção de um plano de restabelecimento adequado, no menor intervalo de tempo possível, capaz de informar as chaves que devem ser operadas a fim de reconectar estas cargas à rede e sem sobrecarregar nenhum equipamento. Neste sentido, têm sido propostas metodologias para auxiliar as atividades dos operadores de sistemas de distribuição por meio do fornecimento de planos de restabelecimento de energia em situações de contingência. Todavia, a aplicação da maioria destas técnicas restringe-se à redes pequenas, quando comparadas às redes reais que possuem milhares de barras e chaves. Em outras metodologias, na tentativa de superar esta limitação, são feitas simplificações na representação da rede, desconsiderando alguns dos seus elementos. Nestes casos, a solução fornecida para a rede simplificada pode não ter o mesmo desempenho na rede em operação, o que compromete a confiabilidade dessas metodologias. Em outros métodos, ainda, a rede é representada com todas as suas barras e chaves, no entanto, deixam de considerar a presença de consumidores especiais, que exigem prioridade de fornecimento, bem como de chaves existentes na rede que podem ser operadas remotamente. Face ao exposto, propõe-se uma metodologia para determinação, em tempo real, de planos de restabelecimento de energia elétrica em sistemas de distribuição de grande porte em situações de uma ou de múltiplas faltas. Para lidar com os múltiplos objetivos deste problema, sendo alguns dele conflitantes entre si, esta será baseada em Algoritmos Evolutivos Multi-Objetivo, enquanto que a representação computacional sem simplificações da rede será proporcionada por uma codificação de dados apoiada na teoria de grafos e denominada Representação Nó-Profundidade. A fim de diminuir o tempo e o custo de implementação dos planos obtidos, será considerada e dado prioridade de manobra às chaves controladas remotamente, que podem ser alteradas do centro de operações. Será dado prioridade também ao fornecimento de energia de consumidores especiais. Por fim, para cada plano de restabelecimento fornecido será definida uma sequência factível de chaves que, quando alteradas, reconectarão as cargas sãs fora de serviço e eliminarão sobrecargas ou perfis de tensão inadequados. Para validar a metodologia proposta serão realizadas simulações computacionais no sistema de distribuição real da cidade de São Carlos-SP, em operação no ano de 1994, e nas suas versões duplicada, quadruplicada e octuplicada. / The occurrence of one or multiple permanent faults in electric power distribution systems is inevitable the privation of the service to some loads. However, due to the presence of switches, after the location and isolation of the faulted section, you can restore the power supply to these out of service loads. To this it is necessary to obtain, as soon as possible, a suitable restoration plan. It must be able to inform the switches that must be operated in order to reconnect these loads without overloading on any network or equipment. In this sense, it has been proposed methods to assist the operators\' activities of the of distribution systems by providing plans to restore the service in contingency situations. However, the application of the most of these techniques is limited to small networks, when they are compared to real networks that have thousands of bars and keys. In other methodologies, in order to overcome this limitation, simplications are made in the representation of the network, ignoring some of its elements. In these cases, the solution provided for a simplied network may not have the same performance on the network in operation, which aects the reliability of these methodologies. In other methods, the network is represented with all of its bars and switches. However, these methodologies do not consider the presence of the special consumers that require service priority neither the switches that can be operated remotely. Given the above, we propose a methodology for determining, in real time, plans for service restoration in large-scale electric distribution systems in situations of one or multiple faults. To deal with the multiple objectives of this problem, some of them con icting, the proposed method will be based on Multi-Objective Evolutionary Algorithms. Moreover, the computational representation without simplications of the network will be provided by a data encoding based in graph theory and called Node-Depth Encoding. In order to reduce the time and cost of the implementation of the plans obtained, it will be considered and given priority to maneuvers in remotely controlled switches, which can be changed from the operation center. Priority will be given also to the power supply of special consumers. Finally, for each restoration plan provided will be gotten a feasible switching sequence that, when implemented, will reconnect the out of service loads and eliminate overloads or inadequate voltage proles. To validate the proposed methodology it will be performed computer simulations in the real distribution system of the São Carlos-SP city, in operation in 1994, and their doubled, quadruplicate and octuplicate versions.

As atividades de teste de software são de crescente importância devido à maciça presença de sistemas de informação em nosso cotidiano. Programas de Processamento de Imagens (PI) têm um domínio de entrada bastante complexo e, por essa razão, o teste tradicional realizado com esse tipo de programa, conduzido majoritariamente de forma manual, é uma tarefa de alto custo e sujeita a imperfeições. No teste tradicional, em geral, as imagens de entrada são construídas manualmente pelo testador ou selecionadas aleatoriamente de bases de imagens, muitas vezes dificultando a revelação de defeitos no software. A partir de um mapeamento sistemático da literatura realizado, foi identificada uma lacuna no que se refere à geração automatizada de dados de teste no domínio de imagens. Assim, o objetivo desta pesquisa é propor uma abordagem - denominada TAIGA (Test imAge generatIon by Genetic Algorithm) - para a geração de dados de teste para programas de PI por meio de algoritmo genético. Na abordagem proposta, operadores genéticos tradicionais (mutação e crossover) são adaptados para o domínio de imagens e a função fitness é substituída por uma avaliação de resultados provenientes de teste de mutação. A abordagem TAIGA foi validada por meio de experimentos com oito programas de PI distintos, nos quais observaram-se ganhos de até 38,61% em termos de mutation score em comparação ao teste tradicional. Ao automatizar a geração de dados de teste, espera-se conferir maior qualidade ao desenvolvimento de sistemas de PI e contribuir com a diminuição de custos com as atividades de teste de software neste domínio / The massive presence of information systems in our lives has been increasing the importance of software test activities. Image Processing (IP) programs have very complex input domains and, therefore, the traditional testing for this kind of program is a highly costly and vulnerable to errors task. In traditional testing, usually, testers create images by themselves or they execute random selection from images databases, which can make it harder to reveal faults in the software under test. In this context, a systematic mapping study was conducted and a gap was identified concerning the automated test data generation in the images domain. Thus, an approach for generating test data for IP programs by means of genetic algorithms was proposed: TAIGA - Test imAge generatIon by Genetic Algorithm. This approach adapts traditional genetic operators (mutation and crossover) to the images domain and replaces the fitness function by the evaluation of the results of mutation testing. The proposed approach was validated by the execution of experiments involving eight distinct IP programs. TAIGA was able to provide up to 38.61% increase in mutation score when compared to the traditional testing for IP programs. It\'s expected that the automation of test data generation elevates the quality of image processing systems development and reduces the costs of software test activities in the images domain

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Historical Ecology unifies concepts in ecology, behavior and phylogeny. To determine the evolutionary context of reproductive characters within the Leptodactylus pentadactylus species group and also to explore questions such as predation and habitat selection, I described the reproductive ecology of two key species, L. labyrinthicus and L. syphax) (Anura, Leptodactylidae). Field observations and experiments (2004 2008) were carried out in areas of Cerrado in southeastern and central Brazil. I characterized the oviposition sites of the two species by comparing the ecological conditions of the egglaying sites with those of nearby random points. Experiments with tadpoles were also conducted to describe their diel pattern of activity, hiding behaviour and level of susceptibility to predation by free-ranging birds. I determined whether L. syphax clutches have trophic eggs (tadpole food) by quantifying the proportion of eggs/embryos in recent nests. I also tested whether tadpoles of both species could prey on eggs of heterospecific foam nests. Leptodactylus labyrinthicus (140 mm SVL) breeds in temporary or permanent pools in swamps while L. syphax (70 mm) occurs in rocky and seasonal streams. Both species lay their eggs embedded in a white foam nest built by the amplectant pair; males beat the female cloacal fluids with both legs moving from side to side. Their foam nests were found beside the water, usually in basins excavated by the adults. Both species probably do not distribute their nests randomly across the environment, but actively choose micro-habitats with particular conditions (e.g., sheltered, close to water) that may provide relative protection for eggs/nestling tadpoles against the main risks present in their breeding sites (e.g., drying, maggot s infestation). Oviposition site selection including flexible strategies on the choice of micro-habitats in response to spatial and temporal variations has been reported for several frog species. In contrast to L. labyrinthicus, the clutches of L. syphax do not have trophic eggs, because most (90%) of the eggs develop into tadpoles. In the experiments, birds (leaf-scrapers) ate all exposed tadpoles of L. labyrinthicus, but no tadpole in the treatment where they could hide. Hence, the use of diurnal shelters and nocturnal habits may protect the tadpoles from such visual predators. Tadpoles of L. labyrinthicus can prey on eggs from heterospecific foam nests, but those of L. syphax do not. If the L. pentadactylus species cluster is monophyletic, excavated basins and foam-beating in lateral motions may be possible derived traits that arose in the common ancestor of the whole group. However, large adults, carnivorous tadpoles, and trophic eggs appear to be congruent synapomorphies of a less inclusive group. Based on this possible association of derived traits, the major reproductive features (e.g., trophic eggs, tadpole morphology and behaviour) of species of the L. pentadactylus group could be inferred largely from the body size (SVL) of adults. / A Ecologia Histórica unifica conceitos em ecologia, comportamento e filogenia. Na presente tese, descrevi a ecologia reprodutiva de duas espécies-chave, L. labyrinthicus e L. syphax (Anura, Leptodactylidae), a fim de determinar o contexto evolutivo de caracteres reprodutivos no grupo de Leptodactylus pentadactylus e também explorar questões como a predação e seleção de hábitat. As observações de campo e experimentais (2004 2008) foram realizadas em áreas de Cerrado nas regiões central e sudeste do Brasil. As condições ecológicas dos sítios de oviposição foram caracterizadas em relação ao entorno (pontos aleatórios). Conduzi experimentos com girinos para descrever o horário de atividade, comportamento de refúgio e susceptibilidade à predação por aves. Para determinar se desovas de L. syphax possuem ovos tróficos (alimento para girinos), analisei a proporção de ovos/embriões em ninhos recentes. Testei se girinos de ambas as espécies conseguem predar ovos de ninhos de espuma heteroespecíficos. Leptodactylus labyrinthicus (140 mm tamanho) reproduz em poças temporárias ou permanentes em ambientes brejosos enquanto que L. syphax (70 mm) utiliza regatos rochosos e sazonais. Ambas as espécies depositam seus ovos em ninho de espuma formado pelo casal durante o amplexo; os machos batem a espuma com suas pernas/pés executando movimentos laterais na região cloacal da fêmea. Os ninhos foram encontrados próximos à água, geralmente em bacias escavadas pelos adultos. Essas espécies não distribuem seus ninhos aleatoriamente no ambiente e selecionam sítios de oviposição cujas condições particulares (e.g., em abrigos, próximos à água) provavelmente conferem proteção relativa contra os principais fatores de mortalidade de seus ovos/embriões (e.g., dessecação, predação por larvas de moscas). A seleção de micro-ambientes de desova envolvendo estratégias moduláveis em resposta a variações espaciais e temporais tem sido reportada para várias espécies de anuros em contextos ecológicos diversos. Em contraste a L. labyrinthicus, as desovas de L. syphax não possuem ovos tróficos, pois a maioria (90%) dos ovos se desenvolve. Nos experimentos, aves (sabiá-poca) predaram girinos expostos de L. labyrinthicus, mas nenhum girino foi consumido no tratamento em que eles podiam se esconder. Portanto, o hábito noturno e a utilização de refúgios diurnos devem proteger os girinos de tais predadores. Os girinos de L. labyrinthicus são capazes de predar ovos de ninhos de espuma heteroespecíficos, mas os de L. syphax não. Se o grupo de L. pentadactylus é monofilético, bacias escavadas e batimento da espuma em movimentos laterais podem ser possíveis derivações exclusivas do grupo. No entanto, adultos grandes, girinos carnívoros e desovas com ovos tróficos parecem representar sinapomorfias correlatas (evolução associada) de um subgrupo restrito. Com base nessa associação de caracteres, será possível predizer aspectos-chave da ecologia reprodutiva (e.g., ovos tróficos, girinos oófagos) das 19 espécies do grupo de L. pentadactylus com base no tamanho corporal (CRC) de adultos. / Doutor em Ecologia e Conservação de Recursos Naturais