基于特征列集及对称方法的求解偏微分方程问题机械化算法

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 偏微分方程对称分类、扩充和判定问题及其微分特征列集算法（国自然，特木尔朝鲁，2010）
• 微分特征列集理论与方法及其在确定偏微分方程（组）广义对称和守恒律中的应用（国自然，特木尔朝鲁，2004）
• 机器证明原理在偏微及差分方程（组）对称计算中的应用（国自然，特木尔朝鲁，1998）

上海海事大学其他项目

• 生成式人工智能驱动的旅游风险演化与协同治理研究（国社科，李华，2025）
• 非洲法郎区国家争取货币主权研究（1945—2019）（国社科，陶陶，2025）
• 基于可微绘制的船舶通航场景三维模型智能生成及标准化映射研究（国自然，刘涛，2025）
• 复杂海况下RIS赋能的海面无人系统对低轨卫星稳健通信波束赋形方法（国自然，刘玲亚，2025）
• 考虑温湿度和形态效应的3D打印土工格栅加筋钙质砂地基动力承载性能研究（国自然，史旦达，2025）
• 面向量子机器学习的高性能量子嵌入方法研究（国自然，周日贵，2025）
• 非生物因子对水母暴发驱动机制的模型研究（国自然，宋达，2025）
• 高速磁浮导向系统多物理场耦合动力学机理与多目标实时优化控制研究（国自然，强海燕，2025）

机器证明学科其他项目

• 高维可积模型及特殊解的机械化算法研究（国自然，徐桂琼，2018）
• 点几何及其机器证明（国自然，邹宇，2017）
• 基于微分特征列集和Groebner基的偏微分方程的对称机械化算法（国自然，苏道毕力格，2016）
• 稀疏微分结式理论及其在偏微分方程相关问题中的应用（国自然，张智勇，2016）
• 基于格值逻辑的语言真值α-群锁语义归结自动推理研究（国自然，钟小梅，2015）
• Thomson问题的机械化算法研究（国自然，冷拓，2015）
• 基于吴(文俊)方法的实代数几何中符号计算（国自然，肖水晶，2015）
• 三维Clifford代数无基底刻画的完全性及其多项式标准型的完全分类（国自然，李阁，2015）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• ACM Transactions on Human-Robot Interaction（IF 7.000，JCR Q1）
• Robotics（IF 3.600，JCR Q2）