陈祖希
-
硕士生导师
- 性别：男
- 学历：博士研究生
- 学位：工学博士学位
- 入职时间：2016-06-06
- 办公地点：机电楼A409
- 电子邮箱：3cde363b64d950af9857a002980229a800a62d10734988a28addb4494f2bfbbb7a9a1edb6c4203e2705c33d06aa38a279fd06040f881e87e69446984615bffd3ea0d55ad1927d9d75466f12f645f1a94c4e64c4a3402dbae947d7eeff1ce50ede2abe00472b60b437a8bbc1434689ca2c7d6a1914ee2842980e5f6c53e9e93f0
- 在职信息：在岗
访问量：
-
[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
