Examinando por Materia "RESPUESTA DINAMICA"

Mostrando1 - 3 de 3
  • Ponencia en Congreso
    DynAlloy analyzer: a tool for the specification and analysis of Alloy models with dynamic behaviour
    (2017-09) Regis, Germán; Cornejo, César; Gutiérrez Brida, Simón; Politano, Mariano; Raverta, Fernando; Ponzio, Pablo; Aguirre, Nazareno; Galeotti, Juan Pablo; Frías, Marcelo
    "We describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully compatible with Alloy models, and extends their syntax with a particular idiom, inspired in dynamic logic, for the description of dynamic behaviours, understood as sequences of states over standard Alloy models, in terms of programs. The syntax is broad enough to accommodate abstract dynamic behaviours, e.g., using nondeterministic choice and finite unbounded iteration, as well as more concrete ones, using standard sequential programming constructions. The analysis of DynAlloy models resorts to the analysis of Alloy models, through an optimized translation that often makes the analysis more efficient than that of typical ad-hoc constructions to capture dynamism in Alloy."
  • Artículo de Publicación Periódica
    Dynamic modelling of alkaline self-pressurized electrolyzers: a phenomenological-based semiphysical approach
    (2020-09) David, Martín Rafael; Álvarez, Hernán; Ocampo-Martínez, Carlos; Sánchez-Peña, Ricardo
    "This paper proposes a phenomenological based semiphysical model (PBSM) for a self-pressurized alkaline electrolyzer. The model, based on mass and energy balances, represents the dynamic behaviour of hydrogen and oxygen production using electrolysis. The model allows to anticipate operational variables as dynamic responses in the concentrations of the electrolytic cell, and variations in both, level and pressure, at the gas separation chambers due to the change in electric current. The model parameters have been adjusted based on experimental measurements taken from an available prototype and through a suitable identification process. Simulation results replicate the current dynamic response of the experimental self-pressurized electrolyzer assembly. This model proves to be useful in the improvement of the control of gas production rate in this kind of assemblies, both as a validated simulation platform and as a source of reduced order models for model-based control design."
  • Ponencia en Congreso
    Phenomenological based model of hydrogen production using an alkaline self-pressurized electrolyzer
    (2019-08) David, Martín Rafael; Álvarez, Hernán; Ocampo-Martínez, Carlos; Sánchez-Peña, Ricardo
    "The aim of this work is to develop the phenomenological based modeling of a self-pressurized alkaline electrolyser with the objective of predicting the cross-contamination of the gases produced. A proposed model, built in Matlab ® , represents the dynamical evolution in real electrolysers, and anticipates operational variables: level, pressure and all concentrations. Dynamic responses in the concentrations of the electrolytic cell, and variations in both level and pressure at the chamber due to the change in current and diffusivity, are reported. The equations by which the variables can be computed are also presented. The proposed model is ready for the corresponding adjustment of parameters based on experimental measurements taken from an available prototype and through a suitable identification process."