Algoritmos de tableaux para Xpath con datos

Abstract

En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de agregar operadores híbridos a XPath. Primero se mencionan aspectos básicos de las lógicas modales, híbridas y de XPath, para luego dar el cálculo de tableaux para XPath = . Finalmente se demuestra completitud del cálculo.En este trabajo se desarrollaron complementos para el sistema de información geográfica QGIS que permiten el preprocesamiento y análisis de series de tiempo del Índice de Vegetación Normalizado (NDVI), útiles para estudiar y comparar la estructura vegetal de diferentes puntos geográficos de interés, a través del tiempo. Las series fueron extraídas a partir de imágenes obtenidas por el sensor MODIS (Moderate Resolution Imaging Spectroradiometer), por un biólogo especialista.