TY - THES A1 - Martin, Karlheinz T1 - Analyse der baubetrieblichen Logik und Grundlagen zur 3-D-Simulation eines U-Bahnhofs N2 - Am beispiel der sich im Bau befindlichen U-Bahnstation 'Vijzelgracht' in Amsterdam werden beispielhaft Ablaufkonzepte untersucht und und durch Analyse ihrer Logik geprüft. Der Schwerpunkt der Untersuchung liegt in der Entwicklung von möglichen Konzepten der Kombination von Erdaushub mit der Montage von aussteifenden Elementen. Dazu werden die wesentlichen, relevanten Arbeitsschritte identifiziert und beschrieben. Auf der Basis von Aufwandswerten werden Maschinen und Geräte dimensioniert. Die Mengenermittlung des Erdstoffvolumens ist hierbei ebenso Grundlage für die Erarbeitung von Ablaufkonzepten. Auf diesen Grundlagen werden mehrere Ablaufkonzepte dargestellt. Der Nachweis der logischen Wahrheit erfolgt am Beispiel einer Ablaufvariante. Hier werden die in logische Sprache überführten Arbeitsschritte dargestellt und auf Wahrheit hin geprüft. KW - Bauablauf KW - Aussagenlogik Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:gbv:wim2-20111215-7855 N1 - Der Volltext-Zugang wurde im Zusammenhang mit der Klärung urheberrechtlicher Fragen mit sofortiger Wirkung gesperrt. ER -