Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo

Detalhes bibliográficos
Autor(a) principal: Tramontin, Lucas dos Santos de Souza
Data de Publicação: 2024
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/255768
Resumo: TCC (graduação) - Universidade Federal de Santa Catarina, Campus Araranguá, Engenharia de Computação.
id UFSC_025ac99d7364c02457593bbfdf79cd32
oai_identifier_str oai:repositorio.ufsc.br:123456789/255768
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuoconfiguração baseada em conhecimentoprogramação por restriçõesrestrição tabularrestrição por intervalosTCC (graduação) - Universidade Federal de Santa Catarina, Campus Araranguá, Engenharia de Computação.A crescente demanda pela configuração de produtos por parte da indústria tem posicionado os softwares configuradores de produtos baseados em restrições entre as abordagens mais adequadas para atender à escalabilidade e diversidade dos cenários demandados. Pesquisas recentes sobre Problemas de Satisfação de Restrições têm trazido avanços significativos que contemplam a tarefa de configuração, como trabalhos sobre representação compacta de dados tabulares, muito comuns em bases de conhecimento de configuração de produtos. Outro tipo de dado que aparece com frequência nesse contexto, são variáveis de domínio contínuo. No entanto, a literatura sobre restrições se mostra escassa no que diz respeito a trabalhos que ligam tabelas e domínios contínuos, sendo as primeiras mais comuns em trabalhos voltados a domínios finitos. Este trabalho apresenta um framework para a construção de redes de restrições — incluindo modelos de produtos configuráveis — com restrições tabulares compactas sobre variáveis de domínio contínuo, por meio da junção de tabelas de domínio finito e restrições auxiliares. Para a avaliação do framework, são propostas três implementações baseadas em diferentes métodos de geração de restrições auxiliares, sendo uma utilizando restrições primitivas, outra utilizando uma restrição global popular na literatura, e a última utilizando uma restrição global que combina valores de domínio finito com intervalos arbitrários de domínio contínuo. Como resultados, é demonstrada a capacidade do framework em propiciar a integração harmoniosa de domínios contínuos e restrições tabulares, bem como a sua flexibilidade em permitir diferentes implementações de acordo com a aplicação. Também são avaliados cenários de satisfação envolvendo os conceitos integrados, para os quais o desempenho se mostra inferior aos cenários equivalentes em domínios finitos, quando factíveis. Conclui-se que o framework atende à demanda por domínios contínuos em tabelas, com a ressalva de que, se for possível transformar domínios contínuos em finitos sem perdas, esta se apresenta como uma opção desejável.Araranguá, SC.Gonçalves, Alexandre LeopoldoUniversidade Federal de Santa Catarina.Tramontin, Lucas dos Santos de Souza2024-07-09T19:38:22Z2024-07-09T19:38:22Z2024-06-26info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisapplication/pdfhttps://repositorio.ufsc.br/handle/123456789/255768Open Access.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSC2024-07-09T19:38:22Zoai:repositorio.ufsc.br:123456789/255768Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732024-07-09T19:38:22Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo
title Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo
spellingShingle Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo
Tramontin, Lucas dos Santos de Souza
configuração baseada em conhecimento
programação por restrições
restrição tabular
restrição por intervalos
title_short Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo
title_full Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo
title_fullStr Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo
title_full_unstemmed Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo
title_sort Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo
author Tramontin, Lucas dos Santos de Souza
author_facet Tramontin, Lucas dos Santos de Souza
author_role author
dc.contributor.none.fl_str_mv Gonçalves, Alexandre Leopoldo
Universidade Federal de Santa Catarina.
dc.contributor.author.fl_str_mv Tramontin, Lucas dos Santos de Souza
dc.subject.por.fl_str_mv configuração baseada em conhecimento
programação por restrições
restrição tabular
restrição por intervalos
topic configuração baseada em conhecimento
programação por restrições
restrição tabular
restrição por intervalos
description TCC (graduação) - Universidade Federal de Santa Catarina, Campus Araranguá, Engenharia de Computação.
publishDate 2024
dc.date.none.fl_str_mv 2024-07-09T19:38:22Z
2024-07-09T19:38:22Z
2024-06-26
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/255768
url https://repositorio.ufsc.br/handle/123456789/255768
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Open Access.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Open Access.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Araranguá, SC.
publisher.none.fl_str_mv Araranguá, SC.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652209315905536

Registros relacionados