OGLE
发表于 2025-3-28 14:35:23
Christine Wegerich M.A.ation to the whole network, metro operators use regulation algorithms that adapt speeds and departure dates of trains. Regulation algorithms are ad-hoc tools tuned to cope with characteristics of tracks, rolling stock, and passengers habits. However, there is no universal optimal regulation adapted
Brittle
发表于 2025-3-28 22:47:35
Christine Wegerich M.A.plementation satisfy the expected system properties. In our case the analysed design is that of the Zone Controller of a CBTC developed using B. The B-Method is used to ensure that the implementation is correct wrt the software specification, but it does not guarantee that the algorithms described i
尽管
发表于 2025-3-29 00:53:15
Christine Wegerich M.A.and planning time which is exacerbated by the complex planning rules laid down in ETCS regulations mandatory for new tracks. In a project performed for DB Netz AG we explore the possibility of automating a large part of the ETCS rail track planning process. We report on our experience in building a
使服水土
发表于 2025-3-29 03:54:49
Christine Wegerich M.A.plementation satisfy the expected system properties. In our case the analysed design is that of the Zone Controller of a CBTC developed using B. The B-Method is used to ensure that the implementation is correct wrt the software specification, but it does not guarantee that the algorithms described i
Indicative
发表于 2025-3-29 08:31:28
Christine Wegerich M.A.and planning time which is exacerbated by the complex planning rules laid down in ETCS regulations mandatory for new tracks. In a project performed for DB Netz AG we explore the possibility of automating a large part of the ETCS rail track planning process. We report on our experience in building a
疲劳
发表于 2025-3-29 14:28:02
Christine Wegerich M.A.on knowledge about several railway mechanisms: track circuits, signalling rules... This paper proposes a domain specific approach for railway systems modeling and validation by combining the Model-Driven Engineering (MDE) paradigm and a formal method. First, an example of a graphical DSL is defined
逗留
发表于 2025-3-29 16:39:27
http://reply.papertrans.cn/88/8792/879148/879148_47.png