机器证明原理在偏微及差分方程（组）对称计算中的应用
基本信息
批准号：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
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
3
资本品减税对僵尸企业出清的影响——基于东北地区增值税转型的自然实验
资本品减税对僵尸企业出清的影响——基于东北地区增值税转型的自然实验
DOI：10.14116/j.nkes.2021.03.003
发表时间：2021
4
氯盐环境下钢筋混凝土梁的黏结试验研究
氯盐环境下钢筋混凝土梁的黏结试验研究
DOI：10.3969/j.issn.1001-8360.2019.08.011
发表时间：2019
5
基于分形维数和支持向量机的串联电弧故障诊断方法
基于分形维数和支持向量机的串联电弧故障诊断方法
DOI：
发表时间：2016
特木尔朝鲁的其他基金
批准号：11071159
批准年份：2010
资助金额：28.00
项目类别：面上项目
批准号：11571008
批准年份：2015
资助金额：55.00
项目类别：面上项目
批准号：10461005
批准年份：2004
资助金额：20.00
项目类别：地区科学基金项目
相似国自然基金
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
项目类别：青年科学基金项目