Algoritmos de tableaux para Xpath con datos
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 la...
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | bachelorThesis |
Lenguaje: | Español |
Publicado: |
2019
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/11913 |
Aporte de: |
Sumario: | 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. |
---|