Geoprocesamiento con SQL en OrbisGIS

OrbisGIS dispone de un lenguaje que permite la manipulación de datos de forma independiente al formato. Éste se ajusta al estándar SQL92 (Lenguaje de Consulta Estructurado) y se extiende espacialmente según el OGC simple features SQL specification, lo que permite un alto nivel de compatibilidad con sistemas de bases de datos tradicionales como PostgreSQL/PostGIS. Habitualmente el SQL es procesado en servidores, sin embargo este artículo presentará cómo puede aplicarse en el cliente, principalmente para la definición y utilización de geoprocesos. La aplicación del SQL más inmediata es la manipulación de las fuentes de datos especificando una serie de instrucciones o script. Aparte, la implementación de SQL de OrbisGIS permite la parametrización de estos scripts de manera que pueden ser reutilizados con diferentes fuentes de datos y sin necesidad de conocer el proceso internamente. La reutilización puede darse tanto como ejecución del script como inclusión en un constructor de modelos que permite encadenar múltiples scripts dando lugar a un nuevo proceso más complejo. Por otra parte, el uso de disparadores permite la definición de reglas de validación mediante instrucciones SQL. Es posible definir reglas topológicas (entre otras) que definan relaciones entre dos o más fuentes de datos y que controlarán el proceso de edición tanto espacial como alfanumérico. Para finalizar, la especificación de vistas (en el sentido de los SGBD) permite reducir la redundancia en los datos y realizar algunas aplicaciones interesantes como la visualización de la evolución de los distintos imperios a lo largo de la historia

A proposal for the diagnosis of uncertain dynamic systems based on interval models

The performance of a model-based diagnosis system could be affected by several uncertainty sources, such as,model errors,uncertainty in measurements, and disturbances. This uncertainty can be handled by mean of interval models.The aim of this thesis is to propose a methodology for fault detection, isolation and identification based on interval models. The methodology includes some algorithms to obtain in an automatic way the symbolic expression of the residual generators enhancing the structural isolability of the faults, in order to design the fault detection tests. These algorithms are based on the structural model of the system. The stages of fault detection, isolation, and identification are stated as constraint satisfaction problems in continuous domains and solved by means of interval based consistency techniques. The qualitative fault isolation is enhanced by a reasoning in which the signs of the symptoms are derived from analytical redundancy relations or bond graph models of the system. An initial and empirical analysis regarding the differences between interval-based and statistical-based techniques is presented in this thesis. The performance and efficiency of the contributions are illustrated through several application examples, covering different levels of complexity.