Solving Linearized Equations of the $N$-body Problem Using the Lie-integration Method
- 格式:pdf
- 大小:293.51 KB
- 文档页数:13
《人工智能》测试题答案测试题——人工智能原理一、填空题1.人工智能作为一门学科,它研究的对象是______,而研究的近期目标是____________ _______;远期目标是___________________。
2.人工智能应用的主要领域有_________,_________,_________,_________,_______和__________。
3.知识表示的方法主要有_________,_________,_________,_________和________。
4.产生式系统由三个部分所组成,即___________,___________和___________。
5.用归结反演方法进行定理证明时,可采取的归结策略有___________、___________、_________、_________、_________和_________。
6.宽度优先搜索对应的数据结构是___________________;深度优先搜索是________________。
7.不确定知识处理的基本方法有__________、__________、__________和__________。
8.AI研究的主要途径有三大学派,它们是________学派、________学派和________学派。
9.专家系统的瓶颈是________________________;它来自于两个阶段,第一阶段是,第二阶段是。
10.确定因子法中函数MB是描述________________________、而函数MD是描述________________________。
11.人工智能研究的主要领域有_________、_________、_________、_________、_______和__________。
12.一阶谓词逻辑可以使用的连接词有______、_______、_______和_______。
解偏微分方程组是现代数学和物理学中一个重要且具有挑战性的问题。
为了解决偏微分方程组,人们需要借助各种数值计算方法和计算工具。
solve_ivp就是其中之一。
1. 什么是偏微分方程组?偏微分方程组是描述自然界中各种现象的数学模型之一。
它广泛应用于物理学、工程学、生物学等领域。
偏微分方程组通常包括多个未知函数和其各自的导数,例如偏导数、二阶偏导数等。
求解偏微分方程组是理解和预测自然现象的重要方法之一。
2. solve_ivp是什么?solve_ivp是Python语言中一个用于求解初值问题的函数。
在解偏微分方程组时,人们通常将其转化为初值问题,然后使用solve_ivp来求解。
solve_ivp使用了诸如Runge-Kutta方法、Adams-Bashforth方法等数值计算方法,可以在计算机上高效求解各种复杂的初值问题。
3. solve_ivp的使用方法使用solve_ivp求解偏微分方程组可以分为以下几个步骤:(1)确定偏微分方程组的初值问题形式,即确定未知函数及其初值;(2)将偏微分方程组转化为初值问题;(3)使用solve_ivp函数,输入转化后的初值问题,并设定求解的时间区间和其他必要参数;(4)获得数值结果,并进行后续的分析和应用。
4. solve_ivp的优势和局限solve_ivp作为一个强大的数值计算工具,具有以下优势:(1)可以高效处理各种复杂的初值问题;(2)使用了多种高精度的数值计算方法,保证了求解的准确性和稳定性;(3)与Python科学计算库(如numpy、scipy)高度兼容,可以方便地与其他计算工具和数据进行集成。
然而,solve_ivp也存在一些局限:(1)对于一些特殊的偏微分方程组,可能需要进行额外的数值优化和调整;(2)对于高维的偏微分方程组,求解的时间和内存消耗会较大;(3)在处理非线性、非定常的偏微分方程组时,需要谨慎选择数值方法和参数。
solve_ivp作为求解偏微分方程组的重要工具之一,为人们在理论研究和工程应用中提供了便捷、高效的数值求解方法。
1.ABAQUS的UMAT一点看法:如果本构模型复杂,应力应变关系是非线性的隐式表达,就需要进行迭代,更新应力。
这就是UMAT 的最重要的任务。
那么这样一来,在给定应变增量的情况下更新应力,就必须求解应变对应力的导数,运用迭代,如N-R迭代。
这样一来,在UMAT中就需要求解两次导数。
(DDSDDE为一次)所以比较麻烦的。
对于时间相关的本构模型来说更是麻烦。
2.使用abaqus求解螺栓和螺母接触螺纹的强度所碰到的问题1.Solver problem. Zero pivot when processing D.O.F. 1 of 49 nodes. The nodes have been identified in node set warnnodesolvprobzeropiv_1_1_1_1_1.(是什么原因造成的?)2。
The system matrix has 6276 negative eigenvalues..(是什么原因造成的?)3。
1304 nodes may have incorrect normal definitions. The nodes have been identified in node set warnnodeincorrectnormal.(这个法向量错误在模型中显示为螺母内部的接触面,但我反了一下法向量还是同样错误)4。
Program is asked to invert a singular matrix.(是什么原因造成的?)2.模型就是一个螺母和螺栓之间夹一个平板的简单模型边界条件施加如下:固定螺栓的下端,在螺栓、平板、螺母之间分别建立surface to surface接触(带摩擦),然后在螺母上施加力矩,这样来求解螺栓预紧时螺纹接触部分的应力,但总是出现上述问题,请高手分析指点,谢谢!答:检查一下两个接触面之间是不是有初始的穿透;负特征值可能是因为你的初始步长太大了,接触的问题;保证模型中的每个零件在开始时有稳定的约束,可以考虑加一些软弹簧约束住;还可以用ajust使两个接触面在一开始就起上作用。
CG算法的预处理技术:、为什么要对A进行预处理:其收敛速度依赖于对称正定阵A的特征值分布特征值如何影响收敛性:特征值分布在较小的范围内,从而加速CG的收敛性特征值和特征向量的定义是什么?(见笔记本以及收藏的网页)求解特征值和特征向量的方法:Davidson方法:Davidson 方法是用矩阵( D - θI)- 1( A - θI) 产生子空间,这里D 是A 的对角元所组成的对角矩阵。
θ是由Rayleigh-Ritz 过程所得到的A的近似特征值。
什么是子空间法:Krylov子空间叠代法是用来求解形如Ax=b 的方程,A是一个n*n 的矩阵,当n充分大时,直接计算变得非常困难,而Krylov方法则巧妙地将其变为Kxi+1=Kxi+b-Axi 的迭代形式来求解。
这里的K(来源于作者俄国人Nikolai Krylov姓氏的首字母)是一个构造出来的接近于A的矩阵,而迭代形式的算法的妙处在于,它将复杂问题化简为阶段性的易于计算的子步骤。
如何取正定矩阵Mk为:Span是什么?:设x_(1,)...,x_m∈V ,称它们的线性组合∑_(i=1)^m?〖k_i x_i \|k_i∈K,i=1,2...m〗为向量x_(1,)...,x_m的生成子空间,也称为由x_(1,)...,x_m张成的子空间。
记为L(x_(1,)...,x_m),也可以记为Span(x_(1,)...,x_m)什么是Jacobi迭代法:什么是G_S迭代法:请见PPT《迭代法求解线性方程组》什么是SOR迭代法:什么是收敛速度:什么是可约矩阵与不可约矩阵?:不可约矩阵(irreducible matrix)和可约矩阵(reducible matrix)两个相对的概念。
定义1:对于n 阶方阵A 而言,如果存在一个排列阵P 使得P'AP 为一个分块上三角阵,我们就称矩阵A 是可约的;否则称矩阵A 是不可约的。
定义2:对于n 阶方阵A=(aij) 而言,如果指标集{1,2,...,n} 能够被划分成两个不相交的非空指标集J 和K,使得对任意的j∈J 和任意的k∈K 都有ajk=0, 则称矩阵 A 是可约的;否则称矩阵A 是不可约的。
第 62 卷第 5 期2023 年9 月Vol.62 No.5Sept.2023中山大学学报(自然科学版)(中英文)ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS SUNYATSENI基于Tikhonov正则化改进的IHB法求解Mathieu-Duffing系统多重解*王德亮1,2,刘济科1,刘广1,21. 中山大学航空航天学院,广东深圳 5181072. 深圳市智能微小卫星星座技术与应用重点实验室,广东深圳 518107摘要:增量谐波平衡法(IHB法)是研究强非线性振动系统的一种半数值半解析方法,然而已有研究表明,在求解含多重解的系统时该方法的收敛性强烈地依赖于初值的选择。
Tikhonov正则化常被用于优化问题中来解决可能出现的病态问题。
文章通过在原始的IHB法中引入Tikhonov正则化,提出一种改进的IHB法(TIHB法)来求解具有多重解的Mathieu-Duffing系统。
结果表明,改进的TIHB法可以快速、高效地获得系统的多个稳定或不稳定解,且算法的收敛性能要远远优于原始的IHB法。
关键词:非线性振动;IHB法;Tikhonov正则化;多重解中图分类号:V21 文献标志码:A 文章编号:2097 - 0137(2023)05 - 0078 - 07Multiple solutions of the Mathieu-Duffing system obtainedby the improved IHB method based on Tikhonov regularizationWANG Deliang1,2, LIU Jike1, LIU Guang1,21. School of Aeronautics and Astronautics,Sun Yat-sen University, Shenzhen 518107, China2. Shenzhen Key Laboratory of Intelligent Microsatellite Constellation, Shenzhen 518107, ChinaAbstract:The incremental harmonic balance method (IHB method) is a semi-numerical and semi-ana‐lytical method for strongly nonlinear dynamic systems. However, previous studies have shown that the convergence performance of the original IHB method in solving systems with multiple solutions strong‐ly depends on the selection of initial values. The Tikhonov regularization is often used in optimization problems to solve potential ill-posed problems. In this paper, by incorporating the Tikhonov regulariza‐tion into the original IHB method, an improved IHB method (TIHB method) is proposed to obtain the multiple solutions of the Mathieu-Duffing system. The results show that the improved TIHB method can obtain the stable and unstable solutions of the Mathieu-Duffing system quickly and efficiently, and the convergence performance of the TIHB method is much better than the original IHB method.Key words:nonlinear vibration; IHB method; Tikhonov regularization; multiple solution现实中的各种振动系统都含有非线性因素(陈予恕,1992;陈树辉,2007;Amabili,2008)。
broyden 法Broyden方法:数值计算中的非线性方程求解方法引言在数值计算中,非线性方程的求解一直是一个重要的问题。
非线性方程在各个科学领域中广泛存在,例如在物理学、经济学、工程学和生物学等领域中。
为了解决这一问题,数学家们提出了许多方法。
其中之一就是Broyden方法,它是一种迭代算法,能够有效地求解非线性方程组。
Broyden方法的原理Broyden方法是通过求解雅可比矩阵的逆来进行迭代的。
具体来说,假设我们要求解一个非线性方程组F(x)=0,其中F(x)是一个向量函数,x是未知变量的向量。
Broyden方法的关键思想是利用已知的解向量和函数值来逼近雅可比矩阵的逆。
具体地说,我们假设已知一个初始矩阵B0作为雅可比矩阵的逆的近似。
然后,我们可以根据以下公式来计算下一个近似矩阵Bk+1:Bk+1 = Bk + (s - Bk y) (s^T Bk) / (s^T Bk y)其中,s是解向量的增量,即s = xk+1 - xk,y是函数值的增量,即y = F(xk+1) - F(xk)。
通过迭代计算,我们可以逐渐改进对雅可比矩阵逆的近似,从而得到逼近方程组解的序列{xk}。
Broyden方法的优势和应用相对于其他非线性方程求解方法,Broyden方法具有一些明显的优势。
首先,Broyden方法无需求解雅可比矩阵的矩阵方程,避免了对方程求解求导等复杂的计算。
其次,Broyden方法在迭代过程中能够快速收敛到解,尤其是对于初始矩阵的选择较好的情况下。
Broyden方法在众多领域中有着广泛的应用。
在物理学中,Broyden方法常用于求解多体问题中的非线性方程组,如经典力学和量子力学中的方程组。
在经济学中,Broyden方法可以用于计算经济模型中的均衡解。
在工程学中,Broyden方法可以用于求解复杂的工程系统中的非线性方程组。
在生物学中,Broyden方法可以用于建模和求解生物过程中的非线性方程组。
Lyapunov-Schmidt方法是一种用于非线性方程组的求解的数值方法。
它是由俄罗斯数学家Aleksandr Lyapunov和德国数学家Ernst Schmidt分别在19世纪和20世纪提出的。
这种方法在处理非线性问题时非常有效,并且在应用数学和工程领域得到了广泛的应用。
Lyapunov-Schmidt方法的核心思想是将原始的非线性方程组转化成一系列线性方程组,从而简化求解过程。
这种方法的优势在于可以通过有限步骤来逼近非线性方程组的解,从而大大提高了求解效率。
下面我们将详细介绍Lyapunov-Schmidt方法的原理和应用。
1. Lyapunov-Schmidt方法的原理Lyapunov-Schmidt方法的原理是通过引入一组正交归一的特征函数,将原始的非线性方程组转化为一系列正交归一的线性方程组。
这样一来,原始的非线性方程组就被分解成了一系列互相独立的线性方程组,从而使得求解过程变得更加简单和高效。
2. Lyapunov-Schmidt方法的应用Lyapunov-Schmidt方法在科学和工程领域有着广泛的应用。
比如在物理学中,通过Lyapunov-Schmidt方法可以求解复杂的非线性波动方程,从而对物质的运动和变形进行研究。
在工程领域,Lyapunov-Schmidt方法可以用于求解具有非线性特性的结构力学问题,如弹性体的变形和弹性波的传播等。
3. 使用案例我们以一个简单的非线性方程组为例来说明Lyapunov-Schmidt方法的求解过程。
假设我们有一个非线性方程组:f(x, y) = 0g(x, y) = 0我们希望求解这个方程组的解。
我们可以通过Lyapunov-Schmidt方法将原始的非线性方程组转化为一系列正交归一的线性方程组:Φ1(x, y) = 0λ1(Φ1x + Φ1y) = 0Φ2(x, y) = 0λ2(Φ2x + Φ2y) = 0...我们可以通过求解这一系列线性方程组来逼近原始的非线性方程组的解。
arXiv:0707.3454v1 [astro-ph] 23 Jul 2007Mon.Not.R.Astron.Soc.000,1–13(2007)Printed1February2008(MNLATEXstylefilev2.2)SolvingLinearizedEquationsoftheN-bodyProblemUsingtheLie-integrationMethod
Andr´asP´al1⋆and´AronS¨uli11DepartmentofAstronomy,Lor´andE¨otv¨osUniversity,P´azm´anyP´eters´et´any1/A,BudapestH-1117,Hungary
Accepted2007July18.Received2007July13;inoriginalform2007May25ABSTRACTSeveralintegrationschemesexitstosolvetheequationsofmotionoftheN-bodyproblem.TheLie-integrationmethodisbasedontheideatosolveordinarydifferen-tialequationswithLie-series.Inthe1980sthismethodwasappliedfortheN-bodyproblembygivingtherecurrenceformulaforthecalculationoftheLie-terms.TheaimofthisworksistopresenttherecurrenceformulaeforthelinearizedequationsofmotionofN-bodysystems.Weprovealemmawhichgreatlysimplifiesthederiva-tionoftherecurrenceformulaeforthelinearizedequationsiftherecurrenceformulaefortheequationsofmotionsareknown.TheLie-integratoriscomparedwithotherwell-knownmethods.TheoptimalstepsizeandorderoftheLie-integratorarecalcu-lated.Itisshownthatafine-tunedLie-integratorcanbe30%-40%fasterthanotherintegrationmethods.
Keywords:celestialmechanics–methods:numerical–methods:N-bodysimula-tions
1INTRODUCTIONTheclassicalproblemsofcelestialmechanicsaredescribedbyasystemofordinarydifferentialequations(ODEs).TheinvestigationofthemotionsintheSolarSystem,exoplan-etarysystems,satellitesaroundtheEarthorotherceles-tialobjectsarebasedonthesolutionsofsuchODEs.How-ever,severalmodernanalysis,includingmanychaosdetec-tionmethodsrequiretosolvethelinearizedequationsoftheproblem.TheintegrationmethodbasedontheLie-series(Gr¨obner&Knapp1967)iswidelyusedincelestialmechan-icstosolveODEs(seeHanslmeier&Dvorak(1984),here-afterH&Dandarticlesreferringtoit).ThebasisofthismethodistogeneratethecoefficientsoftheTaylorexpan-sionofthesolutionbyusingrecurrencerelations.Theprin-cipalapplication,i.e.theintegrationoftheN-bodyproblemisdescribedindetailsinH&D.
1.1Lie-integrationHerewesummarizethekeypointsofthismethodofnumer-icalintegration,usingalmostidenticalnotationsasusedbyHanslmeier&Dvorak(1984).Letuswritethedifferentialequationtobesolvedas
˙xi=fi(x),(1)
⋆E-mail:apal@szofi.elte.hu(AP);a.suli@astro.elte.hu(´AS)
wherex≡(x1,...,xN)isanR→RNandf≡(f1,...,fN)isanRN→RNcontinuousfunctionandNisthedimensionofthevectorxandthevectorspacewherefmapsfromandmapsto.Letusintroducethedifferentialoperator
Di:=∂
∂xi
,(3)
whichisknownastheLie-derivationorLie-operator.L0isalineardifferentialoperatorandonecanapplyLeibniz’srule,
L0(ab)=aL0(b)+bL0(a),(4)whereaandbareRN→RNdifferentiablefunctions.Itcaneasilybeproventhatthesolutionofequation(1)atagiveninstancet+∆tisformally
x(t+∆t)=exp(∆t·L0)x(t),(5)where
exp(∆t·L0)=∞Xk=0∆tkk! NX
i=1fiDi!k.(6)
ThemethodofLie-integrationisfiniteapproximationofthesumintheright-handsideofequation(6),uptotheorderofM,namely2A.P´aland´A.S¨ulix(t+∆t)≈ MXk=0∆tkk!“Lk0x(t)”.(7)Theproofofequation(5)andotherrelatedpropertiesoftheLie-derivationcanbefoundinGr¨obner&Knapp(1967)orHanslmeier&Dvorak(1984).InspiteofthefactthattheLie-derivativescanana-lyticallybecalculateduptoarbitraryorder,theformulaeyieldedbytheseexpansionsarehighlycomplicatedevenifallkindsofnewvariablesareintroduced(seee.g.equations(19d)or(19e)inH&Datpage204).Adefinitelymoreeffi-cientwaytoevaluatetheLie-derivativesistofindasetofrecurrencerelations.Theserelationsallowustoexpressthe(n+1)thLie-derivative,e.g.Ln+1xasthefunctionofthederivativeswithlowerorder,namelyLjxwhere0jn.Theinitializationofsucharecurrencerelationisevident,becauseL0x≡x.Wenotethatinseveralapplications,well-chosenauxiliaryvariableshavetobeintroducedtogainacompactsetofrecurrencerelationswhichcanefficientlybeevaluated.
1.2TheimportanceoflinearizedequationsWiderangeofproblemsrelatedtocelestialmechanicsre-quiretosolvesimultaneouslythelinearizedformoftheorig-inalequationstoo.Thenumerousexperimentsconductedinthelastdecadesshowthatchaoticbehaviouristypicalandalreadyoccursinsimplebutnonlinearsystems.Thisfind-ingthrowscompletelynewlightuponthesesystemsandthestudyofchaoticbehaviourbecameofhighconcern.Amajorpartofthefrontlineresearchfocusesonthestructureofthephasespace,thereforetheproblemtoseparateorderedandchaoticmotioninsystems,whichpossesonlyafewdegreesoffreedomandaredescribedbyODEs,hasbecomeafun-damentaltaskinawideareaofmodernresearch.Thephasespaceofthesenonlinearsystemscannotbedescribedbytheknownmathematicaltools.Tomapthephasespaceandstudythechaoticbehaviourofagivensystemfastandreli-ablenumericaltoolsareneeded.Thesetoolsareextremelyusefulinthosecaseswhentheinspecteddynamicalsystemhasmorethantwodegreesoffreedomandaccordinglyitsphasespacecannotbeexploredinadirectwayortheclas-sicalmethodofsurfaceofsection(SoS)cannotbeappliedwhichiswidelyusedinthecaseofconservativesystemswithtwodegreesandfreedom.ThebasicideaofthemethodofSoSwasinventedbyPoincar´e(1899)anditsapplicationwasrenewedbyH´enon&Heiles(1964).ThemathematicalfoundationofthetheoryofLya-punovCharacteristicExponents(LCEs)isapproximatelyofthesameageastheSoSandaroseprogressivelyinthelit-erature.TheuseofsuchexponentsdatesbacktoLyapunov(1907),butwasfirstappliedbyOseledec(1968)tocharac-terizetrajectories.H´enon&Heiles(1964)foundthatinanintegrableregionofthephasespaceofadynamicalsystemnearbyorbitsdivergelinearlywhereasinachaoticregiontheydivergeexponentially.TheLCEsexpressthesefactsinapreciseformandmanypapersweredevotedtotheappli-cationofLCEsinseveralnonlinearproblems.Unfortunatelybothmethodshaveaseriousdrawback.TocomputetheLCEstheequationshavetointegrateforin-finity,whichisnumericallyimpossible.ThemethodofSoSbecomeshardtohandleandgreatlydeceivingforsystems