A Numerical Verification Method of Solutions for the Navier-Stokes Equations.

Yoshitaka Watanabe Nobito Yamamoto Mitsuhiro T. Nakao

Published in: Reliab. Comput. (1999)

Keyphrases

verification method
model checking
navier stokes equations
optimal solution
temporal logic
data sets
databases
sensitivity analysis
feasible solution
numerical analysis
video sequences
artificial neural networks
solution space
qualitative and quantitative
similar problems