1–20 von 24 Ergebnissen
|

    Design of cooling system for underwater motor based on phase-change heat transfer

    Huang yuanfeng, / Wang haifeng, / Du yumei, | IEEE | 2014

    An Efficient Network for Obstacle Detection in Rail Transit Based on Multi-Task Learning

    Pang, Bowen / Zhang, Qihe / Chai, Ming et al. | IEEE | 2023

    Runtime Verification of Railway Interlocking Software with Parametric Timed Automata

    Chai, Ming / Wang, Haifeng / Zhang, Jian et al. | IEEE | 2018

    Heterogeneous Mission Planning for Multiple UAV Formations via Metaheuristic Algorithms

    Wu, Yu / Liang, Tianjiao / Gou, Jinzhan et al. | IEEE | 2023

    A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains

    Freier Zugriff
    Chai, Ming / Wang, Haifeng / Tang, Tao et al. | IEEE | 2024

    A Train Protection Logic Based on Topological Manifolds for Virtual Coupling

    Zhang, Yong / Wang, Haifeng / James, Phillip et al. | IEEE | 2022

    Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata

    Chai, Ming / Wang, Haifeng / Liu, Hongjie et al. | IEEE | 2019

    Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment

    Zhang, Yong / Wang, Haifeng / Yuan, Tommy et al. | IEEE | 2019

    Automating Robot Motion Planning for Magnetic Resonance Navigation Using Q-Learning

    Wang, Xiaoyan / An, Zhenzhou / Zhou, Yihang et al. | IEEE | 2018

    Data Censoring in Renewable Energy Enabled Wireless Sensor Networks

    Yang, Miao / Yang, Liu / Zhu, Zhenghang et al. | IEEE | 2019

    Positive Safety Modeling of CTCS-3 Train Control System for High-speed railway

    Tang, Shengjie / Wang, Haifeng / Ning, Bin et al. | IEEE | 2018

    Bilevel Feature Extraction-Based Text Mining for Fault Diagnosis of Railway Systems

    Wang, Feng / Xu, Tianhua / Tang, Tao et al. | IEEE | 2017

    Thermal analysis and optimization of the stator structure of a submerged cryogenic induction motor

    Ai Chengliu, / Huang Yuanfeng, / Wang Haifeng, et al. | IEEE | 2014

    A Topology-Based Model for Railway Train Control Systems

    Wang, Haifeng / Schmid, Felix / Chen, Lei et al. | IEEE | 2013

    Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System

    Wang, Qi / Chai, Ming / Wang, Haifeng et al. | IEEE | 2022