Complex variable solutions of elastic tunneling problems

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.

In dit afstudeeronderzoek is aan de hand van meetresultaten van een proefterp in de Bloemendalerpolder een model in PLAXIS 3D gecreëerd om de tijdsafhankelijke effecten bij door grond horizontaal belaste palen te onderzoeken.

In dit rapport wordt verslag gedaan van de risicoanalyse die is uitgevoerd bij de Noordtunnel om de constructieve impact van deformaties op de tunnelconstructie vast te stellen.

Wat zijn keiharde waarheden en wat zijn slechts (onjuiste) aannames als het gaat over de techniek van het aanleggen, onderhouden en beheren van kabels en leidingen? In dit vooronderzoek heeft het COB-netwerk in kaart gebracht rondom welke thema’s er behoefte is aan duidelijkheid.

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).