PDF《组织结构 1》

2005 年工作的总体情况,并提出了以后的发展设想.副主任李洪波研究员汇报了实验室

2005 年在学术交流、开放课题和实验室建设等方面取得的成绩. 王永祥副处长肯定了实验室在

2005 年取得的成绩,从吸引优秀人才、加强国际合 作、面向国家战略需求等方面对实验室的建设和发展提出了建议.周鼐博士强调要突出 实验室的特色,主动开展应用合作,为实验室未来的发展定一个长远的目标. 吴文俊院士就实验室如何有计划地进行基础理论研究提出了建议.他强调要学习 陈省身先生在主持中央研究院数学所发展工作时的经验,建立一整套计划,吸引优秀人 才,打好理论基础.并强调要大力培养将数学与应用相结合的人才,为这种人才的出现 创造良好的条件. 与会专家们对实验室工作进行了认真的审议和讨论,对实验室一年来的工作予以充 分肯定,并对实验室的定位、研究方向、人才引进等方面提出了具体的建设性意见.对 于实验室的定位,专家们一致强调,应该在数学机械化与编码、密码理论研究方面占领 制高点,保持实验室的优势地位,将实验室建设成国际一流的研究中心;

同时关注国家 战略需求,应用我们发展的理论为国家战略需求服务.

二、实验室开放课题 实验室通过以下专项经费支持开放课题: z 数学机械化应用推广专项经费 z 吴文俊数学与天文丝路基金研究计划 z 数学机械化思维与非数学机械化思维 研究基金 z 中国科学院数学机械化重点实验室开放课题 研究基金 本年度共批准

14 项开放课题,其中以来访项目为主. 中国科学院数学机械化重点实验室

2006 年度报告 -

5 -

2005 年开放课题支持项目 课题名称 承担单位 承担人 双螺杆挤出机螺杆造型中的特征列方法 北京化工大学理学院 孙永利 用Adomian 分解法求解差分方程 中国传媒大学理学院 朱永贵 人脸识别判别分析及其核函数和核参数的 研究 深圳大学 陈文胜 时滞微分方程的机器处理 厦门大学数学科学学院 刘胜强 Stewart平台奇异性问题的研究 北京林业大学 张桂芳 移动 ad hoc 入侵检测和主动响应机制研究 上海交通大学 易平构造性代数几何与微分代数几何 中国科学院研究生院 陈玉福 有限环上的循环卷积码 山东理工大学 曹永林 ∑-协议在密码学中的几个应用 广州大学广东省信息安全技 术重点实验室 唐春明 计算微分与差分代数 华东师范大学软件学院 吴敏几何不变量分析 中国石油大学 李宗民 符号与数值的混合智能计算 北京邮电大学理学院 赵新超 虚拟轴数控机床的六自由度并联机构设计 北京机械化工学院 高平多面体场景的线画图高维重建 中科院自动化所 陈颖

三、实验室客座人员与访问学者 姓名工作单位 访问时间 Jintai Ding University of Cincinnati, USA 11/11-11/15 Eckhard Hitzer Fukui University, Japan 11/01-11/05 Wenchang Chu Univ. degli Studi di Lecce, Italy 08/31-09/07 Wang Jing-Ping University of Kent, U.K 08/25-08/30 Kuo-Chang Chen Tsinghua Univ. of Taiwan 08/21-08/27 Akira Suzuki Kobe University 08/20-08/27 Kobayashi Hidetsune Nihon University 07/30-08/25 Hoon Hong North Carolina Univ., USA 07/25-07/27 Markus Schmies

7 Univ. Berlin, Germany 07/24-07/30 Qin Hong State University of New York at Stony Brook 07/17-07/21 Chionh Eng Wee National Univ. of Singapore 07/17-07/23 中国科学院数学机械化重点实验室