O principal objetivo deste trabalho é mostrar que uma convenção social está fortemente relacionada com o conceito de equilíbrio correlacionado. Através da interação de longo prazo e do aprendizado, os agentes podem chegar a um acordo, mesmo com suposições pouco restritivas e que possibilitem uma interpretação mais natural e realista do conceito de equilíbrio em Teoria dos Jogos. Inicialmente a suposição de conhecimento comum é apresentado de maneira formal e informal. O conceito de equilíbrio correlacionado é apresentado com exemplos. Finalmente, a relação entre o equilíbrio correlacionado e a convenção social é analisada. / The main purpose of this dissertation is to show that a convention can be related to a correlated equilibrium. Through the long run interaction and learning, the players can reach an agreement, even if we relax the traditional assumptions of Game Theory, and we can find a more natural and plausible interpretation of equilibrium. Initially the common knowledge assumption is presented in a formal and informal way. The correlated equilibrium is presented with examples. Finally, the relation between correlated equilibrium and convention is analyzed.

O objetivo do artigo apresentado é analisar dilemas de efetividade na atividade de Inteligência Governamental. Explorando a literatura sobre falhas de inteligência e surpresa estratégica, avançamos em um campo pouco explorado pelos Estudos de Inteligência no Brasil: os aspectos cognitivos dos analistas de inteligência e as relações entre a comunidade política e a comunidade de inteligência. Primeiramente discorremos sobre os desafios de se avaliar a Inteligência Governamental como política pública, em especial no que se refere à dimensão da efetividade. Na segunda sessão abordamos os principais vieses cognitivos e heurísticas possíveis de ocorrer durante a análise de inteligência. A terceira sessão trata das tensões relacionais características entre a esfera política e a comunidade de inteligência e como essa relação afeta no resultado final da atividade de inteligência. Nas considerações finais apontamos para os limites e possibilidades das reformas organizacionais e procedimentais no que se refere à efetividade dos sistemas de inteligência. / The objective of this paper is to analyze the effectiveness‟ dilemmas of government intelligence activities. Exploring the literature on intelligence failures and strategic surprise, we move towards a little explored field on Brazilian Intelligence Studies: the cognitive aspects of intelligence analysts and the relations between the political community and the intelligence community. First we balance the challenges of evaluating government intelligence as public policy, particularly regarding the effectiveness dimension. In the second session, we discuss the main cognitive biases and heuristics that can occur during intelligence analysis. The third section discusses the typical relational tensions between the political sphere and the intelligence community and how that relationship affects the final result of intelligence activity. In the concluding remarks, we point to the limits and possibilities of organizational and procedural reforms on the effectiveness of intelligence systems.

VIANA, Gerardo Valdíso Rodrigues. Técnicas para construção de árvores filogenéticas. 2007. 203 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2007. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-20T12:05:20Z No. of bitstreams: 1 2007_tese_gvrviana.pdf: 3571043 bytes, checksum: 34853f08d8a8ac37e7c9e07dcf25de25 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-25T11:50:34Z (GMT) No. of bitstreams: 1 2007_tese_gvrviana.pdf: 3571043 bytes, checksum: 34853f08d8a8ac37e7c9e07dcf25de25 (MD5) / Made available in DSpace on 2016-07-25T11:50:34Z (GMT). No. of bitstreams: 1 2007_tese_gvrviana.pdf: 3571043 bytes, checksum: 34853f08d8a8ac37e7c9e07dcf25de25 (MD5) Previous issue date: 2007 / Phylogenetic tree structures express similarities, ancestrality, and relationships between species or group of species, and are also known as evolutionary trees or phylogenies. Phylogenetic trees have leaves that represent species (taxons), and internal nodes that correspond to hypothetical ancestors of the species. In this thesis we rst present elements necessary to the comprehension of phylogenetic trees systematics, then ef cient algorithms to build them will be described. Molecular biology concepts, life evolution, and biological classi cation are important to the understanding of phylogenies. Phylogenetic information may provide important knowledge to biological research work, such as, organ transplantation from animals, and drug toxicologic tests performed in other species as a precise prediction to its application in human beings. To solve a phylogeny problem implies that a phylogenetic tree must be built from known data about a group of species, according to an optimization criterion. The approach to this problem involves two main steps: the rst refers to the discovery of perfect phylogenies, in the second step, information extracted from perfect phylogenies are used to infer more general ones. The techniques that are used in the second step take advantage of evolutionary hypothesis. The problem becomes NP-hard for a number of interesting hypothesis, what justify the use of inference methods based on heuristics, metaheuristics, and approximative algorithms. The description of an innovative technique based on local search with multiple start over a diversi ed neighborhood summarizes our contribution to solve the problem. Moreover, we used parallel programming in order to speed up the intensi cation stage of the search for the optimal solution. More precisely, we developed an ef cient algorithm to obtain approximate solutions for a phylogeny problem which infers an optimal phylogenetic tree from characteristics matrices of various species. The designed data structures and the binary data manipulation in some routines accelerate simulation and illustration of the experimentation tests. Well known instances have been used to compare the proposed algorithm results with those previously published. We hope that this work may arise researchers' interest to the topic and contribute to the Bioinformatics area. / Árvores filogenéticas são estruturas que expressam a similaridade, ancestralidade e relacionamentos entre as espécies ou grupo de espécies. Conhecidas como árvores evolucionárias ou simplesmente filogenias, as árvores filogenéticas possuem folhas que representam as espécies (táxons) e nós internos que correspondem aos seus ancestrais hipotéticos. Neste trabalho, além das informações necessárias para o entendimento de toda a sistemática filogenética, são apresentadas técnicas algorítmicas para construção destas árvores. Os conceitos básicos de biologia molecular, evolução da vida e classificação biológica, aqui descritos, permitem compreender o que é uma Filogenia e qual sua importância para a Biologia. As informações filogenéticas fornecem,por exemplo, subsídios importantes para decisões relativas aos transplantes de órgãos ou tecidos de outras espécies para o homem e para que testes de reação imunológica ou de toxicidade sejam feitos antes em outros sistemas biológicos similares ao ser humano. Resolver um Problema de Filogenia corresponde à construção de uma árvore filogenética a partir de dados conhecidos sobre as espécies em estudo, obedecendo a algum critério de otimização. A abordagem dada a esse problema envolve duas etapas, a primeira, referente aos casos em que as filogenias são perfeitas cujos procedimentos desenvolvidos serão utilizados na segunda etapa, quando deve ser criada uma técnica de inferência para a filogenia num caso geral. Essas técnicas consideram de forma peculiar as hipóteses sobre o processo de evolução. Para muitas hipóteses de interesse o problema se torna NP-Difícil, justificando-se o uso de métodos de inferência através de heurísticas, meta-heurísticas e algoritmos aproximativos. Nossa contribuição neste trabalho consiste em apresentar uma técnica de resolução desse problema baseada em buscas locais com partidas múltiplas em vizinhanças diversificadas. Foi utilizada a programação paralela para minimizar o tempo de execução no processo de intensificação da busca pela solução ótima do problema. Desta forma, desenvolvemos um algoritmo para obter soluções aproximadas para um Problema da Filogenia, no caso, para inferir, a partir de matrizes de características de várias espécies, uma árvore filogenética que mais se aproxima da história de sua evolução. Uma estrutura de dados escolhida adequadamente aliada à manipulação de dados em binário em algumas rotinas facilitaram a simulação e ilustração dos testes realizados. Instâncias com resultados conhecidos na literatura foram utilizadas para comprovar a performance do algoritmo. Esperamos com este trabalho despertar o interesse dos pesquisadores da área de Computação, consolidando, assim, o crescimento da Bioinformática.

O principal objetivo deste trabalho é mostrar que uma convenção social está fortemente relacionada com o conceito de equilíbrio correlacionado. Através da interação de longo prazo e do aprendizado, os agentes podem chegar a um acordo, mesmo com suposições pouco restritivas e que possibilitem uma interpretação mais natural e realista do conceito de equilíbrio em Teoria dos Jogos. Inicialmente a suposição de conhecimento comum é apresentado de maneira formal e informal. O conceito de equilíbrio correlacionado é apresentado com exemplos. Finalmente, a relação entre o equilíbrio correlacionado e a convenção social é analisada. / The main purpose of this dissertation is to show that a convention can be related to a correlated equilibrium. Through the long run interaction and learning, the players can reach an agreement, even if we relax the traditional assumptions of Game Theory, and we can find a more natural and plausible interpretation of equilibrium. Initially the common knowledge assumption is presented in a formal and informal way. The correlated equilibrium is presented with examples. Finally, the relation between correlated equilibrium and convention is analyzed.

A geração de quadros de horários escolares é um problema clássico de otimização que tem sido largamente estudado devido a sua importâncias prática e teórica. O problema consiste em alocar um conjunto de aulas entre professor-turma em períodos de tempo pré-determinados, satisfazendo diferentes tipos de requisitos. Devido a natureza combinatória do problema, a resolução de instâncias médias e grandes torna-se uma tarefa desafiadora. Quando recursos são escassos, mesmo uma solução factível pode ser difícil de ser encontrada. Várias técnicas tem sido propostas na literatura científica para resolver o problema de geração de quadros de horários escolares, no entanto, métodos robustos ainda não existem. Visto que o uso de métodos exatos, como por exemplo, técnicas de programação matemática, não podem ser utilizados na prática, para resolver instâncias grandes da realidade, meta-heurísticas e meta-heurísticas híbridas são usadas com frequência como abordagens de resolução. Nesta pequisa, são desenvolvidas técnicas que combinam programação matemática e heurísticas, denominadas mateheurísticas, para resolver de maneira eficiente e robusta algumas variações de problemas de geração de quadros de horários escolares. Embora neste trabalho sejam abordados problemas encontrados no contexto de instituições brasileiras, os métodos propostos também podem ser aplicados em problemas similares oriundo de outros países. / The school timetabling is a classic optimization problem that has been extensively studied due to its practical and theoretical importance. It consists in scheduling a set of class-teacher meetings in a prefixed period of time, satisfying requirements of different types. Given the combinatorial nature of this problem, solving medium and large instances of timetabling to optimality is a challenging task. When resources are tight, it is often difficult to find even a feasible solution. Several techniques have been developed in the scientific literature to tackle the high school timetabling problem, however, robust solvers do not exist yet. Since the use of exact methods, such as mathematical programming techniques, is considered impracticable to solve large real world instances, metaheuristics and hybrid metaheuristics are the most used solution approaches. In this research we develop techniques that combine mathematical programming and heuristics, so-called matheuristics, to solve efficiently and in a robust way some variants of the high school timetabling problem. Although we pay special attention to problems arising in Brazilian institutions, the proposed methods can also be applied to problems from different countries.

The thesis focuses on the analysis of a Behavioral New Keynesian DSGE model. In particular, various specifications of the model are collected from the existing literature and their combinations are simulated. The specifications include heuristics for forecasting output gap, sets of estimated or calibrated parameters and model structures. The resulting simulated output and inflation gap series are compared with the macroeconomic stylized facts and real world data from the US and Euro area based on their distributional characteristics and autocorrelation structures. In addition, a comparison of various simulated model specifications is performed based on the level of correlation between fractions of agents following a specific heuristic and the resulting output and inflation gap values. The distributional characteristics of the US output gap seem to be matched the best by the specifications with unbiased and extrapolative output gap heuristics generating series with higher levels of variance and kurtosis. Contrarily, the Euro output gap is best matched by specifications with optimistic, pessimistic and unbi- ased heuristics producing series with lower levels of variance and kurtosis. Second, the autocorrelation structure of the simulated series tends to mirror the stylized facts as opposed to the...

Nesta dissertação coloca-se em destaque o ensino de Funções na preparação para o Exame Nacional do Ensino Médio (ENEM), através da investigação de novas perspectivas para o tratamento do assunto, tendo por base referenciais teóricos das áreas da Matemática e da Educação e saberes produzidos por professores de matemática em seu exercício da docência. Busca-se com este trabalho estabelecer um canal de ligação e de problematização entre professores acerca do ENEM e do ensino de matemática, em especial do ensino de Função. Para tal, se faz um mergulho histórico evolutivo sobre tal conceito, com o apoio de autores como Boyer, Cajori e Eves. Também são analisadas algumas questões do ENEM no que diz respeito ao conceito matemático de Função e às heurísticas possíveis de serem desenvolvidas durante a resolução dessas questões/problemas. Nessa etapa, contase fundamentalmente com a contribuição de Caraça e Polya. E, no sentido de ampliar os referenciais teóricos para uma análise qualitativa do tema, o autor descreve muitas de suas experiências como docente e ainda, apoiado na metodologia da História Oral, utiliza os registros obtidos de entrevistas realizadas com três professores de matemática em exercício, devidamente documentadas através de filmagens e transcrições. Assim, as vozes de professores relativas às suas experiências pedagógicas, desde a sua formação acadêmica até o momento atual e, principalmente, seu posicionamento frente às funções e ao ENEM, vieram a complementar o campo de análise e, inclusive, a expandir as alternativas de investigação. Dos resultados da pesquisa, destaca-se que o assunto Função tem surgido, como um aliado, nas práticas educativas, uma vez que a variabilidade, a relação de dependência, as regularidades estão de tal forma presentes na vida dos alunos que acabam servindo como fonte motivacional à aprendizagem de uma teoria que trata de tais aspectos e, sem dúvida, tudo isso favorece a formulação de problemas, a proposição de experimentos e a utilização da multidisciplinaridade na sala de aula. / On this piece of work it is presented, in a highlighted way, the teaching of Functions for High School National Exam (ENEM), through the investigation of new prospects in dealing with this issue, having theoretical references of Mathematics as well as Education as the bases, along with the knowledge carried by Mathematics teachers when on duty. This work pursues to establish a linking channel among teachers regarding ENEM and the teaching of Math, specially the teaching of Functions. For that, a historical evolutionary diving about such a concept is made, supported by authors as Boyer, Cajori and Eves. It is also analysed some ENEM tests about the Mathematical concept of Functions and the possibly heuristics to be developed during the resolution of those tests / problems. At this point, mainly the contribution of Caraça and Polya is counted. And, for broadening the theoretical references for a qualitative analysis of the theme, the author describes many of his own experiences as a teacher. Besides, supported by the methodology of Oral History, he uses the footages of three math teachers interviewed on duty. So, the teachers’ pedagogical experiences, from their beginning up to now and, mainly, their points of view regarding Functions and ENEM, complemented the analysis and expanded the alternatives of investigation. Out of the research results, it is highlighted that the topic Functions have come up, in educational practices, as an ally, since the variability, the relation of dependence, the regularities are presented in the life of students in such ways that they motivate apprenticeship. Without doubt, all these points benefit the formulation of problems, the proposal of experiments and the use of multidisciplinary in classroom.

O Problema do Lapidário tem como objetivo encontrar o modelo de lapidação que resulte no maior aproveitamento volumétrico para uma dada gema bruta. Nesta dissertação apresentamos um Algoritmo Genético com variáveis de valores reais, e um GRASP Contínuo como heurísticas para resolução deste problema. Ambos os algoritmos maximizam o fator de escala do modelo de lapidação, sobre todas as posições de centro e ângulos de giro que o modelo pode assumir, buscando encontrar o modelo de maior volume inscrito no interior da gema, representada virtualmente por uma malha triangular. Propomos também um algoritmo de avaliação de uma instância do problema, o qual determina eficientemente o maior fator de escala, para um dado centro e orientação, que o modelo de lapidação pode assumir permanecendo completamente no interior da gema. Os algoritmos propostos foram avaliados em um conjunto de 50 gemas reais para o problema, utilizando como modelos base os cortes redondo e oval. Por fim, comparamos os resultados computacionais obtidos em relação a aproveitamento volumétrico e tempo de execução com os principais trabalhos relatados na literatura, demonstrando que as heurísticas propostas são competitivas com as demais abordagens. / The goal of the gemstone cutting problem is to find the largest cutting design which fits inside a given rough gemstone. In this work, we propose a real-valued Genetic Algorithm and a Continuous GRASP heuristic to solve it. The algorithms determine the largest scaling factor, over all possibilities of centers and orientations which the cutting could assume, finding the cutting with the largest volume as possible inside a gemstone, represented by a triangular mesh. We also propose an algorithm to evaluate a problem instance. This method efficiently determines the greatest scaling factor, for a given center and orientation, such that the cutting fits inside the rough gemstone. The proposed algorithms are validated for an instance set of 50 real-world gemstones, using the round and oval cuttings. Finally, we compare our computational results, for volume yield and running time, with the state-of-art. Ours methods are proved be competitive with the previous approachs.

[pt] Construção de vocabulário é uma heurística para problemas de otimização combinatória que propõe identificar porções de boas soluções e recombiná-las de modo a intensificar a busca em regiões do espaço de soluções identificadas como promissoras. A técnica de construção de vocabulário pode ser aplicada de diversas maneiras na resolução de problemas. Para facilitar a implementação e comparação de algoritmos de um mesmo domínio, a tecnologia de frameworks é uma solução que já demonstrou ser muito eficaz. O objetivo deste trabalho é desenvolver um framework para a implementação de heurísticas baseadas em construçao de vocabulário. O desenvolvimento foi fundamentado em extensa revisão bibliográfica sobre a técnica e em boas práticas de engenharia de software, como frameworks orientados a objetos e padrões de projeto. Como um estudo de caso, foram geradas aplicações a partir do framework para a resolução do problema de seqüenciamento da produção de carros, que é um problema combinatório proposto a partir de necessidades reais da indústria / [en] Vocabulary building is a heuristic for solving combinatorial optimization problems, based on the identification of solution fragments which are common to good solutions and on their combination to intensify the search on promising regions of the solution space. This technique can be vastly applied on problem solving. The technology of frameworks is an efficient strategy to facilitate the implementation and comparison of same domain algorithms. The objective of this work is to develop a framework for the implementation of heuristics based on vocabulary building. Its development was based on a wide bibliographic revision about the technique and good software engineering practices, like oriented objects frameworks and design patters. We generated applications of the framework to solve the car sequencing problem, which is a combinatorial problem proposed by real requirements of the industry

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Com o passar do tempo, a demanda elétrica de diversas áreas varia tornando necessária a construção de novos geradores elétricos e a expansão da rede de transmissão de energia elétrica. Nesta dissertação, focamos no problema de expansão da rede de transmissão, assumindo que novos geradores estão construídos para suprir as novas demandas. Essa expansão exige altos investimentos que precisam ser cuidadosamente planejados. O problema pode ser modelado como um problema de otimização não linear inteira mista e pertence à classe dos problemas NP-difíceis. Desta forma, uma abordagem heurística pode ser adequada para a sua solução pois pode vir a fornecer boas soluções em tempo computacional aceitável. Esta dissertação se propõe a apresentar um estudo do problema de planejamento da expansão de redes de transmissão de energia elétrica estático e multiestágio. Mostramos o que já existe na literatura para o que é chamado de problema sem redimensionamento e as inovações feitas por nós para o problema com redimensionamento. Quanto aos métodos de solução, utilizamos a metaheurística GRASP para o problema estático e combinamos o GRASP com o procedimento Backward-Forward quando falamos em problema multiestágio. Nesta dissertação comparamos os resultados computacionais obtidos com resultados encontrados na literatura. / At times, the electrical load in diferent areas varies, claiming the construction of new electric generators and the expansion of the electrical transmission network. In this dissertation we focus on the transmission expansion planning problem, assuming that new generators are built to meet the new demands. This expansion requires large investments, which need to be carefully planned. This problem can be modeled as a mixed nonlinear programming problem, considered to be a NP-hard problem. Therefore a heuristic approach may be appropriate for its solution because it might be able to provide good solutions in satisfactory computational time. This dissertation intends to present a study of both the static and multistage transmission expansion planning problem. We present first a review of the most interesting works found in the technical literature. Then, we present metaheuristics for the static and multistage problems with re-design. These etaheuristics extend known algorithms for the problems without re-design. For the static problem, we extend a GRASP procedure and for the multistage problem, we embed the GRASP (or an exact method) into a backward-forward algorithm. We test our algorithms on real-based power transmission networks and compare them to the results found in the litterature.