基于微分逻辑的轨道交通运营实时场景全符号化模型检测技术研究

项目来源单位：

国家自然科学基金委员会

项目来源：

国家自然科学基金项目

项目级别：

国家级

项目参与人员：

陈祖希

项目编号：

61273180

立项时间：

2012-09-30

计划完成时间：

2016-09-30

结项日期：

2016-09-30

开始日期：

2012-09-30

项目批准号：

61273180