排序方式: 共有25条查询结果,搜索用时 6 毫秒
1.
给出了非退化线性偏微分方程组及二次型泛函对称群的不变向量场的一般形式和一类特殊形式非线性偏微分方程组对称群的简化计算条件;利用以上结论及作者以往工作,借助符号运算语言MathematicaTM计算了平面弹性力学方程组一阶Lie-Bactlund对称群的不变向量场,以及应力函数对应的三维弹性力学方程组的Lie代数.为构造弹性力学方程组的一类广泛精确解及守恒律提供了必要的基础,并说明了结论对计算偏微分方程组对称群时的简化作用 相似文献
2.
在中国武术现有的竞赛理念及竞赛组织结构模式的基础上,提出了武术发展战略创新和以搏击为核心的发展理念,指出武术发展应以市场为导向,以一流的产品进入市场,力求在市场中赢得先机,形成文化上、经济上的良性循环,并且打造武术文化大品牌,扩展武术的影响面,使武术产品由中国推向世界,从而使武术创新的各种要素有机的联系在一起,使武术的整体发展向前推进,营造武术创新机制的新格局。 相似文献
3.
朝鲁 《内蒙古大学学报(自然科学版)》1992,23(4):494-501
本文研究了一类高阶非线性发展方程的初值问题(正文问题(p)).在较广泛的限制条件下,利用抽象发展方程的理论,得到了初值问题的局部解在某sobolev空间中的适定性.并证明了(定理2.2)当初值的正则性有变化时初值问题具有固定不变的局部解存在区间的结论.即局部解的存在区间不与初值的正则性的变化而缩小,从而为整体解的研究提供了有利条件(见定理2.3). 相似文献
4.
用吴方法计算BBM-Burgers方程的势对称及其不变解 总被引:1,自引:1,他引:1
用微分形式的吴方法计算了BBM-Burgers方程的古典对称和势对称,并求解了对应的不变解.确定了势对称群,并把它应用于不同对称对应的不变解上得到该方程的一系列精确解.重要的是这些解不能由方程的古典对称得到.求解确定方程组时吴方法起到了关键作用. 相似文献
5.
1.推广试验的内容和方法 羊草作为一种抗旱、耐寒、耐盐碱的优良牧草,在试验推广区草场上分布面积约140万亩,集中分布面积约38万亩。集中分布地区多在丘间凹地、沿河阶地以及一些季节性洪水冲击地带。在农业综合开发草原建设项目实施中,从1994年开始,我们选择在羊草群落集中分布的查干补力格、白音朝克图、查干敖包、白音花和红格尔五个苏木进行浅耕翻技术推广试验。每苏木选择1.-3块300-500亩有羊草分布的地块,在雨季用T654型拖拉机牵引三铧犁进行带状浅耕翻,带宽15-20米,耕翻深度10-15厘米,翻后耙平镇压休闲,逐年扩大浅耕翻面积。 相似文献
6.
对文〔4〕中计算微分方程 (组 )古典对称确定方程组的部分程序作了一些改进 ,使其更具实用性 ,提高了运算速度 ,实现了文〔3〕中提出的“部分计算”与信息反馈法的机械化 ,使输出结果更简洁 ,便于用吴 -微分特征列法〔3〕对确定方程组作进一步简化 .同时编制了计算微分方程(组 )非古典对称的程序 ,该程序具有通用性好 ,效率高等特点 .本文程序是由符号计算系统软件 Mathematica实现的 .作为算例给出了 m KDV方程的非古典对称及利用对称将 Jim bo-Miwa方程化成了常微分方程 ,说明了我们的算法、程序及对称理论的有效性 . 相似文献
7.
给出机器证明原理在微分情形和一些力学问题中的应用.引进保持性质的导数的形式记号,建立了微分方程变量间依赖关系的自动推理的机械化证明原理,从而方程间的变换(如Backlund变换等)均可机械地验证.并具体给出该方法在:弹性力学控制方程的自动推理;(PKP)方程的Backlund变换的正确性的机械化验证及各向异性弹力中的不变量的自动推理中的应用并用计算机代数系统实现了其运算.给出了计算机判断和推导方程变量间内在关系的计算机代数方法. 相似文献
8.
9.
应用对称约化法将偏微分方程约化成自变量比原方程少一个的微分方程组来求解,得到了两类非线性发展方程的精确解. 相似文献
10.
朝鲁 《内蒙古师范大学学报(自然科学版)》1994,(1):13-19
利用基本解及一致先验估计的方法,研究了一类高阶广义kdv型方程的初值问题整体解的适定性。在非线性项满足一定条件下,获得了整体解适定的结论。 相似文献