1–20 of 24 hits
|

    A cooperative strategy framework of train rescheduling for portal junctions leading into bottleneck sections

    Chen, L. / Schmid, F. / Ning, B. et al. | British Library Conference Proceedings | 2010

    A distributed redundant multi-microcomputer system of ATP

    Tang, T. / Wang, X. / Wessex Institute of Technology | British Library Conference Proceedings | 1994

    A framework for modeling train control systems based on agent and cellular automata

    Xun, J. / Ning, B. / Tang, T. | British Library Conference Proceedings | 2010

    A graphics-based simulator for audio frequency track circuits

    Zhao, H. / Zhao, M. / Wang, X. et al. | British Library Conference Proceedings | 2000

    A model-based framework for the safety analysis of computer-based railway signalling systems

    Niu, R. / Tang, T. | British Library Conference Proceedings | 2010

    A new train overspeed protection system based on multi-microprocessors and distributed configuration

    Wang, X. / Ning, B. / Tang, T. et al. | British Library Conference Proceedings | 1994

    An interbus for on-board train control equipment on the CAN bus

    Tang, T. / Xu, Z.-s. / Wessex Institute of Technology | British Library Conference Proceedings | 2000

    A novel peak power demand reduction strategy under a moving block signalling system

    Gu, Q. / Pei, L. / Cao, F. et al. | British Library Conference Proceedings | 2010

    A scenario-based safety argumentation for CBTC safety case architecture

    Liu, C. / Sha, X. / Yan, F. et al. | British Library Conference Proceedings | 2010

    CTCS-Chinese Train Control System

    Ning, B. / Tang, T. / Qiu, K. et al. | British Library Conference Proceedings | 2004

    Design, development, application, safety assessment and simulation of the railway signaling system

    Ning, B. / Tang, T. / Gao, C. et al. | British Library Conference Proceedings | 2010

    Fault-diagnosis in a new train overspeed protection system based on multi-microprocessors and distributed configuration

    Ning, B. / Zhao, M. / Wang, X. et al. | British Library Conference Proceedings | 1994

    Modeling of an interoperability test bench for the on-board system of a train control system based on Colored Petri Nets

    Yuan, L. / Tang, T. / Li, K. et al. | British Library Conference Proceedings | 2010

    Modelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN

    Zhao, X. / Zhang, Y. / Zheng, W. et al. | British Library Conference Proceedings | 2010

    Research on a hybrid map matching algorithm for Global Navigation Satellite System based train positioning

    Liu, J. / Cai, B. / Tang, T. et al. | British Library Conference Proceedings | 2010

    Research on a novel train positioning method with a single image

    Guo, B. / Tang, T. / Yu, Z. | British Library Conference Proceedings | 2010

    Simulation study of moving automatic block system based on MATRIXx® 6.0

    Zhang, Y. / Wang, X. / Wessex Institute of Technology | British Library Conference Proceedings | 2000

    Streaming Route Panorama for Seamless City Guidance

    Zheng, J.-Y. / Wang, X. | British Library Online Contents | 2008

    Study on the methods of shortening the response time of the Radio Based Cab Signaling system

    Wang, J. / Zhang, Y. / Wang, H. et al. | British Library Conference Proceedings | 2004

    System safety property-oriented test sequences generating method based on model checking

    Zhang, Y. / Zhao, X.Q. / Zheng, W. et al. | British Library Conference Proceedings | 2010