Internet环境下组合式软件的时空进程代数的模型检测方法研究国家自然科学基金基支持非常规突发事件的应急决策的形式化表示及模型组合方法研究国家自然科学基金基 Petri网的四性一体化建模与评价技术 国防基金 视频监控的航班延误及其衍生群体性事件预测预警与辅助决策方法研究省基金 民航新疆应急平台监测预警系统 民航新疆地区管理 大型机场航站楼群集性事件安全预警与辅助决策系统 民航总局 “十三五”我国民航运输质量规划研究 民航总局 宽体客机选项功能效用评估方法研究 中国商飞 面向适航认证的Petri网验证方法研究 省博士后基金 智慧园区软件集成平台开发 紫金产业园 土壤实验综合实验平台开发 中国土壤仪器厂
| 