2015년

2015년 需求变更自动化管理模型与实现 需求變更自動化管理模型與實現 수구변경자동화관리모형여실현

2015년 扩展断言知识检验一致的需求建模方法 擴展斷言知識檢驗一緻的需求建模方法 확전단언지식검험일치적수구건모방법

2014년 安全苛刻系统自动化测试的形式化语义模型 安全苛刻繫統自動化測試的形式化語義模型 안전가각계통자동화측시적형식화어의모형

2013년 一种基于Kolmogorov-Smirnov检验的缺陷定位方法 一種基于Kolmogorov-Smirnov檢驗的缺陷定位方法 일충기우Kolmogorov-Smirnov검험적결함정위방법

2012년 运用信息技术优化语文教学 運用信息技術優化語文教學 운용신식기술우화어문교학

2012년 面向航天器自动化测试的通用测试语言及系统关键技术研究与应用 麵嚮航天器自動化測試的通用測試語言及繫統關鍵技術研究與應用 면향항천기자동화측시적통용측시어언급계통관건기술연구여응용

2009년 Ambient演算的一种分层语义 Ambient縯算的一種分層語義 Ambient연산적일충분층어의

2006년 接续到直接的指称语义转换 接續到直接的指稱語義轉換 접속도직접적지칭어의전환

2005년 面向反射程序设计方法 麵嚮反射程序設計方法 면향반사정서설계방법