A layer 2 multipath fabric using a centralized controller

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Healing replicas in a software component replication system

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A distributed platform for the volunteer execution of workflows on a local area network

Thesis submitted in fulfilment of the requirements for the Degree of Master of Science in Computer Science

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-წლიანი ფოტომასალის ანალიზი.