Article information
2014 , Volume 19, ¹ 6, p.3-18
Banshchikov A.V., Burlakova L.A., Irtegov V.D., Titorenko T.N.
Symbolic computation in modelling and qualitative analysis of dynamic systems
Purpose. We propose a technology for investigation of dynamics and stability for motion of mechanical systems and electrical circuits in a symbolic form. The software packages that support the proposed technology are described. Design/methodology/approach. The algorithms implemented in the packages are based on classical methods of analytical mechanics, stability theory of motion and methods representing their further development. Findings. Algorithms for modelling and qualitative analysis of mechanical systems, linear and nonlinear electrical circuits have been described. These algorithms were implemented using computer algebra system Mathematica and presented in the form of its add-on packages. The developed software allows constructing of the characteristic function for the above systems on the base of their geometric description. The function can be used both for deriving equations of motion (state equations of circuit) and for qualitative analysis of stationary solutions (invariant manifolds) of these equations. Functional abilities of the packages have been demonstrated by the specific examples. Research limitations/implications. Software packages are applied for solution of the problems mentioned above entirely in a symbolical form. Such technique is efficient enough for construction of mathematical models (differential equations) and for their qualitative analysis, in particular, for parametric analysis. Originality/value. Using the developed software, new results have been obtained in investigation of the following problems: dynamics of artificial satellites, motion of a rigid body in an ideal fluid, Euler’s equations on Lie algebras, electrical nonlinear circuits and some others. Packages continue to through the expansion of the algorithmic framework.
[full text] Keywords: Modelling, qualitative analysis, mechanical system, electrical circuit, computer algebra system, complex of programs
Author(s): Banshchikov Andrei Valentinovich PhD. , Associate Professor Position: Senior Research Scientist Office: Institute for System Dynamics and Control Theory of SB RAS Address: 664033, Russia, Irkutsk, Lermontov str., 134
Phone Office: (3952) 45-30-56 E-mail: bav@icc.ru Burlakova Larisa Aleksandrovna PhD. , Associate Professor Position: Senior Research Scientist Office: Institute for System Dynamics and Control Theory of SB RAS Address: 664033, Russia, Irkutsk, Lermontov str., 134
Phone Office: (3952) 42-78-80 E-mail: burlakova.larisa@gmail.com Irtegov Valentin Dmitrievich Dr. , Associate Professor Position: Senior Research Scientist Office: Institute for System Dynamics and Control Theory of SB RAS Address: 664033, Russia, Irkutsk, Lermontov str., 134
Phone Office: (3952) 42-78-80 E-mail: irteg@icc.ru Titorenko Tatiana Nikolaevna PhD. Position: Senior Research Scientist Office: Institute for System Dynamics and Control Theory of SB RAS Address: 664033, Russia, Irkutsk, Lermontov str., 134
Phone Office: (3952) 35-70-30 E-mail: titor@icc.ru
References: [1] Banshchikov A.V., Burlakova L.A., Irtegov V.D., Titorenko T.N. The LinModel software package for analysis of dynamics of large-dimensional mechanical systems [Programmnyj kompleks LinModel dlya analiza dinamiki mekhanicheskikh sistem bol'shoi razmernosti]. Svidetel'stvo o gosudarstvennoj registracii programmy dlja JeVM ¹2008610622. FGU FIPS; 2008. (In Russ.) [2] Banshchikov A.V., Burlakova L.A., Irtegov V.D., Titorenko T.N. A software package for finding and investigation of stability of stationary sets of mechanical systems [Programmnyj kompleks dlya vydeleniya i issledovaniya ustoichivosti statsionarnykh mnozhestv mekhanicheskikh system]. Svidetel'stvo o gosudarstvennoj registracii programmy dlja JeVM ¹2011612429. FGU FIPS; 2011. (In Russ.) [3] Irtegov V.D., Titorenko T.N. On the use of electromechanical analogies [Ob ispol'zovanii elektromekhanicheskikh analogij]. Sistemy podderzhki prinjatija reshenij dlja issledovanija i upravlenija jenergetikoj. Novosibirsk: Nauka; 1997. 136–145. (In Russ.) [4] Lur'e A.I. Analytical mechanics [Analiticheskaya mekhanika]. Moscow: FIZMATGIZ; 1961. 824. (In Russ.) [5] Sinitskii L.A. Metody analiticheskoi mekhaniki v teorii elektricheskikh tsepej [Methods of analytical mechanics in the theory of electric circuits]. L'vov: Vishcha shkola; 1978. 139. (In Russ.) [6] Brayton R.K., Moser J.K. A theory of nonlinear networks –1 . Quarterly of Applied Mathematics. 1964; 22(1): 1–33. [7] Ljapunov A.M. The constant helical motions of a rigid body in a fluid [O postoyannykh vintovykh dvizheniyakh tverdogo tela v zhidkosti]. Moscow: Izd-vo AN SSSR; 1954. 1. 276–319. (In Russ.) [8] Irtegov V.D. Invariant manifolds of steady motions and their stability [Invariantnye mnogoobraziya statsionarnykh dvizheniy i ikh ustoychivost' ].Novosibirsk: Nauka; 1985. 142. (In Russ.) [9] Irtegov V.D., Titorenko T.N. The invariant manifolds of systems with first integrals . Journal of Applied Mathematics and Mechanics. 2009; 73(4): 379–384. (In Russ.) [10] Chetaev N.G. Stability of motion [Ustoychivost' dvizheniya]. Collected works on analytical mechanics. Moscow: Izd-vo AN SSSR; 1962. 535. (In Russ.) [11] Kats A.M. On the problem of the criterion of aperiodic stability [K voprosu o kriterii aperiodicheskoy ustoychivosti]. Prikladnaja matematika i mehanika. 1951; 15(1): 120. (In Russ.) [12] Banshchikov A.V., Burlakova L.A. Algorithms of symbolic computation used in stability analysis [Ob algoritmakh simvol'nykh vychisleniy pri issledovanii ustoychivosti]. Programming and Computer Software. 1997; 23(3): 173–179. (In Russ.) [13] Irtegov V.D., Titorenko T.N. One method of finding invariant manifolds of Lagrange’s systems [Ob odnom metode vydeleniya invariantnykh mnogoobraziy lagranzhevykh sistem ]. Sovremennye tehnologii. Sistemnyj analiz. Modelirovanie. 2012; 3 (25): 30–34. (In Russ.) [14] Banshhikov A.V., Chajkin S.V. Modeling and stability analysis of a satellite with gyrodines via the LinModel software package [Modelirovanie i analiz ustoychivosti sputnika s girodinami s pomoshch'yu programmnogo kompleksa LinModel ]. Sovremennye tehnologii. Sistemnyj analiz. Modelirovanie. 2010; 4 (22): 37–45. (In Russ.) [15] Chajkin S.V., Banshhikov A.V. On gyroscopic stabilization of the relative equilibriums of oblate axisymmetric gyrostat [O giroskopicheskoy stabilizatsii otnositel'nykh ravnovesiy orbital'nogo osesimmetrichnogo girostata]. Matematicheskoe modelirovanie. 2013; 25(5): 109–122. (In Russ.) [16] Irtegov V.D., Titorenko T.N. Invariant manifolds in the Clebsch-Tisserand-Brun problem. Journal of Applied Mathematics and Mechanics. 2012; 76(3): 268–274.
Bibliography link: Banshchikov A.V., Burlakova L.A., Irtegov V.D., Titorenko T.N. Symbolic computation in modelling and qualitative analysis of dynamic systems // Computational technologies. 2014. V. 19. ¹ 6. P. 3-18
|