Em busca de um algoritmo construtivo para autômatos celulares reversíveis: a abordagem das regras primitivas e derivadas

dc.contributor.advisorOliveira, Pedro Paulo Balbi dept_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9556738277476279por
dc.contributor.authorKronemberger, Guilhermept_BR
dc.creator.Latteshttp://lattes.cnpq.br/6596014514950595por
dc.date.accessioned2016-03-15T19:38:08Z
dc.date.accessioned2020-05-28T18:08:41Z
dc.date.available2010-04-06pt_BR
dc.date.available2020-05-28T18:08:41Z
dc.date.issued2008-01-28pt_BR
dc.description.abstractAutômatos celulares têm sido estudados como modelos computacionais em diversas áreas, sendo que muitas são as suas propriedades, entre elas a reversibilidade. Autômatos celulares reversíveis podem ser usados, entre outras aplicações, para compactação ou encriptação de dados. Aparentemente, as regras reversíveis apresentadas na literatura parecem ter sido derivadas apenas através de buscas exaustivas em seus espaços correspondentes. No entanto, seria importante a existência de um algoritmo que permitisse construí-las fácil e diretamente, diferente do que acontece na literatura. Este é o objetivo deste trabalho. Neste sentido, buscou-se um algoritmo que permitesse identificar regras de autômatos celulares unidimensionais reversíveis. Para tanto, foram obtidas em análises exaustivas e na literatura todas as regras reversíveis de 2 estados e vizinhanças de 2, 3, 4 e 5 células, e de 3 estados e vizinhanças de 2 e 3 células. Com o estudo destas regras constatou-se em cada espaço que: todas as regras reversíveis são balanceadas; elas se distribuem simetricamente; um subconjunto delas aqui denominadas regras reversíveis primitivas, RPs possui lei de formação simples, definida por blocos homogêneos de estados; e, se uma regra é reversível, todas as suas equivalentes dinâmicas também o são. Na tentativa de se obter o algoritmo desejado explorou-se uma abordagem em que as regras reversíveis não primitivas (denominadas regras derivadas, RDs), seriam obtidas a partir das primitivas. Nesse sentido foram testados dois esquemas de construção das RDs, um baseado na utilização conjunta de todas as RPs, e outro, utilizando-as individualmente; entretanto, ambos não levaram a resultado positivo. Adicionalmente, estudou-se a relação entre as propriedades de reversibilidade e conservatividade de regras nos espaços considerados.por
dc.formatapplication/pdfpor
dc.identifier.citationKRONEMBERGER, Guilherme. Em busca de um algoritmo construtivo para autômatos celulares reversíveis: a abordagem das regras primitivas e derivadas. 2008. 65 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo, 2008.por
dc.identifier.urihttp://dspace.mackenzie.br/handle/10899/24398
dc.languageporpor
dc.publisherUniversidade Presbiteriana Mackenziepor
dc.rightsAcesso Abertopor
dc.subjectautômato celularpor
dc.subjectautômato celular reversívelpor
dc.subjectNKSpor
dc.subjectcomputação reversívelpor
dc.subjectcellular automataeng
dc.subjectreversible cellular automataeng
dc.subjectNKSeng
dc.subjectreversible computationeng
dc.subject.cnpqCNPQ::ENGENHARIAS::ENGENHARIA ELETRICApor
dc.thumbnail.urlhttp://tede.mackenzie.br/jspui/retrieve/3601/Guilherme%20Kronemberger.pdf.jpg*
dc.titleEm busca de um algoritmo construtivo para autômatos celulares reversíveis: a abordagem das regras primitivas e derivadaspor
dc.typeDissertaçãopor
local.contributor.board1Monteiro, Luiz Henrique Alvespt_BR
local.contributor.board1Latteshttp://lattes.cnpq.br/1820487447148268por
local.contributor.board2Carvalho, André Carlos Ponce de Leon Ferreira dept_BR
local.contributor.board2Latteshttp://lattes.cnpq.br/9674541381385819por
local.publisher.countryBRpor
local.publisher.departmentEngenharia Elétricapor
local.publisher.initialsUPMpor
local.publisher.programEngenharia Elétricapor
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
Guilherme Kronemberger.pdf
Tamanho:
1.17 MB
Formato:
Adobe Portable Document Format
Descrição: