位置：立项数据库 > 立项详情页
基于多物理信号的高速列车系统级健康分析仪器
  • 项目名称：基于多物理信号的高速列车系统级健康分析仪器
  • 项目类别：国家重大科研仪器研制项目
  • 批准号：61527812
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：顾明
  • 依托单位：清华大学
  • 批准年度：2015
顾明的项目
面向领域的可信嵌入式软件系统试验验证环境研究
期刊论文 5 会议论文 7
可信嵌入式软件系统试验环境与示范应用
期刊论文 28
基于定理证明的可信嵌入式软件建模与验证平台研究
期刊论文 16 会议论文 24 著作 1
中国建筑信息化技术发展战略研究
期刊论文 5
基于轨道车辆视频监测数据的快速异常检测技术研究
期刊论文 3 会议论文 3
嵌入式软件正确性自动证明理论研究
嵌入式系统仿真与验证平台开发
期刊论文 1