科研项目

1、国家自然科学基金，《基于模型的结构性程序错误的诊断方法研究》（项目编号：61175056），主持、在研。
2、横向项目，《车用软件测试评价系统》，40万，主持、在研。
3、横向项目，《内河船舶吃水监测软件系统的开发》，60万，主持、在研。
4、横向项目，《基于二维码的固定资产管理系统研发》，30万，主持、在研。
5、横向项目，《数控设备网络监控仪的研制》，30万，主持、在研。
6、国家自然科学基金，《本体演化的修正理论和算法研究》（项目编号：60775028），主持。
7、横向项目，《用于光电经纬仪的仪器测控软件》，20万，主持。
8、大连市IT优秀教师专项资金（教师科研基金）及大连市IT优秀教师专项资金（个人奖励），《J2ME软件测试系统的研究与实现》，主持。
9、大连市科技局重大项目，《嵌入式软件测试平台关键技术及其系统研制》（项目编号：2007A14GX042），主持。
10、符号计算与知识工程教育部重点实验室开放基金项目《约束网络上的故障诊断技术》（No. 93K-17-2006-04），主持。
11、广东省自然科学基金项目《网型结构图上的故障诊断技术研究》（No. 011162），主持。
12、广东省教育厅《软件技术》重点实验室研究基金项目《移动IP技术研究及主机移动的系统实现》，主持。
13、奥地利FWF的JadeX项目（基于模型的软件调试，项目编号P15265-INF），第三完成人。
14、广东省科技厅项目《软件质量提升关键技术研究》，第三完成人。
15、国家自然科学基金项目《基于模型诊断的应用基础研究》（No. 60173039），第三完成人。
16、广东省电信集团项目《广东省电话网智能管理系统(GTNIMS)》，第三完成人。
17、国家自然科学基金项目《常识推理与逻辑程序的扩展》（No. 69783009），第二完成人。
18、国家自然科学基金项目《基于模型的诊断推理》（No. 69903005），第五完成人。
19、国家自然科学基金项目《基于模型诊断及其应用的研究》（No. 69872047），第四完成人。
20、国家自然科学基金项目《模态逻辑和自动推理研究》（No. 69503004），第五完成人。