返回首页
复杂不确定环境下轨道交通信号系统可信保障技术及应用
CCF科技成果奖
项目名称：复杂不确定环境下轨道交通信号系统可信保障技术及应用
完成单位：华东师范大学、卡斯柯信号有限公司、苏州轨道交通建设有限公司
主要完成人：陈铭松、陈小红、刘静、周庭梁、繆炜恺、邹艳
本项目在基于通信的列车自主控制（CBTC）系统可信保障技术上取得突破，攻克了不确定环境下“难建模、难优化、难保证一致性”三大核心难题，在形式化建模与量化评估、自动化综合与高效验证、跨设计层次一致性检测等方面取得科学技术突破。研究成果有力支持了“交通强国”与“一带一路”国家战略。
<<< 上一篇
大型超算系统关键技术研究与油气勘探工业化应
<<< 下一篇 基于人工智能技术的数字仓库运营管理系统
读完这篇文章后，您心情如何？
推荐内容
More >>>- · AI时代产学研合作如何创造新价值 CCF UIC论坛
- · 构建可信AI：企业级Agent架构与应用实践 | TF
- · 以数据为中心的AI智能体落地实践 | TF技术前
- · 大模型的知识与记忆 | TF技术前线184期回顾
- · 复杂智能体系统的开发与驾驭——对话宋继强、
- · 共绘BioAI无限未来 ——CCF TF第186期在京成
- · CNCC2026颁奖典礼隆重颁发四大奖项 ——CCF王
- · 2026年CCF大学生启航计划发布典礼在蓉举行
- · 第二届CCF数字孪生创新发展推进会和CCF沈阳联
- · CCCF 2026年10月刊发布
- · 2026 CCF CCSP竞赛手册发布，10月21~22日成都
所有评论仅代表网友意见