INFORMATICA, 9

Autor: FIDALGO BLANCO ANGEL.
Año: 1994.
Universidad: LAS PALMAS DE GRAN CANARIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y SISTEMAS PROGRAMA DE DOCTORADO: PERCEPCION ARTIFICIAL Y APLICACIONES.

Resumen: DEBIDO A LA INCORPORACION DE TECNICOS DE I.A. AL SISTEMA DE DESARROLLO Y GESTION DE LAS APLICACIONES MULTIMEDIA (MM), EL PROPIO SISTEMA GENERADOR SE PUEDE COMPORTAR DE FORMA INDEPENDIENTE DE SU ENTORNO. ESTE COMPORTAMIENTO INDEPENDIENTE ES DESARROLLADO EN LA TESIS Y SE UTILIZA COMO HERRAMIENTA ESPECIALIZADA PARA DESARROLLAR UN MISMO TIPO DE APLICACIONES MM DE TAL FORMA QUE ESTAS SE ADAPTAN A LA INFORMACION Y NECESIDAD DE CADA DESARROLLADOR. LA PRIMERA HERRAMIENTA DISEÑADA EN LA TESIS SE BASA EN LA INTEGRACION DE UN MODO DE COMPORTAMIENTO, UN INTERFAZ Y UN SISTEMA INTELIGENTE DE DECISION Y GESTION. EL SISTEMA ES AUTO-GENERATIVO. LA SEGUNDA HERRAMIENTA ES UN MODELO AVANZADO DE LA ANTERIOR QUE ES CAPAZ DE CONSTRUIR MODOS DE COMPORTAMIENTO. ES AUTORREGULABLE, ES DECIR, PUEDE CRECER EN MODOS DE COMPORTAMIENTO Y CRITERIO PARA GENERAR NUEVOS MODELOS, LO QUE IMPLICA LA CAPACIDAD DE CRECER CASI INDEFINIDAMENTE HASTA PODER GENERAR CLASE DE APLICACION MM EN TIEMPO REAL. SON ESTOS DESARROLLOS DE AMBAS HERRAMIENTAS LAS DOS PRINCIPALES APORTACIONES ORIGINALES DE ESTA TESIS DOCTORAL. FINALMENTE SE INCLUYE UN ESTUDIO DE REDUCCION DE COSTES DE PRODUCCION PARA LA REALIZACION PRACTICA DE LOS MODELOS Y HERRAMIENTAS EXPLICADOS EN EL TRABAJO.

Autor: GOMEZ SKARMETA ANTONIO F..
Año: 1994.
Universidad: MURCIA.
Centro de lectura: INFORMATICA .
Centro de realización: DEPARTAMENTO: INFORMATICA Y SISTEMAS PROGRAMA DE DOCTORADO: INFORMATICA .

Resumen: EL OBJETIVO DE ESTA MEMORIA SE ENMARCA DENTRO DEL APRENDIZAJE SUPERVISADO PARA EL MODELADO DE SISTEMAS. ESPECIFICAMENTE SU OBJETIVO ES DESARROLLAR TECNICAS PARA LA DESCRIPCION E IDENTIFICACION DE SISTEMAS MEDIANTE EL USO DE TECNICAS DE AGRUPAMIENTO CENTRADAS EN EL ANALISIS CLUSTER DIFUSO, QUE PERMITAN OBTENER UN MODELO DIFUSO A PARTIR DE UNA MUESTRA DE DATOS DE ENTRADA/SALIDA DE UN SISTEMA EN ESTUDIO. TRAS REALIZAR UNA REVISION DE LOS DIFERENTES METODOS Y TECNICAS PARA LA DETERMINACION DE LOS AGRUPAMIENTOS EXISTENTES EN LOS DATOS, COMO DE LAS ALTERNATIVAS EXISTENTES PARA LA GENERACION DE REGLAS DIFUSAS, LA TESIS SE CENTRA EN EL ESTUDIO DEL CLUSTERING JERARQUICO COMO MECANISMO DE PREPROCESAMIENTO DE LA INFORMACION Y EN LOS ENFOQUES POSIBLES DE PLANTEAR PARA GENERAR REGLAS DIFUSAS A PARTIR DE LOS AGRUPAMIENTOS DETECTADOS. EN ESTE SENTIDO SE PROPONEN DIFERENTES TECNICAS PARA OBTENER UN MODELO DIFUSO INICIAL DEL SISTEMA DE ESTUDIO, ASI COMO LAS INTERRELACIONES DE ESTAS TECNICAS ENTRE SI, Y CON OTRAS DE LA LITERATURA.

Autor: MERELO GUERVOS JUAN JULIAN.
Año: 1994.
Universidad: GRANADA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: ELECTRONICA Y TECNOLOGIA DE COMPUTADORES PROGRAMA DE DOCTORADO: NUEVAS PERSPECTIVAS EN MICROELECTRONICA Y TECNOLOGIA DE COMPUTADORES.

Resumen: EN ESTA TESIS SE PRESENTA UN NUEVO ALGORITMO DE CLASIFICACION DENOMINADO G-LVQ. ESTE ALGORITMO CONSISTE BASICAMENTE EN UNA OPTIMIZACION CON POCOS PARAMETROS LIBRES DEL ALGORITMO DE CLASIFICACION SUPERVISADA LVQ DE KOHONEN. LA OPTIMIZACION DE LA RED NEURONAL LVQ SE LLEVA A CABO UTILIZANDO ALGORITMOS GENETICOS, QUE SON POTENTES METODOS DE OPTIMIZACION BASADOS EN LA SELECCION NATURAL Y LA BASE MOLECULAR DE LA MISMA. PARA OPTIMIZAR UNA RED LVQ, SE CODIFICA CADA RED EN UN "CROMOSOMA" Y SE CREA UNA POBLACION DE LOS MISMOS. CADA RED ES EVALUADA EN UNA TAREA DE CLASIFICACION, Y DEPENDIENDO DE SU EXITO EN ESTA TAREA, SE LE ASIGNA UNA PUNTUACION QUE CONSISTE EN LA EXACTITUD EN LA CLASIFICACION, EL TAMAÑO FINAL DE LA RED, Y LA DISTORSION O ERROR ENTRE EL CONJUNTO DE ENTRADA Y LA RED NEURONAL OBTENIDA. LOS "CROMOSOMAS" CORRESPONDIENTES A LAS REDES NEURONALES CON MAS EXITO SE ENTRECRUZARAN Y MUTARAN, DANDO LUGAR A NUEVAS REDES QUE SERAN TAMBIEN EVALUADAS. ADEMAS, SE INTRODUCEN NUEVOS OPERADORES GENETICOS, QUE PERMITEN ALTERAR LA LONGITUD DE LOS CROMOSOMAS. ESTOS OPERADORES AUMENTAN LA LONGITUD DE LA RED NEURONAL SIEMPRE QUE ALGUNA NEURONA GANE DEMASIADAS VECES PARA MUESTRAS DE ENTRADA, Y SE DISMINUYE LA LONGITUD SIEMPRE QUE ALGUNA NEURONA NO GANE NUNCA. EL ALGORITMO G-LVQ ESTA PREPARADO PARA EJECUTARSE EN ARQUITECTURAS DE TIPO HIPERCUBO O REJILLA DE PROCESADORES, YA QUE TODAS LAS OPERACIONES SOBRE GENOMAS Y REDES NEURONALES SE REALIZAN A NIVEL LOCAL. LOS RESULTADOS OBTENIDOS EN TAREAS DE CLASIFICACION MEJORAN SUSTANCIALMENTE A LOS OBTENIDOS CON OTROS ALGORITMOS CLASICOS.

Autor: PARETS LLORCA JOSE .
Año: 1994.
Universidad: GRANADA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: HISTORIA DE LA CIENCIA.

Resumen: DESARROLLO DE UN METODO DE DESARROLLO Y EVOLUCION DE SISTEMAS SOFTWARE BASADO EN LA TEORIA GENERAL DE SISTEMAS. PARTIENDO DE LAS REFLEXIONES EPISTEMOLOGICAS DE LOS AUTORES SISTEMICOS, SE RECONSIDERA EL PAPEL Y LOS OBJETIVOS DE UN METODO DE DESARROLLO DE SOFTWARE SE REALIZA UN ESTUDIO DE LOS PRINCIPALES METODOS DE DESARROLLO Y, FINALMENTE, SE PROPONE UN MARCO EPISTEMOLOGICO Y UN METODO DE DESARROLLO DE SOFTWARE QUE TRATAN DE INCARDINAR LA REPRESENTACION DE SISTEMAS SOFTWARE, LA REPRESENTACION DEL MODELIZADOR Y LA EVOLUCION DEL SOFTWARE. ADEMAS SE PROPONE UN PROTOTIPO Y UNA ARQUITECTURA PARA EL DESARROLLO E IMPLEMENTACION DE UNA HERRAMIENTA AUTOMATICA QUE DE SOPORTE AL METODO. A LO LARGO DEL TRABAJO SE APLICA EL METODO A EJEMPLOS CONCRETOS.

Autor: VARELA LEGARRETA IÑAKI.
Año: 1994.
Universidad: DEUSTO.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: INFORMATICA.

Resumen: UN ARRAY O MATRIZ BIDIMENSIONAL TRADICIONAL ES UNA ESTRUCTURA UTILIZADA PARA EL ALMACENAMIENTO DE INFORMACION HOMOGENEA DISPUESTA EN FORMA TABULAR, QUE GARANTIZA EL ACCESO INMEDIATO A CADA ELEMENTO DE LA MISMA EN BASE A DOS INDICES QUE REFERENCIAN SU POSICION. ESTA ESTRUCTURA PRESENTA LOS PROBLEMAS SIGUIENTES: SU NATURALEZA ESTATICA EXIGE PREFIJAR SU DIMENSIONAMIENTO PREVIAMENTE A LA INCORPORACION DE LOS ELEMENTOS; LA DEFINICION DE LAS SERIES DE INDICES TIENE RESTRICCIONES QUE DERIVAN EN LA INFRAUTILIZACION DEL ESPACIO; SE PRODUCEN ANOMALIAS POR ACCESOS INCORRECTOS CON INDICES FUERA DE SU RANGO; Y EL DESPERDICIO DE ESPACIO EN MEMORIA ORIGINADO, PARA MATRICES CON UN BAJO PORCENTAJE DE OCUPACION, JUNTO CON TIEMPOS DE RESPUESTA ELEVADOS EN PROCESOS DE RECORRIDO. EN ESTE TRABAJO DE INVESTIGACION SE HA DISEÑADO UNA NUEVA ESTRUCTURA: EL ARRAY BIDIMENSIONAL DINAMICO (ABD), QUE ES UN TIPO ABSTRACTO DE DATOS CONSTRUIDO EN BASE A PUNTEROS, LO QUE DETERMINA SU CARACTER VERSATIL. ESTA ESTRUCTURA SUPERA TODOS LOS INCONVENIENTES DEL ARRAY ESTATICO, PERMITIENDO ADEMAS SU REAJUSTE DINAMICO EN TIEMPO DE EJECUCION EN FUNCION DE LAS ACTUALIZACIONES DE SUS COMPONENTES. EL MAYOR RENDIMIENTO SE OBTIENE EN MATRICES POCO DENSAS DEBIDO A LA REDUCCION EN EL ESPACIO DE ALMACENAMIENTO Y EN EL TIEMPO DE EJECUCION DE LOS PROCESOS, AL NO EXISTIR POSICIONES RESERVADAS INUTILIZADAS. EN PRIMER LUGAR, SE HA IMPLEMENTADO EL ABD EN BASE A LISTAS ENLAZADAS ORTOGONALES, CONSTITUYENDO UNA RED DE LISTAS DOBLES CON INSERCION AL FINAL ENTRELAZADAS PARA REPRESENTAR LOS ELEMENTOS Y LISTAS SIMPLES PARA LOS INDICES. EN LAS LISTAS, LA BUSQUEDA DE UN COMPONENTE PRESENTA UN ORDEN O(N), LO QUE SIGNIFICA QUE EL TIEMPO ES PROPORCIONAL AL NUMERO DE ELEMENTOS PROCESADOS. LOS TRATAMIENTOS DE BUSQUEDA INTERVIENEN EN BASTANTES OPERACIONES DE MANEJO DE LA ESTRUCTURA, POR LO QUE PARA MEJORAR SU RENDIMIENTO SE HA DISEÑADO UNA SEGUNDA IMPLEMENTACION DEL ABD UTILIZANDO ARBOLES BINARIOS DE BUSQUEDA EQUILIBRADOS AVL PARA REGISTRAR LOS ELEMENTOS Y LOS INDICES. ESTOS ARBOLES GARANTIZAN LA BUSQUEDA DE UN COMPONENTE EN UN TIEMPO MAXIMO DEL ORDEN O (LOG2N), PERMITIENDO MEJORAR LOS TIEMPOS DE RESPUESTA EN LAS OPERACIONES QUE MANEJAN LA ESTRUCTURA. ESTAS OPERACIONES DE MANIPULACION SE DEFINEN Y DESARROLLAN EN AMBAS IMPLEMENTACIONES.

Autor: ARES CASAL JUAN MANUEL.
Año: 1993.
Universidad: A CORUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION E INTELIGENCIA ARTIFICIAL.

Resumen: LA PRESENTE TESIS PLANTEA UN METODO PARA LA CONCEPTUALIZACION DE LOS SS. BB. CC. TRATA DE CUBRIR UNA LAGUNA EXISTENTE EN LA LITERATURA DE SS. EE., REFERIDA A LAS ACTIVIDADES QUE SE DEBEN REALIZAR PARA LA ESTRUCTURACION DEL CONOCIMIENTO Y PRODUCIR LA CONCEPTUALIZACION. LOS PASOS DE ALTO NIVEL PARA PRODUCIR DICHA CONCEPTUALIZACION SON: ANALISIS DE LOS CONOCIMIENTOS ESTRATEGICO, TACTICO Y OPERATIVO, CREACION DEL DICCIONARIO CONCEPTOS, CREACION DE TABLAS C/A/V, ----- DETERMINAR LA SEGMENTACION, DISEÑAR EL MAPA DEL CONOCIMIENTO, Y ESTABLECER EL MODELO DE PROCESO Y SU REFINAMIENTO; CONSTANDO CADA UNO DE ESTOS PASOS DE ACTIVIDADES. LA TESIS, Y EN ELLO ESTRIBA SU ORIGINALIDAD, ESPECIFICA: CUALES, COMO, Y EN QUE ORDEN SE DEBEN REALIZAR LAS DISTINTAS ACTIVIDADES QUE HAY QUE LLEVAR A CABO PARA REALIZAR UNA CORRECTA CONCEPTUALIZACION.

Autor: CACHAFEIRO CHAMOSA LUIS.
Año: 1993.
Universidad: A CORUÑA .
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION E INTELIGENCIA ARTIFICIAL.

Resumen: SE PRESENTA UN NUEVO ALGORITMO UNIVERSAL DE E-UNIFICACION QUE ES COMPLETO EN TEORIAS GENERALES, UTILIZANDO EL ESQUEMA DE UNIFICACION DE PARES DE SUBSTITUCIONES. ESTE METODO ES UNA GENERALIZACION DE NARROWING PARA CONSERVAR LA COMPLETITUD EN AQUELLAS TEORIAS PARA LAS QUE ESTE NO ES COMPLETO. SE PRUEBA QUE ES TAMBIEN UNA ESPECIALIZACION DE RELAXED NARROWING (DOUGHERTY Y JOHANN) Y SE COMPRUEBA, MEDIANTE UNA IMPLEMENTACION EN CAML, QUE REDUCE UN NUMERO CONSIDERABLE DE SOLUCIONES REDUNDANTES Y DETECTA RAPIDAMENTE LA NO E-UNIFICABILIDAD. SE INTRODUCEN NUEVAS MEJORAS EN EL METODO Y SE MUESTRA FAVORABLE EN LA COMPARACION CON LOS OTROS METODOS GENERALES DE UNIFICACION ECUACIONAL SE INCORPORAN LOS PROGRAMAS EN CAML, LOS RESULTADOS Y OTROS RESULTADOS ORIGINALES EN ESTE CAMPO.

Autor: GAITAN ALCALDE VICENTE.
Año: 1993.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: FISICA PROGRAMA DE DOCTORADO: FISICA.

Resumen: EN ESTE TRABAJO SE HAN ESTUDIADO LAS APLICACIONES DE LAS REDES NEURONALES EN FISICA DE ALTAS ENERGIAS. SE HA DESARROLLADO UN CONJUNTO DE INSTRUMENTOS ESTADISTICOS PARA EL ANALISIS DE DATOS BASADOS EN REDES NEURONALES I SE HA DEMOSTRADO SUS PROPIEDADES DE OPTIMIZACION. CON LA AYUDA DE ESTOS INSTRUMENTOS SE HAN MEDIDO LAS PROBABILIDADES DE DESINTEGRACION DE PARTICULAS TAU EN CADA UNO DE LOS POSIBLES CANALES, ASI COMO SU ASIMETRIA DE POLARIZACION POR SUCESOS QUE PROVIENEN DEL DETECTOR ALEPH EN EL LEP. TRABAJOS ANTERIORES EN RECONOCIMIENTO DE TRAZOS EN DETECTORES HACIENDO SERVIR REDES NEURONALES HAN SIDO AMPLIADOS EN LA DIRECCION DE HACERLOS VIABLES PARA APLICACIONES EN TIEMPOS REALES UTILIZANDO UN CIRCUITO INTEGRADO ESPECIALMENTE DISEÑADO PARA ESTE PROPOSITO.

Autor: GARCIA VAZQUEZ RAFAEL.
Año: 1993.
Universidad: A CORUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION E INTELIGENCIA ARTIFICIAL.

Resumen: EL OBJETO DE LA PRESENTE TESIS PLANTEA UNA APROXIMACION ESTRUCTURADA PARA LA INTRODUCCION DE SS. EE. EN LAS ORGANIZACIONES, QUE PRETENDE CUBRIR UN AREA NO EXCESIVAMENTE TRATADA EN LA LITERATURA EXISTENTE. TIENE COMO OBJETIVOS, ENTRE OTROS: INTRODUCCION DE LA TECNOLOGIA DE SS. EE. EN LA ORGANIZACION POR MEDIO DE LA ALTA DIRECCION; IDENTIFICACION Y SELECCION DE DOMINIOS CANDIDATOS A SS. EE.; CREACION DE CARTERA DE PROYECTOS, ETC. LA APROXIMACION PROPUESTA CONSTA DE DOS FASES: LA PRIMERA, DEFINICION DEL PROYECTO, QUE A SU VEZ CONSTA DE DOS ETAPAS; DEFINICION ORGANIZATIVA Y DEFINICION TECNICA, Y LA SEGUNDA FASE DENOMINADA ESTUDIO DE VIABILIDAD, QUE TAMBIEN CONSTA DE DOS ETAPAS, QUE SON: SELECCION DEL DOMINIO, Y SELECCION DEL ENTORNO DEL DOMINIO.

Autor: LORES VIDAL JESUS.
Año: 1993.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: ESTADISTICA E INVESTIGACION OPERATIVA PROGRAMA DE DOCTORADO: APLICACIONES TECNICAS E INFORMATICAS DE LA ESTADISTICA, LA INVESTIGACION OPERATIVA Y OPTIMIZACION..

Resumen: LA TESIS DOCTORAL DEL PROFESOR JESUS LORES, DESPUES DE LA INTRODUCCION EN LA QUE SE FORMULAN DE MANERA CLARA LOS OBJETIVOS, SE INICIA CON LA DEFINICION DE PROBLEMA COMPLEJO Y EL MODELO CONCEPTUAL QUE GENERALIZA DISTINTOS TIPOS DE PROBLEMAS COMPLEJOS. A CONTINUACION, SE HACE UNA REVISION DEL ESTADO DEL ARTE TANTO EN LO QUE RESPECTA A TECNOLOGIAS INFORMATICAS RELACIONADAS CON EL MODELO CONCEPTUAL, COMO EN LA RESOLUCION DE PROBLEMAS COMPLEJOS EN DISTINTAS AREAS. DESPUES SE PROCEDE A LA DESCRIPCION DE LA SOLUCION PROPUESTA, QUE APORTA LOGROS NOVEDOSOS E INTERESANTES PARA LA RESOLUCION DE PROBLEMAS CIENTIFICOS COMPLEJOS MEDIANTE LA UTILIZACION DE LAS NUEVAS TECNOLOGIAS INFORMATICAS. EN EL SIGUIENTE CAPITULO SE DEMUESTRA LA VIABILIDAD DE LA SOLUCION PROPUESTA MEDIANTE LA CREACION DE DISTINTOS PROTOTIPOS (DOX, FORESEE Y GEOMA) QUE RESUELVEN LA MAYOR PARTE DE LOS PROBLEMAS COMPLEJOS DESCRITOS EN EL CAPITULO DOS. POR ULTIMO, SE PRESENTAN LAS CONCLUSIONES DE LOS TRABAJOS LLEVADOS A CABO.

Autor: SANCHIS ARNAL EMILIO.
Año: 1993.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: SISTEMAS INFORMATICOS Y COMPUTACION PROGRAMA DE DOCTORADO: RECONOCIMIENTO DE FORMAS E INTELIGENCIA ARTIFICIAL.

Resumen: LA UTILIZACION DE MODELOS ESTRUCTURALES-ESTOCASTICOS PARA REPRESENTAR LAS UNIDADES DEL HABLA ES UNA DE LAS APROXIMACIONES QUE MEJORES RESULTADOS ESTA PROPORCIONANDO EN LOS SISTEMAS DE RECONOCIMIENTO AUTOMATICO DEL HABLA. DEBIDO A LA DIFICULTAD DE PROPORCIONAR DEDUCTIVAMENTE LA INFORMACION CORRESPONDIENTE A LAS PROPIEDADES ESTRUCTURALES Y ACUSTICAS DE LAS UNIDADES, LA TENDENCIA ACTUAL ES LA DE UTILIZAR TECNICAS DE APRENDIZAJE INDUCTIVO DE LOS MODELOS. SIN EMBARGO, EN LA MAYORIA DE ESTAS APROXIMACIONES LAS TECNICAS DE APRENDIZAJE INDUCTIVO SE APLICAN EXCLUSIVAMENTE A LA ESTIMACION DE LOS PARAMETROS DE LOS MODELOS, MIENTRAS QUE LA COMPONENTE ESTRUCTURAL SE PROPORCIONA DEDUCTIVAMENTE, A PARTIR DEL CONOCIMIENTO QUE SE TIENE DE LAS CARACTERISTICAS DE LAS UNIDADES. DADA LA IMPORTANCIA QUE TIENE LA ESTRUCTURA DEL MODELO, ES DE GRAN INTERES EL DESARROLLO DE TECNICAS DE APRENDIZAJE QUE LA GENEREN DE FORMA AUTOMATICA, A PARTIR DE MUESTRAS DE ENTRENAMIENTO. EN ESTA LINEA SE ENMARCA EL PRESENTE TRABAJO, CUYO PRINCIPAL OBJETIVO ES LA OBTENCION AUTOMATICA DE MODELOS DE UNIDADES SUBLEXICAS PARA SU UTILIZACION EN SISTEMAS DE RECONOCIMIENTO DEL HABLA CONTINUA. LOS MODELOS UTILIZADOS SERAN GRAMATICAS REGULARES ESTOCASTICAS, CUYA ESTRUCTURA SE OBTIENE MEDIANTE UN ALGORITMO DE INFERENCIA GRAMATICAL BASADO EN EL ANALISIS SINTACTICO CORRECTOR DE ERRORES. CUANDO LAS UNIDADES QUE SE QUIERE MODELIZAR SON UNIDADES SUBLEXICAS APARECEN DIFICULTADES ESPECIFICAS, DERIVADAS PRINCIPALMENTE DEL HECHO DE QUE NO SE ENCUENTRAN AISLADAS EN LAS PRONUNCIACIONES. POR ELLO, UNA PARTE DE ESTE TRABAJO CONSISTE EN LA ADAPTACION DE ESTA METODOLOGIA AL PROBLEMA DE LA MODELIZACION DE UNIDADES SUBLEXICAS. POR OTRA PARTE, CON EL OBJETIVO DE OBTENER UNA MEJOR REPRESENTACION DE LAS CARACTERISTICAS ACUSTICAS SE PROPONE UNA EXTENSION SEMICONTINUA DE LAS GRAMATICAS, ASI COMO UN ALGORITMO DE REESTIMACION DE LOS PARAMETROS DE LOS MODELOS. ASI MISMO, SE ESTUDIA UNA NUEVA VERSION DEL ALGORITMO, ORIENTADA PRINCIPALMENTE A LA OBTENCION DE GRAMATICAS DE SIMILARES CARACTERISTICAS, PERO CON UN MENOR NUMERO DE REGLAS. A PARTIR DE LOS MODELOS OBTENIDOS SE HA DESARROLLADO UN SISTEMA DE DECODIFICACION ACUSTICO FONETICA, Y DOS SISTEMAS DE DECODIFICACION SEMANTICA EN LOS QUE LAS UNIDADES BASICAS SON UNIDADES SUBLEXICAS.

Autor: AGUADO MARTIN FELICIDAD.
Año: 1992.
Universidad: A CORUÑA .
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION E INTELIGENCIA ARTIFICIAL.

Resumen: EN LA MEMORIA SE REALIZA UN DESARROLLO COMPLETO DE LA TEORIA DE CONSTRUCCION DE ALGEBRAS, ESTUDIANDOSE LAS DISTINTAS DUALIZACIONES DENTRO DE LA 2-CATEGORIA DE CATEGORIAS, FUNTORES Y TRANSFORMACIONES NATURALES. SE DETALLAN LAS APLICACIONES EN PROGRAMACION FUNCIONAL Y EN LOGICA DE LA TEORIA DE ALGEBRAS, QUE PERMITEN IMPLEMENTACIONES SIN TENER QUE REFERIRSE A LA ESTRUCTURA INTERNA DE LOS OBJETOS.

Autor: MOYA ANEGON FELIX DE.
Año: 1992.
Universidad: GRANADA .
Centro de lectura: FILOSOFIA Y LETRAS.
Centro de realización: DEPARTAMENTO: BIBLIOTECONOMIA Y DOCUMENTACION.

Resumen: ESTE TRABAJO SE REALIZA CON DOS OBJETIVOS FUNDAMENTALES: A) EL ANALISIS DE LOS DIFERENTES MODELOS DE ESTRUCTURAS DE DATOS UTILIZADOS POR LOS SISTEMAS INTEGRADOS DE GESTION BIBLIOTECARIA (SIGB) DESDE SUS ORIGENES, EVALUANDO LA RELACION EXISTENTE ENTRE DICHAS ESTRUCTURAS Y LAS PRESTACIONES EN TERMINOS DE RECUPERACION DE INFORMACION QUE LOS SIGB DESARROLLAN; B) POR OTRA PARTE, COMO CULMINACION DEL TRABAJO, SE REALIZA UN ESTUDIO DE LAS TECNICAS AVANZADAS DE RECUPERACION DE INFORMACION QUE AUN NO HAN SIDO IMPLEMENTADAS EN LOS SIGB, PARA TERMINAR PROPONIENDO UNA ESTRUCTURA DE DATOS ALTERNATIVA A LAS ANTERIORES Y NOVEDOSA QUE PERMITA LA EJECUCION DE PROCESOS AUTOMATICOS DE RECUPERACION SUPERADORES DE LAS CLASICAS TECNICAS "BOOLEANAS".

Autor: ROMERO RUIZ GERMAN.
Año: 1992.
Universidad: CANTABRIA.
Centro de lectura: MEDICINA .
Centro de realización: DEPARTAMENTO: CIENCIAS MEDICAS Y QUIRURGICAS.

Resumen: SE HA DISEÑADO UN SISTEMA INFORMATICO QUE, HASTA LA FECHA, HA RECOGIDO INFORMACION SOBRE LA SALUD DENTAL DE MAS DE 45000 REVISIONES DENTALES. EL SISTEMA DA SOPORTE A UN CENTRO DE REFERENCIA Y A DOS UNIDADES MOVILES PERMITIENDO TANTO EL TRATAMIENTO DE DATOS INDIVIDUALES COMO LA GENERACION DE INFORMES EPIDEMIOLOGICOS SOBRE LA SALUD DENTAL DE UN COLECTIVO DETERMINADO. HA SIDO COMPROBADA LA RESISTENCIA DEL EQUIPO INSTALADO, LA FLEXIBILIDAD Y POTENCIA DEL SOFTWARE DE DESARROLLO EMPLEADO, EL RENDIMIENTO OPTIMO DEL PROCESO DE ENTRADA DE DATOS ASI COMO LA IDONEIDAD DE LOS INFORMES EPIDEMIOLOGICOS GENERADOS Y DE LA FICHA DENTAL EMITIDA, TRAS CADA REVISION, COMO DOCUMENTO DE SALUD BUCODENTAL DEL SUJETO EXPLORADO. ASIMISMO, EL SISTEMA HA DEMOSTRADO SU CAPACIDAD DE EVITAR EL "ERROR" HUMANO EN SU EMPLEO.

Autor: VAZQUEZ MORCILLO ANDRES.
Año: 1992.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: FORMACION (INICIAL Y PERMANENTE) DEL PROFESORADO. INNOVACION EDUCATIVA.

Resumen: EN LA TESIS SE ESPECIFICAN, DISEÑAN E IMPLEMENTAN DOS METODOLOGIAS DE ENSEÑANZA Y APRENDIZAJE DE LA FISICA MEDIANTE COMPUTADORA. SE VALIDAN, COMPARANDOLAS ENTRE SI, Y CON UNA TERCERA METODOLOGIA SIN EL USO DE COMPUTADORA. PARA ELLO: 1) SE HAN DISEÑADO UNA SERIE DE TEMAS DE FISICA PARA ALUMNOS DE ENSEÑANZA SECUNDARIA IMPLEMENTANDOLOS MEDIANTE DISTINTOS LENGUAJES DE PROGRAMACION, UTILIZANDO PRINCIPALMENTE COMO SOPORTE EL SISTEMA DE AUTOR S.I.E.T.E. (SISTEMA INFORMATIZADO EN ESPAÑOL PARA EL DESARROLLO DE TEMAS DE ENSEÑANZA), DESARROLLADO POR EL DEPARTAMENTO DE INFORMATICA Y AUTOMATICA DE LA UNIVERSIDAD COMPLUTENSE DE MADRID. 2) DICHOS TEMAS SE HAN APLICADO A MUESTRAS DE ALUMNOS REPRESENTATIVAS DE LA POBLACION. 3) POR ULTIMO SE HA VALIDADO EL SOFTWARE CREADO MEDIANTE: A) EL TRATAMIENTO Y ANALISIS ESTADISTICO DE LOS DATOS OBTENIDOS DEL RENDIMIENTO ACADEMICO, EN CADA CASO, MEDIANTE PRUEBAS CUALITATIVAS Y CUANTITATIVAS UTILIZANDO DISTINTOS INSTRUMENTOS: PRUEBAS ESCRITAS, GRABACIONES DE AUDIO, GRABACIONES DE VIDEO, ECOS INFORMATICOS, INFORMES DE OBSERVADORES, ETC. B) SU VALORACION POR PROFESORES EN EJERCICIO. SE HA CONCLUIDO OBTENIENDO UNA VALORACION MUY POSITIVA DEL SOFTWARE, EN PARTICULAR EL BASADO EN LA ENSEÑANZA DE LA FISICA MEDIANTE DESCUBRIMIENTO Y APRENDIZAJE SIGNIFICATIVO.

Autor: PEREZ RETUERTA GERMAN.
Año: 1991.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MEDICINA.
Centro de realización: DEPARTAMENTO: SALUD PUBLICA E HISTORIA DE LA CIENCIA PROGRAMA DE DOCTORADO:.

Resumen: TESIS DE MEDICINA DEL TRABAJO, QUE INVESTIGA DIVERSOS ASPECTOS QUE CONCURREN ANTE EL TRABAJO EN PANTALLAS, ANALIZANDO FACTORES TECNICOS Y HUMANOS QUE INTERVIENEN EN LAS CONDICIONES DE TRABAJO Y EN LA MANIFESTACION DE SINTOMAS EXPRESADOS POR LOS TRABAJADORES. SE ESTRUCTURA EN DOS PARTES. LA PRIMERA ES UNA REVISION CRITICA DEL ESTADO ACTUAL DE LA CUESTION, ANALIZANDO LOS PARAMETROS QUE DETERMINAN LA OBTENCION, RESOLUCION Y CALIDAD DE VISUALIZACION DE LA IMAGEN, TANTO EN PANTALLAS HABITUALES DE OFICINAS, COMO EN PANTALLAS DE IMAGEN MEDICA DIGITAL. SE ANALIZAN IGUALMENTE LAS CONDICIONES HIGIENICO-SANITARIAS DEL AMBIENTE DE TRABAJO, EXAMINANDO ASPECTOS REFERENTES A ILUMINACION, RUIDO AMBIENTAL, AIRE ACONDICIONADO Y EMISIONES ELECTROMAGNETICAS DE LOS MONITORES. EN LOS "FACTORES HUMANOS", SE ANALIZAN LOS PROBLEMAS VISUALES, POSTURALES Y PSICOSOCIALES QUE PUEDEN DARSE EN EL TRABAJO ANTE TERMINALES, ENFOCADOS CON CRITERIOS EPIDEMIOLOGICOS. LA SEGUNDA PARTE CONSTA DE UN ESTUDIO HIGIENICO DONDE HA VALORADO RUIDO AMBIENTAL, EMISIONES DE RADIACION IONIZANTE, VARIABLES TERMOHIGROMETRICAS, DISEÑO ERGONOMICO DE LOS PUESTOS E ILUMINACION AMBIENTAL, ASI COMO LOS RESULTADOS DE LOS RECONOCIMIENTOS DINAMICO-POSTURALES Y ERGOOFTALMOLOGICOS A LOS TRABAJADORES DE LA MUESTRA, CUANTIFICANDO LOS EFECTOS SOBRE LA SALUD OBSERVADOS, MOSTRANDO LA ASOCIACION DE LOS DEFECTOS DE REFRACCION INADVERTIDOS CON LA FATIGA VISUAL EN ESTE TRABAJO.

Autor: ARREGI URIARTE OLATZ.
Año: 1990.
Universidad: PAIS VASCO.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES. PROGRAMA DE DOCTORADO: ARQUITECTURA Y PROCESADORES.

Resumen: LA OPTIMA UTILIZACION DE LA TECNOLOGIA HARDWARE Y SOFTWARE EXIGE UN ANALISIS PROFUNDO DEL COMPORTAMIENTO DE LOS PROGRAMAS QUE SE VAN A EJECUTAR EN EL COMPUTADOR. PARA ELLO ES NECESARIO DISPONER DE UNA HERRAMIENTA DE MEDIDA EFICAZ QUE PERMITA OBTENER MULTIPLES ESTADISTICAS DE LOS LENGUAJES DE ALTO NIVEL (L.A.N). EN ESTE TRABAJO SE PRESENTA UN LENGUAJE DE ESPECIFICACION DE ESTADISTICAS QUE JUNTO A UN SISTEMA DE MEDICION BASADO EN LA INSTRUMENTALIZACION DEL CODIGO FUENTE, CONSTITUYE UNA HERRAMIENTA EFECTIVA A LA VEZ QUE SENCILLA PARA LA OBTENCION DE MEDIDAS SOBRE PROGRAMAS ESCRITOS EN L.A.N. EL SISTEMA PRESENTADO PERMITE ANALIZAR LA ESTRUCTURA DE CONTROL DE PROGRAMAS ESCRITOS EN PASCAL (SENTENCIAS), ASI COMO LAS EXPRESIONES REFERENCIADAS (DATOS Y OPERADORES). ESTE METODO FACILITA EL ESTUDIO DE LOS DIFERENTES RECURSOS UTILIZADOS POR LOS PROGRAMAS. DE ENTRE LOS POSIBLES RECURSOS A EVALUAR SE HA TOMADO COMO EJE DEL ESTUDIO LA UTILIZACION REAL DE LOS REGISTROS PARA EL TRATAMIENTO DE SUBRUTINAS EN LAS ARQUITECTURAS RISC. SE DEBE TENER EN CUENTA QUE UNA DE LAS CARACTERISTICAS DE LOS L.A.N. IMPERATIVOS ES LA FRECUENTE UTILIZACION DE PROCEDIMIENTOS Y FUNCIONES QUE CONSUMEN UNA GRAN PARTE DEL TIEMPO DE EJECUCION DE LOS PROGRAMAS. EL ESTUDIO DE ESTE RECURSO PERMITE DISEÑAR Y GESTIONAR EL BANCO DE REGISTROS OPTIMAMENTE. COMO RESULTADO DE ESTA PARTE DEL ESTUDIO SE PRESENTA UN ALGORITMO OPTIMO DE GESTION DEL BANCO DE REGISTROS QUE MINIMIZA LAS INTERRUPCIONES QUE SE PRODUCEN EN EL TRATAMIENTO DE LAS SUBRUTINAS DEBIDO A LOS OVERFLOWS Y UNDERFLOWS, ADEMAS DE MINIMIZAR EL TRAFICO DE MEMORIA QUE SE GENERA A CONSECUENCIA DE ELLAS.

Autor: GARCIA GARCIA VICTOR GUILLERMO.
Año: 1990.
Universidad: OVIEDO.
Centro de lectura: CIENCIAS .
Centro de realización: DEPARTAMENTO: MATEMATICAS PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.

Resumen: ES UNA APORTACION AL ESTUDIO DE LOS PROTOCOLOS M.A.P./R.T. CON SERVICIO S.D.A. EN MODO SINCRONO Y ASINCRONO. SE HACE UNA ESPECIFICACION EN ESTELLE DE DICHO PROTOCOLO, IMPLEMENTANDO UNA TECNICA DETERMINISTICA DE ACCESO A UN "BUS DE CAMPO" COMO ES 802.4. I.E.E.E. (TOKEN BUS = PASO DE TESTIGO EN BUS).

Autor: MARTI OLIET NARCISO.
Año: 1990.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: INFORMATICA Y MATEMATICA.

Resumen: LA LOGICA LINEAL HA SIDO DESARROLLADA RECIENTEMENTE POR GIRARD COMO UNA LOGICA DE ACCIONES QUE PARECE MUY ADECUADA PARA COMPUTACION CONCURRENTE. EN LA PARTE I ESTUDIAMOS ALGUNAS RELACIONES ENTRE LOGICA LINEAL Y CONCURRENCIA, EN ESPECIAL REDES DE PETRI, DESDE EL PUNTO DE VISTA DE SU SEMANTICA CATEGORICA, BASADA EN LA IDEA DE MESEGUER Y MONTANARI DE VER UNA "RED DE PETRI COMO UN MONOIDE". EL COMPORTAMIENTO DE UNA RED DE PETRI PUEDE DESCRIBIRSE USANDO LA CONECTIVA LINEAL; LOS ESTADOS DE LA RED SE CONVIERTEN EN PROPOSICIONES DE LOGICA LINEAL Y SUS COMPUTACIONES EN DEDUCCIONES. ESTABLECEMOS UNA CORRESPONDENCIA TRIANGULAR QUE IDENTIFICA, POR UN LADO OBJETOS EN UNA CATEGORIA MONOIDAL, ESTADOS DE UNA RED DE PETRI Y PROPOSICIONES EN EL FRAGMENTO DE LA LOGICA LINEAL, Y POR OTRO MORFISMOS EN LA CATEGORIA, COMPUTACIONES EN LA RED Y PRUEBAS EN ESE FRAGMENTO DE LA LOGICA LINEAL. PRESENTAMOS ADEMAS UNA NUEVA AXIOMATIZACION ALGEBRAICA DE MODELOS DE LA LOGICA LINEAL CON NEGACION, BASADA EN EL CONCEPTO DE OBJETO DUALIZANTE. UNA CATEGORIA LINEAL ES UNA CATEGORIA CON UN OBJETO DUALIZANTE Y PRODUCTOS FINITOS. ESTA NUEVA AXIOMATIZACION ES MUCHO MAS SIMPLE QUE UNA PREVIA DEBIDA A SEELY, BASADA EN LA NOCION DE CATEGORIA -AUTONOMA DE BARR. LA ADJUNCION ENTRE TEORIAS LINEALES Y CATEGORIAS LINEALES DEMUESTRA QUE LA LOGICA LINEAL ES UNA LOGICA CATEGORICA. ESTUDIAMOS VARIAS CLASES DE MODELOS DE LOGICA LINEAL DEFINIDAS ECUACIONALMENTE, ASI COMO RELACIONES ENTRE ELLAS, Y REALIZAMOS UNA DETALLADA COMPARACION ENTRE LAS NOCIONES DE CATEGORIA CON UN OBJETO DUALIZANTE Y DE CATEGORIA AUTONOMA. EN LA PARTE II PROPONEMOS UN MARCO EN EL QUE DOS RELACIONES DE SUBTIPO COMO INCLUSION Y DE SUBTIPO COMO CONVERSION IMPLICITA SE DISTINGUEN E INTEGRAN. DESARROLLAMOS UNA SEMANTICA FUNTORIAL PARA EL ALGEBRA CON TIPOS ORDENADOS, BASADA EN CATEGORIAS CON PRODUCTOS Y UNA ESTRUCTURA DE INCLUSIONES, QUE LLAMAMOS PI-CATEGORIAS. PROBAMOS QUE LA CATEGORIA DE ALGEBRAS Y HOMOMORFISMOS PARA UNA TEORIA CON TIPOS ORDENADOS T EN UNA PI-CATEGORIA C ES ISOMORFA A LA CATEGORIA DE PI-FUNTORES DE EN C, DONDE ES LA CATEGORIA CLASIFICANTE DE T. LA CONSTRUCCION DE PROPORCIONA UNA ADJUNCION ENTRE TEORIAS CON TIPOS ORDENADOS Y PI-CATEGORIAS, DE FORMA QUE EL ALGEBRA CON TIPOS ORDENADOS ES TAMBIEN UNA LOGICA CATEGORICA. ESTUDIAMOS UNA EXTENSION A ORDEN SUPERIOR DEL ALGEBRA CON TIPOS ORDENADOS. CATEGORICAMENTE, PASAMOS DE CATEGORIAS CON PRODUCTOS A UNA CLASE DE CATEGORIAS CARTESIANAS CERRADAS, LLAMADAS CCI- CATEGORIAS. PROBAMOS QUE ESTA LOGICA DE ORDEN SUPERIOR ES CONSERVATIVA SOBRE SU EQUIVALENTE DE PRIMER ORDEN, Y QUE ADMITE LA INTRODUCCION DE RETRACTOS. FINALMENTE, DAMOS AXIOMAS QUE INTEGRAN LAS RELACIONES MENOR Y MENOR: EN UNA SEMANTICA CATEGORICA UNIFICADA.

Autor: CABRERO LAHUERTA CARMEN.
Año: 1989.
Universidad: ZARAGOZA.
Centro de lectura: MEDICINA.
Centro de realización: HOSPITAL CLINICO UNIVERSITARIO DE ZARAGOZA. SERVICIO DE NEUROLOGIA.

Resumen: EL OBJETIVO DE LA TESIS ES COMPROBAR LA EFICACIA DE UN PROGRAMA INFORMATICO, BASADO EN QUE LA TOMOGRAFIA COMPUTARIZADA NO SOLO ES UN METODODIAGNOSTICO DE SUMA IMPORTANCIA PARA LA DETECCION DE NEOFORMACIONES, SINO QUE CON EXPERIENCIA SUFICIENTE SE PUEDE HACER TAMBIEN UNA APROXIMACION AL DIAGNOSTICO DEL TUMOR MEDIANTE EL ESTUDIO DE SUS FORMAS TOMOGRAFICAS. DICHO PROGRAMA, ELABORADO EN COLABORACION CON EL DR. IGLESIAS, PRIVAR-DOZENT EN LA UNIVERSIDAD DE BERLIN, SE DESARROLLO A PARTIR DE UN PROTOCOLO BASADO EN DIFERENTES APARTADOS Y QUE COMPARA LOS DIAGNOSTICOS PROPORCIONADOS POR TAL PROCESO INFORMATICO CON LOS HISTOPATOLOGICOS OBTENIDOS DE CADA TUMOR INTERVENIDO CON POSTERIORIDAD AL DIAGNOSTICO DETERMINADO POR LA TOMOGRAFIA COMPUTARIZADA CEREBRAL. DICHO PROTOCOLO SE UTILIZO EN 151 TOMOGRAFIAS DE TUMORES INTRACRANEALES, OBTENIDAS DESDE EL AÑO 197. AL AÑO 1987, AMBOS INCLUSIVE. EL UTILIZAR UNA COMPUTADORA, COMO AYUDA PARA REALIZAR DIAGNOSTICOS PREOPERATORIOS, SE HA REALIZADO USANDO UN ANALISIS DISCRIMINATIVO BASADO EN EL "TEOREMA DE BAYES" QUE ES UNO DE LOS INSTRUMENTOS ESTADISTICOS MAS IMPORTANTES PARA RECONOCIMIENTO DE GRUPOS. INTRODUJIMOS TODOS LOS DATOS EN LA COMPUTADORA, COMPARAMOS LOS DIAGNOSTICOS FACILITADOS POR LA MISMA, CON LOS CONFIRMADOS POR EL HISTOPATOLOGO OBTENIENDO UN DIAGNOSTICO DE CERTEZA DEL 81,46%, DATO MUY CERCANO AL OBTENIDO POR ELDR. IGLESIAS CON EL 9I,77%. EL MAYOR INDICE DE CASOS CORRECTOS SE HA PRESENTADO EN EL OLIGODENDROGLIOMA Y A. HIPOFISIS CON EL 100%, SEGUIDO DE GLIOBLASTOMA CON EL 94,43%, ASTROCITOMA ANAPLASICO CON EL 88,88%, MENINGIOMA CON EL 75,5% EL MAYOR INDICE DE CASOS INCORRECTOS SE HA PRESENTADO EN LA METASTASIS.