SOFTWARE, 3

Autor: GEA MEGIAS MIGUEL.
Año: 1996.
Universidad: GRANADA .
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: ESPECIFICACION Y DESARROLLO DE SOFTWARE.

Resumen: EN LA TESIS SE PRESENTA UN NUEVO METODO DE ESPECIFICACION FORMAL, ORIENTADO A LA ESPECIFICACION DE SISTEMAS GRAFICOS. SE HA UTILIZADO UN FORMALISMO ADECUADO PARA LA ESPECIFICACION DE SISTEMAS GRAFICOS QUE PERMITE SU DESCRIPCION A UN NIVEL ALTO DE ABSTRACCION, ASI COMO DE DESARROLLAR UNA SERIE DE HERRAMIENTAS QUE FACILITEN EL DESARROLLO DE SOFTWARE A PARTIR DE LA ESPECIFICACION. SE HAN ESTUDIADO DISTINTAS TECNICAS DE ESPECIFICACION FORMAL, ASI COMO SU APLICACION A SISTEMAS GRAFICOS. PARTIENDO DE TECNICAS BASADAS EN LA ESPECIFICACION ALGEBRAICA HEMOS PROPUESTO UN MODELO FORMAL BASADO EN LA REPRESENTACION DEL ESTADO BASADO EN LA HISTORIA FUNCIONAL QUE HA SIDO APLICADA. SOBRE ESTE MODELO, HEMOS ANALIZADO Y CARACTERIZADO UNA SERIE DE PROPIEDADES FORMALES. SE HA PROPUESTO UN LENGUAJE DE ESPECIFICACION (GRALPLA), ASI COMO UNA SERIE DE HERRAMIENTAS PARA LA COMPROBACION DE LA CORRECCION DE LA ESPECIFICACION Y LA TRADUCCION DE LAS ESPECIFICACIONES A UN LENGUAJE DE ALTO NIVEL ORIENTADO A OBJETOS. FINALMENTE, SE EXPONEN UNA SERIE DE EJEMPLOS DE ESPECIFICACION DE SISTEMAS GRAFICOS, ASI COMO EL METODO DE TRADUCCION DE LAS ESPECIFICACIONES A LENGUAJE C++.

Autor: MESSEGUER PEYPOCH XAVIER.
Año: 1996.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES I SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: SOFTWARE.

Resumen: PRESENTAMOS UN METODO QUE NOS PERMITE DISEÑAR ALGORITMOS DISTRIBUIDOS (ASINCRONOS) Y MASIVAMENTE PARALELOS (SINCRONOS) SOBRE ESTRUCTURAS EQUILIBRADAS, CONCRETAMENTE SOBRE LAS LISTAS ENCADENADAS "SKIP LISTS" Y LOS ARBOLES EQUILIBRADOS DE BUSQUEDA. DICHO METODO SE BASA EN EL CONJUNTO DE REGLAS LOCALES QUE MANIPULAN LAS ESTRUCTURAS, ENTENDIENDO POR REGLA LOCAL CUALQUIER ALGORITMO CON UN NUMERO FIJO DE INSTRUCCIONES (SIN BUCLES) QUE ACCEDEN A UN NUMERO FIJO DE NODOS VECINOS. EL METODO SUGIERE, EN PRIMER LUGAR, ABORDAR EL DISEÑO DEL ALGORITMO DISTRIBUIDO EN BASE A LAS REGLAS LOCALES, Y POSTERIORMENTE ABORDAR EL DISEÑO DEL ALGORITMO MASIVAMENTE PARALELO A PARTIR DE SINCRONIZAR DE FORMA EFICIENTE LAS REGLAS LOCALES. DE HECHO LOS ALGORITMOS MASIVAMENTE PARALELOS PUEDEN SER CONSIDERADOS COMO VERSIONES OPTIMAS DEL ALGORITMO DISTRIBUIDO. HEMOS APLICADO EL METODO SOBRE LAS LISTAS "SKIP LISTS" Y SOBRE LOS ARBOLES 2-3 Y LOS ARBOLES AVL. LAS LISTAS HAN SIDO ELEGIDAS COMO REPRESENTANTE DE LAS ESTRUCTURAS EQUILIBRADAS DE FORMA ALEATORIA, Y LOS ARBOLES POR ESTAR MANIPULADOS POR REGLAS LOCALES MUY DIFERENTES Y REPRESENTAR A UNA AMPLIA GAMA DE ARBOLES EQUILIBRADOS DE BUSQUEDA TALES COMO ARBOLES 2-3-4, ARBOLES B, ARBOLES ROJO-Y-NEGROS, ETC. LA APLICACION DEL METODO SOBRE LAS LISTAS "SKIP LISTS" HA PERMITIDO EL DISEÑO DEL ALGORITMO MASIVAMENTE PARALELO Y LA CREACION DE UNA NUEVA ESTRUCTURA DE ARBOLES EQUILIBRADOS DENOMINADA "SKIP TREES" E ISOMORFA A LAS "SKIP LISTS". LOS "SKIP TREES" SE EQUILIBRAN DE FORMA ALEATORIA Y PERMITEN PAGINAR LA ESTRUCTURA DE FORMA MAS EFICIENTE. LA APLICACION DEL METODO SOBRE LOS ARBOLES 2-3 HA PERMITIDO EL DISEÑO DE UN ALGORITMO DISTRIBUIDO QUE PERMITE DE FORMA TRANSITORIA NODOS CON MAS DE DOS LLAVES. LA APLICACION DEL METODO SOBRE LOS ARBOLES AVL HA SUGERIDO EL DISEÑO DE UN ALGORITMO DISTRIBUIDO DE GRANULARIDAD MAS FINA QUE LA DE LOS EXISTENTES (CONCRETAMENTE HEMOS SEPARADO LAS PROPAGACIONES DE LAS ROTACIONES), Y A PARTIR DE LA PARELIZACION EFICIENTE DE LA RELGAS EL DISEÑO DE UN ALGORITMO MASIVAMENTE PARALELO.

Autor: MOLINA IBAÑEZ JESUS GABRIEL.
Año: 1996.
Universidad: VALENCIA.
Centro de lectura: PSICOLOGIA.
Centro de realización: DEPARTAMENTO: METODOLOGIA, PSICOBIOLOGIA Y PSICOLOGIA SOCIAL PROGRAMA DE DOCTORADO: 268 A METTOD. INVESTIG. DEL COMPORTAMIENTO: MODEL. E INVESTIG. EXPERI..

Resumen: LOS BANCOS DE ITEMS, CONCEPTO YA ARRAIGADO DESDE HACE AÑOS EN LA PRACTICA PSICOMETRICA, HAN DESPUNTADO EN SU APLICACION EN EL DESARROLLO DE TEST EN ESTOS AÑOS RECIENTES, FUNDAMENTALMENTE, EN RELACION AL IMPORTANTE IMPACTO DE LOS TESTS ADAPTATIVOS INFORMATIZADOS.EN ESTE TIPO DE TEST, LA CREACION DE BANCOS DE ITEMS JUEGA UN PAPEL FUNDAMENTAL COMO BASE A PARTIR DE LA QUE PODER DESARROLLAR AQUELLOS Y QUE, PRECISAMENTE, HAN MOTIVADO EL PLANTEAMIENTO DEL OBJETIVO PRINCIPAL QUE HA GUIADO EL DESARROLLO DE ESTA TESIS DOCTORAL: PROMOVER EL DESARROLLO DE UNA HERRAMIENTA QUE, APROVECHANDO ELPOTENCIAL QUE EL MUNDO DE LA INFORMATICA NOS BRINDA, DE SOPORTE AL PROCESO DE CONSTRUCCION Y GESTION DE BANCOS DE ITEMS.LA SATISFACCION DE ESTE OBJETIVO HA VENIDO DETERMINADA POR DOS GRANDES BLOQUES DE TAREAS: UNA DE ANALISIS DEL PROBLEMA AL QUE SE QUIERE DAR SOPORTE INFORMATICO; Y OTRO DE ANALISIS DE LAS ESPECIFICACIONES QUE DETERMINARIAN EL DESARROLLO DEL SISTEMA INFORMATICO PROPUESTO.

Autor: BAYARRI ROMAR SALVADOR.
Año: 1995.
Universidad: VALENCIA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y ELECTRONICA PROGRAMA DE DOCTORADO: 240A: PROCESO DIGITAL DE SEÑALES.

Resumen: EL TRABAJO PLANTEA LA ESPECIFICACION DE UNA ESTRUCTURA DE DATOS QUE PERMITE LA SIMULACION DE CONDUCCION EN ENTORNOS URBANOS, INTERURBANOS Y SOBRE EL TERRENO, PERMITIENDO SU PAGINACION BASADA EN UNA ESTRUCTURA DE QUADTREE.SE PRESENTA UNA HERRAMIENTA DE MODELADO GEOMETRICO CON ALGORITMOS ESPECIFICOS PARA LA GENERACION AUTOMATICA DE ELEMENTOS VIARIOS Y DE TERRENO FRACTAL ADAPTADO A LA VIA. ESTA HERRAMIENTA GENERA UNA BASE DE DATOS SEGMENTADA QUE ES VISUALIZADA MEDIANTE UN MODULO DE REPRESENTACION GRAFICA EN TIEMPO REAL. ESTE MODULO INCLUYE UN SISTEMA DE GESTION DE LAS PAGINAS DE LA BASE DE DATOS.

Autor: BUENAGA RODRIGUEZ MANUEL DE.
Año: 1995.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION.

Resumen: EN ESTA MEMORIA SE HACE UN ESTUDIO DE LA FORMA EN QUE LAS TECNICAS Y MODELOS DESARROLLADOS EN TORNO A LA RECUPERACION DE INFORMACION (RI) PUEDEN UTILIZARSE EN EL DESARROLLO DE SISTEMAS DE AYUDA A LA UTILIZACION DE BIBLIOTECAS DE COMPONENTES SOFTWARE (BCS). EN EL DESARROLLO DE ESTE TIPO DE SISTEMAS SE LE ASIGNA UN PAPEL CENTRAL A LA UTILIACION DE LA DOCUMENTACION EN LENGUAJE NATURAL EXISTENTE EN LAS BCS. EN NUESTRO TRABAJO INVESTIGAMOS LAS FORMAS EN QUE LAS TECNICAS DE PROCESAMIENTO DEL LENGUAJE NATURAL (PLN) APLICADAS A UN ANALISIS MAS PROFUNDO DE LOS TEXTOS Y LAS CONSULTAS DE LOS USUARIOS, PUEDEN MEJORAR EL PROCESO DE RECUPERACION. SE PRESENTA EL SISTEMA ARGOS, QUE HEMOS DESARROLLADO COMO SISTEMA DE AYUDA PARA LA UTILIZACION DE BCS EN EL QUE LAS TECNICAS DE RI JUEGAN UN PAPEL FUNDAMENTAL. EL SISTEMA ARGOS SE HA DESARROLLADO COMO SISTEMA DE AYUDA PARA EL CONJUNTO DE ORDENES DEL SISTEMA OPERATIVO UNIX Y PROCESA EL MANUAL EXISTENTE EN FORMATO ELECTRONICO EN ESTE ENTORNO. ARGOS INCLUYE DIVERSOS ELEMENTOS Y FUNCIONALIDADES, TALES COMO EL MODELADO DEL USUARIO Y FUNCIONES DE NAVEGACION BASADAS EN HIPERTEXTO, ORIENTADAS A PROPORCIONAR AYUDA DE LA FORMA MAS EFECTIVA A LOS USUARIOS DE LAS BCS. EL SISTEMA INCLUYE UN MODULO QUE ENCAPSULA LAS FUNCIONALIDADES MAS DIRECTAMENTE RELACIONADAS CON LAS TECNICAS DE RI. ESTE MODULO SE BASA EN EL MODELO DEL ESPACIO VECTORIAL, LA UTILIZACION DE PESOS DE TERMINOS, LISTAS DE PARADA Y ALGORITMOS DE EXTRACCION DE RAICES. EN NUESTRO ESTUDIO SE HA HECHO PATENTE UNA IMPORTANTE EVIDENCIA EXPERIMENTAL DE QUE LOS SISTEMAS BASADOS EN ESTAS TECNICAS PROPROCIONAN UNA EFECTIVIDAD EN EL PROCESO DE RECUPERACION DIFICIL DE SUPERAR POR OTRAS APROXIMACIONES. NO OBSTANTE, Y CON EL FIN DE MEJORAR LA EFECTIVIDAD, SE REALIZA UN ESTUDIO PROFUNDO DE LA UTILIZACION DE TECNICAS DE PLN PARA LA RI. SE ANALIZAN LOS SISTEMAS DE TI QUE UTILIZAN DIVERSAS TECNICAS DE PLN Y SE DIFERENCIAN DOS APROXIMACIONES: LA BASADA EN LA SINTAXIS Y LA BASADA EN LA SEMANTICA, LOS SISTEMAS QUE SIGUEN ESTA APROXIMACION INTRODUCEN MEJORAS EN LA EFECTIVIDAD DEL PROCESO DE RECUPERACON SUPERIORES A LOS BASADOS EN LA SINTAXIS. LA PROFUNDIDAS DEL ANALISIS REALIZADO POR LOS DIFERENTES SISTEMAS QUE SIGUEN UNA APROXIMACION BASADA EN LA SEMANTICA VARIA DE UNOS OTROS. DOS PROBLEMAS COMUNES A TODOS LOS SISTEMAS BASADOS EN LA SEMANTICA SON SU ESPECIFICIDAD DE DOMINIO Y SU IMPORTANTE ESFUERZO DE DESARROLLO. LA PRINCIPAL APORTACION DE ESTA TESIS CONSISTE EN LA PROPUESTA DE UN NUEVO MODELO DE SISTEMA DE AYUDA PARA LA UTILIZACION DE BCS CENTRADO EN EL PROCESAMIENTO DE LAS DOCUMENTACION EN LENGUAJE NATURAL EXISTENTE EN ESTOS ENTORNOS. EN ESTE MODELO SE INTEGRAN TECNICAS DE PLN EN LA RI, SIGUIENDO UNA APROXIMACION BASADA EN LA SEMANTICA. PARA MATERIALIZAR ESTE MODELO, SE HA DISEÑADO E IMPLEMENTADO EL SISTEMA ARES. EL SISTEMA SE ESPECIALIZA EN LOS PROBLEMAS QUE PLANTEA LA BREVEDAD DE LAS DESCRIPCIONES DE UN NUMERO IMPORTANTE DE COLECCIONES DE COMPONENTES SOFTWARE. ARES PROCESA EL CONJUNTO DE LAS 432 DESCRIPCIONES CORTAS DE LAS ORDENES DE UNIX DE LA SECCION 1 DEL MANUAL DEL SISTEMA OPERATIVO. EL SISTEMA SE HA DISEÑADO DE FORMA QUE SE MEJORE LA EFECTIVIDAD DEL PROCESO DE RECUPERACION, SE DISMINUYA EL ESFFUERZO DE DESARROLLO Y SE FACILITE SU ADAPTACION A OTRAS COLECCIONES DE COMPONENTES SOFTWARE. PARA REDUCIR EL ESFUERZO DE DESARROLLO, EL LEXICO DEL SISTEMA ARES SE HA CONSTRUIDO DE FORMA AUTOMATICA A PARTIR DE LA INFORMACION EXISTENTE EN UNA BASE DE DATOS LEXICA, WORDNET. SE HA DEFINIDO UNA FORMA DE REPRESENTACION SEMANTICA DE LAS DESCRIPCIONES, BASADA EN LOS ROLES DE LAS GRAMATICAS DE CASOS Y LOS SIGNIFICADOS DE LOS TERMINOS ORIGINALMENE DEFINIDOS EN WORDNET. PARA LA IMPLEMENTACION DEL ANALIZADOR-TRADUCTOR, SE HA DESARROLLADO DE FORMA INCREMENTAL UNA GRAMATICA DE UNIFICACION QUE PERMITE PROCESAR CORRECTAMENTE EL 64.8% DE LAS DESCRIPCIONES CORTAS DEL MANUAL. LA GRAMATICA ASI DESARROLLADA SE UTILIZA TAMBIEN PARA EL PROCESAMIENTO DE LAS CONSULTAS DE LOS USUARIOS. EL METODO DE CALCULO DE LA SIMILITUD ENTRE DESCRIPCIONES Y CONSULTAS SE HA DEFINIDO DE FORMA QUE SE CONSIDERA LA ESTRUCTURA SEMANTICA DE LAS EXPRESIONES Y LOS SIGNIFICADOS DE LOS TERMINOS QUE APARECEN EN ELLAS. FINALMENTE, SE HA DESARROLLADO UNA SERIE DE EXPERIMENTOS EN LOS QUE SE OBSERVAN LAS MEJORAS EN LA EFECTIVIDAD CONSEGUIDAS POR EL SISTEMA.

Autor: FERNANDEZ MASIA ENRIQUE.
Año: 1995.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: DERECHO.
Centro de realización: DEPARTAMENTO: CIENCIA JURIDICA PROGRAMA DE DOCTORADO: CIENCIA JURIDICA.

Resumen: EN ESTA TESIS SE INTENTA DELIMITAR CUAL ES EL REGIMEN JURIDICO DE PROTECCION INTERNACIONAL DE LOS PROGRAMAS DE ORDENADOR, Y EN ESPECIAL SE BUSCA DETERMINAR CUAL ES LA LEY APLICABLE A LA PROTECCION DEL SOFWARE PARA ELLO SE HA DIVIDIDO LA TESIS EN DOS PARTES BIEN DIFERENCIADAS. EN LA PRIMERA SE TRATA DE DETERMINAR SI EL SOFWARE ES UN OBJETO SUSCEPTIBLE DE PROTECCION Y QUE TIPOS DE PROTECCION HAN SIDO OFRECIDOS, LLEGANDO A LA CONCLUSION DE QUE LA VIA ACEPTADA ES EL DERECHO DE AUTOR EN LA SEGUNDA, SE VALORA EL FUNCIONAMIENTO DE NUESTRO SISTEMA DE DERECHO INTERNACIONAL PRIVADO, TANTO ESTATAL COMO CONVENCIONAL.

Autor: FRANCH GUTIERREZ XAVIER .
Año: 1995.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LLENGUATGES: SISTEMES INFORMATICS PROGRAMA DE DOCTORADO: SOFTWARE.

Resumen: LA TESIS PRESENTA UNA METODOLOGIA QUE PERMITE LA FORMULACION DE REQUISITOS Y PROPIEDADES NO FUNCIONALES EN LOS SISTEMAS DE SOFTWARE DESARROLLADOS CON LENGUAJES BASADOS EN EL CONCEPTO DE TIPO ABSTRACTO DE DATOS (TAD). USAMOS COMO MARCO DE TRABAJO UN LENGUAJE MULTIPARADIGMA LLAMADO MERLI, QUE COMBINA ECUACIONES PARA ESPECIFICAR LOS TADS Y CODIGO IMPERATIVO PARA IMPLEMENTARLOS; TANTO LAS ESPECIFICACIONES COMO LAS IMPLEMENTACIONES ESTAN ENCAPSULADAS EN MODULOS. LAS PROPIEDADES Y REQUISITOS NO FUNCIONALES SE ESTABLECEN MEDIANTE CONSTRUCTORES AD HOC DEL LENGUAJE QUE APARECEN EN UNOS LUGARES DETERMINADOS; CONCRETAMENTE, EN LAS ESPECIFICACIONES SE DECLARAN LAS PROPIEDADES DE INTERES JUNTO CON LAS CONDICIONES QUE HAN DE CUMPLIR TODAS LAS IMPLEMENTACIONES DE LOS TADS, MIENTRAS QUE ESTAS ULTIMAS ESTABLECEN EL VALOR QUE TOMAN DICHAS PROPIEDADES Y LAS SUPOSICIONES EFECTUADAS SOBRE LOS TAD IMPORTADOS. LAS APORTACIONES MAS RELEVANTES DE LA TESIS SON LAS SIGUIENTES: . SE PROPONE UNA NOTACION COMPLETAMENTE FORMAL (DE LA QUE SE DEFINE SU COMPORTAMIENTO HASTA EL MAXIMO DETALLE -V. CAP. 5-) PARA TRATAR LOS ASPECTOS NO FUNCIONALES DEL SOFTWARE INTEGRADA EN EL SOFTWARE MISMO, LO QUE MEJORA LA LEGIBILIDAD, EL MANTENIMIENTO, LA REUSABILIDAD Y EL TIEMPO DE DESARROLLO DEL SOFWARE. . SE PROPONE UN ALGORITMO CAPAZ DE SELECCIONAR LA MEJOR IMPLEMENTACION DE LOS TADS EN CADA CONTEXTO DE USO, SEGUN LOS REQUISITOS NO FUNCIONALES FORMULADOS EN EL LENGUAJE. EN TERMINOS GENERALES, PODEMOS DECIR QUE EL ALGORITMO SE DIVIDE EN DOS PARTES: LA PRIMERA (V. CAP. 3) ESTUDIA LAS INTERACCIONES DE LOS REQUISITOS FORMULADOS EN DIFERENTES PARTES DE LA IMPLEMENTACION. LA SEGUNDA (V. CAP. 4) EXAMINA UN REQUISITO CONCRETO Y SELECCIONA EL CONJUNTO DE IMPLEMENTACIONES QUE LO CUMPLE. LA EXISTENCIA DE DICHO ALGORITMO MEJORA TAMBIEN EL DESARROLLO INICIAL DEL SOFTWARE, ASI COMO SUMANTENIMIENTO, REUSABILIDAD Y LA FIABILIDAD DEL DISEÑO. . SE PERMITE QUE UN MISMO TAD ESTE IMPLEMENTADO DE VARIAS MANERAS EN DIFERENTES PUNTO DEL PROGRAMA, LO QUE FACILITA LA INTEGRACION Y REUSABILIDAD DEL SOFTWARE, EXPLOTA AL MAXIMO LAS CARACTERISTIAS POSITIVAS DE LAS IMPLEMENTACIONES Y DOTA AL PROGRAMADOR DE UNA FLEXIBILIDAD MAYOR AL CONSTRUIR LAS APLICACIONES. DEBE DESTACARSE QUE LA TESIS, ADEMAS DEL DESARROLLO DE AQUELLOS ASPECTOS ASOCIADOS A DICHAS APORTACIONES, PRESENTA UN CAPITULO INTRODUCTORIO QUE UBICA LA PROPUESTA EN RELACION CON DIVERSAS AREAS DE INTERES; UN CAPITULO DE CONCLUSIONES, QUE INCLUYE UNA COMPARACION CON ALGUNOS TRABAJOS SIMILARES Y EXPONE DETALLADAMENTE LAS APORTACIONES Y POSIBLES LIMITACIONES; REFERENCIAS; Y VARIOS APENDICES QUE DESARROLLAN COMPLETAMENTE ALGUNOS PUNTOS NO FUNDAMENTALES DE LA PROPUESTA.

Autor: MASSEROLI MARCO.
Año: 1995.
Universidad: GRANADA.
Centro de lectura: MEDICINA.
Centro de realización: DEPARTAMENTO: ANATOMIA PATOLOGICA E HISTORIA DE LA CIENCIA PROGRAMA DE DOCTORADO: ANATOMIA PATOLOGICA.

Resumen: EN ESTE TRABAJO DE TESIS DOCTORAL SE HAN DISEÑADO ALGORITMOS AUTOMATICOS ORIGINALES DE ELABORACION Y ANALISIS DIGITAL DE IMAGEN QUE PERMITEN LA EVALUACION TISULAR AUTOMATIZADA, PRECISA, HOMOGENEA Y REPRODUCIBLE, DE LA SUPERFICIE OCUPADA POR EL TEJIDO INTERSTICIAL EN DIFERENTES ORGANOS Y EN PARTICULAR DEL PARENQUIMA RENAL CON EL FIN DE ESTABLECER PARAMETROS MORFOMETRICOS INTERSTICIALES Y GLOMERULARES QUE SIRVAN DE DISCRIMINANTES EN LA VALORACION DE SITUACIONES PATOLOGICAS Y NORMALES DE DISTINTAS ESTRUCTURAS RENALES. PARA ELLO SE HAN PRETENDIDO ALCANZAR LOS SIGUIENTES OBJETIVOS: DESARROLLAR UN PROCEDIMIENTO AUTOMATICO BASADO EN EL ANALISIS DIGITAL DE IMAGENES, UTILIZABLE EN ORDENADORES PERSONALES, CAPAZ DE CUANTIFICAR LA SUPERFICIE DE INTERSTICIO EN GENERAL Y DE LOS COMPONENTES MORFOLOGICOS GLOMERULARES EN ESPECIFICO.-VALIDAR LOS PROCEDIMIENTOS DE ANALISIS AUTOMATICO, ASI COMO SU UTILIDAD PARA VALORAR LA PROGRESION EN EL TIEMPO DE LAS LESIONES Y DISCRIMINAR ENTRE TEJIDOS QUE SE ENCUENTREN EN DIFERENTES CONDICIONES.-EVALUAR LAS APLICACIONES INFORMATICAS DISEÑADAS, SOBRE DIVERSOS MODELOS EXPERIMENTALES EN RATAS, EN DONDE SE CONOCE QUE LA LESION TISULAR CONDUCE A LA PROGRESIVA FIBROSIS INTERSTICIAL, COMO EN LA NEFROTOXICIDAD INDUCIDA POR FARMACO, O A LA MODIFICACION MORFOLOGICA GLOMERULAR, COMO OCURRE EN EL ENVEJECIMIENTO RENAL. LA VALORACION DE LOS RESULTADOS METODOLOGICOS Y DE LOS PARAMETROS MORFOMETRICOS CONSIDERADOS NOS HA PERMITIDO EXTRAER LAS SIGUIENTES CONCLUSIONES: 1. EL PROTOCOLO DISEÑADO DE CAPTACION DE IMAGEN ASISTIDA POR ORDENADOR PERMITE OBTENER UNA TOTAL REPRODUCTIBILIDAD INTRAOBSERVADOR DE LAS CONDICIONES DE CAPTURA. 2. A DIFERENCIA DE LOS METODOS MANUALES INTERACTIVOS, LA UMBRALIZACION AUTOMICA IMPLEMENTADA PERMITE AISLAR DE FORMA OBJETIVA, RAPIDA Y MAS FIABLE LAS AREAS DE FIBROSIS INTERSTICIAL. 3. EL ALGORITMO ELABORADO PARA LA IDENTIFICACION DEL AREA GLOMERULAR Y QUE CONTIENE LOS UNICOS PASOS INTERACTIVOS DE LA APLICACION, PUEDE SER CORRECTAMENTE UTILIZADO, YA QUE NO INTRODUCE VARIABILIDADES INTERPERSONALES ESTADISTICAMENTE SIGNIFICATIVAS. 4.EL ANALISIS ESTADISTICO DE LOS PARAMETROS MORFOMETRICOS RENALES, VALORADOS AUTOMATICAMENTE POR ANALISIS DE IMAGEN, DEMUESTRA QUE EL PROCEDIMIENTO DISEÑADO ASEGURA UNA CUANTIFICACION PRECISA, FIABLE, OBJETIVA Y REPRODUCIBLE DE LA FIBROSIS INTERSTICIAL RENAL Y DE LA MORFOLOGIA GLOMERULAR, EVITANDO LA SUBJETIVIDAD QUE SUPONE LA EVALUACION A TRAVES DE METODOS MANUALES SEMIAUTOMATICOS. 5. EN CUANTO AL ESTUDIO MORFOMETRICO DEL INTERSTICIO Y AUNQUE SE OBTIENEN MULTIPLES INDICES DE VALORACION, EL PARAMETRO DE MAYOR UTILIDAD CLINICOPATOLOGICA HA SIDO EL PORCENTAJE DE FIBROSIS. 6. EL PORCENTAJE DE AREA FLOCULAR SE HA DEMOSTRADO VALIDO PARA DIFERENCIAR ENTRE GLOMERULOS NORMALES, QUISTICOS Y ESCLEROSADOS, PERMITIENDO ESTABLECER EN ESTE ULTIMO CASO UN GRADIENTE LESIONAL. ESTA POSIBILIDAD REPRESENTA POR SI SOLA UN GRAN AVANCE EN LA EVALUACION DE LAS CONDICIONES HISTOPATOLOGICAS DEL GLOMERULO, YA QUE PROPORCIONA UN PARAMETRO CLARO PARA SEGUIR LA EVOLUCION DE LA ESCLEROSIS GLOMERULAR A TRAVES DE BIOPSIAS RENALES SUCESIVAS DEL MISMO SUJETO EXPERIMENTAL O CLINICO. 7. SI BIEN LA VALORACION HISTOLOGICA CUALITATIVA DE LAS LESIONES RENALES INDUCIDAS POR LA CICLOSPORINA A O PRESENTES EN EL ENVEJECIMIENTO RENAL HA SIDO DE UTILIDAD EN LOS MODELOS PLANTEADOS, EL ESTUDIO MEDIANTE ANALISIS DIGITAL DE IMAGENES DE LA PROGRESION DE LA FIBROSIS INTERSTICIAL Y DE LAS MODIFICACIONES MORFOLOGICAS GLOMERULARES HA SUPUESTO UN METODO IDONEO PARA EL SEGUIMIENTO DE LAS MISMAS, COMO DEMUESTRA LA CORRELACION ESTADISTICAMENTE SIGNIFICATIVA EXISTENTE ENTRE LOS PARAMETROS MORFOMETRICOS DEFINIDOS POR ANALISIS DE IMAGEN Y LOS MORFOLOGICOS GLOMERULARES EVALUADOS VISUALMENTE, O LOS DE FUNCION RENAL. 8. EN EL MODELO EXPERIMENTAL DE NEFROTOXICIDAD INDUCIDA POR CICLOSPORINA A, LA CUANTIFICACION AUTOMATICA POR ANALISIS DE IMAGEN HA PERMITIDO ESTABLECER QUE LA LESION INTERSTICIAL INDUCIDA ES SUPERIOR EN LOS ANIMALES DE EXPERIMENTACION TRATADOS CON CICLOSPORINA A Y ES DEPENDIENTE DEL TIEMPO DE ADMINISTRACION DEL FARMACO. 9. DE FORMA GENERAL, LA DISFUNCION RENAL QUE SE OBSERVA EN ESTE ESTUDIO COMO CONSECUENCIA DEL TRATAMIENTO ES DE GRADO LEVE Y CORRESPONDE A UNA INSUFICIENCIA PRERRENAL. ESTE HECHO DEPENDE FUNDAMENTALMENTE DE LA DURACION DEL TRATAMIENTO. EN ESTE SENTIDO, LA CORRELACION ESTADISTICA MAS FUERTE CON LA FUNCION RENAL, MEDIDA POR EL PARAMETRO DE ACLARAMIENTO DE CREATININA HA SIDO EL PORCENTAJE DE FIBROSIS OBTENIDO CON EL PROGRAMA REALIZADO. 10. LA APLICACION INFORMATICA DISEÑADA APLICADA AL MODELO EXPERIMENTAL DE ENVEJECIMIENTO HA HECHO POSIBLE ESTABLECER LAS MODIFICACIONES QUE ACONTECEN A LO LARGO DEL TIEMPO EN EL PARENQUIMA RENAL DE RATA. IGUALMENTE HA DEMOSTRADO SU UTILIDAD EN LA CUANTIFICACION DEL EFECTO DE DIFERENTES FARMACOS. EN ESTE SENTIDO DEMUESTRA QUE EL CAPTOPRIL DISMINUYE LA FIBROSIS INTERSTICIAL DE FORMA ESTADISTICAMENTE SIGNIFICATIVA EN RATAS VIEJAS. 11. TODOS LOS INDICES DEFINIDOS, DIFICILES DE EVALUAR DE FORMA VISUAL CON LAS TECNICAS ANTERIORMENTE DISPONIBLES, CONSTITUYEN UN IMPORTANTE AVANCE EN LA CUANTIFICACION MORFOLOGICA RENAL HACIENDO POSIBLE: - EN EL AMBITO EXPERIMENTAL EL ESTUDIO DETALLADO DE LAS MODIFICACIONES RENALES INDUCIDAS POR DIFERENTES FARMACOS O PATOLOGIAS; - EN EL AMBITO CLINICO DEFINIR CON PARAMETROS EXACTOS LAS CONDICIONES MORFOLOGICAS RENALES DE UN PACIENTE Y SEGUIR SU EVOLUCION TEMPORAL A TRAVES DE LA APLICACION DE TECNICAS BIOPSICAS LIMITADAMENTE INVASIVAS.

Autor: PEREZ CAMPO JAVIER OCTAVIO.
Año: 1995.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LSI PROGRAMA DE DOCTORADO: SOFTWARE.

Resumen: EL TRABAJO PRESENTA EL DESARROLLO DE UN SISTEMA DE COMPROBACION DE TIPOS EN PROGRAMAS INCOMPLETOS QUE VERIFICARA SU CONSISTENCIA, Y AVERIGUARA TODO LO POSIBLE, REFERENTE A LOS TIPOS, DE LOS PUNTOS INCOMPLETOS DE UN PROGRAMA.ESTE TRABAJO SURGE DENTRO DEL PROYECTO ESPRITICARUS, LA PARTICIPACION EN ESTE PROYECTO CULMINA EN UNA IMPLEMENTACION DE ESTE COMPROBADOR, QUE PROPORCIONA UNA EXPERIENCIA IMPORTANTE SOBRE PROBLEMAS QUE PRECISAN RESOLVERSE EN UN DESARROLLO COMPLETO. LA IMPLEMENTACION PERMITE TAMBIEN VALIDAR LA SOLUCION APORTADA Y COMPROBAR SU EFICACIA. LA SOLUCION DESARROLLADA SE BASA EN DOS PILARES: - UN ALGORITMO DE COMPROBACION DE TIPOS QUE PERMITE SOPORTAR LA SOBRECARGA DE FUNCIONES Y EL POLIMORFISMO PARAMETRICO SIMULTANEAMENTE. LA INTRODUCCION DE LOS SUBTIPOS SE REALIZA MEDIANTE UNA EXTENSION DEL ALGORITMO DE UNIFICACION. - EL CONCEPTO DE VARIABLE DE TIPOS MULTIPLE, QUE EXTIENDE EL CONCEPTO DE VARIABLE DE TIPOS, SIENDO LA PRIMERA UNA VARIABLE DE TIPOS UNIFICABLE CONTRA UNA LISTA DE VALORES DE LONGITUD INDETERMINADA. ESTAS VARIABLES, QUE PERMITEN MODELAR LA INCOMPLETITUD, SE ACOMODAN AL ALGORITMO DE UNIFICACION MEDIANTE UNA EXTENSION DE ESTE. ADEMAS PERMITEN UN TRATAMIENTO SIMPLE DEL CONSTRUCTOR DE VALORES DE PRODUCTO CARTESIANO. EL RESULTADO DE LA COMPROBACION ES UNA SERIE DE INFERENCIAS SOBRE PUNTOS INCOMPLETOS DEL PROGRAMA, QUE SE USAN PARA PROGRESAR EN EL DESARROLLO INCREMENTAL DE DICHO PROGRAMA.

Autor: VALERO MORA PEDRO MIGUEL.
Año: 1995.
Universidad: VALENCIA.
Centro de lectura: PSICOLOGIA.
Centro de realización: DEPARTAMENTO: METODOLOGIA, PSICOBIOLOGIA Y PSICOLOGIA SOCIAL PROGRAMA DE DOCTORADO: METODOS INVESTIG. DEL COMPORTAMIENTO: MODELOS E INVESTIG. EXPERIM..

Resumen: ESTA TESIS ENMARCA DENTRO DE LA LINEA DE FORMALIZAR MODELOS DE INTERACCION HOMBRE-COMPUTADOR. EN ELLA SE ABARCAN TRES OBJETIVOS: COMPROBAR QUE TIPO DE NOTACIONES PODRIAN SER MAS APLICABLES EN LA DESCRIPCION DE DISEÑOS CONCRETOS, DETERMINAR NOTACIONES QUE SEAN USABLES EN LA PRACTICA, Y, POR ULTIMO, DETERMINAR SI ES POSIBLE REALIZAR PREDICCIONES EMPIRICAS CON ESTAS NOTACIONES QUE AJUSTEN AL COMPORTAMIENTO DE LOS USUARIOS EN SITUACIONES REALES. LA REVISION DE LA LITERATURA MUESTRA QUE LAS NOTACIONES MAS UTILES EN SITUACIONES APLICADAS SE ENCUENCUENTRAN CENTRADAS EN CUANTO A LA DESCRIPCION DE LA INTERACCION Y NO INTENTAN REALIZAR ANALISIS PROFUNDOS DEL SISTEMA O LA MAQUINA. EN SEGUNDO LUGAR, DE CINCO NOTACIONES PUESTAS A PRUEBA EN ESTE TRABAJO (DENOMINADAS GOMS, TAG, ACTION-TASK, PUM E ICS), SOLO LAS TRES PRIMERAS PUDIERON SER UTILIZADAS PARA REALIZAR DESCRIPCIONES DE LOS OBJETOS DE INTERES. POR ULTIMO, ESTAS TRES NOTACIONES FUERON UTILIZADAS PARA REALIZAR PREDICCIONES DE LO OBJETOS DE INTERES, POR ULTIMO, ESTAS TRES NOTACIONES FUERON UTILIZADAS PARA REALIZAR PREDICCIONES DE UN ESTUDIO EMPIRICO EN LE QUE DOCE SUJETOS APREDIERON A MANEJAR UN INTERFAZ SIMULADO. LOS RESULTADOS DEMOSTRARON LA CAPACIDAD PREDICTIVA DE LA DESCRIPCIONES. POR ULTIMO, ES DE DESTACAR EN ESTE TRABAJO LA APLICACION DEL METODO ESTADISTICO DENOMINADO "POOLED TIME SERIES ANALYISIS" EL CUAL PUEDE CONSIDERARSE COMO INFRAUTILIZADO EN PSICOLOGIA A PESAR DE SU INTERES EN EL ESTUDIO DE DATOS DE SERIES TEMPORALES MULTIPLES.

Autor: YELMO GARCIA JUAN CARLOS.
Año: 1995.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION.
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS TELEMATICOS.

Resumen: ESTA TESIS ABORDA ALGUNOS DE LOS RETOS IMPUESTOS POR EL DESPLIEGUE DE NUEVOS SERVICIOS AVANZADOS DE TELECOMUNICACION DESDE LA PERSPECTIVA DEL MODELO DE REFERENCIA PARA PROCESAMIENTO DISTRIBUIDOS Y ABIERTO (RM-ODP) JUNTO CON UNA SERIE DE ARQUITECTURAS DE REFERENCIA ELABORADAS A PARTIR DE DICHO ENFOQUE, COMO ES EL CASO DE LA ARQUITECTURA PARA REDES DE INFORMACION DE TELECOMUNICACIONES (TINA).EL ENFOQUE SE BASA EN LA APLICACION DE LOS MODELOS DE REFERENCIA MENCIONADOS SOBRE LA PLATAFORMA DE OBJETOS DISTRIBUIDOS CORBA PROPUESTA POR OMG COMO IMPLEMENTACION DEL MODELO DE INGENIERIA DE ODP. LA ADAPTACION DE LOS MODELOS MENCIONADOS NO ES DIRECTA Y EN ESTA TESIS SE ELABORA UNA PROPUESTA PARA SU ADAPTACION. A PARTIR DE LOS PARADIGMAS Y TECNOLOGIAS SOFTWARE IDENTIFICADOS EN LOS CAPITULOS DEDICADOS A LAS TECNOLOGIAS HABILITADORAS Y EL ESTADO DEL ARTE, SE ELABORA UNA PROPUESTA METODOLOGICA QUE COMBINA LOS MODELOS DE REFERENCIA MENCIONADOS EN EL MARCO DE UN MODELO DE CICLO DE VIDA ESPIRAL. ESTE MODELO SE CARACTERIZA POR PROPONER UN ENFOQUE DE DESARROLLO DIRIGIDO POR RIESGOS. EN ESTA TESIS SE PROPONE EL USO DE TECNICAS DE DESCRIPCION FORMAL (FDT) COMO BASE PARA LA FORMALIZACION DEL DISEÑO ARQUITECTONICO, PERMITIENDO ASI LA VALIDACION OPERACIONAL DE LA ARQUITECTURA EN ETAPAS INICIALES Y EL PROTOTIPADO BASADO EN LA ESPECIFICACION FORMAL COMO MECANISMOS DE RESOLUCION DE RIESGOS TECNICOS EN EL DESARROLLO DE ESTE TIPO DE APLICACIONES. LA METODOLOGIA PROPUESTA PONE TAMBIEN DE MANIFIESTO LA NECESIDAD DE CONTAR CON EL SOPORTE DE HERRAMIENTAS ADECUADO. POR TRATARSE DE TECNOLOGIAS HETEROGENEAS EN PERMANENTE EVOLUCION, SE SUGIERE EL USO DE UN MARCO DE INTEGRACION DE HERRAMIENTAS QUE PROPORCIONE FLEXIBILIDAD EN TODOS LOS ASPECTOS RELACIONADOS CON LA INTEGRACION DE HERRAMIENTAS EN DICHO MARCO DE INTEGRACION. EL ENFOQUE DE INTEGRACION DE HERRAMIENTAS QUE SE PROPONE EN ESTE TRABAJO SE BASA EN EL MODELO DE REFERENCIA PARA MARCOS DE INTEGRACION ELABORADO POR LOS ORGANISMOS DE ESTANDARIZACION NIST Y ECMA. DENTRO DE ESTE MARCO, SE PONE ENFASIS ESPECIAL EN LA INTEGRACION DE HERRAMIENTAS DESDE LA PERSPECTIVA DEL PROCESO SOPORTADO. EN ESTE SENTIDO, SE HAN DEFINIDO UN CONJUNTO DE NOTACIONES PARA MODELADO FORMAL DE PROCESOS DE DESARROLLO DESDE DIFERENTES PERSPECTIVAS Y SE LES HA DOTADO DEL CORRESPONDIENTE SOPORTE DE HERRAMIENTAS A PARTIR DE UN ENTORNO DE SOPORTE A LA EJECUCION DE REDES DE PETRI DE ALTO NIVEL TEMPORIZADAS. EL ENTORNO PROPUESTO SE COMPLETA CON UNA PROPUESTA PARA LA ARQUITECTURA Y FUNCIONALIDAD DE UN MARCO DE INTEGRACION BASADO EN LAS NOTACIONES DESARROLLADAS.

Autor: ALIAGA ESTELLES JOSE IGNACIO.
Año: 1994.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA .
Centro de realización: DEPARTAMENTO: SISTEMAS INFORMATICOS Y COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION PARALELA Y DISTRIBUIDA.

Resumen: EL OBJETIVO FUNDAMENTAL DE ESTA TESIS DOCTORAL HA SIDO LA DEFINICION DE LA VERSION POR BLOQUES DEL METODO DE LANCZOS NO SIMETRICO CON AGRUPAMIENTOS, PARA LO CUAL HA SIDO NECESARIO INTRODUCIR UN PROCESO DE GRAM-SCHMIDT PARA LA BIORTOGONALIZACION DE DOS SECUENCIAS DE VECTORES DE RANGO DEFICIENTE. DICHO METODO SE HA UTILIZADO PARA LA RESOLUCION DE MULTIPLES SISTEMAS LINEALES NO SIMETRICOS, LA FACTORIZACION DE MATRICES HANKEL POR BLOQUES, Y EL ESTUDIO DE SISTEMAS DE CONTROL DE MULTIPLE ENTRADA Y MULTIPLE SALIDA. RESPECTO A LOS ASPECTOS DE IMPLEMENTACION, SE HA DISEÑADO UNA METODOLOGIA GENERAL PARA LA DISTRIBUCION DE UNA MATRIZ DISPERSA EN UN MULTICOMPUTADOR COMO EL PARSYS SN1000. TAMBIEN, SE HA ABORDADO LA IMPLEMENTACION ESCALAR Y POR BLOQUES DEL METODO DE LANCZOS PARA MATRICES SIMETRICAS, COMPARANDO DIFERENTES TECNICAS DE REORTOGONALIZACION. LA IMPLEMENTACION DE LA VERSION POR BLOQUES DEL METODO DE LANCZOS NO SIMETRICO CON AGRUPAMIENTOS SE HA REALIZADO SOBRE LA CM5, COMPARANDO LOS DIFERENTES MODELOS DE PROGRAMACION DE ESTE PROCESADOR MASIVAMENTE PARALELO.

Autor: FEITO HIGUERUELA FRANCISCO RAMON.
Año: 1994.
Universidad: GRANADA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: TEMAS AVANZADOS EN MICROELECTRONICA E INFORMATICA.

Resumen: A PARTIR DE LAS FORMALIZACIONES PROPUESTAS POR FIUME (1988) Y TORRES (1992) PARA LA INFORMATICA GRAFICA SE COMPLETA EL ESTUDIO FORMAL DE LOS DIVERSOS SISTEMAS DE MODELADO DE SOLIDOS DENTRO DE UN ALGEBRA DE OBJETOS GRAFICOS. EN PRIMER LUGAR SE DEFINEN LAS OPERACIONES REGULARIZADAS ENTRE OBJETOS GRAFICOS, DEMOSTRANDO QUE CUMPLEN LAS MISMAS PROPIEDADES QUE LAS OPERACIONES SIN REGULARIZAR. SE DEMUESTRA QUE LOS SIMPLICES CONSTITUYEN UN SISTEMA DE GENERADORES EN EL ALGEBRA Y SE OBTIENE, PARA CADA SOLIDO, SU REPRESENTACION CANONICA. SE PRESENTAN NUEVOS ALGORITMOS DE INCLUSION DE PUNTOS EN SOLIDOS, EN 2 Y 3 DIMENSIONES, DEMOSTRANDO SU EFICIENCIA Y ROBUSTEZ. A PARTIR DEL DESARROLLO FORMAL ANTERIOR SE PRESENTA UN NUEVO SISTEMA DE REPRESENTACION DE SOLIDOS, BASADO EN RECUBRIMIENTOS SIMPLICIALES Y SE ESTUDIAN LAS OPERACIONES EN DICHO SISTEMA DE REPRESENTACION, CONCLUYENDO QUE DICHO SISTEMA RESUELVE LA CONVERSION DE B-REP A CSG PARA OBJETOS VARIEDAD Y NO VARIEDAD DEFINIDOS POR CARAS PLANAS.

Autor: GARCIA LOPEZ DE LACALLE JESUS.
Año: 1994.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA PROGRAMA DE DOCTORADO: FUNDAMENTOS MATEMATICOS DE LA COMPUTACION .

Resumen: EN ESTA TESIS SE PRESENTAN DIVERSOS RESULTADOS DENTRO DEL CAMPO DE VISIBILIDAD, DISCIPLINA QUE, A SU VEZ, CONSTITUYE UN AREA IMPORTANTE DE GEOMETRIA COMPUTACIONAL. EN PRIMER LUGAR SE INTRODUCEN LOS GUARDIAS K-CONSECUTIVOS EN POLIGONOS, TANTO PARA VERTICES COMO PARA LADOS. SEGUIDAMENTE SE ESTUDIA EL PROBLEMA DE ILUMINACION DEL ESPACIO EXTERIOR A UNA CONFIGURACION DE POLIGONOS. EN EL MISMO MARCO DE GALERIAS DE ARTE SE ESTUDIA LA VISIBILIDAD DE ALCANCE LIMITADO. EN EL ESTUDIO DE GRAFOS DE VISIBILIDAD SE ANALIZAN PROPIEDADES NECESARIAS DE LOS GRAFOS PLANOS DE VISIBILIDAD. FINALMENTE SE ESTUDIAN PROPIEDADES DE VISIBILIDAD EN POLIGONOS, CALCULANDO VISIBILIDAD ELIPTICA, HIPERBOLICA Y PARABOLICA DESDE UN PUNTO Y VISIBILIDAD DEBIL EN UNA DIRECCION EN POLIEDROS.

Autor: GOMEZ HENRIQUEZ LUIS MANUEL.
Año: 1994.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: ARQUITECTURA Y TECNOLOGIA DE SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES.

Resumen: LA VISUALIZACION DE PROGRAMAS ES EL ARTE DE HACER QUE LOS PROGRAMAS TENGAN OTRO ASPECTO QUE EL DE SU CODIGO FUENTE. DENTRO DE ELLA PODEMOS DISTINGUIR LOS SISTEMAS DE VISUALIZACION DE EJECUCIONES. ESTE TRABAJO NACE DE NUESTRA EXPERIENCIA EN EL DESARROLLO DE DOS SISTEMAS DE VISUALIZACION DE EJECUCIONES CONCURRENTES Y/O PARALELAS. VESTAL MUESTRA EL COMPORTAMIENTO EN TIEMPO DE EJECUCION DE PROGRAMAS CONCURRENTES EN ADA. POR SU PARTE VISANDOR PERMITE VISUALIZAR LA EJECUCION PARALELA DE PROGRAMAS PROLOG. LA JUVENTUD DE ESTA DISCIPLINA HACE QUE NO HAYA APARECIDO HASTA EL PRESENTE NINGUN ESTUDIO SOBRE SUS CARACTERISTICAS GENERALES Y PARTICULAR PROBLEMATICA. ESTE TRABAJO PRETENDE LLENAR EL VACIO. PARA ELLO, REALIZA LAS SIGUIENTES APORTACIONES: I) ESTABLECE EL AMBITO DE ESTA DISCIPLINA; II) DESCRIBE LOS ELEMENTOS QUE INTERVIENEN EN ELLA Y SU FUNCIONALIDAD III) IDENTIFICA LOS PRINCIPALES PROBLEMAS QUE APARECEN EN ELLA; IV) PRESENTA SU USO PRACTICO; V) PROPONE UN MODELO DE CLASIFICACION DE LAS VISUALIZACIONES TANTO DESDE UN PUNTO DE VISTA TEMPORAL COMO EN CUANTO A SU CONTENIDO; VI) PRESENTA POSIBLES SOLUCIONES AL PROBLEMA ESPECIFICO DE LA "ESCALABILIDAD" DE LAS VISUALIZACIONES; Y VII) APLICA ESTE MODELO GENERAL A LOS DOS SISTEMAS DE VISUALIZACION PARTICULARES ANTES REFERIDOS.

Autor: RAMOS ALONSO PEDRO ANTONIO.
Año: 1994.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA PROGRAMA DE DOCTORADO: FUNDAMENTOS MATEMATICOS DE LA COMPUTACION.

Resumen: EN ESTA TESIS SE INTRODUCE EL CONCEPTO DE TOLERANCIA DE UNA ESTRUCTURA O PROPIEDAD, GEOMETRICA O COMBINATORIA, DEFINIDA SOBRE UN CIERTO CONJUNTO S. LA TOLERANCIA ES UNA MEDIDA DE LA ESTABILIDAD DE DICHA ESTRUCTURA O PROPIEDAD BAJO PERTURBACIONES DEL CONJUNTO S. EL CALCULO DE LA TOLERANCIA ES UTIL CUANDO LOS DATOS DE ENTRADA ESTAN SUJETOS A ERRORES O EN EL MANTENIMIENTO DINAMICO DE ESTRUCTURAS ASOCIADAS A OBJETOS EN MOVIMIENTO. EL TRABAJO COMIENZA CON EL CALCULO DE LA TOLERANCIA DE LA TRIANGULACION DE DELAUNAY DE UN CONJUNTO DE PUNTOS; ESTA ESTRUCTURA SE UTILIZA TAMBIEN PARA EJEMPLIFICAR VARIANTES DEL CONCEPTO DE TOLERANCIA, COMO LA TOLERANCIA LOCAL O LA REGION DE ESTABILIDAD. A CONTINUACION SE ESTUDIAN MAS EJEMPLOS DE GRAFOS DE PROXIMIDAD, SIENDO DE PARTICULAR IMPORTANCIA EL ARBOL GENERADOR MINIMO EUCLIDEO DE UN CONJUNTO DE PUNTOS Y EL GRAFO DE TODOS LOS VECINOS MAS CERCANOS. EN TODOS LOS CASOS SE DAN ALGORITMOS QUE PERMITEN EL CALCULO DE LA TOLERANCIA EN EL MISMO TIEMPO ASINTOTICO QUE EL PROPIO GRAFO Y EN LA MAYORIA SE DEMUESTRA QUE SON ASINTOTICAMENTE OPTIMOS. FINALMENTE, SE MUESTRA COMO EL CONCEPTO DE TOLERANCIA SIRVE PARA DEFINIR UNA MEDIDA DE CALIDAD PARA LAS SOLUCIONES DE UN PROBLEMA: LA DE MAYOR TOLERANCIA A PERTURBACIONES.

Autor: VILA GRABULOSA LLUIS.
Año: 1994.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUATGES, SISTEMES INFORMATICS (LSI) PROGRAMA DE DOCTORADO: INTELLIGENCIA ARTIFICIAL (IA).

Resumen: ESTA TESIS EXPLORA LA REPRESENTACION DEL TIEMPO Y EL RAZONAMIENTO AUTOMATICO SOBRE ESTE EN INTELIGENCIA ARTIFICIAL CON UN ENFASIS ESPECIAL EN LOS SISTEMAS BASADOS EN CONOCIMIENTOS.EN CONCRETO PROPONE UNA ONTOLOGIA TEMPORAL Y UNA TEORIA SOBRE EL TIEMPO BASADA EN PUNTOS E INTERVALOS; PRESENTA DOS FORMALISMOS LOGICOS TEMPORALES BASADOS EN LA NOCION DE "TOKEN TEMPORAL"; DESCRIBE DOS APORTACIONES ALGORITMICAS AL MANEJO DE RESTRICCIONES TEMPORALES METRICAS.SE PRESENTA Y DEMUESTRA LAS PROPIEDADES FORMALES DEL CALCULO DE "TOKENS TEMPORALES" QUE INCORPORA RESTRICCIONES METRICAS DENTRO DE UNA LOGICA TEMPORAL. ESTE DESARROLLO TEORICO HA SERVIDO DE BASE A LA IMPLEMENTACION DE LA EXTENSION TEMPORAL DEL "SHELL" MILORD-II. FINALMENTE SE PRESENTA LA GENERALIZACION DE UNA LOGICA TEMPORAL BASADA EN RESTRICCIONES AL CASO DIFUSO.

Autor: ALVAREZ FAURA CARME.
Año: 1993.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LLENGUATGES I SISTEMES INFORMATICS, UPC PROGRAMA DE DOCTORADO: SOFTWARE.

Resumen: LA TESIS ES UN ESTUDIO TEORICO DE LAS CLASES DE PROBLEMAS COMPUTACIONALES RESOLUBLES MUY RAPIDAMENTE MEDIANTE MODELOS PARALELOS DE CALCULO. EN PARTICULAR, SE ESTUDIA LA ESTRUCTURA FINA DE LAS CLASES NC Y AC DEFINIDAS POR PIPPENGER Y COOK. LA PRIMERA PARTE DE LA TESIS ESTUDIA ALGUNOS PROBLEMAS CONCRETOS Y LOS CLASIFICA DE FORMA OPTIMA EN SUBCLASES DE NC; ASI, EL PROBLEMA DE LA PERTENENCIA A LENGUAJES DEFINIDOS POR REDES DE PETRI ES COMPLETO PARA LA CLASE TC, Y EL PROBLEMA DE LA EQUIVALENCIA DE TRAZAS ESTA EN NC2. PARA PODER CLASIFICAR OTRO TIPO DE PROBLEMAS, SE INTRODUCEN DESPUES NUEVAS CLASES DE FUNCIONES ASOCIADAS A PROBLEMAS DE CONTEO PARA MAQUINAS INDETERMINISTAS QUE FUNCIONAN EN ESPACIO LOGARITMICO. EN PARTICULAR, SE ESTUDIAN LAS PROPIDADES DE LAS CLASES L, SPAN-L Y OPT-L, SUS ANALOGIAS CON CLASES DE CONTEO EN TIEMPO POLINOMICO, Y SE IDENTIFICAN ALGUNOS PROBLEMAS COMPLETOS PARA CADA UNA DE ELLAS. LA SEGUNDA PARTE UTILIZA LAS NOCIONES DE REDUCIBILIDAD EN TIEMPO POLILOGARITMICO Y REDUCIBILIDAD ADAPTIVA DEL ESPACIO LOGARITMICO PARA DAR TEOREMAS DE DESCOMPOSICION DE LAS JERARQUIAS AC Y NC. LOS RESULTADOS CIERRAN CASI COMPLETAMENTE PROBLEMAS ABIERTOS POR C. WILSON.

Autor: LEVY DIAZ JORDI.
Año: 1993.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL .

Autor: MAYORDOMO CAMARA ELVIRA.
Año: 1993.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LLENGUATGES I SISTEMES INFORMATICS, UPC PROGRAMA DE DOCTORADO: SOFTWARE.

Resumen: LA TESIS PRESENTA EXTENSIONES Y NUEVAS APLICACIONES DE LA TEORIA DE LA MEDIDA CON RECURSOS ACOTADOS INTRODUCIDA POR JACK LUTZ. ESTA TEORIA REDEFINE CONCEPTOS CLASICOS DE MEDIDA Y CATEGORIA Y LOS REFORMULA DE MANERA QUE PUEDAN APLICARSE A CLASES DE COMPLEJIDAD DE PROBLEMAS COMPUTACIONALES. EN EL CAPITULO 2, SE EXTIENDEN LAS DEFINICIONES DE LUTZ Y SE OBTIENE UNA NOCION VALIDA DE MEDIDA DENTRO DE LA CLASE DE PROBLEMAS RESOLUBLES EN ESPACIO POLINOMICO (LA DEFINICION DE LUTZ SOLO TENIA SENTIDO PARA CLASES EN TIEMPO EXPONENCIAL O MAYORES). CON ESTA DEFINICION, SE DEMUESTRA QUE LOS CONJUNTOS AUTO-REDUCIBLES SON UN CONJUNTO DE MEDIDA O EN ESPACIO POLINOMICO. EN EL CAPITULO 3, SE APLICAN TECNICAS SIMILARES PARA DEMOSTRAR QUE LOS CONJUNTOS BI-INMUNES TIENEN MEDIDA 1 EN TIEMPO EXPONENCIAL, EXTENDIENDO RESULTADOS ANTERIORES PURAMENTE EXISTENCIALES. EN EL CAPITULO 4 SE UTILIZA EL CONCEPTO DE MEDIDA Y ESTOCASTICIDAD DEBIL PARA DEMOSTRAR QUE TODO CONJUNTO "HARD" PARA TIEMPO EXPONENCIAL BAJO UN TIPO ESPECIFICO DE REDUCIBILIDAD ES DENSO; EL RESULTADO OBTENIDO ES EL MAS FUERTE CONOCIDO EN LA ACTUALIDAD. EL CAPITULO 5 ESTUDIA LAS CONSECUENCIAS DE LA HIPOTESIS QUE LA CLASE NP NO TIENE MEDIDA O EN TIEMPO EXPONENCIAL, DERIVANDO NUMEROSAS CONSECUENCIAS ESTRUCTURALES. FINALMENTE, EL CAPITULO 6 RELACIONA NOCIONES COMO LA " -RANDOMNESS" CON LA TEORIA DE LA MEDIDA.