{"id":12926,"date":"2018-03-09T08:59:00","date_gmt":"2018-03-09T08:59:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/calculo-de-deducciones-en-paralelo-en-un-sistema-multiprocesador\/"},"modified":"2018-03-09T08:59:00","modified_gmt":"2018-03-09T08:59:00","slug":"calculo-de-deducciones-en-paralelo-en-un-sistema-multiprocesador","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/calculo-de-deducciones-en-paralelo-en-un-sistema-multiprocesador\/","title":{"rendered":"C\u00e1lculo de deducciones en paralelo en un sistema multiprocesador"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jorge Puente Peinador <\/strong><\/h2>\n<p>Los sistemas de deducciones en paralelo basados en l\u00f3gica de predicados suponen la colaboraci\u00f3n de dos grandes campos de investigaci\u00f3n que son la inteligencia artificial y las arquitecturas paralelas en pos de la eficiencia en la resoluci\u00f3n de problemas. En ambos campos se han realizado grandes avances, y en particular dentro de la progrmaci\u00f3n l\u00f3gica paralela los esfuerzos se han centrado en la definici\u00f3n de modelos de interpretaci\u00f3n capaces de trabjar sobre enormes bases de conocimiento,por medio del aprovechamiento de los recursos que ofrecen estas arquitecturas en conjunci\u00f3n con el paralelismo presente en los programas l\u00f3gicos.  en esta l\u00ednea se centra el trabajo presentado en esta tesis doctoral. empleando como base un modelo de interpretaciones l\u00f3gicas bien definido como es el rfd\/rps, se construye una arquitectura virtual capaza de solventar las limitaciones de una arquitectura paralela de car\u00e1cter general a la hora de satisfacer las necesiades espec\u00edficas de dicho modelo. Para ello este trabajo identifica claramente las necesidads del modelo y plantea una adecuada repressentaci\u00f3n para el conocimiento implicado, as\u00ed como los procedimientos para su manipulaci\u00f3n. Todo ello en un prototipo de la m\u00e1quina virtual en una arquitectura paralela de memoria compartida. La memoria detalla adem\u00e1s un  estudio consistente del comportamiento, tanto de la propia m\u00e1quina virtual, como del sistema deductivo resultante basado en el modelo rfd\/rps.  Una de las principales aportaciones de este trabajo consiste en la adecuaci\u00f3n de los recursos de una arquitectura paralela convenciona a los requisitos espec\u00edficos de un modelos de programaci\u00f3n l\u00f3gica en paralelo por medio del dise\u00f1o de una nueva m\u00e1quina paralela.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>C\u00e1lculo de deducciones en paralelo en un sistema multiprocesador<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 C\u00e1lculo de deducciones en paralelo en un sistema multiprocesador <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jorge Puente Peinador <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Oviedo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 25\/09\/2001<\/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>Ramiro Varela Arias<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: jos\u00e9 Mira mira <\/li>\n<li>sen\u00e9n Barro ameneiro (vocal)<\/li>\n<li>Antonio Bahamonde rionda (vocal)<\/li>\n<li>Javier D\u00edaz bruguera (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jorge Puente Peinador Los sistemas de deducciones en paralelo basados en l\u00f3gica de predicados suponen la colaboraci\u00f3n [&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,2528,126,8846],"tags":[10527,21041,42121,2531,42122,2530],"class_list":["post-12926","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-matematicas","category-oviedo","tag-antonio-bahamonde-rionda","tag-javier-diaz-bruguera","tag-jorge-puente-peinador","tag-jose-mira-mira","tag-ramiro-varela-arias","tag-senen-barro-ameneiro"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/12926","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=12926"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/12926\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=12926"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=12926"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=12926"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}