第十四届中国数学会计算机数学大会 (CM 2024)

L0注册报到

6月13日 10:00-18:00 · 闽江世纪金源会展大饭店大堂

晚餐

6月13日 18:00-19:30 · 大宴会A厅

注册报到

6月14日 8:00-8:30 · 闽江世纪金源会展大饭店大堂

8:00-8:30

开幕式与合影

6月14日 8:30-9:00 · 大宴会C厅

大会邀请报告 (1): 范更华

6月14日 9:00-10:00 · 大宴会C厅

主持人: 支丽红

9:00 - 10:00

四色问题与子图覆盖摘要

范更华 (福州大学)

茶歇

6月14日 10:00-10:10 · 大宴会厅公区

大会邀请报告 (2): 王华雄

6月14日 10:10-11:10 · 大宴会C厅

主持人: 唐春明

10:10 - 11:10

Algebra, Combinatorics and Cryptography 摘要

王华雄 (新加坡南洋理工大学)

大会邀请报告 (3): 邢朝平（线上）

6月14日 11:10-12:10 · 大宴会C厅

主持人: 李洪波

11:10 - 12:10

Fast Fourier Transform via automorphism groups of rational function fields 摘要

邢朝平 (上海交通大学)

午餐

6月14日 12:10-14:00 · 大宴会A厅

青年邀请报告 (1): 高奕博

6月14日 14:00-14:30 · 重庆厅

主持人: 牟晨琪

14:00 - 14:30

Symmetric structures in the Bruhat order 摘要

高奕博 (北京国际数学研究中心)

青年邀请报告 (2): 唐春明

6月14日 14:00-14:30 · 昆明厅

主持人: 周正春

14:00 - 14:30

Linear codes from Boolean functions with high (fast) algebraic immunity 摘要

唐春明 (西南交通大学)

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

6月14日 14:30-15:30 · 重庆厅

主持人: 黄巧龙

14:30 - 14:45

COMPLEXITY OF SKEW POLYNOMIAL MULTIPLICATION 摘要

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

14:45 - 15:00

Applicability of the Cayley Transform 摘要

陆镜宇 (中国科学院数学与系统科学研究院)

15:00 - 15:15

Sparse Polynomial Interpolation With Error Correction: Higher Error Capacity by Randomization 摘要

杨志红 (中南大学数学与统计学院)

15:15 - 15:30

Reduced Grobner Bases of Schubert Determinantal Ideals 摘要

宋秋叶 (北京航空航天大学)

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

6月14日 14:30-15:30 · 昆明厅

主持人: 张俊

14:30 - 14:45

Lightweight Dynamic Broadcast Proxy Re-Encryption for Data Sharing in Clouds 摘要

胡慧丹 (福建师范大学)

14:45 - 15:00

Linear Complementary Dual Codes Constructed from Reinforcement Learning 摘要

吴严生 (南京邮电大学计算机学院)

15:00 - 15:15

Generalized Hamming weights of linear codes from defining sets 摘要

刘超 (湖北大学)

15:15 - 15:30

基于双循环编码的同态密文矩阵操作摘要

杨林翰 (重庆交通大学信息科学与工程学院)

茶歇

6月14日 15:30-15:50 · 重庆厅门口

青年邀请报告 (3): 上官冲

6月14日 15:50-16:20 · 重庆厅

主持人: 祝宝宣

15:50 - 16:20

Recent progress on graph chromatic thresholds and graph homomorphism thresholds 摘要

上官冲 (山东大学)

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

6月14日 15:50-16:20 · 昆明厅

主持人: 吴文渊

15:50 - 16:20

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems 摘要

薛白 (中国科学院软件所)

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

6月14日 16:20-17:50 · 重庆厅

主持人: 黄辉

16:20 - 16:35

Unimodality of certain partition polynomials 摘要

Guo Wan-Ming (School of Mathematical Sciences, Qufu Normal University)

16:35 - 16:50

Explicit formulas for a family of hypermaps beyond the one-face case 摘要

Bai Ziwei (合肥工业大学)

16:50 - 17:05

Fast Numerical Evaluation of Generalized Todd Polynomials 摘要

张英瑞 (中国科学院数学与系统科学研究院)

17:05 - 17:20

多元多项式矩阵等价的进一步的结果摘要

关剑成 (湖南科技大学)

17:20 - 17:35

The Smith normal form and reduction of weakly linear matrices 摘要

吴弢 (湖南科技大学)

17:35 - 17:50

三维空间中顶点同构型的多面体摘要

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

分组报告 (4): 人工智能与数学软件

6月14日 16:20-17:20 · 昆明厅

主持人: 王杰

16:20 - 16:35

Hybrid Controller Synthesis for Nonlinear Systems Subject to Safety Constraints 摘要

Qi Niuniu (East China Normal University)

16:35 - 16:50

滤子扩张原则的Coq形式化摘要

窦国威 (北京邮电大学)

16:50 - 17:05

基于Lean的组合恒等式自动化证明摘要

熊贝贝 (华东师范大学)

17:05 - 17:20

Maple 2024新功能介绍摘要

林成青 (Maplesoft)

JSSC期刊宣讲

6月14日 17:20-17:50 · 昆明厅

主持人: 冯如勇

17:20-17:50提升期刊服务水平，扩大期刊影响力
吴国云 (JSSC 期刊编辑部)

晚餐

6月14日 18:00-19:30 · 大宴会A厅

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

6月14日 20:00-22:00 · 重庆厅

大会邀请报告 (4): 丁剑

6月15日 9:00-10:00 · 大宴会C厅

主持人: 夏壁灿

9:00 - 10:00

Recent progress on random graph matching problems 摘要

丁剑 (北京大学)

茶歇

6月15日 10:00-10:10 · 大宴会厅公区

大会邀请报告 (5): 冯勇

6月15日 10:10-11:10 · 大宴会C厅

主持人: 王定康

10:10 - 11:10

零误差计算摘要

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

大会邀请报告 (6): 杨立波

6月15日 11:10-12:10 · 大宴会C厅

主持人: 冯如勇

11:10 - 12:10

Symbolic approach to combinatorial relations 摘要

杨立波 (南开大学)

午餐

6月15日 12:10-14:00 · 大宴会A厅

青年邀请报告 (5): 胡胜龙

6月15日 14:00-14:30 · 重庆厅

主持人: 叶科

14:00 - 14:30

Quantifying low rank approximations of third order symmetric tensors 摘要

胡胜龙 (杭州电子科技大学)

青年邀请报告 (6): 袁骁

6月15日 14:00-14:30 · 昆明厅

主持人: 邵长鹏

14:00 - 14:30

Quantum advantage for near-term and fault-tolerant quantum computers 摘要

袁骁 (北京大学前沿计算研究中心)

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

6月15日 14:30-15:30 · 重庆厅

主持人: 李楠

14:30 - 14:45

Krylov subspace methods based quaternion tensor form for generalized Sylvester quaternion tensor equation with application to color video denoising 摘要

吴玉玲 (福建师范大学)

14:45 - 15:00

Structural Analysis by Generalized Embedding Method for Integro-differential-algebraic Equations 摘要

杨文强 (中国科学院重庆绿色智能技术研究院)

15:00 - 15:15

Computation of Regular Tucker Decompositions by Tensor QR Method 摘要

Zhai Ziqi (苏州科技大学)

15:15 - 15:30

Logarithmic norm minimization of quaternion matrix decomposition for color image sparse representation 摘要

蔡小敏 (福建师范大学)

分组报告 (6): 量子算法

6月15日 14:30-15:30 · 昆明厅

主持人: 徐鸣

14:30 - 14:45

Quantum spectral method for gradient and Hessian estimation 摘要

张宇欣 (中国科学院数学与系统科学研究院)

14:45 - 15:00

Quantum-Inspired Classical Algorithms for Solving Linear Feasibility Problems 摘要

Zuo Qian (Peking University)

15:00 - 15:15

Quantum recurrent neural networks for sequential learning 摘要

Wang Zhimin (Ocean University of China)

15:15 - 15:30

Quantum circuits for block encoding of structured matrices in ocean acoustics 摘要

Yao Hongmei (Harbin Engineering University)

茶歇

6月15日 15:30-15:50 · 重庆厅门口

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

6月15日 15:50-17:35 · 重庆厅

主持人: 李冬梅

15:50 - 16:05

Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets 摘要

代梓灏 (中国科学院数学与系统科学研究院)

16:05 - 16:20

Qualitative Investigation of the Lorenz-84 System Using Computer Algebra Methods 摘要

Song Jichao (Beihang University)

16:20 - 16:35

Efficient detection of redundancies in systems of linear inequalities 摘要

谢岩峰 (中国科学院数学与系统科学研究院)

16:35 - 16:50

Computing the greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials 摘要

Jing Yang (Guangxi Minzu University)

16:50 - 17:05

The Geometry of Cylindrical Algebraic Decomposition 摘要

陈日增 (北京大学数学科学学院)

17:05 - 17:20

Exploiting Sign Symmetries in Minimizing Sums of Rational Functions 摘要

郭峰 (大连理工大学)

17:20 - 17:35

Strengthening Lasserre's Hierarchy in Real and Complex Polynomial Optimization 摘要

王杰 (中国科学院数学与系统科学研究院)

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

6月15日 15:50-17:35 · 昆明厅

主持人: 陈绍示

15:50 - 16:05

Algorithms for Hadamard products of rational functions 摘要

Chen Shaoshi (中国科学院数学与系统科学研究院)

16:05 - 16:20

Symbolic Summation in Multivariate Difference Fields 摘要

卫亚蓉 (天津理工大学)

16:20 - 16:35

基于图运算的多智能体系统通信拓扑优化摘要

徐仝友 (安徽建筑大学)

16:35 - 16:50

Parity statistics on restricted permutations and the Catalan-Schett polynomials 摘要

刘静 (山东大学)

16:50 - 17:05

Critical Points of Symmetric Forms over the Unit Sphere 摘要

Xu Jia (Department of Mathematics, Southwest Minzu University)

晚餐

6月15日 18:00-20:00 · 大宴会A厅

青年邀请报告 (7): 李昊坤

6月16日 9:00-9:30 · 重庆厅

主持人: 詹博华

9:00 - 9:30

无量词非线性公式可满足性问题的求解方法摘要

李昊坤 (华为2012可信费马实验室)

青年邀请报告 (8): 郑晓朋

6月16日 9:00-9:30 · 昆明厅

主持人: 李新

9:00 - 9:30

结构化网格生成中的关键问题及其计算共形几何解决方案摘要

郑晓朋 (大连理工大学)

分组报告 (9): 人工智能与数学软件

6月16日 9:30-10:30 · 重庆厅

主持人: 秦小林

9:30 - 9:45

Numerical simulation of heat transfer and entropy generation due to the nanofluid natural convection with viscous dissipation in an inclined square cavity 摘要

吕龙杰 (大连海事大学)

9:45 - 10:00

A heuristic quantum-behavior algorithm for scheduling optimization problems 摘要

李真 (北京邮电大学)

10:00 - 10:15

A dataset for suggesting variable orderings for cylindrical algebraic decompositions 摘要

Zhao Yuegang (Jiangsu University)

10:15 - 10:30

A study on denoising seismic signals based on convolutional self-encoder 摘要

霍雨欣 (国防科技大学应用数学研究中心)

分组报告 (10): 计算几何与智能制造

6月16日 9:30-10:30 · 昆明厅

主持人: 袁春明

9:30 - 9:45

连续区间上积分值的三次三角样条插值摘要

吴金明 (浙江工商大学)

9:45 - 10:00

Tolerance-Based Geometry Constraint Update Scheme for High-precision Direct Modeling 摘要

Chen Hui (University of Chinese Academy of Sciences)

10:00 - 10:15

Efficient tool path planning and CAM process development 摘要

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

10:15 - 10:30

High quality LSPIA method for NURBS curves and surfaces with weights and knots optimization 摘要

Lan Lin (大连理工大学)

茶歇

6月16日 10:30-10:50 · 重庆厅门口

分组报告 (11): 人工智能与数学软件

6月16日 10:50-12:05 · 重庆厅

主持人: 李树光

10:50 - 11:05

数据驱动的复杂系统建模摘要

朱群喜 (复旦大学)

11:05 - 11:20

基于改进黏菌算法的风电场布局优化研究摘要

谢嘉诚 (广西民族大学)

11:20 - 11:35

Utilizing symmetry-enhanced physics-informed neural network to obtain the solution beyond sampling domain for partial differential equations 摘要

Li Jie-Ying (Minzu University of China)

11:35 - 11:50

Symmetry group based domain decomposition to enhance physics-informed neural networks for solving partial diﬀerential equations 摘要

Liu Ye (Minzu University of China)

11:50 - 12:05

脉冲噪声下鲁棒的盲图像去模糊算法摘要

李喆 (长春理工大学)

分组报告 (12): 计算几何与智能制造

6月16日 10:50-12:05 · 昆明厅

主持人: 张举勇

10:50 - 11:05

High speed corner trajectory planning method for CNC machining with confined jerk 摘要

孟可欣 (中国科学院数学与系统科学研究院)

11:05 - 11:20

点云曲面上的Voronoi图摘要

张子扬 (山东大学)

11:20 - 11:35

实体钣金建模摘要

王文嵩 (山东大学计算机科学与技术学院)

午餐

6月16日 12:05-14:00 · 大宴会A厅

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

6月16日 14:00-15:30 · 重庆厅

主持人: 黄博

14:00 - 14:15

Rational Solutions of First-Order Algebraic Ordinary Difference Equations 摘要

Zhang Yi (Xi'an Jiaotong-Liverpool University)

14:15 - 14:30

Hilbert's Irreducibility Theorem for Linear Differential Operators 摘要

陆伟 (湖北大学)

14:30 - 14:45

Two complete reduction systems for Airy functions 摘要

Du Hao (Beijing University of Posts and Telecommunications)

14:45 - 15:00

An Additive Decomposition in Exponential Extensions 摘要

高艺漫 (中国科学院数学与系统科学研究院)

15:00 - 15:15

Fast Normalization of Indexed Differentials 摘要

刘姜 (上海理工大学)

15:15 - 15:30

Safety Verification for Regime-Switching Jump Diffusions via Barrier Certificates 摘要

刘凯荣 (北京航空航天大学)

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

6月16日 14:00-15:30 · 昆明厅

主持人: 林富春

14:00 - 14:15

TFHE-like Functional Bootstrapping in General Cyclotomic Ring 摘要

刘登发 (中国科学院数学与系统科学研究院)

14:15 - 14:30

Fast, Lagre Scale Dimensionality Reduction Schemes Based on CKKS 摘要

Yuan Haonan (Chongqing Key Laboratory of Secure Computing for Biology, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences)

14:30 - 14:45

Leveled homomorphic encryption based on NTRU without relinearization 摘要

代小康 (中科院重庆绿色智能技术研究院)

14:45 - 15:00

Classification of a class of planar quadrinomials 摘要

Chan Chin Hei (香港科技大学)

15:00 - 15:15

基于全同态加密的高效隐私保护聚类算法摘要

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

15:15 - 15:30

基于可解正交阵列的Ramp密钥共享方案摘要

邓扬眉 (中国民航大学)

茶歇

6月16日 15:30-15:50 · 重庆厅门口

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

6月16日 15:50-17:05 · 重庆厅

主持人: 郑涛

15:50 - 16:05

A Basis-preserving Algorithm for Computing the B´ezout Matrix of Newton Polynomials 摘要

Yang Wei (Guangxi Minzu University)

16:05 - 16:20

Affine geodesic convex polynomials are rare 摘要

王愚 (中国科学院数学与系统科学研究院机械化实验室)

16:20 - 16:35

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

蒙嘉奇 (广西民族大学)

16:35 - 16:50

Extensions of S-Lemma for Noncommutative Polynomials 摘要

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

16:50 - 17:05

基于强弦图的 F_2 上三角分解的复杂度分析摘要

齐朝星 (北京航空航天大学)

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

6月16日 15:50-17:05 · 昆明厅

主持人: 鲁东

15:50 - 16:05

Monotonic optimization with application to the selection of parameters for LWE-based encryption schemes 摘要

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

16:05 - 16:20

A Positivstellensatz on the Matrix Algebra of Finitely Generated Free Group 摘要

Liang Hao (Academy of Mathematics and Systems Science)

16:20 - 16:35

An algorithm for computing comprehensive order basis systems of parametric polynomial matrices 摘要

杨润河 (中国科学院信息工程所)

16:35 - 16:50

Gröbner Basis of the Defining Ideal of Quaternionic Polynomial Ring in Symbolically Many Quaternionic Variables 摘要

王正阳 (中国科学院数学与系统科学研究院数学机械化重点实验室)

16:50 - 17:05

Construction of three class of at most four-weight binary linear codes and their applications 摘要

张同慧 (福建师范大学)

闭幕式

6月16日 17:10-17:30 · 重庆厅

晚餐

6月16日 18:00-19:30 · 大宴会A厅