Spanningen in de bouwfase en de gebruiksfase van boortunnels

In dit rapport worden rekenregels gegeven voor het ontwerp voor het geboorde gedeelte van de Langzaam Verkeerstunnel Heinenoord.

De Leidsche Rijntunnel in Utrecht, de Roertunnel bij Roermond en de Koning Willem-Alexandertunnel in Maastricht die dit jaar wordt opengesteld; het zijn voorbeelden van landtunnels die er de laatste jaren zijn bijgekomen. Tunnels die de leefbaarheid moeten vergroten en die ervoor moeten zorgen dat barrières tussen stadsdelen worden opgeheven.

Dit document bevat een onderzoek naar het schadebeeld in de segmenten van het EPB-schild bij de bouw van de Botlekspoortunnel. Het schadebeeld is met name de langsscheuren in de segmenten. Hiernaast wordt de gevoeligheid van dominante parameters onderzocht, zoals bijvoorbeeld de vijzelkrachten met hun excentriciteit.

Dit document bevat de berekening van het instortdeel van de toegangsschacht zoals deze destijds tbv de bouw van de Wijkertunnel is bepaald (zie bijlage 1). Aan de hand van de gestelde uitgangspunten tbv het huidiginstortdeel zal blijken, dat de toentertijd toegepaste betekening toepasbaar is voor dit project.

De Werkwijzer monitoring zinktunnels is gericht op het inrichten van een monitoringsysteem in een tunnel, in samenhang met het daaropvolgende proces van data-analyse, data-interpretatie, het uitvoeren van een conditiebepaling van de tunnel en het voorspellen van toekomstig gedrag. De werkwijzer is bedoeld ter ondersteuning van de besluitvorming over monitoring: wat moet er worden gemonitord, op welke manier en met welke frequentie? Daarbij gaat het vooralsnog om het verzamelen van data voor wetenschappelijk onderzoek (door PhD-, PDeng- en MSc-studenten).

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.