云南高校图书馆联盟文献共享服务平台- 彭大天

彭大天: 作品数：1被引量：8H指数：1; 导出分析报告; 供职机构：北京交通大学更多>>; 发文主题：FAOUPPAAL时间自动机保护区城市地铁更多>>; 发文领域：交通运输工程自动化与计算机技术更多>>; 发文期刊：《铁道学报》更多>>; 所获基金：中央高校基本科研业务费专项资金北京市科委项目国家高技术研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

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