2004년 用新开发的15 bar Super Turbo(R)真空炉进行大型冲模和铸模的淬火 用新開髮的15 bar Super Turbo(R)真空爐進行大型遲模和鑄模的淬火 용신개발적15 bar Super Turbo(R)진공로진행대형충모화주모적쉬화

2015년 归纳证明在类型理论中的应用研究 歸納證明在類型理論中的應用研究 귀납증명재류형이론중적응용연구

2015년 函数式语言范畴描述研究 函數式語言範疇描述研究 함수식어언범주묘술연구

2014년 高速钢钻头的热处理工艺及辅助夹具 高速鋼鑽頭的熱處理工藝及輔助夾具 고속강찬두적열처리공예급보조협구

2014년 范畴单子在F#语言中的应用研究 範疇單子在F#語言中的應用研究 범주단자재F#어언중적응용연구

2014년 基于进程代数WS-CDL交互模式建模研究 基于進程代數WS-CDL交互模式建模研究 기우진정대수WS-CDL교호모식건모연구

2011년 探析城市大事件里的公众参与新途径——以"世博人家"为例 探析城市大事件裏的公衆參與新途徑——以"世博人傢"為例 탐석성시대사건리적공음삼여신도경——이"세박인가"위례

2005년 利用LogMiner分析Oracle日志文件 利用LogMiner分析Oracle日誌文件 이용LogMiner분석Oracle일지문건

2005년 用原子吸收分光光度法测定钢中微量铝 用原子吸收分光光度法測定鋼中微量鋁 용원자흡수분광광도법측정강중미량려

2004년 Ni基超合金长寿命区域内的中高温疲劳特性 Ni基超閤金長壽命區域內的中高溫疲勞特性 Ni기초합금장수명구역내적중고온피로특성

2004년 用新开发的15 bar Super Turbo(R)真空炉进行大型冲模和铸模的淬火 用新開髮的15 bar Super Turbo(R)真空爐進行大型遲模和鑄模的淬火 용신개발적15 bar Super Turbo(R)진공로진행대형충모화주모적쉬화