Research Projects

• [10]TACS系统联锁需求研究,卡斯柯信号有限公司,2020-06-23-2021-06-30
• [11]基于可判定形式理论的高铁列控软件安全性验证技术研究,福建省教育厅中青年教师教育科研项目,陈祖希,2018-07-31-2020-07-31
• [12]基于一阶逻辑的实时轨道交通运行控制系统安全性验证技术研究,华侨大学高层次人才科研启动项目,陈祖希,2016-09-30-2019-09-30
• [13]基于微分逻辑的轨道交通运营实时场景全符号化模型检测技术研究,国家自然科学基金委员会,2012-09-30-2016-09-30
• [14]高速铁路信号系统安全认证和评估技术研究,国家重点研发计划,2012-06-29-2016-06-30
• [15]新一代城轨交通列车运行控制系统研制,国家科技支撑计划,2011-07-30-2015-07-31
• [16]高速铁路列控系统安全性验证的一阶可判定形式理论研究,国家自然科学基金项目,2010-01-01-2014-01-01