scholarly journals Software Validation via Model Animation

2015 ◽  
pp. 92-108 ◽  
Author(s):  
Aaron M. Dutle ◽  
César A. Muñoz ◽  
Anthony J. Narkawicz ◽  
Ricky W. Butler
Keyword(s):  
Software Validation

scholarly journals Algorithm selection for software validation based on graph kernels

2020 ◽  
Vol 27 (1-2) ◽  
pp. 153-186
Author(s):  
Cedric Richter ◽  
Eyke Hüllermeier ◽  
Marie-Christine Jakobs ◽  
Heike Wehrheim
Keyword(s):  
Software Validation ◽  
Algorithm Selection ◽  
Graph Kernels ◽  
Selection For

New assertion concepts for self-metric software validation

1975 ◽  
Vol 10 (6) ◽  
pp. 59-71 ◽  
Author(s):  
Leon G. Stucki ◽  
Gary L. Foshee
Keyword(s):  
Software Validation

A case study in JML-based software validation

2004 ◽  
Author(s):  
L. du Bousquet ◽  
Y. Ledru ◽  
O. Maury ◽  
C. Oriat ◽  
J.-L. Lanet
Keyword(s):  
Software Validation

Analysis of ZPPR-15 experimental data for VTR software validation

2021 ◽  
Vol 159 ◽  
pp. 108323
Author(s):  
G. Aliberti ◽  
M.A. Smith ◽  
Z. Zhong ◽  
R.M. Lell ◽  
F. Heidet
Keyword(s):  
Experimental Data ◽  
Software Validation

Software Validation For Automatic Heart Decellularization

2021 ◽  
Author(s):  
Dumitru Daniel Bonciog ◽  
Valentin Laurentiu Ordodi ◽  
Mihaela Ruxandra Lascu ◽  
Liliana Matiu - Iovan ◽  
Dan Cristian Ciobanu
Keyword(s):  
Software Validation

Experimental and Numerical Study of Mixing in a Hot-Water Storage Tank

2009 ◽  
Vol 131 (1) ◽  
Author(s):  
A. Aviv ◽  
Y. Blyakhman ◽  
O. Beeri ◽  
G. Ziskind ◽  
R. Letan
Keyword(s):  
Numerical Model ◽  
Storage Tank ◽  
Numerical Study ◽  
Tap Water ◽  
Three Dimensional ◽  
Hot Water ◽  
Software Validation ◽  
Water Storage Tank ◽  
Thermal Mixing ◽  
Numerical Investigations

Thermal mixing and stratification are explored numerically and experimentally in a cylindrical tank, which simulates a storage of water heated by a solar collector. The tank is 70cm in height and 24cm in diameter. The inlet and outlet are vertical and located off the centerline of the tank. The study is conducted in a transient mode, namely, the tank is filled with hot water, and as the hot water is being withdrawn, the tap water replaces it in a stratified way or by mixing. The flowrates of 2l∕min, 3l∕min, 5l∕min and 7l∕min, which correspond to superficial velocities of 4.35cm∕min, 6.52cm∕min, 10.87cm∕min, and 15.2cm∕min, are explored. Temperature of hot water ranges within 40–50°C, while the tap water is about 25–27°C. Installation of one and two horizontal baffles above the inlet is examined. Simultaneous experimental and numerical investigations are performed. In the experiment, both flow visualization and temperature measurements are used. Three-dimensional transient numerical simulations are done using the FLUENT 6 software. Validation of the numerical model is achieved by comparison with the experimental results. Then, the numerical model is applied to a study of various possible changes in the system. The results show that at low flowrates, up to a superficial velocity of about 11cm∕min through the tank, the baffles have no effect on tap water mixing with the stored hot water. At higher flowrates, a single horizontal baffle prevents the mixing and preserves the desired stratified temperature distribution in the storage tank.

Software validation of medical instruments

2014 ◽  
Author(s):  
Davidson R. Boccardo ◽  
Raphael C. S. Machado ◽  
Sergio M. Camara ◽  
Charles B. do Prado ◽  
Wilson S. Melo ◽  
...  
Keyword(s):  
Software Validation ◽  
Medical Instruments
Sign in / Sign up

Export Citation Format

Share Document