LENGUAJES DE PROGRAMACION, 4

Autor: MARTORELL BOFILL XAVIER.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.

Autor: NEBRO URBANEJA ANTONIO JESUS.
Año: 1998.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.

Resumen: Esta tesis se enmarca en el ámbito de los Lenguajes Orientados a Objetos Concurrentes (LOOCs) y, más concretamente, en aspectos de implementación de este tipo de lenguajes sobre sistemas distribuidos. El objetivo principal que se ha perseguido ha sido estudio de la aplicación de técnicas de Memoria Compartida Distribuida (MCD) a LOOCs. Con este fin, se ha diseñado un esquema de implementación de LOOCs basado en MCD y se ha construido un sistema de ejecución para evaluar dicho esquema. El esquema de implementación se basa en un modelo de objetos en el que se distinguen dos tipos de operaciones, consultas y actualizaciones, y que requiere que los objetos sean adquiridos para poder ser accedidos. El sistema de ejecución está escrito en C++ y se caracteriza por utilizar directamente las bibliotecas de hebras de los sistemas operativos sobre los que se ejecuta, lo que posibilita su portabilidad a sistemas que difieren tanto en su arquitectura como en el sistema operativo. Las aportaciones de la tesis se pueden resumir en que se ha constatado la viabilidad de integrar un modelo de objetos concurrentes y un esquema de MCD, lo que, unido a la utilización de hebras en la implementación, permite la construcción de aplicaciones paralelas portables y eficientes.

Autor: RUIZ JIMENEZ BLAS CARLOS.
Año: 1998.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.

Resumen: Los Sistemas de Tipo Puros con Universos propuestos en esta tesis permiten modelar de forma apropiada las teorías de tipos y los sistemas lógicos más interesantes, y constituyen el núcleo de la mayoría de los Marcos Lógicos utilizados en la demostración automática de teoremas. Este trabajo propone tales teorías como generalización de otras teorías desarrolladas por un amplio número de investigadores. Proporciona un estudio general, del cual se pueden obtener propiedades clásicas de muchos sistemas. Desarrolla un original mecanismo algebraico, que es aplicado en la demostración de algunas propiedades no triviales, como la propiedad de "condensación" o la propiedad "decidibilidad del problema de la comprobación de tipos". Tales propiedades son caracterizadas a través de un simple concepto de conservación de la tipificación bajo reducciones entre universos generalizados. Sugiere que las herramientas algebraicas desarrolladas son susceptibles de ser utilizadas para resolver otros problemas de la teoría de tipos hoy día aún abiertos.

Autor: ALBA TORRES ENRIQUE.
Año: 1998.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.

Resumen: Esta tesis se enmarca en el campo de investigación de los algoritmos genéticos paralelos (AGPs). En este trabajo se realiza una revisión y clasificación desde un punto de vista unificado de las actuales aportaciones en el dominio de los AGPs para proceder con posterioridad a una definición formal única que permita un trasvase de conocimientos entre los diferentes modelos algorítmicos que puedan derivarse. Con este objetivo se realizan varias propuestas de diseño utilizando programación orientada a objetos (C++ y JAVA) y su extensión a frameworks. En concreto, se evalúan las ventajas relativas de múltiples diseños orientados a objetos y se extraen de un modelo genérico denominado xxGA un elevado número de algoritmos genéticos secuenciales y paralelos distribuidos, además de algoritmos de población estructurada (celulares). Dicho conjunto de algoritmos es analizado de forma comparativa en aplicaciones no triviales como problemas NP-Completos, optimización numérica, entrenamiento de redes neuronales y problemas decepcionantes para un algoritmo genético. Los resultados demuestran las ventajas de los modelos asíncronos frente a los síncronos, la posibilidad de ganancias superlineales, las ventajas de utilizar poblaciones estructuradas y las ganancias numéricas y en tiempo real derivadas de una búsqueda distribuida para problemas complejos.

Autor: DURAN MUÑOZ FRANCISCO JAVIER.
Año: 1998.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.

Resumen: En esta tesis hemos definido un álgebra de módulos extensible para la lógica de reescritura, y hemos realizado su diseño utilizando las capacidades reflexivas del lenguaje Maude. Hemos propuesto una semántica a dos niveles para este álgebra de módulos, una primera semántica categórica limpia e independiente de cualquier institución y una segunda dada por una especificación en lógica de reescritura, la cual es ejecutable utilizando un lenguaje como Maude. El álgebra de módulos propuesto está basada en la idea de que las especificaciones o programas son vistos como teorías estructuradas y en la que las operaciones de módulos se definen sobre teorías estructuradas devolviendo teorías estructuradas como resultado. El lenguaje Full Maude extiende a Maude con notación para programación orientada a objetos y con el álgebra de módulos propuesto. También hemos propuesto una metodología para el diseño de entornos de ejecución para distintas lógicas y lenguajes utilizando la reflexión de la lógica de reescritura y el lenguaje Maude, y hemos hecho uso de ella para implementar un entorno de ejecución para el lenguaje Full Maude. Como una forma de extensión de nuestro álgebra de módulos proponemos la idea de ver las herramientas formales como operaciones de módulos, e ilustramos esta posibilidad con una herramienta para comprobar la propiedad de Church-Rosser de especificaciones ecuacionales de tipos ordenados.

Autor: PERALTA GIMENEZ ALONSO JOAQUIN.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.

Autor: LÓPEZ GAMINO FELIP.
Año: 1998.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: El trabajo tuvo como objetivo principal el desarrollar un sistema administrador de bases de datos orientadas a objetos y deductivas -SABDOOD- que amalgamara: la capacidad de modelado natural de objetos del mundo real, encapsulando su esructura y comportamiento, que proprocionan los modelos orientados a objetos; la capacidad de derivación de neuvo conocimiento a partir de datos existentes, suministrando vínculos del mundo real en forma de reglas, que proprocionan los modelos de datos deductivos; y, además, la capacidad de almacenamiento persistente que proporcionan los sistemas administradores de bases de datos. Los objetivos específicos de SABDOOD fueron los siguientes: * Proponer un modelo de datos orientado a objetos y deductivo. * Crear un lenguaje para utilizar este modelo en la difinición y manipulación de una nueva base de datos orientada a objetos y deductiva. * Permitir extensiones en el lenguaje. Por ejemplo, que fuera fácil definir nuevos tipos de datos, así como construir objetos complejos a apartir de objetos más simples. * Que el lenguaje fuera declarativo, permitiendo la especificación de reglas, la negación estratificada y la agupación (conjuntos) en las reglas. * Tener la posibilidad de extreer datos fácilmente, mediante consultas ad-hoc. * Contar con un único paradigma tanto para definir una base de datos como para manipular su información por medio de programas. * Mantener la separación tradicional entre esquema e instancia de base de datos y entre base de datos y aplicación. * En suma, desarrollar un sistema administrador de bases de datos que, en base al modelo y a su lenguaje, integrara las principales ventajas de los paradigmas de bases de datos orientadas a objetos y de bases de datos deductivas.

Autor: LUCAS ALBA SALVADOR.
Año: 1998.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La reescritura de términos constituye un mecanismo operacional útil para implementar un buen número de sistemas computacionales cuyo modelo de ejecución de basa en reducir una expresión inicial hasta obtener otra expresión con un contenido semántico bien definido y suficiente para los fines perseguidos. Para conseguir este objetivo computacional es necesario, en la práctica, restingir el espacio de reducciones asociado a la expresión inicial, filtrando las secuencias de reescritrua que no conducen a una forma canónica de interés. Esta optimización se pude realizar introduciendo restriciones de reemplazamiento sintácticas vinculadas a los términos que participan en las secuencias de reducción. En este trabajo formulamos y caracterizamos una forma de cómputo, que denominamos reescritura sensible al contexto, que explota este tipo de restricciones de la reescritura. Demostramos que el empleo de la reescritura sensible al contexto permite computar una gran variedad de formas canónicas evitando muchas secuencias de reducción no deseables y preservando aún la completitud de los cálculos.

Autor: ALDANA MONTES JOSE FRANCISCO.
Año: 1997.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y CIENCIAS DE LA COMPUTACION PROGRAMA DE DOCTORADO: TECNOLOGIA DE LA INFORMACION Y LAS COMUNICACIONES.

Resumen: El presente trabajo estudia la evaluación paralela y distribuida de consultas Datalog con negación estratificada. Utiliza un modelo computacional de flujo de datos que emplea para obtener resultados tanto en la evaluación como en la optimización por reescritura de consultas Datalog. Desde el punto de vista de la evaluación, se ofrece un algoritmo que, al eliminar cómputos redundantes que aún están presentes en la evaluación desarrollada por el algoritmo Semi-Ingenuo, produce una evaluación más eficiente que la desarrollada mediante éste. Por otro lado, el modelo computacional de flujo de datos permite la descomposición funcional del programa sin por ello introducir nuevas fuentes de ineficiencia en la evaluación. Por último, se desarrollan dos nuevos algoritmos de optimización de consultas que mejoran a los actualmente descritos en la literatura, extendiéndolos con nuevas transformaciones que permiten optimizaciones adicionales. Estos algoritmos no solo consideran información sintactica, sino que también utilizan con provecho las restricciones de integridad semántica existentes en la base de datos.

Autor: COTTA PORRAS CARLOS.
Año: 1997.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y CIENCIAS DE LA COMPUTACION PROGRAMA DE DOCTORADO: TECNOLOGIAS DE LA INFORMACION.

Resumen: Cualquier algoritmo de búsqueda esta inherentemente limitado si una clase lo suficientemente amplia de problemas es considerada. Como resultado se comprueba que es necesario incluir conocimiento del problema dentro del algoritmo de optimización si se desea que este se comporte de manera adecuada en diferentes dominios. Esta inclusión de conocimiento del problema se denomina hibridación, presentándose una visión dicotómica de la misma. Así, se distingue entre hibridación fuerte (adición de conocimiento en el interior del algoritmo) e hibridación débil (combinación de diferentes algoritmos de búsqueda). Estos modelos de hibridación se formalizan mediante los conceptos de sistema adaptativo y sistema adaptativo granulado respectivamente. Un análisis de la potencia computacional de ambos sistemas demuestra que ambos tienen la misma potencia expresiva, proponiéndose emplear hibridación fuerte en primera instancia y usar la hibridación débil como mecanismo adicional para mejorar el rendimiento de algoritmos híbridos fuertes. El proceso de diseñar un algoritmo híbrido fuerte es caracterizado como un problema de optimización combinatoria, demostrándose que su resolución es NP-dura. Por ello se proponen dos heurísticos de diseño: emplear operadores que manipulen formas de baja varianza en su adecuación y usar representaciones no homogéneas. Del mismo modo, se proponen dos heurísticos para la definición de algoritmos híbridos débiles: la combinación de búsquedas heterogéneas débilmente acopladas y la recombinación óptima de formas. Todos los heurísticos presentados son evaluados sobre una serie de casos de estudio que cubren un amplio rango de problemas. Un último aspecto considerado es la detección del estancamiento del algoritmo, la cual se enfoca mediante un criterio probabilístico que estudia la topología del espacio de búsqueda mediante un algorítmo de escalada estocástica inversa.

Autor: FUENTES FERNANDEZ LIDIA.
Año: 1997.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y CIENCIAS DE LA COMPUTACION PROGRAMA DE DOCTORADO: TECNOLOGIA DE LA INFORMACION.

Resumen: Dentro de este trabajo se abordan aspectos relacionados con el diseño de arquitecturas software para sistemas distribuidos abiertos. El dominio de aplicación elegido es el de los servicios avanzados de telecomunicación con intercambio de datos multimedia. El núcleo de esta tesis es el diseño de una arquitectura marco que modela todos los aspectos relacionados con el dominio de aplicación que nos ocupa. Se ha diseñado siguiendo los principios de un nuevo modelo basado en componentes y conectores, donde los componentes se definen como entidades computacionales que encapsulan datos mientras que los conectores encapsulan un protocolo de coordinación entre componentes. A partir de la arquitectura marco se ha diseñado un marco de trabajo implementado en el lenguaje Java que encapsula la arquitectura marco propuesta que será adaptada para cada uno de los servicios que se deseen derivar. Se propone un ciclo de desarrollo de servicios de telecomunicación multimedia, que define los pasos que deben seguirse para la instanciación del marco de trabajo. El diseñador dispondrá de un entorno de desarrollo de servicios con herramientas para la especificación de nuevos servicios a partir de componentes y conectores ya probados, y para la generación de una aplicación ejecutable dentro de una plataforma de procesamiento distribuido. Este entorno facilita el conocimiento de la arquitectura del marco de trabajo con gráficos explicativos favoreciendo su extensión por parte del usuario diseñador. Este entorno, incluyendo el marco de trabajo propuesto, se denomina MultiTel (Multimedia TELeconmunicatión services). Para la descripción de nuevos servicios se propone el uso de lenguajes de descripción de arquitecturas que permiten especificar la arquitectura de un marco de trabajo con el fin de facilitar su documentación y extensión. En consecuencia, la derivación de servicios multimedia a partir de MultiTel se apoya en lenguajes de descripción de arquitecturas. Los LDAs que hemos definido expresan directamente los conceptos introducidos por el modelo composicional. Además, incluimos una propuesta para la especificación de servicios usando técnicas de descripción formal (TDF), con el propósito de realizar posteriormente la verificación del servicio resultante. A lo largo de la memoria, se ilustran las bondades de nuestra propuesta mediante la especificación e implementación de servicios concretos. Este trabajo se centra fundamentalmente en la definición de servicios genéricos de vídeo bajo demanda y de videoconferencia a partir de los cuales se pueden derivar servicios más concretos.

Autor: PUEBLA SANCHEZ ALVARO GERMAN.
Año: 1997.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA.

Resumen: El análisis estáticos de programas juega un papel cada vez más importante en los compiladores actuales, ya que permite obtener información en tiempo de compilación sobre el comportamiento del programa en tiempo de ejecución. Dicha información es útil posteriormente tanto para comprobar que el programa cumple las especificaciones dadas como para optimizar el programa. En esta tesis se presentan primero algunas técnicas básicas de análisis global tales como algoritmos para análisis incremental eficiente, que permiten la reutilización de la información de análisis anteriores cuando un programa analizado sufre alguna modificación, y métodos para el análisis de las características complejas de los lenguajes de programación reales, tales como efectos laterales o modificación dinámica del programa. También se proponen técnicas de optimización de programas, las cuales se encuadran dentro del marco general de la especialización: el programa resultante es válido para el caso particular considerado y más eficiente que el programa original. Se presenta un tipo de especialización que es abstracta, en el sentido de que el programa se especializa no con respecto a valores concretos, sino con respecto a valores abstractos, que también se pueden ver como conjuntos (posiblemente infinitos) de valores concretos, e profundiza en la relación entre la especialización abstracta y la evaluación parcial tradicional y en cómo integrar ambas en un nuevo marco que reúne las ventajas de cada una de ellas. Se presenta también un lenguaje de aserciones que permite al mismo tiempo al usuario expresar requisitos (especificaciones) sobre el programa y al analizador expresar los resultados del análisis. Esto facilita la comunicación entre el usuario y las distintas herramientas del entorno de desarrollo de programas, así como entre dichas herramientas. Finalmente, se presenta un esquema de validación de aserciones que combina la comprobación en tiempo de ejecución y la verificación en tiempo de compilación mediante el uso de la información de análisis.

Autor: RODRIGUEZ GOMEZ FRANCISCO JAVIER.
Año: 1997.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DEL SOFTWARE PROGRAMA DE DOCTORADO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DEL SOFTWARE.

Resumen: Diseño y realización de un algoritmo de dependencias de datos para ecuaciones enteras multidimensionales. Este test de dependencias es un modelo matemático basado en predicados lógicos y en el método de deducción natural para el estudio de las dependencias de datos en los algoritmos que procesán vectores y matrices en los supercomputadores. El algoritmo diseñado analiza las expresiones enteras multidimensionales de varias variables, para lo cual se crean unos predicados básicos y compuestos, y un conjunto de reglas deductivas que, incorporadas al algoritmo, permiten refutar o determinar las dependencias hasta las ecuaciones enteras de segundo grado. El modelo formaliza el proceso de razonamiento, por lo que ofrecerá al diseñador del algoritmos paralelos una información conceptual y de alto nivel.

Autor: MERINO GOMEZ PEDRO.
Año: 1997.
Universidad: MALAGA.
Centro de lectura: INFORMATICA .

Resumen: La verificación de protocolos es una actividad fundamental para localizar errores de diseño y para garantizar que un sistema distribuido tenga el funcionamiento deseado. La automatización de esta tarea supone comparar una especificación del comportamiento esperado frente a otra especificación que se propone como un diseño para el sistema. Aunque la verificación automática es una técnica relativamente reciente, existe ya una gran variedad de lenguajes para la descripción de estos dos componentes, así como diversos criterios para decidir si el diseño satisface la especificación. En este trabajo se propone un nuevo lenguaje para describir el funcionamiento deseado de los protocolos. Este lenguaje de especificación de propiedades, que se denomina Observadores Lineales, puede considerarse como una versión ejecutable de un fragmento de Lógica Lineal. El nuevo formalismo permite especificar propiedades en las que es importante el número de veces que ocurren los eventos, como pueden ser las propiedades que incluyen parámetros de calidad de servicio (CDS), estrategias de planificación o números de secuencia. Además, el lenguaje incorpora mecanismos para especificar y analizar sistemas con configuraciones dinámicas. Su base lógica facilita tanto su uso en un marco de programación declarativa, como la aplicación de técnicas propias de la Lógica Lineal para el análisis y la transformación de la propia especificación de la propiedad. El algoritmo de verificación propuesto consiste en realizar el análisis al mismo tiempo que se genera el espacio de estados del protocolo, e incluye métodos de optimización existentes para reducir las necesidades de memoria y tiempo. Como novedad se presenta un método de poda del árbol de estados, que se basa en técnicas de programación entera para determinar si es posible o no satisfacer la propiedad en función del análisis ya realizado. Para demostrar la utilidad práctica de la propuesta se han realizado dos implementaciones, que se han empleado en el análisis de protocolos reales. La primera herramienta es un verificador distribuido para el lenguaje lógico concurrente KL1, en el que se incluyen Observadores Lineales como notación para propiedades. La segunda consiste en la extensión de un lenguaje orientado a transiciones, PROMELA, y en la modificación de la herramienta SPIN, que es ampliamente utilizada en entornos académicos.

Autor: LEON HERNANDEZ COROMOTO.
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: UN LENGUAJE ORIENTADO AL MODELO PRAM REQUIERE LA POSIBILIDAD DE DISTINGUIR ENTRE VARIABLES COMPARTIDAS Y PRIVADAS. TAMBIEN REQUIERE UN MODELO DE SINCRONIZACION POR BARRERAS IMPLICITO. OTRO ELEMENTO INDISPENSABLE ES EL PARALELISMO ANIDADO, OFRECIENDO LA POSIBILIDAD DE COMBINAR PARALELISMO Y RECURSIVIDAD. EN EL TRABAJO PRESENTADO SE INTRODUCE EL MODELO PRAM Y SUS VARIANTES. ADEMAS SE DISCUTEN LOS DOS LENGUAJES ORIENTADOS AL MODELO PRAM QUE REUNEN LAS CONDICIONES MENCIONADAS: FORK Y 11. EL LENGUAJE FORK Y SU SUCESOR FORK95 HAN SIDO DESARROLLADOS EN ALEMANIA. ESTOS DOS LENGUAJES SON ESTUDIADOS CON DETALLE EN EL CAPITULO DOS DE LA MEMORIA. EL LENGUAJE 11, SU SINTAXIS, SEMANTICA Y DIFERENTES REALIZACIONES SON PRESENTADOS EN EL TERCER CAPITULO. EN ESTE CAPITULO, TAMBIEN SE ESTABLECEN COMPARACIONES ENTRE AMBAS APROXIMACIONES (11 Y FORK). EL TRABAJO CONCLUYE CON UN CONJUNTO DE NUEVAS PROPUESTAS TANTO EN LA SINTAXIS DEL LENGUAJE 11 COMO EN EL ENTORNO EN TIEMPO DE EJECUCION DESTINADOS A HACER MAS EFICIENTE LA EJECUCION DEL CODIGO TRADUCIDO.

Autor: SANCHEZ LEON FERNANDO.
Año: 1996.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: FILOSOFIA Y LETRAS.
Centro de realización: DEPARTAMENTO: LINGUISTICA, LENGUAS MODERNAS, LOGICA Y FA. DE LA CIENCIA PROGRAMA DE DOCTORADO: LINGUISTICA GENERAL Y GRAMATICA ESPAÑOLA.

Resumen: ESTA TESIS ABORDA UNA SERIE DE PROBLEMAS COMUNES AL ANALISIS MORFOSINTACTICO AUTOMATICO DE LAS LENGUAS NATURALES, CENTRANDOSE, EN LA RESOLUCION DE LOS MISMOS, EN EL CASTELLANO. TRES SON LAS FASES FUNDAMENTALES DEL ANALISIS SUPERFICIAL DE TEXTOS QUE SE PLANTEAN EN UN TRABAJO DE ESTAS CARACTERISTICAS: LA SEGMENTACION DE LOS TEXTOS, EL ANALISIS MORFOLOGICO Y LA DESAMBIGUACION. LA TESIS SE CENTRA EN ESTOS DOS ULTIMOS. EN LA PRIMERA PARTE SE DESCRIBEN LOS MARCOS DE TRABAJO MAS IMPORTANTES DENTRO DEL PARADIGMA COMPUTACIONAL PARA EL TRATAMIENTO DE LA MORFOLOGIA. TRAS ESTA PRESENTACION, SE DESCRIBE PORMENORIZADAMENTE UNA IMPLEMENTACION DE LA MORFOLOGIA FLEXIVA DEL VERBO EN CASTELLANO, QUE SE SITUA DENTRO DEL MARCO DE MODELOS COMBINADOS QUE UTILIZAN GRAMATICAS DE UNIFICACION PARA FORMALIZAR LOS ASPECTOS MORFOSINTACTICOS Y UN MODELO DE MORFOLOGIA DE DOS NIVELES PARA LOS ASPECTOS MORFOFONOLOGICOS. LA IMPLEMENTACION SE OFRECE COMPLETA AL FINAL DE LA TESIS. LA SEGUNDA PARTE SE CENTRA EN TECNICAS DE DESAMBIGUACION MORFOSINTACTICA, EN CONCRETO EN TECNICAS INDUCTIVAS BASADAS EN MODELOS MARKOVIANOS DE APRENDIZAJE. ASIMISMO, SE PRESENTA UNA PRIMERA GRAMATICA DE RESTRICCIONES LINGUISTICAS QUE, CON EL MISMO ESPACIO INFORMATIVO DISPONIBLE EN LA DESAMBIGUACION ESTADISTICA, RESULTA MAS PRECISO.

Autor: ARRONTE VILLEGAS FERNANDO.
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: LOS SISTEMAS DE GESTION DE ENERGIA (EMS) Y, EN GENERAL, LOS DE SUPERVISION Y CONTROL (SCADA) SON HOY EN DIA UNA HERRAMIENTA FUNDAMENTAL PARA LA GESTION DE LA RED EN LAS EMPRESAS ELECTRICAS. LA TENDENCIA ACTUAL A UNA CRECIENTE AUTOMATIZACION SE MATERIALIZA EN ARQUITECTURAS CONSISTENTES EN VARIOS EMS O SCADA FORMANDO UNA ESTRUCTURAS COMPLEJAS DE SISTEMAS CON UN GRAN VOLUMEN DE DATOS COMPARTIDOS. UNO DE LOS PROBLEMAS DE DICHAS ARQUITECTURAS ES EL MANTENIMIENTO DE LOS DATOS. TRADICIONALMENTE, ESTOS SISTEMAS HAN SIDO MANTENIDOS POR UN NUMERO REDUCIDO DE PERSONAL CON CONOCIMIENTOS MUY ESPECIFICOS. MAS ADELANTE, A MEDIDA QUE SE AÑADIAN SISTEMAS, SE HA CONTINUADO ESTE ESQUEMA, AUNQUE CUANTO MAS COMPLEJA SE HACIA LA ARQUITECTURA, LA FILOSOFIA DE MANTENIMIENTO SE HACIA MENOS APROPIADA. ESTA SITUACION EMPEORA CUANDO LOS SISTEMAS INCLUIDOS EN LA ARQUITECTURA HAN SIDO SUMINISTRADOS POR DISTINTAS COMPAÑIAS. EN ESTE ULTIMO CASO, DE UN GRAN NUMERO DE SISTEMAS QUE COMPARTEN MUCHA INFORMACION, LA COORDINACION EN LA ACTUALIZACION DE LOS DATOS ES CRITICA; EL METODO TRADICIONAL DE MANTENIMIENTO YA NO ES VALIDO, Y ES NECESARIO ENCONTRAR NUEVAS SOLUCIONES. EL TEMA DE LA PRESENTE TESIS ES PROPONER UNA SOLUCION DE GESTION GLOBAL DE BASE DE DATOS EN UNA ESTRUCTURA COMPLEJA DE SISTEMAS DE CONTROL DE ENERGIA. EL PROCESO DE INVESTIGACION SE CONCRETA EN LA ESTRUCTURA DE SISTEMAS DE UNA GRAN COMPAÑIA ELECTRICA CON UNA ARQUITECTURA DE 24 SISTEMAS DE CONTROL DE 5 COMPAÑIAS DIFERENTES. LA TESIS ANALIZA LAS DISTINTAS BASES DE DATOS DE LOS SISTEMAS DE CONTROL EN ESTUDIO, ASI COMO LOS PROCESOS DE DEFINICION DE LOS DATOS, PARA PROPONER, UTILIZANDO METODOLOGIA DE ANALISIS Y DISEÑO DE ORIENTACION A OBJETOS, UNA GESTION GLOBAL DE LOS DATOS APLICABLES A TODOS LOS SISTEMAS. EL OBJETIVO ES POR TANTO, LA INVESTIGACION Y PROPUESTA, UTILIZANDO TECNICAS DE ANALISIS Y DISEÑO DE ORIENTACION A OBJETOS, DE UN GESTOR DE BASE DE DATOS QUE PERMITA SIMPLIFICAR LA INTRODUCCION, MANTENIMIENTO E IMPLANTACION DE LOS DATOS PARA TODOS LOS SISTEMAS DE CONTROL DE FORMA INDEPENDIENTE DE LA COMPAÑIA SUMINISTRADORA. EL MODELO PROPUESTO SE IMPLEMENTARA EN UN PROTOTIPO QUE PERMITIRA VALIDAR LA INVESTIGACION, MEDIANTE SU COMPARACION CON LOS METODOS ORIGINALES DE MANTENIMIENTO.

Autor: DIAZ LABRADOR JESUS LUIS.
Año: 1995.
Universidad: DEUSTO.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: INFORMATICA.

Resumen: EL TRABAJO PROPONE UNA IMPLEMENTACION EFICIENTE DE LOS PROGRAMAS RECURSIVOS FINALES EN LENGUAJES IMPERATIVOS, MAS EN CONCRETO EN PASCAL. LA EFICIENCIA RADICA EN QUE UN PROCESO RECURSIVO FINAL (YA SEA EXPRESADO SINTACTICAMENTE MEDIANTE PROCEDIMIENTOS O FUNCIONES, YA SEA MEDIANTE LLAMADAS RECURSIVAS DIRECTAS O INDIRECTAS) SE EJECUTA EN ESPACIO CONSTANTE, SIN CRECIMIENTO DE LA PILA DE CONTROL. LA OBTENCION DE ESTE COMPORTAMIENTO SE DEBE A TECNICAS ALTERNATIVAS DE COMPILACION, EN QUE SE MODIFICA EL TRATAMIENTO DE CUALQUIER LLAMADA FINAL A UN SUBPROGRAMA, ESTE O NO INVOLUCRADO EN UN PROCESO RECURSIVO. COMO CONSECUENCIA, NO SOLO EL ESPACIO CONSUMIDO NO CRECE SINO QUE ESTA CLASE DE LLAMADAS PUEDE EJECUTARSE MAS RAPIDAMENTE QUE EN LA IMPLEMENTACION HABITUAL, CON UNA RATIO DE MEJORA MUY ALTA EN CIERTOS CASOS PARTICULARES. CONCRETAMENTE, LOS PROCESOS EXPRESADOS MEDIANTE RECURSIVIDAD FINAL DIRECTA RESULTAN EN UN COMPORTAMIENTO (TANTO ESPACIAL COMO TEMPORALMENTE) QUE ES EN TODO ASIMILABLE AL DE LOS PROGRAMAS ITERATIVOS EQUIVALENTE, Y CIERTAS FORMAS DE RECURSIVIDAD MUTUA PUEDEN LLEGAR A TENER ESTA MISMA CARACTERISTICA. LA TECNICA PROPUESTA ES MAS SIMPLE QUE OTRAS ESTRATEGIAS CONOCIDAS PARA LENGUAJES COMO SCHEME (DE CARACTERISTICAS DIFERENTES DE PASCAL). SIN EMBARGO, SE HAN ENCONTRADO VARIAS RESTRICCIONES QUE HAN DE CUMPLIR LAS LLAMADAS FINALES PARA QUE RESULTEN OPTIMADAS. ALGUNAS DE ELLAS SE HAN IDENTIFICADO COMO UNIVERSALES, O INHERENTES AL LENGUAJE PASCAL, Y SURGIRIAN DE IGUAL MODO AL CONSIDERAR CUALQUIER TECNICA ALTERNATIVA. OTRA ES PRODUCTO DIRECTO DE LA ESTRATEGIA UTILIZADA Y EN PRINCIPIO, NO SE DA EN SCHEME. NO OBSTANTE, LA ESTRATEGIA PROPUESTA PUEDE SER INTEGRADA CON FACILIDAD EN CUALQUIER COMPILADOR EXISTENTE DE PASCAL, COSA DUDOSA CON LAS TECNICAS CONOCIDAS PARA SCHEME. POR OTRO LADO, SE ARGUMENTA QUE ESTA RESTRICCION TIENE ESCASO IMPACTO EN LA PROGRAMACION HABITUAL EN EL LENGUAJE. FINALMENTE, LA PRESENCIA DE LA OPTIMACION DE LA RECURSIVIDAD FINAL EN PASCAL POSIBILITA HABITOS DE PROGRAMACION MAS EN CONSONANCIA CON LOS CRITERIOS ACTUALMENTE ACEPTADOS. SE ESPERA QUE LA TECNICA DESARROLLADA SEA EL PUNTO DE PARTIDA DE ESTUDIOS CONDUCENTES A LA MEJORA EFECTIVA DE OTROS PROGRAMAS RECURSIVOS MAS COMPLEJOS (NO FINALES) EN LENGUAJES DE LA FAMILIA DE PASCAL.

Autor: OLIVER VILLARROYA FRANCISCO JAVIER.
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: EL -CALCULO ES UNA TEORIA SIN TIPOS QUE INTERPRETA LAS FUNCIONES COMO REGLAS, ES DECIR, UN PROCESO CODIFICADO POR UNA DEFINICION. LA IDEA DE UTILIZAR EL -CALCULO COMO UN MARCO MATEMATICO PARA LA DESCRIPCION Y EL RAZONAMIENTO ACERCA DE LOS SISTEMAS COMPUTACIONALES ES ANTIGUA PUES ESLO SUFICIENTEMENTE POTENTE PARA DESCRIBIR TODAS LAS FUNCIONES COMPUTABLES MECANICAMENTE. PERO, COMO MOSTRO G. BERRY, LA COMPUTACION QUE CAPTURA ES ESENCIALMENTE SECUENCIAL. EL OBJETIVO FUNDAMENTAL QUE GUIA EL TRABAJO ES LA FORMALIZACION DEUN CALCULO QUE EXTIENDE EL CALCULO PARA MODELIZAR LA CONCURRENCIA Y LA COMUNICACION ENTRE PROCESOS. EL LENGUAJE DESARROLLADO SE DENOMINA -CALCULO ETIQUETADO PARALELO (LCEP). SU ORIGEN ESTA EN UNA PROPUESTA INICIAL DE H. AIT-KACI (EL -CALCULO ETIQUETADO) QUE DESCRIBE UN LENGUAJE, EXTENSION DEL -CALCULO, EN EL QUE LOS ARGUMENTOS DE LAS FUNCIONES SE SELECCIONAN MEDIANTE ETIQUETAS, INCLUYENDO TANTO POSICIONES NUMERICAS COMO SIMBOLICAS. PARA DESCRIBIR EL NUEVO CALCULO USAMOS UNASEMANTICA OPERACIONAL DADA POR UN SISTEMA DE TRANSICION, A PARTIR DE LA CUAL PROPONEMOS DIFERENTES RELACIONES DE EQUIVALENCIA PARA MODELAR LOSDISTINTOS ASPECTOS RELACIONADOS CON EL COMPORTAMIENTO OPERACIONAL DE LOS PROCESOS. POR ULTIMO, YA QUE LA ESCRITURA DIRECTA DE PROGRAMAS EN LCEP RESULTA DEMASIADO COMPLEJA EN LA MAYORIA DE LOS CASOS COMO PARA PENSAR EN EL COMO RECURSO EXPRESIVO ADECUADO PARA LA PROGRAMACION, DE FINIMOS UN LENGUAJE DE MAS ALTO NIVEL, ALEPH, QUE POSEE LOS RECURSOS EXPRESIVOS DESEABLES EN PROGRAMACION Y PERMITE APROVECHAR LA POTENCIA COMPUTACIONAL DEL SISTEMA. MOSTRAMOS COMO ALEPH SE TRADUCE A LCEP COMO CODIGO MAQUINA Y ES A TRAVES DE ESTE COMO SE REALIZAN LAS EJECUCIONES DE LOS PROGRAMAS.

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

Resumen: LOS LENGUAJES DECLARATIVOS EN GENERAL Y LOS LOGICO-FUNCIONALES EN PARTICULAR POSEEN UNA CAPACIDAD EXPRESIVA PARA RESOLVER PROBLEMAS DE INDOLE SIMBOLICO MAYOR QUE LOS LENGUAJES IMPERATIVOS. SIN EMBARGO, ESTA MAYOR CAPACIDAD EXPRESIVA REQUIERE MAYOR TIEMPO DE COMPUTO Y USO DE MEMORIA. EL OBJETIVO DE ESTA TESIS ES EL AUMENTO DE LA EFICIENCIA DE UN LENGUAJE LOGICO- FUNCIONAL MEDIANTE EL DESARROLLO DE UN SISTEMA DE IDENTIFICACION Y EXPLOTACION DEL PARALELISMO IMPLICITO EN LOS PROGRAMAS. EN PRIMER LUGAR SE DESARROLLA UN PROCEDIMIENTO PARA LA IDENTIFICACION LOCAL DE PARALELISMO EN PROGRAMAS SECUENCIALES CON EL QUE SE GENERAN PROGRAMAS PARALELOS. SE DESARROLLAN VARIAS ESTRATEGIAS DE IDENTIFICACION Y DE INCORPORACION DE GRANULARIDAD QUE SE ESTUDIAN Y COMPARAN. EN SEGUNDO LUGAR SE DESARROLLA UN ANALISIS DE INDEPENDENCIA DE LOS PROGRAMAS P ARA OBTENER INFORMACION GLOBAL DE LAS REGLAS EN EL PROGRAMA PARA LA SIMPLIFICACION DE LAS REGLAS PARALELAS. PARA ELLO SE UTILIZA LA INTERPRETACION ABSTRACTA Y SE PRESENTAN Y COMPARAN TRES NIVELES DE ANALISIS. EN TERCER LUGAR SE DISEÑA UNA MAQUINA ABSTRACTA PARALELA DE MEMORIA COMPARTIDA BASADA EN PILAS PARA LA EXPLOTACION DEL PARALELISMO IDENTIFICADO. ESTA MAQUINA RETIENE LAS OPTIMIZACIONES DE LAS MAQUINAS SECUENCIALES, FUNDAMENTALMENTE DURANTE EL COMPUTO HACIA ATRAS EN LA DESASIGNACION DE MEMORIA. FINALMENTE, SE REALIZA UNA IMPLEMENTACION DE LA MAQUINA ABSTRACTA PARALELA SOBRE UN MULTIPROCESADOR DE MEMORIA COMPARTIDA SIMULADO EN VHDL, REALIZANDOSE SU VALIDACION FUNCIONAL Y TOMANDO MEDIDAS DE RENDIMIENTO. SE PLANTEAN DIFERENTES ALTERNATIVAS DE DISEÑO PARA EL BUS Y LA MEMORIA CACHE, QUE SE COMPARAN A PARTIR DE LAS MEDIDAS OBTENIDAS.