日程安排 - key laboratory of mathematics mechanization - 中国 .doc

国家重点基础研究发展计划(973)项目 “数学机械化方法及其在信息技术中的应用” 学术交流与汇报会 第二届全国计算机数学学术会议 (CM 2008) 2008年10月24-27日 青岛 目 录 973项目学术交流与汇报会日程 第二届全国计算机数学学术会议日程 报告摘要 会议须知 第二届全国计算机数学学术会议组织 主办：中国数学学会计算机数学专业委员会 承办：中国石油大学 中国科学院系统科学研究所 中国科学院数学机械化重点实验室 会议主席：高小山 程序委员会： 李洪波(主席)、曾振柄、陈永川、李子明、 杨路、刘木兰、查红彬、陈发来、李华 组织委员会：李树荣(主席)、周代珍 、黄雷 国家重点基础研究发展计划(973)项目 “数学机械化方法及其在信息技术中的应用” 学术交流与汇报会 地点：青岛金港大酒店 时间：2008年10月24日 09:00-09:30 项目介绍、领导讲话 09:30-10:10 数学机械化理论与核心算法 10:10-10:30 休息 10:30-11:10 差分与微分方程的机械化算法 11:10-11:50 实几何与实代数的高效能算法 12:00-14:00 午餐 14:00-14:40 数学机械化与信息安全和编码基础理论研究 14:40-15:20 数学机械化在生物特征识别中的应用 15:20-15:40 休息 15:40-16:20 数学机械化在几何建模中的应用 16:20-17:00 基于网络的数学机械化软件开发 17:00 总结 18:00- 晚餐 第二届全国计算机数学大会日程 (CSCM 2008) 2008年10月25-27日 青岛金港大酒店 10月25日 地点： *** 08:30-09:00 开幕式 主会场1（主席：高小山） 09:00-09:45 邀请报告: 徐宗本, 西安交通大学 基于视觉认知的数据建模 09:45-10:30 邀请报告: 齐东旭, 澳门科技大学 关于非连续的正交函数 10:30-10:50 休息 10月25日 10:50-12:05 分组报告： **会议室 **会议室 **会议室 分组1：微分代数 （主席：张鸿庆） 分组2：应用研究 （主席：王定康） 分组3：代数方法 （主席：符红光） 10:50-11:15 李子明, 吴敏 Computing dimension of solution spaces for linear functional systems 10:50-11:15 李邦和 酶动力学中的拟稳态假设 10:50-11:15 张树功 多元有理插值的Groebner基方法 11:15-11:40 王怀富 A criterion for the similarity of length-two elements in a PID 11:15-11:40 LEI YANG, 李树荣 Optimization of injection strategies for polymer flooding based on a real-coded genetic algorithm 11:15-11:40 Erich Kaltofen, 李斌, 杨争锋, 支丽红 Exact Certification of Global Optimality of Approximate Factorizations Via Rationalizing Sums-Of-Squares with Floating Point Scalars 11:40-12:05 郑大彬, 吴敏 Testing algebraic dependence of hyperexponential elements 11:40-12:05 侯春望 因子优化法在控制系统根轨迹绘制中的应用 11:40-12:05 王明生 Prime factorization of multivariate polynomial matrices 12:00-2:00 午餐 10月25日 2:00-3:40 分组报告： **会议室 **会议室 **会议室 分组4：微分代数 （主席：李志斌） 分组5：编码与密码 （主席：邢朝平） 分组6：应用与算法（主席：齐东旭） 2:00-2:25 朝鲁 Differential Characteristic Set Algorithm for the Complete Symmetry Classification of PDEs 2:00-2:25 林东岱, 邓炎炎 密码学理论中的挑战 2:00-2:25 黄雷, 李洪波 基于共形几何和复数法的几何计算新方法 2:25-2:50 刘姜, 李洪