DC Fuzzy Multicriteria Approach to Increase the Probability of Delivering Power in Distribution Networks

This paper proposes a methodology to increase the probability of delivering power to any load point through the identification of new investments. The methodology uses a fuzzy set approach to model the uncertainty of outage parameters, load and generation. A DC fuzzy multicriteria optimization model considering the Pareto front and based on mixed integer non-linear optimization programming is developed in order to identify the adequate investments in distribution networks components which allow increasing the probability of delivering power to all customers in the distribution network at the minimum possible cost for the system operator, while minimizing the non supplied energy cost. To illustrate the application of the proposed methodology, the paper includes a case study which considers an 33 bus distribution network.

A study on parallel versus sequential relational fuzzy clustering methods

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

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Catástrofes naturais em saúde pública : impactos e planos de emergência : caso de estudo : São Miguel-Açores

RESUMO - Nos últimos anos, as catástrofes naturais têm sido a causa frequente de problemas de Saúde Pública; além disso representam um sério obstáculo ao desenvolvimento das comunidades atingidas, na medida em que consomem ponderáveis recursos para a mitigação dos danos sofridos. Pode-se dizer que não existe nenhum país que não esteja exposto ao risco de catástrofes naturais, tais como Sismos, Tsunamis, Erupções Vulcânicas, Movimentos de Vertentes, Ciclones Tropicais, Ondas de Frio e de Calor, Secas e Inundações, e como tal, este é um problema global emergente. Como, actualmente, é impossível prever e controlar a ocorrência destes fenómenos, as acções humanas têm de ser direccionadas para a implementação de soluções que possam mitigar e/ou prevenir o seu impacto na sociedade. A integração do lugar, do espaço e do tempo na Saúde Pública, como componentes de investigação relativas aos problemas da população, são uma ferramenta metodológica importante no auxílio do planeamento, monitorização e avaliação das acções em saúde. O que está em causa neste estudo é o pensar, o preparar e o adaptar os nossos territórios e populações a cenários de crise que podem aparecer sem aviso prévio. Este trabalho é, sobretudo, uma forma de pensar e planear o futuro numa lógica de adaptação e valorização do território, construindo referenciais de suporte à acção. Assim, a finalidade deste estudo é contribuir para melhorar/aperfeiçoar a resposta perante novas situações de catástrofe natural, através da percepção e caracterização de situações anteriores de catástrofes naturais a que a Ilha de São Miguel, nos Açores, esteve sujeita nos últimos vinte e seis anos, através da construção e análise de cartas de localização de risco, caracterização da população em risco e da avaliação dos respectivos Planos de Emergência. ---------------------- ABSTRACT - In the last years, the natural disasters have been the frequent cause of Public Health problems and additionally they represent a serious obstacle to the development of the communities affected, in so far as they consume ponderable resources to the mitigation of the damages. It is possible to be said that there is not any country that is not exposed to the risk of natural disasters such as earthquakes, tsunamis, volcanic eruptions, landslides, tropical cyclones, waves of heat and coldness, droughts and floods, and as such, this is an emerging global problem. As it is now impossible to predict and control the occurrence of these phenomena, human actions must be directed to implement solutions that can mitigate and / or prevent their impact on society. The integration of place, space and time on Public Health, as part of research on problems of the population, are an important methodological tool to aid planning, monitoring and evaluation of activities in health. The main issue in this study is to think, prepare and adapt our territories and populations to crisis scenarios that may occur without notice. This work is mainly a way of thinking and planning ahead in a logic of adapting and improving the area, building frameworks to support the action. Thus, the purpose of this study is to contribute to improve / optimize the answer for new natural disaster situations, through the perception and characterization of previous situations of natural catastrophes that the Island of São Miguel, in the Azores, has been subject in the last twenty six years, through the construction and analysis of risk maps, characterization of the population in risk and of the evaluation of the respective Plans of Emergence.

Vibrio vulnificus as a health hazard for shrimp consumers

Over the last 30 years, a number of Vibrio species found in the aquatic environment have been indicated as cause of disease in human beings. Vibrio vulnificus is an emergent pathogen, an invasive and lethal marine bacterium related to wound infection and held accountable for gastroenteritis and primary septicemia. It occurs quite frequently in marine organisms, mainly in mollusks. This study aimed at isolating and identifying strains of V. vulnificus based upon the analysis of twenty samples of seabob shrimp, Xiphopenaeus kroyeri (Heller), purchased at the Mucuripe fish market (Fortaleza, Brazil). TCBS agar was used to isolate suspect strains. Seven of twenty-nine strains isolated from six different samples were confirmed as such by means of biochemical evidence and thus submitted to biological assays to determine their virulence. The susceptibility of the V. vulnificus strains to a number of antibiotics was tested. None of the V. vulnificus strains showed signs of virulence during a 24-hour observation period, possibly due to the shedding of the capsules by the cells. As to the results of the antimicrobial susceptibility tests, the seven above-mentioned V. vulnificus strains were found to be sensitive to nitrofurantoin (NT), ciprofloxacin (CIP), gentamicin (GN) and chloramphenicol (CO) and resistant to clindamycin (CI), penicillin (PN) and ampicillin (AP).

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.

Development of a fuzzy qualitative risk assessment model applied to construction industry

Dissertação para obtenção do Grau de Doutor em Engenharia Industrial

Recursive neuro fuzzy techniques for online identification and control

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

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

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.

Reconfigurable photonic logic architecture

The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.

Unfuzzying fuzzy parsing

Dissertação de Mestrado em Engenharia Informática

Fuzzy maintenance costs of a wind turbine pitch control device

This paper deals with the problem of estimation maintenance costs for the case of the pitch controls system of wind farms turbines. Previous investigations have estimated these costs as (traditional) “crisp” values, simply ignoring the uncertainty nature of data and information available. This paper purposes an extended version of the estimation model by making use of the Fuzzy Set Theory. The results alert decision-makers to consequent uncertainty of the estimations along with their overall level, thus improving the information given to the mainte-nance support system.

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.