Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2015

Enhanced leader PSO (ELPSO): A new algorithm for allocating distributed TCSC's in power systems

Autores
Jordehi, AR; Jasni, J; Abd Wahab, N; Kadir, MZ; Javadi, MS;

Publicação
INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS

Abstract
Allocation of flexible AC transmission systems (FACTS) devices is a challenging power system problem. This paper proposes a new particle swarm optimisation (PSO) variant, called enhanced leader PSO (ELPSO), for solving this problem. This algorithm is capable of solving FACTS allocation problem in a way leading to lower amounts of power flow violations, voltage deviations and power losses with respect to other optimisation algorithms. Distributed thyristor controlled series compensators (D-TCSC's) are used. D-TCSC's are installed at all branches except those with regulating transformers. The reactances of D-TCSC's are found in optimisation process. ELPSO features a five-staged successive mutation strategy which mitigates premature convergence problem of conventional PSO. ELPSO and other optimisation algorithms are applied to IEEE 14 bus and 118 bus power systems for N-1 contingencies and also for simultaneous outage of four branches. The results show that it leads to lower amounts of power flow violations, voltage deviations and power losses with respect to conventional PSO (CPSO) and eight other optimisation algorithms including genetic algorithm (GA), gravitational search algorithm (GSA), galaxy based search algorithm (GBSA), invasive weed optimisation (IWO), asexual reproduction optimisation (ARO), threshold acceptance (TA), pattern search and nonlinear programming (NLP).

2015

Completeness and Incompleteness in Nominal Kleene Algebra

Autores
Kozen, D; Mamouras, K; Silva, A;

Publicação
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Abstract

2015

A Typed Language for Events

Autores
Alves, S; Broda, S; Fernández, M;

Publicação
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015)

Abstract
We define a general typed language to deal with the notion of event in the context of access control systems. We distinguish between generic events, which represent the kind of actions that can occur in a system, and specific events, which represent actual occurrences of those kinds of actions. A relation is given associating specific to generic events, as well as a method for obtaining intervals from a history of events. We describe applications in access control systems with obligations.

2015

Distance Perception in Immersive Environments - The Role of Photorealism

Autores
Silva, C; Mouta, S; Basso, D; Santos, J; Campos, J;

Publicação
PERCEPTION

Abstract
Immersive environments (IE) are being increasingly used in order to perform psychophysical experiments. The versatility in terms of stimuli presentation and control and the less time-consuming procedures are their greatest strengths. However, to ensure that IE results can be generalized to real world scenarios we must first provide evidence that performance in IE is quantitatively indistinguishable from performance in real-world. Our goal was to perceptually validate distance perception for CAVE-like IEs. Participants performed a Frontal Matching Distance Task (Durgin & Li, 2011) in three different conditions: real-world scenario (RWS); photorealistic IE (IEPH) and non-photorealistic IE (IENPH). Underestimation of distance was found across all the conditions, with a significant difference between the three conditions (Wilks’ Lambda = .38, F(2,134)= 110.8, p<.01, significant pairwise differences with p<.01). We found a mean error of 2.3 meters for the RWS, 5 meters for the IEPH, and of 6 meters for the IENPH in a pooled data set of 5 participants. Results indicate that while having a photorealistic IE with perspective and stereoscopic depth cues might not be enough to elicit a real-world performance in distance judgment tasks, nevertheless this type of environment minimizes the discrepancy between simulation and real-world when compared with non-photorealistic IEs.

2015

Computer-aided recognition of dental implants in X-ray images

Autores
Morais, P; Queiros, S; Moreira, AHJ; Ferreira, A; Ferreira, E; Duque, D; Rodrigues, NF; Vilaca, JL;

Publicação
MEDICAL IMAGING 2015: COMPUTER-AIDED DIAGNOSIS

Abstract
Dental implant recognition in patients without available records is a time-consuming and not straightforward task. The traditional method is a complete user-dependent process, where the expert compares a 2D X-ray image of the dental implant with a generic database. Due to the high number of implants available and the similarity between them, automatic/semi-automatic frameworks to aide implant model detection are essential. In this study, a novel computer-aided framework for dental implant recognition is suggested. The proposed method relies on image processing concepts, namely: (i) a segmentation strategy for semi-automatic implant delineation; and (ii) a machine learning approach for implant model recognition. Although the segmentation technique is the main focus of the current study, preliminary details of the machine learning approach are also reported. Two different scenarios are used to validate the framework: (1) comparison of the semi-automatic contours against implant's manual contours of 125 X-ray images; and (2) classification of 11 known implants using a large reference database of 601 implants. Regarding experiment 1, 0.97+/-0.01, 2.24+/-0.85 pixels and 11.12+/-6 pixels of dice metric, mean absolute distance and Hausdorff distance were obtained, respectively. In experiment 2, 91% of the implants were successfully recognized while reducing the reference database to 5% of its original size. Overall, the segmentation technique achieved accurate implant contours. Although the preliminary classification results prove the concept of the current work, more features and an extended database should be used in a future work.

2015

Semantically connected web resources with MPEG-21

Autores
Castro, H; Andrade, MT; Almeida, F; Tropea, G; Melazzi, NB; Mousas, AS; Kaklamani, DI; Chiariglione, L; Difino, A;

Publicação
MULTIMEDIA TOOLS AND APPLICATIONS

Abstract
The Web is rapidly becoming the prime medium for human socialization. The resources that enable that process (social web sites, blogs, media objects, etc.) present growing complexity and, collectively, weave an ever more intricate web of relationships. Current technology for declaring those relationships is predominantly implicit, ambiguous and semantically poor. As a consequence, their automatic assessment is complex and error prone, preventing the satisfaction of users' needs such as effective semantic searches. To address these limitations, whilst enabling the explicit declaration of semantically unambiguous relationships between digital resources, a solution employing structured semantic descriptors and ontologies was conceived, based on MPEG-21. This paper explains the functioning of the devised mechanism, and goes beyond that, into the definition of two novel employment venues for it, at the service of two real-world usage scenarios. These demonstrate the mechanism's added value as a powerful alternative for the semantically aware interconnection of web resources, and highlight the increased QoE that said mechanism enables.

  • 2672
  • 4504