Desarrollo de un compilador para el lenguaje de especificación de eventos en series temporales TESL

Este Trabajo de Fin de Grado recoge el diseño e implementación de un compilador y una librería de entorno de ejecución para el lenguaje específico del dominio TESL, un lenguaje de alto nivel para el análisis de series temporales diseñado por un grupo de investigación de la Universidad Politécnica de Madrid. Este compilador es el primer compilador completo disponible para TESL y sirve como base para la continuación del desarrollo del lenguaje, estando ideado para permitir su adaptación a cambios en el mismo. El compilador ha sido implementado en Java siguiendo la arquitectura clásica para este tipo de aplicaciones, incluyendo un Analizador Léxico, Sintáctico y Semántico, así como un Generador de Código. Se ha documentado su arquitectura y las decisiones de diseño que han conducido a la misma. Además, se ha demostrado su funcionamiento con un caso práctico de análisis de eventos en métricas de servidores. Por último, se ha documentado el lenguaje TESL, en cuyo desarrollo se ha colaborado. ---ABSTRACT---This Bachelor’s Thesis describes the design and implementation of a compiler and a runtime library for the domain-specific language TESL, a high-level language for analyzing time series events developed by a research group from the Technical University of Madrid. This is the first fully implemented TESL compiler, and serves as basis for the continuation of the development of the language. The compiler has been implemented in Java following the classical architecture for this kind of systems, having a four phase compilation with a Lexer, a Parser, a Semantic Analyzer and a Code Generator. Its architecture and the design decisions that lead to it have been documented. Its use has been demonstrated in an use-case in the domain of server metrics. Finally, the TESL language itself has been extended and documented

Análisis eficaz de gramáticas de cláusulas definidas

[Resumen] Dentro del análisis sintáctico, la utilización de formalismos gramaticales valuados es, hoy por hoy, punto inconturnable 'en el desarrollo de estrategias de análisis sintáctico en entornos de procesamiento del lenguaje natural y en programación lógica, este último como representante del paradigma declarativo. El presente trabajo se centra en el estudio y desarrollo de técnicas de análisis sintáctico dirigidas, en última instancia, al tratamiento de sistemas basados en el análisis de formalismos gramaticales valuados donde, típicamente, el concepto de categoría gramatical se extiende a un dominio posiblemente infinito. En estas circunstancias los métodos clásicos de análisis sintáctico basados en la consideración de dominios finitos no son aplicables, al no garantizar la correcta terminación del proceso de cálculo. Referido al campo de las gramáticas lógicas, esta situación fuerza la necesidad del desarrollo e implementación de técnicas de análisis capaces de asegurar la completud de la resolucibn en el caso de presencia de símbolos funcionales. Igualmente cobra especial relevancia la consideración de las técnicas de programación dinámica aplicadas al análisis sintáctico. Este hecho es debido a la compactación de las representaĉiones, que convierte este paradigma en una técnica eficiente para el tratamiento de cálculos con un alto grado de redundancia, relacionados con fenómenos tales como el no determinismo, habituales en formalismos gramaticales complejos. Hasta el momento, las técnicas aplicadas se han basado fundamentalmente en el concepto subyacente en la técnica de restricción. Esta permite de forma simple y eficaz limitar el proceso de evaluación a aquellos nodos del bosque de prueba en los que la ausencia d^e bucles a nivel de la unificación está garantizada. La técnica no permite, sin embargo, una detección automatizada de los nodos conflictivos ni su representación. Nuestro acercamiento prevé la consideración tanto del problema de la detección de ciclos a nivel de la unificación de argumentos, como su representación explícita en los casos en los que ello sea posiblel . Nuestro punto de partida será el estudio de las propiedades estáticas de evaluación de los formalismos gramaticales considerados y su adecuación a técnicas de evaluación dinámica, las mejor adaptadas al problema por garantizar una compartición óptima de cálculos y estructuras. Para ello estableceremos un marco descriptivo común sobre el cual desarrollar y comparar diversas estrategias de análisis sintáctico. Este marco también nos permitirá extender de manera intuitiva las técnicas incorporadas al análisis de lenguajes a otros formalismos gramaticales valuados

Un sistema mediadior para la integración de datos estructurados y semiestructurados

[Resumen] El mundo actual se caracteriza por la abundancia del información y por el fácil acceso a la misma, Sin embargo esta información es difícil de manejar adecuadamente, ya que muy a menudo se encuentra dispersa, es heterogénea y tiene un nivel de estructuración bajo. La llamada telaraña mundial (World Wide Web) es un perfecto ejemplo de este fenómeno. Una situación similar ocurre en los sitemas de información de entornos corporal-- medianos-grandes. Los sistemas mediadores proporcionan a sus usuarios una visión unificada sobre fuentes de datos dispersos, heterogéneos y, posiblemente, débilmente estructurados. En este enfoque, los datos permanecen en las fuentes y el mediador es responsable de proporcionar a sus usuarios la "ilusión" de estar consultando una única fuente de datos con un esquema global único y coherente. El objetivo principal de esta tesis doctoral es la construcción de un sistema mediador que reúna todas las características necesarias para su utilización en entornos de producción reales. Entre las principales contribuciones de este trabajo se encuentran un algoritmo para calcular las capacidades de -- del esquema global en función de las de las fuentes y un sistema para la generación semi automática de envoltorios (--) para fuentes Web

Sistema de procesos técnicos para el Laboratorio de Metrología - variables electromédicas - de la Universidad Tecnológica de Pereira

Como uno de los resultados del proyecto de investigación "EVALUACION DE SISTEMAS DE SALUD EN LO REFERENTE A SU CAPACIDAD TECNOLOGICA RELACIONADA CON LA TRAZABILIDAD DEL EQUIPO BIOMEDICO Y SU SEGURIDAD ELECTRICA" desarrollado por el Grupo de Electrofisiología de la Universidad Tecnológica de Pereira (reconocido por Colciencias en categoría A) y co-financiado por COLCIENCIAS, entidad gubernamental dirigida a crear condiciones favorables para la generación de conocimiento científico y tecnológico nacional, se implementó el laboratorio para la calibración de equipo electromédico, el cual en estos momentos presta servicios en estas áreas, enmarcado dentro de los requisitos especificados en la norma internacional NTC - ISO - IEC - 17025. El laboratorio se encuentra en proceso de acreditación, constituyéndose esta situación en un factor de alta relevancia que obliga a que todos sus procedimientos se lleven a cabo de una manera sistemática, segura, confiable y con altos índices de calidad. Es aquí donde el presente proyecto se consolida como un aporte fundamental para lograr los propósitos planteados consistes en integrar el proceso de calibración, con el manejo de la información y la generación de reportes, mediante una aplicación de gestión operativa y gestión de calidad, así como el control de documentos y registros del propio laboratorio basados en la norma ISO 9001:2000. De igual forma la aplicación desarrollada con este proyecto, ofrece la posibilidad de ejecutarse en un ambiente web, apropiándose de todas las bondades y ventajas que dicha tecnología puede ofrecer. En este proyecto se presentan detalladamente diferentes elementos involucrados en el proceso de construcción de un producto software para el Laboratorio de Metrología Electromédica de la Universidad Tecnológica de Pereira, el cual obedece totalmente a las normas y derroteros planteados por la norma NTC - ISO - IEC - 17025

Visualización en móviles de contenidos protegidos

El servicio o ciclo normal en la recepción de contenido encriptado en un mensaje engloba los siguientes pasos: El dispositivo móvil recibe un mensaje . Al abrir el mensaje el dispositivo se encuentra con contenido encriptado que no puede descifrar. El dispositivo móvil se pone en contacto con la empresa o entidad externa que ha enviado el mensaje y que es la que gestiona las claves para realizar el desencriptado, enviadas por la entidad externa el dispositivo recibe las claves para proceder a la desencriptación del contenido. El dispositivo busca el manipulador de contenido correspondiente para la ejecución del contenido desencriptado No es el objetivo del proyecto realizar el ciclo completo. El ámbito del proyecto abarca por un lado la recepción del mensaje y el análisis del mismo, y por el otro lado la desencriptación del contenido y la ejecución del mismo. El siguiente dibujo representa un ejemplo del ciclo que se contempla en el proyecto, remarcando el ámbito del mismo. El ejemplo muestra un mensaje que contiene una imagen

Modelo programable para la serialización y evaluación de modelos heterogéneos en clientes web

Tesis doctoral inédita leída en la Universidad Autónoma de Madrid, Escuela Politécnica Superior, Departamento de Ingeniería Informática. Fecha de lectura : 6-07-201

Model of the mesh type wireless telecommunications system for the management of energy resources in an electrical microgrid.

El incremento continuo de la demanda eléctrica tiene un impacto directo en la degradación de medio ambiente, así como en el cambio climático y el agotamiento de los recursos naturales, lo que nos presenta un nuevo escenario donde se hace necesario avanzar hacia un nuevo concepto de red eléctrica. La incorporación de tecnología digital en el campo de las telecomunicaciones para sistema eléctrico permite el manejo de un flujo de información de carácter bidireccional entre generadores y consumidores, reduciendo así los costos de la generación y transmisión de energía. Por lo mencionado, a través de este trabajo se realizó la descripción de un sistema de comunicaciones inalámbricas con una topología de malla con redes Mesh en un sistema de sensores que soportan un sistema de control distribuido seleccionado para la gestión de energía eléctrica en una microrred. En otras palabras, se pretende trabajar los sistemas de control de manera descentralizada, donde cada uno de los componentes o módulos de la microrred son los responsables de mantener sus propios niveles de potencia, utilizando los correspondientes datos de referencia provenientes de otros módulos del sistema distribuido. La metodología consiste en establecer una modulación digital a través del simulador de red (NS-2), CupCarbon donde cada módulo de generación será un nodo que tendrá la capacidad de conectarse con la red eléctrica y otras microrredes a través de comunicaciones inalámbricas que recibirán los datos de nodos con la característica sensor/actuador para proporcionar información al sistema de gestión [1]. El modelo propuesto facultó referenciar condiciones de optimización con un modelo matemático que a través de un polinomio de tercer orden determinó valores óptimos para que el número de nodos mayor a 130 proporcione un rendimiento de aproximadamente del 80% hasta un 97% para 150, lo que muestra que este sistema de comunicaciones Mesh en microrredes eléctricas es bastante eficiente.he continuous increase in electricity demand has a direct impact on the degradation of the environment, as well as on climate change and the depletion of natural resources, which presents us with a new scenario where it is necessary to move towards a new network concept electrical. The incorporation of digital technology in the field of telecommunications for electrical systems allows the management of a two-way flow of information between generators and consumers, thus reducing the costs of power generation and transmission. Therefore, through this work, the description of a wireless communication system with a mesh topology with Mesh networks was made in a sensor system that supports a distributed control system selected for the management of electrical energy in a microgrid. In other words, it is intended to work the control systems in a decentralized manner, where each of the components or modules of the microgrid are responsible for maintaining their own power levels, using the corresponding reference data from other modules of the distributed system. . The methodology consists of establishing a digital modulation through the network simulator (NS-2), CupCarbon. where each generation module will be a node that will have the ability to connect with the electrical network and other microgrids through wireless communications that will receive data from nodes with the sensor / actuator characteristic to provide information to the management system [1]. The proposed model enabled the referencing of optimization conditions with a mathematical model that, through a third order polynomial, determined optimal values ​​so that the number of nodes greater than 130 provides a performance of approximately 80% to 97% for 150, which shows that this Mesh communication system in electrical microgrids is quite efficient

Fundamentos de informática

El libro que presentamos responde a esta llamada, puesto que se ocupa de algunas de las raíces o fundamentos de la informática. Lo hemos escrito pensando en los estudiantes universitarios de las ramas de informática, así como en los profesionales antes mencionados. Estos últimos encontrarán un texto autocontenido,desprovisto en lo posible del aparato teórico habitual y preocupado permanentemente en la tarea de desarrollar aperturas a cuestiones de la más viva actualidad, como los sistemas borrosos o la complejidad del software, y a cuestiones en las que parece vislumbrarse un futuro. En cuanto a los estudiantes,nuestra experiencia nos dice que, por un cúmulo de circunstancias que no hacen al caso, se ven obligados con frecuencia a estudiar las materias objeto de nuestro libro, tal vez, sí, con mayor extensión y formalismo matemático, pero no siempre bajo condiciones óptimas: apuntes improvisados, textos en lenguas extranjeras, dispersión de estas mismas materias en distintas asignaturas y por tanto fragmentación de su sentido radical (raíces), o desapego del sentido de su aplicación. Sin poner en tela de juicio la necesidad científica del mejor formalismo posible, está constatado que dosis excesivas y exclusivas de esa medicina conducen en el plano educativo a un estéril desánimo de los estudiantes

Optimización del flujo de potencia en el sistema eléctrico ecuatoriano con programación no lineal bajo MATLAB

The theme proposed for the development of this work is to determine optimal operating point of the Ecuadorian Electric System to analyze and minimize losses, this involves the study of optimal power flow has the advantage of solving economic offices and minimize losses simultaneously. Other important points, and power flow is able to solve, and this work has been used for the resolution, the method of Newton Raphson, this method requires first a division of control variables and state variables, then it becomes necessary to define certain objective functions, then if the method applied in order to obtain iteratively, successive corrections for the control variables, up to a point of operation of the power system, which raised objective functions have a value optimal. This work aims to obtain optimum flow modeling power and consequently, a program in MATLAB able to solve. For analysis of the subject power flows active, reactive analyzed.El tema propuesto para el desarrollo de este trabajo es determinar un punto óptimo de operación del Sistema Eléctrico Ecuatoriano, para analizar y minimizar las pérdidas, esto implica el estudio del flujo de potencia óptimo que tiene la ventaja de poder resolver despachos económicos y minimizar las pérdidas simultáneamente. Entre otros puntos importantes, e flujo de potencia es capaz de resolverlos, y para este trabajo se ha utiliza para la resolución, el método de Newton Raphson, este método requiere primeramente de una división de variables de control y variables de estado, luego se hace necesario definir ciertas funciones objetivo, para luego si aplicar el método con el objeto de obtener iterativamente, correcciones sucesivas sobre las variables de control, hasta llegar a un punto de operación del sistema de potencia, en el cual las funciones objetivo planteadas, tienen un valor óptimo. El presente trabajo tiene como objetivo obtener un modelamiento de flujo óptimo de potencia y consecuentemente, un programa en MATLAB capaz de resolverlo. Para el análisis del tema se analizó los flujos de potencia: activa, reactiva

Sistema de procesos técnicos para el Laboratorio de Metrología - variables electromédicas - de la Universidad Tecnológica de Pereira

Como uno de los resultados del proyecto de investigación "EVALUACION DE SISTEMAS DE SALUD EN LO REFERENTE A SU CAPACIDAD TECNOLOGICA RELACIONADA CON LA TRAZABILIDAD DEL EQUIPO BIOMEDICO Y SU SEGURIDAD ELECTRICA" desarrollado por el Grupo de Electrofisiología de la Universidad Tecnológica de Pereira (reconocido por Colciencias en categoría A) y co-financiado por COLCIENCIAS, entidad gubernamental dirigida a crear condiciones favorables para la generación de conocimiento científico y tecnológico nacional, se implementó el laboratorio para la calibración de equipo electromédico, el cual en estos momentos presta servicios en estas áreas, enmarcado dentro de los requisitos especificados en la norma internacional NTC - ISO - IEC - 17025. El laboratorio se encuentra en proceso de acreditación, constituyéndose esta situación en un factor de alta relevancia que obliga a que todos sus procedimientos se lleven a cabo de una manera sistemática, segura, confiable y con altos índices de calidad. Es aquí donde el presente proyecto se consolida como un aporte fundamental para lograr los propósitos planteados consistes en integrar el proceso de calibración, con el manejo de la información y la generación de reportes, mediante una aplicación de gestión operativa y gestión de calidad, así como el control de documentos y registros del propio laboratorio basados en la norma ISO 9001:2000. De igual forma la aplicación desarrollada con este proyecto, ofrece la posibilidad de ejecutarse en un ambiente web, apropiándose de todas las bondades y ventajas que dicha tecnología puede ofrecer. En este proyecto se presentan detalladamente diferentes elementos involucrados en el proceso de construcción de un producto software para el Laboratorio de Metrología Electromédica de la Universidad Tecnológica de Pereira, el cual obedece totalmente a las normas y derroteros planteados por la norma NTC - ISO - IEC - 17025