资源描述：
《国家重点基础研究发展计划973项目》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、国家重点基础研究发展计划(973)项目“数学机械化方法及其在信息技术中的应用”学术交流与汇报会第二届全国计算机数学学术会议(CM2008)2008年10月24-27日青岛目录l973项目学术交流与汇报会日程l第二届全国计算机数学学术会议日程l报告摘要l会议须知第二届全国计算机数学学术会议组织主办：中国数学学会计算机数学专业委员会承办：中国石油大学中国科学院系统科学研究所中国科学院数学机械化重点实验室会议主席：高小山程序委员会：李洪波(主席)、曾振柄、陈永川、李子明、杨路、刘木兰、查红彬、陈发来、李华组织委员会：李树荣
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
3、-15:40休息15:40-16:20数学机械化在几何建模中的应用16:20-17:00基于网络的数学机械化软件开发17:00总结18:00-晚餐第二届全国计算机数学大会日程(CSCM2008)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分组
4、报告：**会议室**会议室**会议室分组1：微分代数（主席：张鸿庆）分组2：应用研究（主席：王定康）分组3：代数方法（主席：符红光）10:50-11:15李子明,吴敏Computingdimensionofsolutionspacesforlinearfunctionalsystems10:50-11:15李邦和酶动力学中的拟稳态假设10:50-11:15张树功多元有理插值的Groebner基方法11:15-11:40王怀富Acriterionforthesimilarityoflength-twoelementsi
5、naPID11:15-11:40LEIYANG,李树荣Optimizationofinjectionstrategiesforpolymerfloodingbasedonareal-codedgeneticalgorithm11:15-11:40ErichKaltofen,李斌,杨争锋,支丽红ExactCertificationofGlobalOptimalityofApproximateFactorizationsViaRationalizingSums-Of-SquareswithFloatingPointSca
6、lars11:40-12:05郑大彬,吴敏Testingalgebraicdependenceofhyperexponentialelements11:40-12:05侯春望因子优化法在控制系统根轨迹绘制中的应用11:40-12:05王明生Primefactorizationofmultivariatepolynomialmatrices12:00-2:00午餐10月25日2:00-3:40分组报告：**会议室**会议室**会议室分组4：微分代数（主席：李志斌）分组5：编码与密码（主席：邢朝平）分组6：应用与算法（主
7、席：齐东旭）2:00-2:25朝鲁DifferentialCharacteristicSetAlgorithmfortheCompleteSymmetryClassificationofPDEs2:00-2:25林东岱,邓炎炎密码学理论中的挑战2:00-2:25黄雷,李洪波基于共形几何和复数法的几何计算新方法2:25-2:50刘姜,李洪波,曹源昊涉及坐标变换的微分多项式在求和约定下的化简和标准型2:25-2:50吴文玲ImprovedImpossibleDifferentialCryptanalysisofReduc
8、ed-RoundCamellia2:25-2:50廖啟征四元数的复数形式及其在机构求解中的应用2:50-3:15李子明,MartinOndera,王怀富Simplifyingskewfractionsmodulodifferentialanddifferencerelations2:50-3:15刘峰,武传坤,林喜军ColorVisualCry
