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

2018

Parallel Polyglot Query Processing on Heterogeneous Cloud Data Stores with LeanXcale

Autores
Kolev, B; Levchenko, O; Pacitti, E; Valduriez, P; Vilaça, R; Gonçalves, RC; Peris, RJ; Kranas, P;

Publicação
IEEE BigData

Abstract

2018

GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES

Autores
Hofmann, D; Neves, R; Nora, P;

Publicação
THEORY AND APPLICATIONS OF CATEGORIES

Abstract
It is known since the late 1960's that the dual of the category of compact Hausdoroff spaces and continuous maps is a variety - not finitary, but bounded by aleph(1). In this note we show that the dual of the category of partially ordered compact spaces and monotone continuous maps is an aleph(1)-ary quasivariety, and describe partially its algebraic theory. Based on this description, we extend these results to categories of Vietoris coalgebras and homomorphisms on ordered compact spaces. We also characterise the aleph(1)-copresentable partially ordered compact spaces.

2018

Optimal electric power generation with underwater kite systems

Autores
Paiva, LT; Fontes, FACC;

Publicação
COMPUTING

Abstract
In this article we investigate the problem of generating electricity through an underwater kite power system (UKPS). For this problem, we develop the dynamical model for the UKPS and we formulate an optimal control problem to devise the trajectories and controls of the kite that maximize the total energy produced in a given time interval. This is a highly nonlinear problem for which the optimization is challenging. We also develop a numerical solution scheme for the optimal control problem based on direct methods and on adaptive time-mesh refinement. We report results that show that the problem can be quickly solved with a high level of accuracy when using our adaptive mesh refinement strategy. The results provide a set of output power values for different design choices and confirm that electrical energy that can be produced with such device.

2018

User-Centric Networks Selection with Adaptive Data Compression for Smart Health

Autores
Abdellatif A.A.; Mohamed A.; Chiasserini C.F.;

Publicação
IEEE Systems Journal

Abstract
The increasing demand for intelligent and sustainable healthcare services has prompted the development of smart health systems. Rapid advances in wireless access technologies and in-network data reduction techniques can significantly assist in implementing such smart systems through providing seamless integration of heterogeneous wireless networks, medical devices, and ubiquitous access to data. Utilization of the spectrum across diverse radio technologies is expected to significantly enhance network capacity and quality of service (QoS) for emerging applications such as remote monitoring over mobile-health (m-health) systems. However, this imposes an essential need to develop innovative networks selection mechanisms that account for energy efficiency while meeting application quality requirements. In this context, this paper proposes an efficient networks selection mechanism with adaptive compression for improving medical data delivery over heterogeneous m-health systems. We consider different performance aspects, as well as networks characteristics and application requirements, so as to obtain an efficient solution that grasps the conflicting nature of the various users' objectives and addresses their inherent tradeoffs. The proposed methodology advocates a user-centric approach towards leveraging heterogeneous wireless networks to enhance the performance of m-health systems. Simulation results show that our solution significantly outperforms state-of-the-art techniques.

2018

Image phase shift invariance based cloud motion displacement vector calculation method for ultra-short-term solar PV power forecasting

Autores
Wang, F; Zhen, Z; Liu, C; Mi, ZQ; Hodge, SM; Shafie khah, M; Catalao, JPS;

Publicação
ENERGY CONVERSION AND MANAGEMENT

Abstract
Irradiance received on the earth's surface is the main factor that affects the output power of solar PV plants, and is chiefly determined by the cloud distribution seen in a ground-based sky image at the corresponding moment in time. It is the foundation for those linear extrapolation-based ultra-short-term solar PV power forecasting approaches to obtain the cloud distribution in future sky images from the accurate calculation of cloud motion displacement vectors (CMDVs) by using historical sky images. Theoretically, the CMDV can be obtained from the coordinate of the peak pulse calculated from a Fourier phase correlation theory (FPCT) method through the frequency domain information of sky images. The peak pulse is significant and unique only when the cloud deformation between two consecutive sky images is slight enough, which is likely possible for a very short time interval (such as 1 min or shorter) with common changes in the speed of cloud. Sometimes, there will be more than one pulse with similar values when the deformation of the clouds between two consecutive sky images is comparatively obvious under fast changing cloud speeds. This would probably lead to significant errors if the CMDVs were still only obtained from the single coordinate of the peak value pulse. However, the deformation estimation of clouds between two images and its influence on FPCT-based CMDV calculations are terrifically complex and difficult because the motion of clouds is complicated to describe and model. Therefore, to improve the accuracy and reliability under these circumstances in a simple manner, an image-phase-shift-invariance (IPSI) based CMDV calculation method using FPCT is proposed for minute time scale solar power forecasting. First, multiple different CMDVs are calculated from the corresponding consecutive images pairs obtained through different synchronous rotation angles compared to the original images by using the FPCT method. Second, the final CMDV is generated from all of the calculated CMDVs through a centroid iteration strategy based on its density and distance distribution. Third, the influence of different rotation angle resolution on the final CMDV is analyzed as a means of parameter estimation. Simulations under various scenarios including both thick and thin clouds conditions indicated that the proposed IPSI-based CMDV calculation method using FPCT is more accurate and reliable than the original FPCT method, optimal flow (OF) method, and particle image yelocimetry (PIV) method.

2018

Assessment of the Distributed Generation Hosting Capacity Incorporating Harmonic Distortion Limits

Autores
Pereira, CAN; Pecas Lopes, JAP; Matos, MACC;

Publicação
2018 INTERNATIONAL CONFERENCE ON SMART ENERGY SYSTEMS AND TECHNOLOGIES (SEST)

Abstract
The amount of distributed generation (DG) the network can host depends on a number of parameters such as the characteristics of the generation units and their daily generation profiles, the characteristics of the network and its configuration, the hourly load profiles as well as national and regional grid code requirements. The high penetration of renewable energy sources (RES) in the distribution networks (DN), namely in medium voltage (MV) grids, may lead to reverse active power flows, to voltage rises and to an increase in voltage distortion due to the large use of power-electronic converters as generation interfaces with the grid, which may limit the hosting capacity (HC) of RES. This paper is intended to describe a new approach for identifying the HC for the integration of RES in electrical distribution systems. This is a planning tool based on the multi-period optimal power flow (MP-OPF) which aims to maximize the HC for DG under thermal and voltage constraints, involving also the verification of the harmonic voltage distortion via a set of current harmonic flow calculations, following a known current harmonic injection profile for each DG unit to be connected on grid. The case study shows that harmonic distortion limits may have substantial impacts on the allowable penetration of DG, for instance, due of the characteristics of DN and its configuration, the hourly load and generation profiles.

  • 2064
  • 4496