Verificatierapport: langsvoeggedrag op basis van de elasticiteitstheorie

In dit afstudeerproject is het gedrag van een geboorde tunnelconstructie gelegen in zeer abrupt wisselende geologie onderzocht.

Degradation of materials used in tunnel construction can cause damage and eventually lead to tunnel closure. To support tunnel owners and their consultants in identifying, preventing, and stopping these failure mechanisms, the COB network has described more than fifteen types of damage along with instructions for maintenance and (non-destructive) inspection techniques.

Het COB-netwerk heeft onderzoek gedaan naar de oorzaken en omvang van het 'oprupseffect': het geleidelijk aan cumulatief verplaatsen van mootvoegen in zinktunnels. Dit effect kan op lange termijn negatieve gevolgen hebben voor de structurele integriteit van de tunnel.

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.

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.