Internet环境下组合式软件的时空进程代数的模型检测方法研究国家自然科学基金基支持非常规突发事件的应急决策的形式化表示及模型组合方法研究国家自然科学基金基

Petri网的四性一体化建模与评价技术                     国防基金

视频监控的航班延误及其衍生群体性事件预测预警与辅助决策方法研究省基金

民航新疆应急平台监测预警系统                          民航新疆地区管理

大型机场航站楼群集性事件安全预警与辅助决策系统           民航总局

“十三五”我国民航运输质量规划研究                               民航总局

宽体客机选项功能效用评估方法研究                                 中国商飞

面向适航认证的Petri网验证方法研究                               省博士后基金

智慧园区软件集成平台开发                                         紫金产业园

土壤实验综合实验平台开发                                         中国土壤仪器厂

以第一作者及合作作者分别在SCI期刊发表论文3篇，

在国内计算机类重要核心《软件学报》《计算机研究与发展》第一作者重要3篇，合作作者发表4篇，

现已发表论文20余篇，被SCI、EI检索期刊和国际会议发表论文16篇以上。