云南高校图书馆联盟文献共享服务平台- 中央高校基本科研业务费专项资金(2011JBZ014)

中央高校基本科研业务费专项资金(2011JBZ014): 作品数：5被引量：43H指数：4; 导出分析报告; 相关作者：步兵李辰岭丁奕宁滨王洪伟更多>>; 相关机构：北京交通大学北京交控科技有限公司中铁通信信号勘测设计(北京)有限公司更多>>; 相关期刊：《铁道学报》《都市快轨交通》更多>>; 相关主题：列车控制CBTC行车调度节能时刻表更多>>; 相关领域：交通运输工程更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于UPPAAL的FAO系统典型运营场景建模与验证被引量：8: 《铁道学报》2013年第6期65-71,共7页彭大天步兵; 国家高技术研究发展计划(863计划)(2011AA110502);北京市科委项目(D111100000411001);中央高校基本科研业务费(2011JBZ014); 全自动驾驶系统FAO(Fully Automatic Operation)具有安全、可靠、高效的特点,成为未来城市轨道智能交通系统的主要发展方向。FAO系统典型运营场景是1个实时的过程,为发现其逻辑的错误、功能和性能的缺陷,需要在系统设计前,针对系统需求...; 关键词：全自动驾驶系统保护区 UPPAAL 时间自动机