On decidability and model checking for a first order model logic for value-passing processes

2003 ◽  
Vol 46 (1) ◽  
pp. 45
Author(s):  
Rui XUE
Keyword(s):  
Model Checking ◽  
Order Model ◽  
First Order

scholarly journals Compact labelings for efficient first-order model-checking

2009 ◽  
Vol 21 (1) ◽  
pp. 19-46 ◽  
Author(s):  
Bruno Courcelle ◽  
Cyril Gavoille ◽  
Mamadou Moustapha Kanté
Keyword(s):  
Model Checking ◽  
Order Model ◽  
First Order

scholarly journals Efficient First-Order Model-Checking Using Short Labels

2008 ◽  
pp. 159-170
Author(s):  
Bruno Courcelle ◽  
Cyril Gavoille ◽  
Mamadou Moustapha Kanté
Keyword(s):  
Model Checking ◽  
Order Model ◽  
First Order

A first-order model of thermal lensing of laser propagation in the eye and implications for laser safety

2005 ◽  
Author(s):  
Robert J. Thomas ◽  
Rebecca L. Vincelette ◽  
Gavin D. Buffington ◽  
Amber D. Strunk ◽  
Michael A. Edwards ◽  
...  
Keyword(s):  
Thermal Lensing ◽  
Order Model ◽  
Laser Safety ◽  
First Order ◽  
Laser Propagation

Application of two approaches to model chlorine residuals in Severn Trent Water Ltd (STW) distribution systems

1997 ◽  
Vol 36 (5) ◽  
pp. 317-324 ◽  
Author(s):  
M.J. Rodriguez ◽  
J.R. West ◽  
J. Powell ◽  
J.B. Sérodes
Keyword(s):  
Distribution System ◽  
Distribution Systems ◽  
Treatment Plant ◽  
Residual Chlorine ◽  
Ann Model ◽  
Order Model ◽  
First Order ◽  
Chlorine Decay ◽  
Artificial Neural Network Ann ◽  
Key Parameter

Increasingly, those who work in the field of drinking water have demonstrated an interest in developing models for evolution of water quality from the treatment plant to the consumer's tap. To date, most of the modelling efforts have been focused on residual chlorine as a key parameter of quality within distribution systems. This paper presents the application of a conventional approach, the first order model, and the application of an emergent modelling approach, an artificial neural network (ANN) model, to simulate residual chlorine in a Severn Trent Water Ltd (U.K.) distribution system. The application of the first order model depends on the adequate estimation of the chlorine decay coefficient and the travel time within the system. The success of an ANN model depends on the use of representative data about factors which affect chlorine evolution in the system. Results demonstrate that ANN has a promising capacity for learning the dynamics of chlorine decay. The development of an ANN appears to be justifiable for disinfection control purposes, in cases when parameter estimation within the first order model is imprecise or difficult to obtain.

Sign in / Sign up

Export Citation Format

Share Document