Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos
Autor(a) principal: | |
---|---|
Data de Publicação: | 2014 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UNESP |
Texto Completo: | http://hdl.handle.net/11449/126338 http://www.athena.biblioteca.unesp.br/exlibris/bd/cathedra/19-08-2015/000846221.pdf |
Resumo: | Efficient generation of prime implicants is an important factor in the coverage phase of minterms in minimization's methods of Boolean functions. This research presents an improved version of the method called Clause-Column Table, used to generate prime implicants. In this new algorithm was added to the adjacency theorem and a new stopping criterion. These modifications prevented the generation of null terms and unnecessary iterations that occurred in the original algorithm. The original and improved algorithms were implemented in C language and compared. The Clause-Column Table Improved method was compared with the Expander and Quine-McCluskey method. The results proved that the improved version generates fewer iterations than the original version, and that in most functions analyzed it was avoided the generation of null terms. Comparing Quine-McCluskey method and the Expander it was proved that the Clause-Column Table Enhanced method is superior in the generation of prime implicants, since in some cases eliminates those who are not required to cover the function. In ownership of the prime implicants the cover problem of minterms was formulated as an integer linear programming problem of 0 and 1, where the solution is open to all advances in the area of linear programming in order to obtain a minimal solution |
id |
UNSP_63d2f505f4d18153b61255b6a44d305e |
---|---|
oai_identifier_str |
oai:repositorio.unesp.br:11449/126338 |
network_acronym_str |
UNSP |
network_name_str |
Repositório Institucional da UNESP |
repository_id_str |
2946 |
spelling |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primosAlgebra booleanaProgramação linearAlgoritmos de computadorAutomaçãoLinear programmingEfficient generation of prime implicants is an important factor in the coverage phase of minterms in minimization's methods of Boolean functions. This research presents an improved version of the method called Clause-Column Table, used to generate prime implicants. In this new algorithm was added to the adjacency theorem and a new stopping criterion. These modifications prevented the generation of null terms and unnecessary iterations that occurred in the original algorithm. The original and improved algorithms were implemented in C language and compared. The Clause-Column Table Improved method was compared with the Expander and Quine-McCluskey method. The results proved that the improved version generates fewer iterations than the original version, and that in most functions analyzed it was avoided the generation of null terms. Comparing Quine-McCluskey method and the Expander it was proved that the Clause-Column Table Enhanced method is superior in the generation of prime implicants, since in some cases eliminates those who are not required to cover the function. In ownership of the prime implicants the cover problem of minterms was formulated as an integer linear programming problem of 0 and 1, where the solution is open to all advances in the area of linear programming in order to obtain a minimal solutionA geração eficiente de implicantes primos é um fator importante na fase de cobertura dos mintermos em métodos de minimização de funções booleanas. Este trabalho apresenta uma versão aprimorada do método denominado de Clause-Column Table, utilizado na geração de implicantes primos. Neste novo algoritmo adicionou-se o teorema da adjacência e um novo critério de parada. Estas modificações evitaram a geração de termos nulos e iterações desnecessárias que ocorriam no algoritmo original. O algoritmo original e o aprimorado foram implementados em linguagem C e comparados. O método Clause-Column Table Aprimorado também foi comparado com o método Quine-McCluskey e Expander. Os resultados comprovaram que a versão aprimorada gera menos iterações que a versão original, e que na maioria das funções analisadas evitou-se a geração de termos nulos. Ao comparar com o método de Quine-McCluskey e o Expander comprovou-se que o método Clause-Column Table Aprimorado é superior na geração dos implicantes primos, pois em alguns casos elimina aqueles que não são necessários para a cobertura da função. De posse dos implicantes primos o problema de cobertura dos mintermos foi formulado como um problema de programação linear inteira 0 e 1, em que a solução se abre a todos os avanços ocorridos na área de programação linear visando a obtenção de uma solução mínimaUniversidade Estadual Paulista (Unesp)Silva, Alexandre César Rodrigues da [UNESP]Universidade Estadual Paulista (Unesp)Barbieri, Caroline Domingues Porto do Nascimento [UNESP]2015-08-20T17:09:32Z2015-08-20T17:09:32Z2014-11-11info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis88 f. : il.application/pdfBARBIERI, Caroline Domingues Porto do Nascimento. Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos. 2014. 88 f. Dissertação (mestrado) - Universidade Estadual Paulista Júlio de Mesquita Filho, Faculdade de Engenharia, 2014.http://hdl.handle.net/11449/126338000846221http://www.athena.biblioteca.unesp.br/exlibris/bd/cathedra/19-08-2015/000846221.pdf33004099080P0Alephreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPporinfo:eu-repo/semantics/openAccess2024-08-05T17:41:56Zoai:repositorio.unesp.br:11449/126338Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T17:41:56Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false |
dc.title.none.fl_str_mv |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos |
title |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos |
spellingShingle |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos Barbieri, Caroline Domingues Porto do Nascimento [UNESP] Algebra booleana Programação linear Algoritmos de computador Automação Linear programming |
title_short |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos |
title_full |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos |
title_fullStr |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos |
title_full_unstemmed |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos |
title_sort |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos |
author |
Barbieri, Caroline Domingues Porto do Nascimento [UNESP] |
author_facet |
Barbieri, Caroline Domingues Porto do Nascimento [UNESP] |
author_role |
author |
dc.contributor.none.fl_str_mv |
Silva, Alexandre César Rodrigues da [UNESP] Universidade Estadual Paulista (Unesp) |
dc.contributor.author.fl_str_mv |
Barbieri, Caroline Domingues Porto do Nascimento [UNESP] |
dc.subject.por.fl_str_mv |
Algebra booleana Programação linear Algoritmos de computador Automação Linear programming |
topic |
Algebra booleana Programação linear Algoritmos de computador Automação Linear programming |
description |
Efficient generation of prime implicants is an important factor in the coverage phase of minterms in minimization's methods of Boolean functions. This research presents an improved version of the method called Clause-Column Table, used to generate prime implicants. In this new algorithm was added to the adjacency theorem and a new stopping criterion. These modifications prevented the generation of null terms and unnecessary iterations that occurred in the original algorithm. The original and improved algorithms were implemented in C language and compared. The Clause-Column Table Improved method was compared with the Expander and Quine-McCluskey method. The results proved that the improved version generates fewer iterations than the original version, and that in most functions analyzed it was avoided the generation of null terms. Comparing Quine-McCluskey method and the Expander it was proved that the Clause-Column Table Enhanced method is superior in the generation of prime implicants, since in some cases eliminates those who are not required to cover the function. In ownership of the prime implicants the cover problem of minterms was formulated as an integer linear programming problem of 0 and 1, where the solution is open to all advances in the area of linear programming in order to obtain a minimal solution |
publishDate |
2014 |
dc.date.none.fl_str_mv |
2014-11-11 2015-08-20T17:09:32Z 2015-08-20T17:09:32Z |
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.uri.fl_str_mv |
BARBIERI, Caroline Domingues Porto do Nascimento. Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos. 2014. 88 f. Dissertação (mestrado) - Universidade Estadual Paulista Júlio de Mesquita Filho, Faculdade de Engenharia, 2014. http://hdl.handle.net/11449/126338 000846221 http://www.athena.biblioteca.unesp.br/exlibris/bd/cathedra/19-08-2015/000846221.pdf 33004099080P0 |
identifier_str_mv |
BARBIERI, Caroline Domingues Porto do Nascimento. Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos. 2014. 88 f. Dissertação (mestrado) - Universidade Estadual Paulista Júlio de Mesquita Filho, Faculdade de Engenharia, 2014. 000846221 33004099080P0 |
url |
http://hdl.handle.net/11449/126338 http://www.athena.biblioteca.unesp.br/exlibris/bd/cathedra/19-08-2015/000846221.pdf |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
88 f. : il. application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Estadual Paulista (Unesp) |
publisher.none.fl_str_mv |
Universidade Estadual Paulista (Unesp) |
dc.source.none.fl_str_mv |
Aleph reponame:Repositório Institucional da UNESP instname:Universidade Estadual Paulista (UNESP) instacron:UNESP |
instname_str |
Universidade Estadual Paulista (UNESP) |
instacron_str |
UNESP |
institution |
UNESP |
reponame_str |
Repositório Institucional da UNESP |
collection |
Repositório Institucional da UNESP |
repository.name.fl_str_mv |
Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP) |
repository.mail.fl_str_mv |
|
_version_ |
1808128164937859072 |