首页 > 《科学与技术》 > 2021年05期 > 形式化方法在轨道交通车门系统验证中的应用

形式化方法在轨道交通车门系统验证中的应用

在线阅读下载PDF 导出详情

摘要摘要：简要介绍了轨道交通车门系统的特点，通过对现有车门系统反馈的特点，提出用TLA+形式化方法验证软件功能需求可靠性的方案，最终在实际项目应用中进行应用验证，实际运行效果良好，达到了预期目标，为提高产品软件质量，具有很好的推广价值。

DOI 54yeq0y1j0/5219752

作者仝占方，周刚

机构地区中车株洲电力机车有限公司，湖南株洲421001

出处《科学与技术》 2021年5期

关键词形式化方法车门系统轨道交通

分类 [建筑科学][建筑技术科学]

出版日期 2021年05月26日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1姜英峰,王晓晓,周杨. 城市轨道交通车辆车门系统.,2021-12.
2邓涛,彭小洪,杨顺利,尹璐. 轨道交通车辆车门系统智能运维技术.建筑技术科学,2023-10.
3叶冰. 城市轨道交通车门系统检修对策探究.,2022-11.
4庹爱磊. 轨道交通车辆车门系统智能运维技术方案.,2023-05.
5刘桂冬. 轨道交通车辆车门远程监控系统的设计与实现.,2022-07.
6李江. 智能照明系统在轨道交通车站中的应用.建筑设计及理论,2018-10.
7李长胜,许鹏,耿雪峰,钱凯. 轨道交通车辆空调系统节能技术方法.,2023-02.
8丁修予,杜晓杰,郎艳. DFMEA技术在城市轨道交通车辆车门系统中的应用研究.建筑技术科学,2022-07.
9郝滨. 城市轨道交通车门系统检修的难点及对策分析.建筑技术科学,2021-10.
10刘舒嘉. 城市轨道交通车门系统检修的难点及对策分析.建筑技术科学,2024-05.

来源期刊

科学与技术

科学与技术

相关推荐

同分类资源更多

相关关键词

形式化方法车门系统轨道交通

返回顶部