Orientador: Antonio Jose Engler / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-13T23:06:07Z (GMT). No. of bitstreams: 1 Nascimento_MauriCunhado_D.pdf: 2115074 bytes, checksum: 2c766688ef5db1f778940d8f38b1f0df (MD5) Previous issue date: 1990 / Resumo: Não informado / Abstract: Not informed / Doutorado / Doutor em Matemática

Tese de mestrado. Mestrado integrado em Engenharia Civil - Especialização em Vias de Comunicação. Faculdade de Engenharia. Universidade do Porto. 2012

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-03-08T21:22:12Z No. of bitstreams: 1 2016_VitorVenezaQuimasMacedo.pdf: 1728491 bytes, checksum: e5d32d334677321f2b5ea3b5c03b0b41 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-03-24T19:03:33Z (GMT) No. of bitstreams: 1 2016_VitorVenezaQuimasMacedo.pdf: 1728491 bytes, checksum: e5d32d334677321f2b5ea3b5c03b0b41 (MD5) / Made available in DSpace on 2017-03-24T19:03:33Z (GMT). No. of bitstreams: 1 2016_VitorVenezaQuimasMacedo.pdf: 1728491 bytes, checksum: e5d32d334677321f2b5ea3b5c03b0b41 (MD5) / O objetivo do presente trabalho é provar a segurança e eficiência de um protocolo que implementa a interseção privada de conjuntos (Private Set Intersection - PSI) entre dois participantes, Alice e Bob. Neste protocolo Bob possui um conjunto de elementos e deseja saber se este pertence ao conjunto de pontos de Alice, sem, no entanto, Alice saber nada sobre o resultado e Bob não saber nada além da interseção e o tamanho do conjunto de Alice. Para tanto é utilizada, numa primeira abordagem, a avaliação inconsciente de polinômio (ObliviousPolynomialEvaluation) com o uso de uma Terceira Parte Confiável (TPC), conseguindo obter dessa forma a segurança incondicional, em ambientes estáticos, contra adversários ativos. Na sequência é apresentada uma segunda versão do protocolo onde Alice e Bob simulam o papel da TPC, através do uso do algoritmo criptográfico homomórfico de Paillier, porém neste caso obtendo segurança computacional, em ambientes estáticos, contra adversário passivos. Por último é apresentada uma terceira versão do protocolo onde Alice e Bob, sem uma TPC, em uma única fase, usando o algoritmo criptográfico homomórfico de Paillier, em que Bob consegue testar um conjunto com mais do que apenas um elemento, obtendo novamente segurança computacional, em ambientes estáticos, contra adversário passivos Considerando as pesquisas bibliográficas realizadas, este é o primeiro protocolo que implementa a interseção privada de conjuntos provado incondicionalmente seguro no modelo Composto Universalmente (UniversallyComposable - UC). / The present paper goal is to prove the security and efficiency of a protocol that implements private set intersection – PSI between two players, Alice and Bob. Bob possess a set of elements and wishes to know if any of these elements belongs also in Alice set of elements, without, however, Alice knowing anything about the intersection and Bob knowing nothing besides the intersection and the size of Alice set. To conquer this objective, it is used, at a first approach, the oblivious polynomial evaluation using a Trusted Third Party (TTP), which achieves unconditional security, in static environments, against active adversaries. Moreover, it is presented a second version of the protocol where Alice and Bob simulate the TTP role through the use of Paillier homomorphic cryptography algorithm, but in this scenario it is achieved computational security, in static environments, against passive adversaries. At last, it is presented a third version of the protocol, without a TTP, still using Paillier homomorphic cryptography algorithm, where it is possible to test Bob set with more than one element, with the same security level as of the second version. Considering the previous bibliographic research, this is the first protocol that implements private set intersection proved unconditional secure in the Universally Composable - UC -model.

Tese de Mestrado Integrado. Engenharia Civil (Vias de Comunicação). Faculdade de Engenharia. Universidade do Porto. 2013

Orientadores: Carlile Campos Lavor, Jose Mario Martinez / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T21:12:00Z (GMT). No. of bitstreams: 1 Goncalves_MarcosRobertodaSilva_M.pdf: 1220561 bytes, checksum: e3b9dadf0b151f53d8a3e0e572b4c7ab (MD5) Previous issue date: 2008 / Resumo: Neste trabalho, abordamos o problema da determinação de pontos de intersecção de n esferas no Rn. Este problema, além de ser importante matematicamente, é um problema com muitas aplicações, que vão desde a localização de pontos no globo, pelo sistema GPS, até a posicionamento de átomos em estruturas moleculares. O problema de encontrar a intersecção de n esferas no Rn é, em geral, formulado como um conjunto de n equações não-lineares, onde se deseja determinar a sua solução através de um método eficiente e confiável. Mostramos que, com exceção de alguns casos, o problema é geralmente resolvido de forma eficaz, empregando técnicas de álgebra linear. Reformulamos o problema de forma a convertê-lo em um problema linear e apresentamos dois métodos baseados na decomposição de matrizes. Testamos os métodos para casos particulares de baixa dimensão, analisando o custo computacional e possíveis dificuldades que podem surgir devido a erros de medição. / Abstract: We consider the problem of determining the points of intersection of n spheres in R n. This problem has many applications, such as the location of points on the globe by the GPS system and problems related to molecular geometry optimization. The problem of finding the intersection of n spheres in R n is generally expressed as a set of nonlinear equations, where we want to establish an efficient and reliable method to find their solution. We show that, in general, the problem can be solved effectively employing techniques of linear algebra. We reformulate the problem in order to transform it into a linear problem and present two methods based on the decomposition of matrices. We also test the methods in small instances and analyze the computational cost and possible difficulties that may arise due to errors of measurement. / Mestrado / Mestre em Matemática

Tese de mestrado integrado. Engenharia Civil (Área de Especialização de Vias de Comunicação). Faculdade de Engenharia. Universidade do Porto. 2012

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2015-10-27T14:48:51Z No. of bitstreams: 2 Dissertação - Ronaldo Pires da Silva - 2015.pdf: 1653286 bytes, checksum: 63a72d8fbcc7390f80fb41dbadaaa9fe (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-27T14:53:07Z (GMT) No. of bitstreams: 2 Dissertação - Ronaldo Pires da Silva - 2015.pdf: 1653286 bytes, checksum: 63a72d8fbcc7390f80fb41dbadaaa9fe (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-27T14:53:07Z (GMT). No. of bitstreams: 2 Dissertação - Ronaldo Pires da Silva - 2015.pdf: 1653286 bytes, checksum: 63a72d8fbcc7390f80fb41dbadaaa9fe (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-07-06 / Our work had as main objective to study the intersection of integer sequences, denominated polygonal numbers, through Pell's equation. In this context, the solution of two equations will be treated: x2 􀀀 Dy2 = 1 and x2 􀀀 Dy2 = N, jNj > 1. For the rst one we have used results from the theory of continued fractions. For the last one, we have used the method of solution delineated in literature. Besides, propositions referring to the intersection of polygonal numbers for some particular cases are presented and demonstrated. Also, the proposition of the general case is presented and demonstrated. Finally, we have performed the solution of some of Pell's equations in order to determine the intersection of some polygonal numbers. / Nosso trabalho teve como objetivo central estudar a interseção de sequências de inteiros, denominadas números geométricos, através da equação de Pell. Neste contexto, a resolução de duas equações serão tratadas: x2 􀀀 Dy2 = 1 e x2 􀀀 Dy2 = N com jNj > 1. Para a primeira utilizamos importantes resultados presentes na teoria das frações contínuas. Para última, utilizamos o método de resolução delineado na literatura. Além disso, proposições referentes a interseção de números geométricos para alguns casos particulares são apresentadas e demonstradas. Também a proposição do caso geral é apresentada e demonstrada. Por m, realizamos a resolução de algumas equações de Pell para determinarmos a interseção de alguns números geométricos.

James W. Alexander, no artigo[1],mostra que se tivermos um mergulho PL f : \'S POT. 1\' × \'S POT. 1\' \'S POT. 3\', então o fecho de uma das componentes conexas de \'S POT. 3\' f(\'S POT. 1\' × \'S POT. 1\') é homeomorfo a um toro sólido, isto é, homeomorfo a \'S POT. 1\' × \'D POT. 2\'. Este teorema ficou conhecido por Teorema do toro de Alexander. Nesta dissertação, estamos detalhando a demonstração deste teorema feita em[25] que é diferente da demonstração apresentada em [1]. Mais geralmente, para um mergulho diferenciável f : \'S POT. p\' × \'S POT. q\' \'S POT. p + q+1\' , demonstra-se que o fecho de uma das componentes conexasde \'S POT. p +q + 1\' f(\'S POT. p\' × \'S POT. q\') é difeomorfo a \'S POT. p\' × \'D POT. q + 1\' se p q 1 e p + q \'DIFERENTE DE\' 3 ou se p = 2 e q = 1 um dos fechos será homeomorfo a \'S POT. 2\' × \'D POT. 2\' , nesta dissertação estaremos também detalhando estas demonstrações feita em [20] / James W. Alexander shows in[1] that the closure of one of the two connected components of \'S POT. 3\'f( \'S POT. 1 × \'S POT. 1\') is homeomorphic to a solid torus \'S POT. 1\' × \'D POT. 2\' , where f : \'S POT. 1\' ×\' SPOT. 1\' \'S POT. 3\' is a PL embedding. This result became known as Alexanders torus theorem. In this dissertation we are detailing the proof of this theorem made in[25] which is different from the demonstration presented in[1]. More generally, when considering a smooth embeding f : \'S POT. p\' × \'S POT. q\' \' SPOT. p+q+1\' , it is demonstrated that the closure of one of the two connected components \'S POT. p+q+1\' f (\'S POT. p\' × \'S POT. q\' ) is diffeomorphic to \'S POT. p\' × \'D POT. q+1\' if p q 1 and p+q \'DIFFERENT OF\' 3 or if p = 2 and q = 1 one of the closures will be homeomorphic to \'S POT. 2\' × \'D POT. 2\'. In this work we are also detailing the proves made in[20]

Made available in DSpace on 2015-03-04T18:50:59Z (GMT). No. of bitstreams: 1 thesis.pdf: 520664 bytes, checksum: a8423486c7ffd3a3ceff9cb2b60761ce (MD5) Previous issue date: 2008-03-14 / Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / The graph isomorphism problem has applications in several areas of science. This problem has not an efficient solution to its general case. In this work, we present the basic concepts of group theory, graph theory and quantum mechanics. We introduce the hidden subgroup problem and a known polynomial reduction of the graph isomorphism problem in its general case to the hidden subgroup problem on the symmetric group. We use a method that reduces the graph isomorphism problem to the group intersection problem. This method combines results from quantum computing and solvable group theory providing a efficient solution through a quantum algorithm to the graph isomorphism problem for the particular class of graphs. / O problema do isomorfismo de grafos possui aplicações em diversas áreas da ciência. Tal problema não possui uma solução eficiente para o seu caso geral. No presente trabalho, apresentamos os conceitos básicos em teoria de grupos, teoria dos grafos e mecânica quântica. Apresentamos o problema do subgrupo oculto e uma conhecida redução polinomial do problema do isomorfismo de grafos no seu caso geral para o problema do subgrupo oculto sobre o grupo simétrico. Utilizamos um método que reduz o problema do isomorfismo de grafos para o problema de interseção de grupos. Este método utiliza resultados da computação quântica e da teoria dos grupos solúveis, nos permitindo obter uma solução eficiente através de um algoritmo quântico para o problema do isomorfismo de grafos para uma classe particular de grafos.

O emprego de veículos terrestres autônomos tem se tornado cada vez mais comum nos últimos anos em aplicações civis e militares. Eles podem ser úteis para as pessoas com necessidades especiais e para reduzir os acidentes de trânsito e o número de baixas em combate. Esta tese aborda o problema da classificação de obstáculos e da localização do veículo em relação a um mapa topológico, sem fazer uso de GPS e de mapas digitais detalhados. Um sensor laser 3D é usado para coletar dados do ambiente. O sistema de classificação de obstáculos extrai as features da nuvem de pontos e usam-nas para alimentar um classificador que separa os dados em quatro classes: veículos, pessoas, construções, troncos de árvores e postes. Durante a extração de features, um método original para transformar uma nuvem 3D em um grid 2D é proposto, o que ajuda a reduzir o tempo de processamento. As interseções de vias de áreas urbanas são detectadas e usadas como landmarks em um mapa topológico. O sistema consegue obter a localização do veículo, utilizando os pontos de referência, e identifica as mudanças de direção do veículo quando este passa pelos cruzamentos. Os experimentos demonstraram que o sistema foi capaz de classificar corretamente os obstáculos e localizar-se sem o uso de sinais de GPS. / The employment of autonomous ground vehicles, both in civilian and military applications, has become increasingly common over the past few years. Those vehicles can be helpful for disabled people and also to reduce traffic accidents. In this thesis, approaches to the problem of obstacles classification and the localization of the vehicle in relation to a topologic map are presented. GPS devices and previous digital maps are not employed. A 3D laser sensor is used to collect data from the environment. The obstacle classification system extracts features from point clouds and uses them to feed a classifier which separates data into four classes: vehicle, people, building and light poles/ trees. During the feature extraction, an original method to transform 3D to 2D data is proposed, which helps to reduce the processing time. Crossing roads are detected and used as landmarks in a topological map. The vehicle performs self-localization using the landmarks and identifying direction changes through the crossing roads. Experiments demonstrated that system was able to correctly classify obstacles and to localize itself without using GPS signals.