????

  
首页-科学研究_学术预告

学术报告441:列车控制系统智能预测

发布日期:  2019/05/27  周时强   浏览次数: 部门: 未知   返回

报 告 人:刘静 教授

单位:华东师范大学计算机科学与软件工程学院

报告时间:2019年5月30日(周四)16:00~17:30

贝博体育报告地点:宝山校区计算机大楼1001室

贝博体育邀请人:缪淮扣 教授

报告摘要:

Although there has been substantial research in systems analytic for risk assessment in traditional methods, little work has been done for safety risk prediction in Communication based train control (CBTC) system, especially intelligently predicting risk caused by the uncertainty in the system operation. Risk prediction and assessment of hazards in train control systems are vital for urban rail transit safety and efficiency. In this paper, we propose an intelligent hazard-risk prediction model based on a deep recurrent neural network for a new communication-mode CBTC system. First, a train-totrain communication-based train control (T2T-CBTC) system is proposed to improve the drawback of CBTC in information exchanging mode. Then we design a risk prediction feature selection and generation method and estimate a critical function feature in the T2T-CBTC system by statistical model checking. Finally, we construct our intelligent hazard-risk prediction model based on a deep recurrent neural network using a long-short term

贝博体育memory (LSTM) network. The model had excellent risk prediction classification results and performance in our experiment, even if for unbalance dataset. This model consistently outperforms the deep belief network trained in Accuracy, Precision, Recall and F1-score for hazard-risk prediction problem.

报告人简介:

贝博体育Jing Liu is a professor in the Computer Science and Software Engineering Institute of East China Normal University, Shanghai. Her research work focuses on Software Modeling, Analysis and Verification, High Performance Computing. She won the First Place Natural Science Award by Ministry of education via “Model based trustworthy software theories and development methods” in 2012. She is a leader of a project of National Natural Science Foundation of China. In the domestic and foreign academic journals and important international academic conference she published more than 80 papers. Previously, she was a Principle Investigator of several projects, including Model Driven Development Technology of High Dependable Software (863 program), A Strategy for Model Construction and Integration (National Scientific Foundation of China) etc. 

 

上一条:学术报告442:数据同化理论与应用

下一条: 学术报告440:MDESL的操作语义和代数语义连接的理论与实践