{"id":88005,"date":"2018-03-10T00:12:54","date_gmt":"2018-03-10T00:12:54","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/metodologias-de-especificacion-formal-aplicadas-a-modelos-normalizados-de-protocolos-de-comunicacion-industriales\/"},"modified":"2018-03-10T00:12:54","modified_gmt":"2018-03-10T00:12:54","slug":"metodologias-de-especificacion-formal-aplicadas-a-modelos-normalizados-de-protocolos-de-comunicacion-industriales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/metodologias-de-especificacion-formal-aplicadas-a-modelos-normalizados-de-protocolos-de-comunicacion-industriales\/","title":{"rendered":"Metodolog\u00edas de especificacion formal aplicadas a modelos normalizados de protocolos de comunicaci\u00f3n industriales"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Nogueira Nine Juan  Benigno <\/strong><\/h2>\n<p>La creciente complejidad de los protocolos de comunicaciones requiere la utilizaci\u00f3n de nuevas tecnicas que permitan realizar una especificaci\u00f3n de los mismos de una forma completa, consistente y no ambigua. Estas nuevas tecnicas se conocen de forma gen\u00e9rica como m\u00e9todos formales.  las ventajas proporcionadas por los buses de campo en la industria han contribuido al desarrollo de un gran n\u00famero de ellos. Cada bus de campo ha sido desarrollado y promovido por diferentes fabricantes y la mayoria de ellos han sido normalizados por diferentes organismos internacionales.  esta tesis contribuye a la introducci\u00f3n de los m\u00e9todos formales en el estudio de los protocolos de comunicaciones industriales. La tecnica de descripci\u00f3n formal sdl, normalizada por la itu en su recomendaci\u00f3n z.100[178], ha sido utilizada aqu\u00ed para especificar el bus de campo profibus [279]. debido a la gran cantidad de m\u00e9todos formales disponibles, se ha realizado un estudio y una clasificaci\u00f3n previa de los mismos, antes de elegir el m\u00e1s adecuado para las necesidades de dicho protocolo.  los resultados obtenidos en esta tesis muestran que la utilizaci\u00f3n de t\u00e9cnicas de descripci\u00f3n formal como sdl, presenta importantes ventajas en el dise\u00f1o y mejora de los protocolos de comunicaciones industriales.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Metodolog\u00edas de especificacion formal aplicadas a modelos normalizados de protocolos de comunicaci\u00f3n industriales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Metodolog\u00edas de especificacion formal aplicadas a modelos normalizados de protocolos de comunicaci\u00f3n industriales <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Nogueira Nine Juan  Benigno <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Vigo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 15\/12\/2000<\/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>Perfecto Mari\u00f1o Espi\u00f1eira<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Carlos Martinez-pe\u00f1alver freire <\/li>\n<li>joaquin Luque rodriguez (vocal)<\/li>\n<li>Juan Quemada vives (vocal)<\/li>\n<li>victor m. Sempere paya (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Nogueira Nine Juan Benigno La creciente complejidad de los protocolos de comunicaciones requiere la utilizaci\u00f3n de nuevas [&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":[332,3747,3748,16869,9462,1124,2453,30772,18657],"tags":[18688,26503,16199,71826,30953,183873],"class_list":["post-88005","post","type-post","status-publish","format-standard","hentry","category-ciencias-tecnologicas","category-logica","category-logica-deductiva","category-procesos-industriales","category-tecnologia-de-la-automatizacion","category-tecnologia-de-la-instrumentacion","category-tecnologia-industrial","category-teoria-de-lenguajes-formales","category-vigo","tag-carlos-Martinez-penalver-freire","tag-joaquin-luque-rodriguez","tag-juan-quemada-vives","tag-nogueira-nine-juan-benigno","tag-perfecto-marino-espineira","tag-victor-m-sempere-paya"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/88005","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=88005"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/88005\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=88005"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=88005"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=88005"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}