国家重点基础研究发展计划973项目.docx
- 文档编号:16004432
- 上传时间:2023-07-09
- 格式:DOCX
- 页数:43
- 大小:110.17KB
国家重点基础研究发展计划973项目.docx
《国家重点基础研究发展计划973项目.docx》由会员分享,可在线阅读,更多相关《国家重点基础研究发展计划973项目.docx(43页珍藏版)》请在冰点文库上搜索。
国家重点基础研究发展计划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-polationMultivariatePolynomialbyApproximations
4:
50-5:
15
韩丽
基于复杂截面点云的三角网格模型重建和特征检测方法研究
4:
50-5:
15
张玉斌
基于MPI的迭代动态规划并行化
5:
15-5:
40
Zhen-YiJi,李永彬
SomeImprovementsuponUnmixedDecompositionofAnAlgebraicVariety
5:
15-5:
40
张梅,曹源昊
数控系统中的数据压缩
5:
15-5:
40
田华阁,车荣杰,王平,田学民
基于FP-EFCM的聚丙烯熔融指数软测量
5:
40-6:
05
王云诚,方伟武,
吴天骄
ANewBisection-NewtonMethodforFindingRealRootsofUnivariatePolynomials
5:
40-6:
05
李家
代数曲线与曲面拓扑的确定与逼近
5:
40-6:
05
张晓东
聚合物驱最优控制问题的必要条件及数值求解
第二届全国计算机数学大会报告摘要
10月25日
主会场1(主席:
高小山)
10:
30-11:
15邀请报告:
徐宗本,西安交通大学
题目:
基于视觉认知的数据建模
摘要:
数据建模是信息技术的共有基础,是当今信息化社会数学应用的主要形式之一,其目的是揭示数据中所隐含的信息(结构、模式与规律等)。
传统的数据建模方法(如统计学方法、人工智能方法)主要基于数据结构及产生数据的物理原理,我们提出基于人的认知进行数据建模的原理与方法。
本报告聚焦于介绍作者在基于视感知原理进行数据建模方面所作的探索,主要包括:
(1)基于视网膜多尺度空间表示的聚类、分类、回归与模型选择;
(2)基于视皮层感受野机制的数据挖掘;(3)基于视觉系统神经元非线性编码机制的机器学习;(4)基于视觉感知的数据可视化等。
对每一主题,我们介绍所取得的代表性成果、科学意义及其应用效果,特别地,我们展示:
在每一情况下,基于视感知的数据建模常产生解决同类问题的最好算法(或最好算法之一)。
所获得的结果对于推动统计学、认知科学(特别是神经科学与心理学)与信息科学的交叉有重要意义,对于解决数据挖掘、图像处理等信息技术关键问题有重要价值。
11:
15-12:
00邀请报告:
齐东旭,澳门科技大学
题目:
关于非连续的正交函数
摘要:
上非连续的完备正交函数系,以Haar函数、Walsh函数为代表,出现在上世纪二十年代。
几十年后,前者成为小波的典型事例;后者在大规模集成电路的技术背景下曾狂热一时,而后变得冷清。
人们更关注并热爱诸如Fourier、连续小波等正交函数,这是有道理的,因为它们在宽广的应用领域,表现出了强大的威力。
但感情上淡薄非连续的函数系似乎不够公平。
本发言将针对非连续的函数系的特异功能交流几点认识:
1:
从Gibbs现象谈起;
2:
几何造型呼唤非连续的正交函数;
3:
关于细化、复制,及自相似结构;
4:
非连续正交函数的构造(V-系统);
5:
非连续正交函数系在数字图像处理中的应用;
6.非连续正交函数系在3D几何模型检索中的应用。
分组1:
微分代数(主席:
李志斌)
2:
00-2:
25
Title:
Computingdimensionofsolutionspacesforlinearfunctionalsystems
李子明(中科院数学院),吴敏(华东师范大学)
Abstract:
Alinear(partial)functionalsystemisamathematicalabstractionofcommonpropertiesoflinearpartialdifferential,differenceoperatorsoranymixturethereof.Inthistalk,wepresentanapproachtodeterminingdimensionofsolutionspacesoflinearfunctionalsystems.Weintroducethenotionofreflexivemodules,whicharenaturallyassociatedwithreflexivesystemsthathavethesamesolutionsastheoriginalsystem.WeshowthatlineardimensionofalinearfunctionalsystemcanbedeterminedbyGroebnerbasiscomputationofreflexivemodulesoverOrealgebras.
2:
25-2:
50
Title:
DifferentialCharacteristicSetAlgorithmfortheCompleteSymmetryClassificationof(Partial)Differentialequations
朝鲁,上海海洋大学
Abstract:
Inthistalk,adifferentialpolynomialcharacteristicsetalgorithmforthecompletesymmetryclassificationof(partial)differentialequationswithsomeparametersisgiven,whichmakesthesolutionofthecompletesymmetryclassificationproblemfor(partial)differentialequationsbecomedirectandsystematic.Asanillustrativeexample,thecompleteclassicalandpotentialsymmetryclassificationsofthewaveequationwithanarbitraryfunctionparameterarepresented.Thisisanewapplicationofthedifferentialformcharacteristicsetalgorithm(differentialformWu’smethod)indifferentialfields.
2:
50-3:
15
题目:
涉及坐标变换的微分多项式在求和约定下的化简和标准型
刘姜,李洪波,曹源昊,中科院数学院
摘要:
在n维微分几何中,基本的几何结构和性质常常用爱因斯坦求和约定的带指标函数局部刻画。
这种函数的符号计算虽然是计算机代数里最古老的研究课题之一,直到现在也没有一个完全的算法来判定涉及不同坐标系的两个指标多项式是否相等。
这是计算机代数里的一个挑战性问题。
在本文中,我们针对一种典型的框架:
当涉及的坐标变换矩阵的偏导不超过二次时(例如普通的曲率和挠率的局部计算),提出了一个能消去指标多项式中所有冗余指标的消元算法,以及一个将指标多项式化为标准型,从而能完全判定两个指标多项式是否相等的算法。
我们在Maple10中实现了以上算法,并用于研究微分几何中的张量判定等坐标变换下的规律问题。
3:
15-3:
40
Title:
Simplifyingskewfractionsmodulodifferentialanddifferencerelations
李子明,MartinOndera,王怀富
Abstract:
Thistalkdescribesapurelydifference-algebraicsettingforcomputingtransferfunctionsinnonlinearcontroltheory.Thesettingisbasedonthenotionofsubmersivesystems.
3:
40-4:
05
题目:
差分素理想的一个判定准则
袁春明,中科院数学院
摘要:
差分素理想的判定问题迄今为止仍然是一个公开问题。
针对这一问题,我们进行了深入研究,首先给出了一个不可约多项式在代数扩域上是否不可约的一个判别准则。
运用这一准则,我们给出了一个判定某一类差分多项式的饱和理想为素理想的一个判别准则。
分组2:
编码与密码(主席:
刑朝平)
2:
00-2:
25
题目:
密码学理论中的挑战
林东岱,邓炎炎,中科院软件所
摘要:
在这个报告里,我们将谈到理论密码学——如困难性和伪随机性,黑盒分离范式(可证明安全性的核心),交互证明和零知识等——中的一些基础性问题,以及我们对零知识领域中的一个由Barak,Goldreich,Goldwasser和Lindell等人在FOCS'01上提出的一个猜测的完整证明。
此外,我们还将探索一些在密码学中有着潜在应用的数学工具,如加性组合(AdditiveCombinatorics)等。
2:
25-2:
50
Title:
ImprovedImpossibleDifferentialCryptanalysisofReduced-RoundCamellia
吴文玲,中科院软件所
Abstract:
TheblockcipherCamelliahasnowbeenadoptedasaninternationalstandardbyISO/IEC,andithasalsobeenselectedtobeJapaneseCRYPTRECe-governmentrecommendedcipherandintheNESSIEblockcipherportfolio.Weconstructedsome8-roundimpossibledifferentialsofCamellia,andpresentedanattackon12-roundCamellia-192/256in2007.LaterinCT-RSA’08,Luetalimprovedtheaboveattackbyusingthesame8-roundimpossibledifferentialandsomenewobservationsonthediffusiontransformationofCamellia.ConsideringthatallthesepreviouslyknownimpossibledifferentialattacksonCamelliahavenottakenthekeyschedulingalgorithmintoaccount,inthispaperweexploittherelationsbetweentheroundsubkeysofCamellia,togetherwithsomenoveltechniquesinthekeyrecoveryprocesstoimprovetheimpossibledifferentialattackonCamelliaupto12-roundCamellia-128and
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 国家重点 基础 研究 发展计划 973 项目