Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos

Página do item simplificado
dc.creatorAutran Macedo
dc.date.accessioned2019-08-12T16:34:24Z
dc.date.accessioned2025-09-08T23:56:33Z
dc.date.available2019-08-12T16:34:24Z
dc.date.issued2002-08-30
dc.identifier.urihttps://hdl.handle.net/1843/SLBS-5KKM5J
dc.languagePortuguês
dc.publisherUniversidade Federal de Minas Gerais
dc.rightsAcesso Aberto
dc.subjectProgramas de computador Verificação
dc.subject.otherVerificação de modelos
dc.subject.otherVerificação formal
dc.titleSolução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos
dc.typeTese de doutorado
local.contributor.advisor1Sergio Vale Aguiar Campos
local.contributor.referee1Carlos Roberto V de Carvalho
local.contributor.referee1Henrique Pacca Loureiro Luna
local.description.resumoProblemas de Escalonamento (scheduling) ocorrem em ambientes de escassez de recursos. O problema consiste em determinar um compartilhamento dos recursos entre as tarefas que necessitam usá-los. Esse compartilhamento, ou escalonamento, consiste de uma seqüência de execução das máquinas ao longo do tempo, que deve estar em conformidade com um critério de otimização. Por sua vez, verificação simbólica de Modelos (VSM) é uma técnica de verificação formal proposta originalmente para sistemas concorrentes, que podem ser modelados por um conjunto finito de estados. VSM é composto de um modelo de representação, uma lógica temporal e algoritmos de verificação. Uma vez modelado um sistema em VSM podemos verificar se o modelo atende certas propriedades. Essa verificação ocorre de modo automático.Tradicionalmente, solução exata para Problemas de Escalonamento é obtida por meio de uma técnica conhecida como Branch-and-Bound. A tese apresenta uma abordagem de solução exata por meio de VSM enfocando: (a) um arcabouço para problemas de escalonamento, mais especificamente problemasJob-Shop; (b) resolução de várias instâncias de Job-Shop; (c) novos algoritmos de verificação queestendem a versatilidade de VSM; (d) a aplicação de VSM ao problema de integração entre o planejamento dos níveis tático e operacional.
local.publisher.initialsUFMG

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
autran_macedo.pdf
Tamanho:
763.67 KB
Formato:
Adobe Portable Document Format
Baixar

Coleções

Pós-Graduação em Ciência da Computação - Teses

Logo UFMG