返回首页
复杂不确定环境下轨道交通信号系统可信保障技术及应用
CCF科技成果奖
项目名称：复杂不确定环境下轨道交通信号系统可信保障技术及应用
完成单位：华东师范大学、卡斯柯信号有限公司、苏州轨道交通建设有限公司
主要完成人：陈铭松、陈小红、刘静、周庭梁、繆炜恺、邹艳
本项目在基于通信的列车自主控制（CBTC）系统可信保障技术上取得突破，攻克了不确定环境下“难建模、难优化、难保证一致性”三大核心难题，在形式化建模与量化评估、自动化综合与高效验证、跨设计层次一致性检测等方面取得科学技术突破。研究成果有力支持了“交通强国”与“一带一路”国家战略。
<<< 上一篇
大型超算系统关键技术研究与油气勘探工业化应
<<< 下一篇 基于人工智能技术的数字仓库运营管理系统
读完这篇文章后，您心情如何？
所有评论仅代表网友意见