国家重点基础研究发展计划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日地点： *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李子明

4、, 吴敏Computing dimension of solution spaces for linear functional systems10:50-11:15李邦和酶动力学中的拟稳态假设10:50-11:15张树功多元有理插值的Groebner基方法11:15-11:40王怀富A criterion for the similarity of length-two elements in a PID11:15-11:40LEI YANG, 李树荣Optimization of injection strategies for polymer flooding based on a re

5、al-coded genetic algorithm11:15-11:40Erich Kaltofen, 李斌, 杨争锋, 支丽红Exact Certification of Global Optimality of Approximate Factorizations Via Rationalizing Sums-Of-Squares with Floating Point Scalars11:40-12:05郑大彬, 吴敏Testing algebraic dependence of hyperexponential elements11:40-12:05侯春望因子优化法在控制系统根轨迹绘

6、制中的应用11:40-12:05王明生Prime factorization of multivariate polynomial matrices12: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 PDEs2:00-2:25林东岱, 邓炎炎密码学理论中的挑战2:0

7、0-2:25黄雷, 李洪波基于共形几何和复数法的几何计算新方法2:25-2:50刘姜, 李洪波, 曹源昊涉及坐标变换的微分多项式在求和约定下的化简和标准型2:25-2:50吴文玲Improved Impossible Differential Cryptanalysis of Reduced-Round Camellia2:25-2:50廖啟征四元数的复数形式及其在机构求解中的应用2:50-3:15李子明, Martin Ondera, 王怀富Simplifying skew fractions modulo differential and difference relations2:50-

8、3:15刘峰, 武传坤, 林喜军Color Visual Cryptography Schemes2: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陈永川, 唐凌, 王星炜, 杨立波Schur positivity and q-

9、log-convexity4:00-4:25高小山, 黄震宇有限域上求解多项式方程的特征列方法4:00-4:25阮秋琦基于偏微分方程的最具可分性人脸特征融合的预处理算法4:25-4:50Burcin Erocal, 侯庆虎,Peter PauleAn implement of MacMahons partition analysis4:25-4:50赵尚威有限域上二次方程组求解的近似算法4:25-4:50罗定生汉语词汇的一体化联合分析方法研究4:50-5:15冯荣权Enumerating typical abelian prime-fold coverings of a circulant g

10、raph4:50-5:15孙瑶, 王定康有限域F2上Groebner基的计算4:50-5:15张超Multivariate Laplace Filter: a Heavy-Tailed Model for Target Tracking5:15-5:40谢应泰A polynomial time algorithm for judging H-graph5:15-5:40张艳硕基于身份的短代理签名方案及其扩展5:15-5:40许超多媒体检索中的转移学习10月26日主会场2（主席：李洪波）08:30-09:15 邀请报告: 邢朝平, 南洋理工大学Space-time codes-introduct

11、ion and constructions09: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

12、-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：逻辑与网络（主席：张健）分组

13、14：模式识别（主席：李华）分组15：微分方程（主席：李子明）2:00-2:25吴尽昭基于代数符号计算的形式化验证方法及其若干关键问题研究2:00-2:25杨国为, 王守觉判定一点是否属于高维复杂形体的算法2: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査红彬, 裴玉茹The Craniofacial Reconstruction from the Local Struct

14、ural Diversity of Skulls2:25-2:50李志斌Darboux变换与多孤子解算法研究2:50-3:15杜玉越逻辑工作流网及其应用2:50-3:15林通流形学习理论与应用2:50-3:15陆征一Computer aided anal- ysis for differential polynomial systems3:15-3:40刘家保, 潘向峰Estrada Index of Hypercubes Networks3:15-3:40邓九英, 王钦若,毛宗源, 杜启亮基于粗糙集的支持向量回归机混合算法3:15-3:40闫振亚The MKdV eqs with varia

15、ble coefficients: Exact uni/bi-variable traveling wave-like solutions3: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冯勇, 张景中Obtaining Exact Inter-

16、polation Multivariate Polynomial by Approximations4:25-4:50韩丽基于复杂截面点云的三角网格模型重建和特征检测方法研究4:25-4:50张玉斌基于MPI的迭代动态规划并行化4:50-5:15Zhen-Yi Ji, 李永彬Some Improvements upon Unmixed Decomposition of An Algebraic Variety4:50-5:15张梅, 曹源昊数控系统中的数据压缩4:50-5:15田华阁, 车荣杰, 王平, 田学民基于FP-EFCM的聚丙烯熔融指数软测量5:15-5:40王云诚, 方伟武,吴天骄A

17、 New Bisection-Newton Method for Finding Real Roots of Univariate Polynomials5:15-5:40李家代数曲线与曲面拓扑的确定与逼近5:15-5:40张晓东聚合物驱最优控制问题的必要条件及数值求解第二届全国计算机数学大会报告摘要10月25日主会场1（主席：高小山）09:00-09:45 邀请报告: 徐宗本, 西安交通大学题目：基于视觉认知的数据建模摘要：数据建模是信息技术的共有基础,是当今信息化社会数学应用的主要形式之一,其目的是揭示数据中所隐含的信息(结构、模式与规律等)。传统的数据建模方法(如统计学方法、人工智能方法

18、)主要基于数据结构及产生数据的物理原理,我们提出基于人的认知进行数据建模的原理与方法。本报告聚焦于介绍作者在基于视感知原理进行数据建模方面所作的探索,主要包括:(1)基于视网膜多尺度空间表示的聚类、分类、回归与模型选择;(2)基于视皮层感受野机制的数据挖掘;(3)基于视觉系统神经元非线性编码机制的机器学习;(4)基于视觉感知的数据可视化等。对每一主题,我们介绍所取得的代表性成果、科学意义及其应用效果,特别地,我们展示:在每一情况下,基于视感知的数据建模常产生解决同类问题的最好算法(或最好算法之一)。所获得的结果对于推动统计学、认知科学(特别是神经科学与心理学)与信息科学的交叉有重要意义,对于解

19、决数据挖掘、图像处理等信息技术关键问题有重要价值。09:45-10:30 邀请报告: 齐东旭, 澳门科技大学题目：关于非连续的正交函数摘要：上非连续的完备正交函数系，以Haar函数、Walsh函数为代表，出现在上世纪二十年代。几十年后，前者成为小波的典型事例；后者在大规模集成电路的技术背景下曾狂热一时，而后变得冷清。人们更关注并热爱诸如Fourier、连续小波等正交函数，这是有道理的，因为它们在宽广的应用领域，表现出了强大的威力。但感情上淡薄非连续的函数系似乎不够公平。本发言将针对非连续的函数系的特异功能交流几点认识：1:从Gibbs现象谈起；2:几何造型呼唤非连续的正交函数；3:关于细化、复

20、制，及自相似结构；4: 非连续正交函数的构造（V-系统）；5: 非连续正交函数系在数字图像处理中的应用；6非连续正交函数系在3D几何模型检索中的应用。分组1：微分代数（主席：张鸿庆）10:50-11:15Title: Computing dimension of solution spaces for linear functional systems李子明(中科院数学院), 吴敏(华东师范大学)Abstract:A linear (partial) functional system is a mathematical abstraction of common properties of

21、linear partial differential, difference operators or any mixture thereof. In this talk, we present an approach to determining dimension of solution spaces of linear functional systems. We introduce the notion of reflexive modules, which are naturally associated with reflexive systems that have the s

22、ame solutions as the original system. We show that linear dimension of a linear functional system can be determined by Groebner basis computation of reflexive modules over Ore algebras.11:15-11:40Title: A criterion for the similarity of length-two elements in a PID王怀富, 中科院数学院Abstract:In this paper,

23、we present a criterion for the similarity of length-two elements in a noncommutative principal ideal domain. Given four first-order differential (difference) operators A1，A2，B1，B2 over a field k, the criterion enables us to determine whether B1A1 and B2A2 are similar by computing in-field solutions

24、of three first-order linear differential (difference) equations, one of which is a parametric differential (difference) Rischs equation in k.11:40-12:05Title: Testing algebraic dependence of hyperexponential elements郑大彬(湖北大学), 吴敏(华东师范大学)Abstract:We present algorithms to test whether several exponent

25、ial functions or hypergeometric terms are algebraically dependent over the ground filed. Furthermore, the algorithm is generalized for several partial differential hyperexponential functions.分组2：应用研究（主席：王定康）10:50-11:15题目：酶动力学中的拟稳态假设李邦和, 中科院数学院11:15-11:40Title: Optimization of injection strategies fo

26、r polymer flooding based on a real-coded genetic algorithmLEI YANG, 李树荣, 中国石油大学Abstract:The main objective of this study is to optimize the injection strategies for polymer flooding. The method based on real-coded genetic algorithm has the advantages to optimize the polymer concentration and switchi

27、ng time. The finite-difference method is used to solve the state equations of the optimal control problem. Finally, the ordinary injection strategy and the optimum injection strategy are compared.11:40-12:05题目：因子优化法在控制系统根轨迹绘制中的应用侯春望, 中国石油大学摘 要：本文提出了一种应用因子优化法绘制控制系统根轨迹的数值算法。先用因子优化法求出控制系统的开环零极点，从开环极点出发

28、，沿根轨迹增益正向增大的方向搜索每一根轨迹分支上的近似解。求解过程中，利用复数的三角形式将控制系统的闭环特征方程转化为一个二元方程组并用数值迭代算法进行求解。计算实例表明，本文提出的算法能够准确、快速的实现控制系统根轨迹的绘制。分组3：代数方法（主席：符红光）10:50-11:15题目：多元有理插值的Groebner基方法张树功, 吉林大学摘要：本文旨在求Hermite型插值问题的有理插值函数的参数化表示，使得maxdeg(a(x, y)，deg(b(x, y)+r尽可能小，通常r的取值为0或-1。记，表示点处微商条件，,，所对应的消逝理想，表示点处所有微商条件所对应的消逝理想。令如果(a,b

29、)=Fx,yFx,y，且对任意满足mod ，则(a,b)为满足插值条件的弱插值。记M为由所有同余方程mod 的解所构成的模，显然M，所以只要求出M在某种序下的Groebner基，就可以得到满足插值条件有理函数的参数化表示。M的Groebner基可以用逐步递推的方法求得，首先对同余方程mod 按照某种方式进行排序，要求当,或=且时，排在前。记=，前k个同余方程的解所构成的模为，从而有。由的Groebner基为(1,0),(0,1)，可以构造出的基，进而得到的约化Groebner基，再由的Groebner基得到的基，进而得到的约化Groebner基。如此继续下去，可以求得M的约化Groebner基，从而得到有理插值函数的参数化表示。11:15-11:40Title: Exact Certification of Global Optimality of Approximate Factorizations Via Rationalizing Sums-Of-Squares with Floating Point ScalarsErich Kaltofen(北卡州立大学), 李斌(中科院数学院), 杨争锋(华东师范大学), 支丽红(中科院数学院)Abstract:We generali