Search results for "automatic"
showing 10 items of 730 documents
Evaluating Model-Driven Development Claims with Respect to Quality: A Family of Experiments
2021
[EN] Context: There is a lack of empirical evidence on the differences between model-driven development (MDD), where code is automatically derived from conceptual models, and traditional software development method, where code is manually written. In our previous work, we compared both methods in a baseline experiment concluding that quality of the software developed following MDD was significantly better only for more complex problems (with more function points). Quality was measured through test cases run on a functional system. Objective: This paper reports six replications of the baseline to study the impact of problem complexity on software quality in the context of MDD. Method: We con…
Application of model quality evaluation to systems biology
2008
Application of model quality evaluation to the quasispecies models is presented. These models are useful for the analysis of the DNA and RNA evolution and for the description of the population dynamics of viruses and bacteria. An estimate of the parameters together with their interval of variability is computed and the quality evaluation is tested on the basis of the model prediction error capability.
State Space-Vector Model of Linear Induction Motors including End-Effects and Iron Losses Part I: Theoretical Analysis
2020
This is the first part of the article, divided into two parts, dealing with the definition of a space-vector dynamic model of the linear induction motor (LIM) taking into consideration both the dynamic end-effects and the iron losses and its offline identification. This first part specifically treats the theoretical formulation of this model, which has been expressed in a state form, so to be, in perspective, suitably adopted for developing novel nonlinear control techniques, nonlinear observers as well as electrical losses minimization techniques. Besides the formulation of the dynamic model in space-vector state form, a steady-state analysis is proposed, highlighting the combined effects …
On the Robust Synthesis of Logical Consensus Algorithms for Distributed Intrusion Detection
2013
We introduce a novel consensus mechanism by which the agents of a network can reach an agreement on the value of a shared logical vector function depending on binary input events. Based on results on the convergence of finite--state iteration systems, we provide a technique to design logical consensus systems that minimize the number of messages to be exchanged and the number of steps before consensus is reached, and that can tolerate a bounded number of failed or malicious agents. We provide sufficient joint conditions on the input visibility and the communication topology for the method's applicability. We describe the application of our method to two distributed network intrusion detecti…
Estimation of recombinant protein production in Pichia pastoris base don a constraint-based model
2012
[EN] A previously validated constraint based model and possibilistic MFA have been used to design a simple estimator of protein production rate in Pichia pastoris cultures. A structured model of the yeast P. pastoris metabolism is used to predict the balance of key energetic equivalents such as ATP from available measurements, mainly substrate consumption, gases exchange rates and biomass specific growth. It has been shown that ATP flux can be related to biomass growth and protein productivity specific rates by linear regression. Cross-validation has been applied for robust parameter fitting on the basis of chemostat, steady-state experimental conditions. In this way, protein estimation can…
Environmental sustainability in non-residential buildings by automating and optimization LENI index
2018
Directive 2002/91 / EC as amended by 2010/31 / EU introduces procedures for energy certification aimed to determine, through the numerical indicators, the overall energy efficiency of the buildings, but notes the thermal and electric consumption. Often, the power consumption is incorrectly underestimated, this consumption would to be considered with great attention. In fact, compared to a committed capacity of less, compared to thermal plants, have times of utilization often far higher, leading to energy requirements to levels similar or even higher than those thermal, being the conversion factor of the electrical energy increasingly high. Leaving aside the procedural scheme energy certific…
The Stabilizing Role of Government Size
2007
This paper presents an analysis of how alternative models of the business cycle can replicate the stylized fact that large governments are associated with less volatile economies. Our analysis shows that adding nominal rigidities and costs of capital adjustment to an otherwise standard RBC model can generate a negative correlation between government size and the volatility of output. However, in the model, we find that the stabilizing effect is only due to a composition effect and it is not present when we look at the volatility of private output. Given that empirically we also observe a negative correlation between government size and the volatility of consumption, we modify the model by i…
A navigation and control algorithm for the position tracking of underwater vehicles
2014
In this paper we consider position control of underwater vehicles through inversion of differential kinematics based on uncalibrated, relative to the water, velocity sensors and unknown marine current. An estimation algorithm, based on the above measurements, estimates calibration parameters and marine current, assuring convergence of the estimated velocities to the true quantities. A kinematic control algorithm assures convergence to zero of the position tracking error. An extension of the basic estimation algorithm has been considered, in which position measurements are considered sampled at low rate and randomly spaced in time. Computer simulations are given of the proposed position trac…
Analysis and simulations of the primary frequency control during a system split in continental europe power system
2021
The occurrence of system separations in the power system of Continental Europe has been observed in recent decades as a critical event which might cause power imbalances higher than the reference incident specified per system design, representing an actual challenge for the stability and safe operation of the system. This work presents an analysis and simulations of the primary frequency control in the Continental Europe synchronous area in conditions of system separation. The adopted approach is based on fundamental aspects of the frequency-containment reserve process. The analysis takes an actual event into consideration, which determined the separation of the system in January 2021. The …
Robust l2-gain control for 2D nonlinear stochastic systems with time-varying delays and actuator saturation
2013
Abstract This paper is concerned with the problems of stability analysis and l2-gain control for a class of two-dimensional (2D) nonlinear stochastic systems with time-varying delays and actuator saturation. Firstly, a convex hull representation is used to describe the saturation behavior, and a sufficient condition for the existence of mean-square exponential stability of the considered system is derived. Then, a state feedback controller which guarantees the resulting closed-loop system to be mean-square exponentially stable with l2-gain performance is proposed, and an optimization procedure to maximize the estimation of domain of attraction is also given. All the obtained results are for…