O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações
Autor(a) principal: | |
---|---|
Data de Publicação: | 2016 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações do Mackenzie |
Texto Completo: | http://dspace.mackenzie.br/handle/10899/24273 |
Resumo: | The understanding of how the composition of cellular automata rules can perform prede ned computations may contribute to the general notion of emerging computation by means of locally processing components. In this context, we propose a solution to the MODn Problem, which is the determination of whether the number of 1-bits in a binary string is perfectly divisible by the positive integer n > 1. The solution is a composition of one-dimensional cellular automata rules, i.e., the application of di erent rules on a lattice with periodic boundary conditions, which are replaced after some iterations, and all of them with maximum radius equal to n 1. In this work, the (XU; LEE; CHAU, 2003) solution for MOD3 Problem (n = 3) is extended for any value of n, and the solution is given for any lattice size N that is co-prime to n. In this generalised solution, the number of iterations depends only on N, with O(N2). This solution relies upon two essential classes of rules, that have been de ned herein: the Replacement rules, that replace a certain amount of identical end bits on the lattice with the opposite value, and the Grouping rules, that group isolated strings of identical and consecutive bits on the lattice, to larger strings of the same bit value. Furthermore, we also show how the solution can be simpli- ed in terms of a reduction on the number of required rules, by de ning some operations that involve the rules' active state transitions, i.e., those that change the value of the centre cell of the neighbourhood. To this end, we de ned the operations of Partitioning (the separation of the active transitions of a rule in di erent rules), Joining (the union of the all active transitions of di erent rules in the same rule), and Merging (the joining of all active transitions of the rules involved, but removing some of them or even adding new active transitions to get the desired adjustments. Using the same concepts and methodology, we proposed a x for the only rule that had been reported in the literature for solving the MOD2 Problem, which is known as the Parity Problem. |
id |
UPM_c4f5eb5f45ec8f98038218bbc28e0d85 |
---|---|
oai_identifier_str |
oai:dspace.mackenzie.br:10899/24273 |
network_acronym_str |
UPM |
network_name_str |
Biblioteca Digital de Teses e Dissertações do Mackenzie |
repository_id_str |
10277 |
spelling |
2017-04-19T14:04:34Z2020-05-28T18:07:59Z2020-05-28T18:07:59Z2016-08-24MARTINS, Claudio Luis de Meo. O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações. 2016. 93 f. Tese (Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo .http://dspace.mackenzie.br/handle/10899/24273The understanding of how the composition of cellular automata rules can perform prede ned computations may contribute to the general notion of emerging computation by means of locally processing components. In this context, we propose a solution to the MODn Problem, which is the determination of whether the number of 1-bits in a binary string is perfectly divisible by the positive integer n > 1. The solution is a composition of one-dimensional cellular automata rules, i.e., the application of di erent rules on a lattice with periodic boundary conditions, which are replaced after some iterations, and all of them with maximum radius equal to n 1. In this work, the (XU; LEE; CHAU, 2003) solution for MOD3 Problem (n = 3) is extended for any value of n, and the solution is given for any lattice size N that is co-prime to n. In this generalised solution, the number of iterations depends only on N, with O(N2). This solution relies upon two essential classes of rules, that have been de ned herein: the Replacement rules, that replace a certain amount of identical end bits on the lattice with the opposite value, and the Grouping rules, that group isolated strings of identical and consecutive bits on the lattice, to larger strings of the same bit value. Furthermore, we also show how the solution can be simpli- ed in terms of a reduction on the number of required rules, by de ning some operations that involve the rules' active state transitions, i.e., those that change the value of the centre cell of the neighbourhood. To this end, we de ned the operations of Partitioning (the separation of the active transitions of a rule in di erent rules), Joining (the union of the all active transitions of di erent rules in the same rule), and Merging (the joining of all active transitions of the rules involved, but removing some of them or even adding new active transitions to get the desired adjustments. Using the same concepts and methodology, we proposed a x for the only rule that had been reported in the literature for solving the MOD2 Problem, which is known as the Parity Problem.A compreensão de como uma composição de regras de autômatos celulares consegue realizar cálculos computacionais pré-de finidos pode contribuir para a noção geral de computação emergente por meio de processamentos locais de alguns componentes. Neste contexto, propõe-se uma solucão para o Problema MODn, que determina se o número de bits 1 em uma cadeia binária de tamanho N é perfeitamente divisível por um número inteiro positivo n > 1. A solução é uma composicão de regras de autômatos celulares unidimensionais, ou seja, a aplicacão de regras diferentes, sobre um reticulado em condição de contorno periódica, que são trocadas após algumas iteracões, sendo todas de raio máximo igual a n - 1. Neste trabalho, a solução de (XU; LEE; CHAU, 2003) para o Problema MOD3 (n = 3) é expandida para qualquer valor de n, mas observada a condição que N e n devem ser números primos entre si. Na solução generalizada obtida, a quantidade total de iterações depende somente de N com O(N2). Essa solução se fundamenta em duas classes essenciais de regras, que foram aqui de nidas: as regras de Substituição, que trocam uma determinada quantidade de bits iguais e extremos do reticulado por bits de valores opostos, e as regras de Agrupamento, que juntam cadeias isoladas de bits idênticos e consecutivos no reticulado, ás maiores cadeias do mesmo valor do bit. Além disso, também é mostrado como podemos simpli ficar esta solução, reduzindo o número de regras necessárias, através de operações que envolvem as transições de estado ativas destas regras, i.e., aquelas que alteram o valor da célula central da vizinhança. Para tanto, são de nidas as operações de Particionamento (separação de transições ativas de uma regra em regras distintas), Junção (união de transições ativas de regras distintas em uma mesma regra) e Fusão (junção de todas as transições ativas das regras envolvidas, podendo remover algumas delas ou até mesmo incluir novas transições ativas para adequações desejadas). Utilizando-se dos mesmos conceitos e metodologia, propusemos ainda uma correção para a única regra proposta na literatura para resolver o Problema MOD2, o qual é conhecido como Problema da Paridade.Fundo Mackenzie de Pesquisaapplication/pdfporUniversidade Presbiteriana MackenzieEngenharia ElétricaUPMBrasilEscola de Engenharia Mackenzie (EE)http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessautômatos celularescomputação emergentecomposição de regrasproblema módulo-ntransições de estado ativasCNPQ::CIENCIAS EXATAS E DA TERRAO problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificaçõesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisOliveira, Pedro Paulo Balbi dehttp://lattes.cnpq.br/9556738277476279Monteiro, Luiz Henrique Alveshttp://lattes.cnpq.br/1820487447148268Mendonça, José Ricardo Gonçalves dehttp://lattes.cnpq.br/8792749813872106Barbosa, Valmir Carneirohttp://lattes.cnpq.br/4602221579308599Silva, Leandro Augusto dahttp://lattes.cnpq.br/1396385111251741http://lattes.cnpq.br/0498967801089430Martins, Claudio Luis de Meohttp://tede.mackenzie.br/jspui/retrieve/14050/CLAUDIO%20LUIS%20DE%20MEO%20MARTINS.pdf.jpghttp://tede.mackenzie.br/jspui/bitstream/tede/3200/5/CLAUDIO%20LUIS%20DE%20MEO%20MARTINS.pdfcellular automataemergent computationrule compositionmodulo-n problemactive state transitionsreponame:Biblioteca Digital de Teses e Dissertações do Mackenzieinstname:Universidade Presbiteriana Mackenzie (MACKENZIE)instacron:MACKENZIE10899/242732020-05-28 15:07:59.725Biblioteca Digital de Teses e Dissertaçõeshttp://tede.mackenzie.br/jspui/PRI |
dc.title.por.fl_str_mv |
O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações |
title |
O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações |
spellingShingle |
O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações Martins, Claudio Luis de Meo autômatos celulares computação emergente composição de regras problema módulo-n transições de estado ativas CNPQ::CIENCIAS EXATAS E DA TERRA |
title_short |
O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações |
title_full |
O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações |
title_fullStr |
O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações |
title_full_unstemmed |
O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações |
title_sort |
O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações |
author |
Martins, Claudio Luis de Meo |
author_facet |
Martins, Claudio Luis de Meo |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Oliveira, Pedro Paulo Balbi de |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/9556738277476279 |
dc.contributor.referee1.fl_str_mv |
Monteiro, Luiz Henrique Alves |
dc.contributor.referee1Lattes.fl_str_mv |
http://lattes.cnpq.br/1820487447148268 |
dc.contributor.referee2.fl_str_mv |
Mendonça, José Ricardo Gonçalves de |
dc.contributor.referee2Lattes.fl_str_mv |
http://lattes.cnpq.br/8792749813872106 |
dc.contributor.referee3.fl_str_mv |
Barbosa, Valmir Carneiro |
dc.contributor.referee3Lattes.fl_str_mv |
http://lattes.cnpq.br/4602221579308599 |
dc.contributor.referee4.fl_str_mv |
Silva, Leandro Augusto da |
dc.contributor.referee4Lattes.fl_str_mv |
http://lattes.cnpq.br/1396385111251741 |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/0498967801089430 |
dc.contributor.author.fl_str_mv |
Martins, Claudio Luis de Meo |
contributor_str_mv |
Oliveira, Pedro Paulo Balbi de Monteiro, Luiz Henrique Alves Mendonça, José Ricardo Gonçalves de Barbosa, Valmir Carneiro Silva, Leandro Augusto da |
dc.subject.por.fl_str_mv |
autômatos celulares computação emergente composição de regras problema módulo-n transições de estado ativas |
topic |
autômatos celulares computação emergente composição de regras problema módulo-n transições de estado ativas CNPQ::CIENCIAS EXATAS E DA TERRA |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA |
description |
The understanding of how the composition of cellular automata rules can perform prede ned computations may contribute to the general notion of emerging computation by means of locally processing components. In this context, we propose a solution to the MODn Problem, which is the determination of whether the number of 1-bits in a binary string is perfectly divisible by the positive integer n > 1. The solution is a composition of one-dimensional cellular automata rules, i.e., the application of di erent rules on a lattice with periodic boundary conditions, which are replaced after some iterations, and all of them with maximum radius equal to n 1. In this work, the (XU; LEE; CHAU, 2003) solution for MOD3 Problem (n = 3) is extended for any value of n, and the solution is given for any lattice size N that is co-prime to n. In this generalised solution, the number of iterations depends only on N, with O(N2). This solution relies upon two essential classes of rules, that have been de ned herein: the Replacement rules, that replace a certain amount of identical end bits on the lattice with the opposite value, and the Grouping rules, that group isolated strings of identical and consecutive bits on the lattice, to larger strings of the same bit value. Furthermore, we also show how the solution can be simpli- ed in terms of a reduction on the number of required rules, by de ning some operations that involve the rules' active state transitions, i.e., those that change the value of the centre cell of the neighbourhood. To this end, we de ned the operations of Partitioning (the separation of the active transitions of a rule in di erent rules), Joining (the union of the all active transitions of di erent rules in the same rule), and Merging (the joining of all active transitions of the rules involved, but removing some of them or even adding new active transitions to get the desired adjustments. Using the same concepts and methodology, we proposed a x for the only rule that had been reported in the literature for solving the MOD2 Problem, which is known as the Parity Problem. |
publishDate |
2016 |
dc.date.issued.fl_str_mv |
2016-08-24 |
dc.date.accessioned.fl_str_mv |
2017-04-19T14:04:34Z 2020-05-28T18:07:59Z |
dc.date.available.fl_str_mv |
2020-05-28T18:07:59Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
MARTINS, Claudio Luis de Meo. O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações. 2016. 93 f. Tese (Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo . |
dc.identifier.uri.fl_str_mv |
http://dspace.mackenzie.br/handle/10899/24273 |
identifier_str_mv |
MARTINS, Claudio Luis de Meo. O problema MODn com composição de autômatos celulares unidimensionais: resolução e simplificações. 2016. 93 f. Tese (Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo . |
url |
http://dspace.mackenzie.br/handle/10899/24273 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Presbiteriana Mackenzie |
dc.publisher.program.fl_str_mv |
Engenharia Elétrica |
dc.publisher.initials.fl_str_mv |
UPM |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Escola de Engenharia Mackenzie (EE) |
publisher.none.fl_str_mv |
Universidade Presbiteriana Mackenzie |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações do Mackenzie instname:Universidade Presbiteriana Mackenzie (MACKENZIE) instacron:MACKENZIE |
instname_str |
Universidade Presbiteriana Mackenzie (MACKENZIE) |
instacron_str |
MACKENZIE |
institution |
MACKENZIE |
reponame_str |
Biblioteca Digital de Teses e Dissertações do Mackenzie |
collection |
Biblioteca Digital de Teses e Dissertações do Mackenzie |
repository.name.fl_str_mv |
|
repository.mail.fl_str_mv |
|
_version_ |
1757177221632491520 |