|
|
|
SISTEMAS EXPERTOS EN EL DIAGNOSTICO DIFERENCIAL DE LAS HIPERCALCEMIAS. Autor: CARRETERO DE NICOLAS FELIPE. Año: 1994. Universidad: COMPLUTENSE DE MADRID. Centro de lectura: MEDICINA. Centro de realización: DEPARTAMENTO: MEDICINA PROGRAMA DE DOCTORADO: MEDICINA.
Resumen: OBJETIVOS:
1. ESTUDIAR LAS CARACTERISTICAS CLINICO-EPIDEMIOLOGICAS DE LAS HIPERCALCEMIAS OBSERVADAS EN EL SERVICIO DE ENDOCRINOLOGIA DEL HOSPITAL "GOMEZ ULLA" ENTRE 1980 Y 1993 Y 2. VALORAR LA EFICACIA DE UN PROGRAMA INFORMATICO "FOSCAL" DIRIGIDO AL
DIAGNOSTICO DIFERENCIAL DE LAS HIPERCALCEMIAS.
RESULTADOS: SE RATIFICA LA ASOCIACION DE LITIASIS RENAL, SIGNOS RADIOGRAFICOS DE RESORCION OSEA, HIPERTENSION ARTERIAL, DEPRESION PSIQUICA Y GASTROPATIA CON LAS HIPERCALCEMIAS DE ORIGEN PARATIROIDEO. LAS PRUEBAS ANALITICAS DE LABORATORIO CON
MAYOR SENSIBILIDAD DIAGNOSTICA FUERON, POR ESTE ORDEN: TMP/GFR, CL/P, AMPC NEFROGENICO Y PTH-C. LOS DISCRIMINANTES MATEMATICOS MAS UTILES RESULTARON SER EL II Y III DE LAFFERTY. EN EL DIAGNOSTICO DE LOCALIZACION, EN EL HIPERPARATIROIDISMO PRIMARIO
(HPP), LA MAYOR SENSIBILIDAD SE OBTUVO CON LA T.C. CON VALORES DE 85% Y SENSIBILIDAD DE 100%. SE ENCONTRO CORRELACION SIGNIFICATIVA ENTRE EL PESO DEL TUMOR, CAUSANTE DEL HPP Y LOS VALORES PREQUIRURGICOS DE CALCIO SERICO, CALCIO IONICO Y AMPC
NEFROGENICO.
EL PROGRAMA "FOSCAL" REPRESENTA UNA AYUDA AL CLINICO AL REALIZAR DIVERSOS CALCULOS HABITUALES EN EL ESTUDIO DEL METABOLISMO FOSFO-CALCICO, ESTANDO ADEMAS DOTADO DE TRES SENCILLOS SISTEMAS EXPERTOS (BASADO EN REGLAS, BAYESIANO Y HEURISTICO) CON
CAPACIDAD EN LA VERSION ACTUAL PARA RECONOCER EL 100% DE LOS HPP, EL 100% DE LAS HIPERCALCEMIAS OSTEOLITICAS Y EL 80% DE LAS HIPERCALCEMIAS HUMORALES DE LA MALIGNIDAD. DINAMICA Y CLASIFICACION DE ESTRUCTURAS OCEANICAS PARA APLICACION OPERACIONAL DE PESQUERIAS
UTILIZANDO TELEDETECCION E INGENIERIA . Autor: COTOS YAÑEZ JOSE MANUEL. Año: 1994. Universidad: SANTIAGO DE COMPOSTELA. Centro de lectura: FISICA. Centro de realización: DEPARTAMENTO: FISICA
APLICADA PROGRAMA DE DOCTORADO: FISICA APLICADA.
Resumen: LA TESIS DESARROLLA UN SISTEMA EXPERTO PARA ESTUDIAR EL AFLORAMIENTO EN LA COSTA GALAICO-PORTUGUESA GENERANDO ISOTERMAS Y FRENTES QUE LUEGO SE ENVIARAN A BARCOS PESQUEROS A TRAVES DE SATELITES INMARSAT-C. HACE USO DE IMAGENES DE
INFRARROJO DE SATELITES NO A TRAVES DE SU SENSOR AVHRR. UN FORMALISMO PARA LA EXTRACCION DE INFORMACION SEMANTICA EN TEXTOS MATEMATICOS.
Autor: DIAZ GARCIA JULIA. Año: 1994. Universidad: AUTONOMA DE MADRID. Centro de lectura: CIENCIAS. Centro de realización: DEPARTAMENTO: INGENIERIA INFORMATICA PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.
Resumen: EL TRABAJO
DE INVESTIGACION QUE SE PRESENTA HA SIDO DESARROLLADO EN EL MARCO DEL PROYECTO PROGENES (FINANCIADO POR EL PLAN NACIONAL DE INVESTIGACION, PROGRAMA NACIONAL DE TECNOLOGIA DE INFORMACION Y DE LAS COMUNICACIONES, PROYECTO 352.90). PROGENES (PROOF
GENERATOR EXPERT SYSTEM) ES UN PROYECTO DE INVESTIGACION BASICA DEDICADO AL DESARROLLO DE UN SISTEMA CAPAZ DE RESOLVER ENUNCIADOS EN LENGUAJE NATURAL. AL SISTEMA SE LE PROPORCIONA LA MISMA INFORMACION, Y EN LA MISMA FORMA, QUE A CUALQUIER PERSONA
QUE TUVIERA QUE RESOLVER EL PROBLEMA. POR LO TANTO SE HA INCORPORADO AL SISTEMA UNA INTERFAZ CAPAZ DE ENTENDER EL TEXTO DE LOS ENUNCIADOS EXPRESADOS EN LENGUAJE NATURAL, E INTERPRETARLOS SEGUN UNA SEMANTICA QUE REFLEJA CONCEPTOS Y RELACIONES
EXISTENTES EN ESTA AREA DE CONOCIMIENTOS. EL OBJETIVO DE ESTA TESIS HA SIDO DISEÑAR E IMPLEMENTAR UN FORMALISMO SEMANTICO QUE REPRESENTE EL TEXTO INICIAL DE LOS ENUNCIADOS, UTILIZANDO MECANISMOS COMPOSICIONALES GENERALES, RESOLVIENDO LAS
AMBIGUEDADES LEXICAS QUE APARECEN EN LOS TEXTOS Y EFECTUANDO UN TRATAMIENTO DE LA COMPLEJIDAD SEMANTICA.
SISTEMAS EXPERTOS JERARQUIZADOS PARA EL TRATAMIENTO AUTOMATICO DEL ESPAÑOL COMO LENGUAJE
NATURAL. Autor: ESCORIAL GOMEZ MIGUEL. Año: 1994. Universidad: POLITECNICA DE MADRID. Centro de lectura: INGENIEROS DE TELECOMUNICACION. Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA A
LAS TECNOLOGIAS DE LA INFORMACION PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS.
Resumen: EL OBJETIVO FUNDAMENTAL ES CONSEGUIR QUE EL ORDENADOR REALICE UNA COMPRENSION AMPLIA DEL ESPAÑOL EN LUGAR DE UN LENGUAJE INFORMATICO, EN BENEFICIO DEL USUARIO.PARA ELLO SE HA CONSTRUIDO TODA UNA JERARQUIA DE SISTEMAS EXPERTOS EN PROLOG.
LOS DE PRIMER NIVEL REALIZAN TAREAS BASICAS A NIVEL DE CARACTER Y DE PALABRA, EN COMBINACION CON UN DICCIONARIO QUE INCLUYA TODO EL VOCABULARIO DEL TEXTO QUE SE ANALIZA.
LOS SISTEMAS EXPERTOS DE SEGUNDO NIVEL SE OCUPAN DE LA GENERACION Y COMPROBACION DE SINTAGMAS, DEDICANDOSE LOS NIVELES SUPERIORES AL ANALISIS DE ORACIONES SIMPLES Y COMPUESTAS.
SE PRESENTA UN PROTOTIPO DE DEMOSTRACION QUE PRUEBA LA VIABILIDAD DEL TRABAJO DESARROLLADO SOBRE LOS PRIMEROS CAPITULOS DE EL QUIJOTE. UN MODELO PARA LA RESOLUCION DE SISTEMAS DINAMICOS CON RESTRICCIONES EN EL MARCO CLP
. Autor: FORRADELLAS MARTINEZ RAIMUNDO. Año: 1994. Universidad: POLITECNICA DE MADRID. Centro de lectura: INGENIEROS DE
TELECOMUNICACION. Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA A LAS TECNOLOGIAS DE LA
INFORMACION PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS.
Resumen: SE PRESENTA UNA METODOLOGIA PARA LA REPRESENTACION
Y RESOLUCION DE PROBLEMAS DINAMICOS CON RESTRICCIONES, Y EL CORRESPONDIENTE MODELO DE REPRESENTACION Y SU MARCO OPERACIONAL LA PROBLEMATICA DE LA DINAMICIDAD SE GENERA A PARTIR DE DOS SITUACIONES: CUANDO LA INSTANCIA DE UN PROBLEMA YA RESUELTO ES
MODIFICADA POR ALGUN EVENTO EXTERNO, Y CUANDO POR EL MENCIONADO EVENTO SE GENERAN INCONSISTENCIAS EN LA INSTANCIA DEL PROBLEMA. ESTE TIPO DE PROBLEMAS SE EN CUENTRAN HABITUALMENTE EN TAREAS DE PLANIFICACION Y CONTROL, DONDE POR CAUSAS EXTERNAS ES
NECESARIO REPLANIFICAR, RESOLVIENDO LOS CONFLICTOS GENERADOS. EL MODELO PROPUESTO SE LIMITA AL ESTUDIO DE RESTRICCIONES LINEALES SOBRE VARIABLES DE DOMINIO FINITO, Y PRESENTAN DIFERENTES ESTRATEGIAS Y ALGORITMOS PARA EL TRATAMIENTO DE SITUACIONES
DINAMICAS EN SISTEMAS CON RESTRICCIONES. SISTEMAS EXPERTOS, GRAFOS Y REDES BAYESIANAS . Autor: GUTIERREZ LLORENTE JOSE MANUEL. Año: 1994. Universidad: CANTABRIA. Centro de lectura: INGENIEROS DE CAMINOS. Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA Y CIENCIAS DE LA COMPUTACION PROGRAMA DE DOCTORADO: MATEMATICA APLICADA Y
CIENCIAS DE LA COMPUTACION.
Resumen: EN LOS PRIMEROS SISTEMAS EXPERTOS, LA PROBABILIDAD
FUE CONCEBIDA COMO UN MECANISMO PARA TRATAR PROBLEMAS CON INCERTIDUMBRE. SIN EMBARGO, LA CALIDAD DE ESTOS MODELOS EXIGIA UN ELEVADO NUMERO DE PARAMETROS QUE, EN AQUEL MOMENTO ERAN PROHIBITIVOS PARA LA CAPACIDAD DE LOS ORDENADORES EXISTENTES. CON LA
APARICION, EN LA ULTIMA DECADA, DE LAS REDES BAYESIANAS (TAMBIEN CONOCIDAS COMO REDES CAUSALES PROBABILISTAS), LA PROBABILIDAD HA EXPERIMENTADO UN ESPECTACULAR RESURGIR Y, HOY DIA, ESTA REEMPLAZANDO DE MODO SATISFACTORIO AL RESTO DE LAS MEDIDAS DE
INCERTIDUMBRE. EL DESARROLLO DE LAS REDES BAYESIANAS HA SIDO MUY RAPIDO Y ACTUALMENTE EXISTEN NUMEROSOS METODOS DE PROPAGACION DE INCERTIDUMBRE, CADA UNO DE ELLOS CON UNAS CARACTERISTICAS PROPIAS, Y EFICAZ EN UN TIPO CONCRETO DE REDES. EN ESTA TESIS
SE HAN PROPUESTO DOS NUEVOS METODOS DE PROPAGACION APROXIMADA QUE MEJORAN NOTABLEMENTE LA EFICIENCIA QUE LOS METODOS ANTERIORES. UNA DE SUS CARACTERISTICAS MAS DESTACABLES ES QUE PERMITEN OBTENER UNA COTA DEL ERROR COMETIDO, TANTO GLOBALMENTE, COMO
PARA CADA UNO DE LOS NODOS. POR OTRA PARTE, LA APLICACION DEL CALCULO SIMBOLICO HA DADO ORIGEN A UN NUEVO TIPO DE PROPAGACION (PROPAGACION SIMBOLICA).
EN ESTA TESIS SE PRESENTA UN ESTUDIO TEORICO Y PRACTICO DE LAS POSIBILIDADES DE ESTE NUEVO METODO.
DISEÑO Y VALIDACION DE NUEVOS ALGORITMOS PARA EL TRATAMIENTO DE GRAFOS DE DEPENDENCIAS.
Autor: HERNANDEZ MOLINERO LUIS DANIEL. Año: 1994. Universidad: GRANADA. Centro de lectura: INFORMATICA. Centro de realización: DEPARTAMENTO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO:
TRATAMIENTO DE LA INFORMACION EN INTELIGENCIA ARTIFICIAL.
Resumen: EN EL CAPITULO I SE DA UN REPASO GENERAL AL MODO EN QUE SE
REPRESENTAN LAS PROBABILIDADES EN GRAFOS Y LAS TECNICAS USUALES DE PROPAGACION. TODOS LOS METODOS EXACTOS PUEDEN CONTEMPLARSE COMO CASOS PARTICULARES DE UN METODO EXACTO BASADO EN GRUPOS DE VARIABLES, Y EL FACTOR CLAVE DE LA EFICIENCIA DE ESTE SE
ENCUENTRA EN COMO REALIZAR LA TRIANGULACION DEL GRAFO. EL CAPITULO II ESTUDIARA DICHO PROBLEMA. EN EL CAPITULO III HEMOS FORMULADO UN ESQUEMA GENERAL BASADO EN EL MUESTREO POR IMPORTANCIA, QUE PERMITE GENERALIZAR ALGUNAS TECNICAS APROXIMADAS
CONOCIDAS. ASI EN DICHO CAPITULO SE PRESENTARAN LOS FUNDAMENTOS DE ESTE MUESTREADOR Y SU APLICACION A GRAFOS DE DEPENDENCIAS. EL PUNTO CLAVE DEL DESARROLLO SE ENCUENTRA EN LA DISTRIBUCION DE IMPORTANCIA USADA PARA MUESTREAR. EN ESTE SENTIDO, SE
PRESENTAN DISTINTAS ALTERNATIVAS EN FUNCION DE LAS DISTRIBUCIONES QUE DEFINEN EL MODELO Y EL ORDEN EN QUE SE CONSIDEREN. EN EL CAPITULO IV COMENZAREMOS MOSTRANDO LAS VENTAJAS E INCONVENIENTES DE LOS METODOS EXACTOS Y APROXIMADOS Y TERMINAREMOS
PRESENTANDO UN METODO HIBRIDO DE AMBOS METODOS. IGUALMENTE SE PRESENTA EN DICHO ESTUDIO UNA TECNICA DE SIMPLIFICACION DE ARBOLES DE UNIVERSOS. CLASIFICACION DE LAS ENFERMEDADES MAMARIAS MALIGNAS VERSUS BENIGNAS MEDIANTE ANALISIS DE IMAGEN
APLICADO A ESPECIMENES CITOLOGICOS OBTENIDOS POR PUNCION-ASPIRACION. Autor: HERRERA ESPIÑEIRA
CARMEN. Año: 1994. Universidad: GRANADA. Centro de lectura: CIENCIAS. Centro de realización: DEPARTAMENTO: BIOLOGIA CELULAR
PROGRAMA DE DOCTORADO: GENETICA Y DIFERENCIACION CELULAR. ASPECTOS BASICOS Y CLINICOS DE LA ENFERMEDAD NEOPLASTICA.
Resumen: ESTA
TESIS REALIZA UNA CUANTIFICACION CON TECNICAS DE ANALISIS DE IMAGEN DEL MAYOR NUMERO POSIBLE DE VARIABLES QUE EL CITOLOGO UTILIZA EN EL DIAGNOSTICO DE LAS LESIONES MAMARIAS, Y LA CLASIFICACION DE LAS LESIONES PRESENTES.CON ESE FIN SE HAN PRIORIZADO
LOS RASGOS CITOLOGICOS QUE PERMITEN CLASIFICAR LAS LESIONES MAMARIAS COMO BENIGNAS O MALIGNAS; OBTENIENDO QUE LA CLASIFICACION EN BASE A DISTANCIAS ENTRE NUCLEOS REALIZADA CON GRAFOS PLANARES RESULTAN SER MUY DISCRIMINANTES. SE HA CONSEGUIDO
AUTOMATIZAR LA EXTRACCION DE DIVERSAS VARIABLES UTILES EN LA DISCRIMINACION DE LESIONES MALIGNAS DE MAMA, EN BASE A TECNICAS DE ANALISIS DE IMAGENES. APRENDIZAJE DE REDES DE CREENCIA MEDIANTE LA DETECCION DE INDEPENDENCIAS: MODELOS NO
PROBABILISTICOS. Autor: HUETE GUADIX JUAN FRANCISCO. Año: 1994. Universidad: GRANADA. Centro de lectura: INFORMATICA
. Centro de realización: DEPARTAMENTO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL PROGRAMA DE
DOCTORADO: TRATAMIENTO DE LA INFORMACION EN INTELIGENCIA ARTIFICIAL.
Resumen: EN LA PRIMERA PARTE, LA MEMORIA ABORDA EL PROBLEMA DEL
APRENDIZAJE DE VARIOS TIPOS DE REDES DE CREENCIA (POLIARBOLES Y REDES SIMPLES) A PARTIR, POR EJEMPLO, DE BASES DE DATOS O DE UN EXPERTO DEL DOMINIO. LA SEGUNDA PARTE DE LA MEMORIA FIJA SU ATENCION EN DOS MODELOS DE INCERTIDUMBRE PARTICULARES, EL
POSIBILISTICO Y EL DE LOS INTERVALOS DE PROBABILIDAD, AMBOS MODELOS DE GRAN INTERES. EN EL PRIMERO SE HACE UN ESTUDIO A FONDO Y DETALLADO DEL CONCEPTO DE INDEPENDENCIA CONDICIONAL. SE PROPONEN, ADEMAS DE LA ESTANDAR VARIAS DEFINICIONES ALTERNATIVAS,
MUY INTUITIVAS Y DE BUEN COMPORTAMIENTO DE ACUERDO A LA AXIOMATICA COMUNMENTE ACEPTADA PARA LOS MODELOS DE INDEPENDICIA CONDICIONAL. SE PRESENTAN TAMBIEN VARIOS METODOS PARA ESTIMAR DISTRIBUCIONES DE POSIBILIDAD. FINALMENTE, POR LO QUE SE REFIERE AL
SEGUNDO MODELO, UN FORMALISMO MENOS ESTUDIADO EN LA LITERATURA, LA MEMORIA NO SE CENTRA EXCLUSIVAMENTE EN LA NOCION DE INDEPENDENCIA, SINO QUE SE HACE UNA CONTRIBUCION SIGNIFICATIVA EN DISTINTOS AMBITOS DEL MISMO, COMO PUEDEN SER EL DEL
CONDICIONAMIENTO EL DE LA ESTIMACION, ETC. CLP (TEMP): INTEGRACION DE RESTRICCIONES TEMPORALES METRICAS Y SIMBOLICAS EN EL MARCO CLP.
Autor: IBAÑEZ BUSCEMI FRANCISCO SALVADOR. Año: 1994. 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: EN ESTE TRABAJO SE HA PROPUESTO UNA HERRAMIENTA TEMPORAL QUE
PERMITE EXPRESAR PUNTOS E INTERVALOS TEMPORALES, POR UN LADO, Y RESTRICCIONES METRICAS Y SIMBOLICAS ENTRE ELLOS POR EL OTRO. EL TRABAJO INCLUYE LA DEFINICION DE UN NUEVO MODELO TEMPORAL Y SU CORRESPONDIENTE MODELO OPERACIONAL. EL LENGUAJE
RESULTANTE, DENOMINADO CLP (TEMP), ES UNA NUEVA INSTANCIA DEL ESQUEMA CLP(X), LA CUAL INCORPORA COMO NUEVO DOMINIO DE COMPUTACION EL DOMINIO TEMPORAL. ESTE NUEVO DOMINIO DE COMPUTACION, USA UNA UNICA CLASE DE OBJETOS TEMPORALES, ESTO ES, INTERVALOS
TEMPORALES, UNA UNICA CLASE DE RESTRICCION UNARIA, Y UNA UNICA CLASE DE RESTRICCION BINARIA. ESTA UNIFICACION, A LA VEZ DE PERMITIR UNA REPRESENTACION MAS SIMPLE COMPARADA CON LOS FORMALISMOS DE RAZONAMIENTO TEMPORAL EXISTENTES, TIENE MAYOR PODER
EXPRESIVO QUE ESTOS, EN EL SENTIDO DE QUE SUBSUME EL PODER EXPRESIVO DE ESTOS, Y ADEMAS PERMITE REPRESENTAR RESTRICCIONES QUE NO ES POSIBLE EXPRESAR CON OTROS FORMALISMOS, COMO SON LAS RESTRICCIONES SIMBOLICO-METRICAS ENTRE INTERVALOS Y ENTRE PUNTO
E INTERVALO. COMO VIMOS EN EL CAPITULO 5, ESTE TIPO DE RESTRICCIONES SURGE NATURALMENTE EN APLICACIONES DE PLANIFICACION Y SCHEDULING. POR OTRO LADO, EL HECHO DE QUE EL LENGUAJE ES UNA INSTANCIA DEL ESQUEMA CLP, PERMITE INTEGRAR EN UN MISMO MARCO LA
PARTE LOGICA Y LA PARTE TEMPORAL. EN VARIAS APLICACIONES DE PLANIFICACION, LA PROPIA FORMULACION DEL PROBLEMA SE EXPRESA MEDIANTE FORMULAS LOGICAS QUE TIENEN ASOCIADO UN PERIODO DE TIEMPO, Y POR LO TANTO, UN SISTEMA DE RAZONAMIENTO TEMPORAL
ORIENTADO A PLANIFICACION DEBE SER CAPAZ DE EXPRESAR EN UN MISMO MARCO TANTO LA PARTE LOGICA COMO LA PARTE TEMPORAL. ANALISIS DE TEXTURAS MEDIANTE COEFICIENTE MORFOLOGICO. MODELADO CONEXIONISTA APLICADO.
Autor: IBARRA PICO FRANCISCO. Año: 1994. Universidad: ALICANTE. Centro de lectura: INFORMATICA. Centro de realización: DEPARTAMENTO: TECNOLOGIA INFORMATICA Y COMPUTACION. PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS
.
Resumen: EL
PROBLEMA DE ANALISIS DE TEXTURAS VIENE TRATANDOSE EN LAS ULTIMAS DECADAS POR DIFERENTES GRUPOS DE INVESTIGACION EN TODO EL MUNDO; ABORDANDOSE ASPECTOS DE CLASIFICACION DE TEXTURAS, MODELADO, DETERMINACION DE FRONTERAS Y SEGMENTACION. LAS SOLUCIONES
APORTADAS, EN GENERAL, ADOLECEN DE PPROBLEMAS DE INVARIANZA, EXCESIVA RIGIDEZ Y DIFICULTAD DE CONVERGENCIA, SOLUCIONES HEURISTICAS, COSTES COMPUTACIONALES ELEVADOS Y FALTA DE SOLUCIONES GLOBALES QUE ABARQUEN CONJUNTAMENTE LOS ASPECTOS DE EXTRACCION
DE CARACTERISTICAS Y CLASIFICACION. LOS OBJETIVOS DE LA INVESTIGACION SE ORIENTAN HACIA:
. OBTENCION DE UN DESCRIPTOR INVARIANTE Y GENERAL DE TEXTURAS QUE PERMITA COMPACTAR EL ESPACIO DE CARACTERISTICAS.
. CLASIFICACION DE TEXTURAS EN TERMINOS DE DADA UNA REGION, DETERMINAR A QUE CLASE PERTENECE DENTRO DE UN CONJUNTO FINITO. SIN IMPONER RESTRICCIONES MORFOLOGICAS O ESTOCASTICAS AL TIPO DE TEXTURA O NUMERO DE CLASES.
. INCORPORACION DEL MODELADO CONEXIONISTA EN TODAS LAS ETAPAS DEL PROBLEMA; DE FORMA QUE SE APORTE UNA SOLUCION ALTAMENTE PARALELIZABLE Y TOLERANTE A FALLOS.
PARA ELLO SE PROPONE EL CONCEPTO DE COEFICIENTE MORFOLOGICO (COMO EXTRACTOR DE CARACTERISTICAS) Y EL MODELO DE MEMORIAS ASOCIATIVAS ORTOGONALES QUE IMPLEMENTA LAS HEURISTICAS DE EXTRACCION Y CLASIFICACION. TAMBIEN SE PROPONEN ARQUITECTURAS
CONVENCIONALES PARALELAS PARA SU IMPLEMENTACION Y SE FORMALIZA EL PROBLEMA DE CLASIFICACION. EL SISTEMA SE APLICA A LA DETECCION DE DEFECTOS EN MATERIAL TEXTIL Y LA SEGMENTACION DE MICROCALCIFICACIONES EN MAMOGRAFIAS. CLASIFICACION Y ALINEAMIENTO DE IMAGENES OBTENIDAS MEDIANTE MICROSCOPIA ELECTRONICA
. Autor: MARABINI RUIZ ROBERTO. Año: 1994. 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 ESTA TESIS
DOCTORAL SE ABORDA LA PROBLEMATICA DEL ANALISIS DE IMAGENES DE MICROSCOPIA ELECTRONICA DESDE EL PUNTO DE VISTA DEL RECONOCIMIENTO DE PATRONES. SE ESTUDIAN TANTO TECNICAS BASADAS EN EL BIESPECTRO COMO EN LAS REDES AUTOORGANIZATIVAS. SE PROPONE UN
NUEVO INVARIANTE TRANSLACIONAL BASADO EN EL BIESPECTRO, ASI COMO UNA NUEVA APLICACION DE LOS MAPAS AUTOORGANIZATIVOS CAPAZ DE CLASIFICAR IMAGENES SEGUN SU ROTACION RELATIVA. SOBRE REDUNDANCIA Y SIMILARIDAD . Autor: MARIN MARTINEZ ANGEL. Año: 1994. Universidad: PUBLICA DE NAVARRA
. Centro de lectura: CIENCIAS. Centro de realización: DEPARTAMENTO: MATEMATICA E INFORMATICA PROGRAMA DE DOCTORADO: MATEMATICA E INFORMATICA.
Resumen: SE FORMULA EN TERMINOS MATEMATICOS EL PROBLEMA DE LA REDUNDANCIA
O SOBREINFORMACION EN SISTEMAS QUE TRATAN INFORMACION VAGA O INCIERTA. PARA ELLO SE DESARROLLA UNA TEORIA DE RELACIONES DE SIMILARIDAD ENTRE SUBCONJUNTOS BORROSOS. EN LA PRIMERA PARTE SE ESTABLECEN LAS CONSECUENCIAS QUE RESULTAN AL REPRESENTAR LA
INDISTINGUINBILIDAD ENTRE DISTRIBUCIONES DE POSIBILIDAD COMO UNA RELACION BINARIA BORROSA. SEGUIDAMENTE SE ESTUDIAN DISTINTAS FORMAS DE CONSTRUIR RELACIONES ENTRE SUBCONJUNTOS BORROSOS A PARTIR DE RELACIONES ENTRE ELEMENTOS. SE ESTUDIAN
PARTICULARMENTE LAS EXTENSIONES DE SIMILARIDADES, ESTABLECIENDO EN CIERTOS CASOS ALGORITMOS DE CLASIFICACION. FINALMENTE, SE UTILIZAN ESTOS RESULTADOS PARA INTERPRETAR, RELACIONAR Y SEÑALAR LAS LIMITACIONES DE LOS MODELOS DE REDUNDANCIA EXISTENTES Y
SE PROPONE UN NUEVO MODELO DE REDUNDANCIA EN BASES DE DATOS RELACIONALES BORROSAS. DISEÑO SISTEMATICO DE CONTROLADORES DIFUSOS USANDO RAZONAMIENTO INDUCTIVO . Autor: MUGICA ALVARES FRANCISCO JOSE. Año: 1994. Universidad: POLITECNICA DE CATALUÑA. Centro de lectura: INFORMATICA. Centro de realización: DEPARTAMENTO: LLENGUATGES I SISTEMES INFORMATICS PROGRAMA DE DOCTORADO: INTELLIGENCIA
ARTIFICIAL.
Resumen: LA TESIS PRESENTA UNA NUEVA APROXIMACION AL DISEÑO DE
CONTROLADORES DIFUSOS QUE SE CARACTERIZA POR SER SISTEMATICA Y RAPIDAMENTE CONVERGENTE HACIA UNA SOLUCION OPTIMA ( EN TERMINOS DE UN INDICE ESPECIAL DE COMPORTAMIENTO DEFINIDO PARA ESTE PROPOSITO). LA APROXIMACION TIENE COMO BASES DE LA INTELIGENCIA
ARTIFICIAL EL RAZONAMIENTO INDUCTIVO Y LA LOGICA DIFUSA Y COMO BASES DE LA TEORIA DE CONTROL EL ESTUDIO DE LA OBTENCION DEL MODELO DE LA DINAMICA INVERSA PARA SISTEMAS DE NO LINEALES. UTILIZANDO UN MODELO DE REFERENCIA Y EL MODELO DE LA DINAMICA
DIRECTA DE LA PLANTA, LA METODOLOGIA ESTA ESTRUCTURADA EN CINCO ETAPAS. EN LA PRIMERA ETAPA SE OBTIENE UN MODELO ANALITICO "EN CASCADA" EN EL QUE QUEDA IMPLICITO EL MODELO DE LA DINAMICA INVERSA. EL MODELO EN CASCADA PUEDE SER INTERPRETADO COMO UN
CONTROLADOR OPTIMO EN BUCLE ABIERTO. EN LA SEGUNDA ETAPA Y UTILIZANDO LA TECNICA DEL RAZONAMIENTO INDUCTIVO DIFUSO, EL MODELO ES IDENTIFICADO COMO UN MODELO CUALITATIVO PERMITIENDO MODIFICAR LA ARQUITECTURA DE BUCLE ABIERTO EN UNA NUEVA ARQUITECTURA
DE BUCLE CERRADO.
UNA VEZ IDENTIFICADO EL MODELO CUALITATIVO DEL CONTROLADOR, SE LLEVA A CABO UNA VALIDACION DE SU CAPACIDAD PREDICTIVA DURANTE LA TERCERA ETAPA. DURANTE LA CUARTE ETAPA EL CONTROLADOR CUALITATIVO ES INTEGRADO CON LA PLANTA QUE DEBERA CONTROLAR
BAJO UNA ARQUITECTURA EN BUCLE CERRADO. LA ADICION DE PEQUEÑOS CONTROLADORES CONVENCIONALES, POR EJEMPLO DE TIPO P, PUEDEN SER AÑADIDOS CON EL PROPOSITO DE ESTABILIZACION Y SEGUIMIENTO EN LA QUINTA ETAPA. FINALMENTE, LA METODOLOGIA ES PROBADA EN
PLANTAS DE COMPLEJIDAD REAL. MODELOS NARRATIVOS DE LA MENTE . Autor: MUÑOZ GUTIERREZ CARLOS. Año: 1994. Universidad: COMPLUTENSE DE MADRID
. Centro de lectura: FILOSOFIA. Centro de realización: DEPARTAMENTO: LOGICA Y FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: LOGICA E INTELIGENCIA ARTIFICIAL.
Resumen: A PARTIR DE UNA
RECONSTRUCCION DE LA METODOLOGIA FUNCIONALISTA PARA EL ESTUDIO DE LA MENTE, EN DONDE ESTA ES CONSIDERADA COMO UN SISTEMA DE PROCESAMIENTO DE INFORMACION; SE REVISAN LOS INTENTOS QUE DESDE DIVERSAS AREAS DE INVESTIGACION, PSICOLOGIA, INTELIGENCIA
ARTIFICIAL, CIENCIA COGNITIVA, SE HAN PRODUCIDO PARA OFRECER MODELOS EXPLICATIVOS DE LA MENTE. IGUALMENTE SE REVISAN LOS CONCEPTOS TEORICOS FUNDAMENTALES QUE NUTREN EL PARADIGMA COMPUTACIONAL A LA LUZ DE UNA DESCRIPCION FENOMENOLOGICA DEL TRABAJO DE
LA MENTE Y SE ENCUENTRA QUE ES NECESARIO MODIFICAR SUSTANCIALMENTE LAS DEFINICIONES DE DICHOS CONCEPTOS, INTRODUCIR OTROS NUEVOS QUE HASTA EL MOMENTO NO HABIAN SIDO EMPLEADOS Y CONSTRUIR UNA NUEVA APROXIMACION AL TEMA, SI SE QUIERE ABRIR UN NUEVO
ESPACIO EN ESTE CAMPO DE INVESTIGACION. SE SUGIERE ASI UN MARCO GENERAL DE ESTUDIO DE LA MENTE COMO UN SISTEMA NARRATIVO.
ESTA PROPUESTA SE APOYA EN EL TIPO DE RESULTADOS PRODUCIDOS EN EL ESTUDIO DE LA MEMORIA AUTOBIOGRAFICA. TRACTAMENT DE CORPUS TEXTUALS LEMATITZATS I ESTUDI COMPARATIU DEL LLENGUATGE CIENTIFIC AMB LA PROSA
ESTANDARD . Autor: PUIG MONTADA ANA M.. Año: 1994. Universidad: POLITECNICA DE CATALUÑA. Centro de lectura: INFORMATICA. Centro de realización: DEPARTAMENTO: INSTITUT DE CIENCIES DE L'EDUCACIO PROGRAMA
DE DOCTORADO: FORMALITZACIO DEL LLENGUATGE NATURAL.
Resumen: EN
ESTA TESIS SE REALIZA UN TRATAMIENTO DE UN CORPUS DE TEXTOS CATALANES DE UN TOTAL DE 30885 LEMAS CLASIFICADOS POR SUS CATEGORIAS Y QUE LES CORRESPONDEN 777485 OCURRENCIAS. EL CORPUS PROCEDE DE LIBROS DE CUATRO MATERIAS, ESTAS SON: LOGICA,
MATEMATICAS, FISICA Y QUIMICA Y PROSA ESTANDAR. DICHO CORPUS ENTRADO POR ESCANER AL ORDENADOR HA SIDO ESTUDIADO POR METODOS ESTADISTICOS Y SE HAN REALIZADO LAS COMPARACIONES ENTRE LAS CUATRO MATERIAS. SE HA CALCULADO LA ENTROPIA SEGUN SHANNON DE
CADA MATERIA MEDIANTE EL USO DE PROGRAMAS REALIZADOS EN PASCAL. SE HA CALCULADO LA MEDIA Y LA DESVIACION ESTANDAR. EN UNA FASE POSTERIOR SE HA APLICADO LA TEORIA DE PROXIMIDADES A LOS CUATRO TIPOS DE CORPUS, CALCULANDO LA DIMENSION FRACTAL PARA
PODER CARACTERIZAR CADA TIPO DE LENGUAJE. FINALMENTE SE RELACIONAN LA ENTROPIA JUNTO CON LA TEORIA DE PROXIMIDADES PARA DEDUCIR EL PERFIL DE CADA TIPO DE LENGUAJE, TANTO GLOBALMENTE COMO PARA EL CASO DE LOS SUBSTANTIVOS.
ADQUISICION DE RESTRICCIONES SELECTIVAS ADECUADAS A PARTIR DE CORPUS USANDO UNA TAXONOMIA
SEMANTICA. Autor: RIBAS FRAMIS FRANCESC. Año: 1994. Universidad: POLITECNICA DE CATALUÑA. Centro de lectura: INFORMATICA. Centro de realización: DEPARTAMENTO: LLENGUATGES I SISTEMES INFORMATICS PROGRAMA
DE DOCTORADO: INTELIGENCIA ARTIFICIAL.
Resumen: EL OBJETIVO PRINCIPAL DE ESTA TESIS ES EL DE INVESTIGAR TECNICAS
Y ALGORITMOS COMPUTACIONALES PARA LA ADQUISICION DE RESTRICCIONES DE SELECCION BASADAS EN CLASES A PARTIR DE CO-OCURRENCIAS LEXICAS EXTRAIDAS DE GRANDES CORPUS TEXTUALES. LA TECNICA BASICA UTILIZA UNA TAXONOMIA SEMANTICA DE GRAN COBERTURA PARA
REALIZAR LA GENERALIZACION DE LAS PALABRAS QUE APARECEN EN EL CORPUS AL NIVEL DE CLASES SEMANTICAS. APARTE, UTILIZA UNA MEDIDA ESTADISTICA DE ASOCIACION PARA ESCOGER ENTRE LAS MULTIPLES CLASES CANDIDATAS A EXPRESAR LA GENERALIZACION.
EN LA TESIS ANALIZAMOS EXPERIMENTALMENTE ALGUNAS LIMITACIONES DE LA TECNICA BASICA Y DESARROLLAMOS DIVERSAS TECNICAS QUE NOS PERMITEN MEJORAR SUS RESULTADOS. ESPECIFICAMENTE: (1) INTRODUCIMOS VARIACIONES EN LOS COMPONENTES ESTADISTICOS DE LA
TECNICA BASICA CON TAL DE MEJORAR LA ROBUSTEZ AL RUIDO; (2) DEMOSTRAMOS QUE LA ADQUISICION DE RESTRICCIONES DE SELECCION MEJORA AL HACERSE A PARTIR DE MATERIAL MARCADO CON LOS SENTIDOS NOMINAL Y/O VERBAL ADECUADOS, INTRODUCIENDO, ADEMAS METODOS DE
DESAMBIGUACION DE SENTIDOS BASADOS EN LA INFORMACION TAXONOMICA; Y (3) ESTUDIAMOS LA RELACION ENTRE LA ESTRUCTURA PREDICATIVO-ARGUMENTAL Y LA ADQUISICION DE RESTRICCIONES DE SELECCION. EN TODOS LOS CASOS LAS TECNICAS HAN SIDO IMPLEMENTADAS Y
EVALUADAS EN CORPUS TEXTUALES DE GRAN TAMAÑO, CONDUCIENDO EN LA MAYORIA DE LOS CASOS A MEJORAS APRECIABLES EN LA BONDAD DE LAS RESTRICCIONES DE SELECCION OBTENIDAS. MODELIZACION CUALITATIVA DE SISTEMAS DINAMICOS. Autor: RUIZ GOMEZ JOSE. Año: 1994. Universidad: COMPLUTENSE DE
MADRID. Centro de lectura: FILOSOFIA. Centro de realización: DEPARTAMENTO: LOGICA Y FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: FILOSOFIA DE LA CIENCIA Y DE LA TECNICA.
Resumen: PALABRAS
CLAVE: INTELIGENCIA ARTIFICIAL, MODELIZACION CUALITATIVA, SISTEMAS DINAMICOS, CONTROL EXPERTO, KADS EN ALGUNAS CIENCIAS (ECONOMIA, INVESTIGACION OPERATIVA, FISICA, INGENIERIA, PSICOLOGIA, BIOLOGIA) SE PRESENTA HABITUALMENTE EL PROBLEMA DE DISPONER
DE UN MODELO MATEMATICO DE DISPOSITIVOS O SISTEMAS DINAMICOS REALES.
PARA CONSEGUIR EL MODELO DE UN SISTEMA, EL MODO MAS DIFUNDIDO ES LA MODELIZACION MATEMATICA. PERO ESTE TIPO DE MODELIZACION SE MUESTRA UTIL SOLO PARA UN SUBCONJUNTO DE LOS SISTEMAS (LINEALES O ESTRUCTURADOS) SE PROPONE EN ESTE TRABAJO UNA VIA
DESFORMALIZADORA DE LA MODELIZACION MATEMATICA. PARA ELLO, SE BUSCA UNA METODOLOGIA DE MODELIZACION DE CARACTER CUALITATIVO, BASADA EN DOS METODOLOGIAS LIGADAS A LA INTELIGENCIA ARTIFICIAL: LA MODELIZACION CUALITATIVA EMPLEADA EN LA FISICA INGENUA,
Y LA METODOLOGIA KADS LA METODOLOGIA PROPUESTA SE CONCIBE, PARTIENDO DEL CONOCIMIENTO EXPERTO (EXPERTISE), COMO UNA MODELIZACION DIRIGIDA POR LOS DATOS; DATOS OBTENIDOS TRAS UNA OBSERVACION DEL SISTEMA EN FUNCIONAMIENTO. DE LA CONJUNCION ENTRE LA
ONTOLOGIA DEL DOMINIO Y LOS DATOS DE ENTRADA Y SALIDA, SE LLEGA A UNA FORMALIZACION SIMBOLICA NO MATEMATICA QUE REFLEJA LA DINAMICA DEL SISTEMA BAJO ANALISIS EL MODELO OBTENIDO, QUE REPRESENTA EL CONOCIMIENTO DEL DOMINIO, SE VALIDA POSTERIORMENTE
MEDIANTE UNA APLICACION DE CONTROL DE UN SISTEMA FISICO REAL, ALCANZANDOSE RESULTADOS DE CALIDAD ANALOGA A LOS OBTENIDOS MEDIANTE UNA MODELIZACION Y CONTROL MATEMATICOS PARA EL MISMO SISTEMA DINAMICO HIGHER-ORDER STATISTICS APPLICATIONS IN IMAGE SEQUENCE PROCESSING . Autor: SAYROL CLOLS ELISA. Año: 1994. Universidad: POLITECNICA DE CATALUÑA. Centro de lectura: INGENIEROS DE TELECOMUNICACION
. Centro de realización: DEPARTAMENTO: TEORIA DE LA SEÑAL Y COMUNICACIONES (U.P.C.) PROGRAMA DE DOCTORADO: TEORIA DE
LA SEÑAL Y COMUNICACIONES.
Resumen: ESTA TESIS TRATA DOS APLICACIONES DE LOS ESTADISTICOS DE ORDEN SUPERIOR AL TRATAMIENTO DE IMAGEN. EN PRIMER LUGAR SE PROPONE EL USO DE METODOS BASADOS EN ESTADISTICOS DE ORDEN SUPERIOR PARA LA RESTAURACION DE IMAGENES DEGRADADAS POR
FILTROS DE FASE LINEAL Y RUIDO GAUSSIANO.
SE EXAMINAN TAMBIEN, IMAGENES ASTRONOMICAS DONDE EL BLURRING ES CAUSADO POR TURBULENCIAS DE LA ATMOSFERA. EN ESTA PARTE DE LA TESIS SE DESARROLLAN METODOS BASADOS EN EL "BICEPSTRUM ITERATIVE RECONSTRUCTION ALGORITHM" Y EL "WEIGTH SLICE
ALGORITHM".
EN LA SEGUNDA PARTE DE LA TESIS SE PROPONE UNA CLASE DE FUNCIONES DE COSTE BASADAS EN ESTADISTICOS DE ORDEN SUPERIOR PARA ESTIMAR EL MOVIMIENTO ENTRE IMAGENES CONSECUTIVAS DE UNA SECUENCIA DEGRADADAS POR RUIDO GAUSSIANO ADITIVO DE COVARIANZA
DESCONOCIDA. SE UTILIZAN IMAGENES PREVIAS DONDE EL PROBLEMA DE ESTIMACION DEL MOVIMIENTO YA SE HA RESUELTO, PARA DISMINUIR LA VARIANZA DE LA ESTIMACION. KNOWLEDGE BASE VERIFICATION USING ALGEBRAIC GRAPH TRANSFORMATIONS . Autor: VALIENTE FERUGLIO GABRIEL ALEJANDRO. Año: 1994. Universidad: ISLAS BALEARES. Centro de lectura: INFORMATICA. Centro de realización: DEPARTAMENTO: UNIVERSIDAD DE LAS ISLAS BALEARES.
|
|
|