Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1
Autor(a) principal: | |
---|---|
Data de Publicação: | 1993 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
Texto Completo: | https://hdl.handle.net/20.500.12733/1581054 |
Resumo: | Orientador: Ivanil Sebastião Bonatti |
id |
UNICAMP-30_35f31e9f5610cb976a9d29246953bb78 |
---|---|
oai_identifier_str |
oai::71867 |
network_acronym_str |
UNICAMP-30 |
network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository_id_str |
|
spelling |
Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1Programação linearCircuitos integradosOrientador: Ivanil Sebastião BonattiTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: Este trabalho trata do problema de simplificação de funções booleanas e da redução de estados, em máquinas de estados finitos, modelando-os como um problema de programação matemática. Na minimização lógica, os implicantes são gerados aplicando-se o algoritmo do consenso numa árvore binária que representa a função booleana. A cobertura mínima é obtida resolvendo-se um problema de programação linear inteira 0 e 1, cuja função objetivo é a soma ponderada de todos os implicantes primos e as restrições correspondem a soma dos implicantes primos que cobrem cada mintermo da função. Na minimização de funções booleanas com múltiplas saídas o problema de cobertura mínima pode ser modelado como um problema matemático não linear dependendo do critério de otimização utilizado. o método de geração de classes de compatibilidades máximas foi utilizado para a redução de estados. A função objetivo é formulada como a soma das classes primas sujeita às restrições de cobertura e fechamento. Uma vez formulado como um problema de programação matemática, a minimização de funções booleanas e a redução de máquinas de estados se abrem para as novas técnicas desenvolvidas nessa área de pesquisaAbstract: This work proposes a method of dealing with the problem of boolean function minimization and finite state machine reduction by modeling each of them as a mathematical programming problem. In the logic minimization, prime implicants are generated by applying the consensus algorithm in the binary decision tree that represents a boolean function. A minimal cover can then be obtained by solving an integer linear program with objective function as a weighing sum of prime implicants whose constraints are the sums of prime implicants covering each minterm. In a multiple-output boolean function minimization, a minimal cover problem may be modelled as a non-linear mathematical problem depending on the specific optimization criterion that is used. The method of generating the maximal compatibility classes has been used for the state reduction phase. The objective function is formulated as the sum of the prime classes, and the constraints are due to restrictions of covering and closure. Once formulated as a mathematical programming problem, the boolean function minimization and the state machine reduction are opened to the new techniques that have been developed in this research areaDoutoradoDoutor em Engenharia Elétrica[s.n.]Bonatti, Ivanil Sebastião, 1951-Ribeiro, Magno MeirellesCortês, Mario LúcioReis Filho, Carlos Alberto dosDamiani, FurioUniversidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASSilva, Alexandre Cesar Rodrigues da19931993-09-22T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf[139]f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1581054SILVA, Alexandre Cesar Rodrigues da. Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1. 1993. [139]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1581054. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/71867porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-04-29T16:29:09Zoai::71867Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-04-29T16:29:09Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1 |
title |
Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1 |
spellingShingle |
Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1 Silva, Alexandre Cesar Rodrigues da Programação linear Circuitos integrados |
title_short |
Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1 |
title_full |
Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1 |
title_fullStr |
Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1 |
title_full_unstemmed |
Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1 |
title_sort |
Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1 |
author |
Silva, Alexandre Cesar Rodrigues da |
author_facet |
Silva, Alexandre Cesar Rodrigues da |
author_role |
author |
dc.contributor.none.fl_str_mv |
Bonatti, Ivanil Sebastião, 1951- Ribeiro, Magno Meirelles Cortês, Mario Lúcio Reis Filho, Carlos Alberto dos Damiani, Furio Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica Programa de Pós-Graduação em Engenharia Elétrica UNIVERSIDADE ESTADUAL DE CAMPINAS |
dc.contributor.author.fl_str_mv |
Silva, Alexandre Cesar Rodrigues da |
dc.subject.por.fl_str_mv |
Programação linear Circuitos integrados |
topic |
Programação linear Circuitos integrados |
description |
Orientador: Ivanil Sebastião Bonatti |
publishDate |
1993 |
dc.date.none.fl_str_mv |
1993 1993-09-22T00:00:00Z |
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.uri.fl_str_mv |
(Broch.) https://hdl.handle.net/20.500.12733/1581054 SILVA, Alexandre Cesar Rodrigues da. Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1. 1993. [139]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1581054. Acesso em: 2 set. 2024. |
identifier_str_mv |
(Broch.) SILVA, Alexandre Cesar Rodrigues da. Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1. 1993. [139]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1581054. Acesso em: 2 set. 2024. |
url |
https://hdl.handle.net/20.500.12733/1581054 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/71867 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf [139]f. : il. |
dc.publisher.none.fl_str_mv |
[s.n.] |
publisher.none.fl_str_mv |
[s.n.] |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
sbubd@unicamp.br |
_version_ |
1809188762430734336 |