TEORIA DE LENGUAJES FORMALES

Autor: RISCOS NÚÑEZ AGUSTÍN.
Año: 2003.
Universidad: SEVILLA.
Centro de lectura: E.T.S. INGENIERÍA INFORMÁTICA.
Centro de realización: FACULTAD DE MATEMÁTICAS.

Resumen: La memoria se sitúa en el marco teórico de la Computación celular con membranas. Se trata de un modelo de computación no convencional introducido en 1998 por Gh. Paun, inspirado en el funcionamiento de la célula. Concretamente, se introduce formalmente una variante de sistemas de computación celular con membranas que se usa como modelo para atacar la resolución de problemas NP-completos: los sistemas celulares reconocedores de lenguajes con membranas activas. En la memoria se define, además, una clase de complejidad polinomial que proporciona un concepto de resolubilidad eficiente de problemas a través de sistemas celulares reconocedores; es decir, un concepto de tratabilidad en este nuevo marco no convencional (por el momento a nivel teórico, ya que aún no existen implementaciones en soporte electrónico ni bioquímico de los sistemas celulares). En este marco, se incluyen en la memoria el diseño, análisis y verificación formal de soluciones celulares eficientes para tresproblemas numéricos NP-completos: Subset Sum, Knapsack y Partición. Tras el estudio de dichas soluciones, quedan patentes una serie de similitudes entre ellas que dan pie a abordar la tarea de diseñar un lenguaje de programación celular, en el sentido de que se puede considerar que ciertos grupos de reglas se encargan de ejecutar tareas específicas y que, por tanto, pueden ser tratadas de manera independiente, a modo de las macros de un modelo de computación orientado a programas. En la memoria se estudia, además, un programa informático escrito en Prolog capaz de simular, paso a paso, una computación de cualquier sistema celular con membranas activas. Se ha programado un módulo para dicho simulador que es capaz de generar automáticamente, dada una instancia de uno de los tres problemas mencionados anteriormente, los ficheros Prolog correspondientes a la configuración inicial y al conjunto de reglas del sistema celular encargado de resolver dicha instancia. Se presenta una sesión del simulador para ilustrar su utilidad como asistente a la hora de tratar de comprender el funcionamiento de los sistemas celulares. Por último, se incluye en la memoria un estudio acerca de la complejidad descriptiva de los sistemas celulares (en la líneainiciada por Ciobanu, Paun y Stefanescu en 2003), presentando una serie de nuevos parámetros que pueden ser de utilidad a la hora de analizar la complejidad de una computación, o de hacer una comparación entre distintos sistemas. Asimismo, se describe una representación tridimensional que ilustra gráficamente la complejidad descriptiva de los sistemas celulares.

Autor: LÓPEZ RODRÍGUEZ DAMIÁN.
Año: 2002.
Universidad: POLITECNICA DE VALENCIA .
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO DE SISTEMAS INFORMÁTICOS Y COMPUTACIÓN.

Resumen: Entre las aproximaciones al aprendizaje computacional, aquella que busca obtener una representación de un lenguaje formal se conoce como inferencia gramatical. Esta aproximación es aplicable en muchos campos, siendo útil para la resolución formal de problemas complejos, ofreciendo adaptación frente a posibles variaciones del problema. En esta tesis se aborda la inferencia gramatical de lenguajes multidimensionales, donde las componentes de los elementos del lenguaje poseen más de una relación entre sí, centrándose en la inferencia de lenguajes de árboles. Entre las posibles aplicaciones del aprendizaje de lenguajes de árboles puede citarse el interés que tiene en lingüística el modelado de las relaciones entre las componentes de un discurso, el interés de las estructuras arborescentes en el diseño de lenguajes de programación, así como las posibilidades que ofrecen primitivas arborescentes para el modelado de objetos en problemas de reconocimiento de formas. Una vez fijada la representación de las hipótesis, frente a un conjunto de datos de entrada, el problema de aprendizaje de un lenguaje puede admitir más de un valor válido de ese espacio de hipótesis. Hablamos de métodos de inferencia caracterizables cuando la búsqueda está guiada por el cumplimiento de determinadas propiedades algebraicas de los lenguajes formales. Cuando esta búsqueda se basa fundamentalmente en propiedades del conjunto de datos de entrada hablamos de métodos heurísticos. La estructura de esta tesis es la siguiente. En el capítulo 1 se enmarca brevemente el trabajo realizado, enunciando el interés que tiene el aprendizaje de lenguajes de árboles. En el capítulo 2 se resumen las estrategias más importantes del aprendizaje computacional, en especial el paradigma inductivo y la inferencia gramatical como caso particular. También se ofrecen las definiciones y la notación básica a utilizar a lo largo del trabajo. El capítulo finaliza mostrando como los resultados en inferencia gramatical pueden ser aprovechados en tareas aplicadas de reconocimiento de formas. El capítulo 3 realiza una breve revisión de los resultados más significativos en el aprendizaje de lenguajes de árboles. El capítulo 4 aborda el aprendizaje de los lenguajes k-reversibles de árboles. La clase es caracterizada bajo distintas perspectivas y se demuestran algunas propiedades. Se presenta un algoritmo de aprendizaje que identifica la clase en tiempo polinómico y se relaciona esta clase con otras clases conocidas de lenguajes de árboles. Finalmente, el capítulo resume los objetivos conseguidos, indicando problemas abiertos en relación con esta clase. Otra clase de lenguajes de árboles estudiada en esta tesis es la clase de lenguaje k-testables de árboles. En el capítulo 5 se define esta clase, se presenta un algoritmo de inferencia de coste polinómico y se relaciona la clase con otras clases de lenguajes de árboles, incluyendo la clase de los lenguajes k-reversibles. El capítulo finaliza resumiendo las conclusiones más importantes. En el capítulo 6 se estudia la clase de los lenguajes k-testables a trozos de árboles. Al igual que en los capítulos anteriores la clase es definida, caracterizada y se demuestran algunas propiedades. Se propone un algoritmo de aprendizaje y se relaciona la clase con todas las clases de lenguajes de árboles tratadas previamente. El capítulo finaliza con un resumen de las conclusiones principales. El capítulo 7 aborda el aprendizaje de lenguajes de árboles bajo una perspectiva distinta. En lugar de aprovechar determinadas propiedades algebraicas, se propone un algoritmo de aprendizaje basado en un heurístico. Inicialmente el capítulo revisa los trabajos existentes relacinados con la edición entre árboles y el análisis corrector de errores (cálculo de una medida de distancia de un árbol a un lenguaje de árboles). Partiendo de un conjunto de operaciones de edición, se presenta un algoritmo para el análisis corrector de errores. Este algoritmo sirve de base para proponere un algoritmo de inferencia que busca obtener un lenguaje lo más cercano a las muestras suministradas. El capítulo 8 aborda una tarea de reconocimiento de formas bajo una aproximación sintáctica (reconocimiento de escritura manuscrita), utilizando el algoritmo de inferencia propuesto en el capítulo 7 como medio para modelar las distintas categorías del problema, y el algoritmo de edición corrector de errores para obtener una medida de pertenencia de los objetos incógnita a cada una de las categorías obteniendo buenos resultados. La tesis se cierra con un capítulo que reúne las conclusiones del trabajo realizado y líneas de actuación de interés.

Autor: SEMPERE LUNA JOSÉ M..
Año: 2002.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: DSIC.

Resumen: La tesis que aquí se presenta trata acerca del aprendizaje de una clase de lenguajes utilizando un criterio de éxito ya formulado y la resolución de los problemas relacionados con el mismo, entre los que ocupa un papel principal la complejidad descriptiva de las hipótesis formuladas. En este trabajo nos centraremos en las clases de lenguajes lineales. La clase de los lenguajes lineales es de especial interés ya que plantea los problemas característicos que limitan o impiden cierto tipo de aprendizaje: determinismo vs. No determinismo, ambigüedad, equivalencia, etc. Así, nos encontramos en un escenario que nos permite obtener conclusiones válidas para otras clases de lenguajes cuyo interés es, hoy en día, notable. A lo largo de la presente memoria, trabajaremos bajo el criterio de éxito de Identificación en el límite. El criterio seleccionado, dentro de la variedad de criterios posibles (identificacín estocástica, identificación PAC, minimización de entropía, etc). Ha sido ampliamente aceptado por la comunidad científica desde su formulación a mediados de los años sesenta. Este marco de trabajo no impone restricciones acerca de la presentación de ejmplos para los algoritmos de aprendizaje ni tampoco exige un aprendizaje limitado en el tiempo. Otro aspecto que se estudia en este trabajo es el de la complejidad descriptiva de la clase de los lenguajes lineales. Nos gustaría destacar el hecho de que la identificación de clases de lenguajes y el análisis de la complejidad de las citadas clases, tanto descriptiva como computacional, no son áreas que, como pudiera parecer, no tengan relación. Sucede más bien todo lo contrario. Cuando se reflexiona acerca de cuáles son las representaciones idóneas para representar clases de lenguajes identificables surge, de forma natural, el análisis descriptivo de dichas clases.

Autor: SOLANS GARCÍA ANA EUGENIA.
Año: 2001.
Universidad: VALENCIA.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACIÓN.
Centro de realización: FACULTAD DE FILOSOFIA Y CIENCIAS DE LA EDUCACIÓN.

Resumen: La presente Tesis céntrarse en el estudio de las consecuencias que, para el análisis de las lenguas naturales, se derivan de la definición de éstas como lenguajes indicadores.Tal definición es el punto de partida adoptado por Yehoshua Bar-Hillel en su intento de sentar las bases de una ciencia explicativa del lenguaje ordinario, la Lingüística teórica, cuya noción capital será el concepto de información semántica definido por Rudolf Carnap y el propio Yehoshua Bar-Hillel. La Lingüística teórica, en claidad de ciencia, propónese hallar las layes intrínsecas del lenguaje oridianrio. Y para lograr semejante objetivo se valdrá de un método,la comparación con los criterios de validez pecualiares de la Lógica formal, que para el estudio de las lenguas naturales desde los principios de ficismo es la única heramienta no invalida por el trabajo de Tarski.Justamente, el método de la comparación de los criterios de validez de la argumentación en las lenguas naturales con los criterios de validez propios de los sistemas formales constituye el componente más innovador de la obra de Yehoshua Bar-Hillel. Por añadidura, siendo la Lingüística definida como ciencia del lenguaje ordinario, y presupuesta la tesis de la intertraducibilidad de los ennunciados científicos, urgirá delimitar el conjunto de enunciados básicos de la Lingüística, y contestar a la pregunta relativa a las conexiones existentes y/o estipuladas entre las categorías en que expresamos nuestro conocimiento no científico de la realidad, y las categorías en que la Física segmenta y clasifica los entes del mundo.Esto, evidentemente, en última instancia fuerza a desentrañar si las clases naturales definidas por los enunciados científicos son las categorías en que se halla orgaizada la realidad, o son las categorías que un sistema simbólico determinado (la Física) impone a la realidad a fin de que el entendimiento de cada ser humano pueda interiorizarla como experiencia propia.

Autor: PÉREZ ORTIZ JUAN ANTONIO.
Año: 2001.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: Este trabajo estudia la aplicación de distintos modelos de redes neuronales recurrentes de tiempo discreto a diversas tareas de carácter predictivo. Las redes neuronales recurrentes son redes neuronales que presentan uno o más ciclos en el grafo definido por las interconexiones de sus unidades de procesamiento. La existencia de estos ciclos les permite trabajar de forma innata con secuencias temporales. Las redes recurrentes son sistemas dinámicos no lineales capaces de descubrir regularidades temporales en las secuencias procesadas y pueden aplicarse, por lo tanto, a multitud de tareas de procesamiento de este tipo de secuencias. Esta tesis se centra en la aplicación de las redes neuronales recurrentes a la predicción del siguiente elemento de secuencias de naturaleza simbólica o numérica. No obstante, la predicción en sí no es el objetivo último: en esta tesis la capacidad predictiva de las redes recurrentes se aplica a la comprensión de señales de voz o de secuencias de texto, a la inferencia de lenguajes regulares o sensibles al contexto, y a la desambiguación de las palabras homógrafas de una oración. Los modelos concretos de redes utilizados son, principalmente, la red recurrente simple, la red parcialmente recurrente y el modelo neuronal de memoria a corto y largo plazo; este último permite superar el llamado problema del gradiente evanescente que aparece cuando los intervalos de tiempo mínimos entre eventos interdependientes son relativamente largos. Para determinar valores correctos de los parámetros libres de las redes se usan dos algoritmos, el clásico algoritmo del descenso por el gradiente y una forma del filtro de Kalman extendido.

Autor: GARCIA DUQUE JORGE.
Año: 2000.
Universidad: VIGO.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: ETSE TELECOMUNICACION-VIGO.

Resumen: La tesis se enmarca dentro de la Ingenieria del Software, disciplina que tiene como objetivo proporcionar teorias, metodos y herramientas para el desarrollo de software de calidad. La aplicación de las metodologías de desarrollo software tradicionales a sistemas software complejos (sistemas software de comunicaciones) supuso un detrimento en la calidad de los productos software desarrollados, y un incremento en los costes de los mismos; debido, en gran medida, a la imposibilidad de probar el sistema hasta que se disponía de una implementación del mismo. Las tecnicas formales, basadas en la utilización de las matematicas como vehiculo para crear especificaciones de sistemas con una sintexis y semántica formalmente definida, permiten verificar y validar el sistema en todas las fases del proceso de desarrollo, reduciendo el riesgo de propagar errores a lo largo de dicho proceso. Sin embargo, y a pesar de las ventajas potenciales de los metodos formales, es escasa su integración en la industria del software. Este hecho esta motivado principalmente por: el desconocimiento (tanto de clientes como de diseñadores) de estas tecnicas; la inexistencia de herramientas apropiadas que permitan su aplicación practica; asi como su deficiente integración en el proceso de desarrollo software. En esta tesis se presenta un modelo de proceso de desarrollo software incremental totalmente formalizado. El trabajo se centra en las primeras etapas del proceso de desarrollo software (especificación, analisis y verificación de requisitos), abordando también la fase de diseño de la arquitectura del sistema y la fase de mantenimiento. El proceso incremental definido permite tratar cada refinamiento del sistema (incremento) de diferente forma, en función de la etapa de desarrollo en que se produzca. Esta idea se basa en dos aspectos fundamentales: por una parte, aprovechar las caracteristicas complementarias de los distintos tipos de tecnicas de descripcion formal(orientadas a propiedades para las primeras fases, y constructivas para fases posteriores), combinándolas en funcion de la etapa de desarrollo; y por otra, adecuar el tratamiento de dichos refinamientos a su naturaleza. Como complemento al trabajo teórico se ha implementado una herramienta software que integra la totalidad de algoritmos desarrollados. Dicha herramienta incluye una base de datos y una interfaz grafica que facilita su acceso en un entorno Web.

Autor: NOGUEIRA NINE JUAN BENIGNO.
Año: 2000.
Universidad: VIGO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: E.T.S.I. TELECOMUNICACION.

Resumen: La creciente complejidad de los protocolos de comunicaciones requiere la utilización de nuevas tecnicas que permitan realizar una especificación de los mismos de una forma completa, consistente y no ambigua. Estas nuevas tecnicas se conocen de forma genérica como métodos formales. Las ventajas proporcionadas por los buses de campo en la industria han contribuido al desarrollo de un gran número de ellos. Cada bus de campo ha sido desarrollado y promovido por diferentes fabricantes y la mayoria de ellos han sido normalizados por diferentes organismos internacionales. Esta tesis contribuye a la introducción de los métodos formales en el estudio de los protocolos de comunicaciones industriales. La tecnica de descripción formal SDL, normalizada por la ITU en su Recomendación Z.100[178], ha sido utilizada aquí para especificar el bus de campo PROFIBUS [279]. Debido a la gran cantidad de métodos formales disponibles, se ha realizado un estudio y una clasificación previa de los mismos, antes de elegir el más adecuado para las necesidades de dicho protocolo. Los resultados obtenidos en esta tesis muestran que la utilización de técnicas de descripción formal como SDL, presenta importantes ventajas en el diseño y mejora de los protocolos de comunicaciones industriales.

Autor: ORTEGA DE LA PUENTE ALFONSO.
Año: 1999.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: ETS INFORMÁTICA UAM.

Resumen: Tanto los autómatas celulares como los fractales son ejemplos bien conocidos de lo que se considera sistemas complejos. Los sistemas de lindermayer son un tipo de --- que nacieron con el objetivo de expresar formalmente el desarrollo de organismos vivos. En este trabajo se trata de profundizar en el estudio de su potencia expresiva. Este problema y ha sido tratado por la informática teórica para el -- de los gramáticas secuenciales (de Chomsky). En nuestro caso se analiza la capacidad para representar otros sistemas complejos: fractales y autómatos celulares. Tras señalar que sistemas han sido estudiados se presentará los siguientes resultados: un teorema de equivalencia para los gráficos de lindermayer, un algoritmo para el cálculo de la dimensión fractal, representación de autónomas celulares mediante sistemas de Lindermayer.

Autor: GIL SOLLA ALBERTO.
Año: 1999.
Universidad: VIGO.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: ETSE TELECOMUNICACION-VIGO.

Resumen: ESTA TESIS DOCTORAL SE CENTRA EN LA APLICACIÓN DE LAS TECNICAS FORMALES AL DISEÑO Y VERIFICACION DE SISTEMAS DISTRIBUIDOS, CONCRETAMENTE A LA FASE INICIAL DE CAPTURA DE LOS REQUISITOS DE USUARIO. EL TRABAJO DEFINE UN PROCEDIMIENTO METODOLOGICO PARA OBTENER LA ARQUITECTURA INICIAL EN FORMA DE SISTEMA DE TRANSICIONES SIMBOLICO. PARA ELLO, DEFINE LA LOGICA TEMPORAL LTCS Y UN ALGORITMO DE MODEL CHECKING PARA LA VERIFICACION DE LAS PROPIEDADES QUE SE DESEA QUE CUMPLA EL SISTEMA. EN CASO DE NO CUMPLIRSE UNA PROPIEDAD, EN LA TESIS SE PROPONE UNA VARIANTE DE MODEL CHECKING CON REGISTROS DE INFORMACIÓN PARA IDENTIFICAR POSIBLES MODIFICACIONES DEL SISTEMA QUE DERIVEN EN EL CUMPLIMIENTO DE LA CITADA PROPIEDAD. EL MODELO RESULTANTE ES AUTOMATICAMENTE TRADUCIDO A UNA ESPECIFICACION ELOTOS QUE SIRVE COMO PUNTO DE PARTIDA PARA UN PROCESO DE REFINAMIENTOS.

Autor: DOMINGUEZ GOMEZ MIGUEL ANGEL.
Año: 1999.
Universidad: VIGO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: E.T.S.I. TELECOMUNICACION.

Resumen: HOY EN DIA EXISTE EN EL MERCADO UN GRAN NUMERO DE PROTOCOLOS EN COMUNICACIONES INDUSTRIALES, DISEÑADOS PARA SU USO EN DETERMINADOS ENTORNOS Y PROCESOS DE CONTROL DISTRIBUIDO. CADA FABRICANTE HA IMPUESTO A SUS CLIENTES SU PROPIO BUS DE CAMPO, ALCANZANDOSE UNA SITUACION DE FALTA DE NORMALIZACION. ESTO HACE QUE LA INTERCONEXION ENTRE EQUIPOS DE DIFERENTES FABRICANTES SEA PROBLEMÁTICA. EN ESTA TESIS SE REALIZA UN ESTUDIO AMPLIO DE LOS BUSES DE CAMPO EXISTENTES HOY EN DIA EN EL MERCADO, EXPLICANDO SUS APLICACIONES Y PRINCIPALES CARACTERISTICAS. TAMBIEN SE REALIZA UNA CLASIFICACION DE LOS PRINCIPALES DISPOSITIVOS Y EQUIPOS QUE REALIZAN ALGUNO DE LOS PROTOCOLOS ANTERIORES. WORLDFIP ES UN BUS DE CAMPO DISEÑADO PARA ESTABLECER COMUNICACIONES ENTRE EL NIVEL DE SENSORES/ACTUADORES Y EL NIVEL DE UNIDADES DE PROCESO EN LOS SISTEMAS DE AUTOMATIZACION: EL OBJETIVO PRINCIPAL DE ESTA TESIS ES EL ESTUDIO DETALLADO DEL NIVEL DE ENLACE DE DATOS DEL PROTOCOLO WORLDFIP, REALIZANDO SU ESPECIALIZACION FORMAL MEDIANTE EL LENGUAJE LOTOS. ESTA ES UNA TECNICA DE DESCRIPCION FORMAL NORMALIZADA POR LA ISO PARA DISEÑAR LOS SERVICIOS Y PROTOCOLOS USADOS EN LAS COMUNICACIONES DE SISTEMAS ABIERTOS OSI.

Autor: POZA GONZALEZ FRANCISCO.
Año: 1997.
Universidad: VIGO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: TECNOLOGIA ELECTRONICA PROGRAMA DE DOCTORADO: INGENIERIA EN AUTOMATICA, ELECTRONICA Y SISTEMAS DE POTENCIA.

Resumen: El uso creciente de los buses de campo en la industria ha originado el desarrollo de un gran número de ellos, cada uno de los cuales está adaptado para realizar la comunicación en un determinado entorno. Las exigencias de interconexión entre equipos de distintos fabricantes ha hecho necesaria su normalización. En esta tesis se realiza un estudio y clasificación de los distintos buses de campo existentes, en un contexto más amplio que engloba la mayoría de los sistemas empleados para la realización de la comunicación e interconexión entre distintos sistemas industriales. Uno de los buses de campo que se encuentra normalizado y que se utiliza ampliamente en comunicaciones industriales es PROFIBUS, que tuvo su origen en una iniciativa de fabricantes, usuarios y el gobierno alemán en 1987. En esta tesis se estudia en detalle el nivel de enlace de datos de PROFIBUS y se realiza su descripción formal mediante el lenguaje LOTOS. Esta es una de las técnicas de descripción formal que se encuentran actualmente normalizadas, y que se utilizan para realizar la descripción de sistemas distribuidos y concurrentes de manera que dichas descripciones sean completas, consistentes y no ambiguas.

Autor: HUECAS FERNANDEZ TORIBIO GABRIEL.
Año: 1994.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS TELEMATICOS.

Resumen: EN EL CAMPO DE LA INGENIERIA DE PROTOCOLOS ES FUNDAMENTAL EL PAPEL QUE ESTAN TOMANDO LAS TECNICAS DE DESCRIPCION FORMAL Y EL CONCEPTO DE PRUEBAS DE CONFORMIDAD.LA PRESENTE TESIS CONTEMPLA LAS SIGUIENTES CONTRIBUCIONES: 1) CONCEPTUALIZACION Y FORMALIZACION DEL PROCESO DE EJECUCION DE PRUEBAS DE CONFORMIDAD ESPECIFICADAS EN EL LENGUAJE FORMAL LOTOS. 2) DEFINICION DE UNA METICA DE COBERTURA QUE APROVECHE LA EXISTENCIA DE ESPECIFICACIONES FORMALES COMO ELEMENTO DE REFERENCIA Y QUE SEA ADECUADA A LA RIQUEZA SEMANTICA DEL LENGUAJE LOTOS. 3) ESTUDIO Y TAXONOMIA DEL CONCEPTO DE PUNTOS DE CONTROL Y OBSERVACION, FUNDAMENTALES EN EL CAMPO DE LA INGENIERIA DE PRUEBAS COMO ELEMENTO CLAVE EN LA EJECUCION DE LAS MISMAS.

Autor: LLAMAS NISTAL MARTIN.
Año: 1994.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION.
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: SISTEMAS COMPLEJOS DE LA INGENIERIA TELEMATICA.

Resumen: LOTOS (LENGUAGE OF TEMPORAL ORDERING SPECIFICACTION) ES UNA TECNICA DE DESCRIPCION FORMAL DESARROLLADA PARA LA ESPECIFICACION FORMAL DE SISTEMAS ABIERTOS DISTRIBUIDOS. LA IDEA BASICA DE LOTOS ES QUE LOS SISTEMAS SE PUEDEN ESPECIFICAR DEFINIENDO LA RELACION TEMPORAL ENTRE LAS INTERACCIONES QUE CONSTITUYEN SU COMPORTAMIENTO EXTERNAMENTE OBSERBABLE. LOTOS PERMITE ESPECIFICACIONES NO-AMBIGUAS, PRECISAS, COMPLETAS E INDEPENDIENTES DE LA IMPLEMENTACION, Y PROPORCIONAN UNA BASE FORMALMENTE BIEN DEFINIDA PARA LA VERIFICACION Y PRUEBAS. SE PUEDE UTILIZAR LOTOS Y SU TEORIA MATEMATICA ASOCIADA COMO SOPORTE DE UN PROCESO DE DISEÑO MEDIANTE REFINAMIENTOS SUCESIVOS DE PASOS, EN DONDE EL SISTEMA SE CONSTRUYE INCREMENTALMENTE EN UNA SECUENCIA DE PASOS DE DISEÑO ENCAMINADOS A OBTENER UN PRODUCTO QUE CUMPLA CON UN DETERMINADO DOCUMENTO DE REQUISITOS DE USUARIO. SE PUEDE DETERMINAR LA CONSISTENCIA ENTRE LOS SUCESIVOS MODELOS LOTOS HASTA EL PRODUCTO FINAL MEDIANTE LA VERIFICACION DE RELACIONES MATEMATICAS QUE SE HAN SE MANTENER ENTRE LOS DISTINTOS REFINAMIENTOS.

Autor: PAZOS ARIAS JOSE JUAN.
Año: 1994.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION.
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: SISTEMAS COMPLEJOS DE LA INGENIERIA TELEMATICA.

Resumen: EL TRABAJO DE LA TESIS ES UNA CONTRIBUCION AL DISEÑO Y DESARROLLO DE SISTEMAS CON EL LENGUAJE DE ESPECIFICACION FORMAL LOTOS. LOTOS FACILITA EL DISEÑO DE SISTEMAS MEDIANTE REFINAMIENTOS SUCESIVOS: EL SISTEMA SE CONSTRUYE DE FORMA INCREMENTAL COMO UNA SECUENCIA DE PASOS DIRIGIDA A OBTENER UN PRODUCTO FINAL QUE SATISFAGA LOS REQUISITOS EXPRESADOS INICIALMENTE POR EL USUARIO O CLIENTE. EL OBJETIVO DEL TRABAJO DE TESIS SE CENTRO EN EL DISEÑO DE UNA HERRAMIENTA QUE DIERA SOPORTE A ESTE PROCESO DE DISEÑO, ES DECIR, AUTOMATIZARA TODAS LAS TAREAS RUTINARIAS. EN ESTE PROCESO DE DISEÑO ES CONVENIENTE DISPONER DE UN MECANISMO QUE PERMITA ASEGURAR QUE LOS EFECTOS DE UN REFINAMIENTO SON UNICAMENTE LOS DESEADOS. LA LOGICA TEMPORAL ES UN FORMALISMO MUY ADECUADO PARA LA ESPECIFICACION DE LAS PROPIEDADES DE UN SISTEMA. DENTRO DEL TRABAJO DE TESIS, UTILIZAMOS LA LOGICA TEMPORAL PARA DEFINIR LA SEMANTICA DE PROGRAMAS LOTOS, OBTENIENDO LAS SIGUIENTES VENTAJAS: * VERIFICACION DE PROPIEDADES DE PROGRAMAS LOTOS. ESTE TIPO DE VERIFICACION OFRECE UNA BUEN MECANISMO DE GUIA DEL PROCESO DE DISEÑO. * SINTESIS DE PROGRAMAS LOTOS A PARTIR DE LA PROPIEDAD QUE QUEREMOS QUE SATISFAGA. COMO RESULTADO PRACTICO DEL TRABAJO REALIZADO, SE HA DESARROLLADO UN ENTORNO QUE DA SOPORTE AL DESARROLLO POR REFINAMIENTOS SUCESIVOS DE UN SISTEMA CON LOTOS Y QUE OFRECE DE FORMA INTEGRADA LAS FACILIDADES DE VERIFICACION Y DE SINTESIS COMENTADAS.

Autor: ALBISU APARICIO M. ASUNCION.
Año: 1992.
Universidad: PAIS VASCO.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
Centro de realización: DEPARTAMENTO: FILOSOFIA PROGRAMA DE DOCTORADO: CURSOS MONOGRAFICOS (ANTIGUO PLAN).

Autor: RULOT SEGOVIA HECTOR.
Año: 1991.
Universidad: VALENCIA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y ELECTRONICA PROGRAMA DE DOCTORADO: 240A "PROCESO DIGITAL DE SEÑALES".

Resumen: EN ESTE TRABAJO SE INTRODUCE UN NUEVO METODO DE INFERENCIA GRAMATICAL, EL ALGORITMO ECGI ("ERROR CORRECTING GRAMMATICAL INFERENCE ALGORITHM"). COMO TODOS LOS ALGORITMOS DE INFERENCIA GRAMATICAL, ECGI INFIERE LA ESTRUCTURA (GRAMATICA) QUE MEJOR REPRESENTA UNA DETERMINADA FORMA (LENGUAJE) A PARTIR DE MUESTRAS DE OBJETOS PERTENECIENTES A DICHA FORMA (CADENAS). ES PUES UN ALGORITMO CUYA FINALIDAD ORIGINAL SE HALLA EN EL RECONOCIMIENTO DE FORMAS, HABIENDOSE COMPROBADO EL (BUEN) FUNCIONAMIENTO DEL ECGI EN APLICACIONES DE RECONOCIMIENTO DE LA PALABRA HABLADA Y DE RECONOCIMIENTO DE FORMAS PLANAS (EN IMAGENES BIDEMENSIONALES). EL METODO ECGI CONSTRUYE UNA GRAMATICA REGULAR (UN AUTOMATA FINITO) MEDIANTE UN PROCEDIMIENTO INCREMENTAL. LA INFERENCIA SE APOYA EN UN ALGORITMO DE PROGRAMACION DINAMICA, EL CUAL DETERMINA, PARA CADA NUEVA MUESTRA, LA SECUENCIA DE REGLAS DE LA GRAMATICA QUE LA GENERAN CON UN MINIMO NUMERO DE REGLAS DE ERROR. A PARTIR DE ESTAS REGLAS SE DECIDEN LAS REGLAS A AÑADIR A LA GRAMATICA ACTUAL, DE FORMA QUE EN LO SUCESIVO LA MUESTRA (Y POSIBLEMENTE OTRAS MUCHAS MAS, DEBIDO A LA GENERALIZACION INDUCIDA POR EL METODO) FORMA PARTE DEL LENGUAJE DE LA MISMA. SE PRESENTAN MULTIPLES EXPERIMENTOS DESTINADOS A COMPROBAR LA EFICACIA Y BUEN FUNCIONAMIENTO DEL METODO. SE REALIZA UNA EXTENSION ESTOCASTICA (PARA LA CUAL SE DEFINE UN NUEVO METODO DE ESTIMACION DE PROBABILIDADES), DESTINADA A APROVECHAR LA INFORMACION ESTADISTICA DISPONIBLE SOBRE LA FRECUENCIA DE LAS REGLAS Y DE LOS ERRORES. SE PROPONEN METODOS DE SIMPLIFICACION DE LOS MODELOS INFERIDOS, ASI COMO HEURISTICOS PARA FORZAR EL DETERMINISMO DE LOS MISMOS. SE UTILIZAN DICHOS MODELOS PARA OBTENER UNA APROXIMACION A LA CADENA MEDIANA DE UN CONJUNTO DE CADENAS.

Autor: SALGUERO LAMILLAR FRANCISCO JOSE.
Año: 1990.
Universidad: SEVILLA.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
Centro de realización: DEPARTAMENTO: FILOSOFIA, LOGICA Y FILOSOFIA DE LA CIENCIA, ESTETICA Y TEORIA DE LAS ARTES PROGRAMA DE DOCTORADO: LOGICA Y FILOSOFIA DE LA CIENCIA.

Resumen: EN LAS ULTIMAS DECADAS HAN PROLIFERADO LOS ESTUDIOS SEMANTICOS REFERIDOS A LOGICAS INTENSIONALES, TANTO DESDE EL PUNTO DE VISTA DE LA TEORIA DE MODELOS COMO DESDE EL DE LA FILOSOFIA DEL LENGUAJE Y EL ANALISIS DE LOS LENGUAJES NATURALES. SOBRE LA BASE DE ESTOS ESTUDIOS, SE PLANTEAN ALGUNOS PROBLEMAS PROPIOS DE LOS LENGUAJES INTENSIONALES EN LA TEORIA SEMANTICA MAS RECIENTE Y SE PROPONE UNA SEMANTICA LOGICA PARA LOS SISTEMAS NORMALES DE LOGICA MODAL ASI COMO UN PROCEDIMIENTO SEMANTICO DE DECISION PARA ALGUNOS DE ESTOS SISTEMAS. TAL PROCEDIMIENTO, BASADO EN LOS ARBOLES SEMANTICOS DE SMULLYAN, PROVEE AL LOGICO DE UNA HERRAMIENTA UTIL PARA DESARROLLAR RESULTADOS METATEORICOS EN EL AMBITO DE LA LOGICA MODAL CLASICA, ASI COMO PARA EXTENDER ESTOS RESULTADOS A OTRO TIPO DE LOGICAS INTENSIONALES. FINALMENTE, SE DESCRIBE UN CALCULO LOGICO PARA LOGICA MODAL EN SENTIDO LATO QUE, AL ESTAR EMPARENTADO CON EL PROCEDIMIENTO DE ARBOLES SEMANTICOS, SE ENCUENTRA EN FORMA NORMAL DE SUYO, POR LO QUE ES FACILMENTE IMPLEMENTABLE.

Autor: RODRIGUEZ VELA M. CAMINO.
Año: 1989.
Universidad: OVIEDO.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO DE MATEMATICAS.

Resumen: EL PROBLEMA QUE MOTIVA ESTE TRABAJO ES EL DE ESTRUCTURAR LA INFORMACION CONTENIDA EN UNA BASE DE CONOCIMIENTOS MEDIANTE UN GRAFO DE HERENCIAS ASI COMO EL DESARROLLO DE ALGORITMOS QUE RESUELVAN, CON UNA COMPLEJIDAD RAZONABLE, LOS PROBLEMAS DE CONSTRUCCION Y OPTIMIZACION DEL SISTEMA DE REPRESENTACION QUE SE DEFINA. EL MODELO QUE SE PROPONE EN ESTA TESIS SE ENMARCA EN LOS QUE APROVECHAN LA ESTRUCTURA JERARQUICA DEL CONOCIMIENTO PARA REPRESENTARLO COMO UN GRAFO DE CONCEPTOS. ESTA JERARQUIA INDUCE UNA ORDENACION ENTRE LAS PROPIEDADES DE LOS CONCEPTOS, LA CUAL PERMITE UTILIZAR LOS AUTOMATAS FINITOS NO DETERMINISTICOS (AFNDS) COMO SISTEMA FORMAL DE ESPECIFICACION DEL MODELO, MAS CONCRETAMENTE LA SUBFAMILIA DE AFNDS QUE PROCEDEN DE RELACIONES DE ORDEN. ASI EL PROBLEMA DE LA CONSTRUCCION EFECTIVA Y UNA PRIMERA APROXIMACION DEL ALGORITMO DE OPTIMIZACION SE ESTUDIA EN UN CONTEXTO FORMAL DE AUTOMATAS. PARA ELLO SE DESARROLLAN EN UNA PRIMERA PARTE DE LA MEMORIA LAS HERRAMIENTAS NECESARIAS PARA EL DISEÑO DE UN ALGORITMO DE ORDEN N4 PARA LA MINIMIZACION SCOOP DE ESTOS AUTOMATAS, EL CUAL SE ADAPTA EN UNA SEGUNDA PARTE AL CASO EN QUE LOS AUTOMATAS SE UTILIZAN PARA REPRESENTAR EL CONOCIMIENTO.

Autor: GABARRO VALLES JOAQUIN.
Año: 1982.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE BARCELONA UNIVERSIDAD POLITECNICA DE BARCELONA.

Autor: HORTALA GONZALEZ M. TERESA.
Año: 1977.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAD DE MATEMATICAS DE LA UNIVERSIDAD COMPLUTENSE DE MADRID.

Resumen: OBTENEMOS UN TEOREMA DE PRESERVACION GENERAL PARA LAS RELACIONES DEFINIBLES EN PRIMER ORDEN ENTRE ESTRUCTURAS PARA UN LENGUAJE DE PRIMER ORDEN CON N-CLASES DE VARIABLES; PARA LO CUAL GENERALIZAMOS AL LENGUAJE CON N-CLASES DE VARIABLES TODOS LOS RESULTADOS CONOCIDAS DEL LENGUAJE DE PRIMER ORDEN USUAL (1-CLASE DE VARIABLES).