陆斌

作品数：4被引量：5H指数：2
导出分析报告
供职机构：大连理工大学更多>>
发文主题：通解机械化微分方程组微分代数偏微分方程组更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《山东科技大学学报（自然科学版）》《应用数学和力学》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
判定线性偏微分方程组解的完备性的一个符号计算方法被引量：2
《应用数学和力学》2002年第10期1008-1012,共5页张鸿庆 谢福鼎 陆斌 
国家 973资助项目 (G19980 30 6 0 0 ) ;国家自然科学基金资助项目 (10 0 72 0 13)
从微分代数的角度出发 ,借助于吴微分特征集理论 ,对于线性偏微分方程组 ,给出了判定它的解的完备性的一个符号计算方法·　这个算法是一个机械化的算法 ,借助于符号计算软件Maple 。
关键词：解 完备性 微分代数 偏微分方程组 符号计算 特征集 
验证形式可积系统解的完备性的机械化算法
《工科数学》2002年第1期1-8,共8页陆斌 张鸿庆 
国家自然科学基金资助项目 ( 1 0 0 72 0 1 3) ;国家重点基础研究发展规划项目 ( G1 9980 30 6 0 0 ) ;博士点基金资助项目
在 Reid等人标准型概念的基础上 ,引进形式可积系统的概念 .并给出验证形式可积系统解的完备性的机械化算法 ,并用此方法证明了各向同性弹性力学方程组的胡海昌解的完备性问题 .
关键词：标准型 机械化 形式可积系统 相容条件 各向同性弹性力学方程组 算法 
构造一类偏微分方程组通解的机械化方法及力学方程的自动推理被引量：3
《山东科技大学学报（自然科学版）》2002年第1期18-24,共7页陆斌 张鸿庆 
国家自然科学基金资助项目 (10 0 72 0 13);国家重点基础研究发展规划项目 (G19980 30 6 0 0 )
用微分代数的观点 ,把标准型算法和矩阵多元多项式的带余除法相结合 ,获得构造一类微分方程组的通解的新方法 ,并在标准型算法的基础上给出了力学方程的推理的机械化方法。
关键词：标准型 机械化方法 相容条件 微分方程组 通解 矩阵多元多项式 力学方程 
弹性力学通解的完备性的机械化证明方法
《泰安师专学报》2001年第6期1-3,共3页陆 斌 张鸿庆 
国家自然科学基金资助项目(10072013);国家重点基础研究发展规划项目(G1998030600);博士点基金资助项目
在吴方法的基础上,从微分代数的观点出发,机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题.
关键词：弹性力学 通解 完备性 机械化证明方法 相容条件 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部