第十六届中国数学会计算机数学大会

注册报到

4月17日 14:00-20:00 · 酒店大堂

自助晚餐

4月17日 18:00-20:30 · 一楼梦溪咖啡厅

开幕式与合影

4月18日 8:30-9:10 · 三楼雍和厅

主持人: 叶科

大会邀请报告 (1):陈发来

4月18日 9:10-10:10 · 三楼雍和厅

主持人: 贾晓红

9:10 - 10:10

动曲面与μ基—隐式化三十年回顾摘要

陈发来 (中国科学技术大学)

茶歇

4月18日 10:10-10:20 · 三楼雍和厅外

大会邀请报告 (2):李洪波

4月18日 10:20-11:20 · 三楼雍和厅

主持人: 夏壁灿

10:20 - 11:20

Geometric Theorem Proving with Null Geometric Algebra 摘要

李洪波 (中国科学院数学与系统科学研究院)

大会邀请报告 (3) :孙智伟

4月18日 11:20-12:20 · 三楼雍和厅

主持人: 陈绍示

11:20 - 12:20

Hilbert's Tenth Problem and its Further Developments 摘要

孙智伟 (南京大学)

自助午餐

4月18日 12:20-13:30 · 一楼梦溪咖啡厅

青年邀请报告 (1) :马鸿宇

4月18日 13:30-14:00 · 二楼元和1厅

主持人: 袁春明

13:30 - 14:00

智能制造一体化加工理论中的研究进展摘要

马鸿宇 (中国科学院大学)

青年邀请报告 (2) :姚鹏晖

4月18日 13:30-14:00 · 二楼元和3厅

主持人: 邵长鹏

13:30 - 14:00

关于浅层量子电路复杂性的最新进展摘要

姚鹏晖 (南京大学)

分组报告 (1) :智能制造

4月18日 14:00-15:00 · 二楼元和1厅

主持人: 袁春明

14:00 - 14:15

Tool Path Planning with Pointwise Controllable Machining Strip Width for Complex Surfaces 摘要

Yan Guangwen (Dalian University of Technoloyg)

14:15 - 14:30

基于热扩散和图像卷积的刀路规划方法摘要

张朝前 (河北省科学院应用数学研究所)

14:30 - 14:45

Optimal Tool Path Planning for B-rep Models with Minimum Tool Retractions 摘要

Zhang BoWen (State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences)

14:45 - 15:00

A Novel Integrated Five-axis Flank Milling Framework for High Precision Finishing 摘要

Meng Kexin (Academy of Mathematics and Systems Science)

分组报告 (2) :量子计算

4月18日 14:00-15:00 · 二楼元和3厅

主持人: 邵长鹏

14:00 - 14:15

Auxiliary-Free Replica Shadows: Efficient Estimation of Multiple Nonlinear Quantum Properties 摘要

Liu Qing (Fudan University)

14:15 - 14:30

A Counterexample to the Optimality Conjecture in Convex Quantum Channel Optimization 摘要

杨剑霆 (中国科学院数学与系统科学研究院)

14:30 - 14:45

Quantum circuit design from a retraction-based Riemannian optimization framework 摘要

赖志坚 (北京大学)

14:45 - 15:00

Generalized quantum singular value transformation with application in quantum conjugate gradient least squares algorithm 摘要

Liu Yu-Qiu (School of Mathematics and Statistics, Wuhan University)

茶歇

4月18日 15:00-15:10 · 二楼元和厅外

青年邀请报告 (3) :毛建玺

4月18日 15:10-15:40 · 二楼元和1厅

主持人: 夏先伟

15:10 - 15:40

On the preservation of real-zero property under matrix products 摘要

毛建玺 (大连理工大学)

青年邀请报告 (4) :白石

4月18日 15:10-15:40 · 二楼元和3厅

主持人: 陈经纬

15:10 - 15:40

后量子密码学中的数学困难问题摘要

白石 (上海交通大学)

分组报告 (3) :组合数学

4月18日 15:40-16:40 · 二楼元和1厅

主持人: 夏先伟

15:40 - 15:55

Undecidability of polynomial inequalities in subset densities and additive energies 摘要

李雅樵 (深圳理工大学)

15:55 - 16:10

INVOLUTIVE PROOFS OF VARIOUS COMBINATORIAL IDENTITIES FOR EULER NUMBERS 摘要

Zang Yongchun (Shandong University)

16:10 - 16:25

Parity of Linearized Permutation Polynomials over Finite Fields 摘要

边华俊 (中国科学院数学与系统科学学院)

16:25 - 16:40

On the structure of dense graphs with given odd girth 摘要

陆星言 (江苏大学)

分组报告 (4) :编码与密码

4月18日 15:40-16:40 · 二楼元和3厅

主持人: 陈经纬

15:40 - 15:55

Asymptotically ideal Disjunctive Hierarchical Secret Sharing Scheme with an Explicit Construction 摘要

丁健 (巢湖学院)

15:55 - 16:10

A Symbolic Algorithm for Linear Network Coding Resilient to Adversarial Erasures 摘要

陈星兵 (北京师范大学)

16:10 - 16:25

NEW RECORD-BREAKING BINARY LINEAR CODES CONSTRUCTED FROM GROUP CODES 摘要

郁聪 (巢湖学院)

16:25 - 16:40

Impossible differential cryptanalysis against the block cipher GFSPX 摘要

王文宇 (国防科技大学理学院)

茶歇

4月18日 16:40-16:50 · 二楼元和厅外

分组报告 (5) :计算机代数

4月18日 16:50-18:05 · 二楼元和1厅

主持人: 黄博

16:50 - 17:05

Monitoring Reachability, Oscillatory and Peaking Behaviors in Quantum Dynamical Systems 摘要

李瑞鹏 (华东师范大学)

17:05 - 17:20

基于模 p 截断的同余格 Graver 基算法研究摘要

郑丽翠 (湖南科技大学)

17:20 - 17:35

有基点张量积有理曲面奇异点的理论分析及计算摘要

肖丽萍 (哈尔滨工业大学)

17:35 - 17:50

两类多元多项式矩阵Smith型的等价研究摘要

郭旭 (湖南科技大学)

17:50 - 18:05

Smith normal forms of bivariate polynomial matrices 摘要

鲁东 (西南交通大学)

分组报告 (6) :人工智能

4月18日 16:50-18:05 · 二楼元和3厅

主持人: 冷拓

16:50 - 17:05

Geometric Interpretations for Singular Configurations of the P3L Problem via Quaternionic Rotation Representation 摘要

李楠 (深圳大学)

17:05 - 17:20

符号积分子算法选择：树结构与序列模型的对比研究摘要

刘好琛 (北京邮电大学)

17:20 - 17:35

SpecPhys-MoE: Robust Monocular Depth Estimation via HVI-FFT Integration and Scene-Prior-Guided Experts 摘要

张少林 (中国科学院成都计算机应用研究所)

17:35 - 17:50

Learning the Computation of Characteristic Sets via Small Transformers 摘要

陈长波 (中国科学院重庆绿色智能技术研究院)

17:50 - 18:05

HANN: Homotopy auxiliary neural network for solving nonlinear algebraic equations 摘要

宰令喆 (中央民族大学)

晚宴

4月18日 18:05-19:30 · 三楼雍和厅

计算机数学专业委员会会议

4月18日 20:00-22:00 · 二楼元和3厅

大会邀请报告 (4) :董高高（线上）

4月19日 9:00-10:00 · 三楼雍和厅

主持人: 张正娣

9:00 - 10:00

从结构到功能：多尺度复杂系统的网络表征摘要

董高高 (江苏大学)

茶歇

4月19日 10:00-10:10 · 三楼雍和厅外

大会邀请报告 (5)王俊峰

4月19日 10:10-11:10 · 三楼雍和厅

主持人: 秦小林

10:10 - 11:10

具身智能机器人安全：从理论到实证摘要

王俊峰 (四川大学)

JSSC期刊宣讲

4月19日 11:10-11:40 · 三楼雍和厅

《数信智合平仄人生》——王东明教授新书发布

4月19日 11:40-11:45 · 三楼雍和厅

主持人: 黄博

Maple宣讲

4月19日 11:45-12:15 · 三楼雍和厅

自助午餐

4月19日 12:15-13:30 · 一楼梦溪咖啡厅

青年邀请报告 (5) :瞿铮

4月19日 13:30-14:00 · 三楼雍和1厅

主持人: 李楠

13:30 - 14:00

Theoretical and Computational Advances in Polynomial Optimization: Exactness, Degree Bounds, and Structured Sparsity 摘要

瞿铮 (深圳大学)

青年邀请报告 (6) :张阳春

4月19日 13:30-14:00 · 三楼雍和3厅

主持人: 陈长波

13:30 - 14:00

随机矩阵视角下的逆向强化学习（IRL）奖励迁移问题与视觉语言大模型空间推理缺陷摘要

张阳春 (上海大学)

分组报告 (7) :计算机代数

4月19日 14:00-15:00 · 三楼雍和1厅

主持人: 李楠

14:00 - 14:15

Real Homotopy Methods for Computing Complete/Specified Eigenvalues of the Multiparameter Eigenvalue Problems Arising from the Multiparameter Sturm-Liouville Problem 摘要

马文斌 (大连理工大学)

14:15 - 14:30

Early termination for sparse interpolation of polynomials in Chebyshev bases 摘要

杨志红 (中南大学)

14:30 - 14:45

CN Weighted Piecewise Vector-Valued Rational Interpolation 摘要

Xia Peng (Liaoning University)

14:45 - 15:00

An Effective Criterion for Covering Maps Between Real Algebraic Varieties 摘要

陈日增 (北京大学)

分组报告 (8) :人工智能

4月19日 14:00-15:00 · 三楼雍和3厅

主持人: 陈长波

14:00 - 14:15

基于 Morse-Kelley 公理化集合论的实数公理系统在 Lean 4 中的形式化摘要

熊正泰 (北京邮电大学)

14:15 - 14:30

Customized-Allocation MoE: Reliable Dynamic Combination via the Attraction-Repulsion for Multimodal Sentiment Analysis 摘要

刘珈岑 (中国科学院成都计算机应用研究所)

14:30 - 14:45

A Semi-Supervised Few-Shot Fault Diagnosis Method Fusing 3D Time-Frequency Representation and Dynamic Hypergraphs 摘要

谈卓伦 (北京化工大学)

14:45 - 15:00

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition 摘要

赵跃刚 (江苏大学)

国家重点研发计划《安全可靠数据流通的数学理论与算法》项目启动与实施方案论证会

4月19日 14:00-18:00 · 二楼董事会议室1

14:00-16:00 Session 1. 项目启动与实施方案论证（主持人：李洪波）

14:00-14:20 项目情况介绍

14:20-14:30 课题一实施方案介绍

14:30-14:40 课题二实施方案介绍

14:40-14:50 课题三实施方案介绍

14:50-15:00 课题四实施方案介绍

15:00-15:45 专家指导

15:45-16:00 茶歇

16:00-18:00Session 2. 青年学术报告（主持人：吴文渊）

16:00-16:20 学术报告一：陈绍示（中国科学院数学与系统科学研究院） Flip Graphs for Polynomial Multiplication

16:20-16:40 学术报告二：王晗（中国科学院信息工程研究所）基于密钥切换的第三代全同态加密优化技术

16:40-17:00 学术报告三：徐燕虹（上海交通大学）基于VOLEitH的数字签名进展

17:00-17:20 学术报告四：袁昊男（中国科学院重庆绿色智能技术研究院）A Multi-Party Framework for Privacy-Preserving Laplacian Eigenmaps via Operator Fusion

17:20-17:40 学术报告五：吕颖出（中国科学院数学与系统科学研究院）低噪声膨胀的密文转换方案

17:40-18:00 学术报告六：皮宇航（中国科学院数学与系统科学研究院）插入/删除/替换球的极小尺寸

茶歇

4月19日 15:00-15:10 · 三楼雍和厅外

分组报告 ( 9) :计算机代数

4月19日 15:10-16:40 · 三楼雍和1厅

主持人: 徐鸣

15:10 - 15:25

平面多项式向量场有理拉回变换的算法判定及基于Maple的程序实现 - 相关研究与未来展望摘要

黄韶煊 (香港中文大学(深圳))

15:25 - 15:40

A Complete Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials 摘要

杨静 (广西民族大学)

15:40 - 15:55

Detection of Non-Degeneracy for a Class of Higher Order ODEs Using Quantifier Elimination 摘要

Li Yafei (Beihang University)

15:55 - 16:10

Convergent Expansions and Bounds for the Incomplete Elliptic Integral of the Second Kind near the Logarithmic Singularity 摘要

Zhang Yi (Xi'an Jiaotong-Liverpool University)

16:10 - 16:25

A Basis-preserving Algorithm for Computing the Approximate GCD of Several Newton Polynomials 摘要

李晓亮 (广州工商学院)

16:25 - 16:40

Decomposition of Rational Curves on SO(4) 摘要

李昳璠 (中国科学院数学与系统科学研究院)

分组报告 (10) :计算几何

4月19日 15:10-16:40 · 三楼雍和3厅

主持人: 申立勇

15:10 - 15:25

Fast Determination and Computation of Self-intersections for NURBS Surfaces 摘要

李凯 (中国科学院数学与系统科学研究院)

15:25 - 15:40

A novel GPU-Accelerated Tool Path Planning with confined iso-Scallop Height 摘要

李东岳 (中国科学院大学)

15:40 - 15:55

IndVGGT: An End-to-End Feed-Forward Framework for Multi-View 3D Reconstruction of Industrial Workpieces 摘要

李晓萱 (中国科学院大学数学科学学院)

15:55 - 16:10

有理曲面的伴随动平面及动二次曲面的理论分析和计算摘要

史晓冉 (哈尔滨工业大学数学学院)

16:10 - 16:25

Bijectivity analysis of rational T-spline surfaces via Bernstein representations 摘要

李佳璇 (辽宁师范大学)

16:25 - 16:40

基于伪距离与分离判定的碰撞检测方法摘要

夏日轮 (中国科学院数学与系统科学研究院)

茶歇

4月19日 16:40-16:50 · 三楼雍和厅外

分组报告 (11) :计算机代数

4月19日 16:50-18:05 · 三楼雍和1厅

主持人: 李晓亮

16:50 - 17:05

多面体上的非负性判定问题摘要

姚勇 (中科院成都计算机应用研究所)

17:05 - 17:20

Color Visual Data Processing Based on Quaternion Matrices and Quaternion Tensors 摘要

缪吉飞 (云南大学)

17:20 - 17:35

Fast normalization of indexed Riemman metric tensor polynomials 摘要

刘姜 (上海理工大学)

17:35 - 17:50

面向隐私保护推理的单层ReLU 后验二次替换：低维凸几何的精确判定摘要

李锐 (中国科学院重庆绿色智能技术研究院)

17:50 - 18:05

n=9,11时Vasc循环不等式猜想的证明摘要

武斌 (上海财经大学浙江学院)

分组报告 (12) :组合数学

4月19日 16:50-18:05 · 三楼雍和3厅

主持人: 张熠

16:50 - 17:05

Dowling's polynomial conjecture for independent sets of matroids 摘要

曹施祺 (南开大学组合数学中心)

17:05 - 17:20

longest odd cycles in non-bipartite $C_{2k+1}$-free graphs 摘要

王瑞 (江苏大学)

17:20 - 17:35

A variation of the Morris constant term 摘要

张晨 (南开大学)

17:35 - 17:50

Statistics On Separable Permutations 摘要

董越 (曲阜师范大学)

17:50 - 18:05

New Andrews-Beck type congruences modulo 23,41 and 43 摘要

胡越亚 (苏州科技大学)

自助晚餐

4月19日 18:00-20:30 · 一楼梦溪咖啡厅

分组报告 (13) :计算机代数

4月20日 8:30-10:00 · 二楼元和1厅

主持人: 鲁东

8:30 - 8:45

形式幂级数矩阵的对角化算法摘要

代梓灏 (中科院系统所)

8:45 - 9:00

张量的几何秩与子秩之间相互控制摘要

陈琦元 (中科院数学与系统科学研究院)

9:00 - 9:15

A Homogeneous Nullstellensatz for Joint Invariant Subspaces 摘要

闫斯卓 (中国科学院数学与系统科学研究院)

9:15 - 9:30

平面四次有理曲线$\mu$基的显式公式摘要

韩伟珍 (天津职业技术师范大学)

9:30 - 9:45

Beyond Graph: Risk-Aware Learning Method for Elimination Orderings in Sparse Triangular Decomposition 摘要

张济名 (Sino-French Carbon Neutrality Research Center, Ecole Centrale de Pekin/School of General Engineering, Beihang University)

9:45 - 10:00

A Multiplicity-preserving Triangular Set Decomposition Algorithm for Three Polynomials 摘要

陈茹芸 (中国民航大学)

分组报告 (14) :密码编码与计算机代数

4月20日 8:30-10:00 · 二楼元和3厅

主持人: 赵明阳

8:30 - 8:45

基于二元多项式的指定参与者多秘密共享方案摘要

程礼鑫 (福建师范大学)

8:45 - 9:00

New Constructions of $\chi$-like Shift-Invariant Permutations and Their Properties 摘要

吕诚 (湖北大学)

9:00 - 9:15

ESP-SVM: An Efficient and Scalable Privacy-Preserving RBF Kernel SVM Framework 摘要

莫清渝 (中国科学院重庆绿色智能技术研究院)

9:15 - 9:30

A fast algorithm for homomorphic matrix multiplication based on tensor ring decomposition 摘要

郑晓鹏 (汕头大学)

9:30 - 9:45

TransFilm-Former: Spectral-Spatial Prototype Query Transformer for Transparent Film Detection 摘要

Wang Qianlei (Chengdu Institute of Computer Applications)

9:45 - 10:00

Comparison of Cournot and Bertrand Competition: A Computational Algebra Approach 摘要

Li Xiaoliang (Guangzhou College of Technology and Business)

茶歇

4月20日 10:00-10:15 · 二楼元和厅外

分组报告 (15) :计算机代数

4月20日 10:15-11:30 · 二楼元和1厅

主持人: 郑晓鹏

10:15 - 10:30

计算不变曲线构造Darboux积分摘要

郅俊海 (北京物资学院)

10:30 - 10:45

A zero-test for D-algebraic transseries 摘要

方涵芊 (中国科学院数学与系统科学研究院)

10:45 - 11:00

Stability and Hopf Bifurcation Analysis for a class of TriTrophic Food Chain Models 摘要

王姝嘉 (北京航空航天大学)

11:00 - 11:15

Symbolic integration based on complete reduction 摘要

杜昊 (北京邮电大学)

11:15 - 11:30

The Number of Iterations in Singer's Algorithm for Bounding Degrees 摘要

李文桥 (中国科学院数学与系统科学研究院)

分组报告 (16) :组合数学与计算机代数

4月20日 10:15-11:30 · 二楼元和3厅

主持人: 刘丽

10:15 - 10:30

Combinatorial interpretation of $\tilde{C}_n(x)$ 摘要

Liu Xinbei (南开大学组合数学中心)

10:30 - 10:45

Unimodality properties of independence polynomials 摘要

唐洪岳 (曲阜师范大学)

10:45 - 11:00

Counting permutations avoiding two flat partially ordered patterns 摘要

高慧华 (南开大学)

11:00 - 11:15

Synthesizing Loops from Linear Ranking 摘要

苑亚茹 (江苏大学)

11:15 - 11:30

The Bonus Knapsack Problem with Interval Conflicts 摘要

王维琳 (曲阜师范大学)

闭幕式

4月20日 11:30-11:40 · 二楼元和1厅

自助午餐

4月20日 11:40-13:30 · 一楼梦溪咖啡厅