214,382 research outputs found
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
- …