Epistemic Foundation of Stable Model Semantics

Stable model semantics has become a very popular approach for the management of negation in logic programming. This approach relies mainly on the closed world assumption to complete the available knowledge and its formulation has its basis in the so-called Gelfond-Lifschitz transformation. The primary goal of this work is to present an alternative and epistemic-based characterization of stable model semantics, to the Gelfond-Lifschitz transformation. In particular, we show that stable model semantics can be defined entirely as an extension of the Kripke-Kleene semantics. Indeed, we show that the closed world assumption can be seen as an additional source of `falsehood' to be added cumulatively to the Kripke-Kleene semantics. Our approach is purely algebraic and can abstract from the particular formalism of choice as it is based on monotone operators (under the knowledge order) over bilattices only.Comment: 41 pages. To appear in Theory and Practice of Logic Programming (TPLP

Hydrogen vs. Battery in the long-term operation. A comparative between energy management strategies for hybrid renewable microgrids

The growth of the world’s energy demand over recent decades in relation to energy intensity and demography is clear. At the same time, the use of renewable energy sources is pursued to address decarbonization targets, but the stochasticity of renewable energy systems produces an increasing need for management systems to supply such energy volume while guaranteeing, at the same time, the security and reliability of the microgrids. Locally distributed energy storage systems (ESS) may provide the capacity to temporarily decouple production and demand. In this sense, the most implemented ESS in local energy districts are small–medium-scale electrochemical batteries. However, hydrogen systems are viable for storing larger energy quantities thanks to its intrinsic high mass-energy density. To match generation, demand and storage, energy management systems (EMSs) become crucial. This paper compares two strategies for an energy management system based on hydrogen-priority vs. battery-priority for the operation of a hybrid renewable microgrid. The overall performance of the two mentioned strategies is compared in the long-term operation via a set of evaluation parameters defined by the unmet load, storage efficiency, operating hours and cumulative energy. The results show that the hydrogen-priority strategy allows the microgrid to be led towards island operation because it saves a higher amount of energy, while the battery-priority strategy reduces the energy efficiency in the storage round trip. The main contribution of this work lies in the demonstration that conventional EMS for microgrids’ operation based on battery-priority strategy should turn into hydrogen-priority to keep the reliability and independence of the microgrid in the long-term operation

In-Orbit Instrument Performance Study and Calibration for POLAR Polarization Measurements

POLAR is a compact space-borne detector designed to perform reliable measurements of the polarization for transient sources like Gamma-Ray Bursts in the energy range 50-500keV. The instrument works based on the Compton Scattering principle with the plastic scintillators as the main detection material along with the multi-anode photomultiplier tube. POLAR has been launched successfully onboard the Chinese space laboratory TG-2 on 15th September, 2016. In order to reliably reconstruct the polarization information a highly detailed understanding of the instrument is required for both data analysis and Monte Carlo studies. For this purpose a full study of the in-orbit performance was performed in order to obtain the instrument calibration parameters such as noise, pedestal, gain nonlinearity of the electronics, threshold, crosstalk and gain, as well as the effect of temperature on the above parameters. Furthermore the relationship between gain and high voltage of the multi-anode photomultiplier tube has been studied and the errors on all measurement values are presented. Finally the typical systematic error on polarization measurements of Gamma-Ray Bursts due to the measurement error of the calibration parameters are estimated using Monte Carlo simulations.Comment: 43 pages, 30 figures, 1 table; Preprint accepted by NIM