陳矛[華中師範大學博士]

陳矛，博士，職稱：副教授，職務：華中師範大學國家數位化學習工程技術研究中心輔助學習工具產品室主任。2007年獲華中科技大學計算機軟體與理論專業博士學位。在攻讀博士學位期間，先後參與了國家973計畫資助項目“數學機械化方法及其在信息技術中的套用”和國家自然科學基金資助項目“矩形packing基本問題的高性能求解算法”的研究工作，在其中擔任算法設計與實現工作。在計算複雜性理論、最最佳化方法的理論與套用以及啟發式算法設計方面有較好的研究基礎。

基本信息

• 中文名：陳矛
• 性別：男
• 國籍：中國
• 職業：副教授
  
• 畢業院校：華中科技大學
• 主要成就：參與國家863項目“知識濃縮與融合關鍵技術研究”
  

從事工作

目前主要從事面向學科的智慧型輔助學習工具的算法研究與系統開發工作。作為主持人承擔國家自然科學基金項目“有限制條件的幾何定理機器證明”和高等學校博士學科點專項科研基金項目“有限制的幾何定理機器證明的研究”，並參與國家863項目“知識濃縮與融合關鍵技術研究”。正在研發的學科工具有“動態幾何學習系統”、“中學物理虛擬實驗平台”、“中學化學虛擬實驗平台”和“中學幾何定理自動推理系統”等。

科研工作

研究方向

幾何定理自動推理，最佳化算法設計，智慧型教育軟體開發

參與課題

[1] 2010.1—2012.12：主持國家自然科學基金項目“有限制條件的幾何定理機器證明（60903023）”；

[2] 2009.1—2011.12：主持高等學校博士學科點專項科研基金項目“有限制的幾何定理機器證明的研究（200805111011）”；

[3]2008.6—2011.6：參與國家863項目“知識濃縮與融合關鍵技術研究”；

[5]2005.3—2007.5：參與國家自然科學基金資助項目“矩形packing基本問題的高性能求解算法”。

[4]2004.9—2007.5：參與國家973計畫資助項目“數學機械化方法及其在信息技術中的套用”；

科研成果

論文：

[1] Chen Mao, Huang Wenqi. A two-level search algorithm for 2D rectangular packing problem.Computers & Industrial Engineering 53 (2007) 123–136

[2] Chen Mao, Huang Wenqi. Heuristic Algorithm for Packing Triangles into a Square Container. International Journal of Information and Management Science, 20 (2009), 255-268

[3] Huang Wenqi, Chen Mao. Note on: An improved algorithm for the packing of unequal circles within a larger containing circle. Computers & Industrial Engineering. 2006, 50:338~344

[4] Huang Wenqi, Chen Mao, Lü Zhipeng. Energy optimization for off-lattice protein folding. Physical Review E. 2006, 74: 041907

[5] Chen Mao, Huang Wenqi. A branch and bound algorithm for the protein folding problem in the HP lattice model. Genomics, Proteomics & Bioinformatics. 2005, 3(4): 225~230

[6] Chen Mao, Huang Wenqi. Heuristic algorithm for off-lattice protein folding problem. Journal of ZhejiangUniversity SCIENCE B. 2006, 7(1): 7~12

[7] 陳矛，黃文奇，呂志鵬. 求解HP模型蛋白質摺疊問題的改進PERM算法. 計算機研究與發展. 2007, 44 (9) : 1456～1461

[8] 陳矛, 黃文奇. 求解不等圓Packing 問題的一個啟發式算法. 計算機研究與發展, 2007, 44 (12) : 2092～2097