{"id":137692,"date":"2026-01-12T17:07:29","date_gmt":"2026-01-12T17:07:29","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/tecnicas-de-descripcion-formal-aplicadas-a-la-evaluacion-de-prestaciones-de-sistemas-de-comunicacion\/"},"modified":"2026-01-12T17:07:29","modified_gmt":"2026-01-12T17:07:29","slug":"tecnicas-de-descripcion-formal-aplicadas-a-la-evaluacion-de-prestaciones-de-sistemas-de-comunicacion","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/tecnicas-de-descripcion-formal-aplicadas-a-la-evaluacion-de-prestaciones-de-sistemas-de-comunicacion\/","title":{"rendered":"Tecnicas de descripcion formal aplicadas a la evaluacion de prestaciones de sistemas de comunicacion"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Carlos Miguel Nieto <\/strong><\/h2>\n<p>Este trabajo se enmarca en el ambito de los lenguajes formales basados en algebras de procesos y su aplicacion en la evaluacion de prestaciones de sistemas de eventos discretos. Tecnicas de descripcion formal basadas en algebras de procesos se estan aplicando al dise\u00f1o de sistemas distribuidos ya que permiten verificar las propiedades del dise\u00f1o; pero la mayoria de ellas solo son capaces de modelar los aspectos funcionales del sistema y por lo tanto no es posible obtener las prestaciones del dise\u00f1o.  el objetivo de esta texis es extender un lenguaje formal para poder describir los aspectos temporales y probabilisticos delsistema y aplicarlo a la evaluacion de prestaciones mediante analisis y simulacion. Dicha tecnica se ha aplicado al dise\u00f1o y evaluacion de una red real de comunicacion de datos via satelite.  la tecnica de descripcion formal que se ha extendido es lotos ya que destaca entre otras por tener una semantica de tipos de datos y ser norma internacional.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Tecnicas de descripcion formal aplicadas a la evaluacion de prestaciones de sistemas de comunicacion<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Tecnicas de descripcion formal aplicadas a la evaluacion de prestaciones de sistemas de comunicacion <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Carlos Miguel Nieto <\/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\/1991<\/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> Fernandez Del Campo Angel<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Leon Vidaller Siso <\/li>\n<li> Frutos Escrig David De (vocal)<\/li>\n<li>Juan  Antonio De La Puente Alfaro (vocal)<\/li>\n<li>Miquel Bertran  Salvans (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Carlos Miguel Nieto Este trabajo se enmarca en el ambito de los lenguajes formales basados en algebras [&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,126,16008,13227,2489],"tags":[252269,30952,5511,11017,16190,111906],"class_list":["post-137692","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-matematicas","category-politecnica-de-madrid","category-simulacion","category-tecnologia-de-las-telecomunicaciones","tag-carlos-miguel-nieto","tag-fernandez-del-campo-angel","tag-frutos-escrig-david-de","tag-juan-antonio-de-la-puente-alfaro","tag-leon-vidaller-siso","tag-miquel-bertran-salvans"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/137692","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=137692"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/137692\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=137692"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=137692"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=137692"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}