Numerical experiments with a modified regularization scheme for mathematical programs with complementarity constraints

On this paper we present a modified regularization scheme for Mathematical Programs with Complementarity Constraints. In the regularized formulations the complementarity condition is replaced by a constraint involving a positive parameter that can be decreased to zero. In our approach both the complementarity condition and the nonnegativity constraints are relaxed. An iterative algorithm is implemented in MATLAB language and a set of AMPL problems from MacMPEC database were tested.

Group decision making and Quality-of-information in e-Health systems

Knowledge is central to the modern economy and society. Indeed, the knowledge society has transformed the concept of knowledge and is more and more aware of the need to overcome the lack of knowledge when has to make options or address its problems and dilemmas. One’s knowledge is less based on exact facts and more on hypotheses, perceptions or indications. Even when we use new computational artefacts and novel methodologies for problem solving, like the use of Group Decision Support Systems (GDSSs), the question of incomplete information is in most of the situations marginalized. On the other hand, common sense tells us that when a decision is made it is impossible to have a perception of all the information involved and the nature of its intrinsic quality. Therefore, something has to be made in terms of the information available and the process of its evaluation. It is under this framework that a Multi-valued Extended Logic Programming language will be used for knowledge representation and reasoning, leading to a model that embodies the Quality-of-Information (QoI) and its quantification, along the several stages of the decision-making process. In this way, it is possible to provide a measure of the value of the QoI that supports the decision itself. This model will be here presented in the context of a GDSS for VirtualECare, a system aimed at sustaining online healthcare services.

Modelo de representação de texto mais adequado à classificação

Mestrado em Engenharia Informática

Empreendedorismo Social, o papel das IPSS: estudo de caso

O empreendedorismo social tem vindo, nas últimas décadas, a ser denominado como um novo paradigma determinante para o funcionamento da economia, em grande parte, porque a economia social tornou-se basilar na sociedade, por um lado, pelo crescimento exponencial da exclusão social, elevado desemprego e envelhecimento da população e, por outro, devido às dificuldades orçamentais dos governos. O empreendedorismo social, utilizado por Instituições Particulares de Solidariedade Social sem fins lucrativos, procura resolver problemas sociais de forma inovadora e sustentável, com a finalidade de dar resposta aos grandes desafios sociais da atualidade, através da ação social na prevenção e no apoio nas diversas situações de fragilidade, exclusão ou carência humana, promovendo a inclusão, a integração social e o desenvolvimento local. O objetivo fundamental do presente trabalho, pretende verificar até que ponto as IPSS podem ser definidas como empreendedores sociais, através da prestação de serviços, nas variadas áreas à população local, de forma a alcançar o valor social. Neste estudo enveredou-se pela metodologia qualitativa, utilizando o método do estudo de caso único, recorrendo ao questionário como instrumento de recolha de dados numa instituição particular de solidariedade social do concelho da Maia. Deste estudo foi possível concluir a IPSS tem uma proximidade às populações, através das diversas valências vocacionadas para a resolução de problemas sociais emergentes, promovendo a inclusão a integração social, e alcançar o valor social. Assim, consideramos a IPSS estudada como sendo parte integrante e promotora do empreendedorismo social.

Sistema de detecção de intrusão em redes informáticas

Mestrado em Engenharia Electrotécnica e de Computadores

eTourismGUI - Adaptative Interface

Mestrado em Engenharia Informática. Área de Especialização em Tecnologias do Conhecimento e Decisão.

Qualidade de movimento e estratégias compensatórias associadas ao gesto de alcance em sujeitos com Acidente Vascular Encefálico

Introdução: O movimento do membro superior está de forma inequívoca direccionado para a resolução de problemas neuromotores. O gesto de alcance constitui o exemplo mais evidente da capacidade deste segmento se organizar no espaço com objetivos específicos e relacionados com a concretização de um propósito motor. A diminuição da necessidade de recorrer a estratégias compensatórias podem ser melhoradas através da implementação de uma intervenção baseada num processo de raciocínio clínico, assente na comprensão dos componentes específicos do movimento e do controle motor, o conceito de Bobath (CB). Objetivo: Pretendeu-se analisar as alterações nas variáveis: deslocamento do tronco, tempo de execução do movimento, unidades de movimento e velocidade máxima da mão no gesto de alcançar em 4 indivíduos com alterações neuromotoras decorrentes de um AVE, face à aplicação de um programa de intervenção baseado no CB. Metodologia: O estudo apresenta quatro casos de indivíduos com AVE, que realizaram intervenção em fisioterapia baseada no CB, durante 12 semanas. Antes e após a intervenção, analisadas as variáveis: deslocamento do tronco, tempo de execução do movimento, unidades de movimento e velocidade máxima da mão no gesto de alcançar recorrendo ao Qualisys Track Manager. Avaliou-se os movimentos compensatórios durante o gesto de alcance, através da Reach Performance Test e a Fugl-Meyer Assessment of Motor Recovery after Stroke para avaliar o comprometimento motor do MS. Resultados: Após a intervenção, os indivíduos em estudo apresentaram, na sua maioria, uma diminuição dos movimentos compensatórios no movimento de alcance. Apresentando diminuição deslocamento do troco, tempo de execução do movimento, unidades de movimento e um aumento na velocidade da mão. Conclusão: A intervenção baseada no CB teve efeitos positivos do ponto de vista do CP do tronco e MS, nos quatro indivíduos com AVE.

Determinação dos impactes ambientais e análise do ciclo de vida da produção de biodiesel

O consumo de energia tem vindo a crescer de uma forma contínua e directamente proporcional ao aumento da população e da industrialização. A maior parte da energia consumida no Mundo é, ainda, proveniente dos combustíveis fósseis. Contudo, a diminuição da reserva e a poluição atmosférica produzida pela sua utilização, estimulam e aumentam a necessidade de fontes alternativas de energia. O biodiesel tem atraído considerável atenção como combustível renovável, biodegradável e não tóxico, e pode contribuir para a resolução do problema energético, reduzindo significativamente a emissão dos gases causadores do aquecimento global. A primeira etapa deste trabalho consistiu na simulação de diferentes alternativas de processos de produção de biodiesel. O método usado para a produção do biodiesel foi a transesterificação entre os óleos vegetais e um álcool, na presença de um catalisador. Entre as matérias-primas figuram os óleos de palma e os óleos alimentares usados que foram objecto de estudo nesta dissertação. Na segunda etapa realizou-se uma análise do ciclo de vida para todas as alternativas em estudo seguida de uma análise económica para as alternativas que apresentassem menores impactos e que fossem mais promissoras do ponto de vista económico. Por fim, procedeu-se à comparação das diferentes alternativas sob o ponto de vista da análise do ciclo de vida e sob o ponto de vista da análise económica. Comprovou-se a viabilidade de todos os processos e o biodiesel obtido apresentou boas especificações. Do ponto de vista da análise do ciclo de vida a melhor alternativa foi o processo de catálise alcalina com pré-tratamento ácido para óleos alimentares usados. O processo que usa como matérias-primas os óleos virgens, o metanol e o hidróxido de sódio apresenta, no entanto, menores custos de investimento. Contudo, o processo de catálise alcalina com pré-tratamento ácido cuja matéria-prima principal são os óleos usados é muito mais rentável e apresenta menores impactes ambientais.

Resolução do problema do escalonamento da produção de energia eléctrica usando programação lógica por restrições

A operação dos Mercados de Energia Eléctrica passa, actualmente, por uma profunda reestruturação, com o principal foco nas transacções do sistema de transmissão entre os diferentes agentes. Tendo isso em conta, o serviço de transmissão neste novo esquema de funcionamento do Mercado de Energia Eléctrica deve ser provido de máxima eficiência económica, atendendo sempre às restrições de segurança do sistema. Com esta reorganização do sector eléctrico da última década surgiu também a necessidade de rever os modelos tradicionais de optimização económica do Sistema Eléctrico de Energia, como por exemplo o despacho e prédespacho (unit commitment). A reestruturação e liberalização dos mercados de energia eléctrica trouxeram novas restrições a alguns dos problemas tradicionais associados aos Sistemas Eléctricos de Energia. Um desses problemas é o Escalonamento da Produção de Energia Eléctrica, que no contexto actual, implica quase sempre negociação entre os diferentes agentes do mercado e consequentemente reescalonamento. A maioria dos métodos usados para a resolução do problema não permitem reformular o prédespacho, algo para que a Programação Lógica por Restrições é extremamente adequada. O trabalho desenvolvido nesta dissertação visa criar uma aplicação computacional com base na Programação Lógica por Restrições, através da plataforma ECLiPSe, para resolver o problema do Escalonamento da Produção de Energia Eléctrica dos grupos térmicos, demonstrando assim a versatilidade e flexibilidade deste tipo de programação aplicada a problema combinatoriais deste género.

Energy resource management in smart grids considering an Intensive use of electric vehicles

The introduction of electricity markets and integration of Distributed Generation (DG) have been influencing the power system’s structure change. Recently, the smart grid concept has been introduced, to guarantee a more efficient operation of the power system using the advantages of this new paradigm. Basically, a smart grid is a structure that integrates different players, considering constant communication between them to improve power system operation and management. One of the players revealing a big importance in this context is the Virtual Power Player (VPP). In the transportation sector the Electric Vehicle (EV) is arising as an alternative to conventional vehicles propel by fossil fuels. The power system can benefit from this massive introduction of EVs, taking advantage on EVs’ ability to connect to the electric network to charge, and on the future expectation of EVs ability to discharge to the network using the Vehicle-to-Grid (V2G) capacity. This thesis proposes alternative strategies to control these two EV modes with the objective of enhancing the management of the power system. Moreover, power system must ensure the trips of EVs that will be connected to the electric network. The EV user specifies a certain amount of energy that will be necessary to charge, in order to ensure the distance to travel. The introduction of EVs in the power system turns the Energy Resource Management (ERM) under a smart grid environment, into a complex problem that can take several minutes or hours to reach the optimal solution. Adequate optimization techniques are required to accommodate this kind of complexity while solving the ERM problem in a reasonable execution time. This thesis presents a tool that solves the ERM considering the intensive use of EVs in the smart grid context. The objective is to obtain the minimum cost of ERM considering: the operation cost of DG, the cost of the energy acquired to external suppliers, the EV users payments and remuneration and penalty costs. This tool is directed to VPPs that manage specific network areas, where a high penetration level of EVs is expected to be connected in these areas. The ERM is solved using two methodologies: the adaptation of a deterministic technique proposed in a previous work, and the adaptation of the Simulated Annealing (SA) technique. With the purpose of improving the SA performance for this case, three heuristics are additionally proposed, taking advantage on the particularities and specificities of an ERM with these characteristics. A set of case studies are presented in this thesis, considering a 32 bus distribution network and up to 3000 EVs. The first case study solves the scheduling without considering EVs, to be used as a reference case for comparisons with the proposed approaches. The second case study evaluates the complexity of the ERM with the integration of EVs. The third case study evaluates the performance of scheduling with different control modes for EVs. These control modes, combined with the proposed SA approach and with the developed heuristics, aim at improving the quality of the ERM, while reducing drastically its execution time. The proposed control modes are: uncoordinated charging, smart charging and V2G capability. The fourth and final case study presents the ERM approach applied to consecutive days.

Planning and implementing a new assessment strategy using an e-learning platform

One of the most difficult issues of e-Learning is the students’ assessment. Being this an outstanding task regarding theoretical topics, it becomes even more challenging when the topics under evaluation are practical. ISCAP’s Information Systems Department is composed of about twenty teachers who have been for several years using an e-learning environment (at the moment Moodle 2.3) combined with traditional assessment. They are now planning and implementing a new e-learning assessment strategy. This effort was undertaken in order to evaluate a practical topic (the use of spreadsheets to solve management problems) common to shared courses of several undergraduate degree programs. The same team group is already experienced in the assessment of theoretical information systems topics using the b-learning platform. Therefore, this project works as an extension to previous experiences being the team aware of the additional difficulties due to the practical nature of the topics. This paper describes this project and presents two cycles of the action research methodology, used to conduct the research. The first cycle goal was to produce a database of questions. When it was implemented in order to be used with a pilot group of students, several problems were identified. Subsequently, the second cycle consisted in solving the identified problems preparing the database and all the players to a broader scope implementation. For each cycle, all the phases, its drawbacks and achievements are described. This paper suits all those who are or are planning to be in the process of shifting their assessment strategy from a traditional to one supported by an e-learning platform.

Fuzzy Monte Carlo model for transmission power systems reliability based decision making

This thesis presents the Fuzzy Monte Carlo Model for Transmission Power Systems Reliability based studies (FMC-TRel) methodology, which is based on statistical failure and repair data of the transmission power system components and uses fuzzyprobabilistic modeling for system component outage parameters. Using statistical records allows developing the fuzzy membership functions of system component outage parameters. The proposed hybrid method of fuzzy set and Monte Carlo simulation based on the fuzzy-probabilistic models allows catching both randomness and fuzziness of component outage parameters. A network contingency analysis to identify any overloading or voltage violation in the network is performed once obtained the system states. This is followed by a remedial action algorithm, based on Optimal Power Flow, to reschedule generations and alleviate constraint violations and, at the same time, to avoid any load curtailment, if possible, or, otherwise, to minimize the total load curtailment, for the states identified by the contingency analysis. For the system states that cause load curtailment, an optimization approach is applied to reduce the probability of occurrence of these states while minimizing the costs to achieve that reduction. This methodology is of most importance for supporting the transmission system operator decision making, namely in the identification of critical components and in the planning of future investments in the transmission power system. A case study based on Reliability Test System (RTS) 1996 IEEE 24 Bus is presented to illustrate with detail the application of the proposed methodology.

Life cycle analysis of biodiesel production

Biodieselhas attracted considerable attention as a renewable, biodegradable, and nontoxic fuel and can contribute to solving the energy problems, significantly reducing the emission of gases which cause global warming. The first stage of this work was to simulate different alternative processes for producing biodiesel. The method used for the production of biodiesel is the transesterification of vegetable oilswith an alcohol in the presence of a catalyst. The raw materials used were palm oils and waste cooking oil. The second stage was a life cycle analysis for all alternatives under study, followed by an economic analysis for the alternatives that present minor impacts and which are more promising from an economic point of view. Finally,we proceeded to compare the different alternatives fromboth the point of view of life cycle and economic analysis. The feasibility of all processes was proven and the biodiesel obtained had good specifications. From the standpoint of life cycle analysis, the best alternative was the process of alkaline catalysiswith acid pretreatment for waste cooking oil. The economic analysis was done to the previous mentioned process and to the process that uses raw virgin oils, methanol, and sodium hydroxide. This process has lower investment costs but the process of alkaline catalysis with acid pre-treatment, whose main raw material is waste oil, is much more profitable and has less environmental impacts.

Methodology for in-game certification in serious games

Serious games are starting to attain a higher role as tools for learning in various contexts, but in particular in areas such as education and training. Due to its characteristics, such as rules, behavior simulation and feedback to the player's actions, serious games provide a favorable learning environment where errors can occur without real life penalty and students get instant feedback from challenges. These challenges are in accordance with the intended objectives and will self-adapt and repeat according to the student’s difficulty level. Through motivating and engaging environments, which serve as base for problem solving and simulation of different situations and contexts, serious games have a great potential to aid players developing professional skills. But, how do we certify the acquired knowledge and skills? With this work we intend to propose a methodology to establish a relationship between the game mechanics of serious games and an array of competences for certification, evaluating the applicability of various aspects in the design and development of games such as the user interfaces and the gameplay, obtaining learning outcomes within the game itself. Through the definition of game mechanics combined with the necessary pedagogical elements, the game will ensure the certification. This paper will present a matrix of generic skills, based on the European Framework of Qualifications, and the definition of the game mechanics necessary for certification on tour guide training context. The certification matrix has as reference axes: skills, knowledge and competencies, which describe what the students should learn, understand and be able to do after they complete the learning process. The guides-interpreters welcome and accompany tourists on trips and visits to places of tourist interest and cultural heritage such as museums, palaces and national monuments, where they provide various information. Tour guide certification requirements include skills and specific knowledge about foreign languages and in the areas of History, Ethnology, Politics, Religion, Geography and Art of the territory where it is inserted. These skills are communication, interpersonal relationships, motivation, organization and management. This certification process aims to validate the skills to plan and conduct guided tours on the territory, demonstrate knowledge appropriate to the context and finally match a good group leader. After defining which competences are to be certified, the next step is to delineate the expected learning outcomes, as well as identify the game mechanics associated with it. The game mechanics, as methods invoked by agents for interaction with the game world, in combination with game elements/objects allows multiple paths through which to explore the game environment and its educational process. Mechanics as achievements, appointments, progression, reward schedules or status, describe how game can be designed to affect players in unprecedented ways. In order for the game to be able to certify tour guides, the design of the training game will incorporate a set of theoretical and practical tasks to acquire skills and knowledge of various transversal themes. For this end, patterns of skills and abilities in acquiring different knowledge will be identified.

Literacia de informação na Polícia de Segurança Pública

Orientadora: Doutora Anabela Mesquita Teixeira Sarmento