国家重点基础研究发展计划973项目Word格式.docx

国家重点基础研究发展计划973项目Word格式.docx

《国家重点基础研究发展计划973项目Word格式.docx》由会员分享，可在线阅读，更多相关《国家重点基础研究发展计划973项目Word格式.docx（33页珍藏版）》请在冰豆网上搜索。

地点：

青岛金港大酒店

时间：

2008年10月24日

09:

00-09:

30项目介绍、领导讲话

30-10:

10数学机械化理论与核心算法

10:

10-10:

30休息

30-11:

10差分与微分方程的机械化算法

11:

10-11:

50实几何与实代数的高效能算法

12:

00-14:

00午餐

14:

40数学机械化与信息安全和编码基础理论研究

40-15:

20数学机械化在生物特征识别中的应用

15:

20-15:

40休息

40-16:

20数学机械化在几何建模中的应用

16:

20-17:

00基于网络的数学机械化软件开发

17:

00总结

18:

00-晚餐

第二届全国计算机数学大会日程

（CSCM2008）

2008年10月25-27日

10月25日

***

00-10:

00开幕式

30休息

主会场1（主席：

高小山）

15邀请报告:

徐宗本,西安交通大学

基于视觉认知的数据建模

15-12:

00邀请报告:

齐东旭,澳门科技大学

关于非连续的正交函数

00-2:

00午餐

10月25日2:

00-4:

05分组报告

**会议室

分组1：

微分代数

（主席：

李志斌）

分组2：

编码与密码

邢朝平）

分组3：

代数方法

齐东旭）

2:

25

李子明,吴敏

Computingdimensionofsolutionspacesforlinearfunctionalsystems

林东岱,邓炎炎

密码学理论中的挑战

李邦和

酶动力学中的拟稳态假设

25-2:

50

朝鲁

DifferentialChar.SetAlgorithmfortheCompleteSymmetryClassificationofPDEs

吴文玲

ImprovedImpossibleDifferentialCryptanalysisofReduced-RoundCamellia

黄雷,李洪波

基于共形几何和复数法的几何计算新方法

50-3:

15

刘姜,李洪波,曹源昊

涉及坐标变换的微分多项式在求和约定下的化简和标准型

刘峰,武传坤,林喜军

ColorVisualCryptographySchemes

廖啟征

四元数的复数形式及其在机构求解中的应用

3:

15-3:

40

李子明,MartinOndera,王怀富

Simplifyingskewfractionsmodulodifferentialanddifferencerelations

邓映蒲

攻破Cai-Cusick基于格的公钥密码系统

张树功

多元有理插值的Groebner基方法Sums-Of-SquareswithFloatingPointScalars

40-4:

05

袁春明

差分素理想的一个判定准则

王明生

Primefactorizationofmultivariatepolynomialmatrices

ErichKaltofen,李斌,杨争锋,支丽红

ExactCertificationofGlobalOptimalityofApproximateFactorizationsViaRationalizing

4:

05-4:

25休息

25-6:

05分组报告：

分组4：

组合与图论

王明生）

分组5：

有限域

刘卓军）

分组6：

计算机视觉与模式识别

查红彬）

25-4:

陈永川,唐凌,王星炜,杨立波

Schurpositivityandq-log-convexity

高小山,黄震宇

有限域上求解多项式方程的特征列方法

阮秋琦

基于偏微分方程的最具可分性人脸特征融合的预处理算法

50-5:

BurcinErocal,侯庆虎,

PeterPaule

AnimplementofMacMahon'

spartitionanalysis

赵尚威

有限域上二次方程组求解的近似算法

罗定生

汉语词汇的一体化联合分析方法研究

5:

15-5:

冯荣权

Enumeratingtypicalabelianprime-foldcoveringsofacirculantgraph

孙瑶,王定康

有限域F2上Groebner基的计算

张超

MultivariateLaplaceFilter:

aHeavy-TailedModelforTargetTracking

40-6:

谢应泰

ApolynomialtimealgorithmforjudgingH-graph

张艳硕

基于身份的短代理签名方案及其扩展

许超

多媒体检索中的转移学习

10月26日

主会场2（主席：

李洪波）

08:

30-09:

邢朝平,南洋理工大学

Space-timecodes--introductionandconstructions

15-10:

张健,中科院软件所

有限模型和反例的搜索

20休息

20-12:

00分组报告：

分组7：

实代数方法（主席：

冯勇）

分组8：

计算机图形学与辅助设计

陈发来）

分组9：

优化算法（主席：

支丽红）

20-10:

45

张景中

直观几何代数基础问题

陈冲,徐国良

几何设计中的水平集方法

黄文奇,叶涛

等圆Packing问题完全拟物算法的进一步研究

45-11:

10

邵俊伟,侯晓荣

基于区间分析的不等式自动证明系统

汪国昭

混合B样条的统一表示

谢福鼎

时序波动周期关联规则挖掘的一个算法

35

曾振柄

基于区域剖分的不等式证明

李华

基于几何不变量的三维形状分析和检索

刘新平,刘颖

基于最大最小距离的改进遗传算法

35-12:

00

张志海,马蕾,夏壁灿

判定一类线性程序终止性的加速算法

宋瑞霞

数字图象自适应非均匀分割及其应用

郑大彬,吴敏

Testingalgebraicdependenceofhyperexponentialelements

10月26日2:

分组10：

逻辑与网络（主席：

张健）

分组11：

模式识别与优化（主席：

李华）

分组12：

微分方程（主席：

李子明）

吴尽昭

基于代数符号计算的形式化验证方法及其若干关键问题研究

査红彬,裴玉茹

TheCraniofacialReconstructionfromtheLocalStructuralDiversityofSkulls

张鸿庆

一类非线性偏微分方程组的解析解

GuangZheng,李廉,

吴尽昭,WenboChen

Weakerbisimulation:

howtomakea+bandtau.a+bequivalent?

林通

流形学习理论与应用

李志斌

Darboux变换与多孤子解算法研究

杜玉越

逻辑工作流网及其应用

邓九英,王钦若,

毛宗源,杜启亮

基于粗糙集的支持向量回归机混合算法

陆征一

Computeraidedanalysisfordiff.polynomialsystems

刘家保,潘向峰

EstradaIndexofHypercubesNetworks

LEIYANG,李树荣

Optimizationofinjectionstrategiesforpolymerfloodingbasedonareal-codedgeneticalgorithm

闫振亚

TheMKdVeqswithvariablecoefficients:

Exactuni/bi-variabletravelingwave-likesolutions

纪哲

基于层次分析法的购房策略模型

侯春望

因子优化法在控制系统根轨迹绘制中的应用

王怀富

Acriterionforthesimilarityoflength-twoelementsinaPID

25休息

分组13：

曾振柄）

分组14：

计算机辅助设计与数控

徐国良）

分组15：

控制方法（主席：

李树荣）

符红光

Dixon结式的三类多余因子

杨周旺

点云曲线/曲面的微分信息计算

王峰,杨永青

多目标随机规划在区域水资源优化调度中的应用

冯勇,张景中

ObtainingExactInter-polation