国家重点基础研究发展计划973项目.docx

1、国家重点基础研究发展计划973项目 国家重点基础研究发展计划(973)项目“数学机械化方法及其在信息技术中的应用”学术交流与汇报会第二届全国计算机数学学术会议 (CM 2008)2008年10月24-27日青岛 973项目学术交流与汇报会日程 第二届全国计算机数学学术会议日程 报告摘要 会议须知第二届全国计算机数学学术会议组织主办：中国数学学会计算机数学专业委员会承办：中国石油大学 中国科学院系统科学研究所中国科学院数学机械化重点实验室会议主席：高小山程序委员会： 李洪波(主席)、曾振柄、陈永川、李子明、杨路、刘木兰、查红彬、陈发来、李华组织委员会：李树荣(主席)、周代珍 、黄雷国家重点基础研

2、究发展计划(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 基

3、于网络的数学机械化软件开发17:00 总结18:00- 晚餐第二届全国计算机数学大会日程(CSCM 2008)2008年10月25-27日青岛金港大酒店10月25日地点： *09:00-10:00 开幕式10:00-10:30 休息主会场1（主席：高小山）10:30-11:15 邀请报告: 徐宗本, 西安交通大学基于视觉认知的数据建模11:15-12:00 邀请报告: 齐东旭, 澳门科技大学关于非连续的正交函数12:00-2:00 午餐10月25日 2:00-4:05 分组报告*会议室*会议室*会议室分组1：微分代数（主席：李志斌）分组2：编码与密码（主席：邢朝平）分组3：代数方法（主席：齐东

4、旭）2:00-2:25李子明, 吴敏Computing dimension of solution spaces for linear functional systems2:00-2:25林东岱, 邓炎炎密码学理论中的挑战2:00-2:25李邦和酶动力学中的拟稳态假设2:25-2:50朝鲁Differential Char. Set Algorithm for the Complete Symmetry Classification of PDEs 2:25-2:50吴文玲Improved Impossible Differential Cryptanalysis of Reduced-Ro

5、und Camellia2:25-2:50黄雷, 李洪波基于共形几何和复数法的几何计算新方法2:50-3:15刘姜, 李洪波, 曹源昊涉及坐标变换的微分多项式在求和约定下的化简和标准型2:50-3:15刘峰, 武传坤, 林喜军Color Visual Cryptography Schemes2:50-3:15廖啟征四元数的复数形式及其在机构求解中的应用3:15-3:40李子明, Martin Ondera, 王怀富Simplifying skew fractions modulo differential and difference relations3:15-3:40邓映蒲攻破Cai-Cu

6、sick基于格的公钥密码系统3:15-3:40张树功多元有理插值的Groebner基方法Sums-Of-Squares with Floating Point Scalars3:40-4:05袁春明差分素理想的一个判定准则3:40-4:05王明生Prime factorization of multivariate polynomial matrices3:40-4:05Erich Kaltofen, 李斌, 杨争锋, 支丽红Exact Certification of Global Optimality of Approximate Factorizations Via Rationaliz

7、ing10月25日4:05-4:25 休息4:25-6:05 分组报告：*会议室*会议室*会议室分组4：组合与图论（主席：王明生）分组5：有限域（主席：刘卓军）分组6：计算机视觉与模式识别（主席：查红彬）4:25-4:50陈永川, 唐凌, 王星炜, 杨立波Schur positivity and q-log-convexity4:25-4:50高小山, 黄震宇有限域上求解多项式方程的特征列方法4:25-4:50阮秋琦基于偏微分方程的最具可分性人脸特征融合的预处理算法4:50-5:15Burcin Erocal, 侯庆虎,Peter PauleAn implement of MacMahons

8、partition analysis4:50-5:15赵尚威有限域上二次方程组求解的近似算法4:50-5:15罗定生汉语词汇的一体化联合分析方法研究5:15-5:40冯荣权Enumerating typical abelian prime-fold coverings of a circulant graph5:15-5:40孙瑶, 王定康有限域F2上Groebner基的计算5:15-5:40张超Multivariate Laplace Filter: a Heavy-Tailed Model for Target Tracking5:40-6:05谢应泰A polynomial time a

9、lgorithm for judging H-graph5:40-6:05张艳硕基于身份的短代理签名方案及其扩展5:40-6:05许超多媒体检索中的转移学习10月26日主会场2（主席：李洪波）08:30-09:15 邀请报告: 邢朝平, 南洋理工大学Space-time codes-introduction and constructions09:15-10:00 邀请报告: 张健, 中科院软件所有限模型和反例的搜索10:00-10:20 休息10月26日10:20-12:00 分组报告：*会议室*会议室*会议室分组7：实代数方法（主席：冯勇）分组8：计算机图形学与辅助设计（主席：陈发来）分组

10、9：优化算法（主席：支丽红）10:20-10:45张景中直观几何代数基础问题10:20-10:45陈冲, 徐国良几何设计中的水平集方法10:20-10:45黄文奇, 叶涛等圆Packing问题完全拟物算法的进一步研究10:45-11:10邵俊伟, 侯晓荣基于区间分析的不等式自动证明系统10:45-11:10汪国昭混合B样条的统一表示10:45-11:10谢福鼎时序波动周期关联规则挖掘的一个算法11:10-11:35曾振柄基于区域剖分的不等式证明11:10-11:35李华基于几何不变量的三维形状分析和检索11:10-11:35刘新平, 刘颖基于最大最小距离的改进遗传算法11:35-12:00张志

11、海, 马蕾, 夏壁灿判定一类线性程序终止性的加速算法11:35-12:00宋瑞霞数字图象自适应非均匀分割及其应用11:35-12:00郑大彬, 吴敏Testing algebraic dependence of hyperexponential elements12:00-2:00 午餐10月26日 2:00-4:05 分组报告：*会议室*会议室*会议室分组10：逻辑与网络（主席：张健）分组11：模式识别与优化（主席：李华）分组12：微分方程（主席：李子明）2:00-2:25吴尽昭基于代数符号计算的形式化验证方法及其若干关键问题研究2:00-2:25査红彬, 裴玉茹The Craniofaci

12、al Reconstruction from the Local Structural Diversity of Skulls2:00-2:25张鸿庆一类非线性偏微分方程组的解析解2:25-2:50Guang Zheng, 李廉,吴尽昭, Wenbo ChenWeaker bisimulation: how to make a+b and tau.a+b equivalent?2:25-2:50林通流形学习理论与应用2:25-2:50李志斌Darboux变换与多孤子解算法研究2:50-3:15杜玉越逻辑工作流网及其应用2:50-3:15邓九英, 王钦若,毛宗源, 杜启亮基于粗糙集的支持向量回归

13、机混合算法2:50-3:15陆征一Computer aided analysis for diff. polynomial systems3:15-3:40刘家保, 潘向峰Estrada Index of Hypercubes Networks3:15-3:40LEI YANG, 李树荣Optimization of injection strategies for polymer flooding based on a real-coded genetic algorithm3:15-3:40闫振亚The MKdV eqs with variable coefficients: Exact

14、uni/bi-variable traveling wave-like solutions3:40-4:05纪哲基于层次分析法的购房策略模型3:40-4:05侯春望因子优化法在控制系统根轨迹绘制中的应用3:40-4:05王怀富A criterion for the similarity of length-two elements in a PID10月26日4:05-4:25 休息4:25-6:05 分组报告：*会议室*会议室*会议室分组13：实代数方法（主席：曾振柄）分组14：计算机辅助设计与数控（主席：徐国良）分组15：控制方法（主席：李树荣）4:25-4:50符红光Dixon结式的三类多余因子4:25-4:50杨周旺点云曲线/曲面的微分信息计算4:25-4:50王峰, 杨永青多目标随机规划在区域水资源优化调度中的应用4:50-5:15冯勇, 张景中Obtaining Exact Inter- polation