个人简介

科研工作(研究方向 课题)

科研成果

个人简介

陈矛，博士，职称：副教授，职务：华中师范大学国家数字化学习工程技术研究中心辅助学习工具产品室主任。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

[7] 陈矛，黄文奇，吕志鹏. 求解HP模型蛋白质折叠问题的改进PERM算法. 计算机研究与发展. 2007, 44 (9) : 1456～1461

[8] 陈矛, 黄文奇. 求解不等圆Packing 问题的一个启发式算法. 计算机研究与发展, 2007, 44 (12) : 2092～2097