A SCADE Model Verification Method Based on B-Model Transformation.
CoRR, May, 2025
Automatic Source Point Offset via REINFORCE Based on Transformer.
IEEE Geosci. Remote. Sens. Lett., 2024
Numerical Simulation Study of Cabin Fires in Civil Aircraft Based on Pyrosim.
Proceedings of the 2024 4th International Conference on Big Data, 2024
Interaction analysis and optimization of multi-antenna in dual-channel balise.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016
Satisfiability verification of engineering data safety rules of balise based on ROBDD.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016
Mutual Coupling Research of Multi-antenna in Dual-Channel Balise.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015
Modeling and Quantitative Safety Analysis of Chinese Train Control System of Systems.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015
Fault Diagnosis in Railway Track Circuits Using Support Vector Machines.
Proceedings of the 12th International Conference on Machine Learning and Applications, 2013