第四届全国计算机数学大会日程表
副标题：
注：所有会议用餐都在学术交流中心二楼的“高山流水酒家”
| 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 | 晚 餐 | |
