A Análise de Conceitos Formais (FCA) é uma teoria matemática que formaliza a noção de conceitos e hierarquias conceituais. De importância central a esta teoria é uma estrutura algébrica denominada reticulado de conceitos. Esta estrutura é definida em função de um conjunto de objetos, outro de atributos e uma relação que indica os atributos apresentados por cada objeto. Uma representação gráfica de um reticulado de conceitos, por meio de uma interface computacional, é capaz de expor regularidades presentes em dados a um usuário, e este pode então realizar tarefas de análise exploratória de dados. Este tipo de aplicação de FCA vem sendo empregado em dezenas de projetos pertencentes a áreas diversas, como medicina, serviços de inteligência, engenharia de software e bioinformática. Mostramos neste trabalho um sistema de análise exploratória de dados baseado em FCA, e sua utilização sobre dados reais. Também é mostrado como reticulados de conceitos podem ser empregados em interfaces de recuperação de informação. Do ponto de vista algorítmico, analisamos métodos computacionais para a determinação do reticulado de conceitos, e também de uma subestrutura simplificada, o conjunto de conceitos. O tamanho de um reticulado de conceitos pode ser exponencial em função dos tamanhos dos conjuntos de objetos e de atributos. Assim, é de vital interesse o estabelecimento de cotas superiores para o número de conceitos de um reticulado. Neste trabalho, apresentamos as cotas já conhecidas presentes na literatura. Também estabelecemos uma nova cota superior, e mostramos famílias de casos em que nossa cota superior é mais justa que as demais. Para algumas famílias particulares, nossa cota é polinomial, enquanto que as demais são exponenciais. / Formal Concept Analysis (FCA) is a mathematical theory that formalizes the notion of concepts and conceptual hierarchies. Of central importance to this theory is an algebraic structure termed concept lattice. Such structure becomes defined after being given one set of objects, one of attributes, and an incidence relation describing the attributes held by each object. A graphical representation of a concept lattice, by means of a computational interface, is capable of unfolding regularities present in data to an user, who is then able to conduct exploratory data analysis tasks. This sort of FCA application is currently deployed in tens of projects belonging to a wide range of areas, such as medicine, intelligence services, software engineering and bioinformatics. We show in this work an FCA-based system of exploratory data analysis, and its use over real data. Moreover, it is shown how concept lattices can be employed in information retrieval interfaces. From the algorithmic viewpoint, we analyse computational methods for the determination of a concept lattice, and also of a simplified substructure, the concept set. The size of a concept lattice can be exponential when compared to the size of the objects and the attributes sets. Therefore, it is of paramount interest the establishment of upper bounds for the number of concepts of a lattice. In this work, we present the upper bounds already known in the literature. We also establish a new upper bound, and show families of cases in which our bound is sharper than the others. For particular families, our bound is polynomial, whereas the other bounds are exponential.

Orientador: Sueli Irene Rodrigues Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T16:24:08Z (GMT). No. of bitstreams: 1 Bollauf_MaiaraFrancine_M.pdf: 2120752 bytes, checksum: 7dcb1f4f96d1b0feaa2372c7ff6453ad (MD5) Previous issue date: 2015 / Resumo: Essa dissertação possui como objetivo abordar as teorias de códigos e de reticulados e o uso recente destas na proposição de sistemas criptográficos que fazem o uso de chaves públicas dentro da chamada criptografia pós-quântica. No primeiro capítulo introduzimos a teoria dos códigos corretores de erros, incluindo definições e particularmente propriedades de códigos bastante utilizados como os de Hamming, códigos cíclicos, códigos BCH e códigos de Goppa. No segundo capítulo apresentamos a caracterização de dois problemas difíceis (NP-completos) baseados na estrutura de códigos que são o problema de decodificação geral (GDP) e o problema de decodificação por síndromes (SDP), os quais fundamentam algoritmos baseados na dificuldade de resolvê-los, como os criptossistemas de McEliece e Niederreiter. O Capítulo 3 é dedicado à teoria de reticulados, seus conceitos básicos e à caracterização dos problemas difíceis de se determinar nesta estrutura - o problema do vetor mais curto (SVP) e o problema do vetor mais próximo (CVP). Apresentamos também um modo de se obter reticulados a partir de códigos lineares, utilizando a chamada Construção A e ferramentas de geometria dos números para explicar métodos que avaliam a implementação da criptografia baseada em reticulados. No último capítulo descrevemos algoritmos desta subárea da criptografia , como os criptossistemas GGH e NTRU. Todos esses fundamentos embasam temas muito recentes de pesquisa em criptografia, que visam não somente a busca de sistemas que possivelmente resistirão à implementação de computadores quânticos mas que sejam mais eficientes na evolução prevista para computadores clássicos atuais / Abstract: This dissertation has the aim of approaching the theory of codes and lattices and their recent use to propose public key cryptosystems in the so called post-quantum cryptography. In the first chapter we introduce the theory of error correcting codes, including definitons and particularly properties of larged used codes such as Hamming codes, cyclic codes, BCH codes and Goppa codes. In the second chapter we present a characterization of two hard problems (NP-complete) based on the code structure which are the general decoding problem (GDP) and the syndrome decoding problem (SDP), which underlie algorithms based on the difficulty of solving them, as the McEliece and the Niederreiter cryptosystems. Chapter 3 is devoted to lattice theory, its basic concepts and the characterization of hard problems in this structure ¿ the shortest vector problem (SVP) and the closest vector problem (CVP). We also present a way to obtain lattices from linear codes using the so called Construction A and some tools of geometry of numbers to explain methods to evaluate the implementation of encryption schemes based on lattices. In the last chapter, we describe algorithms of this subarea of cryptography, such as GGH and NTRU. All these fundaments give support to recent research topics in cryptography, intended not only to search for secure systems that will probably resist to the introduction of quantum computers but also to be more efficient considering the the evolution of the classical computers / Mestrado / Matematica Aplicada / Mestra em Matemática Aplicada

Esse trabalho visa a investigar a estrutura bi-Hamiltoniana de uma classe de sistemas dinâmicos. Depois de introduzir as ferramentas necessárias, a saber, as noções de variedade de Poisson, de grupo de PoissonLieedenetworknodiscoenoanêl,introduziremosossistemasdinâmicos relevantes nessa dissertação, chamados de reticulados de Coxeter-Toda. Esses sistemas dinâmicos, cujo espaço de fase pode ser identicado com umoportunoquocientedeumacéluladupladeCoxeter-Bruhatdogrupo linear geral, são obtidos por redução do sistema de Toda em GLn. Na parte nal do presente trabalho apresentaremos alguns resultados relacionado à um sistema dinâmico discreto chamado de aplicação do pentagrama, o qual pode ser obtido através uma oportuna discretização do sistema dinâmico de Boussinesq. / This work aims to study the bi-Hamiltonian structure of a class of dynamical systems. After introducing the relevant tools, namely the notions of Poisson manifold, Poisson-Lie group and of network dened in a disc and in an annulus, we will introduce the dynamical systems of interest for this dissertation, i.e., the Coxeter-Toda lattices. These dynamical systems, whose phase-space can be identied with a suitable quotient of a Coxeter double Bruhat cell of the general linear group, are obtained by reduction starting from the Toda ow on GLn. In the nal part of the present work will be presented some results concerning a discrete integrable system close to the so called Pentagram map, which is a discretization of the Boussinesq dynamical system..

Para um espaço localmente compacto K e um espaço de Banach X, seja C_0(K,X) o espaço das funções continuas que se anulam no infinito munido da norma do supremo. Nesta tese se provam resultados relacionados com a geometria destes espaços. / For a locally compact Hausdorff space K and a Banach spaces X, let C_0(K,X) be the Banach space of continuous functions which vanish at infinity endowed with the supremum norm. We prove some results about geometry of these spaces.

Este trabalho de pesquisa apresenta o desenvolvimento de uma metodologia de diagnóstico automático de falhas do tipo curto-circuito de baixa impedância em circuitos alimentadores de média tensão de sistemas reticulados de distribuição de energia elétrica tipo spot network. O diagnóstico compreende a identificação do tipo de curto-circuito ocorrido e a sua localização. A metodologia está baseada no treinamento e uso de Redes Neurais Artificiais (RNAs). Os parâmetros para treinamento das RNAs são obtidos a partir de padrões de comportamento elétrico de curtos circuitos monofásicos, bifásicos e trifásicos à terra, obtidos por simulação de um circuito de distribuição real localizado na cidade de Brasília. Para obtenção do comportamento elétrico do circuito de distribuição foi utilizado o aplicativo de simulação ATP (Alternative Transient Program); para estruturação, treinamento e testes das RNAs da metodologia de diagnóstico foi utilizado o software Matlab (aplicativo de RNA). Os principais resultados dos testes das RNAs da metodologia são apresentados. Tais resultados demonstram a viabilidade científica e tecnológica de se aplicar a metodologia desenvolvida como ferramenta de diagnóstico em tempo real de auxílio dos departamentos de engenharia de operação e manutenção de concessionárias elétricas. Este trabalho também apresenta as principais possibilidades de continuidade desta pesquisa científica e tecnológica baseada em redes neurais artificiais na área de diagnóstico automático de sistemas reticulados. / This work presents the development of an automatic failure diagnostic methodology for low impedance short circuit in mid voltage feeders of distribution spot networks systems. The developed methodology has the feature to identify the type of short circuit and its location. An Artificial Neural Network technique was employed. The parameters used to train the Artificial Neural Networks are obtained based upon patterns in simulations of real cases for short circuit behavior in mono-phase, bi-phase and tri-phase to ground configuration. The input data for the simulation was based on a real distribution circuit belonging to the Power Utility CEB located in Brasília-Brazil. The simulation program ATP (Alternative Transient Program) was used to obtain the electric behavior of the circuit in the distribution network. As for the Artificial Neural Network simulation, trainings and tests Matlab was employed. As a main contribution the results of this work shows the technical feasibility to apply such methodology as a important real time diagnostic tool to support the system operation and maintenance departments of power utilities that uses spot network topologies. Furthermore, it is presented the possibilities to continue this research related to automatic diagnostics for network distribution systems based on Artificial Neural Networks technique.

Made available in DSpace on 2015-03-04T18:57:51Z (GMT). No. of bitstreams: 1 Thesis_Golbert_2013.pdf: 18646737 bytes, checksum: 7adc57aa9e06e2477c908c15f1f9afb8 (MD5) Previous issue date: 2013-04-29 / O objetivo deste trabalho é estudar a modelagem do escoamento de fluidos incompressíveis, visando modelar a hemodinâmica presente no sistema cardiovascular humano. Para tanto, vamos usar método de lattice Boltzmann (LBM), baseado na cinética mesoscópica, que permite simular o comportamento macro-contínuo da dinâmica de fluidos. Acoplado a este método, será usado um método de fronteira imersa para modelar as interações entre fluido e estrutura (como ocorre entre o sangue e a parede arterial). Ainda, visando a modelagem de condições fisiológicas realistas, será empregada uma abordagem de acoplamento de modelos dimensionalmente heterogêneos. Para isto serão desenvolvidos algoritmos para acoplar o LBM com um método de diferenças finitas, para a modelagem unidimensional do escoamento de sangue em vasos deformáveis. Serão detalhados diversos aspectos e desenvolvimentos teóricos dos métodos introduzidos e faremos estudos de caráter numérico, através de simulações de problemas estacionários e transientes, cujas características são similares às encontradas na modelagem do escoamento sanguíneo em artérias. Visando prover técnicas e orientações para a modelagem do escoamento sanguíneo no sistema arterial em regime fisiológico de forma acurada e computacionalmente eficiente por meio do uso do LBM.

Este trabalho de pesquisa apresenta o desenvolvimento de uma metodologia de diagnóstico automático de falhas do tipo curto-circuito de baixa impedância em circuitos alimentadores de média tensão de sistemas reticulados de distribuição de energia elétrica tipo spot network. O diagnóstico compreende a identificação do tipo de curto-circuito ocorrido e a sua localização. A metodologia está baseada no treinamento e uso de Redes Neurais Artificiais (RNAs). Os parâmetros para treinamento das RNAs são obtidos a partir de padrões de comportamento elétrico de curtos circuitos monofásicos, bifásicos e trifásicos à terra, obtidos por simulação de um circuito de distribuição real localizado na cidade de Brasília. Para obtenção do comportamento elétrico do circuito de distribuição foi utilizado o aplicativo de simulação ATP (Alternative Transient Program); para estruturação, treinamento e testes das RNAs da metodologia de diagnóstico foi utilizado o software Matlab (aplicativo de RNA). Os principais resultados dos testes das RNAs da metodologia são apresentados. Tais resultados demonstram a viabilidade científica e tecnológica de se aplicar a metodologia desenvolvida como ferramenta de diagnóstico em tempo real de auxílio dos departamentos de engenharia de operação e manutenção de concessionárias elétricas. Este trabalho também apresenta as principais possibilidades de continuidade desta pesquisa científica e tecnológica baseada em redes neurais artificiais na área de diagnóstico automático de sistemas reticulados. / This work presents the development of an automatic failure diagnostic methodology for low impedance short circuit in mid voltage feeders of distribution spot networks systems. The developed methodology has the feature to identify the type of short circuit and its location. An Artificial Neural Network technique was employed. The parameters used to train the Artificial Neural Networks are obtained based upon patterns in simulations of real cases for short circuit behavior in mono-phase, bi-phase and tri-phase to ground configuration. The input data for the simulation was based on a real distribution circuit belonging to the Power Utility CEB located in Brasília-Brazil. The simulation program ATP (Alternative Transient Program) was used to obtain the electric behavior of the circuit in the distribution network. As for the Artificial Neural Network simulation, trainings and tests Matlab was employed. As a main contribution the results of this work shows the technical feasibility to apply such methodology as a important real time diagnostic tool to support the system operation and maintenance departments of power utilities that uses spot network topologies. Furthermore, it is presented the possibilities to continue this research related to automatic diagnostics for network distribution systems based on Artificial Neural Networks technique.

Esse trabalho visa a investigar a estrutura bi-Hamiltoniana de uma classe de sistemas dinâmicos. Depois de introduzir as ferramentas necessárias, a saber, as noções de variedade de Poisson, de grupo de PoissonLieedenetworknodiscoenoanêl,introduziremosossistemasdinâmicos relevantes nessa dissertação, chamados de reticulados de Coxeter-Toda. Esses sistemas dinâmicos, cujo espaço de fase pode ser identicado com umoportunoquocientedeumacéluladupladeCoxeter-Bruhatdogrupo linear geral, são obtidos por redução do sistema de Toda em GLn. Na parte nal do presente trabalho apresentaremos alguns resultados relacionado à um sistema dinâmico discreto chamado de aplicação do pentagrama, o qual pode ser obtido através uma oportuna discretização do sistema dinâmico de Boussinesq. / This work aims to study the bi-Hamiltonian structure of a class of dynamical systems. After introducing the relevant tools, namely the notions of Poisson manifold, Poisson-Lie group and of network dened in a disc and in an annulus, we will introduce the dynamical systems of interest for this dissertation, i.e., the Coxeter-Toda lattices. These dynamical systems, whose phase-space can be identied with a suitable quotient of a Coxeter double Bruhat cell of the general linear group, are obtained by reduction starting from the Toda ow on GLn. In the nal part of the present work will be presented some results concerning a discrete integrable system close to the so called Pentagram map, which is a discretization of the Boussinesq dynamical system..

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-27Bitstream added on 2014-06-13T20:08:06Z : No. of bitstreams: 1 rayzaro_os_me_sjrp.pdf: 628267 bytes, checksum: 09181fbba2d539fd6135f0b473b3b345 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho vemos que a imagem de um ideal do anel dos inteiros dos corpos de números, via o homomorfismo de Minkowski, é um reticulado, chamado de reticulado algébrico. Assim, o principal objetivo deste trabalho é a construção de reticulados algébricos de dimensão 2; 4; 6 e 8, com densidade de centro ótimo. / In this work, we see that the image of an ideal from the algebraic integer ring of the numbers ¯elds by the Minkowski homomorphism is a lattice, named algebraic lattice. In this way, the main aim of this work is the construction of algebraic lattices of dimensions 2,4,6 and 8, with the center density excellent.

Orientador: Antonio Aparecido de Andrade / Banca: Edson Donizete de Carvalho / Banca: Clotilzio Moreira dos Santos / Resumo: Neste trabalho, descrevemos cíclicas de reticulados algébricos Zn-rotacionados de dimensão ímpar. Essas construções são obtidas através da imersão Rn, via homomorfismo canônico, de determinados Z-módulos livres de posto finito contidos em subcorpos de extensões ciclotômicas do tipo Q(ζp), Q(ζp2), Q(ζpq)e Q(ζpq2), com p e q primos ímpares. Caracterizamos os reticulados e apresentamos propriedades e aplicações na Teoria da Informação. / Abstract: In this work we describe cyclic constructions of odd dimension. These constructions are obtained by immersion in Rn via the canonical homomorphism, of certain Z-free modules of finite rank contained in subfield cyclotomic extensions of type Q(ζp), Q(ζp2), Q(ζpq)e Q(ζpq2), com p e q odd prime. Featuring the obtained lattices and presenting properties and applications in Information Theory. / Mestre