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.

Een beschrijving van de gebruikte modellen en parameters bij de berekening van de vriesbelasting op de tunnel lining, gebruikt bij de realisatie van de dwarsverbindingen van de Westerscheldetunnel.

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 document wordt de (tijdelijke) benodigde langsvoorspanning bepaald die nodig voor het opdrijven, transport, afzinken en onderspoelen van de tunnelelementen voor de Tweede Beneluxtunnel.

Dit rapport doet verslag van een onderzoek naar de invloed van discontinuïteiten op de liggerwerking van een geboorde gesegmenteerde tunnel.