Classification of Satellite Images by means of Fuzzy Rules generated by a Genetic Algorithm

The data acquired by Remote Sensing systems allow obtaining thematic maps of the earth's surface, by means of the registered image classification. This implies the identification and categorization of all pixels into land cover classes. Traditionally, methods based on statistical parameters have been widely used, although they show some disadvantages. Nevertheless, some authors indicate that those methods based on artificial intelligence, may be a good alternative. Thus, fuzzy classifiers, which are based on Fuzzy Logic, include additional information in the classification process through based-rule systems. In this work, we propose the use of a genetic algorithm (GA) to select the optimal and minimum set of fuzzy rules to classify remotely sensed images. Input information of GA has been obtained through the training space determined by two uncorrelated spectral bands (2D scatter diagrams), which has been irregularly divided by five linguistic terms defined in each band. The proposed methodology has been applied to Landsat-TM images and it has showed that this set of rules provides a higher accuracy level in the classification process

CLP Projection for Constraint Handling Rules

This paper introduces and studies the notion of CLP projection for Constraint Handling Rules (CHR). The CLP projection consists of a naive translation of CHR programs into Constraint Logic Programs (CLP). We show that the CLP projection provides a safe operational and declarative approximation for CHR programs. We demónstrate moreover that a confluent CHR program has a least model, which is precisely equal to the least model of its CLP projection (closing henee a ten year-old conjecture by Abdenader et al.). Finally, we illustrate how the notion of CLP projection can be used in practice to apply CLP analyzers to CHR. In particular, we show results from applying AProVE to prove termination, and CiaoPP to infer both complexity upper bounds and types for CHR programs.

La catedral de Ávila : evolución constructiva y análisis estructural

Esta tesis se enmarca en el ámbito de la Historia de la Construcción, se estudia la Catedral de Ávila desde un punto de vista técnico, necesario para completar la visión que de esta catedral se tenía. La interpretación de la documentación de archivo, que se encontraba dispersa e inconexa, ha permitido realizar una cronología revisada y completa de las campañas constructivas para el conjunto de la Catedral, desde el siglo XI al XXI. Mediante el análisis de los Contratos de Obra e Informes, se ha puesto de relieve conocimientos de técnicas constructivas medievales. Se plantean dos hipótesis para el orden en el proceso constructivo. En la zona del Cimorro, en relación con la supresión de la tribuna, colocación de los arbotantes y construcción de la fortificación y triple almenado. En el cuerpo de las naves, referida a la posible existencia de una tribuna, colocación del sistema de contrarresto que vemos actualmente y misión del arco entibo del coro. Se ha analizado la estabilidad estructural de la Catedral bajo el marco teórico del Análisis Límite para Estructuras de Fábrica, utilizando la restitución gráfica procedente del levantamiento topográfico realizado. Estos análisis han servido como comprobación de las hipótesis planteadas, por realizarse tanto para la situación actual como para las diferentes campañas constructivas propuestas. Se ha comprobado la validez de las reglas geométricas tradicionales para el análisis de la estructuras de fábrica en los elementos principales de la estructura gótica. Esta tesis incrementa el conocimiento de la historia mecánica del edificio interpretando el funcionamiento mecánico de sus arbotantes, proyectados de forma atípica, y la colocación de los arcos entibo y codales para conseguir la estabilidad del conjunto. La tesis cuenta con un anexo que recopila una extensa documentación gráfica: planimetría, iconografía y fotografía histórica; la trascripción inédita del Contrato de obra para la Capilla de San Segundo y un anexo de cálculo de la zona del Cimorro y del Cuerpo de Naves. This thesis aims to the field of Construction History. The Cathedral of Ávila is studied from a technical point of view, which was necessary to complete the existing knowledge about this Cathedral. The interpretation of archive documentation, which was disperse and unconnected before this work, has allowed the proposal of a revised and complete chronology of the diverse building stages of the Cathedral, dating from the XI century to the XXI century. The analysis of work contracts and of reports has revealed knowledge of medieval construction techniques. Two hypotheses are presented about the order in the construction process. The first hypothesis concerning the destruction of the tribune, the placing of the flying buttress and the building of the fortification and triple system of battlement in the area of the “Cimorro”. The second hypothesis regarding the naves: the possible existence of a tribune, the placing of the system of counterthrust, which can currently be seen, and the function of the “entibo” arch in the choir. The Structural Stability of the Cathedral has been analysed within the theoretical Framework of Limit Analysis to Masonry Structure, by using of the drawing proceeding from our lifting topographical. These analyses have proven the presented hypotheses, since they have been applied to the current situation as well as to the several building stage proposed in the chronology. The validity of the traditional geometric rules for the analysis of the masonry structure in the core elements of Gothic structures has been verified. This thesis increases the knowledge of the mechanical history of the building by interpreting the mechanical working of the flying buttress in an atypical arrangement and the placing of the “entibo” arch and “codal” arch in order to obtain the stability of the monument. The thesis incorporates supplementary material which can be categorized in three groups: 1) extensive graphic documentation (planning, iconography and history photography); 2) the hitherto unknown transcription of the “CONTRATO DE OBRA PARA LA CAPILLA DE SAN SEGUNDO”; 3) an appendix of Analysis of Calculation for the “Cimorro” and the naves.

Fusion of probabilistic knowledge-based classification rules and learning automata for automatic recognition of digital images

In this paper, the fusion of probabilistic knowledge-based classification rules and learning automata theory is proposed and as a result we present a set of probabilistic classification rules with self-learning capability. The probabilities of the classification rules change dynamically guided by a supervised reinforcement process aimed at obtaining an optimum classification accuracy. This novel classifier is applied to the automatic recognition of digital images corresponding to visual landmarks for the autonomous navigation of an unmanned aerial vehicle (UAV) developed by the authors. The classification accuracy of the proposed classifier and its comparison with well-established pattern recognition methods is finally reported.

Changing assessment methods: New rules, new roles

Over the past 20 years,theuse of Computer Algebra Systems(CAS) has helped with the teaching of mathematics inengineer-ingschools. However the traditional use of CAS only in math labs has led to a narrow view by the student: the CAS is an additional work, not included in the learning process. The didactic guidelines of the European Higher Education Area(EHEA) propose a new teaching–learning model based on competencies. We suggest the use of the CAS be adapted to the new rules. In this paper,we present a model for the integrated use of the CAS,and we describe and analyze two experiments carried out in the academic year2011–2012. Our analysis suggests that the use of CAS in all learning and assessment activities has the potential to positively influence the development of competencies.

Evaluation/Optimization of reservoir operation rules for flood management using an integrated hydrologic-hydraulic framework

Se ha presentado la evaluación y optimización de las reglas de operación de un embalse para gestión de avenidas usando un entorno integrado hidrológico- hidráulico de tipo Monte Carlo. Some reservoirs play a major role in flood protection, managing the floods and reducing or delaying the peak discharges in the river downstream. However, the changing environment (natural and anthropological changes) requires the development of more elaborated strategies for reservoir operation. Three factors are relevant: 1) the natural variability of inflow hydrographs, 2) the competition for reservoir storage capacity between flood control and other uses, and 3) the existence of built-up areas on downstream river reaches. A framework for evaluation/optimization of reservoir operation rules for flood management in a changing environment is presented in this study. The study was carried out using an integrated hydrologic – hydraulic model in a Monte Carlo framework.

Effects of inspections in small world social networks with different contagion rules

Inspections are used to prevent tax evasion or any other unlawful behavior. ? The effect of inspections depends on the network topology and the contagion rule. ? The network is modeled as a Watts?Strogatz Small World that is tuned from regular to random. ? Two contagion rules are applied: continuous and discontinuous. ? The equilibrium populations of payers and evaders are obtained in terms of these system parameters.