An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid.

Yoshitaka Watanabe

Published in: J. Comput. Appl. Math. (2016)

Keyphrases

verification method
model checking
fluid model
temporal logic
deformable models
mass transfer
fluid dynamics
velocity field
artificial intelligence
databases
vector field
database
computationally efficient
image analysis
expert systems
knowledge base
fluid flow
data mining