Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

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.

Six thinking hats: A novel metalearner for intelligent decision support in electricity markets

The energy sector has suffered a significant restructuring that has increased the complexity in electricity market players' interactions. The complexity that these changes brought requires the creation of decision support tools to facilitate the study and understanding of these markets. The Multiagent Simulator of Competitive Electricity Markets (MASCEM) arose in this context, providing a simulation framework for deregulated electricity markets. The Adaptive Learning strategic Bidding System (ALBidS) is a multiagent system created to provide decision support to market negotiating players. Fully integrated with MASCEM, ALBidS considers several different strategic methodologies based on highly distinct approaches. Six Thinking Hats (STH) is a powerful technique used to look at decisions from different perspectives, forcing the thinker to move outside its usual way of thinking. This paper aims to complement the ALBidS strategies by combining them and taking advantage of their different perspectives through the use of the STH group decision technique. The combination of ALBidS' strategies is performed through the application of a genetic algorithm, resulting in an evolutionary learning approach.

Municipal solid waste management system: decision support through systems analysis

Thesis submitted to the Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia for the degree of Doctor of Philosophy in Environmental Engineering

Adaptive Penalty and Barrier function based on Fuzzy Logic

Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.

Decision making processes based on innovation indicators: which implications for technology assessment?

Based on the report for “Project IV” unit of the PhD programme on Technology Assessment. This thesis research has the supervision of António Moniz (FCT-UNL and ITAS-KIT) and Manuel Laranja (ISEG-UTL). Other members of the thesis committee are Stefan Kuhlmann (Twente University), Leonhard Hennen (Karlsruhe Institute of Technology-ITAS), Tiago Santos Pereira (Universidade de Coimbra/CES) and Cristina Sousa (FCT-UNL).

Decision-making process in radiology: the magnetic resonance example in the TA context

Based on the report for “Project IV” unit of the PhD programme on Technology Assessment (Doctoral Conference) at Universidade Nova de Lisboa (December 2011). This thesis research has the supervision of António Moniz (FCT-UNL and ITAS-KIT) and Michael Decker (Karlsruhe Institute of Technology-ITAS). Other members of the thesis committee are Carlos Alberto da Silva (University of Évora), José Maria de Albuquerque (Institute of Welding and Quality), Lotte Steuten (University of Twente), Mário Forjaz Secca (FCT-UNL) and Nelson Chibeles Martins (FCT-UNL).

Risk-based decision support system for life cycle management of industrials plants

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

Three transducers for one photodetector: essays for optical communications

Dissertation presented to obtain the PhD degree in Electrical and Computer Engineering - Electronics

Environmental Decision-making utilizing a Web GIS to Monitor Hazardous Industrial Emissions in the Valencian community of Spain

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Jogos digitais com contos infantis - Uma proposta de brinquedo-jogo para dispositivos móveis

O desenvolvimento e proliferação de equipamentos e produtos multimédia, permitindo a combinação de som, imagem e texto despoletou a emergência de novos estímulos que se associam a sensações, novas formas de interagir, de comunicar e também de brincar e aprender. Jogar e brincar são excelentes fontes de estímulos, principalmente para as crianças, pois potenciam a evolução da lógica, do raciocínio, das associações e da capacidade de escolha. No contexto dos jogos, decorrente da evolução tecnológica, o mercado dos jogos digitais tem vindo a expandir-se consideravelmente, nomeadamente na área dos jogos educativos. Os jogos educativos baseados em contos infantis permitem um enriquecimento de experiências, de capacidades sequenciais de lógica e promovem a apetência da criança para fantasiar num mundo paralelo. No entanto, do nosso ponto de vista, o mercado dos jogos digitais ainda tem um longo caminho a percorrer para fornecer de forma equilibrada este tipo de jogos educativos. Com este trabalho abordam-se as potencialidades que os jogos educativos baseados em contos infantis podem ter no desenvolvimento de algumas competências das crianças, nomeadamente através da análise das suas vantagens e dos seus aspetos negativos. O mercado dos jogos digitais é também analisado para determinar os seus contributos e as ideias principais presentes. A componente prática deste trabalho de mestrado contempla a criação de um jogo educativo baseado em contos infantis que corresponda aos interesses das crianças entre os 3 e os 5 anos de idade, e que fomente o desenvolvimento de algumas das suas competências a nível da linguagem. Os testes feitos com o protótipo do jogo permitem aferir a recetividade por parte das crianças. A simplicidade no manuseamento da aplicação e o facto de integrar histórias do imaginário infantil consideram-se fatores positivos e motivadores à utilização do jogo “Contos Baralhados: Brinca com as Histórias”.

The Role of Psychological Adjustment in the Decision-Making Process for Voluntary Termination of Pregnancy

BACKGROUND: This study's objective was to evaluate the role of psychological adjustment in the decision-making process to have an abortion and explore individual variables that might influence this decision. METHODS: In this cross-sectional study, we sequentially enrolled 150 women who made the decision to voluntarily terminate a pregnancy in Maternity Dr. Alfredo da Costa, in Lisbon, Portugal, between September 2008 and June 2009. The instruments were the Depression, Anxiety and Stress Scale (DASS), Satisfaction with Social Support Scale (SSSS), Emotional Assessment Scale (EAS), Decision Conflict Scale (DCS), and Beliefs and Values Questionnaire (BVQ). We analyzed the data using Student's T-tests, MANOVA, ANOVA, Tukey's post-hoc tests and CATPCA. Statistically significant effects were accepted for p<0.05. RESULTS: The participants found the decision difficult and emotionally demanding, although they also identified it as a low conflict decision. The prevailing emotions were sadness, fear and stress; but despite these feelings, the participants remained psychologically adjusted in the moment they decided to have an abortion. The resolution to terminate the pregnancy was essentially shared with supportive people and it was mostly motivated by socio-economic issues. The different beliefs and values found in this sample, and their possible associations are discussed. CONCLUSION: Despite high levels of stress, the women were psychologically adjusted at the time of making the decision to terminate the pregnancy. However, opposing what has been previously reported, the women presented high levels of sadness and fear, showing that this decision was hard to make, triggering disruptive emotions.

Intention recognition, commitment and their roles in the evolution of cooperation

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

Aircraft Engines Maintenance Costs and Reliability: An Appraisal of the Decision Process to Remove an Engine for a Shop Visit Aiming at Minimum Maintenance Unit Cost

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.