共找到5條詞條名為陳矛的結果 展開
陳矛
華中師範大學博士
陳矛，博士，職稱：副教授，職務：華中師範大學國家數字化學習工程技術研究中心輔助學習工具產品室主任。2007年獲華中科技大學計算機軟體與理論專業博士學位。在攻讀博士學位期間，先後參與了國家973計劃資助項目“數學機械化方法及其在信息技術中的應用”和國家自然科學基金資助項目“矩形packing基本問題的高性能求解演演算法”的研究工作，在其中擔任演演算法設計與實現工作。在計算複雜性理論、最優化方法的理論與應用以及啟髮式演演算法設計方面有較好的研究基礎。
目前主要從事面向學科的智能輔助學習工具的演演算法研究與系統開發工作。作為主持人承擔國家自然科學基金項目“有限制條件的幾何定理機器證明”和高等學校博士學科點專項科研基金項目“有限制的幾何定理機器證明的研究”，並參與國家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
[8]陳矛, 黃文奇. 求解不等圓Packing 問題的一個啟髮式演演算法. 計算機研究與發展, 2007, 44 (12) : 2092～2097
