| 构造一类偏微分方程组通解的机械化方法及力学方程的自动推理 |
| |
| 引用本文： | 陆斌,张鸿庆. 构造一类偏微分方程组通解的机械化方法及力学方程的自动推理[J]. 山东科技大学学报(自然科学版), 2002, 21(1): 18-24 |
| |
| 作者姓名： | 陆斌 张鸿庆 |
| |
| 作者单位： | 大连理工大学,数学科学研究所,辽宁,大连,116024 |
| |
| 基金项目： | 国家自然科学基金资助项目 (10 0 72 0 13)，国家重点基础研究发展规划项目 (G19980 30 6 0 0 ) |
| |
| 摘 要： | 用微分代数的观点，把标准型算法和矩阵多元多项式的带余除法相结合，获得构造一类微分方程组的通解的新方法，并在标准型算法的基础上给出了力学方程的推理的机械化方法。
|
| 关 键 词： | 标准型 机械化方法 相容条件 微分方程组 通解 矩阵多元多项式 力学方程 |
| 文章编号： | 1000-2308(2002)01-0018-07 |
| 修稿时间： | 2001-01-06 |
A Mechanized Algorithm for Constructing the General Solutions of a Class of the Partial Differential Equations and Auto-deduction of Mechanical Equations |
| |
| LU Bin,ZHANG Hong qing. A Mechanized Algorithm for Constructing the General Solutions of a Class of the Partial Differential Equations and Auto-deduction of Mechanical Equations[J]. Journal of Shandong Univ of Sci and Technol: Nat Sci, 2002, 21(1): 18-24 |
| |
| Authors: | LU Bin ZHANG Hong qing |
| |
| Abstract: | By combining the standard form algorithm with the pseudo division algorithm for matrix multivariable polynomial,a new method of constructing the general solutions of a class of the partial differential equations is obtained,thereby with the view of the differential algebra and a mechanical algorithm for auto deducing the mechanical equations is got on the basis of the standard form algorithm. |
| |
| Keywords: | standard form mechanized algorithm compatible conditions |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
