Results 231 to 240 of about 112,880 (265)

Model Updating CTL Systems

2005
Minimal change is a fundamental principle for modelling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We first consider five primitive updates which capture the basic update operations in the CTL model.
Yulin Ding, Yan Zhang 0003
openaire   +1 more source

Updating databases in the weak instance model

Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, 1989
Database updates have recently received much more attention than in the past. In this trend, a solid foundation is provided to the problem of updating databases through interfaces based on the weak instance model. Insertions and deletions of tuples are considered.As a preliminary tool, a lattice on states is defined, based on the information content of
ATZENI, Paolo, TORLONE R.
openaire   +3 more sources

A model for the sizing of software updates

Bell Labs Technical Journal, 2002
The quality and reliability of software updates (SUs) are critical to a system vendor and its customers. As a result, it is important that SUs shipped to customers be successfully integrated into the field generic. A large amount of code must be shipped in an SU because customers want as many fixes and features as possible without compromising the ...
openaire   +1 more source

THE USE OF ANTIRESONANCES FOR ROBUST MODEL UPDATING

Journal of Sound and Vibration, 2000
In this paper, an updating technique that includes antiresonances in the definition of the output residual is considered. Antiresonances are not a global system property, but are typical of each frequency response function (FRF), thus allowing the residual vector to be enlarged with data identified from additional FRFs.
D'AMBROGIO, WALTER, Fregolent A.
openaire   +3 more sources

Fast Model Updates Using Wavelets

Multiscale Modeling & Simulation, 2005
Summary: Solving an inverse problem means determining the parameters of a model given a set of measurements. In solving many practical inverse problems, accounting for the uncertainty of the solution is very important in aiding decision-making. A standard approach to do this begins by choosing a model parametrization and then using a Bayesian approach ...
Nicholas Bennett, Alberto Malinverno
openaire   +1 more source

An Updated Model of Clinical Asthma

Allergy and Asthma Proceedings, 2001
A model of asthma, based on the Expert Panel Report but updated to allow for the independence of bronchial hyperresponsiveness from airway inflammation, is presented. The updated model of asthma can be summarized: (1) AI = f1(Allergen)-f2(AI); (2) BHR = f3(Allergen)-f4(BHR); (3) PR = f5(AI); (4) Asthma = f6(AI + BHR + PR); where AI is airway ...
openaire   +2 more sources

An Open Model Updating Software: Application to Car Suspension Model Updating

Volume 2: 26th Design Automation Conference, 2000
Abstract The open model updating software described here is built on a quadratic programming method with a sensitivity analysis, for constrained optimization problem with bounded variables. The updating software is tested here with a numerical car suspension model in the objective to minimize the deviation between measures and ...
Abderrahim Abouelainine, Patrick Morelle
openaire   +1 more source

Updating Reservoir Models; Auditing, Updating and Rebuilding

PGCE 2010, 2010
As time passes our understanding of a reservoir changes, more information becomes available. Our original ideas about the geology, the fault compartments and the ultimate recoverable volume of oil or gas are modified by the acquisition of additional information about the reservoir.
openaire   +1 more source

A Model for Updating Real-Time Applications

Real-Time Systems, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Stochastic Model Updating with Uncertainty Quantification: An Overview and Tutorial

Mechanical Systems and Signal Processing, 2023
Sifeng Bi, Michael Beer, Scott Cogan
exaly