国家重点基础研究发展计划973项目.docx
《国家重点基础研究发展计划973项目.docx》由会员分享，可在线阅读，更多相关《国家重点基础研究发展计划973项目.docx（33页珍藏版）》请在冰豆网上搜索。
国家重点基础研究发展计划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日
地点：
***
09:
00-10:
00开幕式
10:
00-10:
30休息
主会场1（主席：
高小山）
10:
30-11:
15邀请报告:
徐宗本,西安交通大学
基于视觉认知的数据建模
11:
15-12:
00邀请报告:
齐东旭,澳门科技大学
关于非连续的正交函数
12:
00-2:
00午餐
10月25日2:
00-4:
05分组报告
**会议室
**会议室
**会议室
分组1：
微分代数
（主席：
李志斌）
分组2：
编码与密码
（主席：
邢朝平）
分组3：
代数方法
（主席：
齐东旭）
2:
00-2:
25
李子明,吴敏
Computingdimensionofsolutionspacesforlinearfunctionalsystems
2:
00-2:
25
林东岱,邓炎炎
密码学理论中的挑战
2:
00-2:
25
李邦和
酶动力学中的拟稳态假设
2:
25-2:
50
朝鲁
DifferentialChar.SetAlgorithmfortheCompleteSymmetryClassificationofPDEs
2:
25-2:
50
吴文玲
ImprovedImpossibleDifferentialCryptanalysisofReduced-RoundCamellia
2:
25-2:
50
黄雷,李洪波
基于共形几何和复数法的几何计算新方法
2:
50-3:
15
刘姜,李洪波,曹源昊
涉及坐标变换的微分多项式在求和约定下的化简和标准型
2:
50-3:
15
刘峰,武传坤,林喜军
ColorVisualCryptographySchemes
2:
50-3:
15
廖啟征
四元数的复数形式及其在机构求解中的应用
3:
15-3:
40
李子明,MartinOndera,王怀富
Simplifyingskewfractionsmodulodifferentialanddifferencerelations
3:
15-3:
40
邓映蒲
攻破Cai-Cusick基于格的公钥密码系统
3:
15-3:
40
张树功
多元有理插值的Groebner基方法Sums-Of-SquareswithFloatingPointScalars
3:
40-4:
05
袁春明
差分素理想的一个判定准则
3:
40-4:
05
王明生
Primefactorizationofmultivariatepolynomialmatrices
3:
40-4:
05
ErichKaltofen,李斌,杨争锋,支丽红
ExactCertificationofGlobalOptimalityofApproximateFactorizationsViaRationalizing
10月25日
4:
05-4:
25休息
4:
25-6:
05分组报告：
**会议室
**会议室
**会议室
分组4：
组合与图论
（主席：
王明生）
分组5：
有限域
（主席：
刘卓军）
分组6：
计算机视觉与模式识别
（主席：
查红彬）
4:
25-4:
50
陈永川,唐凌,王星炜,杨立波
Schurpositivityandq-log-convexity
4:
25-4:
50
高小山,黄震宇
有限域上求解多项式方程的特征列方法
4:
25-4:
50
阮秋琦
基于偏微分方程的最具可分性人脸特征融合的预处理算法
4:
50-5:
15
BurcinErocal,侯庆虎,
PeterPaule
AnimplementofMacMahon'spartitionanalysis
4:
50-5:
15
赵尚威
有限域上二次方程组求解的近似算法
4:
50-5:
15
罗定生
汉语词汇的一体化联合分析方法研究
5:
15-5:
40
冯荣权
Enumeratingtypicalabelianprime-foldcoveringsofacirculantgraph
5:
15-5:
40
孙瑶,王定康
有限域F2上Groebner基的计算
5:
15-5:
40
张超
MultivariateLaplaceFilter:
aHeavy-TailedModelforTargetTracking
5:
40-6:
05
谢应泰
ApolynomialtimealgorithmforjudgingH-graph
5:
40-6:
05
张艳硕
基于身份的短代理签名方案及其扩展
5:
40-6:
05
许超
多媒体检索中的转移学习
10月26日
主会场2（主席：
李洪波）
08:
30-09:
15邀请报告:
邢朝平,南洋理工大学
Space-timecodes--introductionandconstructions
09:
15-10:
00邀请报告:
张健,中科院软件所
有限模型和反例的搜索
10:
00-10:
20休息
10月26日
10:
20-12:
00分组报告：
**会议室
**会议室
**会议室
分组7：
实代数方法（主席：
冯勇）
分组8：
计算机图形学与辅助设计
（主席：
陈发来）
分组9：
优化算法（主席：
支丽红）
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
郑大彬,吴敏
Testingalgebraicdependenceofhyperexponentialelements
12:
00-2:
00午餐
10月26日2:
00-4:
05分组报告：
**会议室
**会议室
**会议室
分组10：
逻辑与网络（主席：
张健）
分组11：
模式识别与优化（主席：
李华）
分组12：
微分方程（主席：
李子明）
2:
00-2:
25
吴尽昭
基于代数符号计算的形式化验证方法及其若干关键问题研究
2:
00-2:
25
査红彬,裴玉茹
TheCraniofacialReconstructionfromtheLocalStructuralDiversityofSkulls
2:
00-2:
25
张鸿庆
一类非线性偏微分方程组的解析解
2:
25-2:
50
GuangZheng,李廉,
吴尽昭,WenboChen
Weakerbisimulation:
howtomakea+bandtau.a+bequivalent?
2:
25-2:
50
林通
流形学习理论与应用
2:
25-2:
50
李志斌
Darboux变换与多孤子解算法研究
2:
50-3:
15
杜玉越
逻辑工作流网及其应用
2:
50-3:
15
邓九英,王钦若,
毛宗源,杜启亮
基于粗糙集的支持向量回归机混合算法
2:
50-3:
15
陆征一
Computeraidedanalysisfordiff.polynomialsystems
3:
15-3:
40
刘家保,潘向峰
EstradaIndexofHypercubesNetworks
3:
15-3:
40
LEIYANG,李树荣
Optimizationofinjectionstrategiesforpolymerfloodingbasedonareal-codedgeneticalgorithm
3:
15-3:
40
闫振亚
TheMKdVeqswithvariablecoefficients:
Exactuni/bi-variabletravelingwave-likesolutions
3:
40-4:
05
纪哲
基于层次分析法的购房策略模型
3:
40-4:
05
侯春望
因子优化法在控制系统根轨迹绘制中的应用
3:
40-4:
05
王怀富
Acriterionforthesimilarityoflength-twoelementsinaPID
10月26日
4:
05-4:
25休息
4:
25-6:
05分组报告：
**会议室
**会议室
**会议室
分组13：
实代数方法（主席：
曾振柄）
分组14：
计算机辅助设计与数控
（主席：
徐国良）
分组15：
控制方法（主席：
李树荣）
4:
25-4:
50
符红光
Dixon结式的三类多余因子
4:
25-4:
50
杨周旺
点云曲线/曲面的微分信息计算
4:
25-4:
50
王峰,杨永青
多目标随机规划在区域水资源优化调度中的应用
4:
50-5:
15
冯勇,张景中
ObtainingExactInter-polation
升级会员 