A method for field verification of the precision class of inductive voltage transformers

1999 ◽  
Author(s):  
A.F. Brandao
Keyword(s):  
Precision Class ◽  
Field Verification

Towards using secondary gamma-rays from proton-induced radioactivation of titanium implants for off-line field verification

2021 ◽  
Vol 492 ◽  
pp. 56-63
Author(s):  
Claus Maximilian Bäcker ◽  
Christian Bäumer ◽  
Aaron Bley ◽  
Pedro Fragoso Costa ◽  
Marcel Gerhardt ◽  
...  
Keyword(s):  
Gamma Rays ◽  
Titanium Implants ◽  
Line Field ◽  
Field Verification

scholarly journals Field Verification of Test-Mate ChE

2003 ◽  
Vol 168 (4) ◽  
pp. 314-319 ◽  
Author(s):  
Patterson W. Taylor ◽  
Brian J. Lukey ◽  
Connie R. Clark ◽  
Robyn B. Lee ◽  
Robert R. Roussel
Keyword(s):  
Field Verification

Laboratory study and field verification of a thermo-responsive water shutoff agent

2021 ◽  
Vol 201 ◽  
pp. 108499
Author(s):  
Xiang Chen ◽  
Liqiang Zhao ◽  
Pingli Liu ◽  
Juan Du ◽  
Zongxian Bai ◽  
...  
Keyword(s):  
Laboratory Study ◽  
Field Verification ◽  
Water Shutoff

Fertilizer requirements for specified yield targets. II. Field verification of mathematical models for the estimation of soil and fertilizer nutrient efficiencies

1988 ◽  
Vol 18 (2) ◽  
pp. 127-140 ◽  
Author(s):  
V. Murugappan ◽  
G. V. Kothandaraman ◽  
S. P. Palaniappan ◽  
T. S. Manickam
Keyword(s):  
Mathematical Models ◽  
Field Verification

Implementation and Field Verification of ATSC 3.0 On-Channel Repeater

2021 ◽  
Author(s):  
Sunhyoung Kwon ◽  
Sungjun Ahn ◽  
Haechan Kwon ◽  
Young-soo Kim ◽  
Jaekwon Lee ◽  
...  
Keyword(s):  
Field Verification

Mapping OWL-S Process Model to Timed Automata

2018 ◽  
Vol 11 (1) ◽  
pp. 29-48
Author(s):  
Amel Boumaza ◽  
Ramdane Maamri
Keyword(s):  
Web Services ◽  
Process Model ◽  
Timed Automata ◽  
Automatic Verification ◽  
Covering Problems ◽  
Field Verification ◽  
Starting Point ◽  
Quantitative Properties ◽  
Time Systems

The conversion of web services to semantic web comes the opportunity to automate various tasks. OWL-S plays a key role in describing web services behaviour. While ontology-based semantics given to OWL-S is structural rather than behaviourally oriented, we cannot automate an essential task in this field, verification. In this article, the mapping of OWL-S process model to Timed automata is investigated, which is a suitable formalism for real time systems modeling and automatic verification. Hence, this has led to not only enabling automatic verification but also covering problems related to automated verification of temporal quantitative properties as bounded liveness property. As a starting point, the OWL-S and sub entry of time ontologies for describing the timed behaviour of services has been chosen. A defined set of mapping rules is used to automatically encode control constructs defined in OWL-S and temporal information into timed automata. Also, it is shown how a Uppaal checker is used to check required properties formulated in TCTL. Finally, an EClinic case study is used to illustrate the technique.

Sign in / Sign up

Export Citation Format

Share Document