Algoritmos heurísticos y aplicaciones a métodos formales

Los algoritmos de optimización basados en búsquedas locales recorren el espacio de soluciones tratando de conseguir una buena solución en un tiempo razonable para minimizar o maximizar un valor y tratando de evitar quedarse estancado en mínimos o máximos locales. Parten de una solución y la modifica...

Descripción completa

Detalles Bibliográficos
Autor: Rabanal Basalo, Pablo Manuel
Tipo de recurso: tesis doctoral
Fecha de publicación:2011
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:español
OAI Identifier:oai:docta.ucm.es:20.500.14352/47625
Acceso en línea:https://hdl.handle.net/20.500.14352/47625
Access Level:acceso abierto
Palabra clave:510.52(043.2)
004.421:575.8(043.2)
Heurísticas
River Formation Dynamics
problemas NP-completos
Sistemas expertos
id ES_615521591df700c8ce0f86266673e2e5
oai_identifier_str oai:docta.ucm.es:20.500.14352/47625
network_acronym_str ES
network_name_str España
repository_id_str
spelling Algoritmos heurísticos y aplicaciones a métodos formalesRabanal Basalo, Pablo Manuel510.52(043.2)004.421:575.8(043.2)HeurísticasRiver Formation Dynamicsproblemas NP-completosSistemas expertosLos algoritmos de optimización basados en búsquedas locales recorren el espacio de soluciones tratando de conseguir una buena solución en un tiempo razonable para minimizar o maximizar un valor y tratando de evitar quedarse estancado en mínimos o máximos locales. Parten de una solución y la modifican aplicando ciertos operadores para calcular soluciones vecinas que mejoren la calidad de la solución inicial. Estas técnicas de búsqueda se aplican a problemas NP-completos en los que el espacio de búsqueda es muy grande y es necesario el uso de funciones heurísticas para eliminar rutas de búsqueda no prometedoras. Los métodos evolutivos se han aplicado de manera exitosa en los últimos años a los métodos formales. Los métodos formales son técnicas que típicamente han sido aplicadas tanto a la especificación formal como a la verificación formal de sistemas, buscando desarrollar especificaciones claras, concisas y sin ambigüedades. El punto de encuentro entre estas dos áreas es debido a un problema práctico que aparece en los métodos formales: éstos deben analizar sistemas en los que el número de estados de la especificación crece exponencialmente. Es aquí donde las heurísticas proporcionan estrategias eficientes. En esta tesis se introduce una nueva técnica evolutiva llamada River Formation Dynamics basada en el proceso geológico de la formación de los ríos. Se ha diseñado un algoritmo basado en estas ideas para aplicarlo a resolver distintos problemas NP-completos, como por ejemplo al problema del viajante de comercio. Además se han definido nuevos problemas NP-completos en los que es necesario adaptar el algoritmo básico a cada caso. También se ha aplicado River Formation Dynamics a escenarios típicos de métodos formales donde se ha utilizado esta técnica para alcanzar ciertos estados/transiciones de una especificación definida por una máquina de estados finitos.Universidad Complutense de Madrid, Servicio de PublicacionesRodríguez Laguna, IsmaelRubio Díez, FernandoUniversidad Complutense de Madrid20112011-01-1720112011-01-17doctoral thesishttp://purl.org/coar/resource_type/c_db06info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/47625reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/476252026-06-02T12:44:21Z
dc.title.none.fl_str_mv Algoritmos heurísticos y aplicaciones a métodos formales
title Algoritmos heurísticos y aplicaciones a métodos formales
spellingShingle Algoritmos heurísticos y aplicaciones a métodos formales
Rabanal Basalo, Pablo Manuel
510.52(043.2)
004.421:575.8(043.2)
Heurísticas
River Formation Dynamics
problemas NP-completos
Sistemas expertos
title_short Algoritmos heurísticos y aplicaciones a métodos formales
title_full Algoritmos heurísticos y aplicaciones a métodos formales
title_fullStr Algoritmos heurísticos y aplicaciones a métodos formales
title_full_unstemmed Algoritmos heurísticos y aplicaciones a métodos formales
title_sort Algoritmos heurísticos y aplicaciones a métodos formales
dc.creator.none.fl_str_mv Rabanal Basalo, Pablo Manuel
author Rabanal Basalo, Pablo Manuel
author_facet Rabanal Basalo, Pablo Manuel
author_role author
dc.contributor.none.fl_str_mv Rodríguez Laguna, Ismael
Rubio Díez, Fernando
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 510.52(043.2)
004.421:575.8(043.2)
Heurísticas
River Formation Dynamics
problemas NP-completos
Sistemas expertos
topic 510.52(043.2)
004.421:575.8(043.2)
Heurísticas
River Formation Dynamics
problemas NP-completos
Sistemas expertos
description Los algoritmos de optimización basados en búsquedas locales recorren el espacio de soluciones tratando de conseguir una buena solución en un tiempo razonable para minimizar o maximizar un valor y tratando de evitar quedarse estancado en mínimos o máximos locales. Parten de una solución y la modifican aplicando ciertos operadores para calcular soluciones vecinas que mejoren la calidad de la solución inicial. Estas técnicas de búsqueda se aplican a problemas NP-completos en los que el espacio de búsqueda es muy grande y es necesario el uso de funciones heurísticas para eliminar rutas de búsqueda no prometedoras. Los métodos evolutivos se han aplicado de manera exitosa en los últimos años a los métodos formales. Los métodos formales son técnicas que típicamente han sido aplicadas tanto a la especificación formal como a la verificación formal de sistemas, buscando desarrollar especificaciones claras, concisas y sin ambigüedades. El punto de encuentro entre estas dos áreas es debido a un problema práctico que aparece en los métodos formales: éstos deben analizar sistemas en los que el número de estados de la especificación crece exponencialmente. Es aquí donde las heurísticas proporcionan estrategias eficientes. En esta tesis se introduce una nueva técnica evolutiva llamada River Formation Dynamics basada en el proceso geológico de la formación de los ríos. Se ha diseñado un algoritmo basado en estas ideas para aplicarlo a resolver distintos problemas NP-completos, como por ejemplo al problema del viajante de comercio. Además se han definido nuevos problemas NP-completos en los que es necesario adaptar el algoritmo básico a cada caso. También se ha aplicado River Formation Dynamics a escenarios típicos de métodos formales donde se ha utilizado esta técnica para alcanzar ciertos estados/transiciones de una especificación definida por una máquina de estados finitos.
publishDate 2011
dc.date.none.fl_str_mv 2011
2011-01-17
2011
2011-01-17
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
dc.type.openaire.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/47625
url https://hdl.handle.net/20.500.14352/47625
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Complutense de Madrid, Servicio de Publicaciones
publisher.none.fl_str_mv Universidad Complutense de Madrid, Servicio de Publicaciones
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869409407518900224
score 15,301603

Similares en LA Referencia