ETCS-Ausrüstung auf Strecke Obertraubling–Passau erst ab 2030 geplant
#Bauarbeiten #Digitalisierung #ETCS #Modernisierung #Obertraubling #Passau #Zugsicherungssystem
ETCS-Ausrüstung auf Strecke Obertraubling–Passau erst ab 2030 geplant
#Bauarbeiten #Digitalisierung #ETCS #Modernisierung #Obertraubling #Passau #Zugsicherungssystem
"Beauftragt wurde das europäische Zugbeeinflussungssystem ETCS sowie das integrierte Bediensystem (iBS) zur Bedienung aus der Digitalen Steuerzentrale (DSZ) #Wuppertal für den Abschnitt.
Hierfür werden Balisen verlegt sowie 2 #ETCS-Streckenzentralen, sogenannte Radio Block Centre (RBC), gebaut. [..]. Bis Ende 2029 soll das RBC #Düsseldorf-Rath [..] in Betrieb genommen werden"
#bahn #öpnv #verkehr https://www.deutschebahn.com/de/presse/presse-regional/pr-duesseldorf-de/presseinformationen-regional/ETCS-Ausruestung-fuer-Strecke-Ratingen-Leverkusen-beauftragt-13865492
Late to the party, but I heart “Rethinking Set Theory”, Tom Leinster’s presentation of ETCS (https://arxiv.org/abs/1212.6543). My natal foundation is higher-order logic, and this is the first time set theory has made any sense to me, other than as a technical device.
Bonus lecture notes: https://webhomes.maths.ed.ac.uk/~tl/ast/ast.pdf

Mathematicians manipulate sets with confidence almost every day, rarely making mistakes. Few of us, however, could accurately quote what are often referred to as "the" axioms of set theory. This suggests that we all carry around with us, perhaps subconsciously, a reliable body of operating principles for manipulating sets. What if we were to take some of those principles and adopt them as our axioms instead? The message of this article is that this can be done, in a simple, practical way (due to Lawvere). The resulting axioms are ten thoroughly mundane statements about sets. This is an expository article for a general mathematical readership.
Zugsicherungssystem ETCS auf gesamter Riedbahn in Betrieb genommen
#Bahnverkehr #DeutscheBahn #Digitalisierung #ETCS #FrankfurtMain #Infrastruktur #Mannheim #Pünktlichkeit #Riedbahn #Verkehr

Fast anderthalb Jahre nach Beendigung der Generalsanierung hat die Deutsche Bahn an diesem Donnerstag das moderne, digitale Zugsicherungssystem ETCS auf der gesamten Riedbahn in Betrieb genommen.
Indien: In Delhi fährt der wohl pünktlichste Zug der Deutschen Bahn - DER SPIEGEL https://share.google/EN4wfHkZaWonPPB8x