2011년 网格服务调度算法分布式部署和QoS性能分析 網格服務調度算法分佈式部署和QoS性能分析 망격복무조도산법분포식부서화QoS성능분석

2011년 概率命题逻辑是经典命题演算形式系统的随机事件语义 概率命題邏輯是經典命題縯算形式繫統的隨機事件語義 개솔명제라집시경전명제연산형식계통적수궤사건어의

2010년 集合代数是经典命题演算形式系统的语义解释 集閤代數是經典命題縯算形式繫統的語義解釋 집합대수시경전명제연산형식계통적어의해석

2010년 自然语言合理句子的生成系统 自然語言閤理句子的生成繫統 자연어언합리구자적생성계통

2009년 概率命题逻辑中命题相等关系的两个层面与命题演算 概率命題邏輯中命題相等關繫的兩箇層麵與命題縯算 개솔명제라집중명제상등관계적량개층면여명제연산

2008년 多语言机译系统中高质量语义单元库形成方法 多語言機譯繫統中高質量語義單元庫形成方法 다어언궤역계통중고질량어의단원고형성방법

2008년 概率逻辑中的命题相关性与逻辑运算 概率邏輯中的命題相關性與邏輯運算 개솔라집중적명제상관성여라집운산

2008년 多语互译机译系统统一算法基础——差异函数 多語互譯機譯繫統統一算法基礎——差異函數 다어호역궤역계통통일산법기출——차이함수

2008년 一种基于语义单元的查询扩展方法 一種基于語義單元的查詢擴展方法 일충기우어의단원적사순확전방법

2007년 高庆狮中国著名计算机科学家,计算机总体设计专家 高慶獅中國著名計算機科學傢,計算機總體設計專傢 고경사중국저명계산궤과학가,계산궤총체설계전가