Diferença entre templates de autômatos celulares unidimensionais binários

Detalhes bibliográficos
Ano de defesa: 2016
Autor(a) principal: Soares Junior, Zorandir lattes
Orientador(a): Oliveira, Pedro Paulo Balbi de lattes
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Presbiteriana Mackenzie
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
autômatos celulares
templates
diferença entre templates
templates de exceção
propriedades estáticas
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LINGUAGEM FORMAIS E AUTOMATOS
Link de acesso: http://dspace.mackenzie.br/handle/10899/24456
Resumo: 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.
id UPM_9ce177963d6151c870f7b6aeeec3e9d0
oai_identifier_str oai:dspace.mackenzie.br:10899/24456
network_acronym_str UPM
network_name_str Repositório Digital do Mackenzie
repository_id_str
spelling Soares Junior, Zorandirhttp://lattes.cnpq.br/9556738277476279Oliveira, Pedro Paulo Balbi dehttp://lattes.cnpq.br/00035481161106662017-11-30T12:39:39Z2020-05-28T18:08:51Z2020-05-28T18:08:51Z2016-08-16SOARES JUNIOR, Zorandir. Diferença entre templates de autômatos celulares unidimensionais binários. 2016. 43 f. Dissertação ( Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo .http://dspace.mackenzie.br/handle/10899/24456Templates 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.Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorFundo Mackenzie de Pesquisaapplication/pdfporUniversidade Presbiteriana Mackenziehttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessautômatos celularestemplatesdiferença entre templatestemplates de exceçãopropriedades estáticasCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LINGUAGEM FORMAIS E AUTOMATOSDiferença entre templates de autômatos celulares unidimensionais bináriosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://tede.mackenzie.br/jspui/retrieve/15304/ZORANDIR%20SOARES%20JUNIOR.pdf.jpgcellular automatatemplatesdifference between templatesexception templatestatic propertiesreponame:Repositório Digital do Mackenzieinstname:Universidade Presbiteriana Mackenzie (MACKENZIE)instacron:MACKENZIEOmar, Nizamhttp://lattes.cnpq.br/2067336430076971Mendonça, José Ricardo Gonçalves dehttp://lattes.cnpq.br/8792749813872106BrasilEscola de Engenharia Mackenzie (EE)UPMEngenharia ElétricaORIGINALZORANDIR SOARES JUNIOR.pdfZORANDIR SOARES JUNIOR.pdfapplication/pdf776591https://dspace.mackenzie.br/bitstreams/4a0b518a-b1bd-4e80-9742-0a610af3542c/download4215f1b6ce20348075f08603d4f5d762MD51trueAnonymousREADTEXTZORANDIR SOARES JUNIOR.pdf.txtZORANDIR SOARES JUNIOR.pdf.txtExtracted texttext/plain88297https://dspace.mackenzie.br/bitstreams/2088a895-b3bc-47e4-ba7c-897ac3234d58/downloadcffd441cde536ab1c9fcd133c650925bMD52falseAnonymousREADTHUMBNAILZORANDIR SOARES JUNIOR.pdf.jpgZORANDIR SOARES JUNIOR.pdf.jpgGenerated Thumbnailimage/jpeg1212https://dspace.mackenzie.br/bitstreams/e2b641b5-0544-4a69-8412-dfac25dd1bcc/download9f3d80b85b664cccbc53fdf9a94f42d0MD53falseAnonymousREAD10899/244562022-03-14T21:07:20.905Zhttp://creativecommons.org/licenses/by-nc-nd/4.0/Acesso Abertoopen.accessoai:dspace.mackenzie.br:10899/24456https://dspace.mackenzie.brBiblioteca Digital de Teses e Dissertaçõeshttp://tede.mackenzie.br/jspui/PRIhttps://adelpha-api.mackenzie.br/server/oai/repositorio@mackenzie.br||paola.damato@mackenzie.bropendoar:102772022-03-14T21:07:20Repositório Digital do Mackenzie - Universidade Presbiteriana Mackenzie (MACKENZIE)false
dc.title.por.fl_str_mv Diferença entre templates de autômatos celulares unidimensionais binários
title Diferença entre templates de autômatos celulares unidimensionais binários
spellingShingle Diferença entre templates de autômatos celulares unidimensionais binários
Soares Junior, Zorandir
autômatos celulares
templates
diferença entre templates
templates de exceção
propriedades estáticas
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LINGUAGEM FORMAIS E AUTOMATOS
title_short Diferença entre templates de autômatos celulares unidimensionais binários
title_full Diferença entre templates de autômatos celulares unidimensionais binários
title_fullStr Diferença entre templates de autômatos celulares unidimensionais binários
title_full_unstemmed Diferença entre templates de autômatos celulares unidimensionais binários
title_sort Diferença entre templates de autômatos celulares unidimensionais binários
author Soares Junior, Zorandir
author_facet Soares Junior, Zorandir
author_role author
dc.contributor.author.fl_str_mv Soares Junior, Zorandir
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/9556738277476279
dc.contributor.advisor1.fl_str_mv Oliveira, Pedro Paulo Balbi de
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/0003548116110666
contributor_str_mv Oliveira, Pedro Paulo Balbi de
dc.subject.por.fl_str_mv autômatos celulares
templates
diferença entre templates
templates de exceção
propriedades estáticas
topic autômatos celulares
templates
diferença entre templates
templates de exceção
propriedades estáticas
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LINGUAGEM FORMAIS E AUTOMATOS
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LINGUAGEM FORMAIS E AUTOMATOS
description 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.
publishDate 2016
dc.date.issued.fl_str_mv 2016-08-16
dc.date.accessioned.fl_str_mv 2017-11-30T12:39:39Z
2020-05-28T18:08:51Z
dc.date.available.fl_str_mv 2020-05-28T18:08:51Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv SOARES JUNIOR, Zorandir. Diferença entre templates de autômatos celulares unidimensionais binários. 2016. 43 f. Dissertação ( Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo .
dc.identifier.uri.fl_str_mv http://dspace.mackenzie.br/handle/10899/24456
identifier_str_mv SOARES JUNIOR, Zorandir. Diferença entre templates de autômatos celulares unidimensionais binários. 2016. 43 f. Dissertação ( Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo .
url http://dspace.mackenzie.br/handle/10899/24456
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
publisher.none.fl_str_mv Universidade Presbiteriana Mackenzie
dc.source.none.fl_str_mv reponame:Repositório Digital do Mackenzie
instname:Universidade Presbiteriana Mackenzie (MACKENZIE)
instacron:MACKENZIE
instname_str Universidade Presbiteriana Mackenzie (MACKENZIE)
instacron_str MACKENZIE
institution MACKENZIE
reponame_str Repositório Digital do Mackenzie
collection Repositório Digital do Mackenzie
bitstream.url.fl_str_mv https://dspace.mackenzie.br/bitstreams/4a0b518a-b1bd-4e80-9742-0a610af3542c/download
https://dspace.mackenzie.br/bitstreams/2088a895-b3bc-47e4-ba7c-897ac3234d58/download
https://dspace.mackenzie.br/bitstreams/e2b641b5-0544-4a69-8412-dfac25dd1bcc/download
bitstream.checksum.fl_str_mv 4215f1b6ce20348075f08603d4f5d762
cffd441cde536ab1c9fcd133c650925b
9f3d80b85b664cccbc53fdf9a94f42d0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Digital do Mackenzie - Universidade Presbiteriana Mackenzie (MACKENZIE)
repository.mail.fl_str_mv repositorio@mackenzie.br||paola.damato@mackenzie.br
_version_ 1863649653371699200

Registros relacionados