Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2017

A New Approach for Market Power Detection in Renewable-based Electricity Markets

Authors
Hajibandeh, N; Shafie khah, M; Osorio, GJ; Catalao, JPS;

Publication
2017 1ST IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2017 17TH IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC / I&CPS EUROPE)

Abstract
This work proposes a new approach to detect the market power in power systems consisting of renewable energy sources. A model powered by game theory and agent-based systems is proposed to analyze the behaviors of each market player from the regulatory body's viewpoint. The proposed method considers both the tacit collusive behavior of Generation Companies, and the possibility of explicit collusion. In addition, three new market power indexes are introduced to quantify the market power level as well as to precise its causes. In order to evaluate the efficiency of the methodology, various numerical studies are carried out, and the effect of several market regulations is investigated on the market behaviors.

2016

Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq

Authors
Krebbers, R; Parlant, L; Silva, A;

Publication
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Abstract

2016

Optimization of integrated scheduling of handling and storage operations at automated container terminals

Authors
Homayouni, SM; Tang, SH;

Publication
WMU JOURNAL OF MARITIME AFFAIRS

Abstract
Increasing demand for containerization compels container terminals to improve their performance. Uncoordinated scheduling of operations is one of the main factors accounting for poor performance at automated container terminals (ACTs). To increase land utilization efficiency and lower operational times, a new storage system called the split-platform automated storage/retrieval system (SP-AS/RS) has been introduced for temporary storage of containers. This paper describes a multi-objective mixed-integer programming (MIP) model that is based on a combination of multiple interacting sub-tasks. It is aimed at optimizing the integrated scheduling of handling and storage operations in ACTs. The MIP model objective function is to minimize delays in the loading/unloading tasks of the cranes and the travel time of vehicles and platforms in the SP-AS/RS. At the same time, a simulated annealing algorithm (SAA) that provides near-optimal solutions for the problem in a reasonable computation time is appraised. The results of this study show that the objective function of the MIP model is, on average, 58 % lower than that of the non-integrated scheduling method. On the other hand, the best objective function values obtained by the SAA indicate only a 3.7 % disadvantage in comparison with optimal values determined by the MIP model, demonstrating that the SAA is able to provide near-optimal solutions for the integrated scheduling of handling and storage operations. © 2015, World Maritime University.

2016

An Approach to Relevancy Detection: contributions to the automatic detection of relevance in social networks

Authors
Figueira, A; Sandim, M; Fortuna, P;

Publication
NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1

Abstract
In this paper we analyze the information propagated through three social networks. Previous research has shown that most of the messages posted on Twitter are truthful, but the service is also used to spread misinformation and false rumors. In this paper we focus on the search for automatic methods for assessing the relevance of a given set of posts. We first retrieved from social networks, posts related to trending topics. Then, we categorize them as being news or as being conversational messages, and assessed their credibility. From the gained insights we used features to automatically assess whether a post is news or chat, and to level its credibility. Based on these two experiments we built an automatic classifier. The results from assessing our classifier, which categorizes posts as being relevant or not, lead to a high balanced accuracy, with the potential to be further enhanced.

2016

InGaZnO Thin-Film-Transistor-Based Four-Quadrant High-Gain Analog Multiplier on Glass

Authors
Bahubalindruni, PG; Tavares, VG; Borme, J; de Oliveira, PG; Martins, R; Fortunato, E; Barquinha, P;

Publication
IEEE ELECTRON DEVICE LETTERS

Abstract
This letter presents a novel high-gain four-quadrant analog multiplier using only n-type enhancement indium-gallium-zinc-oxide thin-film-transistors. The proposed circuit improves the gain by using an active load with positive feedback. A Gilbert cell with a diode-connected load is also presented for comparison purposes. Both circuits were fabricated on glass at low temperature (200 degrees C) and were successfully characterized at room temperature under normal ambient conditions, with a power supply of 15 V and 4-pF capacitive load. The novel circuit has shown a gain improvement of 7.2 dB over the Gilbert cell with the diode-connected load. Static linearity response, total harmonic distortion, frequency response, and power consumption are reported. This circuit is an important signal processing building block in large-area sensing and readout systems, specially if data communication is involved.

2016

The scientific research context of urban transports for Bus Rapid Transit systems applications

Authors
Neuenfeldt Júnior, AL; Siluk, JCM; Paris, SRD;

Publication
Journal of Transport Literature

Abstract

  • 1976
  • 4042