国家重点基础研究发展计划973项目数学机械化重点实验室系统.docx
《国家重点基础研究发展计划973项目数学机械化重点实验室系统.docx》由会员分享，可在线阅读，更多相关《国家重点基础研究发展计划973项目数学机械化重点实验室系统.docx（36页珍藏版）》请在冰豆网上搜索。
国家重点基础研究发展计划973项目数学机械化重点实验室系统
国家重点基础研究发展计划（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
李子明,吴敏
Computingdimensionofsolutionspacesforlinearfunctionalsystems
10:
50-11:
15
李邦和
酶动力学中的拟稳态假设
10:
50-11:
15
张树功
多元有理插值的Groebner基方法
11:
15-11:
40
王怀富
Acriterionforthesimilarityoflength-twoelementsinaPID
11:
15-11:
40
LEIYANG,李树荣
Optimizationofinjectionstrategiesforpolymerfloodingbasedonareal-codedgeneticalgorithm
11:
15-11:
40
ErichKaltofen,李斌,杨争锋,支丽红
ExactCertificationofGlobalOptimalityofApproximateFactorizationsViaRationalizingSums-Of-SquareswithFloatingPointScalars
11:
40-12:
05
郑大彬,吴敏
Testingalgebraicdependenceofhyperexponentialelements
11:
40-12:
05
侯春望
因子优化法在控制系统根轨迹绘制中的应用
11:
40-12:
05
王明生
Primefactorizationofmultivariatepolynomialmatrices
12:
00-2:
00午餐
10月25日
2:
00-3:
40分组报告：
**会议室
**会议室
**会议室
分组4：
微分代数
（主席：
李志斌）
分组5：
编码与密码
（主席：
邢朝平）
分组6：
应用与算法（主席：
齐东旭）
2:
00-2:
25
朝鲁
DifferentialCharacteristicSetAlgorithmfortheCompleteSymmetryClassificationofPDEs
2:
00-2:
25
林东岱,邓炎炎
密码学理论中的挑战
2:
00-2:
25
黄雷,李洪波
基于共形几何和复数法的几何计算新方法
2:
25-2:
50
刘姜,李洪波,曹源昊
涉及坐标变换的微分多项式在求和约定下的化简和标准型
2:
25-2:
50
吴文玲
ImprovedImpossibleDifferentialCryptanalysisofReduced-RoundCamellia
2:
25-2:
50
廖啟征
四元数的复数形式及其在机构求解中的应用
2:
50-3:
15
李子明,MartinOndera,王怀富
Simplifyingskewfractionsmodulodifferentialanddifferencerelations
2:
50-3:
15
刘峰,武传坤,林喜军
ColorVisualCryptographySchemes
2:
50-3:
15
李忠,王爱玲
一种基于D-S证据推理的信息融合改进算法
3:
15-3:
40
袁春明
差分素理想的一个判定准则
3:
15-3:
40
邓映蒲
攻破Cai-Cusick基于格的公钥密码系统
3:
15-3:
40
3:
40-4:
00休息
10月25日
4:
00-5:
40分组报告：
**会议室
**会议室
**会议室
分组7：
组合与图论
（主席：
王明生）
分组8：
有限域
（主席：
刘卓军）
分组9：
计算机视觉与模式识别
（主席：
查红彬）
4:
00-4:
25
陈永川,唐凌,王星炜,杨立波
Schurpositivityandq-log-convexity
4:
00-4:
25
高小山,黄震宇
有限域上求解多项式方程的特征列方法
4:
00-4:
25
阮秋琦
基于偏微分方程的最具可分性人脸特征融合的预处理算法
4:
25-4:
50
BurcinErocal,侯庆虎,
PeterPaule
AnimplementofMacMahon'spartitionanalysis
4:
25-4:
50
赵尚威
有限域上二次方程组求解的近似算法
4:
25-4:
50
罗定生
汉语词汇的一体化联合分析方法研究
4:
50-5:
15
冯荣权
Enumeratingtypicalabelianprime-foldcoveringsofacirculantgraph
4:
50-5:
15
孙瑶,王定康
有限域F2上Groebner基的计算
4:
50-5:
15
张超
MultivariateLaplaceFilter:
aHeavy-TailedModelforTargetTracking
5:
15-5:
40
谢应泰
ApolynomialtimealgorithmforjudgingH-graph
5:
15-5:
40
张艳硕
基于身份的短代理签名方案及其扩展
5:
15-5:
40
许超
多媒体检索中的转移学习
10月26日
主会场2（主席：
李洪波）
08:
30-09:
15邀请报告:
邢朝平,南洋理工大学
Space-timecodes--introductionandconstructions
09:
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:
50
GuangZheng,李廉,
吴尽昭,WenboChen
Weakerbisimulation:
howtomakea+bandtau.a+bequivalent?
2:
25-2:
50
査红彬,裴玉茹
TheCraniofacialReconstructionfromtheLocalStructuralDiversityofSkulls
2:
25-2:
50
李志斌
Darboux变换与多孤子解算法研究
2:
50-3:
15
杜玉越
逻辑工作流网及其应用
2:
50-3:
15
林通
流形学习理论与应用
2:
50-3:
15
陆征一
Computeraidedanal-ysisfordifferentialpolynomialsystems
3:
15-3:
40
刘家保,潘向峰
EstradaIndexofHypercubesNetworks
3:
15-3:
40
邓九英,王钦若,
毛宗源,杜启亮
基于粗糙集的支持向量回归机混合算法
3:
15-3:
40
闫振亚
TheMKdVeqswithvariablecoefficients:
Exactuni/bi-variabletravelingwave-likesolutions
3:
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-polationMultivariatePolynomialbyApproximations
4:
25-4:
50
韩丽
基于复杂截面点云的三角网格模型重建和特征检测方法研究
4:
25-4:
50
张玉斌
基于MPI的迭代动态规划并行化
4:
50-5:
15
Zhen-YiJi,李永彬
SomeImprovementsuponUnmixedDecompositionofAnAlgebraicVariety
4:
50-5:
15
张梅,曹源昊
数控系统中的数据压缩
4:
50-5:
15
田华阁,车荣杰,王平,田学民
基于FP-EFCM的聚丙烯熔融指数软测量
5:
15-5:
40
王云诚,方伟武,
吴天骄
ANewBisection-NewtonMethodforFindingRealRootsofUnivariatePolynomials
5:
15-5:
40
李家
代数曲线与曲面拓扑的确定与逼近
5:
15-5:
40
张晓东
聚合物驱最优控制问题的必要条件及数值求解
第二届全国计算机数学大会报告摘要
10月25日
主会场1（主席：
高小山）
09:
00-09:
45邀请报告:
徐宗本,西安交通大学
题目：
基于视觉认知的数据建模
摘要：
数据建模是信息技术的共有基础,是当今信息化社会数学应用的主要形式之一,其目的是揭示数据中所隐含的信息（结构、模式与规律等）。
传统的数据建模方法（如统计学方法、人工智能方法）主要基于数据结构及产生数据的物理原理,我们提出基于人的认知进行数据建模的原理与方法。
本报告聚焦于介绍作者在基于视感知原理进行数据建模方面所作的探索,主要包括:
（1）基于视网膜多尺度空间表示的聚类、分类、回归与模型选择;
（2）基于视皮层感受野机制的数据挖掘;（3）基于视觉系统神经元非线性编码机制的机器学习;（4）基于视觉感知的数据可视化等。
对每一主题,我们介绍所取得的代表性成果、科学意义及其应用效果,特别地,我们展示:
在每一情况下,基于视感知的数据建模常产生解决同类问题的最好算法（或最好算法之一）。
所获得的结果对于推动统计学、认知科学（特别是神经科学与心理学）与信息科学的交叉有重要意义,对于解决数据挖掘、图像处理等信息技术关键问题有重要价值。
09:
45-10:
30邀请报告:
齐东旭,澳门科技大学
题目：
关于非连续的正交函数
摘要：
上非连续的完备正交函数系，以Haar函数、Walsh函数为代表，出现在上世纪二十年代。
几十年后，前者成为小波的典型事例；后者在大规模集成电路的技术背景下曾狂热一时，而后变得冷清。
人们更关注并热爱诸如Fourier、连续小波等正交函数，这是有道理的，因为它们在宽广的应用领域，表现出了强大的威力。
但感情上淡薄非连续的函数系似乎不够公平。
本发言将针对非连续的函数系的特异功能交流几点认识：
1:
从Gibbs现象谈起；
2:
几何造型呼唤非连续的正交函数；
3:
关于细化、复制，及自相似结构；
4:
非连续正交函数的构造（V-系统）；
5:
非连续正交函数系在数字图像处理中的应用；
6．非连续正交函数系在3D几何模型检索中的应用。
分组1：
微分代数（主席：
张鸿庆）
10:
50-11:
15
Title:
Computingdimensionofsolutionspacesforlinearfunctionalsystems
李子明（中科院数学院）,吴敏（华东师范大学）
Abstract:
Alinear（partial）functionalsystemisamathematicalabstractionofcommonpropertiesoflinearpartialdifferential,differenceoperatorsoranymixturethereof.Inthistalk,wepresentanapproachtodeterminingdimensionofsolutionspacesoflinearfunctionalsystems.Weintroducethenotionofreflexivemodules,whicharenaturallyassociatedwithreflexivesystemsthathavethesamesolutionsastheoriginalsystem.WeshowthatlineardimensionofalinearfunctionalsystemcanbedeterminedbyGroebnerbasiscomputationofreflexivemodulesoverOrealgebras.
11:
15-11:
40
Title:
Acriterionforthesimilarityoflength-twoelementsinaPID
王怀富,中科院数学院
Abstract:
Inthispaper,wepresentacriterionforthesimilarityoflength-twoelementsinanoncommutativeprincipalidealdomain.Givenfourfirst-orderdifferential（difference）operatorsA1，A2，B1，B2overafieldk,thecriterionenablesustodeterminewhetherB1A1andB2A2aresimilarbycomputingin-fieldsolutionsofthreefirst-orderlineardifferential（difference）equations,oneofwhichisaparametricdifferential（difference）Risch’sequationink.
11:
40-12:
05
Title:
Testingalgebraicdependenceofhyperexponentialelements
郑大彬（湖北大学）,吴敏（华东师范大学）
Abstract:
Wepresentalgorithmstotestwhetherseveralexponentialfunctionsorhypergeometrictermsarealgebraicallydependentoverthegroundfiled.Furthermore,thealgorithmisgeneralizedforseveralpartialdifferentialhyperexponentialfunctions.
分组2：
应用研究（主席：
王定康）
10:
50-11:
15
题目：
酶动力学中的拟稳态假设
李邦和,中科院数学院
11:
15-11:
40
Title:
Optimizationofinjectionstrategiesforpolymerfloodingbasedonareal-codedgeneticalgorithm
LEIYANG,李树荣,中国石油大学
Abstract:
Themainobjectiveofthisstudyistooptimizetheinjectionstrategiesforpolymerflooding.Themethodbasedonreal-codedgeneticalgorithmhastheadvantagestooptimizethepolymerconcentrationandswitchingtime.Thefinite-differencemethodisusedtosolvethestateequationsoftheoptimalcontrolproblem.Finally,theordinaryinjectionstrategyandtheoptimuminjectionstrategyarecompared.
11:
40-12:
05
题目：
因子优化法在控制系统根轨迹绘制中的应用
侯春望,中国石油大学
摘要：
本文提出了一种应用因子优化法绘制控制系统根轨迹的数值算法。
先用因子优化法求出控制系统的开环零极点，从开环极点出发，沿根轨迹增益正向增大的方向搜索每一根轨迹分支上的近似解。
求解过程中，利用复数的三角形式将控制系统的闭环特征方程转化为一个二元方程组并用数值迭代算法进行求解。
计算实例表明，本文提出的算法能够准确、快速的实现控制系统根轨迹的绘制。
分组3：
代数方法（主席：
符红光）
10:
50-11:
15
题目：
多元有理插值的Groebner基方法
张树功,吉林大学
摘要：
本文旨在求Hermite型插值问题的有理插值函数
的参数化表示，使得max{deg（a（x,y）），deg（b（x,y））+r}尽可能小，通常r的取值为0或-1。
记
，
表示
点处微商条件
，
，
，…，
，…,
，…，
所对应的消逝理想，
表示
点处所有微商条件所对应的消逝理想。
令
如果（a,b）
=F[x,y]×F[x,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:
40
Title:
ExactCertificationofGlobalOptimalityofApproximateFactorizationsViaRationalizingSums-Of-SquareswithFloatingPointScalars
ErichKaltofen（北卡州立大学）,李斌（中科院数学院）,
杨争锋（华东师范大学）,支丽红（中科院数学院）
Abstract
升级会员 