资源描述:
《国家重点基础研究发展计划(973)项目》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、国家重点基础研究发展计划(973)项目“数学机械化方法及其在信息技术中的应用”学术交流与汇报会第二届全国计算机数学学术会议(CM2008)2008年10月24-27日青岛5.1-9,,services,andmakethecitymoreattractive,strengtheningpublictransportinvestment,establishedasthebackboneoftheurbanrailtransitmulti-level,multi-functionalpublictransportsystem
2、,thusprotectingtheregionalpositionandachieve目录l973项目学术交流与汇报会日程l第二届全国计算机数学学术会议日程l报告摘要l会议须知第二届全国计算机数学学术会议组织主办:中国数学学会计算机数学专业委员会承办:中国石油大学中国科学院系统科学研究所中国科学院数学机械化重点实验室会议主席:高小山程序委员会:李洪波(主席)、曾振柄、陈永川、李子明、杨路、刘木兰、查红彬、陈发来、李华组织委员会:李树荣(主席)、周代珍、黄雷5.1-9,,services,andmakethecitymo
3、reattractive,strengtheningpublictransportinvestment,establishedasthebackboneoftheurbanrailtransitmulti-level,multi-functionalpublictransportsystem,thusprotectingtheregionalpositionandachieve国家重点基础研究发展计划(973)项目“数学机械化方法及其在信息技术中的应用”学术交流与汇报会地点:青岛金港大酒店时间:2008年10月24日09
4、: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-晚餐5.1-9,,servic
5、es,andmakethecitymoreattractive,strengtheningpublictransportinvestment,establishedasthebackboneoftheurbanrailtransitmulti-level,multi-functionalpublictransportsystem,thusprotectingtheregionalpositionandachieve第二届全国计算机数学大会日程(CSCM2008)2008年10月25-27日青岛金港大酒店10月25日地点:
6、***08:30-09:00开幕式主会场1(主席:高小山)09:00-09:45邀请报告:徐宗本,西安交通大学基于视觉认知的数据建模09:45-10:30邀请报告:齐东旭,澳门科技大学关于非连续的正交函数10:30-10:50休息5.1-9,,services,andmakethecitymoreattractive,strengtheningpublictransportinvestment,establishedasthebackboneoftheurbanrailtransitmulti-level,multi-f
7、unctionalpublictransportsystem,thusprotectingtheregionalpositionandachieve10月25日10:50-12:05分组报告:**会议室**会议室**会议室分组1:微分代数(主席:张鸿庆)分组2:应用研究(主席:王定康)分组3:代数方法(主席:符红光)10:50-11:15李子明,吴敏Computingdimensionofsolutionspacesforlinearfunctionalsystems10:50-11:15李邦和酶动力学中的拟稳态假设10
8、:50-11:15张树功多元有理插值的Groebner基方法11:15-11:40王怀富Acriterionforthesimilarityoflength-twoelementsinaPID11:15-11:40LEIYANG,李树荣Optimizationofinjectionstrategiesforpolym