Made available in DSpace on 2015-09-17T15:25:46Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-03-25. Added 1 bitstream(s) on 2015-09-17T15:46:34Z : No. of bitstreams: 1 000844070_20170212.pdf: 393663 bytes, checksum: 636c858838210ec6673677ede69922eb (MD5) Bitstreams deleted on 2017-02-17T11:23:28Z: 000844070_20170212.pdf,. Added 1 bitstream(s) on 2017-02-17T11:24:30Z : No. of bitstreams: 1 000844070.pdf: 1506818 bytes, checksum: 2de315c4ea31852d5ce7849682c89731 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Neste trabalho, definimos a máquina de somar estocástica relacionada à base de Fibonacci e a uma sequência de probabilidades (Pi) i>1. Obtemos uma cadeia de Markov cujo estados são o conjunto dos inteiros não-negativos. Estudamos propriedades probabilísticas dessa cadeia, como transiência e recorrência. Mostramos também que o espectro associado a essa cadeia de Markov está relacionado ao conjunto de Julia fibrado de uma classe de endomorfismos em C 2. Além disso, estudamos propriedades dinâmicas e topológicas de uma classe de endomorfismos de C 2 (ou R 2). Precisamente, as aplicações consideradas são fn(x, y) = ( x y+ cn, x), onde cn E2 C (ou cn E R), para todo n>0. / In this work we define a stochastic adding machine associated to the Fibonacci baseand to a probabilities sequence (Pi) i>1. We obtain a Markov chain whose states are the set of nonnegative integers. We study probabilistic properties of this chain, such as transience and recurrence. We also prove that the spectrum associated to this Markov chain is connected to the filled Julia sets for a class of endomorphisms in C 2. Furthermore, we study topological and dynamical properties of a class of endomorphisms of C 2 (or R 2). Precisely, the considered maps are fn(x, y) = (x y + cn, x), where cn 2 C (or cn E R), for all n>0.

Made available in DSpace on 2014-08-13T14:50:58Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-03-25Bitstream added on 2014-08-13T17:59:49Z : No. of bitstreams: 1 000773227.pdf: 703266 bytes, checksum: fc34edb35a8ced4c6f1b9f5377b4dc7d (MD5) / Este trabalho está inserido no contexto do Programa de Mestrado Pro ssional de Matemática em Rede Nacional - PROFMAT e apresenta a construção do conjunto de Cantor. Para exibir as propriedades do conjunto de Cantor, exploramos conteúdos presentes no Currículo Nacional do Ensino Básico de Matemática, tais como conjuntos, funções, intervalos reais e progressões geométricas. Utilizamos uma linguagem acessível aos alunos do Ensino Básico e apresentamos atividades envolvendo outros fractais, obtidos de forma semelhante ao conjunto de Cantor / This work is in the context of Professional Program Master of Mathematics in National Network - PROFMAT and it presents the construction of the Cantor set. To study the properties of the Cantor set, we explore contents which are described in the National Curriculum for Basic Education in Mathematics, such as sets, functions, real intervals and geometric progressions. We use a accessible language to High School students and we present some activities involving other fractals, obtained in a similar way to the Cantor set

Este trabalho será dividido em dois capítulos. Em ambos exibiremos a função de desvio e um princípio de grandes desvios para uma sequência de medidas que convergem, para uma medida minimizante no primeiro problema e para uma medida maximizante no segundo. O primeiro capítulo trata de aspectos da teoria de Aubry-Mather. Para um Lagrangiano L(x; v) : TN £ RN → R, satisfazendo algumas hipóteses naturais, e sob hipótese de genericidade, estamos interessados em mostrar um princípio de grandes desvios para uma sequência de medidas que convergem para a medida de Mather. D. Gomes e E. Valdinoci mostraram, para ε; h fixados, a existência de uma medida absolutamente contínua με; h que minimiza o problema de A-M discreto com entropia. Também analisaremos o problema discreto de Aubry-Mather, onde introduziremos o conceito de sub-ação e mostraremos, sob hipótese do Lagrangiano ser genérico, a unicidade de um certo tipo de sub-ação que chamaremos de calibradas. E finalmente mostraremos a existência de um outro tipo de sub-ação ditas separantes. / This work will be divided in two chapters. In both cases we present the rate function and a large deviation principle for a sequence of measures converging, to a minimizing measure in the first problem and to a maximizing measure in the second one. In the first chapter the setting will be the Aubry-Mather theory. For a Lagrangian L(x; v) : TN £RN → R, satisfying some natural hypothesis, and for a generic Lagrangian (it is known that in this case the Mather measure μ is unique and the support of μ is the Aubry set), we will show a large deviation principle for a sequence of measures that converge to the Mather measure. It follows from a result by D. Gomes and E. Valdinoci that, for ε; h fixed, there exists an absolutely continuous measure με; h that minimize the entropy penalized A-M problem. Also we will analyze the discrete A-M problem, where we introduce the concept of subaction and we will show, under the hypothesis of generic Lagrangian, the uniqueness of a kind of subaction, that we will call calibrated. And finally we will show the existence of another kind of subactions, a separating subaction.

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.

Made available in DSpace on 2014-06-11T19:24:39Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-08-14Bitstream added on 2014-06-13T20:12:45Z : No. of bitstreams: 1 barbosa_ap_me_botfca.pdf: 1272681 bytes, checksum: 2f6e9e57461cf2252f20193a29c01150 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Dada a significativa importância da atividade citrícola no Estado de São Paulo, verifica-se a necessidade de um constante monitoramento destas áreas, contribuindo para a tomada de decisões rápidas e abrangentes, visando à manutenção desta exploração. Mesmo com sua extraordinária capacidade de analisar e interpretar dados de sensoriamento remoto, o ser humano tende à subjetividade ao registrar as informações observadas nas imagens. Muitas vezes, o conhecimento do analista sobre a área de estudo é limitado, o que faz do processo de classificação uma tarefa que demanda maior esforço e tempo para identificação dos objetos representados na superfície. A classificação de imagens é o processo de extração de informação para reconhecer padrões e objetos homogêneos e são utilizados em sensoriamento remoto para mapear áreas da superfície terrestre que correspondem aos temas de interesse. O trabalho teve por objetivo a comparação da eficiência de métodos de classificação de imagens orbitais em áreas cultivadas com citros, utilizando técnicas de geoprocessamento visando o planejamento e o gerenciamento localizado das áreas de produção de citros. A área de estudo utilizada corresponde a Fazenda Água Branca, município de Bariri/ SP. O SIG - Idrisi 15.0, foi utilizado no processamento das imagens do satélite LANDSAT-5 TM, órbita/ponto: 221/75, passagens de 16/06/2003 e 26/05/2007. Do trabalho realizado constatou-se que os resultados na avaliação de acurácia da classificação foram satisfatórios, sendo que a classificação do algoritmo CLUSTER apresentou qualidade excelente (0,9276) e muito boa (0,6485); o algoritmo MAXVER apresentou classificações excelentes, com Kappa de 0,8338 e 0,8818; e o índice gerado pelo método de classificação relativa... / The significative activity of the citrus crop in São Paulo State requires a constant monitoring of these areas, contributing to make the quick and comprehensive decisions, aiming to maintain this operation. Even with the extraordinary ability to analyze and interpret data from remote sensing, human beings tend to subjectivity to register the information in the observed images. Often, knowledge of the analyst about the study area is limited, which makes the process of classifying a task that demands more time and effort to identify the objects represented on the surface. The images classification is the process of extraction of information to recognize patterns and homogeneous objects and it is used in remote sensing to map areas of the surface that correspond to themes of interest. This study aimed to compare the efficiency of methods of classification of orbital images in areas cultivated with citrus, using GIS techniques to the planning and management located in the areas of citrus production. The study area is located in Água Branca Farm, city of Bariri/SP. The GIS - Idrisi 15.0 was used in the image processing. It noted that the evaluation results of the classification accuracy were satisfactory, which the classifications of the CLUSTER algorithm had excellent quality (0.9276) and very good (0.6485), the MAXVER algorithm had excellent ratings, with kappa of 0.8338 and 0.8818, and the index obtained by the method of Fuzzy classification submitted a rating between very good (0.7260) and good (0.5235) for 2003 and 2007, respectively. The methods used for the discrimination of areas cultivated with citrus showed different efficiencies in the classification of images. In general, the classifications for the 2003 images showed the best performance when compared... (Complete abstract click electronic access below)

Submitted by Leonardo Kenji Kashimoto null (l.k.kashimoto@gmail.com) on 2017-01-27T21:27:11Z No. of bitstreams: 1 conjuntos_controlaveis_em_flags.pdf: 1157317 bytes, checksum: b03123364554853e9173cfa6cc951a99 (MD5) / Rejected by LUIZA DE MENEZES ROMANETTO (luizamenezes@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: O arquivo submetido está sem a ficha catalográfica. O arquivo submetido não contém o certificado de aprovação. A versão submetida por você é considerada a versão final da dissertação/tese, portanto não poderá ocorrer qualquer alteração em seu conteúdo após a aprovação. Corrija estas informações e realize uma nova submissão com o arquivo correto. Agradecemos a compreensão. on 2017-01-31T16:31:56Z (GMT) / Submitted by Leonardo Kenji Kashimoto null (l.k.kashimoto@gmail.com) on 2017-02-01T18:05:41Z No. of bitstreams: 1 conjuntos_controlaveis_em_flags_.pdf: 1948510 bytes, checksum: b3e2705f512f13cb5d0a68a07fcc3781 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2017-02-03T16:05:33Z (GMT) No. of bitstreams: 1 kashimoto_lk_me_prud.pdf: 1948510 bytes, checksum: b3e2705f512f13cb5d0a68a07fcc3781 (MD5) / Made available in DSpace on 2017-02-03T16:05:33Z (GMT). No. of bitstreams: 1 kashimoto_lk_me_prud.pdf: 1948510 bytes, checksum: b3e2705f512f13cb5d0a68a07fcc3781 (MD5) Previous issue date: 2016-08-09 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho é estudar ações de semigrupos em variedades flag com ênfase nos conjuntos controláveis efetivos para tais ações. Inicialmente, apresentamos algumas preliminares sobre a teoria de Lie. Em seguida, estudamos a estrutura dos grupos de Lie semi-simples reais. E, na sequência, estudamos os conjuntos controláveis D_w, bem como, os conjuntos controláveis invariantes para ações de semigrupos agindo em espaços homogêneos de grupos de Lie, em especial, nas variedades flag. Estudamos diversos resultados, tais  como, a existência e unicidade do conjunto controlável invariante numa variedade flag, suas propriedades, entre outros. E, também, estudamos os conjuntos controláveis D_{w}^{Θ} para semigrupos agindo nas outras variedades G/P_{Θ}, em especial, analisamos o número de conjuntos controláveis em G/P_{Θ}, bem como, alguns exemplos de aplicações.

Orientador: José Arnaldo Frutuoso Roveda / Coorientador: Admilson Írio Ribeiro / Banca: Neli Regina Siqueira Ortega / Banca: Gerson Araújo de Medeiros / Resumo: O processo de Avaliação de Impacto Ambiental (AIA) surgiu na década de 1960, nos EUA e começou a ser utilizado no Brasil, a partir da década de 1970, principalmente para fins de licenciamento ambiental. É composto por um conjunto de procedimentos utilizados para prever, recuperar e/ou mitigar os danos causados ao meio ambiente. Estudos para a otimização desse processo são feitos frequentemente de forma a buscar ferramentas que auxiliem na tomada de decisão e agilização na liberação de licenças ambientais. Os principais métodos utilizados para a previsão e avaliação de impactos são: listas de verificação, matrizes e redes de interação, superposição de mapas e modelos de simulação. Esta dissertação apresenta uma metodologia que aplica a Teoria dos Conjuntos Fuzzy para ser utilizada no processo de AIA. A intenção é mostrar uma ferramenta que auxilie na análise de impacto ambiental e/ou possibilite que a mesma seja realizada de forma mais abrangente. A partir dos parâmetros Duração, Temporalidade, Reversibilidade e Magnitude, apresentados na matriz de avaliação do Estudo de Impacto Ambiental (EIA) de um empreendimento automobilístico, construiu-se dois sistemas baseados em regras para determinar a Significância e a Relevância dos impactos. Os resultados foram bastante significativos de modo que o uso da metodologia mostrou-se bastante interessante por fazer uma análise integrada dos parâmetros, o que geralmente não acontece nos EIAs que fazem análise de forma fragmentada sem esclarecer a forma de agregação das variáveis / Abstract: The process of Environmental Impact Assessment (EIA) emerged in the 1960s, in US and began to be used in Brazil, from the 1970s, mainly for environmental licensing. It consists of a set of procedures used to predict, recover and / or mitigate the damage caused to the environment. Studies for the optimization of this process are often made in order to seek tools that help in decision making and speeding up the release of environmental licenses. The main methods used for prediction and assessment of impacts are: checklists, interaction matrices, interaction networks, overlay maps and simulation models. This work presents a methodology that applies the Fuzzy Set Theory to be used in the EIA process. The intention is to show a tool to assist in the environmental impact assessment and / or allows it to be carried out more widely. From the parameters: duration, temporality, reversibility and Magnitude, presented in the impact assessment matrix of the Environmental Impact Statement (EIS) of an automobile enterprise, was built two rules-based systems to determine the significance and relevance of impacts. The results were very significant so that the use of the methodology demonstrated much interesting to make integrated analysis of the parameters, which usually not occur in EIAs because these make analysis a fragmented way without explaining the form of aggregation of variables / Mestre

Orientador: João Carlos Soares Zuin / Banca: Rafael Alves Orsi / Banca: Luciana Bongiovanni Martins Schenk / Resumo: O presente trabalho tem como objetivo elucidar a relação entre o processo de urbanização na cidade de Araraquara e a precarização da vida no conjunto habitacional localizado no bairro São Rafael. A correlação destes dois fatores no espaço urbano de uma cidade média no interior paulista impossibilita a constituição da cidadania plena, tendo como conseqüência, o desenvolvimento da subcidadania, do estigma e das diversas formas de patologias sociais. A exclusão social, oriunda da denegação de direitos sociais fundamentais, suscita a permanência da luta por reconhecimento empreendida por grupos sociais historicamente segregados e estigmatizados, que visam restabelecer vínculos sociais negados ou rompidos. A partir da luta por reconhecimento da dignidade e da identidade pessoal e coletiva dos moradores do São Rafael, buscamos, através de entrevistas, compreender a percepção dos moradores em relação ao sentido e significado da "vida boa" e da "vida prejudicada" / Abstract: This study aims to elucidate the relationship between the process of urbanization in the city of Araraquara and the precariousness of life in the housing estate located in the San Rafael neighborhood. The correlation of these two factors in the urban space of an average city in the interior prevents the establishment of full citizenship, and as a consequence, the development of undercitizenship, stigma and the various forms of social pathologies. Social exclusion, arising from the denial of fundamental social rights, raises the continuing struggle for recognition undertaken by social groups historically segregated and stigmatized, aimed at restoring denied or broken social bonds. From the struggle for recognition of the dignity and personal and collective identity of the residents of San Rafael, seek, through interviews, to understand the perception of residents regarding the meaning and significance of the "good life" and "impaired life" / Mestre

Esta dissertação tem como objeto o estudo sistemático do espaço de uso coletivo na habitação social moderna desde 1937 a 1964. O estudo abrange um período em que se propunha um “novo modo de habitar”, unidades habitacionais mínimas, racionalização da construção e coletivização de equipamentos, com ênfase nas características da produção extensiva predominantemente manifestada após a Segunda Guerra Mundial. As análises fundamentam-se na produção brasileira de habitação social em sua interpretação moderna, período de vanguarda e experimentos na habitação social, que no Brasil foi marcado pelo ciclo dos IAPs. Também será apresentada amostra de um país Europeu, a Espanha, por estar próximo e relacionado ao centro do movimento moderno, mas também por não ser diretamente país berço do movimento, e logo possuir sua própria interpretação com sua produção habitacional moderna relativamente tardia. Um terceiro país, onde se analisou a produção de habitação social moderna, é o México, por ser um país que sofre influência dos Estados Unidos, e que teve uma importante produção moderna de habitação social, a cargo de um arquiteto mexicano que vivenciou a arquitetura moderna na Europa e trouxe sua interpretação e seu repertório ao seu país de origem. A partir dessa amostragem múltipla, o estudo apresentado nesta dissertação visa analisar conjuntos habitacionais de diferentes influências e manifestações modernas, em graus semelhantes e em um mesmo recorte temporal delimitado pela duração do ciclo dos IAPs no Brasil. A sistematização na análise dos espaços de uso coletivo possibilitou algumas reflexões sobre o projeto dos espaços de uso comum, em uma arquitetura que pretendia diminuir as áreas das unidades habitacionais e programar um modo de vida baseado na convivência e no coletivo. Finalmente, por meio da reflexão proposta nesta dissertação, encontraram-se prerrogativas ou estratégias de projetos utilizados na concepção dos espaços de uso coletivo na habitação social moderna, estabelecendo características que permitem (re)significar esses espaços. / This work aims at a systematic study of areas of collective use in modern social housing from 1937 to 1964. The study covers a period in which was proposed a "new way of inhabiting,” minimum housing units, rationalization of construction and collectivization of equipments and services. This study focuses on analyzing the characteristics of the predominantly expressed extensive production after World War II. The analyzed cases are the Brazilian production of social housing in its modern interpretation , also a brief sample of an European country, Spain , for being close and connected to the center of the modern movement , but also for not being a directly crib country of the movement, therefore, having its own interpretation with its relatively late modern housing production. A third country concerned, in which the production of modern social housing was analyzed, is Mexico for being a country that suffers major influences from the United States, and had an important production of Modern Social housing, largely influenced by a Mexican architect that experienced a modern atmosphere in Europe and brought through his interpretation and multiple repertoire, large modern production of social housing in Mexico where he worked and produced widely. Therefore, this study aims at examining housing of different influences and modern manifestations but in similar degrees. A systematic analysis of the areas of collective use, enabled this study to draw some conclusions concerning the design of spaces for common use, an architecture intended to reduce the areas of housing units and implement a way of life based on harmony, hygiene, work, home, family, order and progress. Finally, through these studies, present conclusions that may characterize prerogatives or project strategies used in the conception of areas of collective use in modern social housing.

In this work we present a sistematic exposition of a result due to R. Maiíé and L. Rocha, who proved that the Julia set of a rational map of the Riemann sphere is uniíormly perfect. We start with necessary basic concepts and dose with a proof of a result of C. Pommerenke which allows us to condude the Dirichlet regularity of the Julia set.