Performance Analysis of IEEE 802.15.6 Contention-based MAC Protocol

IEEE International Conference on Communications (IEEE ICC 2015). 8 to 12, Jun, 2015, IEEE ICC 2015 - Communications QoS, Reliability and Modeling, London, United Kingdom.

Bringing Context Awareness to IoT-Based Wireless Sensor Networks

IEEE International Conference on Pervasive Computing and Communications (PerCom). 23 to 26, Mar, 2015, PhD Forum. Saint Louis, U.S.A..

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

A multi-objective optimization of the active and reactive resource scheduling at a distribution level in a smart grid context

In the traditional paradigm, the large power plants supply the reactive power required at a transmission level and the capacitors and transformer tap changer were also used at a distribution level. However, in a near future will be necessary to schedule both active and reactive power at a distribution level, due to the high number of resources connected in distribution levels. This paper proposes a new multi-objective methodology to deal with the optimal resource scheduling considering the distributed generation, electric vehicles and capacitor banks for the joint active and reactive power scheduling. The proposed methodology considers the minimization of the cost (economic perspective) of all distributed resources, and the minimization of the voltage magnitude difference (technical perspective) in all buses. The Pareto front is determined and a fuzzy-based mechanism is applied to present the best compromise solution. The proposed methodology has been tested in the 33-bus distribution network. The case study shows the results of three different scenarios for the economic, technical, and multi-objective perspectives, and the results demonstrated the importance of incorporating the reactive scheduling in the distribution network using the multi-objective perspective to obtain the best compromise solution for the economic and technical perspectives.

Decision Support for Energy Contracts Negotiation with Game Theory and Adaptive Learning

This paper presents a decision support methodology for electricity market players’ bilateral contract negotiations. The proposed model is based on the application of game theory, using artificial intelligence to enhance decision support method’s adaptive features. This model is integrated in AiD-EM (Adaptive Decision Support for Electricity Markets Negotiations), a multi-agent system that provides electricity market players with strategic behavior capabilities to improve their outcomes from energy contracts’ negotiations. Although a diversity of tools that enable the study and simulation of electricity markets has emerged during the past few years, these are mostly directed to the analysis of market models and power systems’ technical constraints, making them suitable tools to support decisions of market operators and regulators. However, the equally important support of market negotiating players’ decisions is being highly neglected. The proposed model contributes to overcome the existing gap concerning effective and realistic decision support for electricity market negotiating entities. The proposed method is validated by realistic electricity market simulations using real data from the Iberian market operator—MIBEL. Results show that the proposed adaptive decision support features enable electricity market players to improve their outcomes from bilateral contracts’ negotiations.

A Multiple Criteria Utility-based Approa h for the Unit Commitment with Wind Power and Pumped Storage Hydro

The integration of wind power in eletricity generation brings new challenges to unit commitment due to the random nature of wind speed. For this particular optimisation problem, wind uncertainty has been handled in practice by means of conservative stochastic scenario-based optimisation models, or through additional operating reserve settings. However, generation companies may have different attitudes towards operating costs, load curtailment, or waste of wind energy, when considering the risk caused by wind power variability. Therefore, alternative and possibly more adequate approaches should be explored. This work is divided in two main parts. Firstly we survey the main formulations presented in the literature for the integration of wind power in the unit commitment problem (UCP) and present an alternative model for the wind-thermal unit commitment. We make use of the utility theory concepts to develop a multi-criteria stochastic model. The objectives considered are the minimisation of costs, load curtailment and waste of wind energy. Those are represented by individual utility functions and aggregated in a single additive utility function. This last function is adequately linearised leading to a mixed-integer linear program (MILP) model that can be tackled by general-purpose solvers in order to find the most preferred solution. In the second part we discuss the integration of pumped-storage hydro (PSH) units in the UCP with large wind penetration. Those units can provide extra flexibility by using wind energy to pump and store water in the form of potential energy that can be generated after during peak load periods. PSH units are added to the first model, yielding a MILP model with wind-hydro-thermal coordination. Results showed that the proposed methodology is able to reflect the risk profiles of decision makers for both models. By including PSH units, the results are significantly improved.

Chromatic reintegration of historical mortars with lime-based pozzolanic consolidant products

3rd Historic Mortars Conference, 11-14 September 2013, Glasgow, Scotland

Mental health care assessed based on structure, process and outcome : a retrospective cohort study

RESUMO: As doenças mentais são comuns, universais e associadas a uma significativa sobrecarga pessoal, familiar, social e económica. Os Serviços de Saúde Mental devem abordar de forma adequada as necessidades dos pacientes e familiares tanto ao nível clínico como também ao nível social. O presente estudo foi realizado num período de grande transformação nos sistemas de saúde primário e de saúde mental em Portugal, num Departamento de Psiquiatria desenvolvido com base nos princípios da OMS. Os objectivos incluem a caracterização: 1) das Unidades Funcionais do Departamento; 2) dos pacientes internados pela primeira vez no internamento de agudos; 3) da utilização dos serviços nas equipas comunitárias após a alta; e 4) da avaliação de alguns dos indicadores de qualidade do departamento, com recurso ao modelo de Donabedian sobre a articulação entre a Estrutura-Processo-Resultados. Metodologia: Foi escolhido um estudo de coorte retrospectivo. Todos os pacientes internados pela primeira vez entre 2008 e 2010 foram incluídos no estudo. Os seus processos clínicos e a base de dados do hospital onde são registados todos os contactos que estes tiveram com os profissionais de saúde mental foram revistos de forma a obter dados sociodemográficos e clínicos, durante o período do estudo e após a alta. Os instrumentos utilizados foram o WHO-ICMHC (Classificação Internacional de Cuidados de Saúde Mental), para caracterizar o Departamento, o AIESMP (Avaliação Inicial de Enfermagem em Saúde Mental e Psiquiatria) para recolha dos dados sociodemográficos, e o VSSS (Escala de Satisfação com os Serviços de Verona) de forma a avaliar a satisfação dos pacientes em relação aos cuidados recebidos. A análise estatística incluiu a análise descritiva, quantitativa e qualitativa dos dados. Resultados: As Unidades Funcionais do Departamento revelaram níveis elevados de articulação e consistência com as necessidades de cuidados psiquiátricos e reabilitação psicossocial dos pacientes. Os 543 pacientes admitidos pela primeira vez eram maioritariamente (56.9%) mulheres, caucasianas (81.2%), com diagnóstico de perturbações do humor (66.3%), internadas voluntariamente (59.7%), e uma idade média de 45.1 anos. Estas eram significativamente mais velhas, mais frequentemente empregadas, casadas/coabitar e tinham uma prevalência mais elevada de perturbações do humor, comparativamente aos homens. O internamento compulsivo era mais significativo nos homens (54.7%). A taxa de abandono no pós-alta (4.2%) e a taxa de reinternamentos (2.9%) na quinzena após a alta revelaram-se inferiores aos padrões na literatura internacional. De forma global, a satisfação dos pacientes com os cuidados de saúde mental foi positiva. Conclusões: Os cuidados prestados mostraram-se eficazes, adaptados e baseados nas necessidades e problemas específicos dos pacientes. A continuidade e a abrangência de cuidados foram difundidos e mantidos ao longo do processo de cuidados. Este Departamento pode ser considerado um exemplo de como proporcionar tratamento digno e eficiente, e uma referência para futuros serviços de psiquiatria.-------------- ABSTRACT: Mental health disorders are common, universal, and associated with heavy personal, family, social and economic burden. Mental health services should be aimed at adequately addressing patients’ and families’ needs at clinical and social level. The current study was carried out at a time of great transformation in the health and mental health systems in Portugal, in a Psychiatric Department developed taking in consideration the WHO principles. The objectives included characterizing: 1) the Psychiatric Department’s different units; 2) the patients admitted for the first time to the inpatient unit; 3) their use of community mental health services after discharge; and 4) assessing some of the department’s quality indicators, with resource to Donabedian’s Structure-Process-Outcome model. Methodology: A retrospective cohort design was chosen. All the firstly admitted patients in the period between 2008 and 2010 were included in the study. Their clinical records and the hospital’s database which registers all of the contacts the patients had with the mental health professionals during the study period, were reviewed to retrieve sociodemographic and clinical data and information on follow-up. The instruments used were the WHO International Classification of Mental Health Care (ICMHC) to characterize the department, the Initial Nurses’ Assessment in Mental Health and Psychiatry (AIESMP) for patients’ sociodemographic data, and the Verona Service Satisfaction Scale (VSSS) to assess patients’ satisfaction with care received. Statistical analysis included descriptive, quantitative and qualitative analysis of the data. Results: The Department’s Functional units revealed high levels of articulation, and were consistent with patients’ needs for psychiatric care and psychosocial rehabilitation. The 543 patients firstly admitted were mainly (56.9%) female, Caucasian (81.2%), diagnosed with mood disorders (66.3%), voluntarily admitted (59.7%), and with a mean age of 45.1 years. Female patients were significantly older, more frequently employed, married/cohabiting and had a higher prevalence of mood disorders when compared to males. Involuntary admission was more significant in males (54.7%). Dropout rates during follow-up (4.2%) and readmission rates (2.9%) in the fortnight following discharge were lower than standards in international literature. Overall patients’ satisfaction with mental health care was positive. Conclusions: The care delivered was effective, adapted and based on the patients’ specific needs and problems. Continuity and comprehensiveness of care was endorsed and maintained throughout the care process. This department may be considered an example of both humane and effective treatment, and a reference for future psychiatric care.

Three essays on game theory and bargaining

A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics

E-Health individual adoption - empirical model based on UTAUT 2.

The future of health care delivery is becoming more citizen-centred, as today’s user is more active, better informed and more demanding. The European Commission is promoting online health services and, therefore, member states will need to boost deployment and use of online services. This makes e-health adoption an important field to be studied and understood. This study applied the extended unified theory of acceptance and usage technology (UTAUT2) to explain patients’ individual adoption of e-health. An online questionnaire was administrated Portugal using mostly the same instrument used in UTAUT2 adapted to e-health context. We collected 386 valid answers. Performance expectancy, effort expectancy, social influence, and habit had the most significant explanatory power over behavioural intention and habit and behavioural intention over technology use. The model explained 52% of the variance in behavioural intention and 32% of the variance in technology use. Our research helps to understand the desired technology characteristics of ehealth. By testing an information technology acceptance model, we are able to determine what is more valued by patients when it comes to deciding whether to adopt e-health systems or not.

A new MDA-SOA based framework for intercloud interoperability

Cloud computing has been one of the most important topics in Information Technology which aims to assure scalable and reliable on-demand services over the Internet. The expansion of the application scope of cloud services would require cooperation between clouds from different providers that have heterogeneous functionalities. This collaboration between different cloud vendors can provide better Quality of Services (QoS) at the lower price. However, current cloud systems have been developed without concerns of seamless cloud interconnection, and actually they do not support intercloud interoperability to enable collaboration between cloud service providers. Hence, the PhD work is motivated to address interoperability issue between cloud providers as a challenging research objective. This thesis proposes a new framework which supports inter-cloud interoperability in a heterogeneous computing resource cloud environment with the goal of dispatching the workload to the most effective clouds available at runtime. Analysing different methodologies that have been applied to resolve various problem scenarios related to interoperability lead us to exploit Model Driven Architecture (MDA) and Service Oriented Architecture (SOA) methods as appropriate approaches for our inter-cloud framework. Moreover, since distributing the operations in a cloud-based environment is a nondeterministic polynomial time (NP-complete) problem, a Genetic Algorithm (GA) based job scheduler proposed as a part of interoperability framework, offering workload migration with the best performance at the least cost. A new Agent Based Simulation (ABS) approach is proposed to model the inter-cloud environment with three types of agents: Cloud Subscriber agent, Cloud Provider agent, and Job agent. The ABS model is proposed to evaluate the proposed framework.

A new methodology for urban wind resource assessment

In the latest years the wind energy sector experienced an exponential growth all over the world. What started as a deployment of onshore projects, soon moved to offshore and, more recently to the urban environment within the context of smart cities and renewable micro-generation. However, urban wind projects using micro turbines do not have enough profit margins to enable the setup of comprehensive and expensive measurement campaigns, a standard procedure for the deployment of large wind parks. To respond to the wind assessment needs of the future smart cities a new and simple methodology for urban wind resource assessment was developed. This methodology is based on the construction of a surface involving a built area in order to estimate the wind potential by treating it as very complex orography. This is a straightforward methodology that allows estimating the sustainable urban wind potential, being suitable to map the urban wind resource in large areas. The methodology was applied to a case study and the results enabled the wind potential assessment of a large urban area being consistent with experimental data obtained in the case study area, with maximum deviations of the order of 10% (mean wind speed) and 20% (power density).

Process virtualization theory (PVT) and institutional theory (INT) to explain SAAS adoption

Software as a service (SaaS) is a service model in which the applications are accessible from various client devices through internet. Several studies report possible factors driving the adoption of SaaS but none have considered the perception of the SaaS features and the pressures existing in the organization’s environment. We propose an integrated research model that combines the process virtualization theory (PVT) and the institutional theory (INT). PVT seeks to explain whether SaaS processes are suitable for migration into virtual environments via an information technology-based mechanism. INT seeks to explain the effects of the institutionalized environment on the structure and actions of the organization. The research makes three contributions. First, it addresses a gap in the SaaS adoption literature by studying the internal perception of the technical features of SaaS and external coercive, normative, and mimetic pressures faced by an organization. Second, it empirically tests many of the propositions of PVT and INT in the SaaS context, thereby helping to determine how the theory operates in practice. Third, the integration of PVT and INT contributes to the information system (IS) discipline, deepening the applicability and strengths of these theories.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.