陈矛
近期热点
资料介绍
个人简历
教育经历2007华中科技大学 计算机软件与理论专业 博士在攻读博士学位期间,先后参与了国家973计划资助项目“数学机械化方法及其在信息技术中的应用”和国家自然科学基金资助项目“矩形packing基本问题的高性能求解算法”的研究工作,主要承担高效启发式算法的设计与实现工作。工作经历2007.07-至今 华中师范大学讲授课程算法设计与分析科研项目作为主持人承担国家自然科学基金项目“有限制条件的几何定理机器证明”和高等学校博士学科点专项科研基金项目“有限制的几何定理机器证明的研究”,并参与国家863项目“知识浓缩与融合关键技术研究”。研究领域
智能软件与服务 算法设计与分析""近期论文
Jingfa Liu, Weibo Huang, Wenjie Liu, Beibei Song, Yuanyuan Sun,Mao Chen. Energy landscape paving with local search for global optimization of the BLN off-lattice model. Journal of the Korean Physical Society, 2014, 64(4): 603-610.Lei Min, Zhi Liu, Xiangyang Tang,Mao Chen, Sanya Liu. A Local Community Detection Algorithm Based on the Weakening of Interference Nodes. Journal of Computational Information Systems, 2014, 10(19): 8295-8302.Lei Min, Zhi Liu,Mao Chen, Sanya Liu. A Novel Label Propagation Algorithm Based on Core Expansion for Community Detection. ICIC Express Letters, 2014, 8(8): 2303-2308,Chen Mao, Huang Wenqi. A two-level search algorithm for 2D rectangular packing problem.Computers & Industrial Engineering 53 (2007) 123–136Chen Mao, Huang Wenqi. Heuristic Algorithm for Packing Triangles into a Square Container. International Journal of Information and Management Science, 20 (2009), 255-268Huang 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~344Huang Wenqi,Chen Mao, Lü Zhipeng. Energy optimization for off-lattice protein folding. Physical Review E. 2006, 74: 041907Chen 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~230Chen Mao, Huang Wenqi. Heuristic algorithm for off-lattice protein folding problem. Journal of Zhejiang University SCIENCE B. 2006, 7(1): 7~12闵磊,刘智,唐向阳,陈矛,刘三女牙.基于扩展度的复杂网络传播影响力评估算法.物理学报,2015, 64(8): 088901.葛强, 张景中,陈矛, 彭翕成. 基于向量的几何可读自动证明. 计算机学报,2014, 37(8): 1809-181徐章韬,陈矛. 算法化视角下中学数学教学内容的知识分析. 数学教育学报,2013, 22(2): 11-14.刘郑,陈矛. 中学立体几何智能教育软件的设计与实现. 中国电化教育.2011, 292(5): 109-115.陈矛,黄文奇,吕志鹏. 求解HP模型蛋白质折叠问题的改进PERM算法. 计算机研究与发展.2007, 44 (9) : 1456~1461陈矛,黄文奇. 求解不等圆Packing问题的一个启发式算法. 计算机研究与发展,2007, 44 (12) : 2092~2097 相关热点
最新收录
- 李甯Ning 05-30
- Dota2解说YammerS(已离世) 05-29
- 渚光希 渚みつき(Mitsuki 05-29
- Nagisa魔物喵 05-29
- 谢小蒽 05-29
- 拉斐尔·纳达尔 05-29
- 安德烈·阿加西 05-29
- 罗杰·费德勒 05-29
- 樱坂凛花 (桜坂りんか R 05-27
- 优里なお(优里奈央,Yur 05-27