1–50 of 1,011 hits
|

    Design of Air-Breathing Electrical Propulsion Based on Cargo-Spacecraft for Replenishment

    Peng, Yuchuan / Zheng, Huiqi / Li, Hao et al. | British Library Conference Proceedings | 2021

    Ship Speed Prediction in Real Sea Environment Using Advanced Technologies

    Antonic, R. / Valcic, M. / Tomas, V. et al. | British Library Conference Proceedings | 2012

    Timetable attractiveness parameters

    Schittenhelm, B. | British Library Conference Proceedings | 2010

    Working out an incomplete cyclic train timetable for high-speed railways by computer

    Yang, D. / Nie, L. / Tan, Y. et al. | British Library Conference Proceedings | 2010

    Track test monitoring system using a multipurpose experimental train

    Matsuda, H. / Takikawa, M. / Nanmoku, T. et al. | British Library Conference Proceedings | 2010

    How regular is a regular-interval timetable? From theory to application

    Tzieropoulos, P. / Emery, D. / Tron, D. | British Library Conference Proceedings | 2010

    Formalizing train control language: automating analysis of train stations

    Svendsen, A. / Moller-Pedersen, B. / Haugen, O. et al. | British Library Conference Proceedings | 2010

    Software redundancy design for a Human-Machine Interface in railway vehicles

    Zheng, G. / Chen, J. | British Library Conference Proceedings | 2010

    Use of model transformation for the formal analysis of railway interlocking models

    Xu, T. / Santos, O.M. / Ge, X. et al. | British Library Conference Proceedings | 2010

    Systematic analyses of train run deviations from the timetable

    Richter, T. | British Library Conference Proceedings | 2010

    Research on the load spectrum distribution and structure optimization of locomotive traction seats

    Wang, W. / Wang, M. / Liu, Z. | British Library Conference Proceedings | 2010

    Derivation of the safety requirements for control systems based on the interoperability property of the Maglev train

    Zheng, W. / Mueller, J.R. / Li, K. | British Library Conference Proceedings | 2010

    Case studies in planning crew members

    Martins, J.P. / Morgado, E. | British Library Conference Proceedings | 2010

    Automatic location-finding of train crew using GSM technology

    Makkinga, F. / Sturm, B. | British Library Conference Proceedings | 2010

    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

    How the punctuality of the Shinkansen has been achieved

    Tomii, N. | British Library Conference Proceedings | 2010

    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

    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

    Certain aspects of the CEN standard for the evaluation of ride comfort for rail passengers

    Kufver, B. / Persson, R. / Wingren, J. | British Library Conference Proceedings | 2010

    A method to optimise train energy consumption combining manual energy efficient driving and scheduling

    Sicre, C. / Cucala, P. / Fernandez, A. et al. | British Library Conference Proceedings | 2010

    The simulation of passengers' time-space characteristics using ticket sales records with insufficient data

    Jong, J.-C. / Chang, E.-F. | British Library Conference Proceedings | 2010

    A multi scalable model based on a connexity graph representation

    Gely, L. / Dessagne, G. / Pesneau, P. et al. | British Library Conference Proceedings | 2010

    Linkage of a conventional line dispatch system with the Shinkansen dispatch system

    Yoshino, Y. | British Library Conference Proceedings | 2010

    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

    State-based risk frequency estimation of a rail traffic signal system

    Zhang, Y. / Guo, J. / Liu, L. | British Library Conference Proceedings | 2010

    ROSA - a computer based safety model for European railways

    Schutte, J. / Geisler, M. | British Library Conference Proceedings | 2010

    Design and operation assessment of railway stations using passenger simulation

    Li, D. / Han, B. | British Library Conference Proceedings | 2010

    Development of a high-speed overhead contact line measurement device for the Kyushu Shinkansen

    Kinoshita, N. / Himeno, Y. / Igata, R. | British Library Conference Proceedings | 2010

    Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts

    Mehta, F. / Rossiger, C. / Montigel, M. | British Library Conference Proceedings | 2010

    A simulation analysis of train rescheduling strategies on Chinese passenger dedicated lines

    He, Z. / Meng, L. / Li, H. et al. | British Library Conference Proceedings | 2010

    A heuristic algorithm for the circulation plan of railway electrical motor units

    Miao, J. / Yu, Y. / Wang, Y. | British Library Conference Proceedings | 2010

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

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

    Scenario-based modeling and verification of system requirement specification for the European Train Control System

    Tang, W. / Ning, B. / Xu, T. et al. | British Library Conference Proceedings | 2010

    Development of an ES2-type point machine (monitoring of point machine)

    Obata, N. / Ichikura, T. / Narita, H. et al. | British Library Conference Proceedings | 2010

    A multi-stage linear prediction model for the irregularity of the longitudinal level over unit railway sections

    Chang, H. / Liu, R. / Li, Q. | British Library Conference Proceedings | 2010

    Development of the new CBTC system simulation and performance analysis

    Chen, R. / Guo, J. | British Library Conference Proceedings | 2010

    SAT.engine: automated planning and validation tools for modern train control systems

    Wenzel, B. / Schuette, J. / Jurtz, S. | British Library Conference Proceedings | 2010

    Automated system testing of an automatic train protection system

    Friman, B. / Andreiouk, T. | British Library Conference Proceedings | 2010

    An efficient MIP model for locomotive routing and scheduling

    Aronsson, M. / Kreuger, P. / Gjerdrum, J. | 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

    Railway vehicle and bridge interaction: some approaches and applications

    Mikheev, G. / Krugovova, E. / Kovalev, R. | British Library Conference Proceedings | 2010

    Dimensioning of a railway station for unknown operation

    Lindfeldt, O. / Lundberg, A.-I. | British Library Conference Proceedings | 2010

    Study on the method of traction motor load simulation on railway vehicles

    Lu, F. / Li, S. / Xu, L. et al. | British Library Conference Proceedings | 2010

    Design and implementation of a distributed railway signalling simulator

    Hei, X. / Ma, W. / Wang, L. et al. | British Library Conference Proceedings | 2010

    Simulation of a high-speed train control system based on High Level Architecture and its credibility analysis

    ShangGuan, W. / Chen, J.-Q. / Li, B. et al. | British Library Conference Proceedings | 2010