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

2020

The computational power of parsing expression grammars

Autores
Loff, B; Moreira, N; Reis, R;

Publicação
JOURNAL OF COMPUTER AND SYSTEM SCIENCES

Abstract
We study the computational power of parsing expression grammars (PEGs). We begin by constructing PEGs with unexpected behaviour, and surprising new examples of languages with PEGs, including the language of palindromes whose length is a power of two, and a binary-counting language. We then propose a new computational model, the scaffolding automaton, and prove that it exactly characterises the computational power of parsing expression grammars (PEGs). Several consequences will follow from this characterisation: (1) we show that PEGs are computationally "universal", in a certain sense, which implies the existence of a PEG for a P-complete language; (2) we show that there can be no pumping lemma for PEGs; and (3) we show that PEGs are strictly more powerful than online Turing machines which do o(n/(logn)(2)) steps of computation per input symbol. (C) 2020 Published by Elsevier Inc.

2020

Multiobjective ray optimization algorithm as a solution strategy for solving non-convex problems: A power generation scheduling case study

Autores
Beirami, A; Vahidinasab, V; Shafie khah, M; Catalao, JPS;

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

Abstract
Economic generation scheduling (EGS) is a non-convex optimization problem for allocating optimal generation among the committed units that can meet given real-world practical limits such as ramp rate limits, prohibited operating zones, valve loading effects, multi-fuel options, spinning reserve and transmission system losses at the minimum fuel cost. Moreover, considering environmental issues results in an environmental/economic generation scheduling (EEGS) problem that is a multiobjective optimization model with two non-commensurable and contradictory objectives. In this paper, a novel method has been presented in order to minimize production cost and emission of the steam power plants in short term periods. The obtained results showed that the proposed method can be used in short-term decision making of steam power plants which will be absolutely effective in long-term emission target oriented strategies. A framework is proposed for solving single objective EGS and multiobjective EEGS problems considering the aforementioned constraints. The problem is solved by a new meta-heuristic optimization called Ray Optimization (RO) to determine the optimal power generation. The performance of the proposed algorithm is investigated by applying it to solve diverse test systems having nonconvex solution spaces. Numerical results have been comprehensively compared with some of the most recently published research works in the area in order to validate the results and confirm the potential of the proposed approach. The obtained results show the application of the proposed framework and effectiveness of the solutions.

2020

Day-Ahead Market Participation of an Active Distribution Network Equipped With Small-Scale CAES Systems

Autores
Ghadi, MJ; Azizivahed, A; Rajabi, A; Ghavidel, S; Li, L; Zhang, JF; Shafie Khah, M; Catalao, JPS;

Publicação
IEEE TRANSACTIONS ON SMART GRID

Abstract
Large-scale compressed air energy storage (CAES) is conventionally used in power systems. However, application of CAESs at the distribution level is limited because of differences in design and efficiency. On the other hand, application of electrical batteries suited for distribution networks (DNs) faces also challenges from high investment cost and significant degradation. In this regard, this paper presents the participation of an active distribution system equipped with a small-scale CAES (SCAES) in the day-ahead wholesale market. To make CAES applicable to DNs, thermal-electrical setting design of the SCAES coupled with a packed-bed heat exchanger is adopted in the operation of the grid, where SCAES performs as an energy storage for DNs to surpass existing deficiencies of battery banks. The electrical/thermal conversion rate has been modeled for the SCAES operation. Moreover, the operation strategy of the SCAES is optimally coordinated with an electric vehicle charging station (EVCS) as an alternative energy storage technology in deregulated DNs. To make EVCS simulation more realistic, Gaussian Copula probability distribution function is used to model the behavior of the EVCS. The results obtained from different case studies confirm the value of SCAES as a reliable energy storage technology for DNs.

2020

Modelling and Control of Switched Reluctance Machines

Autores
Esteves Araújo, R; Roberto Camacho, J;

Publicação

Abstract

2020

Proposal of an Augmented Reality Tag UAV Positioning System for Power Line Tower Inspection

Autores
Cantieri, AR; Wehrmeister, MA; Oliveira, AS; Lima, J; Ferraz, M; Szekir, G;

Publicação
FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1

Abstract
Autonomous inspection Unmanned Aerial Vehicle systems are an essential research area, including power line distribution inspection. Considerable efforts to solve the demanding presented in the autonomous UAV inspection process are present in technical and scientific research. One of these challenges is the precise positioning and fly control of the UAV around the energy structures, which is vital to assure the security of the operation. The most common techniques to achieve precise positioning in UAV fly are Global Positioning Systems with Real-Time Kinematic. This technique demands a proper satellite signal receiving to work appropriately, sometimes hard to achieve. The present work proposes a complementary position data system based on augmented reality tags (AR Tags) to increase the reliability of the UAV fly positioning system. The system application is proposed for energy power tower inspections as an example of use. The adaptation to other inspection tasks is possible whit some small changes. Experimental results have shown that an increase in the position accuracy is accomplished with the use of this schema.

2020

Flexibility hub – Flexibility provision by decentralised assets connected to the distribution grid

Autores
Filipe, NL; Marques, M; Villar, J; Silva, B; Moreira, J; Louro, M; Retorta, F; Aguiar, J; Rezende, I; Simões, T; Marinho, N;

Publicação
IET Conference Publications

Abstract
EU-SysFlex H2020 project aims at developing and testing innovative tools for the integration of high levels (above 50%) of renewable energy sources (RES) in the pan-European Electricity system. Those high levels of RES will increase the need for new sources of flexibility to support the system services, since there will be a decreasing number of conventional power plants connected to the grid, traditionally the main providers of these services. In this context, this study describes the Flexibility Hub (FlexHub) concept, part of the EU-SysFlex Portuguese demonstrator, consisting of a platform of tools managed by the distribution system operator to facilitate market-based flexibility provision to the transmission system operator (TSO) using resources connected to the distribution system. The FlexHub includes the provision of active power flexibility to the TSO (with an extended restoration reserve market concept), an essential tool to help the TSO balancing the grid, being a replicable concept that will become increasingly relevant in a future with a high share of decentralised assets connected to the distribution grids.

  • 1356
  • 4387