Tweede Beneluxtunnel: Vijzelpen en dwarsprofiel voor de secundaire opleggingen

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

Dit document beschrijft de verificatie en validatie (V&V) van de standaard van het tunnelsysteem van Rijkswaterstaat: de Landelijke tunnelstandaard, LTS.

Dit document beschrijft het kwaliteitssysteem voor de standaard van het tunnelsysteem van Rijkswaterstaat: de Landelijke tunnelstandaard, LTS.

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.