{"id":15291,"date":"2018-03-09T09:02:23","date_gmt":"2018-03-09T09:02:23","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/un-enfoque-generico-y-cooperativo-para-la-resolucion-de-restricciones-de-intervalo\/"},"modified":"2018-03-09T09:02:23","modified_gmt":"2018-03-09T09:02:23","slug":"un-enfoque-generico-y-cooperativo-para-la-resolucion-de-restricciones-de-intervalo","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/un-enfoque-generico-y-cooperativo-para-la-resolucion-de-restricciones-de-intervalo\/","title":{"rendered":"Un enfoque gen\u00e9rico y cooperativo para la resoluci\u00f3n de restricciones de intervalo"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Antonio  Jos\u00e9 Fern\u00e1ndez Leiva <\/strong><\/h2>\n<p>Esta tesis propone un esquema gen\u00e9rico y cooperativo para la programaci\u00f3n l\u00f3gica con restricciones de intervalos definidos sobre cualquier dominio de computaci\u00f3n con estructura de ret\u00edculo. El esquema, que est\u00e1 basado en la teor\u00eda de ret\u00edculos, es un enfoque general para la satisfacci\u00f3n y optimizaci\u00f3n de restricciones de intervalo as\u00ed como para la cooperaci\u00f3n de resolutores de intervalo definidos sobre cualquier conjunto de dominios de computaci\u00f3n con estructura de ret\u00edculos, independientemente de la cardinalidad de \u00e9stos.  se ha descrito el proceso global de resoluci\u00f3n de restricciones de intervalo sobre cualquier ret\u00edculo, separando claramente los procesos de propagaci\u00f3n y divisi\u00f3n (ramificaci\u00f3n) de intervalos. Una de las ventajas de la propuesta es que la monoton\u00eda de las restricciones est\u00e1 impl\u00edcitamente definida en la teor\u00eda. Adem\u00e1s, se declaran un conjunto de propiedades interesantes que, bajo ciertas condiciones, son satisfechas por cualquier instancia del esquema gen\u00e9rico.  el esquema propuesto permite la cooperaci\u00f3n de resolutores de manera que la informaci\u00f3n puede fluir entre diferentes dominios de computaci\u00f3n y, adem\u00e1s, es posible la combinaci\u00f3n de distintas instancias del mismo. se demuestra tambi\u00e9n que este enfoque permite una amplia flexibilidad en la definici\u00f3n de dominios (probablemente definidos por el usario) y en la interacci\u00f3n entre estos dominios.  la propuesta asegura un enfoque transparente sobre el cual las restricciones, los dominios de computaci\u00f3n y los mecanismos de propagaci\u00f3n y cooperaci\u00f3n, definidos entre las variables restringidas, pueden ser f\u00e1cilmente especificados a nivel del usuario. La parte principal de la tesis presenta una especificaci\u00f3n formal del esquema.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Un enfoque gen\u00e9rico y cooperativo para la resoluci\u00f3n de restricciones de intervalo<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Un enfoque gen\u00e9rico y cooperativo para la resoluci\u00f3n de restricciones de intervalo <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Antonio  Jos\u00e9 Fern\u00e1ndez Leiva <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 25\/01\/2002<\/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>M. Hill Patricia<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: fernando Orejas vald\u00e9s <\/li>\n<li>Francisco Javier Lopez fraguas (vocal)<\/li>\n<li>Mar\u00eda Alpuente frasnedo (vocal)<\/li>\n<li>Francisco Bueno carrillo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Antonio Jos\u00e9 Fern\u00e1ndez Leiva Esta tesis propone un esquema gen\u00e9rico y cooperativo para la programaci\u00f3n l\u00f3gica con [&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":[1890,6474,7834,126],"tags":[48834,5512,30627,6475,48835,6479],"class_list":["post-15291","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-lenguajes-de-programacion","category-malaga","category-matematicas","tag-antonio-jose-fernandez-leiva","tag-fernando-orejas-valdes","tag-francisco-bueno-carrillo","tag-francisco-javier-lopez-fraguas","tag-m-hill-patricia","tag-maria-alpuente-frasnedo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/15291","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=15291"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/15291\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=15291"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=15291"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=15291"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}