1.Bourbaki Mathematical Machine Proof System Based on Coq and Its Applications
National Natural Science Foundation Key Project, 2020/01-2025/12, Participant, Completed
2.Intelligent Drainage System Research for Shaba Clay Mine
Guizhou Kailin Group, 2025/08-2026/05, Principal Investigator, Ongoing
3.Key Technologies for Full-Dimensional AI Early Warning Edge Control of Coal Mine Belt Transportation
Beijing Hongbo Yatai Electrical Equipment Co., Ltd., 2025/05-2025/12, Participant, Ongoing
4.Research and Application of Intelligent Antifreeze Spraying System for China Energy Shendong Coal Group
China Energy Group, 2025/07-2027/07, Participant, Ongoing
5.Research and Application of Full-Scale Intelligent Diagnosis and Fault Prediction System for Belt Conveyors
Huaibei Mining Group, 2025/01-2025/12, Principal Investigator, Ongoing
6.Flexible Lower Limb Exoskeleton Robot
National Research Center for Rehabilitation Technical Aids, 2024/03-2026/03, Principal Investigator, Ongoing
7.Research and Application of Intelligent Monitoring System for Coal Mine Belt Conveyor Faults Based on Big Data Analysis
Xi'an University of Science and Technology, 2023/01-2024/12, Principal Investigator, Completed
8. Development of Drilling Robot Drive System
China Petroleum Engineering Research Institute, 2023/03-2023/12, Principal Investigator, Completed
9. Camera-Holding Surgical Robot
Peking University Third Hospital, 2021/01-2022/12, Principal Investigator, Completed
10. Belt Conveyor Development
Information Research Institute, Ministry of Emergency Management, 2021/01-2021/12, Principal Investigator, Completed
School Home