Bilevel Feature Extraction-Based Text Mining for Fault Diagnosis of Railway Systems
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking
Flamelet Modeling Studies of a Continuously Variable Resonance Combustor (AIAA 2016-1941)
BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems
BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems
An integrated capacity evaluation method for CBTC- system-equipped urban rail lines
An integrated capacity evaluation method for CBTC-system-equipped urban rail lines
Exploring optimum power unit of propulsion system for high altitude airship
A novel framework for supporting the design of moving block train control system schemes
Evaluating Economic Reasons for China's Stance on Ship-Based Greenhouse Gas Reduction Negotiations
The effectiveness and costs of speed reductions on emissions from international shipping
The effectiveness and costs of speed reductions on emissions from international shipping