Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1

Detalhes bibliográficos
Autor(a) principal: Silva, Alexandre Cesar Rodrigues da
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