Details Zinkelementen Hemspoortunnel
Samenvatting
Dit document bevat detail tekeningen van de zinkelementen van de Hemspoor Tunnel. Ook wordt de bouwfasering kort uiteengezet.
Dit document bevat detail tekeningen van de zinkelementen van de Hemspoor Tunnel. Ook wordt de bouwfasering kort uiteengezet.
In dit document wordt gekeken naar het afmeersysteem van de tunnelelementen tijdens de bouw van de Calandtunnel.
Dit document bevat het 4e beslisoverleg Combinatie Calandtunnel van tunnelelement D (eerste bouwstroom) in 2000. Hierbij geeft het document achtergrondinformatie over de omstandigheden tijdens de transport van dit element.
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).
Afstudeeronderzoek naar de toepassing van staal-beton-staal-sandwichconstructies voor het fabriceren van afgezonken tunnelelementen. Met deze techniek kan een bredere dwarsdoorsnede van de tunnel worden gecreëerd.
In juni 2023 is door de N.V. Westerscheldetunnel opdracht gegeven aan Arcadis Nederland BV (hierna Arcadis) om de stabiliteit van de constructie te beoordelen, de mogelijke oorzaak van de schade te onderzoeken en te adviseren over de te nemen maatregelen.
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.