弹性力学通解的完备性的机械化证明方法

A mechanical algorithm for proving the completeness of the solutions of elasticity equations

下载PDF

导出

摘要在吴方法的基础上,从微分代数的观点出发,机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题. Basing on wu's method, a mechanically prove the completeness of the solutions of completeness of the Hu's solutions in elasticity with the view of the differential algebra.

作者陆斌张鸿庆

机构地区大连理工大学应用数学系

出处《泰安师专学报》 2001年第6期1-3,共3页 Journal of Taian Teachers College

基金国家自然科学基金资助项目(10072013) 国家重点基础研究发展规划项目(G1998030600) 博士点基金资助项目

关键词弹性力学通解完备性机械化证明方法相容条件 standard form mechanical algorithm compatible conditions

分类号 O343 [理学—固体力学]

引文网络
相关文献

参考文献2

1王敏中,何北昌.胡海昌解的完备性的注记[J].应用数学和力学,1989,10(6):547-551. 被引量：4
2V. L. Topunov. Reducing systems of linear differential equations to a passive form[J] 1989,Acta Applicandae Mathematicae(2):191～206

二级参考文献4

1张鸿庆，科学通报，1985年，30卷，5期，342页
2王敏中，应用数学和力学，1981年，2卷，2期，243页
3匿名著者，数学弹性力学的几个基本问题，1965年
4胡海昌，物理学报，1953年，9卷，2期，130页

共引文献3

1张鸿庆,谢福鼎,陆斌.A SYMBOLIC COMPUTATION METHOD TO DECIDE THE COMPLETENESS OF THE SOLUTIONS TO THE SYSTEM OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS[J].Applied Mathematics and Mechanics(English Edition),2002,23(10):1134-1139.
2王长兴,于百胜.弹性空间问题的协调方程及二阶应力函数[J].长春理工大学学报（自然科学版）,1990,22(1):7-14.
3陆斌,张鸿庆.验证形式可积系统解的完备性的机械化算法[J].工科数学,2002,18(1):1-8.

1王天明,许玉霞.反演关系的机械化证明[J].大连理工大学学报,2000,40(1):9-10.
2李廉,李慧陵,刘义循.线性方程组对于量词的可满足性[J].中国科学（A辑）,1992,23(7):673-679.
3徐新生,王敏中.关于Boussinesq-Galerkin解和胡海昌解的等价性[J].力学学报,1993,25(2):237-241.
4刘法贵,史成堂,杨志坚.具耗散项弹性力学方程组弱解存在性[J].纺织基础科学学报,1994,7(4):347-352.
5王敏中,何北昌.胡海昌解的完备性的注记[J].应用数学和力学,1989,10(6):547-551. 被引量：4
6刘军.弹性力学方程组粘性解的收敛性[J].汕头大学学报（自然科学版）,1996,11(1):35-39.
7金培鹏.求解中厚板的固有振动问题[J].青海大学学报（自然科学版）,1996,14(1):18-21.
8徐永忠.“机器证明”第一人——吴文俊[J].数学大世界（教学导向）,2003(1):3-3.
9傅向荣,袁明武,岑松,田歌.一种求三维弹性力学基本解析解的特征方程解法[J].应用数学和力学,2012,33(10):1170-1179. 被引量：4
10黄明.重心坐标在几何定理机械化证明中的应用[J].中国科学技术大学学报,1991,21(1):87-92.

泰安师专学报

2001年第6期

浏览历史

内容加载中请稍等...

弹性力学通解的完备性的机械化证明方法

参考文献2

二级参考文献4

共引文献3

相关作者

相关机构

相关主题

浏览历史