1,354,650 research outputs found
A Gas Turbine Model for Studies on Distributed Generation Penetration Into Distribution Networks
The paper proposes a detailed model of a gas turbine for a combined heat and power (CHP) plant. The prime mover is endowed with several controls: first of all, a speed control which can be either droop type or isochronous type according to the status of connection to the distribution grid. An acceleration limiter and an exhaust gases temperature limiter intervene to cut the fuel request, respectively, in case of an excessive rotor acceleration and of a too high temperature of the exhaust gases. A further control regulates inlet guide vanes (IGV) in order to keep the exhaust temperature almost constant. This is important in a cogeneration plant where the heat recovery from the exhaust gases is used to satisfy the demand of the thermal load. Some validation simulations on a model of cogeneration plant connected to a MV distribution grid are carried out and commente
La difficile posizione dei funzionari degli enti locali tra incertezze normative e obbligo di disapplicazione della proroga automatica delle concessioni demaniali marittime ad uso turistico-ricreativo
Chapter 3. PROBABILISTIC TOOLS B. Bagen (Lead Editor), D. Cirio, D. Jacobson, S. Massucco, G. Migliavacca, M. Papic, A. Pitto and S. Sterpu
Arabidopsis thaliana MBD7 protein interacts with the arginine methyltransferase AtPRMT11.
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
Formal verification of neural networks is a promising technique to improve their dependability for safety critical applications. Autonomous driving is one such application where the controllers supervising different functions in a car should undergo a rigorous certification process. In this paper we present an example about learning and verification of an adaptive cruise control function on an autonomous car. We detail the learning process as well as the attempts to verify various safety properties using the tool NEVER2, a new framework that integrates learning and verification in a single easy-to-use package intended for practictioners rather than experts in formal methods and/or machine learning
“Nomina nuda tenemus”. Riflessioni sulla garanzia del principio di uguaglianza a partire dalla nozione di “discriminazione” della CEDAW
Recensione al volume: Scaffardi L, Formici G (a cura di), Novel Foods and Edible Insects in the European Union: An Interdisciplinary Analysis, Cham, Springer Nature, 2022
La presencia de los estándares del Acuerdo de Escazú sobre acceso a la información, participación y acceso a la justicia ambiental en el derecho comparado europeo
- …
