Welcome at the Elbe Tunnel – Hamburg

Dit onderzoek richt zich op de haalbaarheid van een vaste tunnelverbinding tussen Java en Sumatra.

Dit afstudeeronderzoek analyseert de implementatie van dwarsvoorspanning in afgezonken tunnels.

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.

Dit proefschrift bespreekt de karakterisering van de ongedraineerde schuifsterkte, 𝑆𝑢 uit de netto kegelweerstand, 𝑞𝑛𝑒𝑡 van klei in Nederlandse vindplaatsen met behulp van Hierarchical Bayesian Modeling (HBM).

Met deze checklist kan worden vastgesteld hoe duurzaam een tunnelproject (nieuwbouw of renovatie) is en waar nog kansen liggen. In de huidige versie (jan. 2023) is elke vraag uitgebreid met verdiepingsvragen met onderscheid tussen renovatie, beheer en nieuwbouw.

The Submerged Tunnel Monitoring Method is aimed at setting up a monitoring system in a tunnel, in conjunction with the subsequent process of data analysis, data interpretation, performing a tunnel condition assessment, and predicting future behaviour. The manual is intended to support decision-making about monitoring: what should be monitored, in what way, and with what frequency? For the time being, this concerns the collection of data for scientific research (by Ph.D., PD, and MSc students).