Modern joint probability methods for estimating storm surge or flood statistics are based on statistical aggregation of many hydrodynamic simulations that can be computationally expensive. Flood risk assessments that consider changing future conditions due to sea level rise or other drivers often require each storm to be run under a range of uncertain scenarios. Evaluating different flood risk ...

Drag coefficient (Cd) is an essential metric in the calculation of momentum exchange over the air-sea interface and thus has large impacts on the simulation or forecast of the upper ocean state associated with sea surface winds such as storm surges. Generally, Cd is a function of wind speed. However, the exact relationship between Cd and wind speed is still in dispute, and the widely-used formu...

Hurricane Katrina came ashore in Louisiana at approximately 07:00 hours on Monday, 29 August 2005. The storm washed away a swathe of the Louisiana coastline, destroyed large portions of the city of New Orleans, and forever changed the state of Louisiana. Our Lady of the Lake Regional Medical Center in Baton Rouge, Louisiana was one of the receiving hospitals for evacuees from the New Orleans ar...

We report on the automatic testing of the control software of the Oosterschelde kering, a storm surge barrier. The automatic testing includes automatic test case derivation and automatic test execution. This project is a joint effort of CMG and the computer science group “Formal Methods and Tools” at the university of Twente. We introduce the way we currently test at the Formal Methods and Tool...

BACKGROUND How accurately do people perceive extreme water speeds and how does their perception affect perceived risk? Prior research has focused on the characteristics of moving water that can reduce human stability or balance. The current research presents the first experiment on people's perceptions of risk and moving water at different speeds and depths. METHODS Using a randomized within-...

This paper presents the results of downscaling effects when modelling waves, tides and storm surge using a nested modelling system. In this study, the coupled POLCOMS/ProWAM models are used, with 3 nested computational domains, the largest of which covers part of north-eastern Atlantic Ocean with a coarse resolution grid and the smallest covers the surrounding waters of south-west Cornish coast...

This study describes the construction and verification of a model of sea level changes during a storm surge, applying artificial neural network (ANN) methodology in hydrological forecasting in a tideless sea where the variation of water level is only wind generated. Some neural networks were tested to create the forecast model. The results of ANN were compared with observed sea-level values, an...

This paper presents the results of the validation and verification of a crucial component of BOS, a large safety-critical system that decides when to close and open the Maeslantkering, a storm surge barrier near the city of Rotterdam in the Netherlands. BOS was specified in the formal language Z and model checking has been applied to some of its subsystems during its development. A lightweight ...