CTCS-4下高速列车追踪运行建模与安全控制形式化技术研究
| 项目编号： | 61841303 |
| 项目名称： | CTCS-4下高速列车追踪运行建模与安全控制形式化技术研究 |
| 摘要： | CTCS-4下高速列车追踪运行建模与安全控制形式化技术研究 |
| 关键词： | ctcs-4；列车追踪运行；高速列车；形式化技术；安全控制；技术研究；控制形式；建模 |
| 项目负责人： | 陈永 |
| 组织单位： | 国家自然科学基金委员会 |
| 主持或承担单位： | 兰州交通大学 |
| 项目经费(万元)： | 10 |
| 项目类别： | 国家自然科学基金项目—科学部主任基金项目/应急管理项目 |
| 立项年份： | 2018 |
检索历史
应用推荐
