Publication
Augmenting simulations with measurements: Application to building-scale wind-flow modeling
Related concepts (32)
Formal system
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A formal system is essentially an "axiomatic system". In 1921, David Hilbert proposed to use such a system as the foundation for the knowledge in mathematics. A formal system may represent a well-defined system of abstract thought.
Wind wave
In fluid dynamics, a wind wave, or wind-generated water wave, is a surface wave that occurs on the free surface of bodies of water as a result of the wind blowing over the water's surface. The contact distance in the direction of the wind is known as the fetch. Waves in the oceans can travel thousands of kilometers before reaching land. Wind waves on Earth range in size from small ripples to waves over high, being limited by wind speed, duration, fetch, and water depth.