A framework for developing motion-based games

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

Service-oriented architecture for device lifecycle support in industrial automation

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores Especialidade: Robótica e Manufactura Integrada

Target-specific multiphysics modeling for thermal medicine applications

Dissertation to obtain the degree of Doctor of Philosophy in Biomedical Engineering

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Equity in access to MRI equipment: the Portuguese case

Magnetic resonance imaging (MRI) is a method of image diagnose proven to be of undeniable importance when it comes to neuro and cardio related diseases. In fact, these diseases (such as: ischemic heart disease, stroke and acute myocardial infection) have high incidence in Portugal. For these reasons, the allocation of this medical technology should not be considered with light thoughts. In fact, making decision of resource allocation in health care can be a very complex and contested matter. The impacts of new technology allocation, such MRI, can be assessed in a variety of ways. However, a fundamental component should always be present: the use of evidence-based decision-making methods. One of these methods is Technology Assessment (TA). This paper aims to characterize the equity on access of the Portuguese population in general, to a specific medical device such as MRI, under the TA point of view. It is hoped to promote a bridge of scientific knowledge between the gap on research and policy-making through TA that can emerge as a tool to aid decision-makers in the organization of health systems. There are gaps in providing healthcare, due to geographical imbalances, with some areas unable to provide certain specialized services, as hospitals in the countryside do not provide all medical specialties. Portugal has also a large independent private sector that provides diagnostic and therapeutic services to NHS users under contracts called conventions. These medical contracts cover ambulatory health facilities for laboratory tests and examinations such as diagnostic tests and Radiology. However, there is no convention from the NHS when concerning the MRI exam. Therefore, this reality can be considered a limitation in the access of the general population to this kind of clinical exam. TA can play an useful and important role in helping the decision-makers to explore potential gains that might be achieved by introducing a more rational decision making into health care management, namely into the Radiology area, regarding the allocation of MRI equipment.

Bioinspired polyethersulfone-based hollow fiber membranes as the scaffolds in renal assist device for protein-bound toxins removal from blood

Dissertation for obtaining the Master degree in Membrane Engineering

Complex networks and data mining: toward a new perspective for the understanding of complex systems

Complex systems, i.e. systems composed of a large set of elements interacting in a non-linear way, are constantly found all around us. In the last decades, different approaches have been proposed toward their understanding, one of the most interesting being the Complex Network perspective. This legacy of the 18th century mathematical concepts proposed by Leonhard Euler is still current, and more and more relevant in real-world problems. In recent years, it has been demonstrated that network-based representations can yield relevant knowledge about complex systems. In spite of that, several problems have been detected, mainly related to the degree of subjectivity involved in the creation and evaluation of such network structures. In this Thesis, we propose addressing these problems by means of different data mining techniques, thus obtaining a novel hybrid approximation intermingling complex networks and data mining. Results indicate that such techniques can be effectively used to i) enable the creation of novel network representations, ii) reduce the dimensionality of analyzed systems by pre-selecting the most important elements, iii) describe complex networks, and iv) assist in the analysis of different network topologies. The soundness of such approach is validated through different validation cases drawn from actual biomedical problems, e.g. the diagnosis of cancer from tissue analysis, or the study of the dynamics of the brain under different neurological disorders.

La Réforme des soins en santé mentale en Belgique: analyse d'un modéle

RESUMO: O relatório anual de 2001 da Organização Mundial de Saúde (OMS), anunciou o interesse social dos problemas crescentes em matéria de saúde mental e relativo à necessidade urgente de uma extensão, como também, para uma melhor organização da oferta de tratamento. Sob proposta da Bélgica, esta observação foi traduzida em uma resolução « Mental health :responding to the call for action » (déclaração de intenção do 18 de maio de 2002). Nós notamos que certos países, como os Estados Unidos ou a Grã Bretanha transformam sistematicamente o tratamento residencial em um tratamento mais dirigido para a comunidade. Eles também se concentram na descoberta prematura dos problemas psiquiátricos. Este fenômeno de désinstitutionalisação obteve resultados concretos e traz um ganho certo, tanto para os atores do campo da saúde mental, como também para os candidatos a um tratamento. O tratamento das pessoas dentro do seu meio de vida é muito claramente reconhecido. As evoluções que marcaram os tratamentos em saúde mental na Bélgica durante estes utimos 40 anos mostram que vários paços importantes já foram feitos. A reforma tem como objetivo converter a oferta hospitalar e montar tratamentos dirigidos para e dentro da comunidade pela criação de equipas móveis que se inscrevem no dispositivo comunitário, historicamente muito activo bem que sub-financiado. A reorganização dos sistemas de tratamento está baseada na criação de redes, para construir um dispositivo flexível e contínuo que considera as necessidades dos pacientes. Esta reforma é, ao mesmo tempo, ambiciosa e complexa,. É uma visão nova, uma mudança de cultura, não só, para todos os atores da saúde mental, mas também para os pacientes e suas famílias. A reforma está baseada numa visão global e integrada que associa no mesmo movimento todas as autoridades competentes relativamente a saúde que elas sejam federais, regionais ou comunitárias.-----------ABSTRACT: The World Health Organization’s (WHO) annual report of 2001 identified a social interest for the increasing problems related to mental health and the urgent need of an extension and a better organization of mental health care. On a proposal of Belgium this statement was transformed into a resolution « Mental health: responding to the call for action» (Declaration of Intent, May 18th, 2002). Some countries such as the USA or the UK systematically dismantled in-patient residential care in favor of more community-based care and a focus on early detection of psychiatric problems. This de -institutionalization has clearly and concretely paid off and the value of bringing mental health care to claimants and treating them in their own residence was acknowledged. In Belgium, the evolutions which have shaped mental health care in the last forty years indicate that a number of important steps are already taken. The Reform aims to convert the supply of hospital care into community-based mental health care services through the creation of mobile teams which offer services in everyday life of the user. These teams take place in the community, historically highly active howbeit underfunded. The reorganization of health care system relies upon the creation of networks in order to build a flexible and continuous device which take into account user’s needs. This Reform can be seen as both ambitious and complex. It is a completely new vision, a major cultural shift for all mental health care stakeholders, but also for users and their relatives. The Reform is based on a global and integrated approach which links I, a same movement all relevant health authorities whether they be federal, regional or community. de-institutionalization – community mental health – recovery - users and families involvement - networking.

Gas tungsten arc welding of NiTi shape memory alloy

Shape memory alloys are characterized by the ability of recovering their initial shape after being deformed and by superelasticity. Since the discovery of these alloys, a new field of interest emerged not only for the scientific community but also to many industries. However, these alloys present poor machinability which constitute a constrain in the design of complex components for new applications. Thus, the demand for joining techniques able to join these alloys without compromising their properties became of great importance to enlarge the complexity of existing applications. Literature shows that these alloys are joined mainly using laser welding. In the present study, similar NiTi butt joints, were produced using TIG welding. The welds were performed in 1.5 mm thick plates across the rolling direction. A special fixture and gas assist device was designed and manufactured. Also a robot arm was adapted to accommodate the welding torch to assure the repeatability of the welding parameters. Welds were successfully achieved without macroscopic defects, such as pores and distortions. Very superficial oxidation was seen on the top surface due to insufficient shielding gas flow on the weld face. The welded joints were mechanically tested and structurally characterized. Testing methods were used to evaluate macro and microstructure, as well as the phase transformation temperatures, the mechanical single and cyclic behaviour and the shape recovery ability. Differential Scanning Calorimetry (DSC), Scanning Electron Microscopy (SEM), Energy Dispersive Spectroscopy (EDS), microhardness measurements were techniques also used to evaluate the welded joints. A depletion in Ni in the fusion zone was seen, as well as a shift in Ms temperature. For strain values of 4% the accumulated irrecoverable strain was of about 30% and increased with the strain imposed during cycling. Nevertheless, a complete recovery of initial shape was observed when testing the shape memory effect on a dedicated device that introduces a deformation of 6.7%. That is, the welding procedure does not remove the ability of the specimens to recover their initial shape.

Teleoperation of a service robot using a mobile device

Teleoperation is a concept born with the rapid evolution of technology, with an intuitive meaning "operate at a distance." The first teleoperation system was created in the mid 1950s, which were handled chemicals. Remote controlled systems are present nowadays in various types of applications. This dissertation presents the development of a mobile application to perform the teleoperation of a mobile service robot. The application integrates a distributed surveillance (the result of a research project QREN) and led to the development of a communication interface between the robot (the result of another QREN project) and the vigilance system. It was necessary to specify a communication protocol between the two systems, which was implemented over a communication framework 0MQ (Zero Message Queue). For the testing, three prototype applications were developed before to perform the test on the robot.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

Transactions in dynamic reactive environments

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Using an LED as a sensor and visible light communication device in a smart illumination system

The need for more efficient illumination systems has led to the proliferation of Solid-State Lighting (SSL) systems, which offer optimized power consumption. SSL systems are comprised of LED devices which are intrinsically fast devices and permit very fast light modulation. This, along with the congestion of the radio frequency spectrum has paved the path for the emergence of Visible Light Communication (VLC) systems. VLC uses free space to convey information by using light modulation. Notwithstanding, as VLC systems proliferate and cost competitiveness ensues, there are two important aspects to be considered. State-of-the-art VLC implementations use power demanding PAs, and thus it is important to investigate if regular, existent Switched-Mode Power Supply (SMPS) circuits can be adapted for VLC use. A 28 W buck regulator was implemented using a off-the-shelf LED Driver integrated circuit, using both series and parallel dimming techniques. Results show that optical clock frequencies up to 500 kHz are achievable without any major modification besides adequate component sizing. The use of an LED as a sensor was investigated, in a short-range, low-data-rate perspective. Results show successful communication in an LED-to-LED configuration, with enhanced range when using LED strings as sensors. Besides, LEDs present spectral selective sensitivity, which makes them good contenders for a multi-colour LED-to-LED system, such as in the use of RGB displays and lamps. Ultimately, the present work shows evidence that LEDs can be used as a dual-purpose device, enabling not only illumination, but also bi-directional data communication.

Product extension services deployment platform

Due to the progresses made in the branch of embedded technologies, manufacturers are becoming able to pack their shop floor level manufacturing resources with even more complex functionalities. This technological progression is radically changing the way production systems are designed and deployed, as well as, monitored and controlled. The dissemination of smart devices inside production processes confers new visibility on the production system while enabling for a more efficient and effective management of the operations. By turning the current manufacturing resources functionalities into services based on a Service Oriented Architecture (SOA), in order to expose them as a service to the user, the binomial manufacturing resource/service will push the entire manufacturing enterprise visibility to another level while enabling the global optimization of the operations and processes of a production system while, at the same time, supporting its accommodation to the operational spike easily and with reduced impact on production. The present work implements a Cloud Manufacturing infrastructure for achieving the resource/service value-added i.e. to facilitate the creation of services that are the composition of currently available atomic services. In this context, manufacturing resource virtualization (i.e. formalization of resources capabilities into services accessible inside and outside the enterprise) and semantic representation/description are the pillars for achieving resource service composition. In conclusion, the present work aims to act on the manufacturing resource layer where physical resources and shop floor capabilities are going to be provided to the user as a SaaS (Software as a Service) and/or IaaS (Infrastructure as a Service).