-
Fuzzy order-sorted feature logic
Authors:
Gian Carlo Milanese,
Gabriella Pasi
Abstract:
Order-Sorted Feature (OSF) logic is a knowledge representation and reasoning language based on function-denoting feature symbols and set-denoting sort symbols ordered in a subsumption lattice. OSF logic allows the construction of record-like terms that represent classes of entities and that are themselves ordered in a subsumption relation. The unification algorithm for such structures provides an…
▽ More
Order-Sorted Feature (OSF) logic is a knowledge representation and reasoning language based on function-denoting feature symbols and set-denoting sort symbols ordered in a subsumption lattice. OSF logic allows the construction of record-like terms that represent classes of entities and that are themselves ordered in a subsumption relation. The unification algorithm for such structures provides an efficient calculus of type subsumption, which has been applied in computational linguistics and implemented in constraint logic programming languages such as LOGIN and LIFE and automated reasoners such as CEDAR. This work generalizes OSF logic to a fuzzy setting. We give a flexible definition of a fuzzy subsumption relation which generalizes Zadeh's inclusion between fuzzy sets. Based on this definition we define a fuzzy semantics of OSF logic where sort symbols and OSF terms denote fuzzy sets. We extend the subsumption relation to OSF terms and prove that it constitutes a fuzzy partial order with the property that two OSF terms are subsumed by one another in the crisp sense if and only if their subsumption degree is greater than 0. We show how to find the greatest lower bound of two OSF terms by unifying them and how to compute the subsumption degree between two OSF terms, and we provide the complexity of these operations.
△ Less
Submitted 20 November, 2023; v1 submitted 27 July, 2023;
originally announced July 2023.
-
An Effective Activation Method for Industrially Produced TiFeMn Powder for Hydrogen Storage
Authors:
David Michael Dreistadt,
Thi-Thu Le,
Giovanni Capurso,
José M. Bellosta von Colbe,
Archa Santhosh,
Claudio Pistidda,
Nico Scharnagl,
Henry Ovri,
Chiara Milanese,
Paul Jerabek,
Thomas Klassen,
Julian Jepsen
Abstract:
This work proposes an effective thermal activation method with low technical effort for industrially produced titanium-iron-manganese powders (TiFeMn) for hydrogen storage. In this context, the influence of temperature and particle size of TiFeMn on the activation process is systematically studied. The results obtained from this investigation suggest that the activation of the TiFeMn material at t…
▽ More
This work proposes an effective thermal activation method with low technical effort for industrially produced titanium-iron-manganese powders (TiFeMn) for hydrogen storage. In this context, the influence of temperature and particle size of TiFeMn on the activation process is systematically studied. The results obtained from this investigation suggest that the activation of the TiFeMn material at temperatures as low as 50 °C is already possible and that an increase to 90 °C strongly reduces the incubation time for activation, i.e. the incubation time of the 90 °C/90 °C sample is about 0.84 h while ~ 277 h is required for the 50 °C/50 °C sample. Selecting TiFeMn particles of larger size also leads to significant improvements in the activation performance of the investigated material. The proposed activation routine makes it possible to overcome the oxide layer existing on the compound surface, which acts as a diffusion barrier for the hydrogen atoms. This activation method induces further cracks and defects in the powder granules, generating new surfaces for hydrogen absorption with greater frequency, and thus leading to faster sorption kinetics in the subsequent absorption-desorption cycles.
△ Less
Submitted 16 June, 2022; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Modeling the kinetic behavior of the Li-RHC system for energy-hydrogen storage : ( I ) absorption
Authors:
A. M. Neves,
J. Puszkiel,
G. Capurso,
J. M. Bellosta von Colbe,
C. Milanese,
M. Dornheim,
T. Klassen,
J. Jepsen
Abstract:
The Lithium-Boron Reactive Hydride Composite System (Li-RHC) (2 LiH + MgB$_{2}$ / 2 LiBH$_{4}$ + MgH$_{2}$) is a high-temperature hydrogen storage material suitable for energy storage applications. Herein, a comprehensive gas-solid kinetic model for hydrogenation is developed. Based on thermodynamic measurements under absorption conditions, the system's enthalpy $Δ$H and entropy $Δ$S are determine…
▽ More
The Lithium-Boron Reactive Hydride Composite System (Li-RHC) (2 LiH + MgB$_{2}$ / 2 LiBH$_{4}$ + MgH$_{2}$) is a high-temperature hydrogen storage material suitable for energy storage applications. Herein, a comprehensive gas-solid kinetic model for hydrogenation is developed. Based on thermodynamic measurements under absorption conditions, the system's enthalpy $Δ$H and entropy $Δ$S are determined to amount to -34 $\pm$ 2 kJ $\cdot$ mol H$_{2}^{-1}$ and -70 $\pm$ 3 J $\cdot$ K$^{-1}$ $\cdot$ mol H$_{2}^{-1}$, respectively. Based on the thermodynamic behavior assessment, the kinetic measurements' conditions are set in the range between 325 °C and 412 °C, as well as between 15 bar and 50 bar. The kinetic analysis shows that the hydrogenation rate-limiting-step is related to a one-dimensional interface-controlled reaction with a driving-force-corrected apparent activation energy of 146 $\pm$ 3 kJ $\cdot$ mol H$_{2}^{-1}$. Applying the kinetic model, the dependence of the reaction rate constant as a function of pressure and temperature is calculated, allowing the design of optimized hydrogen/energy storage vessels via finite element method (FEM) simulations.
△ Less
Submitted 17 August, 2021; v1 submitted 14 August, 2021;
originally announced August 2021.
-
Hydrogenation via a low energy mechanochemical approach: the MgB$_2$ case
Authors:
Claudio Pistidda,
Archa Santhosh,
Paul Jerabek,
Yuanyuan Shang,
Alessandro Girella,
Chiara Milanese,
Maria Dore,
Sebastiano Garroni,
Simone Bordignon,
Michele R. Chierotti,
Thomas Klassen,
Martin Dornheim
Abstract:
This work aims at investigating the effect that the energy transferred during powder-to-wall collisions in a milling process without grinding media entails on solid-gas reactions. For this purpose, the synthesis of Mg(BH$_4$)$_2$ from MgB$_2$ in a pressurized hydrogen atmosphere was chosen as a model reaction. MgB$_2$ was milled under a broad set of milling parameters (i.e. milling times and rota…
▽ More
This work aims at investigating the effect that the energy transferred during powder-to-wall collisions in a milling process without grinding media entails on solid-gas reactions. For this purpose, the synthesis of Mg(BH$_4$)$_2$ from MgB$_2$ in a pressurized hydrogen atmosphere was chosen as a model reaction. MgB$_2$ was milled under a broad set of milling parameters (i.e. milling times and rotation regimes) and the obtained product thoroughly characterized. By proving the partial formation of Mg(BH$_4$)$_2$, the results of this investigation indicate that the energy transferred to the powder bed by the powder particles colliding with the chamber wall during milling is not negligible, in particular when the milling process is protracted for a long period.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
Sodium catalytic effect in the NaxLi6-xC60 hydrogen storage process
Authors:
Mattia Gaboardi,
Chiara Milanese,
Giacomo Magnani,
Alessandro Girella,
Daniele Pontiroli,
Mauro Ricco
Abstract:
We report on the hydrogen sorption investigation of the mixed alkali cluster intercalated fulleride series NaxLi6-xC60. These compounds are isostructural to Na6C60 and Li6C60 while the cubic lattice parameter is linearly dependent on x. The H2 absorption/desorption was studied by means of charge/discharge kinetic and coupled calorimetric - manometric measurements. By varying the stoichiometry, we…
▽ More
We report on the hydrogen sorption investigation of the mixed alkali cluster intercalated fulleride series NaxLi6-xC60. These compounds are isostructural to Na6C60 and Li6C60 while the cubic lattice parameter is linearly dependent on x. The H2 absorption/desorption was studied by means of charge/discharge kinetic and coupled calorimetric - manometric measurements. By varying the stoichiometry, we found the best compromise between absorption rate, temperature and amount of hydrogen in Na1Li5C60. This system is able to reversibly absorb up to 4.3 wt% H2 at 280 °C, which is 70 °C lower in temperature than its parent compound Li6C60. Furthermore, the kinetics is improved of 67% with respect Li6C60 and the dehydrogenation enthalpy is 13 kJ/mol H2 lower.
△ Less
Submitted 20 November, 2016;
originally announced November 2016.