F230 – Sophiaspoortunnel – Aanvullende metingen bij Vrouwgelenweg

Dit rapport bevat een inventarisatie van ontwerpeisen en bijbehorende ontwerpmethoden voor boortunnels onder Nederlandse omstandigheden.

Het Generiek Integraal Tunnel Ontwerp (GITO) bevat generieke modellen voor de besturingssystemen van tunnels van Rijkswaterstaat. Een formele verificatie van deze modellen bevordert de veiligheid en betrouwbaarheid van van GITO afgeleide tunnelcontrolesystemen. De GITO-modellen zijn niet formeel gespecificeerd, wat het gebruik van formele methoden om de juistheid van de modellen te verifiëren bemoeilijkt. In dit rapport wordt onderzocht in hoeverre een formele verificatie van deze modellen mogelijk is.

Dit rapport geeft een beschrijving van verkeerstunnels, van tram- en metrotunnels, van toekomstige tunnelprojecten en van veiligheid in ondergrondse verkeersinfrastructuur. Ook geeft het een overzicht van tunnels en aquaducten in Nederland met hun afmetingen, jaar van openstelling en bouwmethode.

Deze paper presenteert een casestudy van de Kiltunnel die de afgelopen veertig jaar relatief grote zettingen heeft gekend. In dit geval werd een gebrek aan geotechnische informatie voor de bodems onder de tunnel vastgesteld. Er werd een geofysisch onderzoek uitgevoerd en dit gaf een goed inzicht in de bodemgesteldheid op de tunnellocatie.

Dit rapport bevat de resultaten van een onderzoek naar data enhanced modelling: het opnemen van meetdata in een model om tot betere voorspellingen te komen. De Drechttunnel diende als casus.

Eén van de belangrijke onderdelen van het Delft Clusteronderzoek "Duurzame onderhoudsstrategie voor voorzieningen op slappe bodem" is het maken van een keuzemodel waarmee de meest optimale maatregel kan worden bepaald voor het opnieuw verhogen van de openbare ruimte. Voor de input van het model en voor het vastleggen van de aanwezige kennis en ervaring is in dit kader deze leidraad opgesteld.