Nesta dissertação foram estudados alguns modelos vetoriais que pretendem modelar e descrever alguns aspectos de sistemas sociais e de sua organização cultural. Partimos do modelo de Axelrod, um processo estocástico definido em uma rede, e introduzimos uma pequena alteração no modelo que desencadeou mudanças qualitativas interessantes, especialmente o surgimento de uma tensão superficial, que leva ao aparecimento de estados metaestáveis e de regiões culturais mais fixamente localizadas no espaço. Através da ótica da mecânica estatística e de extensas simulações computacionais, exploramos alguns dos aspectos que julgamos mais importantes na caracterização desse rico modelo. / Axelrod\'s model for cultural dissemination is a discrete vector representation for modeling social and cultural systems. In this work we have studied it and other related models, and a subtle change in the model\'s rule was proposed. Our slight alterations to the model yielded significant qualitative changes, specifically the emergence of surface tension, driving the system to metastable states. Using concepts from statistical mechanics and extensive numerical simulations, we explored some of the aspects that better describe the rich model devised, such as its transient and stationary behaviour.

Os padrões espaciais das alterações da cobertura da terra podem ser analisados a partir de modelagens da sua dinâmica espacial. Essas modelagens são capazes de descrever possíveis fatores responsáveis pelas mudanças territoriais, bem como viabilizar a estimativa de impactos futuros sobre o ambiente simulado. Considerando as pressões do setor de infraestrutura portuária sobre as configurações da forma de uso e planejamento do espaço na região portuária da Baixada Santista, tais como o aporte por áreas de retroporto, o armazenamento e o transporte de cargas, este estudo buscou desenvolver modelos dinâmicos da paisagem e investigar a relação entre as alterações na cobertura da terra e a infraestrutura de transportes na região portuária da Baixada Santista. A partir de produtos de sensoriamento remoto e da metodologia de modelagem dinâmica espacial baseada em autômatos celulares, foram gerados mapas simulados e cenários de prognósticos, com e sem projetos de expansão portuária para o ano de 2024. Os mapas simulados do ano de 1995 e 2005 foram semelhantes aos mapeamentos temáticos de cobertura da terra reais e apresentaram boa avaliação. Importante ressaltar que, apenas o mapa simulado de 2013 não previu as novas instalações portuárias, mesmo com a simulação rodando com a variável de novos empreendimentos operacionais em curto intervalo de tempo. O modelo estacionário em 2024 mostrou a expansão de áreas construídas em substituição, sobretudo, às áreas de campo. Não houve expansão de novas manchas de áreas construídas e isso condiz com a tendência de expansão de áreas urbanas seguindo as áreas já consolidadas e com infraestrutura implantada. Com relação à geração de modelos com os projetos de expansão portuária, tem-se a implantação de diversos empreendimentos ocupando parte da margem esquerda do estuário e áreas de retroporto próximas do arco viário da Baixada Santista. / Spatial patterns of change in land cover can be analyzed with spatial dynamic models. This modeling can indicate the driving factors of territorial changes as well as assess future impacts over the simulated environment. Considering the pressures of the port infrastructure sector over the land use and physical planning in the region of Baixada Santista, such as the demand for backport areas as well as for loads storage and transport, this study aims to develop dynamic models of the landscape and investigate the relationship between land cover change and the transport infrastructure in the port area of Santos. With the aid of remote sensing products and cellular automata based models, simulated maps of past landscapes and maps of future landscape scenarios were generated, both considering and disregarding port expansion projects for the year 2024.The simulated landscape maps of 1995 and 2005 were similar to the real ones, and hence, presented high fitness indices. It is important to mention that only the simulated map of 2013, could not foresee the new port facilities, even when the runs took into account the variables associated with the new operational ventures in a short period of time. The stationary model showed an expansion of built-up areas, mainly replacing former field areas. There was no occurrence of new patches of built-up areas and this trend is consistent with the expansion of urban areas nearby the already consolidated and established areas disposing of infrastructure facilities. Regarding the generation of future simulated scenarios taking into account the port expansion projects, they could well reproduce the implementation of several projects along part of the left bank of the estuary and nearby areas of the road ring of Baixada Santista.

Made available in DSpace on 2016-03-15T19:37:32Z (GMT). No. of bitstreams: 1 Rodrigo da Silva Freitas.pdf: 462625 bytes, checksum: 0a15a8db6ef05a12c27f5668822ef98c (MD5) Previous issue date: 2010-08-12 / Fundo Mackenzie de Pesquisa / Cellular automata have been studied as computer models in many different forms. Several of its properties have been widely explored, among which reversibility stands out. This property is able to provide a cellular automaton the possibility of having their temporal evolution regenerated backward in time, regardless of its initial configuration, through an inverse cellular automaton. Reversibility is such a well characterized concept that many fundamental results associated with it have been obtained, such as the development of algorithms to enumerate all reversible one-dimensional cellular automata and the undecidability of this property for cellular automata in dimensions larger than 1. The driving force for the present research is to introduce a new concept involving the reversibility ability of a cellular automaton, the concept of partial reversibility, which is analysed herein according to the pre-images of all initial configurations of a rule, up to a certain length. This new concept may be useful for evolutionary searches for reversible cellular automata, to allow the use of cellular automata in tasks related somehow to the reversibility degree of a rule, or in applications where reversible rules are demonstrably employed, such as in cryptography. To that end, some parameters presumably related to reversibility are studied and compared, and empirical measures (lexicographical and numerical) are addressed. The results involving these empirical measures, showed that is possible to refer to a more partially reversible rule than another, besides revealing properties, apparently unknown so far, involving the pre-images of elementary rules. / Os autômatos celulares têm sido estudados como modelos computacionais de diversas formas. Diversas de suas propriedades têm sido amplamente exploradas, entre elas destacando-se a reversibilidade. Esta propriedade é capaz de fornecer a um autômato celular a possibilidade de ter sua evolução temporal refeita para trás no tempo, independentemente de sua configuração inicial, através de um autômato celular inverso. A reversibilidade é um conceito tão bem caracterizado que muitos resultados fundamentais associados a ela têm sido obtidos, tais como o desenvolvimento de algoritmos para enumerar todos os autômatos celulares unidimensionais reversíveis e a indecidibilidade desta propriedade para autômatos celulares com dimensão maior que 1. A ideia principal deste trabalho é introduzir um novo conceito envolvendo a capacidade de reversibilidade de um autômato celular, o conceito de reversibilidade parcial, que é analisado com base nas pré- imagens de todas configurações iniciais de uma regra, até um determinado tamanho de reticulado. Este novo conceito pode ser útil em buscas evolutivas de autômatos celulares reversíveis, a fim de permitir a utilização de autômatos celulares em tarefas associadas de alguma forma ao grau de reversibilidade de uma regra, ou ainda, em aplicações onde as regras reversíveis são comprovadamente empregadas, tal como em criptografia. Para tanto, alguns parâmetros supostamente relacionados à reversibilidade são estudados e comparados, e medidas empíricas (lexicográficas e numéricas) são abordadas. Os resultados obtidos envolvendo essas medidas empíricas mostraram que é possível referir-se a uma regra mais parcialmente reversível do que outra, além de revelar propriedades, até então desconhecidas, envolvendo as pré-imagens das regras elementares.

Made available in DSpace on 2016-03-15T19:37:38Z (GMT). No. of bitstreams: 1 Mateus Interciso.pdf: 1720671 bytes, checksum: aa67cff2cc9f7abe5fb3b48bead6b38d (MD5) Previous issue date: 2011-08-23 / Fundo Mackenzie de Pesquisa / The search for cellular automata (CAs) rules capable of executing a determined task can be impossible to be achieve manually, given the huge size of the search space usually involved. A method for being able to find rules capable of executing the task at hand has been the usage of genetic algorithms (GAs) to evolve an initially random population, until the desired objective; each individual of those GAs are usually represented by a candidate transition rule. In problems formulated for the resolution by a binary cellular automaton, a recently used modification on the representation of the individuals was the usage of templates with the presence of an extra symbol, capable of representing every other valid symbol. Such schema of ternary representation is used on the present work, aiming for it s net effect on the search process on the GAs. This study is made for two classical tasks of binary unidimensional cellular automata, the density classification task and the parity problem, both traditional in the context of using GAs for searching transition rules with high performance. By comparing the results of the original GAs and their versions implemented with the ternary representation, it s shown that the ternary representation is able to improve the quality of the results. Particularly, it is analized the condition in which the usage of the ternary representation presents to be more effective, as well as some effects of the actual implementation. Possible future works are presented at the end. / A busca por regras de autômatos celulares que efetuem corretamente uma determinada tarefa pode ser impossível de ser efetuada manualmente, dado o enorme tamanho dos espaços de busca usualmente envolvidos. Uma forma para conseguir encontrar boas regras para a execução do problema em questão tem sido a utilização de algoritmos genéticos (AGs) para evoluir uma população inicialmente aleatória, até o objetivo desejado; nesses AGs cada indivíduo é normalmente representado como uma regra de transição candidata. Em problemas formulados para resolução por um autômato celular binário, uma alteração recentemente estudada na literatura para a representação dos indivíduos foi a utilização de templates (moldes) com a presença de um símbolo extra, capaz de representar os demais símbolos. Tal esquema de representação ternária é utilizada no presente trabalho, visando avaliar seu efeito no processo de busca realizado por AGs. O estudo é feito para duas tarefas clássicas de autômatos celulares unidimensionais binários, a tarefa de classificação da densidade e o problema da paridade, ambas tradicionais no contexto da utilização de AGs para encontrar regras de transição com alta performance. Ao comparar os resultados de AGs originais encontrados na literatura com suas versões implementadas com representação ternária, mostra-se que a representação ternária é capaz de melhorar a qualidade dos resultados. Em particular, analisam-se condições em que o uso da representação ternária se mostra mais efetivo, bem como apontam-se efeitos de alguns aspectos de implementação. Possíveis trabalhos futuros pertinentes ao estudo são discutidos ao final.

Made available in DSpace on 2016-03-15T19:37:41Z (GMT). No. of bitstreams: 1 Mateus Interciso.pdf: 1732926 bytes, checksum: f29787f421b0b5f1d6dedd2c1eb4e0fc (MD5) Previous issue date: 2011-09-23 / Fundo Mackenzie de Pesquisa / The search for cellular automata (CAs) rules capable of executing a determined task can be impossible to be achieve manually, given the huge size of the search space usually involved. A method for being able to find rules capable of executing the task at hand has been the usage of genetic algorithms (GAs) to evolve an initially random population, until the desired objective; each individual of those GAs are usually represented by a candidate transition rule. In problems formulated for the resolution by a binary cellular automaton, a recently used modification on the representation of the individuals was the usage of templates with the presence of an extra symbol, capable of representing every other valid symbol. Such schema of ternary representation is used on the present work, aiming for it s net effect on the search process on the GAs. This study is made for two classical tasks of binary unidimensional cellular automata, the density classification task and the parity problem, both traditional in the context of using GAs for searching transition rules with high performance. By comparing the results of the original GAs and their versions implemented with the ternary representation, it s shown that the ternary representation is able to improve the quality of the results. Particularly, it is analized the condition in which the usage of the ternary representation presents to be more effective, as well as some effects of the actual implementation. Possible future works are presented at the end. / A busca por regras de autômatos celulares que efetuem corretamente uma determinada tarefa pode ser impossível de ser efetuada manualmente, dado o enorme tamanho dos espaços de busca usualmente envolvidos. Uma forma para conseguir encontrar boas regras para a execução do problema em questão tem sido a utilização de algoritmos genéticos(AGs) para evoluir uma população inicialmente aleatória, até o objetivo desejado; nesses AGs cada indivíduo é normalmente representado como uma regra de transição candidata. Em problemas formulados para resolução por um autômato celular binário, uma alteração recentemente estudada na literatura para a representação dos indivíduos foi a utilização de templates (moldes) com a presença de um símbolo extra, capaz de representar os demais símbolos. Tal esquema de representação ternária é utilizada no presente trabalho, visando avaliar seu efeito no processo de busca realizado por AGs. O estudo é feito para duas tarefas clássicas de autômatos celulares unidimensionais binários, a tarefa de classificação da densidade e o problema da paridade, ambas tradicionais no contexto da utilização de AGs para encontrar regras de transição com alta performance. Ao comparar os resultados de AGs originais encontrados na literatura com suas versões implementadas com representação ternária, mostra-se que a representação ternária é capaz de melhorar a qualidade dos resultados. Em particular, analisam-se condições em que o uso da representação ternária se mostra mais efetivo, bem como apontam-se efeitos de alguns aspectos de implementação. Possíveis trabalhos futuros pertinentes ao estudo são discutidos ao final.

Made available in DSpace on 2016-03-15T19:37:56Z (GMT). No. of bitstreams: 1 CARLOS EDUARDO PROFETA DE CARVALHO.pdf: 1714302 bytes, checksum: 9f543bb164424f04ade23ddc5bedeb07 (MD5) Previous issue date: 2015-03-04 / Cellular automata are discrete complex systems and also fully distributed computational systems, with arbitrarily simple local processing. One of computations that can be made with cellular automata is sorting of numerical sequences. Sorting is a quite relevant topic and widely used in computing, as one of its fundamental processes. This research aimed at the development of sorting algorithms based on one-dimensional cellular automata. Two new versions with range 1 and 3 have been proposed, inspired by the characteristics of existing studies in the literature. In the analysis carried out, the proposed cellular automata have advantages over the approaches that originated them. / Autômatos celulares são sistemas complexos discretos e também sistemas computacionais totalmente distribuídos, com processamento local arbitrariamente simples. Uma das computações que se pode realizar com autômatos celulares é a ordenação de sequências numéricas. A ordenação é um tema bastante relevante e utilizado amplamente na computação, como um de seus processos fundamentais. A presente pesquisa visou o desenvolvimento de algoritmos de ordenação baseados em autômatos celulares unidimensionais. Foram propostas duas novas versões, de raios 1 e 3, inspirados por características de trabalhos existentes na literatura. Em análise realizada, os autômatos celulares propostos apresentam vantagens com relação às abordagens que lhes deram origem.

Made available in DSpace on 2016-03-15T19:31:19Z (GMT). No. of bitstreams: 1 Rubens de Almeida Zimbres.pdf: 953627 bytes, checksum: 788a11f034cfb7d55e50c105894ec1f3 (MD5) Previous issue date: 2009-06-02 / Wolfram Research, Inc. / The main goal of this thesis was to verify the influence of clients and providers role clarity in quality perception of esthetic services. Starting from a dyadic perspective, we studied how interactions during service cycle clarify roles of its participants, generating cognitive and emotional involvement, thus influencing quality perception and behavioral intentions. We did a quali-quantitative research, and had developed a scale for measuring the constructs. We evaluated psychometric properties of the scale and results suggest that relationships proposed and the scale for measuring constructs are valid. Results also show that there are perception discrepancies related to quality criteria among clients and providers. The use of control variables allowed to understand better clients and providers idiosyncrasies. After data analysis, we developed an artificial society based in cellular automata concept. Simulation results allowed to understand information diffusion in the social network and may be useful for service cycle management and development of Marketing strategies based in market segmentation. / A presente tese teve como objetivo verificar a influência da clareza do papel de clientes e provedores de serviços estéticos na percepção de qualidade dos mesmos. Partindo de uma perspectiva diádica, estudou-se como as interações durante o ciclo de serviço esclarecem os papéis dos participantes do mesmo, gerando envolvimento cognitivo e emocional, e influenciando assim a percepção de qualidade de serviço e as intenções comportamentais. Foi realizada uma pesquisa quali-quantitativa longitudinal, onde foram desenvolvidas escalas para mensuração dos construtos estudados. Foram avaliadas as propriedades psicométricas da escala desenvolvida e os resultados sugerem que as relações propostas e a escala desenvolvida apresentam validade. Os resultados também mostram que existem discrepâncias de percepção com relação aos critérios de qualidade entre clientes e provedores e o uso de variáveis de controle permitiu aprofundar o conhecimento das idiossincrasias de clientes e provedores. Após a análise dos dados, procedeu-se à construção de uma sociedade artificial baseada no conceito de autômatos celulares. Os resultados da simulação permitiram entender melhor a dinâmica de evolução de opiniões na rede social estudada, podendo ser úteis para gestão do ciclo de serviço e desenvolvimento de estratégias de Marketing baseadas em segmentação de mercado.

Submitted by Rosa Assis (rosa_assis@yahoo.com.br) on 2017-11-21T15:01:03Z No. of bitstreams: 2 ZORANDIR SOARES JUNIOR.pdf: 776451 bytes, checksum: 0df63868dba162f16d377cf8ba51839a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2017-11-30T12:39:39Z (GMT) No. of bitstreams: 2 ZORANDIR SOARES JUNIOR.pdf: 776451 bytes, checksum: 0df63868dba162f16d377cf8ba51839a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-11-30T12:39:39Z (GMT). No. of bitstreams: 2 ZORANDIR SOARES JUNIOR.pdf: 776451 bytes, checksum: 0df63868dba162f16d377cf8ba51839a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-08-16 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Fundo Mackenzie de Pesquisa / Templates are formal representations for sets of one-dimensional cellular automata created by means of a generalisation of the classical state transition tables. Algorithms already do exist in the literature that generate templates for static properties of cellular automata rules, as well as others that perform operations such as intersection between templates and template expansion. Here, we introduce the exception template operation, the operation of di erence between templates, and explain the functioning of the algorithm of those operations, which have been implemented in the CATemplates package of the Mathematica software. We also discuss the possibility of using templates in the context of the parity problem {namely, the determination of the parity of 1s in a cyclic binary con guration of odd length{ with the support of the operation of di erence between templates, and of the template generation of parity conserving and state conserving cellular automata. / Templates são representações formais para conjuntos de autômatos celulares unidimensionais feitas por meio da generalização das tabelas de transição clássicas. Já existem algoritmos na literatura que geram templates para propriedades estáticas de autômatos celulares, assim como há algoritmos que realizam operações como intersecção entre templates e expansão de template. Aqui, é introduzida a operação de templates de exceção, a operação de diferença entre templates, e explica-se o funcionamento do algoritmo dessas operações, que foram implementadas na biblioteca CATemplates do software Mathematica. Também discutimos a possibilidade de uso de templates no contexto do problema de paridade (a saber, a determinação da paridade de 1s em uma configuração binária cíclica de tamanho ímpar), com o apoio da operação de diferença entre templates, e das operações geradoras de templates de autômatos celulares conservativos de paridade e conservativos de estado.

Este trabalho aborda a utilização do método de Lattice Boltzmann como ferramenta de simulação para a área de dinâmica de fluidos. Além disso, apresenta o programa LBSim desenvolvido durante o período de pesquisa, construído para ser flexível e extensível (através do emprego de técnicas de orientação a objetos) e com uma interface gráfica mais amigável do que outros projetos semelhantes. Como resultado deste trabalho, o software LBSim implementa uma série de módulos diferentes que utilizam o método de Lattice Boltzmann como base, permitindo a simulação de casos monofásico, multifásico, multicomponente, com suporte à gravidade, meios porosos, difusão, transferência de calor e paredes deslizantes. / This work approaches the use of the Lattice Boltzmann method as a simulation tool for the fluid dynamics area. Beyond that, it presents the LBSim software, developed during the period of the research and built to be flexible and extensible (through the application of techniques of the object oriented paradigm) and with a graphical interface more friendly than other similar projects. As a result of this work, the LBSim software implements a series of different modules that uses the Lattice Boltzmann method as a base, allowing the simulations of the following cases: monophase, multiphase, multicomponent, with support of gravity, porous media, diffusion, heat transfer and moving walls.

Made available in DSpace on 2016-03-15T19:37:54Z (GMT). No. of bitstreams: 1 MAURICIO VERARDO DA COSTA.pdf: 829862 bytes, checksum: 7cb233efb8692b0820e30cf2bdbf4a76 (MD5) Previous issue date: 2015-02-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The notion of a template for representing cellular automata (CA) rules is introduced. This enhances the standard representation based on a rule table, in that it refers to families of cellular automata, instead of a rule alone. Operations applicable to the templates are defined herein, and their use is exemplified in the context of finding representations for rule sets that share properties. Wolfram Mathematica's functional nature and built-in equation-solving capabilities are central to develop these algorithms. The perspectives for using templates in further contexts are also discussed, along with possible extensions to the present work. As a support to the template concept, a Wolfram Mathematica package called CATemplates is presented, shared with the community using a public repository. / A noção de representação de autômatos celulares (ACs) por meio de templates é aqui introduzida. Ela consiste em uma generalização da tabela de transições de estado clássica, permitindo a representação de subespaços de autômatos celulares, ao invés de apenas indivíduos isolados. São definidas operações aplicáveis aos templates, e seu uso é exemplificado por meio da obtenção de algoritmos que encontram subespaços de regras que apresentam propriedades em comum. Para o desenvolvimento destes algoritmos, a utilização do software Wolfram Mathematica é central, dada sua capacidade de resolução automática de sistemas de equações, além da natureza funcional e simbólica da Wolfram Language, linguagem de programação a ele associada. Também são discutidas as vantagens e desvantagens da utilização deste tipo de representação em outros contextos, e possiblidades de extensão para o trabalho. Como apoio ao conceito dos templates, é apresentada a biblioteca para o Wolfram Mathematica chamada CATemplates, disponibilizada em um repositório público.