Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado

Detalhes bibliográficos
Autor(a) principal: Teixeira, Giovany Frossard
Data de Publicação: 2006
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
Texto Completo: http://repositorio.ufes.br/handle/10/6354
Resumo: abstract
id UFES_318d304f66d7a77adaec22401736d5ea
oai_identifier_str oai:repositorio.ufes.br:10/6354
network_acronym_str UFES
network_name_str Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
repository_id_str 2108
spelling Provedel, AttílioAlvarenga, Arlindo Gomes deTeixeira, Giovany FrossardOchi, Luiz SatoruAhonen, Hannu Tapio2016-12-23T14:33:34Z2007-06-142016-12-23T14:33:34Z2006-04-07abstractComputar a solução ótima para uma unidade de problema MAX-SAT Ponderado (weighted maximum satisfiability) é difícil mesmo se cada cláusula contiver apenas dois literais. Neste trabalho, será descrita a implementação de uma nova heurística aplicada a instâncias de problema do tipo MAX-SAT Ponderado, mas perfeitamente extensível a outros problemas. Para comparação, serão geradas soluções para uma quantidade significativa de problemas e seus resultados serão comparados com os de outras heurísticas já desenvolvidas para esse tipo de problema, dentre elas as heurísticas consideradas "estado da arte", ou seja, heurísticas que têm obtido os melhores resultados no universo das heurísticas existentes.TextTEIXEIRA, Giovany Frossard. Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado. 2006. 65 f. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2006.http://repositorio.ufes.br/handle/10/6354porUniversidade Federal do Espírito SantoMestrado em InformáticaPrograma de Pós-Graduação em InformáticaUFESBRCentro TecnológicoProgramação heurísticaTêmpera simulada (Matemática)MultiplexOntologias (Recuperação da informação)Ciência da Computação004Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderadoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)instname:Universidade Federal do Espírito Santo (UFES)instacron:UFESORIGINALdissertacao.pdfapplication/pdf412800http://repositorio.ufes.br/bitstreams/40429133-a0ac-49f5-9d59-07c30f9302f1/download479ec97937646fdcffeadd81d19f1b7aMD5110/63542024-07-17 16:58:45.495oai:repositorio.ufes.br:10/6354http://repositorio.ufes.brRepositório InstitucionalPUBhttp://repositorio.ufes.br/oai/requestopendoar:21082024-10-15T17:58:51.817510Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) - Universidade Federal do Espírito Santo (UFES)false
dc.title.none.fl_str_mv Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
title Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
spellingShingle Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
Teixeira, Giovany Frossard
Ciência da Computação
Programação heurística
Têmpera simulada (Matemática)
Multiplex
Ontologias (Recuperação da informação)
004
title_short Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
title_full Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
title_fullStr Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
title_full_unstemmed Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
title_sort Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
author Teixeira, Giovany Frossard
author_facet Teixeira, Giovany Frossard
author_role author
dc.contributor.advisor-co1.fl_str_mv Provedel, Attílio
dc.contributor.advisor1.fl_str_mv Alvarenga, Arlindo Gomes de
dc.contributor.author.fl_str_mv Teixeira, Giovany Frossard
dc.contributor.referee1.fl_str_mv Ochi, Luiz Satoru
dc.contributor.referee2.fl_str_mv Ahonen, Hannu Tapio
contributor_str_mv Provedel, Attílio
Alvarenga, Arlindo Gomes de
Ochi, Luiz Satoru
Ahonen, Hannu Tapio
dc.subject.cnpq.fl_str_mv Ciência da Computação
topic Ciência da Computação
Programação heurística
Têmpera simulada (Matemática)
Multiplex
Ontologias (Recuperação da informação)
004
dc.subject.br-rjbn.none.fl_str_mv Programação heurística
Têmpera simulada (Matemática)
Multiplex
Ontologias (Recuperação da informação)
dc.subject.udc.none.fl_str_mv 004
description abstract
publishDate 2006
dc.date.issued.fl_str_mv 2006-04-07
dc.date.available.fl_str_mv 2007-06-14
2016-12-23T14:33:34Z
dc.date.accessioned.fl_str_mv 2016-12-23T14:33:34Z
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.citation.fl_str_mv TEIXEIRA, Giovany Frossard. Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado. 2006. 65 f. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2006.
dc.identifier.uri.fl_str_mv http://repositorio.ufes.br/handle/10/6354
identifier_str_mv TEIXEIRA, Giovany Frossard. Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado. 2006. 65 f. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2006.
url http://repositorio.ufes.br/handle/10/6354
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 Text
dc.publisher.none.fl_str_mv Universidade Federal do Espírito Santo
Mestrado em Informática
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Informática
dc.publisher.initials.fl_str_mv UFES
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Centro Tecnológico
publisher.none.fl_str_mv Universidade Federal do Espírito Santo
Mestrado em Informática
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
instname:Universidade Federal do Espírito Santo (UFES)
instacron:UFES
instname_str Universidade Federal do Espírito Santo (UFES)
instacron_str UFES
institution UFES
reponame_str Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
collection Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
bitstream.url.fl_str_mv http://repositorio.ufes.br/bitstreams/40429133-a0ac-49f5-9d59-07c30f9302f1/download
bitstream.checksum.fl_str_mv 479ec97937646fdcffeadd81d19f1b7a
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) - Universidade Federal do Espírito Santo (UFES)
repository.mail.fl_str_mv
_version_ 1813022552071602176

Registros relacionados