近年主要科研项目信息

1. 国家重点研发计划项目，价值驱动的产品服务全生命周期管理，批准号：2020YFB1711902，2020.11—2023.10，经费：221万，主研

2. 国家重点研发计划项目（课题），2019YFB2101802，城市知识库构建及语义协同挖掘，2019. 12—2022.11, 经费：322万，主研

3. 国家外专局，高端外国专家引进计划项目，基于矛盾体分离自动演绎的可信性验证，G20200023028，2021.04—2022.11，19万元，主持

4. 基于逻辑自动推理与机器学习的软件可信性验证研究，四川省科技计划应用基础研究计划项目，2020YJ0270, 2020.01—2021.12, 经费：10万，主持

5. 锆合金氧化XXX模拟，国防科技重点实验室项目，2019.01—2020.12, 经费：20万，主持

6. 轨道交通系统可信性自动验证及优化设计研究，西南交通大学“建一流”学科项目（教育部专项建设资金项目），2019.01—2019.12，主持

7. 基于矛盾体分离的逆向并行自动演绎推理研究，中央高校基本科研业务费专项资金项目，项目编号：2682018CX59，2018.01—2020.12, 经费：10万，主持

8. 基于属性相关性与三支模糊集的粗糙集模型及其应用，国家自然科学基金面上项目（批准号：61976130），2020.01—2023.12, 经费：61万，主研（校内主持）

9. 基于逻辑推理XXX研究，军委科技项目，2019.01—2019.12, 经费：100万，主研
   

10. 基于矛盾体分离的动态自动演绎推理研究, 国家自然科学基金面上项目（批准号：61673320），2017.01—2020.12, 经费：59万，主研
    

11. Standards Based Approach to Video Archive Search and Analysis (SAVASA), European Union FP7（欧盟项目），批准号：285621, 2011.12—2014.05, 经费：379,005欧元，主研

12. 基于格值逻辑的α-n(t)元归结动态自动推理研究, 国家自然科学基金面上项目（批准号：61175055），2012.01—2015.12, 经费：59万，主研

13. 基于格值逻辑的语言真值α-广义归结自动推理研究, 国家自然科学基金面上项目（批准号：60875034），2009.01—2011.12, 经费：32万，主研

14. 仿生机器眼运动系统建模与控制方法研究, 教育部高等学校博士学科点专项科研基金项目（批准号：20114101110005），2012.01—2014.12, 经费：12万，主研

15. 列车网络控制系统安全可靠性研究,中车唐山机车车辆有限公司项目，2016.1-2016.10, 经费：190万，主研