{"id":117286,"date":"2018-03-11T10:46:47","date_gmt":"2018-03-11T10:46:47","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/verificacion-difusa-en-la%c2%adnea-de-sistemas-de-tiempo-real-y-analisis-de-su-incertidumbre\/"},"modified":"2018-03-11T10:46:47","modified_gmt":"2018-03-11T10:46:47","slug":"verificacion-difusa-en-la%c2%adnea-de-sistemas-de-tiempo-real-y-analisis-de-su-incertidumbre","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/tecnologia-electronica\/verificacion-difusa-en-la%c2%adnea-de-sistemas-de-tiempo-real-y-analisis-de-su-incertidumbre\/","title":{"rendered":"Verificaci\u00f3n difusa en l\u00ednea de sistemas de tiempo real y an\u00e1lisis de su incertidumbre"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Joaquin Perez Marquez <\/strong><\/h2>\n<p>Esta tesis presenta el leguaje de especificaci\u00f3n ftl-cfree, que extiende la l\u00f3gica temporal con sem\u00e1ntica difusa y con la capacidad para cuantificar variables, a fin de ser aplicado en el \u00e1mbito de la verificaci\u00f3n en l\u00ednea. La sem\u00e1ntica del lenguaje es difuso-evolutiva, pues, dada una traza de entrada, la interpretaci\u00f3n no s\u00f3lo establece el grado de certeza de la aserci\u00f3n, sino que adem\u00e1s determina c\u00f3mo esta magnitud puede evolucionar si nuevos sufijos son incorporados a la traza de entrada. Como es habitual en la verificaci\u00f3n en l\u00ednea, el lenguaje provee la generaci\u00f3n del oracle correspondiente y, por lo tanto, es posible obtener una especificaci\u00f3n observable a partir de los requisitos de alto nivel de un sistema. La verificaci\u00f3n en l\u00ednea proporciona informaci\u00f3n, en cada instante, del estado de un sistema. Sin embargo, la capacidad para analizar su estado desde un punto de vista estacionario, cuando el sistema opera en condiciones nominales, resulta de gran utilidad entre la comunidad de ingenieros. El resultado de evaluar un requisito de la especificaci\u00f3n, formulado con el lenguaje ftl-cfree, est\u00e1 afectado por la variaci\u00f3n intr\u00ednseca del propio sistema y, con esto, caracterizar estad\u00edsticamente su respuesta es de especial inter\u00e9s. La sem\u00e1ntica de ftl-cfree transforma un escenario de entrada en una medida difusa, que puede ser analizada de acuerdo con el principio de variable aleatoria. As\u00ed, se demuestra que una f\u00f3rmula ftl-cfree sigue una distribuci\u00f3n de probabilidad espec\u00edfica y se confirma que la teor\u00eda de la probabilidad es capaz de caracterizar la incertidumbre aleatoria en mediciones difusas. A partir del principio de variable aleatoria ftl-cfree, y tomando una serie de restricciones probabil\u00edsticas en condiciones nominales, se desarrolla un m\u00e9todo para la identificaci\u00f3n (parametrizaci\u00f3n) de f\u00f3rmulas.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Verificaci\u00f3n difusa en l\u00ednea de sistemas de tiempo real y an\u00e1lisis de su incertidumbre<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Verificaci\u00f3n difusa en l\u00ednea de sistemas de tiempo real y an\u00e1lisis de su incertidumbre <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Joaquin Perez Marquez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Pa\u00eds vasco\/euskal herriko unibertsitatea<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 18\/03\/2015<\/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>Jaime Jimenez Verde<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Luis Martin gonzalez <\/li>\n<li>Juan  Francisco Sevillano berasategui (vocal)<\/li>\n<li>Mar\u00eda del mar Mart\u00ednez sol\u00f3rzano (vocal)<\/li>\n<li>enrique Mandado perez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Joaquin Perez Marquez Esta tesis presenta el leguaje de especificaci\u00f3n ftl-cfree, que extiende la l\u00f3gica temporal 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":[12909,30277,9463,3706],"tags":[18677,162035,231178,46304,83119,195668],"class_list":["post-117286","post","type-post","status-publish","format-standard","hentry","category-pais-vasco-euskal-herriko-unibertsitatea","category-sistemas-automatizados-de-control-de-calidad","category-sistemas-automatizados-de-produccion","category-tecnologia-electronica","tag-enrique-mandado-perez","tag-jaime-jimenez-verde","tag-joaquin-perez-marquez","tag-jose-luis-martin-gonzalez","tag-juan-francisco-sevillano-berasategui","tag-maria-del-mar-Martinez-solorzano"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/117286","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=117286"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/117286\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=117286"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=117286"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=117286"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}