Specificatie en draaiboek meetgebieden Tweede Heinenoordtunnel

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.

Analyse van de 'ordeningsknelpunten' die worden ervaren bij het gebruik van de ordening van de ondergrond.

Dit rapport geeft een overzicht van beschikbare en nieuwe technieken voor het ontwateren van bentoniethoudende slurry's.

Om inzicht te krijgen in het slijtagegebied van de snijtanden bij de Botlek machine heeft COB commissie K300 aan MTI Holland BV de opdracht verstrekt voor het meten en wegen van een 6-tal snijtanden. Dit rapport dient als basis voor een analyse van het slijtagegebied.

Literatuurstudie naar de bezwijkveiligheid van geboorde tunnels. De studie is gebaseerd op twee doelstellingen: 1) Het doen van een uitspraak over de bezwijkveiligheid van geboorde tunnels. 2) Het doen van een uitspraak over de relatie tussen grondbelasting en de belasting die voor de lining van belang is.

Bij de eerste passage van meetgebied Zuid bij de Tweede Heinenoordtunnel is een groot aantal metingen uitgevoerd. In dit rapport worden de resultaten van de tweede- en derdeorde-evaluatie van de hoofdgroep Geotechniek gepresenteerd. (CONCEPT, inclusief figuren)