主要应用技术:
² 原创自动推理体系及系统研发
² 可信性自动验证系统——C 、PLC、FPGA验证工具
² 信号传输序列设计与加密技术
² 轨道交通特色的可靠性工程评价与优化设计
Ø 车轮镟修专家决策支持及效果评价(WRD)系统
Ø 基于多源数据融合的系统可靠性综合评估系统
Ø 高速铁路装备安全监测和运营维护中的大数据分析系统