{"id":100821,"date":"2010-12-05T00:00:00","date_gmt":"2010-12-05T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/algoritmos-heura%c2%adsticos-y-aplicaciones-a-metodos-formales\/"},"modified":"2010-12-05T00:00:00","modified_gmt":"2010-12-05T00:00:00","slug":"algoritmos-heura%c2%adsticos-y-aplicaciones-a-metodos-formales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/algoritmos-heura%c2%adsticos-y-aplicaciones-a-metodos-formales\/","title":{"rendered":"Algoritmos heur\u00edsticos y aplicaciones a m\u00e9todos formales"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Pablo Manuel Rabanal Basalo <\/strong><\/h2>\n<p>Los algoritmos de optimizaci\u00f3n basados en b\u00fasquedas locales recorren el espacio de soluciones tratando de conseguir una buena soluci\u00f3n en un tiempo razonable para minimizar o maximizar un valor y tratando de evitar quedarse estancado en m\u00ednimos o m\u00e1x imos locales. para ello parten de una soluci\u00f3n y la modifican aplicando ciertos operadores para calcular soluciones vecinas que mejoren la calidad de la soluci\u00f3n inicial. Normalmente, estas t\u00e9cnicas de b\u00fasqueda se aplican a problemas np-duros en los que el espacio de b\u00fasqueda es muy grande y es necesario el uso de funciones heur\u00edsticas para eliminar rutas de b\u00fasqueda no prometedoras. El problema de estas heur\u00edsticas es que tambi\u00e9n se pueden desechar rutas que lleven a buenas soluciones. Entre es tos m\u00e9todos cabe destacar la escalada, el enfriamiento simulado, los algoritmos gen\u00e9ticos, los algoritmos de optimizaci\u00f3n basados en nubes de part\u00edculas o los algoritmos de colonias de hormigas.  un tema al que se han aplicado m\u00e9todos evolutivos de m anera exitosa en los \u00faltimos a\u00f1os son los m\u00e9todos formales. Los m\u00e9todos formales son t\u00e9cnicas que t\u00edpicamente han sido aplicadas tanto a la especificaci\u00f3n formal como a la verificaci\u00f3n formal de sistemas software, con la idea de desarrollar especific aciones claras, concisas y ausentes de ambig\u00ed\u00bcedades. El punto de encuentro entre dos \u00e1reas tan diferentes es debido a que los m\u00e9todos formales se encuentran com\u00fanmente con un problema en la pr\u00e1ctica: deben analizar sistemas en los que el n\u00famero de es tados de la especificaci\u00f3n crece exponencialmente. Es aqu\u00ed donde las t\u00e9cnicas heur\u00edsticas proporcionan estrategias eficientes que se pueden aplicar para intentar buscar errores potenciales en el sistema.  en esta tesis se introduce una nueva t\u00e9cnica evolutiva llamada river formation dynamics inspirada en la naturaleza y basada en el proceso geol\u00f3gico de la formaci\u00f3n de los r\u00edos. Primero se dise\u00f1a un algoritmo b\u00e1sico basado en estas ideas para posteriormente aplicarlo a resolver problemas np-comp letos de diferente \u00edndole. Uno de los problemas a los que se ha aplicado este m\u00e9todo para probar su funcionamiento es el problema del viajante de comercio. Adem\u00e1s se han definido nuevos problemas np-completos como son los casos del problema del \u00e1rbol  recubridor m\u00ednimo y el \u00e1rbol de distancias m\u00ednimas en grafos de costes variables. Para resolver estos problemas es necesario adaptar el algoritmo b\u00e1sico a cada caso. Tambi\u00e9n se ha aplicado river formation dynamics a escenarios t\u00edpicos de m\u00e9todos for<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Algoritmos heur\u00edsticos y aplicaciones a m\u00e9todos formales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Algoritmos heur\u00edsticos y aplicaciones a m\u00e9todos formales <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Pablo Manuel Rabanal Basalo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 12\/05\/2010<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Ismael Rodr\u00edguez Laguna<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: david de Frutos escrig <\/li>\n<li>gregorio Diaz descalzo (vocal)<\/li>\n<li>Mar\u00eda lourdes Ara\u00fajo serna (vocal)<\/li>\n<li>Carlos Cotta porras (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Pablo Manuel Rabanal Basalo Los algoritmos de optimizaci\u00f3n basados en b\u00fasquedas locales recorren el espacio de soluciones [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1],"tags":[93507,195947,117982,151305,150451,205173],"class_list":["post-100821","post","type-post","status-publish","format-standard","hentry","category-sin-categoria","tag-carlos-cotta-porras","tag-david-de-frutos-escrig","tag-gregorio-diaz-descalzo","tag-ismael-rodriguez-laguna","tag-maria-lourdes-araujo-serna","tag-pablo-manuel-rabanal-basalo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/100821","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=100821"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/100821\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=100821"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=100821"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=100821"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}