Computación y Sistemas

Coordinación de Relevadores de Sobrecorriente con Funciones Adaptativas de Tiempo

This paper presents a new coordination process for time overcurrent relays. The purpose of the coordination is to find a time element function that allows it to operate using a constant back-up time delay for any fault current. Then, a simple methodology is proposed that improves the time coordination even with the presence of distributed generation. Experiments were carried out in a laboratory test situation using signals from a power electrical system physics simulator. A virtual prototype of the time overcurrent relay with adaptive algorithms was developed using real time acquired signals. The tests showed the enhanced performance of the overcurrent relay.

En este artículo se presenta un nuevo proceso de coordinación de relevadores de sobrecorriente de tiempo inverso. El objetivo del proceso de coordinación propuesto es determinar una función de tiempo que permita un intervalo constante de tiempo de respaldo para cualquier valor de corriente de falla. Se propone una metodología que mejora la coordinación aun con la presencia de generación distribuida. Se realizaron pruebas de laboratorio usando señales provenientes de un simulador físico de sistemas eléctricos de potencia. Se desarrolló un prototipo virtual de un relevador de sobrecorriente con los algoritmos adaptativos propuestos y se realizó la validación de los mismos usando señales en tiempo real. Las pruebas realizadas mostraron un mejor desempeño del relevador de sobrecorriente.

Algoritmo Evolutivo para el Problema de Ruteo de Vehículos con Ventanas de Tiempo Basado en una Técnica de Satisfacción de Restricciones

In this paper a Memetic Algorithm (MA) is proposed for solving the Vehicles Routing Problem with Time Windows (VRPTW) multi-objective, using a constraint satisfaction heuristic that allows pruning of the search space to direct a search towards good solutions that represent the individuals of the population. An evolutionary heuristic is applied in order to establish the crossover and mutation between sub-routes. The results of MA demonstrate that the use of Constraints Satisfaction Technique permits MA to work more efficiently in the VRPTW.

En este documento se propone un Algoritmo Memetico (MA) para resolver el problema de ruteo vehicular con ventanas de tiempo (VRPTW) multi-objetivo, usando una heurística de satisfacción de restricciones que permite podar el espacio de búsqueda para dirigir la búsqueda hacia buenas soluciones las cuales son representadas por los individuos de la población. Se aplica una heurística evolutiva para establecer el cruzamiento y mutación entre sub-rutas. El resultado del MA demuestra que el uso de la Técnica de Satisfacción de Restricciones permite al MA trabajar más eficientemente en el VRPTW.

Verificación de Aseveraciones a Tiempo de Ejecución con Énfasis

Local variables are fundamental to describe and implement computer algorithms and to specify some of their properties such as correctness, termination and performance. In this paper, we address the run-time assertion checking problem involving local variables in Java programs using Énfasis. Énfasis is a novel Aspect-Oriented Programming (AOP) language that introduces a join point model for crosscutting on local variables and path expressions to select sets of join points. The contribution of this work consists on showing that run-time assertion checking is more effective in Énfasis by its greater expressive power than in other approaches such as AspectJ and the interface specification language JML. The greater expressiveness of Énfasis assertions arises from the finer granularity of crosscutting, defined at the expression and statement level in contrast to the coarser granularity defined at the method invocation level of AspectJ. Énfasis approach characterizes not only by its non-invasiveness at the source code level, modularity, uniformity and generality are also improved in handling orthogonal crosscutting concerns.

Las variables locales son fundamentales para describir e implementar algoritmos y para especificar algunas de sus propiedades tales como correctitud, terminación y desempeño. En este artículo se discute la verificación de aseveraciones a tiempo de ejecución en programas Java utilizando Énfasis. Énfasis es un lenguaje orientado a aspectos que incorpora un modelo de puntos de unión para aplicar corte sobre variables locales y expresiones de rutas para seleccionar conjuntos de puntos de unión. La contribución de este trabajo es mostrar que la verificación de aseveraciones a tiempo de ejecución es más efectiva en Énfasis por su gran poder expresivo respecto a otros enfoques como AspectJ y JML. La expresividad de las aseveraciones en Énfasis se debe a la granularidad fina de los cortes que se definen a nivel de expresiones y sentencias, a diferencia de otras granularidades más gruesas definidas a nivel de invocaciones de métodos como en AspectJ. El enfoque de Énfasis no solo destaca por su no invasividad del código fuente, modularidad, uniformidad y generalidad, sino también por el manejo ortogonal de incumbencias de corte.

Análisis de Series LRD con Parámetro de Hurst Variante en el Tiempo

It has been previously shown that actual network traffic exhibits long-range dependence. The Hurst parameter captures the degree of long-range dependence; however, because of the nature of computer network traffic, the Hurst parameter may not remain constant over a long period of time. An iterative method to compute the value of the Hurst parameter as a function of time is presented and analyzed. Experimental results show that the proposed method provides a good estimation of the Hurst parameter as a function of time. Additionally, this method allows the detection on changes of the Hurst parameter for long data series. The proposed method is compared with traditional methods for Hurst parameter estimation. Actual and synthetic traffic traces are used to validate our results. The proposed method allows detecting the changing points on the Hurst parameter, and better results can be obtained when modeling self-similar series using several values of the Hurst parameter instead of only one for the entire series. A new graphical tool to analyze long-range dependent series is proposed. Because of the nature of this plot, it is called the transition-variance plot. This tool may be helpful to distinguish between LAN and WAN traffic. Finally, the software LRD Lab* is deployed to analyze and synthesize long-range dependent series. The LRD Lab includes a simple interface to easily generate, analyze, visualize and save long-range dependent series.

Ha sido previamente propuesto que el tráfico real de redes de computadoras exhibe dependencia de rango amplio. El parámetro de Hurst captura la cantidad de dependencia de rango amplio; sin embargo, debido a la naturaleza del tráfico en redes de computadoras, el parámetro de Hurst puede no permanecer constante durante un periodo largo de tiempo. Un método iterativo para calcular el valor del parámetro de Hurst como una función del tiempo es presentado y analizado. Los resultados experimentales demuestran que el método propuesto proporciona una buena estimación del parámetro de Hurst como una función del tiempo. Adicionalmente, este método permite la detección de cambios en el parámetro de Hurst para series largas. El método propuesto es comparado con métodos tradicionales para estimar el parámetro de Hurst. Series de datos reales y sintéticas son usadas para validar los resultados. El método propuesto permite detectar los puntos de cambio del parámetro de Hurst, y mejores resultados pueden ser obtenidos al modelar series similares a sí mismas usando varios valores del parámetro de Hurst en lugar de solamente uno para toda la serie. Una nueva herramienta gráfica para analizar series con dependencia de rango amplio es propuesta. Debido a la naturaleza de esta gráfica, ésta se llama gráfica de transición de varianza. Esta herramienta puede ser usada para distinguir entre tráfico LAN y WAN. Finalmente, el software LRD Lab* es desarrollado para analizar y sintetizar series con dependencia de rango amplio. El LRD Lab incluye una interfase sencilla para generar, analizar, visualizar y almacenar series con dependencia de rango amplio.

Control Activo de Vibraciones Usando Identificación Algebraica en Línea y Modos Deslizantes

In this paper is described the application of an on-line algebraic identification methodology for parameter and signal estimation in vibrating systems. The algebraic identification is employed to estimate the frequency and amplitude of exogenous vibrations affecting the mechanical system using only position measurements. The algebraic identification is combined with an adaptive-like sliding mode control scheme to asymptotically stabilize the system response and, simultaneously, cancel the harmonic vibrations. Numerical and experimental results show the dynamic and robust performance of the algebraic identification and the active vibration control scheme.

En este artículo se describe la aplicación de una metodología para la identificación algebraica en línea para estimación de parámetros y señales en sistemas vibratorios. La identificación algebraica se utiliza para estimar la frecuencia y la amplitud de vibraciones exógenas que afectan a un sistema mecánico, usando únicamente mediciones de posición. La identificación algebraica se combina con un esquema de control por modos deslizantes del tipo adaptable para estabilizar asintóticamente la respuesta del sistema y, simultáneamente, cancelar las vibraciones armónicas. Resultados numéricos y experimentales muestran el desempeño dinámico y robusto de la identificación algebraica y del esquema de control activo.

Evaluación de Calidad de Datos Integrados por Agregación de Calidad de sus Ancestros

La calidad de los datos se degrada durante el proceso de extracción y fusión de datos a partir de múltiples fuentes de datos heterogéneas. Además, los usuarios no tienen información acerca de la calidad de los datos que accesan. Este documento presenta los métodos utilizados para la evaluación de la calidad de datos a múltiples niveles de granularidad, incluyendo datos derivados no atómicos teniendo en cuenta la proveniencia de los datos. El prototipo del Manejador de Calidad de Datos ha sido implementado para poder probar dicha evaluación.

Data Quality is degraded during the process of extracting and merging data from multiple heterogeneous sources. Besides, users have no information regarding the quality of the accessed data. This document presents the methods utilized to assess data quality at multiple levels of granularity, including derived non-atomic data, considering data provenance. The Data Quality Manager prototype has been implemented and tested to prove such assessment.

Compensación Automática de Fuerzas Dinámicas en Sistema Rotatorios

El enfoque inicial de este estudio es el desarrollo de representaciones de parámetros conectados en rotores flexibles y sus sistemas de auto-balance acoplados. Su objetivo es derivar un conjunto de ecuaciones independientes para cada sección de estudio dentro del eje del rotor y posteriormente aplicar el método de Rigidez para ensamblar una matriz generalizada del comportamiento global del eje y sus masas. En este desarrollo se han encontrado los coeficientes asociados, es decir; el efecto que provocan los tramos en sí mismos y en sus conexiones. Se han analizado las bolas o esferas dinámicamente por medio de Lagrange para definir de la mejor manera los sistemas de ecuaciones diferenciales. Se realizó un prototipo experimental emulando las condiciones teóricas y simuladas en Software, obteniendo resultados muy similares a los encontrados matemáticamente. Se encontraron los valores de frecuencia y masas asociadas donde el método se vuelve efectivo.

The main objective of this thesis is the development of parameter representations which are interconnected in flexible rotor and autobalance systems coupled. This goal consists in achieving independent set of differential equations for each section of the shaft and applying stiffness method to obtain a global matrix. These models have been used to analyze elastic and inertial properties of rotors. After we obtain a global matrix, we can establish a set of differential equations, which may be simulated by software and analyzed stability and dynamical behavior of our complete system. Inertial associated coefficients have been founded in this model, by the way; effects by each section and connections have been gotten. Dynamical behavior of balls and rotor has been analyzed by Lagrange method to get a differential equations system. In the case of a single rotor and a single drum (with balls) in different plane, an experimental model was developed; theoretical (software) and experimental results were similar, and this showed the efficiency of the balancing method. There are several conditions of mass, stiffness and frequency which system works, these characteristics were founded.