Categorical Message Passing Language (CaMPL): Syntax and Semantics
该文提出了一种基于线性范畴数学的新并发编程语言CaMPL，通过其类型系统保证了无死锁及活锁（对于非递归程序），并提供了编译器实现。
0 citationsRead paper
Selected work
Representative Papers
Sparse One-Step-Ahead Optimal Control of Time-Varying Affine Opinion Networks: Tracking and Competitive Games
本文研究了在时间变化的意见网络中，如何通过选择少量代理和标量干预来实现资源有限的外部影响。使用仿射自由响应模型，并提出了一种精确稀疏一步最优控制方法。
0 citationsRead paper
GenOR-Twin: A Semantic Middleware for Integrating Operational Discourse with Mathematical Optimization
本文提出GenOR-Twin框架，利用大语言模型作为语义翻译器将非结构化的操作日志转化为数学优化问题，并通过动态约束注入机制实时调整优化问题，以适应实际操作环境中的不确定性。
0 citationsRead paper
Fixed-mesh based approach for modeling of superconducting magnetic bearings
本文提出了一种基于固定网格的方法来模拟超导磁轴承中的运动效应，通过在移动区域间的空气区域应用坐标变换，解决了相对运动带来的几何与网格更新问题。
0 citationsRead paper
Order 14 is the largest order for which every 4-total coloring of every cubic graph is equitable
本文通过分解引理等方法，解决了Stemock关于4-全染色在立方图中是否总是公平的猜想，证明了14阶是所有立方图4-全染色都公平的最大阶数。
0 citationsRead paper
Recent publications
Latest Papers
Categorical Message Passing Language (CaMPL): Syntax and Semantics
该文提出了一种基于线性范畴数学的新并发编程语言CaMPL，通过其类型系统保证了无死锁及活锁（对于非递归程序），并提供了编译器实现。
0 citationsRead paper
Sparse One-Step-Ahead Optimal Control of Time-Varying Affine Opinion Networks: Tracking and Competitive Games
本文研究了在时间变化的意见网络中，如何通过选择少量代理和标量干预来实现资源有限的外部影响。使用仿射自由响应模型，并提出了一种精确稀疏一步最优控制方法。
0 citationsRead paper
GenOR-Twin: A Semantic Middleware for Integrating Operational Discourse with Mathematical Optimization
本文提出GenOR-Twin框架，利用大语言模型作为语义翻译器将非结构化的操作日志转化为数学优化问题，并通过动态约束注入机制实时调整优化问题，以适应实际操作环境中的不确定性。
0 citationsRead paper
Fixed-mesh based approach for modeling of superconducting magnetic bearings
本文提出了一种基于固定网格的方法来模拟超导磁轴承中的运动效应，通过在移动区域间的空气区域应用坐标变换，解决了相对运动带来的几何与网格更新问题。
0 citationsRead paper
Order 14 is the largest order for which every 4-total coloring of every cubic graph is equitable
本文通过分解引理等方法，解决了Stemock关于4-全染色在立方图中是否总是公平的猜想，证明了14阶是所有立方图4-全染色都公平的最大阶数。
0 citationsRead paper