{"id":36925,"date":"1998-01-01T00:00:00","date_gmt":"1998-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/un-enfoque-formal-de-la-descripcion-unificada-de-sistemas-analogicos-y-digitales\/"},"modified":"1998-01-01T00:00:00","modified_gmt":"1998-01-01T00:00:00","slug":"un-enfoque-formal-de-la-descripcion-unificada-de-sistemas-analogicos-y-digitales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/un-enfoque-formal-de-la-descripcion-unificada-de-sistemas-analogicos-y-digitales\/","title":{"rendered":"Un enfoque formal de la descripcion unificada de sistemas analogicos y digitales."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Natividad Martinez Madrid <\/strong><\/h2>\n<p>Los sistemas con componentes tanto anal\u00f3gicos como digitales han sido objeto de considerable estudio y formalizaci\u00f3n en los \u00faltimos a\u00f1os. Se encuentran en circuitos electr\u00f3nicos con componentes mixtos, en sistemas de control discreto con entornos continuos, etc.  mientras que los formalismos de descripci\u00f3n homog\u00e9neos de las partes continuas y de las partes discretas existen desde hace tiempo, el \u00e9nfasis en los recientes desarrollos ha sido abordar la descripci\u00f3n unificada de estos sistemas h\u00edbridos. Este inter\u00e9s ha llevado a la definici\u00f3n de lenguajes de descripci\u00f3n de hardwareanal\u00f3gico y digital, nacidos como extensiones a lenguajes de descripci\u00f3n de hardware digital, normalizados de gran implantaci\u00f3n. Vhdl-ams es una extensi\u00f3n al lenguaje de descripci\u00f3n hardware vhdl, norma del ieee, para la descripci\u00f3n de sistemas con componentes anal\u00f3gicos y digitales.  esta tesis propone un enfoque formal a la descripci\u00f3n unificada de sistemas anal\u00f3gicos y digitales, concretamente basado en el lenguaje vhdl-ams, para el que se define una sem\u00e1ntica formal aqu\u00ed. Disponer de una sem\u00e1ntica formal para un lenguaje sienta las bases para razonar sobre el lenguaje y por tanto sobre los modelos descritos.  la sem\u00e1ntica propuesta para vhdl-ams extiende una sem\u00e1ntica denotacional existentes para vhdl. Considera que el tiempo subyacente es continuo e incorpora los nuevos elementos del lenguaje en este dominio, fundamentalmente el n\u00facleo de soluci\u00f3n anal\u00f3gica de las ecuaciones diferenciales que describenel comportamiento continuo. En primer lugar se selecciona un n\u00facleo sint\u00e1ctico del lenguaje, y posteriormente se definen los dominios y las funciones sem\u00e1nticas. La sem\u00e1ntica definida se basa en una separaci\u00f3n ortogonal entre acciones con duraci\u00f3n y acciones en el espacio de estados. Asimismo, una distinci\u00f3n entre una sem\u00e1ntica secuencial \u00abterminaci\u00f3n\u00bb y una sem\u00e1ntica de \u00absuspensi\u00f3n\u00bb permite separar aspectos int<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Un enfoque formal de la descripcion unificada de sistemas analogicos y digitales.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Un enfoque formal de la descripcion unificada de sistemas analogicos y digitales. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Natividad Martinez Madrid <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1998<\/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>Carlos Delgado Kloos<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Fernando Saez Vacas <\/li>\n<li>Andr\u00e9s Marin Lopez (vocal)<\/li>\n<li> Lopez Lopez Juan  Carlos (vocal)<\/li>\n<li>Ricardo Pe\u00f1a Mari (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Natividad Martinez Madrid Los sistemas con componentes tanto anal\u00f3gicos como digitales han sido objeto de considerable estudio [&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,332,4149,126,16008,8967,2535],"tags":[56105,30894,30662,16761,47059,16545],"class_list":["post-36925","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-diseno-y-componentes-de-sistemas-de-informacion","category-matematicas","category-politecnica-de-madrid","category-sistemas-en-tiempo-real","category-tecnologia-de-los-ordenadores","tag-andres-marin-lopez","tag-carlos-delgado-kloos","tag-fernando-saez-vacas","tag-lopez-lopez-juan-carlos","tag-natividad-Martinez-madrid","tag-ricardo-pena-mari"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/36925","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=36925"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/36925\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=36925"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=36925"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=36925"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}