机器证明原理在偏微及差分方程(组)对称计算中的应用

基本信息
批准号:19861003
项目类别:地区科学基金项目
资助金额:5.00
负责人:特木尔朝鲁
学科分类:
依托单位:内蒙古工业大学
批准年份:1998
结题年份:2001
起止时间:1999-01-01 - 2001-12-31
项目状态: 已结题
项目参与者:王忠,阿勇嘎,黄东卫,马毅,高云兰
关键词:
机器证明微(差)分方程对称特征列集
结项摘要

基于吴特征列集理论,建立计算微分方程(组)对称的系统的机械化算法理论新体系及相应可靠、高效的算法,致力于克服传统的、广为流行的算法中的理论缺陷和大工作量困难。发展微分方程对称概念,探讨差分方程(组)相应的对称理论并实现确定差分对称的特征列集机械化算法。为机器证明原理与方法在微分与差分方程问题中的推广应用进行有益的探索?.

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

针对弱边缘信息的左心室图像分割算法

针对弱边缘信息的左心室图像分割算法

DOI:10.3778/j.issn.1002-8331.1911-0012
发表时间:2020
2

基于改进LinkNet的寒旱区遥感图像河流识别方法

基于改进LinkNet的寒旱区遥感图像河流识别方法

DOI:10.6041/j.issn.1000-1298.2022.07.022
发表时间:2022
3

新型树启发式搜索算法的机器人路径规划

新型树启发式搜索算法的机器人路径规划

DOI:10.3778/j.issn.1002-8331.1903-0411
发表时间:2020
4

现代优化理论与应用

现代优化理论与应用

DOI:10.1360/SSM-2020-0035
发表时间:2020
5

汽车侧倾运动安全主动悬架LQG控制器设计方法

汽车侧倾运动安全主动悬架LQG控制器设计方法

DOI:
发表时间:2017

相似国自然基金

1

参数多项式方程组求解及其在机器证明中的应用

批准号:10971217
批准年份:2009
负责人:王定康
学科分类:A0605
资助金额:22.00
项目类别:面上项目
2

复域差分的性质及其在差分方程中的应用

批准号:11226090
批准年份:2012
负责人:张然然
学科分类:A0201
资助金额:3.00
项目类别:数学天元基金项目
3

大规模科学计算中差分方程组的预处理方法

批准号:10776035
批准年份:2007
负责人:曹建文
学科分类:A31
资助金额:34.00
项目类别:联合基金项目
4

Nevanlinna理论在几类复差分方程中的应用

批准号:11301220
批准年份:2013
负责人:祁晓光
学科分类:A0201
资助金额:22.00
项目类别:青年科学基金项目