首页| English| 中国科学院

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

副标题:

时间:2016-01-04  来源:

 

由此可下载PDF版本日程表与报告摘要的日程表

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

:所有会议用餐都在学术交流中心二楼的“高山流水酒家”

11月25日,星期五
8:00–22:00 注册报到
 
11月26日,星期六
8:30–9:00 开幕式、合影
 
9:00–10:00 邀请报告
主持人:刘卓军  地点:学术交流中心三楼耀光厅
  报告人:胡磊 (中科院研究生院)
题  目:方程求解与代数密码分析
10:00–10:30 茶  歇
 
10:30–11:30 分会1: 信息安全
主持人:邓映浦
地点:学术交流中心三楼 A 室
分会2: 微分方程
主持人:冯如勇
地点:学术交流中心三楼 B 室
10:30–10:50 A general conjecture similar to T-D conjecture and its applications in constructing Boolean functions with optimal algebraic immunity
(靳庆芳、刘卓军、吴保峰、张晓明)
The N-fold Darboux transformations and exact solutions of the Boussinesq-Burgers equation
(梅建琴,Y. Meng)
10:50–11:10 A Note on Two Classes of Boolean Functions With Optimal Algebraic Immunity
(吴保峰、刘卓军、靳庆芳、张晓明)
Analytical nonautonomous matter-wave solutions in Bose-Einstein condensate
(闫振亚)
11:10–11:30 The Optimal Linear Secret Sharing Scheme for Any Given Access Structure
(唐春明、高绪洪、张成丽)
An algorithm for decision of the existence of nonclassical symmetry
(朝鲁)
11:30–13:00 午  餐
 
14:00–15:50 973项目"数学机械化方法及其在数字化设计制造中的应用" 汇报会
地点:学术交流中心三楼耀光厅
14:00–14:30 领导发言、项目总体介绍
14:30–14:50 第一课题组汇报
14:50–15:10 第二课题组汇报
15:10–15:30 第三课题组汇报
15:30–15:50 第四课题组汇报
15:50–16:10 茶  歇
 
16:10–17:40 分会3: 信息安全 (973项目)
地点:学术交流中心三楼 A 室
分会4: 数控系统 (973项目)
地点:学术交流中心三楼 B 室
16:10–16:30 On Arnold's problem on the classifications of convex lattice polytopes
(宗传明)
基于数学机械化方法的高档数控系统与配套应用
(于东)
16:30–16:50 几个密码函数性质问题的研究结果
(刘卓军)
A Greedy Algorithm for Feed rate Planning of CNC Machines long Curved Tool Path with Confined Jerk
(袁春明)
16:50–17:00 茶  歇
17:00–17:20 格密码和布尔函数
(邓映蒲)
数控加工中微小直线段在加加速度约束下的插补和实时前瞻算法 
(张立先)
17:20–17:40 TBA
(林东岱)
仿真驱动的几何模型简化
(李明)
18:00–20:00 CM2011 晚宴
 
11月27日,星期日
 
8:30–9:30 邀请报告
主持人:侯庆虎  地点:学术交流中心三楼耀光厅
  报告人:辛国策 (首都师范大学)
题  目:MacMahon分拆分析在固定维数下的多项式算法 
9:30–10:00 茶  歇
 
10:00–11:30 分会5: 多项式代数
主持人:夏壁灿
地点:学术交流中心三楼 A 室
分会6: 微分方程
主持人:闫振亚
地点:学术交流中心三楼 B 室
10:00–10:20 An Efficient Method of Computing Comprehensive Grobner Bases and Minimal Comprehensive Grobner Bases
(孙瑶、王定康)
基于符号数值混合计算的混成系统 Lyapunov 函数构造
(林望, 吴敏、 杨争锋、 曾振炳)
10:20–10:40 多元多项式矩阵有MLP分解的新判别算法
(刘金旺、陈斌、 李冬梅)
二维线性连续系统稳定性的新判据 
(邵俊伟,侯晓荣)
10:40–10:50 茶  歇
10:50–11:10 Gröbner bases with respect to several orderings on on difference-differential modules and multivariate dimension polynomials 
(刘兰兰、周梦)
T样条新进展 
(李新)
11:10–11:30 相对优集及其在零点分解算法中的应用
(黄方剑) 
图像检索模型研究
(许超)
11:30–13:00 午  餐
 
13:10–13:50 MapleSoft符号计算技术和应用最新进展
地点:学术交流中心三楼 A 室
 
14:00–15:00 分会7: 符号-数值计算
主持人:杨争锋
地点:学术交流中心三楼 A 室
分会8: 计算机数学应用
主持人:张立先
地点:学术交流中心三楼 B 室
14:00–14:20 Computing symbolic determinants by approximate interpolation
(秦小林、 冯勇、 陈经纬、 张景中)
Detecting Strong Nontermination of Multi-Path Polynomial Programs 
(刘江、徐鸣、詹乃军、赵恒军)
14:20–14:40 Computing Real Solutions of Polynomial Systems via Low-rank Matrix Completion
(马钥、支丽红)
基于V-系统的商标检索
(宋瑞霞,孙红磊,陈曦,姚东星,薛冠辰)
14:40–15:00 向量值切触有理插值问题的 Fitzpatrick-Neville 型算法
(夏朋、 张树功、雷娜)
Estimating engineering analysis error caused by model simplification
(李明,高曙明) 
15:00–15:20 茶  歇
 
15:20–16:20 分会9: 符号与数值计算 (973项目)
地点:学术交流中心三楼 A 室
分会10: 图像处理与计算几何 (973项目)
地点:学术交流中心三楼 B 室
15:20–15:40 关于复系数质点几何
(张景中)
基于错误学习的图像分类
(封举富)
15:40–16:00 On Convergence of the Inexact Rayleigh Quotient Iteration with MINRES 
(贾仲孝)
TBA 
(刘伟军)
16:00–16:20 Sparse Bivariate Polynomial Factorization
(吴文渊)
U、V-系统在群组几何造型重构问题中的应用 
(齐东旭)
16:20–16:30 茶  歇
 
16:30–17:30 计算机数学专业委员会会议 (学术交流中心三楼 A 室)
18:00–19:30 晚  餐
 
11月28日,星期一
 
8:30–9:30 邀请报告
主持人:唐春明  地点:学术交流中心三楼耀光厅
  报告人:高绪洪 (Clemson University, 美国)
题  目:Primary Decomposition of Polynomial Ideals 
9:30–10:00 茶  歇
 
10:00–11:30 分会11: 微分差分代数
主持人:朝鲁
地点:学术交流中心三楼 A 室
分会12: 计算几何与自动推理
主持人:贾晓红
地点:学术交流中心三楼 B 室
10:00–10:20 Sparse Differential Resultant for Laurent Differential Polynomials
(李伟、高小山、袁春明)
一个求平面曲线的最小覆盖圆的算法
(黄雷、张立先、李洪波)
10:20–10:40 Matrix formulae of differential resultant for a class of generic ordinary algebraic differential polynomials
(张志勇、袁春明、高小山) 
Solution Classification for Perspective-Three-Point Problem base on PST method
(汤建良,Pei-Jian Wang)
10:40–10:50 茶  歇
10:50–11:10 Termination of Zeilberger-style algorithms: the mixed differential-q-shift and shift-q-shift cases
(陈绍示、付国锋)
Some new upper bounds for Heilbronn Problems of eight points in Squares and Triangles found by numeric-sumbolic computation
(曾振柄,陈良育)
11:10–11:30 改进的微分-差分特征列方法
(李文婷,周轶,蒋鲲)
Determination and Parametrization of rational developable surfaces (Ongoing)
(申立勇、吴英毅) 
11:30–13:00 午  餐
 
14:00–15:00 分会13: 实代数
主持人:曾振柄
地点:学术交流中心三楼 A 室
分会14: 计算机数学的应用
主持人:李明
地点:学术交流中心三楼 B 室
14:00–14:20 Semi-algebraically Connected Components of Minimum Points of a Polynomial Function
(曾广兴,S. Xiao)
Minimum time trajectory planning for five-axis machining with general kinematic constraints 
(李树荣、张强、高小山)
14:20–14:40 实轮换对称型及其半正定性的可读证明
(陈胜利、黄方剑)
Camera Calibration from the Rotation Matrix Parameterized by Unit Quaternion
(汤建良,H. Wang, Wen-Peng Ma) 
14:40–15:00 A Majorization Order on Monomials and Termination of a Successive Difference Substitution Algorithm
(徐嘉,姚勇)
An Algorithm Approach to the Center Conditions for Polynomial Lienard Systems
(Yizheng Hu,罗勇)
15:00–15:20 茶  歇
 
15:20–16:20 分会15: 微分差分代数
主持人:袁春明
地点:学术交流中心三楼 A 室
分会16: 多项式代数
主持人:申立勇
点:学术交流中心三楼 B 室
15:20–15:40 WZ 方法与一个二项式级数的部分和公式
(陈奕俊)
A Signature-Based Algorithm for Computing Grobner Basis in Quasi-Commutative Rings 
(马晓栋、孙瑶、王定康)
15:40–16:00 On the Structure of Multivariate Mixed q-Hypergeometric Terms
(陈绍示、付国锋、冯如勇、康劲)
S-多项式的新算法
(郑丽翠、刘金旺) 
16:00–16:20 一类扩散的Holling—Tanner模型的行波解的存在性
(蒋松,罗勇)
18:00–19:30 晚  餐