Verification and Validation of Cylinder Drag: Pressure and Stress Approximations on Curved Boundaries.
Ingeborg G. GjerdeL. Ridgway ScottPublished in: CoRR (2023)
Keyphrases
- shear stress
- model checking
- concurrent systems
- formal verification
- object boundaries
- neural network
- functional verification
- curved objects
- signature verification
- perspective projection
- information systems
- efficient computation
- formal analysis
- closed form
- hough transform
- computationally tractable
- single image
- d objects
- database