Verification of software systems on the example of a statically definable prismatic beam-Reference-Cited by-同舟云学术

Verification of software systems on the example of a statically definable prismatic beam

Published:2023-05 Issue:5 (758) Volume: Page:29-36
ISSN:0536-1044
Container-title:Proceedings of Higher Educational Institutions. Маchine Building
language:
Short-container-title:PoHEI.MB

Author:

Kashkevich A.M.¹,Badanina Y.V.²,Filimonov A.S.²,Dolgikh A.I.²

Affiliation:

1. PJSC Cryogenmash

2. Bauman Moscow State Technical University

Abstract

The paper considers issues of verifying software systems on the example of a prismatic beam. Verification refers to checking the software system results compliance with requirements and constraints. Verification was carried out on a test example, which was selected as calculation of displacements of a statically determined beam with one rigid attachment under the action of a transverse load. Analytical calculation of the statically determined prismatic beam displacement was performed, and its bending curve was obtained. The bending curve shape was found by integrating the beam elastic line differential equation. Maximum displacement at the beam edge was calculated. Results of the analytical method verification calculations were compared with data obtained using different software systems, where the problem was solved by the finite element method. Advantages and disadvantages of the ANSYS and SolidWorks software systems were indicated. The obtained results testify to accuracy of the performed engineering calculations.

Publisher

Bauman Moscow State Technical University

Subject

General Engineering

Reference15 articles.

1. Kulyamin V.V. Metody verifikatsii programmnogo obespecheniya [Methods of software verification]. Moscow, ISP RAN Publ., 2008. 117 p. (In Russ.).

2. Clarke E.M., Grumberg O., Peled D. Model checking. MIT Press, 1999. 314 p. (Russ. ed.: Verifikatsiya modeley programm. Model checking. Moscow, MTsNMO Publ., 2002. 416 p.)

3. Boehm B.W. Software engineering economics. Prentice-Hall, 1981. 767 p.

4. Jie Y., Yuan H., Zhou H. et al. Bending moment calculations for piles based on the finite element method. J. Appl. Math., 2013, vol. 2013, art. 784583, doi: https://doi.org/10.1155/2013/784583

5. Boldyrev G., Muyzemnek A.J. The modelling of deformation process in soils with use of Ansys and Ls-Dyna programs. 6th Int. Conf. on Case Histories in Geotechnical Engineering, 2008, pp. 1–10.