国家重点基础研究发展计划(973)项目“数学机械化方法及其在信息技术中的应用”学术交流与汇报会第二届全国计算机数学学术会议(CM2008)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-晚餐第二届全国计算机数学大会日程(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分组报告:**会议室**会议室**会议室分组1:微分代数(主席:张鸿庆)分组2:应用研究(主席:王定康)分组3:代数方法(主席:符红光)10:50-11:15李子明,吴敏Computingdimensionofsolutionspacesforlinearfunctionalsystems10:50-11:15李邦和酶动力学中的拟稳态假设10:50-11:15张树功多元有理插值的Groebner基方法11:15-11:40王怀富Acriterionforthesimilarityoflength-twoelementsinaPID11:15-11:40LEIYANG,李树荣Optimizationofinjectionstrategiesforpolymerfloodingbasedonareal-codedgeneticalgorithm11:15-11:40ErichKaltofen,李斌,杨争锋,支丽红ExactCertificationofGlobalOptimalityofApproximateFactorizationsViaRationalizingSums-Of-SquareswithFloatingPointScalars11:40-12:05郑大彬,吴敏Testingalgebraicdependenceofhyperexponentialelements11:40-12:05侯春望因子优化法在控制系统根轨迹绘制中的应用11:40-12:05王明生Primefactorizationofmultivariatepolynomialmatrices12:00-2:00午餐10月25日2:00-3:40分组报告:**会议室**会议室**会议室分组4:微分代数(主席:李志斌)分组5:编码与密码(主席:邢朝平)分组6:应用与算法(主席:齐东旭)2:00-2:25朝鲁DifferentialCharacteristicSetAlgorithmfortheCompleteSymmetryClassificationofPDEs2:00-2:25林东岱,邓炎炎密码学理论中的挑战2:00-2:25黄雷,李洪波基于共形几何和复数法的几何计算新方法2:25-2:50刘姜,李洪波,曹源昊涉及坐标变换的微分多项式在求和约定下的化简和标准型2:25-2:50吴文玲ImprovedImpossibleDifferentialCryptanalysisofReduced-RoundCamellia2:25-2:50廖啟征四元数的复数形式及其在机构求解中的应用2:50-3:15李子明,MartinOndera,王怀富Simplifyingskewfractionsmodulodifferentialanddifferencerelations2:50-3:15刘峰,武传坤,林喜军ColorVisualCryptographySchemes2:50-3:15李忠,王爱玲一种基于D-S证据推理的信息融合改进算法3:15-3:40袁春明差分素理想的一个判定准则3:15-3:40邓映蒲攻破Cai-Cusick基于格的公钥密码系统3:15-3:403:40-4:00休息10月25日4:00-5:40分组报告:**会议室**会议室**会议室分组7:组合与图论(主席:王明生)分组8:有限域(主席:刘卓军)分组9:计算机视觉与模式识别(主席:查红彬)4:00-4:25陈永川,唐凌,王星炜,杨立波Schurpositivityandq-log-convexity4:00-4:25高小山,黄震宇有限域上求解多项式方程的特征列方法4:00-4:25阮秋琦基于偏微分方程的最具可分性人脸特征融合的预处理算法4:25-4:50BurcinErocal,侯庆虎,PeterPauleAnimplementofMacMahon'spartitionanalysis4:25-4:50赵尚威有限域上二次方程组求解的近似算法4:25-4:50罗定生汉语词汇的一体化联合分析方法研究4:50-5:15冯荣权Enumeratingtypicalabelianprime-foldcoveringsofacirculantgraph4:50-5:15孙瑶,王定康有限域F2上Groebner基的计算4:50-5:15张超MultivariateLaplaceFilter:aHeavy-TailedModelforTargetTracking5:15-5:40谢应泰ApolynomialtimealgorithmforjudgingH-graph5:15-5:40张艳硕基于身份的短代理签名方案及其扩展5:15-5:40许超多媒体检索中的转移学习10月26日主会场2(主席:李洪波)08:30-09:15邀请报告:邢朝平,南洋理工大学Space-timecodes--introductionandconstructions09:15-10:00邀请报告:张健,中科院软件所有限模型和反例的搜索10:00-10:20休息10月26日10:20-12:00分组报告:**会议室**会议室**会议室分组10:实代数方法(主席:冯勇)分组11:计算机图形学与辅助设计(主席:陈发来)分组12:优化算法(主席:支丽红)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:35-12:00宋瑞霞数字图象自适应非均匀分割及其应用11:35-12:00刘新平,刘颖基于最大最小距离的改进遗传算法12:00-2:00午餐10月26日2:00-3:40分组报告:**会议室**会议室**会议室分组13:逻辑与网络(主席:张健)分组14:模式识别(主席:李华)分组15:微分方程(主席:李子明)2:00-2:25吴尽昭基于代数符号计算的形式化验证方法及其若干关键问题研究2:00-2:25杨国为,王守觉判定一点是否属于高维复杂形体的算法2:00-2:25张鸿庆一类非线性偏微分方程组的解析解2:25-2:50GuangZheng,李廉,吴尽昭,WenboChenWeakerbisimulation:howtomakea+bandtau.a+bequivalent?2:25-2:50査红彬,裴玉茹TheCraniofacialReconstructionfromtheLocalStructuralDiversityofSkulls2:25-2:50李志斌Darboux变换与多孤子解算法研究2:50-3:15杜玉越逻辑工作流网及其应用2:50-3:15林通流形学习理论与应用2:50-3:15陆征一Computeraidedanal-ysisfordifferentialpolynomialsystems3:15-3:40刘家保,潘向峰EstradaIndexofHypercubesNetworks3:15-3:40邓九英,王钦若,毛宗源,杜启亮基于粗糙集的支持向量回归机混合算法3:15-3:40闫振亚TheMKdVeqswithvariablecoefficients:Exactuni/bi-variabletravelingwave-likesolutions3:40-4:00休息10月26日4:00-5:40分组报告:**会议室**会议室**会议室分组16:实代数方法(主席:曾振柄)分组17:计算机辅助设计与数控(主席:徐国良)分组18:控制方法(主席:李树荣)4:00-4:25符红光Dixon结式的三类多余因子4:00-4:25杨周旺点云曲线/曲面的微分信息计算4:00-4:25王峰,杨永青多目标随机规划在区域水资源优化调度中的应用4:25-4:50冯勇,张景中ObtainingExactInter-polationMultivariatePolynomialbyApproximations4:25-4:50韩丽基于复杂截面点云的三角网格模型重建和特征检测方法研究4:25-4:50张玉斌基于MPI的迭代动态规划并行化4:50-5:15Zhen-YiJi,李永彬SomeImprovementsuponUnmixedDecompositionofAnAlgebraicVariety4:50-5:15张梅,曹源昊数控系统中的数据压缩4:50-5:15田华阁,车荣杰,王平,田学民基于FP-EFCM的聚丙烯熔融指数软测量5:15-5:40王云诚,方伟武,吴天骄ANewBisection-NewtonMethodforFindingRealRootsofUnivariatePolynomials5:15-5:40李家代数曲线与曲面拓扑的确定与逼近5:15-5:40张晓东聚合物驱最优控制问题的必要条件及数值求解第二届全国计算机数学大会报告摘要10月25日主会场1(主席:高小山)09:00-09:45邀请报告:徐宗本,西安交通大学题目:基于视觉认知的数据建模摘要:数据建模是信息技术的共有基础,是当今信息化社会数学应用的主要形式之一,其目的是揭示数据中所隐含的信息(结构、模式与规律等)。传统的数据建模方法(如统计学方法、人工智能方法)主要基于数据结构及产生数据的物理原理,我们提出基于人的认知进行数据建模的原理与方法。本报告聚焦于介绍作者在基于视感知原理进行数据建模方面所作的探索,主要包括:(1)基于视网膜多尺度空间表示的聚类、分类、回归与模型选择;(2)基于视皮层感受野机制的数据挖掘;(3)基于视觉系统神经元非线性编码机制的机器学习;(4)基于视觉感知的数