INFORMATICA, 8

Autor: ALMEIDA RODRIGUEZ FRANCISCO.
Año: 1996.
Universidad: LA LAGUNA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: ESTADISTICA; INVESTIGACION OPERATIVA Y COMPUTACION PROGRAMA DE DOCTORADO: ESTADISTICA E INVESTIGACION OPERATIVA.

Resumen: EN ESTE TRABAJO SE INTRODUCEN MODELOS FORMALES BASADOS EN LA TEORIA DE AUTOMATAS PARA LA PROGRAMACION DINAMICA PARALELA, TANTO PARA LOS CASOS MONADICO Y MULTIETAPA COMO PARA LAS FORMULACIONES QUE DAN LUGAR A PROBLEMAS POLIADICOS Y CON GRAFO DE DEPENDENCIAS ACICLICO. DE ESTOS MODELOS FORMALES SE DERIVAN UN CONJUNTO DE ESQUEMAS ALGORITMICOS PARA TOPOLOGIAS SIMPLES: SEGMENTOS Y ANILLOS DE PROCESADORES. SE RESUELVE ADEMAS EL PROBLEMA DE INTRODUCIR FUNCIONES DE RAMIFICACION Y ACOTACION DENTRO DE LA ESTRUCTURA DE SEGMENTACION PARALELA DERIVADA PARA LA PROGRAMACION DINAMICA. SE PRUEBAN TEOREMAS DE OPTIMALIDAD PARA LAS CLASES DE AUTOMATAS INTRODUCIDAS. TODOS LOS ESQUEMAS ALGORITMICOS PROPUESTOS SE APLICAN A PROBLEMAS EJEMPLO SOBRE LOS QUE SE PRESENTAN RESULTADOS Y SE DISCUTE LA EFICIENCIA.

Autor: BARRADO MUXI CRISTINA.
Año: 1996.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: ARQUITECTURA DE COMPUTADORS PROGRAMA DE DOCTORADO: ARQUITECTURA TECNOLOGICA DE COMPUTADORS.

Resumen: LA EJECUCION EFICIENTE DE LOS PROGRAMAS ES EL OBJETIVO DE LA FASE DE OPTIMIZACION DE UN COMPILADOR.EN PARTICULAR, PARA PODER OPTIMIZAR EL USO DE LOS MULTIPLES ELEMENTOS DE CALCULO DE LOS COMPUTADORES ACTUALES, EL COMPILADOR PUEDE REALIZAR UNA FASE DE PARALELIZACION DE FORMA INVISIBLE AL PROGRAMADOR O BIEN CON SU AYUDA. DEPENDIENDO DEL NIVEL DEL PARALELISMO DE LA APLICACION Y DE LA ARQUITECTURA DESTINO LA FORMA DE PARALELIZACION OPTIMA VARIA. EN ESTE TRABAJO NOS CENTRAMOS EN PARALELISMO DE MEDIO Y BAJO NIVEL (PARALELIZACION DE BUCLES A NIVEL DE INSTRUCCION) EXTRAIDO DE FORMA AUTOMATICA POR EL COMPILADOR. PARA ELLO SE TOMA COMO BASE LA TECNICA DE PARALELIZACION DE BUCLES GRAPH TRAVERSE SCHEDULING (GTS) (AYGU89). DICHA TECNICA PERMITE GENERAR CODIGO PARALELO A PARTIR DE UNA RECURRENCIA HAMILTONIANA DEL GRAFO DE DEPENDENCIAS DE UN BUCLE. LAS APORTACIONES DE LAS QUE CONSTA EL TRABAJO SON DE DOS TIPOS: EN PRIMER LUGAR DE METODOLOGIA Y EN SEGUNDO LUGAR DE REALIZACIONES CONCRETAS DE LA MISMA PARA DIVERSAS ARQUITECTURAS. LA METODOLOGIA PROPUESTA DIVIDE LA PARALELIZACION DE BUCLES EN DOS FASES. UNA PRIMERA FASE, LA FASE DE SCHDULING, TOMA UNA DEFINICION DE ARQUITECTURA Y UN GRAFO DE DEPENDENCIAS Y GENERA UN SCHEDULING INTENTANDO MAXIMIZAR EL PARALELISMO EXTRAIDO. EN ESTA FASE SE RESUELVE EL PROBLEMA NP-COMPLETO DE GENERACION DEL SCHEDULING CON LIMITACION DE RECURSOS APLICANDO ALGORITMOS HEURISTICOS. A DIFERENCIA DE OTROS METODOS, EL SCHDULING GENERADO SE REPRESENTA CON ARCOS EN EL PROPIO GRAFO DE DEPENDENCIAS, ARCOS QUE DENOMINAMOS DE SCHEDULING. ESTOS ARCOS MODELAN LAS RESTRICCIONES IMPUESTAS POR EL ALGORITMO DE SCHEDULING DE FORMA SIMILAR A COMO LOS ARCOS ORIGINALES REPRESENTAN RESTRICCIONES IMPUESTAS POR LA SEMANTICA DEL PROGRAMA. UNA SEGUNDA FASE TOMA EL GRAFO DE DEPENDENCIAS EXTENDIDO CON LOS ARCOS DE SCHEDULING Y GENERA EL CODIGO PARALELO DE FORMA AUTOMATICA Y CON COSTE LINEAL. AMBAS FASES SON DEPENDIENTES DE LA ARQUITECTURA: EN LA PRIMERA FASE LAS CARACTERISTICAS DE LA ARQUITECTURA INTRODUCEN UN CONJUNTO DE CONDICIONES QUE SE DEBEN CUMPLIR AL INTRODUCIR LOS ARCOS DE SCHEDULING; EN LA SEGUNDA FASE LAS CARACTERISTICAS QUEDAN PLASMADAS EN LA FORMA DEL CODIGO PARALELO RESULTANTE. LAS DOS FASES DE LA METODOLOGIA SE HAN IMPLEMENTADO PARA TRES ARQUITECTURAS: PRIMERO PARA EL MULTIPROCESADOR ALLIANT FX; SEGUNDO PARA APLICAR SOFTWARE PIPELINING A BUCLES SOBRE ARQUITECTURAS VLIW SENCILLAS; Y POR ULTIMO, SE HA EXTENDIDO PARA ARQUITECTURAS VLIW MAS COMPLEJAS Y REALISTAS. PARA CADA UNA DE LAS TRES ARQUITECTURAS SE PRESENTAN LOS ALGORITMOS DE LAS DOS FASES DE LA METODOLOGIA. TAMBIEN SE PRESENTAN LOS RESULTADOS DE SU APLICACION Y SE COMPARAN CON LOS OBTENIDOS POR OTRAS TECNICAS PARA CONJUNTOS AMPLIOS DE GRAFOS DE DEPENDENCIAS OBTENIDOS DE BUCLES MAS INTERNOS DE APLICACIONES FORTRAN. LOS RESULTADOS DEMUESTRAN QUE TANTO LA METODOLOGIA COMO LOS ALGORITMOS HEURISTICOS APLICADOS SON CASI SIEMPRE MEJORES QUE LAS TECNICAS A LAS QUE SE COMPARA, ES DECIR, OBTIENEN MAS PARALELISMO DE LOS BUCLES Y, EN GENERAL, A MENOR COSTE.

Autor: FARIÑA FIGUEREDO FEDERICO.
Año: 1996.
Universidad: PUBLICA DE NAVARRA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: MATEMATICA E INFORMATICA PROGRAMA DE DOCTORADO: MATEMATICA E INFORMATICA.

Resumen: UNO DE LOS PROBLEMAS QUE FRENA EL DESARROLLO DE LOS SISTEMAS DISTRIBUIDOS ES LA POSIBILIDAD DE APARICION DE INTERBLOQUEOS; ESTANDO EN EL QUE EXISTE UN CONJUNTO DE PROCESOS QUE NO PUEDEN CONTINUAR CON SU EJECUCION PORQUE SE ENCUENTRAN A LA ESPERA DE RECURSOS CONCEDIDOS A OTROS PROCESOS DEL MISMO CONJUNTO. EN ESTE TRABAJO SE PRESENTA UN ALOGARITMO QUE RESUELVE DICHO PROBLEMA EN SISTEMAS CON MODELO AND DE PETICION DE RECURSOS (UN PROCESO SOLICITA UN CONJUNTO DE RECURSOS Y PERMANECE BLOQUEADO HASTA QUE LE SON ASIGNADOS TODOS ELLOS). RECIENTEMENTE SE HA POSTULADO LA IMPOSIBILIDAD DE RESOLVER EL PROBLEMA DEL INTERBLOQUEO AND DE MANERA SEGURA (SIN RESOLVER FALSOS INTERBLOQUEOS). EL ALOGARITMO QUE SE DEMUESTRA EN ESTA TESIS DEMUESTRA QUE SI ES POSIBLE CONSEGUIR ALOGARITMOS SEGUROS (Y QUE ADEMAS PROGRESEN) EN EL MODELO AND, EL ALOGARITMO PRESENTADO HA SIDO DEMOSTRADO FORMALMENTE EMPLEANDO EL MODELO FORMASL DE AUTOMATAS DE ENTRADA/SALIDA PALABRAS CLAVE: INTERBLOQUEO; BLOQUEO MUTUO; ABRAZO MORTAL; DETECCION/RESOLUCION DE INTERBLOQUEOS; MODELO AND; AUTOMATAS DE ENTRADA/SALIDA.

Autor: FERNANDEZ RODRIGUEZ JOSE JESUS .
Año: 1996.
Universidad: GRANADA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: ELECTRONICA Y TECNOLOGIA DE COMPUTADORES PROGRAMA DE DOCTORADO: NUEVAS PERSPECTIVAS EN MICROELECTRONICA Y TECNOLOGIA DE COMPUTADORES.

Resumen: LA MICROSCOPIA ELECTRONICA POSEE UN GRAN POTENCIAL COMO HERRAMIENTA EN EL ESTUDIO DE PROBLEMAS ESTRUCTURALES QUE SON RELEVANTES PARA LA BIOLOGIA, BIOTECNOLOGIA, MEDICINA Y OTROS CAMPOS AFINES. LA MICROSCOPIA ELECTRONICA EN CONJUNCION CON TECNICAS DE PROCESAMIENTO DE IMAGEN PERMITE OBTENER Y ANALIZAR ESTRUCTURAS BIOLOGICAS A ALTA RESOLUCION, LLEGANDO INCLUSO A RESOLUCION ATOMICA. LA IMPORTANCIA DE ESTOS METODOS EN EL ANALISIS DE MACROMOLECULAS BIOLOGICAS EN EL CAMPO DE LA BIOLOGIA ESTRUCTURAL ES EVIDENTE. ESTA TESIS PRESENTA UNA REVISION DE LA METODOLOGIA CLASICA EMPLEADA EN EL ANALISIS DE LAS IMAGENES OBTENIDAS EN MICROSCOPIA ELECTRONICA, ASI COMO PARA LA RECONSTRUCCION TRIDIMENSIONAL DE LOS ESPECIMENES BIOLOGICOS A PARTIR DE DICHAS IMAGENES. DENTRO DE ESA REVISION, SE EXPLICAN DETALLADAMENTE LOS ULTIMOS AVANCES QUE HAN TENIDO LUGAR EN EL CAMPO Y QUE, CON EL TIEMPO SE ESTAN CONVIRTIENDO EN METODOS ESTANDAR DEL PROCESAMIENTO. UNA VEZ FINALIZADA LA REVISION, SE PRESENTARAN LOS NUEVOS DESARROLLOS QUE CONSTITUYEN LA APORTACION PRINCIPAL DE LA PRESENTE TESIS DOCTORAL. ESTOS TIENE COMO OBJETIVO EL ANALISIS DE LA VARIABILIDAD ESTRUCTURAL DE LOS ESPECIMENES BIOLOGICOS QUE APARECEN EN LAS IMAGENES, ASI COMO LA DETECCION PRECISA DE LA FUNCION DE TRANSFERENCIA DEL MICROSCOPIO ELECTRONICO. SE MUESTRA COMO AMBAS METODOLOGIAS PERMITEN OBTENER UNA MEJOR RECONSTRUCCION TRIDIMENSIONAL DE LAS ESTRUCTURAS EN ESTUDIO. FINALMENTE, SE PRESENTAN LOS RESULTADOS OBTENIDOS TRAS APLICAR LOS METODOS (LOS CLASICOS, LOS ULTIMOS AVANCES, Y NUESTROS DESARROLLOS) A DOS CONECTORES VIRALES, LOS DE LOS BACTERIOFAGOS 029 Y T3. SE HAN LLEGADO A OBTENER MAPAS DE PROYECCION DE HASTA 9 ANGSTROM DE RESOLUCION, ASI COMO LAS ESTRUCTURAS TRIDIMENSIONALES A UNOS 15 ANGSTROM. EL TRABAJO QUE SE PRESENTA EN ESTA TESIS SE ENCUADRA EN UN MARCO MULTIDISCIPLINAR, EN EL SENTIDO DE QUE UN GRAN NUMERO DE HERRAMIENTAS Y METODOLOGIAS PROCEDENTES DE CAMPOS TAN DISTINTOS COMO PUEDEN SER LA BIOQUIMICA Y LA GENETICA, EL PROCESAMIENTO DE IMAGEN, LA COMPUTACION NEURONAL, EL PROCESAMIENTO DE SEÑAL Y LA TOMOGRAFIA, SON EMPLEADOS PARA SOLVENTAR LOS DIFERENTES PROBLEMAS QUE SURGEN EN EL ANALISIS ESTRUCTURAL DE MACROMOLECULAS BIOLOGICAS.

Autor: FLORES SINTAS ANTONIO.
Año: 1996.
Universidad: MURCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: DE INFORMATICA Y SISTEMAS PROGRAMA DE DOCTORADO: SISTEMAS INTELIGENTES.

Resumen: EL AGRUPAMIENTO NO SUPERVISADO DE MUESTRAS ES UNA TAREA DE INVESTIGACION AL QUE SE ESTAN DEDICANDO GRANDES ESFUERZOS INTERNACIONALES. LOS RESULTADOS SE APLICAN TANTO A PROYECTOS PURAMENTE TECNICOS (RECONOCIMIENTO DE VOZ, IMAGENES, ETC) COMO COMERCIALES (SEGMENTACION DE CLIENTES, CLASIFICACION DE UNIDADES DE GESTION, ETC). LOS METODOS PARTICIONALES DIFUSOS PRESENTAN VARIOS PROBLEMAS IDENTIFICADOS EN LA MEMORIA, DE LOS QUE PODEMOS DESTACAR: INCOHERENCIA EN LA DEFINICION DEL GRADO DE PERTENENCIA, CONTRADICCIONES EN LA UTILIZACION DE METRICAS (DESTACANDO LAS CONTRADICCIONES EN EL USO DE LA DISTANCIA EUCLIDEA) Y UTILIZACION DE FUNCIONES OBJETIVO HEURISTICAS QUE NO SIEMPRE CUBREN LOS OBJETIVOS PARA LAS QUE ESTAN DEFINIDAS. EN LA MEMORIA SE PRESENTA UN ESTUDIO DE LAS PROPIEDADES LOCALES GEOMETRICAS DE UNA MUESTRA DE DONDE SE DEDUCEN LAS FUNCIONES OBJETIVO A UTILIZAR, SE ELIMINAN LAS CONTRADICCIONES EN EL USO DE LAS METRICAS MAS COMUNES, Y SE DIFERENCIAN LOS CONCEPTOS DE GRADO Y PROBABILIDAD DE PERTENENCIA. ADEMAS SE INTRODUCEN ESTOS CONCEPTOS EN UNA NUEVA DEFINICION DE PARTICION NO DIFUSA (HARD). COMO RESULTADOS CONCRETOS DESTACAMOS LA FORMALIZACION DE UN NUEVO ALGORITMO DE CLASIFICACION DENOMINADO FUZZY MINIMALS Y LA MODIFICACION DEL ALGORITMO CONOCIDO COMO FUZZY C-MEANS, LA DEFINICION DE LA MEDIDA DE LA VALIDEZ DE LA PARTICION DIFUSA Y DE LA PARTICION HARD, ASI COMO LA DEFINICION DE UNA RELACION DIFUSA ENTRE GRUPOS DE LA PARTICION HARD QUE PERMITE LA OBTENCION DE LA PARTICION IDONEA. LOS RESULTADOS DEL ESTUDIO SE APLICAN TANTO A MUESTRAS INTERNACIONALMENTE RECONOCIDAS COMO IDONEAS PARA TESTEAR ALGORITMOS DE CLASIFICACION COMO MUESTRAS TOMADAS DEL ENTORNO SOCIAL Y ECONOMICO.

Autor: GOROZIKA BIDAURRAZAGA JOKIN.
Año: 1996.
Universidad: PAIS VASCO.
Centro de lectura: INGENIEROS INDUSTRIALES .
Centro de realización: DEPARTAMENTO: EXPRESION GRAFICA Y PROYECTOS DE INGENIERIA PROGRAMA DE DOCTORADO: GRAFICOS DE INGENIERIA.

Resumen: ACTUALMENTE, LA IMAGEN ES EL MEDIO MAS IMPORTANTE DE TRANSMISION DE INFORMACION. UNO DE LOS SOPORTES UTILIZADOS PARA DICHA TRANSMISION ES EL INFORMATICO. EL ORDENADOR SE HA CONVERTIDO EN UNA HERRAMIENTA IMPRESCINDIBLE PARA LA REALIZACION DE DIAGRAMAS Y, CLARAMENTE, SON MAYORES LAS VENTAJAS QUE LOS INCONVENIENTES QUE PRESENTA SU APRENDIZAJE Y UTILIZACION. SON VARIDOS LOS PROGRAMAS, MAS O MENOS ESPECIALIZADOS, AL USUARIO REPRESENTAR GRAFICAMENTE UNA INFORMACION. DICHOS PROGRAMAS EN NINGUN MOMENTO ANALIZAN LA INFORMACION Y EL USUARIO SE LIMITA A DESPLEGAR LA CORRESPONDIENTE PERSIANA Y A ESCOGER UN TIPO DE DIAGRAMA DETERMINADO, MAS O MENOS IDONEO, PARA REFLEJAR LA INFORMACION A TRANSMITIR. FUERA DE ESOS PROGRAMAS, EL USUARIO DEBE RECURRIR A LOS PROGRAMAS DE DISEÑO PARA REALIZAR LOS GRAFICOS Y DIAGRAMAS. EN EL PRESENTE TRABAJO, SE PROPONE UN PROGRAMA INFORMATICO QUE DIRIGE AL USUARIO EN LA ELECCION DEL GRAFICO APROPIADO. EL PROGRAMA SE BASA EN UNA SISTEMATIZACION DE LA INFORMACION PARTIENDO DEL ANALISIS DEL NUMERO Y CARACTERISTICAS DE LAS COMPONENTES QUE CONTENGA. EL MENU DE AYUDA ASESORA AL USUARIO EN DICHO ANALISIS Y, EN FUNCION DE ELLO, EN LA ELECCION DEL TIPO DE GRAFICO ADECUADO. UNA VEZ DE QUE EL USUARIO SEPA CUAL ES EL TIPO DE GRAFICO MAS APROPIADO PARA TRASMITIR LA INFORMACION, SERA EL MISMO QUIEN DECIDA EL PROGRAMA INFORMATICO A UTILIZAR PARA SU REALIZACION.

Autor: LLORET GAZO JORGE.
Año: 1996.
Universidad: ZARAGOZA.
Centro de lectura: CENTRO POLITECNICO SUPERIOR.
Centro de realización: DEPARTAMENTO: INFORMATICA E INGENIERIA DE SISTEMAS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS E INFORMATICA.

Resumen: UNO DE LOS MODELOS MAS AMPLIAMENTE USADOS EN LA FASE DE DISEÑO CONCEPTUAL DE UNA BASE DE DATOS ES EL MODELO ENTIDAD/ASOCIACION DE CHEN. A ESTE MODELO SE LE HAN RECONOCIDO UNA SERIE DE VENTAJAS COMO QUE ES SIMPLE Y FACIL DE ENTENDER Y QUE CUENTA CON UNA TECNICA GRAFICA ASOCIADA. SIN EMBARGO, EL MODELO DE CHEN HA SIDO CRITICADO POR SU FALTA DE FORMALIZACION Y POR SU ESCASA POTENCIA EXPRESIVA. EN ESTA MEMORIA PRESENTAMOS UN NUEVO MODELO, LLAMADO EAN, CON EL QUE INTENTAMOS RESPONDER A LAS CRITICAS QUE ACABAMOS DE MENCIONAR. RESPECTO A LA FALTA DE FORMALIZACION, LAS NOCIONES DEL MODELO EAN ESTAN FORMALIZADAS DE MANERA HOMOGENEA Y CONSISTENTE USANDO PARA ELLO UN MARCO COMUN QUE SE ALCANZA MEDIANTE LA DEFINICION DE LA NOCION DE CONCEPTO. LAS PARTES QUE SE DISTINGUEN EN UN CONCEPTO (NOMINACION, DESCRIPCION, LO REPRESENTADO) FACILITAN EL PROCESO DE MODELIZACION DE UN DETERMINADO UNIVERSO DEL DISCURSO. LA POTENCIA EXPRESIVA DEL MODELO EAN SE VE REFORZADA RESPECTO A OTROS MODELOS DEL TIPO ENTIDAD/ASOCIACION MEDIANTE LAS ENTIDADES ESPECIALIZADAS, ASOCIACIONES ABIERTAS, CONSTRUCTORES Y RESTRICCIONES. LAS ENTIDADES ESPECIALIZADAS Y ASOCIACIONES ABIERTAS CONSTITUYEN UNA CONTRIBUCION DEL MODELO EAN QUE PERMITE REPRESENTAR DE FORMA SENCILLA SITUACIONES DEL UNIVERSO DEL DISCURSO CUYA MODELIZACION RESULTA MENOS COMPRENSIBLE SI SE REALIZA CON ENTIDADES O ASOCIACIONES CERRADAS (QUE SON LAS ASOCIACIONES TIPICAS DEL MODELO ENTIDAD/ASOCIACION). POR OTRO LADO, LOS CONSTRUCTORES DEL MODELO EAN SON LA BASE PARA DEFINIR NUEVAS ENTIDADES ESPECIALIZADAS O ASOCIACIONES A PARTIR DE OTRAS YA EXISTENTES. SU PRINCIPAL NOVEDAD ES QUE EL RESULTADO DEL CONSTRUCTOR INCORPORA SEMANTICA DE AQUELLOS ELEMENTOS SOBRE LOS CUALES DICHO CONSTRUCTOR ACTUA. RESPECTO A LAS RESTRICCIONES, EL MODELO EAN INCLUYE UN BUEN NUMERO DE TIPOS DE RESTRICCIONES DE INTEGRIDAD UNIFICADAS BAJO UN LENGUAJE COMUN QUE ENGLOBA BASTANTES DE LAS RESTRICCIONES DE INTEGRIDAD QUE APARECEN DISPERSAS EN ARTICULOS SOBRE EL TEMA, PRESENTANDOLAS DE UNA MANERA CONSISTENTE E INCORPORA OTRAS RESTRICCIONES NUEVAS.

Autor: VILA SOBRINO JOSE ANTONIO.
Año: 1996.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: ELECTRONICA Y COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION AVANZADA E INTELIGENCIA ARTIFICIAL.

Resumen: EN ESTE TRABAJO SE PRESENTA UNA LINEA DE PROCESADO PARA LA SEÑAL DE LA FRECUENCIA CARDIACA CON APORTACIONES ORIGINALES EN DIVERSAS ETAPAS, ESPECIALMENTE EN LO QUE RESPECTA A LA ESTIMACION ESPECTRAL, PROPONIENDO EL USO DE REPRESENTACIONES TIEMPO-FRECUENCIA.SE DESCRIBEN LOS RESULTADOS DE UN INTERESANTE ESTUDIO REALIZADO SOBRE UN CONJUNTO DE REGISTROS DE LA BASE DE DATOS ST-T EUROPEA, VALORANDO LA SIGNIFICACION DE LOS DIFERENTES INDICES DE VARIABILIDAD Y MOSTRANDO LA EXISTENCIA DE DIFERENTES PATRONES DE VARIABILIDAD PARA CADA TIPO DE DIAGNOSTICO. ESTOS RESULTADOS PONEN DE MANIFIESTO LA UTILIDAD DEL ANALISIS DE VARIABILIDAD DE LA FRECUENCIA CARDIACA (VFC) PARA LA MONITORIZACION DE LA ISQUEMIA. POR ULTIMO SE INCLUYE LA DESCRIPCION DE DOS IMPLEMENTACIONES EN RELACION A ESTE TEMA. UN SISTEMA DE MONITORIZACION CON CAPACIDAD DE PROCESAR Y PRESENTAR EN TIEMPO REAL INFORMACION DE VFC Y UNA HERRAMIENTA PARA EL ANALISIS DE VARIABILIDAD DE SEÑALES EN TIEMPO DIFERIDO. ESTAS IMPLEMENTACIONES SE HAN REALIZADO DE UN MODO FLEXIBLE Y PORTABLE EN BASE A UNA LIBRERIA DE FUNCIONES PARA ANALISIS DE VARIABILIDAD DE SEÑALES PROPIA.

Autor: BAÑARES BAÑARES JOSE ANGEL.
Año: 1995.
Universidad: ZARAGOZA.
Centro de lectura: CENTRO POLITECNICO SUPERIOR.
Centro de realización: DEPARTAMENTO: INFORMATICA E INGENIERIA DE SISTEMAS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS E INFORMATICA.

Resumen: LA TESIS DOCTORAL ABORDA EL PROBLEMA DE DESARROLLO DE SOFTWARE ORIENTADO A OBJETO PARA APLICACIONES DE SISTEMAS DE EVENTOS DISCRETOS (SED). EN LA LITERATURA CIENTIFICA RELACIONADA, EXISTE CIERTO CONSENSO EN QUE UNO DE LOS ASPECTOS MAS IMPORTANTES DEL DESARROLLO DE TALES SISTEMAS CONSISTE EN SU ESPECIFICACION Y DISEÑO. TAMBIEN EXISTE CIERTO CONSENSO EN QUE SON NECESARIAS TECNICAS FORMALES PARA ESPECIFICAR Y DISEÑAR TALES SISTEMAS, SIENDO A SU VEZ CONVENIENTE DAR UN SENTIDO PRAGMATICO A DICHAS TECNICAS PARA SU INCORPORACION AL AMBITO INDUSTRIAL. EN PARTICULAR ESTE TRABAJO SE HA CENTRADO EN LOS SIGUIENTES TEMAS: EN PRIMER LUGAR SE HAN PUESTO DE MANIFIESTO LAS CARENCIAS Y VENTAJAS DE DISTINTOS MODELOS PARA LA DESCRIPCION DE SEDS. SE HA PROPUESTO UN ESQUEMA DE REPRESENTACION, DENOMINADO KRON (KNOWLEDGE REPRESENTATION ORIENTED NETS), QUE ESTA BASADO EN LA INTEGRACION DEL MODELO DE OBJETOS Y DE LAS REDES DE PETRI (REDES DE PETRI COLOREADAS). EL MODELO PERMITE REPRESENTAR EL COMPORTAMIENTO DE CADA ENTIDAD, ASI COMO LAS INTERACCIONES ENTRE LAS ENTIDADES QUE CONSTITUYEN EL SISTEMA. ADEMAS, SE SOPORTA LA REUSABILIDAD MEDIANTE LA HERENCIA Y LA DEFINICION DE OBJETOS COMPUESTOS. EN SEGUNDO LUGAR SE HA PRESENTADO UNA ADAPTACION A LA INTERPRETACION DE REDES DE PETRI COLOREADAS (RDPCS) DE LAS TECNICAS UTILIZADAS PARA IMPLEMENTAR EL MOTOR DE INFERENCIA DE LOS LENGUAJES BASADOS EN REGLAS. ESTAS TECNICAS PERMITEN QUE LAS PRESTACIONES DEL INTERPRETE DEL MODELO NO SE VEAN AFECTADAS EN EXCESO POR EL TAMAÑO DEL MODELO. FINALMENTE, SE DEFINEN LAS PAUTAS A SEGUIR EN EL MODELADO DE SISTEMAS DE EVENTOS DISCRETOS CON KRON. EL PROCESO SIGUE LOS PASOS CLASICOS DE UN METODO ORIENTADO A OBJETO. SOLO LOS ASPECTOS RELACIONADOS CON EL COMPORTAMIENTO DINAMICO DE LAS ENTIDADES ES PARTICULAR AL METODO PRESENTADO. TAMBIEN SE PRESENTAN LAS HERRAMIENTAS INFORMATICAS DISEÑADAS PARA SOPORTAR EL PROCESO DE DESARROLLO.

Autor: BARRANCO GARCIA MANUEL JOSE.
Año: 1995.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE PROGRAMA DE DOCTORADO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE.

Resumen: LA TESIS PROPONE VARIOS INSTRUMENTOS DE EVALUACION Y MEJORA DE LA PRODUCTIVIDAD DE UN PROYECTO SOFTWARE. ESTOS INSTRUMENTOS TRATAN DE EQUILIBRAR LOS RECURSOS EMPLEADOS PARA AUMENTAR LA MANTENIBILIDAD DEL PRODUCTO CON LOS BENEFICIOS PRODUCIDOS COMO CONSECUENCIA DURANTE LA ETAPA DE MANTENIMIENTO. LA EVALUACION DE LA PRODUCTIVIDAD SE BASA EN DOS ESTIMACIONES: (A) TRAFICO DE CAMBIO ANUAL EN LA ETAPA DE MANTENIMIENTO Y (B) RELACION ENTRE LAS CARACTERISTICAS DE MANTENIBILIDAD Y EL ESFUERZO DE MANTENIMIENTO. AMBAS ESTIMACIONES SE BASAN EN INFORMACION HISTORICA DE OTROS PROYECTOS Y EN EL JUICIO DE EXPERTOS. LAS TECNICAS DE MEJORA DE LA PRODUCTIVIDAD PROPUESTAS TAMBIEN TRATAN LA IDENTIFICACION DE LA INFORMACION QUE DEBE EXTRAERSE DURANTE LA PRODUCCION PARA ACTUALIZAR LA BASE DE DATOS HISTORICOS, ASI COMO LOS MOMENTOS EN LOS QUE LA ACTUALIZACION DEBE HACERSE. LA TESIS SE COMPLETA CON UN ESTUDIO DE LA INTEGRACION DE LAS TECNICAS EN UN ENTORNO DE PROGRAMACION, ASI COMO LA APLICACION DE LAS TECNICAS DE EVALUACION A TRES PROYECTOS SOFTWARE CONCRETOS.

Autor: CHOVER SELLES MIGUEL.
Año: 1995.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: SISTEMAS INFORMATICOS Y COMPUTACION PROGRAMA DE DOCTORADO: INGENIERIA DE LA PROGRAMACION E INFORMATICA INDUSTRIAL.

Resumen: LA SINTESIS DE IMAGEN POR ORDENADOR ES UNA DISCIPLINA QUE SE ENCARGA DE LA REPRESENTACION DEL MUNDO QUE NOS RODEA. EN ESTE SENTIDO, LOS MODELOS DE REPRESENTACION DE CARACTERISTICAS Y DETALLES DE LAS SUPERFICIES ESTAN EXPERIMENTANDO UN AUGE NOTABLE DURANTE LOS ULTIMOS AÑOS. LA PRESENTE TESIS SE UBICA EN LA LINEA DE LA MDOELIZACION DE LAS CARACTERISTICAS MACROGEOMETRICAS DE ESTAS SUPERFICIES. ESTAS CARACTERITICAS SE HAN GENERADO TRADICIONALMENTE MEDIANTE TECNICAS DE TEXTURACION, AUNQUE EN LA ACTUALIDAD EXISTEN DIFERENTES APROXIMACIONES PARA OBTENERLAS POR MEDIO DE PERTURBACIONES GEOMETRICAS. EL MODELO QUE SE PRESENTA COMBINA TECNICAS DE DESPLAZAMIENTO, DEFORMACION Y TEXTURA, QUE APLICA DIRECTAMENTE SOBRE LA DEFINICION DE SUPERFICIES PARAMETRICAS. JUNTO CON LA FORMULACION DEL MODELO Y LA ESPECIFICACION DE LA FORMA EN QUE SE OBTIENEN LAS MODIFICACIONES GEOMETRICAS, SE DESCRIBEN SUS POSIBILIDADES DEVISUALIZACION. FINALMENTE, SE MUESTRAN ALGUNAS DE LAS POSIBLES APLICACIONES DEL MODELO EN RELACION CON LA REPRESENTACION DE ENTORNOS NATURALES, ESCENARIOS URBANOS Y SU UTILIZACION EN LOS PROCESOS INDUSTRIALES DEL SECTOR CERAMICO.

Autor: GARCIA ZUBIA JAVIER.
Año: 1995.
Universidad: DEUSTO.
Centro de lectura: INFORMATICA .
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: INFORMATICA.

Resumen: EL OBJETIVO DE LA TESIS ES DESARROLLAR UN NUEVO METODO DIRECTO Y COMPUTACIONAL, CAMP DEUSTO, DE SIMPLIFICACION DE FUNCIONES BOOLEANAS. LA IMPLEMENTACION DE ESTE METODO CONFORMA UN ENTORNO PROPIO DE SIMPLIFICACION. EL OBJETIVO DE LA MINIMIZACION DE FUNCIONES BOOLEANAS ES REDUCIR LA EXPRESION ALGEBRAICA QUE REPRESENTA A UN CIRCUITO DIGITAL, DE TAL FORMA QUE SU COSTE DE FABRICACION SEA MINIMO. LAS PRIMERAS TECNICAS DE SIMPLIFICACION IMPLEMENTADAS EN ORDENADORES ERAN ORIGINARIAMENTE MANUALES, PERO A PARTIR DE MEDIADOS DE LOS SETENTA SE DESARROLLAN TECNICAS ESTRICTAMENTE COMPUTACIONALES, QUE TIENEN COMO NUCLEO EL ORDENADOR, SUS RECURSOS Y LIMITACIONES. INICIALMENTE SE DESCRIBE EL ESTADO DEL ARTE EN EL CAMPO DE LA SIMPLIFICACION DE FUNCIONES BOOLEANAS. SE ANALIZAN LOS METODOS ACTUALES, ESTABLECIENDOSE CRITERIOS DE COMPARACION Y CLASIFICACION ENTRE ELLOS. DE ESTE ESTUDIO SE DERIVAN CUALES DEBERIAN DE SER LAS PROPIEDADES DE UN METODO RAPIDO Y "CASI OPTIMO". EL TRABAJO DE INVESTIGACION, OBJETO DE ESTA TESIS, SE ORIENTA HACIA EL DESARROLLO DE UN METODO CUYA RAPIDEZ Y OPTIMIDAD SEAN MAXIMAS. OPERATIVAMENTE, EL METODO CAMP DEUSTO SIMPLIFICA UNA FUNCION BOOLEANA A PARTIR DE SUS IMPLICADOS PRIMOS. LAS METODOLOGIAS ACTUALES DE OBTENCION DE IMPLICADOS PRIMOS SON COMBINATORIAS O ALGEBRAICAS; Y AMBAS SE FUNDAMENTAN EN LA APLICACION DE UNA SERIE DE REGLAS A LOS MINITERMINOS O A LA EXPRESION BOOLEANA DE LA FUNCION A SIMPLIFICAR. FRENTE A ELLAS CAMP DEUSTO SE BASA EN UNA NUEVA METODOLOGIA EXPLORATORIA. ESTA METODOLOGIA, DESARROLLADA EN EL SEGUNDO CAPITULO, TIENE DOS FASES. PRIMERAMENTE SE OBTIENE LA DESCRIPCION DE TODOS LOS POSIBLES IMPLICADOS PRIMOS ASOCIADOS A UNA FUNCION BOOLEANA CUALQUIERA DE UN DETERMINADO NUMERO DE VARIABLES, ALMACENANDO DICHAS DESCRIPCIONES EN LA MATRIZ MCVK. POSTERIORMENTE, CADA FUNCION PARTICULAR ES PROCESADA FRENTE A MCVK, EXPLORANDO TODOS LOS POSIBLES IMPLICADOS PRIMOS PARA DECIDIR MEDIANTE UN SENCILLO CRITERIO CUALES LO SON. EL ESFUERZO TEORICO SE CONCENTRA EN LA PRIMERA FASE, DONDE TODOS LOS IMPLICADOS PRIMOS DEBEN SER ORDENADOS EN MCVK SEGUN EL NUEVO CONCEPTO DE RUEDA: AGRUPACION ARBITRARIA DE IMPLICADOS SEGUN SU IDENTIFICACION Y TAMAÑO. TODA VEZ QUE LOS IMPLICADOS PRIMOS HAN SIDO OBTENIDOS, ESTOS SON UTILIZADOS PARA OBTENER LA EXPRESION MINIMA MEDIANTE UN CRITERIO DE DISCRIMINACION BIFURCATIVO O DIRECTO. EN EL PRIMER CASO, EL USO DE UN CRITERIO BIFURCATIVO ASEGURA QUE LA EXPRESION OBTENIDA ES MINIMA AUNQUE EL PROCESO PUEDE SER MUY LENTO; TANTO QUE SU IMPLEMENTACION PUEDE LLEGAR A CONSUMIR LOS RECURSOS DEL ORDENADOR, DETENIENDOSE SIN OBTENER LA EXPRESION. POR CONTRA, EL USO DE UN CRITERIO DIRECTO ASEGURA LA OBTENCION DE UNA EXPRESION "CASI OPTIMA" EN UN TIEMPO FINITO. LA CALIDAD DEL METODO DIRECTO DEPENDE TOTALMENTE DE SU CRITERIO DE DISCRIMINACION DIRECTO, SIEMPRE HEURISTICO. EN EL TERCER CAPITULO, Y DENTRO DE CAMP DEUSTO, SE PROPONE UN NUEVO CRITERIO DE DISCRIMINACION DIRECTO Y HEURISTICO, DENOMINADO DC. PARA VALORAR LO DESARROLLADO, SE HAN IMPLEMENTADO EN MATLAB LOS METODOS DE QUINE-MCCLUSKEY, QUINE MC-CLUSKEY CON MAXIMO LAZO, CAMP II DE BISWAS, CAMP DEUSTO Y CAMP DEUSTO CON DOMINANCIA, RESULTANDO QUE: EL METODO CAMP DEUSTO DE OBTENCION DE LOS IMPLICADOS PRIMOS ES, EN CONJUNTO, EL MAS RAPIDO; EL METODO CAMP DEUSTO DE OBTENCION DE LA EXPRESION MINIMA ES EL MAS EXACTO, ESPECIALMENTE PARA FUNCIONES DE MAXIMA COMPLEJIDAD. LAS PRINCIPALES APORTACIONES SON TEORICAS Y PRACTICAS: LA METODOLOGIA BASADA EN LA RUEDA Y DESARROLLADA PARA OBTENER LOS IMPLICADOS PRIMOS ES UNA APORTACION TEORICA, MIENTRAS QUE LA TECNICA BASADA EN ELLA ES PRACTICA; EL CRITERIO DC DE DISCRIMINACION DIRECTA PARA OBTENER LA EXPRESION MINIMA A PARTIR DE LOS IMPLICADOS PRIMOS ES OTRA APORTACION PRACTICA. LAS FUTURAS LINEAS DE INVESTIGACION SE ORIENTAN HACIA LA IMPLEMENTACION EN MAINFRAME DEL CAMP DEUSTO, TENIENDO COMO REFERENTE A EXPRESSO Y MCBOOLE, Y UTILIZANDO LOS ARBOLES BINARIOS COMO ESTRUCTURA DE DATOS.

Autor: HERMO HUGUET MONTSERRAT.
Año: 1995.
Universidad: PAIS VASCO.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: FUNDAMENTOS Y HERRAMIENTAS PARA EL DESARROLLO DEL SOFTWARE (BIENIO 1988/90).

Resumen: SE REALIZA UN ESTUDIO EXHAUSTIVO DE ALGUNAS CLASES DE COMPLEJIDAD DEFINIDAS A PARTIR DEL MODELO DE MAQUINA DE TURING DETERMINISTA, CON USO DE FUNCIONES CONSEJERAS DE TAMAÑO SUBPOLINOMICO. CONCRETAMENTE: - SE CARACTERIZA LA CLASE P/LOG. - SE RECUPERA LA DEFINICION DE FULL-P/LOG, SE CARACTERIZA Y SE EXPLICA SU ESTRUCTURA INTERNA. - SE EXTIENDEN LOS RESULTADOS A LAS CLASES FULL-P/O(F(H)). - SE OBTIENEN RESULTADOS SOBRE EL APRENDIZAJE DE EXPRESIONES REGULARES CON CIRCUITOS QUE TIENEN COMPLEJIDAD BAJA. - APLICANDO UN TIPO DE DEMOSTRACION NOVEDOSO USADO PARA CARACTERIZAR FULL-P/LOG, SE DEMUESTRA LA SIMILITUD EXISTENTE ENTRE VARIAS DEFINICIONES YA CONOCIDAS EN EL AMBITO DE LA COMPLEJIDAD DE SECUENCIAS INFINITAS. - SE EXPLICA LO QUE OCURRIRIA SI LOS LENGUAJES DE NP O DE EXP FUERAN TURING-REDUCIBLES A ALGUN CONJUNTO DE DENSIDAD SUBPOLINOMICA.

Autor: JIMENEZ BARRIONUEVO FERNANDO.
Año: 1995.
Universidad: MURCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: DE INFORMATICA Y SISTEMAS PROGRAMA DE DOCTORADO: INFORMATICA.

Resumen: EL PROBLEMA QUE SE HA ABORDADO EN ESTE TRABAJO CONSISTE EN EL ESTUDIO DEL PROBLEMA DEL TRANSPORTE. EN SUS VERSIONES MAS CLASICAS, POSEE UNAS CARACTERISTICAS MATEMATICAS MUY BUENAS QUE HAN HECHO POSIBLE, DURANTE EL TRANSCURSO DE LOS AÑOS, EL DISEÑO DE METODOS "AD HOC" QUE LO RESUELVEN DE FORMA MUY EFICIENTE. ASIMISMO, SE HAN PLANTEADO MULTITUD DE VARIANTES EN EL PROBLEMA QUE PUEDEN AFECTAR A CUALQUIER COMPONENTE DE ESTE. LA PROGRAMACION MATEMATICA APARECE ENTONCES COMO UN MARCO TEORICO IDONEO QUE PERMITIRA MODELAR EL PROBLEMA DE TRANSPORTE EN TODAS ESTAS VARIANTES, Y LOS EFICIENTES METODOS DE SOLUCION EXISTENTES PARA LAS VERSIONES CLASICAS SE HAN IDO READAPTANDO PARA LA RESOLUCION DE ALGUNOS DE ESTOS NUEVOS PROBLEMAS. SIN EMBARGO, SIGUEN EXISTIENDO MODALIDADES EN EL PROBLEMA PARA LOS CUALES LOS METODOS EXISTENTES NO TRABAJAN BIEN, COMO SON LOS PROBLEMAS DE TRANSPORTE NO LINEALES. POR OTRO LADO, SE ESTA DESPERTANDO UN GRAN INTERES EN LA BUSQUEDA DE ALGORITMOS QUE PRESENTEN ANALOGIAS CON LOS PROCESOS NATURALES DEBIDO, FUNDAMENTALMENTE, A LA OBSERVACION DE LA DESTREZA QUE POSEEN LOS ORGANISMOS. ESTE TRABAJO, SE HA CENTRADO EN UNA SUBCLASE DE ESTOS ALGORITMOS: AQUELLOS QUE SE BASAN EN LOS PRINCIPIOS DE LA EVOLUCION NATURAL. ENTRE ESTOS, LOS MAS CONOCIDOS SON LAS ESTRATEGIAS DE EVOLUCION, LA PROGRAMACION EVOLUTIVA Y LOS ALGORITMOS GENETICOS, QUE AUNQUE TIENEN ENFOQUES DISTINTOS, ESTO NO HA IMPEDIDO QUE SE EMPIECEN A PLANTEAR TECNICAS HIBRIDAS QUE PRESENTEN DE FORMA SIMULTANEA CARACTERISTICAS DE UNOS Y OTROS. LOS ALGORITMOS GENETICOS HAN SIDO LO QUE, EN ESTE ESTUDIO, HA SERVIDO DE PLATAFORMA SOBRE LA CUAL "MONTAR" EL METODO CON CARACTER HIBRIDO. ASI PUES, EL MARCO DE TRABAJO DE ESTA TESIS, SE HA CENTRADO EN EL ESTUDIO DE LAS PRINCIPALES MODALIDADES QUE PUEDEN DARSE EN EL PROBLEMA DEL TRANSPORTE, LAS HERRAMIENTAS BASICAS ESENCIALES SOBRE LAS QUE SE CONSTRUIRAN LOS ALGORITMOS HEURISTICOS QUE DESPUES RESOLVERAN ESOS PROBLEMAS Y EN EL DISEÑO DE LOS ALGORITMOS EN SI, CONSIDERANDO LOS CASOS DEL PROBLEMA MAS GENERALES, EN LOS CUALES, LOS DATOS QUE INTERVIENEN EN EL VIENEN EXPRESADOS DE FORMA INTERVALAR, PARAMETRICA O FUZZY.

Autor: LOPEZ BATISTA VIVIAN FELIX.
Año: 1995.
Universidad: VALLADOLID.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: INFORMATICA (ATC, CCIA Y LSI) PROGRAMA DE DOCTORADO: TECNOLOGIAS DE LA INFORMACION.

Resumen: ES LA IMPLEMENTACION DE UN METODO EN PROCESAMIENTO DEL LENGUAJE NATURAL PARA HACER DESAMBIGUACION DE CONTEXTO USANDO LOS MAPAS AUTOORGANIZATIVOS DE KOHONEN Y QUE SE APLICA PARA UN PROBLEMA DE TRADUCCION AUTOMATICA.

Autor: PEREZ AGUIAR JOSE RAFAEL.
Año: 1995.
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: ESTA TESIS APORTA UNA SOLUCION AL PROBLEMA DEL RECONOCIMIENTO Y LA GENERACION DE LA MORFOLOGIA DEL ESPAÑOL; APROVECHA LA ESTRUCTURA FLEXIVA DE LA LENGUA PARA ORIENTAR SU REALIZACION A DATOS MAS QUE A REGLAS -MEJORA LA VELOCIDAD. UN PORMENORIZADO ESTUDIO DE LAS CARACTERISTICAS MORFOLOGICAS DA LUGAR A UN PREPROCESADOR QUE ACTUA SOBRE UN DICCIONARIO DE FORMAS BASICAS Y GENERA EL UNIVERSO DE PALABRAS FLEXIONADAS Y DERIVADAS QUE SE ESTRUCTURA EN FORMA DE RAICES Y TERMINACIONES- MINIMIZA LA OCUPACION. SE CONSTRUYE UN PROCESADOR QUE ES EL ENCARGADO DE RECONOCER Y GENERAR. EL ANALISIS DE UNA PALABRA SE LLEVA A CABO MEDIANTE: A) SEGMENTACION EN POSIBLES PARES RAIZ-TERMINACION, B) LOCALIZACION DE CADA UNA DE LAS RAICES, C) DECODIFICACION DE LA TERMINACION Y D) CONSTRUCCION DE LA FORMA PRINCIPAL DE LA QUE PROVIENE; EL RESULTADO TAMBIEN APORTA SU CATEGORIA GRAMATICAL. LA GENERACION DE UNA FORMA DERIVADA O FLEXIONADA DE UNA FORMA PRINCIPAL SE LOGRA GRACIAS A: A) LA DETECCION DE LA RAIZ Y B) LA BUSQUEDA DE LA TERMINACION QUE CORRESPONDA A LA FORMA QUE SE DESEE CONSEGUIR. LAS FLEXIONES CONSIDERADAS SON GENERO Y NUMERO PARA SUSTANTIVOS Y ADJETIVOS, GRADO SUPERLATIVO PARA LOS ADJETIVOS Y CONJUGACION PARA LOS VERBOS QUE INCLUYE PRONOMBRES ENCLITICOS. COMO DERIVACION DE SUSTANTIVOS Y ADJETIVOS SE CONSIDERAN LOS SUFIJOS APRECIATIVOS -AUMENTATIVOS, DISMINUTIVOS Y DESPECTIVOS. SE DISPONE ADEMAS DE UN CONJUNTO DE RELACIONES MORFOLOGICAS ENTRE DIFERENTES FORMAS PRINCIPALES QUE FACULTA LA OBTENCION DE FORMAS DERIVADAS QUE CONLLEVAN CAMBIO DE CATEGORIA GRAMATICAL- SUSTANTIVACION, ADJETIVACION, VERBALIZACION Y ADVERBIALIZACION. EL TRABAJO INCLUYE UN MODULO DE PREFIJACION QUE PERMITE INCORPORAR PREFIJOS A LAS PALABRAS. SE DESARROLLA UNA APLICACION A LA GESTION DE UN DICCIONARIO DE SINONIMOS Y ANTONIMOS MEDIANTE UNA INTERFAZ AMIGABLE QUE PERMITE FORMAS DE EXPLORACION IMAGINATIVA Y VERSATILES ADEMAS DE OFRECER LA RESPUESTA EN FORMA CONCORDANTE CON LA ENTRADA.

Autor: PRIM SABRIA MARTA.
Año: 1995.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: INFORMATICA.

Resumen: EN EL PROCESO DIGITAL DE IMAGENES SE LLEVAN A CABO UN CONJUNTO DE OPERACIONES COMO SON TRANSLACION, ROTACION, SIMETRIA O ZOOM IN/OUT SOBRE UNA IMAGEN; ESTAS PUEDEN SER IMPLEMENTADAS EN UN SISTEMA HARDWARE. ESTE SISTEMA PERMITE VISUALIZAR LA TRANSFORMACION DE DICHA IMAGEN EN TIEMPO REAL. LAS TRES PRIMERAS OPERACIONES SON MAS O MENOS SENCILLAS EN CUANTO A DISEÑO; SIN EMBARGO, EL ZOOM IN/OUT DEBIDO AL ELEVADO NUMERO DE CALCULOS PRESENTA CIERTAS DIFICULTADES PARA SU CORRESPONDIENTE IMPLEMENTACION. UNA POSIBLE SOLUCION A ESTOS PROBLEMAS ES: DADA UNA IMAGEN DIGITAL CONVERTIR SUS PIXELES EN UNA SEÑAL ANALOGICA, MUESTREAR DICHA SEÑAL SEGUN EL INDICE DE ZOOM IN/OUT QUE SE DESEE APLICAR Y CONVERTIR DICHA SEÑAL MUESTRADA OTRA VEZ EN UNA SEÑAL DIGITAL QUE CORRESPONDERA A LA IMAGEN DIGITAL AMPLIADA O REDUCIDA. LA RESOLUCION DE ESTAS OPERACIONES SIGNIFICA TRABAJAR CON CONVERTIDORES DIGITAL/ANALOGICOS Y ANALOGICO/DIGITALES. ESTE TRABAJO SE CENTRA EN LOS CONVERTIDORES ANALOGICO/DIGITALES BASADOS EN UNA RED NEURAL. INICIALMENTE, SE ESTUDIA LA PROPUESTA DE J. HOPFIELD SOBRE LA UTILIZACION DE UNA ARQUITECTURA NEURAL PARA EL DISEÑO DE CONVERTIDORES. A PARTIR DE ESTE ESTUDIO SE PRESENTA UNA NUEVA ARQUITECTURA DE RED NEURAL: RED NEURAL PSEUDO-HOPFIELD. ESTA RED CON SU ESTRUCTURA TRIANGULAR APORTA LA SOLUCION AL PROBLEMA DE MINIMO LOCAL DETECTADO EN LA RED NEURAL DE HOPFIELD (CON ESTRUCTURA SIMETRICA). CON ESTA NUEVA ARQUITECTURA SE HA DISEÑADO EL NEURO-ADC: CONVERTIDORES ANALOGICO/DIGITALES BASADOS EN LA RED NEURAL PSEUDO-HOPFIELD. SE HAN IMPLEMENTADO CON LA TECNOLOGIA CMOS DE 2UM DE MIETEC DISTINTOS ADCS DE 8-BITS Y 10-BITS. COMPROBANDO QUE SUS CARACTERISTICAS DC Y AC ESTAN ENTRE LOS RANGODS INDICADOS EN LAS ESPICIFICACIONES COMERCIALES.

Autor: QUIROS BAUSET RICARDO.
Año: 1995.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: DE SISTEMAS INFORMATICOS Y COMPUTACION PROGRAMA DE DOCTORADO: INGENIERIA DE LA PROGRAMACION E INFORMATICA INDUSTRIAL.

Resumen: LA SINTESIS DE IMAGEN Y ANIMACION POR COMPUTADOR SE HA CONVERTIDO EN LOS ULTIMOS AÑOS EN UNA DISCIPLINA A LA QUE SE DEDICA UN GRAN ESFUERZO, TANTO A NIVEL DE INVESTIGACION UNIVERSITARIA Y PRIVADA COMO EN SU APLICACION EN SECTORES COMERCIALES TAN DISPARES COMO EL DISEO INDUSTRIAL, LA ARQUITECTURA, LA PUBLICIDAD, EL CINE Y LA TELEVISION O LOS SISTEMAS DE ENTRETENIMIENTO, POR CITAR ALGUNOS EJEMPLOS. MIENTRAS QUE DURANTE LAS PRIMERAS ETAPAS DE SU DESARROLLO LAS TECNICAS DE INFORMATICA GRAFICA CENTRARON SUS ESFUERZOS EN LA REPRESENTACION DE OBJETOS MANUFACTURADOS EN SISTEMAS DE DISEÑO ASISTIDO POR ORDENADOR, LAS ULTIMAS TENDENCIAS FUNDEN DISCIPLINAS COMO LA FISICA, LA BIOLOGIA, LA INFORMATICA TEORICA Y LA INFORMATICA GRAFICA EN UN INTENTO POR SIMULAR EN UN COMPUTADOR OBJETOS Y FENOMENOS HABITUALES EN LA NATURALEZA. EL MODELO QUE SE PRESENTA CONSTITUYE UNA HERRAMIENTA POTENTE PARA EL MODELADO DE ELEMENTOS NATURALES INTEGRANDO LAS TECNICAS BASADAS EN REESCRITURAS HABITUALES EN EL MODELADO DE ESPECIES VEGETALES CON LAS DISTINTAS APROXIMACIONES ESTOCASTICAS UTILIZADAS PARA APLICACIONES TAN DIVERSAS COMO LA REPRESENTACION DE NUBES, FORMACIONES MONTAÑOSAS, BANCOS DE CORAL O FLUIDOS SOMETIDOS A LA ACCION DE LEYES FISICAS. JUNTO CON LA FORMULACION DEL MODELO Y LA ESPECIFICACION DEL LENGUAJE ASOCIADO SE DESCRIBEN SUS POSIBLES APLICACIONES A LA GENERACION EN UN COMPUTADOR DE IMAGENES SINTETICAS DE ELEMENTOS NATURALES COMPUTADOR DE IMAGENES SINTETICAS DE ELEMENTOS NATURALES Y PRODUCTOS MANUFACTURADOS CUYA COMPLEJIDAD ESTRUCTURAL DESAFIA LAS TECNICAS DE MODELADO CLASICO.

Autor: ROJAS RUIZ IGNACIO.
Año: 1995.
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: EL TRABAJO DE TESIS DOCTORAL PRESENTADO EN ESTA MEMORIA ES UNA CONTRIBUCION AL DISEÑO E IMPLEMENTACION DE SISTEMAS BASADOS EN LOGICA DIFUSA, ESPECIALMENTE CONTROLADORES DIFUSOS, PLANTEANDO SOLUCIONES TEORICAS Y PRACTICAS PARA LLEGAR A LA REALIZACION FINAL DE UN CONTROLADOR DIFUSO A PARTIR DE DATOS DISPONIBLES SOBRE EL PROBLEMA, O UN CONOCIMIENTO CUALITATIVO DE ESTE, Y OPTIMIZANDO LA RELACION PRESTACIONES/COMPLEJIDAD DE DICHA REALIZACION. A CONTINUACION SE HACE UNA BREVE DESCRIPCION DE LOS CAPITULOS DE LOS QUE CONSTA LA PRESENTE MEMORIA: .CAPITULO 1: SE REALIZA UN INTRODUCCION A LOS CONCEPTOS Y ESTRUCTURA DE UN SISTEMA DIFUSO, ENFOCADO HACIA EL AREA DEL CONTROL. .CAPITULO 2: SE DISCUTE LA RELEVANCIA E IMPORTANCIA COMPARATIVA DE LAS DISTINTAS FASES QUE CONSTUYEN LA INFERENCIA DIFUSA. PARA ABORDAR LA RESOLUCION DE ESTA CUESTION, SE HA UTILIZADO UNA HERRAMIENTA ESTADISTICA APROPIADA: EL ANALISIS DE LA VARIANZA MULTIFACTORIAL. PARA REAFIRMAR LAS CONCLUSIONES OBTENIDAS A PARTIR DE CONTROLADORES SIMULADOS POR ORDENADOR, SE EXPERIMENTO CON UN SISTEMA REAL. .CAPITULO 3: DESARROLLA UN NUEVO PROCEDIMIENTO PARA EL DISEÑO DE SISTEMA ADAPTATIVOS Y AUTOORGANIZATIVOS DIRECTOS DE CONTROL, DE FORMA CONJUNTA. SE MUESTRA COMO EL SISTEMA ES CAPAZ DE RESOLVER EFICAZMENTE EL DISEÑO DE UN CONTROLADOR, UTILIZANDO UN CONOCIMIENTO PREVIO REDUCIDO Y A NIVEL CUALITATIVO DE LA APLICACION. .CAPITULO 4: PROPONE UNA NUEVA METODOLOGIA PARA LA CONSTRUCCION DE CONTROLADORES DIFUSOS, A PARTIR DE VECTORES DE ENTRADA/SALIDA. SE HA DENOMINADO COMO ALGORITMO DACD. TANTO LA TOPOLOGIA DEL SISTEMA, EL NUMERO DE REGLAS Y DE FUNCIONES DE PERTENENCIA, COMO SUS MAGNITUDES, SON DIRECTAMENTE CONSTRUIDAS, SIN LA NECESIDAD DE INFORMACION PREVIA ADICIONAL. .CAPITULO 5: SE ANALIZA EL SISTEMA DACD FRENTE A OTROS PARADIGMAS ACTUALES COMO SON LAS REDES NEURONALES Y LOS ALGORITMOS GENETICOS. SE CONSTRUYE UN SISTEMA HIBRIDO NEURO-DIFUSO QUE SE PUEDE UTILIZAR CONJUNTAMENTE CON EL ALGORITMO DACD, DISPONIENDOSE ASI DE UNA HERRAMIENTA MUY APROPIADA PARA LA ADQUISICION, REPRESENTACION Y OPTIMIZACION DEL CONOCIMIENTO EN TERMINOS DE LA LOGICA DIFUSA. .CAPITULO 6: SE ANALIZA LA IMPLEMENTACION ELECTRONICA DE CIRCUITOS ANALOGICOS PARA LA CONSTRUCCION DE SISTEMA DIFUSOS INTEGRADOS. SE PLANTEAN DIVERSAS ALTERNATIVAS PARA EL DESARROLLO DE LOS BLOQUES FUNCIONALES BASICOS DE LA INFERENCIA DIFUSA. SE DISEÑAN DOS CONTROLADORES COMPLETOS, TRABAJANDO EN MODO DE TENSION Y EN CORRIENTE. SE DISCUTE LA ADECUACION DE CADA UNO DE ELLOS CON LA ESTRUCTURA DEL SISTEMA IMPLEMENTADO. .CAPITULO 7: RECOGE LAS CONCLUSIONES Y RESUME LAS APORTACIONES PRINCIPALES DEL PRESENTE TRABAJO, ASI COMO LAS LINEAS A SEGUIR EN INVESTIGACIONES FUTURAS.

Autor: VERDU CONESA ISIDRO.
Año: 1995.
Universidad: MURCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: DE INFORMATICA Y SISTEMAS PROGRAMA DE DOCTORADO: INFORMATICA.

Resumen: EL PROBLEMA QUE SE HA ABORDADO EN ESTE TRABAJO CONSISTE EN EL ESTUDIO, DESARROLLO E IMPLEMENTACION DE METODOS ADAPTABLES A CUALQUIER TAMAÑO DE MEMORIA DISPONIBLE Y A LA VEZ EFICIENTES, PARA LA SINTESIS DE IMAGENES DE ESCENAS TRIDIMENSIONALES FORMADAS POR OBJETOS PROCEDURALES, MEDIANTE LA UTILIZACION DE LA TECNICA DE TRAZADO DE RAYOS, TANTO EN COMPUTADORES SECUENCIALES COMO PARALELOS.SE HA PROPUESTO UN TEST DE INTERSECCION DIRECTO RAYO / OBJETO PROCEDURAL PARA MONTAÑAS FRACTALES Y ARBOLES ESTOCASTICOS QUE TRABAJA POR JERARQUIA DE ENVOLVENTES Y REDUCE EL CONSUMO DE MEMORIA Y TIEMPO RESPECTO A LOS METODOS CLASICOS. SI SE DISPONE DE MEMORIA ADICIONAL, ESTA PUEDE SER UTILIZADA PARA REDUCIR MAS EL TIEMPO DE COMPUTACION. SE HAN INTEGRADO LOS TEST RAYO/OBJETO, EN UN TEST RAYO/ESCENA Y SE HA PROPUESTO UN ALGORITMO QUE REALIZA UNA ASIGNACION DE MEMORIA A CADA OBJETO PARA OBTENER EL OPTIMO DEL TIEMPO DE EJECUCION. SE HA PRESENTADO LA PARALELIZACION EN COMPUTADORES MULTIPROCESADORES CON MEMORIA DISTRIBUIDA MEDIANTE SUBDIVISION DEL ESPACIO IMAGEN, TANTO POR REPLICACION DE LA BASE DE DATOS COMO POR DISTRIBUCION, OBTENIENDO EFICIENCIAS ALTAS EN TODOS LOS CASOS. SE HA PRESENTADO, ADEMAS, LA PARALELIZACION EN MULTIPROCESADORES CON MEMORIA DISTRIBUIDA CON RESULTADOS SIMILARES. FINALMENTE, SE HA MOSTRADO LA EXTENSION DE LOS METODOS PRESENTADOS A OTROS ELEMENTOS USUALES EN EL TRAZADO DE RAYOS.