Scielo RSS <![CDATA[Computación y Sistemas]]> http://www.scielo.org.mx/rss.php?pid=1405-554620060004&lang=en vol. 10 num. 2 lang. en <![CDATA[SciELO Logo]]> http://www.scielo.org.mx/img/en/fbpelogp.gif http://www.scielo.org.mx <![CDATA[<b>Editorial</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462006000400001&lng=en&nrm=iso&tlng=en <![CDATA[<b>Editorial</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462006000400002&lng=en&nrm=iso&tlng=en <![CDATA[<b>An Algorithm for Computing Design Parameters of IFIR Filters with Low Complexity</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462006000400003&lng=en&nrm=iso&tlng=en This paper describes an algorithm for computing design parameters of Interpolated FIR (IFIR) digital filters with a low complexity (small number of products per output sample). The interpolation function is performed by a sharpened cascaded Recursive-Running Sum (RRS) filter, where the sharpening technique is used to improve the RRS frequency domain characteristics. Given the desired filter specifications and a chosen sharpening polynomial, the proposed algorithm computes the maximum IFIR filter interpolation factor and the minimum number of stages of the RRS filter in such a way that the overall structure meets the desired specifications with the minimum complexity<hr/>En este artículo se describe un algoritmo para calcular los parámetros de diseño de filtros digitales FIR interpolados (IFIR) con una complejidad baja (número pequeño de productos por muestra de salida). La función de interpolación se lleva a cabo mediante un filtro de suma en línea recursivo (RRS) moldeado, en donde la técnica de moldeo se aplica para mejorar las características en el dominio de la frecuencia del filtro RRS. Dadas las especificaciones deseadas del filtro y un polinomio de moldeo, el algoritmo propuesto calcula el máximo factor de interpolación del filtro IFIR y además el número mínimo de etapas en cascada del filtro RRS de manera que la estructura completa satisfaga las especificaciones con la mínima complejidad. <![CDATA[<b>Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model</b>: <b><i>Verificación de las propiedades lineales síncronas y asíncronas del Modelo de la Red de Petri Coloreado Intervalo Tiempo</i></b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462006000400004&lng=en&nrm=iso&tlng=en This paper deals with verification of timed and untimed linear properties of the Interval Timed Colored Petri Net model. This model can simulate other timed colored Petri nets and allows describing large and complex real-time systems. We propose here to contract its generally infinite state space into a graph that captures all linear properties of the model. The resulting graph is finite iff, the model is bounded (the set of its reachable markings is finite). In this case, linear properties of the model can be verified on the graph using, for example, the classical linear model checking techniques.<hr/>Este artículo se ocupa de la verificación de las propiedades lineales temporizadas y no temporizadas del modelo de redes de Petri coloreadas con intervalos temporizados. Este modelo puede simular otras redes de Petri coloreadas temporizadas y permite describir grandes y complejos sistemas en tiempo real. Nosotros proponemos contraer el espacio generalmente infinito, en un grafo que capture todas las propiedades lineales del modelo. El grafo resultante es finito, si y solamenti si, el modelo tiene límites (el conjunto de sus marcas accesibles es finito). En este caso, las propiedades lineales del modelo se pueden verificar en el grafo resultante, utilizando, por ejemplo, técnicas de comprobación del modelo lineal clásico. <![CDATA[<b><i>A Comparative Evaluation of four Algorithms for Numeric Solution of the Deconvolution on Unidimensional Systems</i></b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462006000400005&lng=en&nrm=iso&tlng=en En el presente trabajo se presenta la comparación de un algoritmo de deconvolución con respecto de otros tres algoritmos clásicos utilizados para deconvolución unidimensional de señales. El algoritmo fue propuesto y analizado en el laboratorio de procesamiento digital de señales de la UAZ. Durante las últimas tres décadas se han desarrollado nuevas ideas sobre soluciones a problemas de deconvolución o restauración de señales n-dimensiónales, la idea sigue siendo la misma que se plantea en la literatura de la ingeniería que data de los años 50s "restaurar señales o aproximarlas a su forma original para realizar un análisis de las mismas con errores relativamente pequeños". Cuando una señal x(t) se origina tiene que pasar por algún medio para poder ser captada, durante este proceso se realiza una operación llamada convolución entre x(t) y otro tipo de señales, en el momento en que captamos la señal, ésta ya no es x(t) sino la convolución de x(t) con una función h(t) mas componentes de ruido existentes en el medio. Para obtener la señal x(t) es necesario resolver un problema inverso el cual al final nos proporciona una estimación de x(t) o <img border=0 src="../../../../../img/revistas/cys/v10n2/a5s1.jpg">. El propósito final del trabajo es evaluar y clasificar la capacidad de restauración de señales de cada uno de los cuatro métodos.<hr/>The present paper presents the comparison of a deconvolution algorithm with other three classical approaches for one-dimensional deconvolution of signals. The algorithm was proposed at the digital signal processing laboratory at UAZ. During the last three decades, the development of new ideas on the solution about deconvolution or n-dimensional signal restoration methods, have become to a new meaning to this problem, the idea remains the same since the 50's in the engineering literature, that is " signal restoration or approximation to it's original form with the purpose of a better analysis ". When a signal x(t) is generated, the only way to be picked up is by a sensor. During the sensing process the convolution of x(t) with another type of signals occurs. Then, a new signal is generated by the convolution of x(t) with a function h(t) and other noisy components. To obtain the original signal x(t), we have an inverse problem and the solution will deliver an estimation of x(t) or <img border=0 src="../../../../../img/revistas/cys/v10n2/a5s1.jpg">. The final purpose of this work is to evaluate and classify the signal restoration capacity of each method. <![CDATA[<b><i>Convergence of Minimum-Entropy Robust Estimators</i></b>: <b><i>Applications in DSP and Instrumentation</i></b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462006000400006&lng=en&nrm=iso&tlng=en En este trabajo de investigación nos proponemos continuar con la misma línea de investigaciones iniciadas por Pronzato y Thierry (Pronzato et al, 2000a), (Pronzato et al, 2000b), (Pronzato et al, 2001) las cuales se abordaron ya en los trabajos de De la Rosa y Fleury (De la Rosa et al, 2002), (De la Rosa et al, 2003) en un marco de trabajo perteneciente a la instrumentación, y en donde se establece un modelo estocástico para representar ciertas señales y para el cual se formulan ciertas hipótesis limitadas sobre la naturaleza del ruido o perturbaciones que afectan los sistemas bajo estudio. La utilización de estimadores robustos es importante, ya que los sistemas reales están expuestos a perturbaciones continuas que son de naturaleza desconocida, esto se ha experimentado en aplicaciones propias de la instrumentación médica, en procesos industriales, y en telecomunicaciones entre otros. Presentamos algunos resultados complementarios a los presentados por Pronzato y Thierry sobre la estimación robusta, tanto para modelos lineales como para modelos no lineales.<hr/>In this paper we propose to continue in the same research line initiated by Pronzato and Thierry (Pronzato et al, 2000a), (Pronzato et al, 2000b), (Pronzato et al, 2001), recent works inspired in the minimum-entropy estimation have been published by De la Rosa and Fleury (De la Rosa et al, 2002), (De la Rosa et al, 2003) in the instrumentation framework. An statistical model has been established to represent some instrumental signals, similarly, some limited hypothesis over such a model have been made. In fact, we assume limited knowledge of the noise or external perturbations distribution that interact into the system. The use of robust estimators in such situations is very helpful, since the real systems are always exposed to continuous perturbations of unknown nature. Some applications where the last is true are: medical instrumentation, industrial processes, in telecommunications among others. Some results of new minimum-entropy estimators for linear and nonlinear models are presented, such results complement those presented by Pronzato and Thierry. <![CDATA[<b>Parallel Hardware/Software Architecture for the BWT and LZ77 Lossless Data Compression Algorithms</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462006000400007&lng=en&nrm=iso&tlng=en Nowadays, the use of digital communication systems has increased in such a way that network bandwidth is affected. This problem can be solved by implementing data compression algorithms in communication devices to reduce the amount of data to be transmitted. However, the design of large hardware data compression models implies to consider an efficient use of the silicon area. This work proposes the conjunction of two different hardware lossless data compression approaches which share common hardware elements. The project also involves the design of a hardware/software architecture to exploit parallelism increasing execution speed while keeping flexibility. A custom coprocessor unit executes the compute-intense tasks of the Burrows-Wheeler Transform and the Lempel-Ziv lossless data compression schemes. This coprocessor unit is controlled by a SPARC V8 compatible general purpose microprocessor called LEON2.<hr/>Hoy en día, el uso de sistemas de comunicación digitales ha aumentado de tal forma que el ancho de banda en las redes resulta afectado. Este problema puede solucionarse implementando algoritmos de compresión de datos en dispositivos de comunicación reduciendo la cantidad de datos a transmitir. Sin embargo, el diseño de modelos complejos de compresión de datos en hardware implica considerar el uso eficiente de la superficie de silicio. Este trabajo propone la combinación de dos esquemas diferentes de compresión de datos sin pérdida que compartan elementos comunes. Este proyecto también trata el diseño de una arquitectura hardware/software que explote el paralelismo e incremente la velocidad de ejecución manteniendo su flexibilidad. Un coprocesador ejecuta las tareas computacionalmente intensas de los esquemas de compresión Burrows-Wheeler Transform y Lempel-Ziv. El coprocesador es controlado por un microprocesador de propósito general compatible con la arquitectura SPARC V8 llamado LEON2. <![CDATA[<b>Autonomous Agents in Collaborative Ubiquitous Computing Environments</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462006000400008&lng=en&nrm=iso&tlng=en The idea of ubiquitous computing (ubicomp) is an environment dominated by computing and communication devices of different scales which are seamlessly integrated to the users activities. The features of ubiquitous computing environments require developers to face important challenges in dealing with the complexities associated to the development of ubiquitous computing systems. This thesis describes a middleware to facilitate developers to manage some of the complexities associated with the development of ubiquitous computing systems by means of the use of autonomous agents, which enable ubiquitous computing technology to respond to users' particular conditions and demands. Autonomous agents were used to implement the desirable features of ubiquitous computing systems and for enhancing the interactions of the users with the environment. The contributions of this thesis focus on presenting the functional requirements of autonomous agents for implementing ubiquitous computing systems and the agent SALSA middleware, which was created with the aim of facilitating the implementation and evolution of ubicomp systems. Finally, this thesis provides evidence of the SALSA flexibility for enabling the progressive development of ubicomp systems.<hr/>La idea del cómputo ubicuo propone un ambiente físico dotado de dispositivos de diferentes escalas, con capacidades computacionales y de comunicaciones, los cuales se integran de forma natural a nuestras actividades diarias. Las características de los ambientes de cómputo ubicuo, conlleva a los desarrolladores a abordar varias complejidades de estos sistemas y a enfrentar importantes retos. Esta tesis describe un middleware que facilita a los desarrolladores manejar algunas de las complejidades asociadas con el desarrollo de los sistemas de cómputo ubicuo por medio del uso de agentes autónomos. Los agentes autónomos se utilizaron para implementar las características deseables de estos sistemas de cómputo ubicuo y para mejorar la interacción de los usuarios con el ambiente. Las contribuciones de esta tesis se enfocan en presentar los requerimientos funcionales de los agentes autónomos para implementar sistemas de cómputo ubicuo, y el diseño e implementación del middleware SALSA creado para facilitar la implementación y evolución de sistemas de cómputo ubicuo. Finalmente, se proporciona evidencia de la flexibilidad de SALSA para desarrollar progresivamente sistemas de cómputo ubicuo.