排序方式: 共有15条查询结果,搜索用时 93 毫秒
11.
12.
自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制流程,得到了该场景下的列车运行安全需求。结合时间自动机理论,建立了包含列车动力学、车载ATO、ZC以及时钟控制器的两车追踪场景时间自动机网络模型,验证了模型中安全需求的正确性;基于一致性测试理论,定义了被测车载ATO软件与测试环境的可观测输入/输出接口,利用UPPAAL-TRON工具设计了被测车载ATO软件的一致性测试框架,并进行了一致性测试分析。在此基础上,采用变异测试,针对典型的车载ATO软件功能实现错误(错误的安全距离、静态限速、功能逻辑以及命令丢失等)进行了安全性验证。结论表明:该在线一致性测试方法能够及时发现车载ATO软件行为与规范模型的不一致,有效提升了车载ATO功能测试的检错能力。 相似文献
13.
14.
随着浙江省高速公路建设的快速发展,传统的台账式公路资产管理模式已不能满足公路资产精细化管理需求,在公路资产数字化平台建设中亟须建立一套标准化、规范化的公路资产分类标准体系,便于统一口径和信息交换。分析当前高速公路资产管理中存在的一些问题,在对行业管理部门管理需求充分调研和国内相关国家标准、行业标准以及相关文件梳理的基础上,按照资产分类原则和线分类法建立高速公路资产分类标准体系,对资产的最小单元进行分类及编码,以期为行业管理部门对高速公路资产数字化过程中的资产分类提供参考。 相似文献
15.
TOD(Transit-Oriented Development)模式下地铁站点核心圈层会规划越来越多商业,以地铁为主的国内轨道交通城市面临着TOD地下商业发展机遇与挑战。本研究为充分挖潜地铁站点出入口客流数据价值与实现TOD地下商业开发效益最大化,提出基于地铁站点出入口客流数据的TOD地下商业评测方法。针对当前TOD商业开发依旧保有传统商业开发模式的滞后性问题,本研究提出了HBS指数、TOD地下商业评测方法及相应评测指标,并以成都市世纪城站进行实例分析,利用其他类型数据对评测主要结论与方法进行了合理性论证。 相似文献