Exploratory analysis of OpenStreetMap for land use classification

In the last years, volunteers have been contributing massively to what we know nowadays as Volunteered Geographic Information. This huge amount of data might be hiding a vast geographical richness and therefore research needs to be conducted to explore their potential and use it in the solution of real world problems. In this study we conduct an exploratory analysis of data from the OpenStreetMap initiative. Using the Corine Land Cover database as reference and continental Portugal as the study area, we establish a possible correspondence between both classification nomenclatures, evaluate the quality of OpenStreetMap polygon features classification against Corine Land Cover classes from level 1 nomenclature, and analyze the spatial distribution of OpenStreetMap classes over continental Portugal. A global classification accuracy around 76% and interesting coverage areas’ values are remarkable and promising results that encourages us for future research on this topic.

The use of analytical hierarchy process in spatial decision support system for land use management

Geographic information systems give us the possibility to analyze, produce, and edit geographic information. Furthermore, these systems fall short on the analysis and support of complex spatial problems. Therefore, when a spatial problem, like land use management, requires a multi-criteria perspective, multi-criteria decision analysis is placed into spatial decision support systems. The analytic hierarchy process is one of many multi-criteria decision analysis methods that can be used to support these complex problems. Using its capabilities we try to develop a spatial decision support system, to help land use management. Land use management can undertake a broad spectrum of spatial decision problems. The developed decision support system had to accept as input, various formats and types of data, raster or vector format, and the vector could be polygon line or point type. The support system was designed to perform its analysis for the Zambezi river Valley in Mozambique, the study area. The possible solutions for the emerging problems had to cover the entire region. This required the system to process large sets of data, and constantly adjust to new problems’ needs. The developed decision support system, is able to process thousands of alternatives using the analytical hierarchy process, and produce an output suitability map for the problems faced.

A tutela preventiva da responsabilidade civil

The contemporary society is characterized by high risks. Today, the prevention of damages is as important as compensation. This is due to the fact that the potentiality of several damages is not in line with compensation, because often compensation proves to be impossible. Civil law should be at the service of the citizens, which explains that the heart of the institution of non-contractual liability has gradually moved towards the victim's protection. It is requested from Tort law an active attitude that seeks to avoid damages, reducing its dimension and frequency. The imputation by risk proves to be necessary and useful in the present context as it demonstrates the ability to model behaviors, functioning as a warning for agents engaged in hazardous activities. Economically, it seeks to prevent socially inefficient behaviors. Strict liability assumes notorious importance as a deterrent and in the dispersion of damage by society. The paradigm of the imputation founded on fault has proved insufficient for the effective protection of the interests of the citizens, particularly if based in an anachronistic vision of the concept of fault. Prevention arises in several areas, especially in environmental liability, producer liability and liability based on infringement of copyright and rights relating to the personality. To overcome the damage as the gauge for compensation does not inevitably mean the recognition of the punitive approach. Prevention should not be confused with reactive/punitive objectives. The deterrence of unlawful conduct is not subordinated to punishment.

A confiança como base segura para a felicidade

Dissertação de Mestrado apresentada ao ISPA - Instituto Universitário

Epidemic store for massive scale systems

The MAP-i doctoral program of the Universities of Minho, Aveiro and Porto

Monitoring energy consumption in android applications

Dissertação de Mestrado em Engenharia Informática

Spectrum-based energy leak localization

Dissertação de Mestrado em Engenharia Informática

Mineralizações associadas a shear zone networking na vertente oriental da Serra de Arga (Minho, Portugal)

Dissertação de mestrado em Ordenamento e Valorização de Recursos Geológicos

Aplicação móvel android de apoio a gestão de empréstimos e reservas das bibliotecas da Universidade do Minho

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

Avaliação quantitativa da geodiversidade: desenvolvimento de instrumentos metodológicos com aplicação ao ordenamento do território

Tese de Doutoramento em Ciências (Especialidade de Geologia)

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Pervasive adaptive data acquisition gateway for critical healthcare

The data acquisition process in real-time is fundamental to provide appropriate services and improve health professionals decision. In this paper a pervasive adaptive data acquisition architecture of medical devices (e.g. vital signs, ventilators and sensors) is presented. The architecture was deployed in a real context in an Intensive Care Unit. It is providing clinical data in real-time to the INTCare system. The gateway is composed by several agents able to collect a set of patients’ variables (vital signs, ventilation) across the network. The paper shows as example the ventilation acquisition process. The clients are installed in a machine near the patient bed. Then they are connected to the ventilators and the data monitored is sent to a multithreading server which using Health Level Seven protocols records the data in the database. The agents associated to gateway are able to collect, analyse, interpret and store the data in the repository. This gateway is composed by a fault tolerant system that ensures a data store in the database even if the agents are disconnected. The gateway is pervasive, universal, and interoperable and it is able to adapt to any service using streaming data.

Modelado multi-dominio de máquinas eléctricas. Multi-domain modeling of electric machines

El objetivo general de este proyecto es desarrollar nuevos modelos multi-dominio de máquinas eléctricas para aplicaciones al control y al diagnóstico de fallas. Se propone comenzar con el modelo electromagnético del motor de inducción en base a circuitos magnéticos equivalentes (MEC) validándolo por medio de simulación y de resultados experimentales. Como segundo paso se pretende desarrollas modelos térmicos y mecánicos con el objetivo que puedan ser acoplados al modelo electromagnético y de esta estudiar la interacción de los dominios y se validará mediante resultados de simulación y experimentales el modelo completo. Finalmente se pretende utilizar el modelo multi-dominio como una herramienta para la prueba de nuevas estrategias de control y diagnóstico de fallas. The main objective of this project is the development of new multi-domain models of electric machines for control and fault diagnosis applications. The electromagnetic modeling of the induction motor (IM) will be done using the magnetic equivalent circuits approach. This model will be validated by simulation and by experimental results. As a second step of this project, new mechanical and thermal models for the IM will be developed, with the objective of coupling these models with the electromagnetic one. With this multi-domain model it will be possible to study the interaction between each others. After that, the complete model will be validated by simulation and experimental results. Finally, the model will be used as a tool for testing new control and fault diagnosis strategies.

Результаты деформографических наблюдений в зоне правобережного разлома на территории арочной плотины Ингурской ГЭС.

ჩატარებულია ენგურის კაშხლის ქვეშ გამავალი რღვევის ზონაში დაყენებული კვარცის დეფორმოგრაფის (ექსტენზომეტრის) 30-წლიანი ფოტომასალის ანალიზი.

О сингулярных эквивалентных распределениях для произвольного многоугольника

განხილულია სინგულარული ეკვივალენტური განაწილების ამოცანა ნებისმიერი მრავალკუთხედისათვის.