6 research outputs found
A Probabilistic Method in Combinatorics
No full textO presente trabalho é um esforço de apresentar, organizado em forma de survey, um conjunto de resultados que ilustram a aplicação de um certo método probabilístico. Embora não apresentemos resultados novos na área, acreditamos que a apresentação sistemática destes resultados pode servir para a compreensão de uma ferramenta útil para quem usa dos métodos probabilísticos na sua pesquisa em combinatória. Os resultados de que falaremos tem aparecido na última década na literatura especializada e foram usados na investigação de problemas que resitiram a outras aproximações mais clássicas. Em vez de teorizar sobre o método a apresentar, nós adotaremos a estratégia de apresentar três problemas, usando-os como exemplos práticos da aplicação do método em questão. Surpeendentemente, apesar da dificuldade que apresentaram para ser resolvidos, estes problemas compartilham a caraterística de poder ser formulados muito intuitivamente, como veremos no Capítulo 1. Devemos advertir que embora os problemas que conduzem nossa exposição pertençam a áreas tão diferentes quanto teoria de números, geometria e combinatória, nosso intuito é fazer énfase no que de comum tem as suas soluções e não das posteriores implicações que estes problemas tenham nas suas respectivas áreas. Ocasionalmente comentaremos sim, outras possíveis aplicações das ferramentas usadas para solucionar estes problemas de motivação. Os problemas de que trataremos tem-se caracterizado por aguardar várias décadas em espera de solução: O primeiro, da teoria de números, surgiu na pesquisa de séries de Fourier que Sidon realizava a princípios de século e foi proposto por ele a Erdös em 1932. Embora tenham havido, desde 1950, diversos avanços na pesquisa deste problema, o resultado de que falaremos data de 1981. Já o segundo problema, da geometria, é uma conjectura formulada em 1951 por Heilbronn e refutada finalmente em 1982. O último problema, de combinatória, é uma conjectura de Erdös e Hanani de 1963, que foi tratada em diversos casos particulares até ser finalmente resolvida em toda sua generalidade em 1985.The following work is an effort to present, in survey form, a collection of results that illustrate the application of a certain probabilistic method in combinatorics. We do not present new results in the area; however, we do believe that the systematic presentation of these results can help those who use probabilistic methods comprenhend this useful technique. The results we refer to have appeared over the last decade in the research literature and were used in the investigation of problems which have resisted other, more classical, approaches. Instead of theorizing about the method, we adopted the strategy of presenting three problems, using them as practical examples of the application of the method in question. Surpisingly, despite the difficulty of solutions to these problems, they share the characteristic of being able to be formulated very intuitively, as we will see in Chapter One. We should warn the reader that despite the fact that the problems which drive our discussion belong to such different fields as number theory, geometry and combinatorics, our goal is to place emphasis on what their solutions have in common and not on the subsequent implications that these problems have in their respective fields. Occasionally, we will comment on other potential applications of the tools utilized to solve these problems. The problems which we are discussing can be characterized by the decades-long wait for their solution: the first, from number theory, arose from the research in Fourier series conducted by Sidon at the beginning of the century and was proposed by him to Erdös in 1932. Since 1950, there have been diverse advances in the understanding of this problem, but the result we talk of comes from 1981. The second problem, from geometry, is a conjecture formulated in 1951 by Heilbronn and finally refuted in 1982. The last problem, from combinatorics, is a conjecture formulated by Erdös and Hanani in 1963 that was treated in several particular cases but was only solved in its entirety in 1985
A Probabilistic Method in Combinatorics
No full textO presente trabalho é um esforço de apresentar, organizado em forma de survey, um conjunto de resultados que ilustram a aplicação de um certo método probabilístico. Embora não apresentemos resultados novos na área, acreditamos que a apresentação sistemática destes resultados pode servir para a compreensão de uma ferramenta útil para quem usa dos métodos probabilísticos na sua pesquisa em combinatória. Os resultados de que falaremos tem aparecido na última década na literatura especializada e foram usados na investigação de problemas que resitiram a outras aproximações mais clássicas. Em vez de teorizar sobre o método a apresentar, nós adotaremos a estratégia de apresentar três problemas, usando-os como exemplos práticos da aplicação do método em questão. Surpeendentemente, apesar da dificuldade que apresentaram para ser resolvidos, estes problemas compartilham a caraterística de poder ser formulados muito intuitivamente, como veremos no Capítulo 1. Devemos advertir que embora os problemas que conduzem nossa exposição pertençam a áreas tão diferentes quanto teoria de números, geometria e combinatória, nosso intuito é fazer énfase no que de comum tem as suas soluções e não das posteriores implicações que estes problemas tenham nas suas respectivas áreas. Ocasionalmente comentaremos sim, outras possíveis aplicações das ferramentas usadas para solucionar estes problemas de motivação. Os problemas de que trataremos tem-se caracterizado por aguardar várias décadas em espera de solução: O primeiro, da teoria de números, surgiu na pesquisa de séries de Fourier que Sidon realizava a princípios de século e foi proposto por ele a Erdös em 1932. Embora tenham havido, desde 1950, diversos avanços na pesquisa deste problema, o resultado de que falaremos data de 1981. Já o segundo problema, da geometria, é uma conjectura formulada em 1951 por Heilbronn e refutada finalmente em 1982. O último problema, de combinatória, é uma conjectura de Erdös e Hanani de 1963, que foi tratada em diversos casos particulares até ser finalmente resolvida em toda sua generalidade em 1985.The following work is an effort to present, in survey form, a collection of results that illustrate the application of a certain probabilistic method in combinatorics. We do not present new results in the area; however, we do believe that the systematic presentation of these results can help those who use probabilistic methods comprenhend this useful technique. The results we refer to have appeared over the last decade in the research literature and were used in the investigation of problems which have resisted other, more classical, approaches. Instead of theorizing about the method, we adopted the strategy of presenting three problems, using them as practical examples of the application of the method in question. Surpisingly, despite the difficulty of solutions to these problems, they share the characteristic of being able to be formulated very intuitively, as we will see in Chapter One. We should warn the reader that despite the fact that the problems which drive our discussion belong to such different fields as number theory, geometry and combinatorics, our goal is to place emphasis on what their solutions have in common and not on the subsequent implications that these problems have in their respective fields. Occasionally, we will comment on other potential applications of the tools utilized to solve these problems. The problems which we are discussing can be characterized by the decades-long wait for their solution: the first, from number theory, arose from the research in Fourier series conducted by Sidon at the beginning of the century and was proposed by him to Erdös in 1932. Since 1950, there have been diverse advances in the understanding of this problem, but the result we talk of comes from 1981. The second problem, from geometry, is a conjecture formulated in 1951 by Heilbronn and finally refuted in 1982. The last problem, from combinatorics, is a conjecture formulated by Erdös and Hanani in 1963 that was treated in several particular cases but was only solved in its entirety in 1985
An integration model between the IEC 61850 and IEC 61970 standards.
No full textREIN JR., O. UM MODELO DE INTEGRAÇÃO ENTRE OS PADRÕES IEC 61850 E IEC 61970 (CIM/XML). 2006. 98 p. Dissertação Mestrado Escola Politécnica, Universidade de São Paulo, São Paulo. A troca de informação entre os vários sistemas de gerenciamento e outros sistemas de informação de uma empresa do setor elétrico não é apenas desejada, mas, na maioria dos casos, necessária. Dois padrões internacionais surgiram, um relacionado à troca de dados nas subestações (IEC 61850) e outro relacionado à troca de informações entre os centros de controle (IEC 61970), sendo ambos publicados pelo comitê técnico 57 (TC57) do IEC, cujo tema é o gerenciamento e a troca de informação associados aos sistemas de potência. Contudo, apesar da similaridade em seu domínio de aplicação, cada um tem seu próprio modelo de objetos. O presente trabalho tem por objetivo investigar como a integração dos dados pertencentes aos sistemas de controle da subestação e do centro de controle pode ser alcançada, de maneira a permitir que a topologia de uma determinada subestação possa ser conhecida pelo EMS/SCADA. Vale, ainda, ter em conta que a verificação de tal análise demanda a implementação de um protótipo simulando a arquitetura de integração proposta. Logo, o estudo contempla as anotações que refletem os passos dessa implementação, bem como o registro dos testes exigidos pelos trabalhos, os quais compreenderam informações sobre a configuração de uma subestação contidos num arquivo SCL, informações de tempo real obtidas a partir de dispositivos eletrônicos inteligentes (IEDs), e a gravação desses dados em uma base de dados relacional modelada de acordo com o Common Information Model (CIM) contido na IEC 61970-301.REIN JR., O An integration model between the IEC 61850 and IEC 61970 standards. 2006. 98 p. Dissertação Mestrado Escola Politécnica, Universidade de São Paulo, São Paulo. The exchange of information among several management systems and other information systems of an electric utility company is not only desired but in most cases needed. Two international standards have emerged, one related to the data exchange of substations (IEC 61850) and another related to the exchange of information among control centers (IEC 61970), both published by the IEC technical committee 57 (TC57) that deals with the management and exchange of information on power systems. Nevertheless, in spite of the similarity in its application domain, each standard has its own object model. This work intends to investigate how to achieve the integration of data belonging to the substation control and control center systems, thus allowing a specific substation topology to be known by the EMS/SCADA. It is important to emphasize that the verification of such analysis required the implementation of a prototype to simulate the proposed integration architecture. Therefore, this work includes notes describing the implementation steps, as well as the record of the tests that have been done, encompassing substation configuration information within a SCL file, real-time information obtained from intelligent electronic devices (IEDs) and data recording in a relational database modeled according to the Common Information Mode (CIM) comprised in the IEC 61970-301
Common information Model/eXtensible Markup Language (CIM/XML) to exchange data among Power Utilities' Control Centers.
No full textEsta dissertação analisa a utilização do modelo de dados padronizado pela norma IEC 61970 (CIM), tida como uma ferramenta para troca de informações cadastrais e operacionais entre empresas de energia elétrica, com sistemas computacionais de diferentes fabricantes. O propósito deste padrão é criar um mecanismo para troca de informações baseado em XML, denominado de CIM/XML um formato, especificamente, utilizado pelos Centros de Controle de Energia Elétrica para troca de dados. Os modelos de dados do padrão IEC 61970 são apresentados, bem como a avaliação do CIM/XML como uma ferramenta de interoperabilidade de dados entre empresas de energia que apresentam bases de dados de diferentes modelagem e implementação. Um dos méritos deste modelo, além de fazer uso de uma tecnologia aberta (XML) disponível em qualquer tipo de computador, e que possibilita armazenar e transferir não só dados cadastrais de equipamentos, mas também dados de topologia da rede, curvas de carga, programação de geração, saídas programadas de equipamentos, bem como medições de sistemas SCADA, indicações de estado e alarmes. Possibilita ainda armazenamento de resultados de simulação, tais como resultados do programa de fluxo de potência. Adicionalmente, é apresentado em detalhes informações sobre: a implementação do modelo lógico orientado a objetos do CIM, numa base de dados relacional; os registros de equipamentos e a topologia de um trecho de linha de sub-transmissão aéreo e subterrâneo; as informações (exportadas e importadas no formato CIM/XML) inseridas na base de dados, e a geração do documento CIM/XML.This dissertation provides an analysis about the application of a data model based on IEC 61970 (CIM) standard a tool for exchanging operational and equipments information among different Electrical Power Utilities' computing systems. The purpose of this standard is to create a mechanism for information exchange using XML, called CIM/XML a format specifically used by Electrical Power Utilities' Control Centers for data exchange. The IEC 61970 standard-based data models is presented as well the evaluation of CIM/XML as a tool for data interoperability among Electrical Power Utilities' databases, that uses different modeling and implementation approaches. The benefit of this model besides of using a open standard technology (XML) that can be found on any type of computer is the capability of store and transfer information not only from equipments, but also from network topology, load flow curves, generation scheduling, equipments outages, SCADA system measurements, status indication and alarms. It also enables the storage of simulation results, such as the power flow bus voltage and lines loads. Additionally, is also provided highly detailed information about: the CIM object-oriented model implementation mapped to a relational database; the records of equipments and topology of an aerial and underground subtransmission line section; the information (exported and imported using CIM/XML format) included in the database, and the CIM/XML document generation
MODELO SEMÂNTICO DE OPERAÇÕES ARITMÉTICAS E LÓGICAS PARA HARDWARE VIRTUAL
No full textThe objective of this project was to develop a semantic modelof arithmetic and logical operations for virtual hardware; this goal was achievedthrough three main steps: Implement logic gates and arithmetic and logic unitsin Nand2tetris virtual hardware simulator software; Implement recursive anditerative functions to check the correct functioning of logical and arithmeticoperations in the p-code machine virtual machine. In the first stage,implementations of the elementary logic gates were developed in the hardwaresimulator software Nand2tetris. From these logic gates, combinational circuitsand sequential circuits were built as logical and arithmetic unit, Half Adder, FullAdder, 16-bit Addition, 16-bit logical negation, 16-bit logical AND, 16-bitlogical OR, among others. The second stage involved experimenting at a highlevel with arithmetic and logical operations, provided by the virtual machinep-code machine, which was implemented in the C programming language, asaddition, subtraction, greater than, less than. With the logical and arithmeticoperations already implemented, iterative and recursive programs weredeveloped to calculate the nth value of the Fibonacci Sequence and the factorialof any number n.O objetivo desse projeto foi desenvolver um modelo semântico deoperações aritméticas e lógicas para hardware virtual; esse objetivo foi atingidoatravés de três etapas principais: Implementar portas lógicas e unidades lógicase aritméticas no software simulador de hardware virtual Nand2tetris;Implementar funções recursivas e iterativas, para aferir o correto funcionamentodas operações lógicas e aritméticas na máquina virtual p-code machine. Naprimeira etapa, foram desenvolvidas no software simulador de hardwareNand2tetris implementações das portas lógicas elementares. A partir dessasportas lógicas, foram construídos circuitos combinacionais e circuitossequenciais como unidade lógica e aritmética, Meio Somador, SomadorCompleto, Adição de 16 bits, negação lógica de 16 bits, E lógico de 16 bits, OUlógico de 16 bits, entre outros. Na segunda etapa tratou-se de experimentar emalto nível as operações aritméticas e lógicas, disponibilizadas pela máquinavirtual p-code machine, que foi implementada na linguagem de programação C,como soma, subtração, maior que, menor que. Com as operações lógicas earitméticas já implementadas, foram desenvolvidos programas iterativos erecursivos para calcular o n-ésimo valor da Sequência de Fibonacci e o fatorialde um número n qualquer
Species distribution modeling with scalability: The case study of P-GARP, a parallel genetic algorithm for rule-set production
No full textSpecies distribution modeling (SDM) calculates a species' probabilistic distribution by combining Environmental raster layers with species datasets. Such models can help to answer complex questions in Ecology/Biology/Health, e.g., by calculating impacts of climate changes in Biodiversity, or the potential for a disease spread (vectors' modeling). Machine learning is largely applied in SDM, being the Genetic Algorithm for Rule-set Production (GARP) one of the most reliable solutions. However, GARP's convergence needs to speedup under certain conditions (high resolution or number of layers), for which this paper proposes P-GARP, a parallel, scalable implementation of GARP. P-GARP was implemented onto a SGI Altix XE 1300 cluster with 2 quad-core processors/node. Preliminary results show an expressive 3.2/node speedup. Premature convergence is not observed in PGARP and its accuracy is very similar to GARP´s. Effective solutions to improve this speedup in even larger scale are proposed, along with a discussion about P-GARP correctness and efficiency.</p
