试探方程法对某几类方程精确解的研究.pdf

中文摘要的完全判别系统,求解出方程的精确行波解,包括有理函数解、孤波解、:浠弧⑵氪纹胶夥ā⑼衷埠箍7ā⑹状位址ā⒅甘箍7第三章给出了试探方程法的主要思想及其步骤并利用试探方程法对求解修正匠獭匠叹咛逵τ茫ü;精确解;数学机械化;多项式完全判别系统;孤立子随着现代科学技术的发展,,因此在化学、生物、光纤通讯、流体力学、等离子体物理、,,了解了孤立子理论,:‘
●
㈩英文摘要—琒,纷缸黑龙江大学硕士学位论文甋琿.,:;;,,琾痚瑂。、.;——.
目录非线性发展方程精确解若干解法介绍.................⒎侄嘞钍健⑽⒎至愕阌胛⒎执兀.⒎稚杏胛⒎钟嗍剑参考文献...................................中文摘要....................................英文摘要....................................目录.......................................第绪论..................................数学机械化与符号计算.......................孤立子理论的历史与发展......................本文章节安排............................非线性发展方程...........................非线性发展方程几种常见解法...................变换........................氪纹胶夥ǎ椭圆函数展开法.................................................⒎痔卣骷捌淞愕憬峁苟ɡ恚试探方程法及应用..........................试探方程法........................:.....................................拚齥方程...................方程.....................结论...........................⋯........
二一坠~独创性声明.........................’..........一Ⅳ一
、张景中、周咸青⋯献魈岢隽嘶诩负尾槐淞康摹跋惴ㄒ唬迪扬光大,,吴先生在《中国科学》上发表了题为《初等几何判定问题与机械倔原理》的论文【;年,吴先生的学术专著负味ɡ砘髦っ鞯幕驹怼酚煽蒲С霭嫔绯霭妫獠孔ㄖ⒘烁类几何的机械化定理,,吴先生的论篇重要文献,,在热斯ぷ鞯幕∩希庀壬獯7ǖ乃枷胪乒愕轿分情形,创立了吴微分消元法【,提出了吴微分特征列的概念,完善和发展了特征集用砺垩芯科⒎“是自迨甏与呕殖绦蛞岳醋远评斫缱钪匾5囊件单独的事情霉ぷ鳌霸谑辜扑慊窬哂兴闶跆觳拍茄哂屑负翁觳耪庖徊豢避免的过程中将是一座里程碑”.自动推理界权威贏将这一工作列为近年来自动推理界“重要进展牡谝幌睿啤霸诩负沃兄っ饔幸义的定理并给出可读证明迨甏闹匾9ぷ’’近年来才由周咸青,高小青,,他们提出了微分几何的自动定理证明的新方法,、高小山等【’芯坑梦夥椒ㄖっ鞴乖煨投ɡ碛牍旒G蠼馕侍猓涣侄世纪年代,中国科学院院士吴文俊先生由中国的传统思想出发,从几何定理证明入手始数学机械化研究,所建立的数学机械化方法,不仅将中国传统数学发文赜诖匠套榈牧愕恪贩⒈怼咛逄致哿硕嘞钍椒匠套樗范ǖ牧愕慵“#庀壬墓ぷ鳌安唤龅於俗远评硌芯康幕。腋