Exportar este item: EndNote BibTex

Use este identificador para citar ou linkar para este item: http://tede.mackenzie.br/jspui/handle/tede/3411
Registro completo de metadados
Campo DCValorIdioma
dc.creatorSoares Junior, Zorandir-
dc.creator.Latteshttp://lattes.cnpq.br/0003548116110666por
dc.contributor.advisor1Oliveira, Pedro Paulo Balbi de-
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9556738277476279por
dc.contributor.referee1Omar, Nizam-
dc.contributor.referee1Latteshttp://lattes.cnpq.br/2067336430076971por
dc.contributor.referee2Mendonça, José Ricardo Gonçalves de-
dc.contributor.referee2Latteshttp://lattes.cnpq.br/8792749813872106por
dc.date.accessioned2017-11-30T12:39:39Z-
dc.date.issued2016-08-16-
dc.identifier.citationSOARES 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 .por
dc.identifier.urihttp://tede.mackenzie.br/jspui/handle/tede/3411-
dc.description.resumoTemplates 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.por
dc.description.abstractTemplates 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.eng
dc.description.provenanceSubmitted 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)eng
dc.description.provenanceApproved 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)eng
dc.description.provenanceMade 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-16eng
dc.description.sponsorshipCoordenação de Aperfeiçoamento de Pessoal de Nível Superiorpor
dc.description.sponsorshipFundo Mackenzie de Pesquisapor
dc.formatapplication/pdf*
dc.thumbnail.urlhttp://tede.mackenzie.br/jspui/retrieve/15304/ZORANDIR%20SOARES%20JUNIOR.pdf.jpg*
dc.languageporpor
dc.publisherUniversidade Presbiteriana Mackenziepor
dc.publisher.departmentEscola de Engenharia Mackenzie (EE)por
dc.publisher.countryBrasilpor
dc.publisher.initialsUPMpor
dc.publisher.programEngenharia Elétricapor
dc.rightsAcesso Abertopor
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/-
dc.subjectautômatos celularespor
dc.subjecttemplatespor
dc.subjectdiferença entre templatespor
dc.subjecttemplates de exceçãopor
dc.subjectpropriedades estáticaspor
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LINGUAGEM FORMAIS E AUTOMATOSpor
dc.titleDiferença entre templates de autômatos celulares unidimensionais bináriospor
dc.typeDissertaçãopor
dc.keywordscellular automataeng
dc.keywordstemplateseng
dc.keywordsdifference between templateseng
dc.keywordsexception templateeng
dc.keywordsstatic propertieseng
Aparece nas coleções:Mestrado - Engenharia Elétrica e Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
ZORANDIR SOARES JUNIOR.pdfZorandir Soares Junior758.25 kBAdobe PDFThumbnail

Baixar/Abrir Pré-Visualizar


Este item está licenciada sob uma Licença Creative Commons Creative Commons