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

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.

References

[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.

[6] Atakulov L.N., Istablaev F.F. Solving problems using finite elements method with Ansys software. Gornyy vestnik Uzbekistana, 2015, no. 2, pp. 53–56, doi: https://doi.org/10.13140/RG.2.2.34114.91841 (in Russ.).

[7] Muhammad A., Ali M., Shanono I. Finite element analysis of a connecting rod in ANSYS: an overview. IOP Conf. Ser.: Mater. Sci. Eng., 2020, vol. 736, art. 022119, doi: https://doi.org/10.1088/1757-899X/736/2/022119

[8] Hammood A., Helayel M., Karaishi R. et al. Effect of different natural composite material lyres on structural analysis of aircraft body. JMERD, 2021, vol. 44, no. 5, pp. 339–344.

[9] Knyazkov V.V., Fazlulin E.M. Geometrical modeling in SolidWorks. Izvestiya MGTU MAMI, 2014, vol. 8, no. 1, pp. 170–176, doi: https://doi.org/10.17816/2074-0530-67541 (in Russ.).

[10] Knyazkov V.V., Fazlulin E.M. [Modelling end engineering analysis in SolidWorks/COSMOSWorks integrated media]. Mat. mezhd. nauch.-tekh. konf. AAI Avtomobile- i traktorostroenie v Rossii: prioritety razvitiya i podgotovki kadrov [Proc. Int. Sci.-Tech. Conf. AAI Automobile and Tractor Building in Russia: Priorities of Development and Staff Training]. Moscow, MGTU MAMI Publ., 2010, pp. 60–66. (In Russ.).

[11] Konyukhov A.V. Osnovy analiza konstruktsiy v ANSYS [Fundamentals of Construction analysis in ANSYS]. Kazan, KGU Publ., 2001. 101 p. (In Russ.).

[12] Pneva M.A., Usova K.S., Kurokhtin V.Yu. [Calculation of elements of construction structures for strength using software complexes and analytical methods]. III Mezhd. konf. molodykh uchenykh po sovremennym problemam materialov i konstruktsiy [III Int. Conf. of Young Scientists on Modern Problems of Materials and constructions], 2019, pp. 377–382. (In Russ.).

[13] Shtanichev R.A., Yablokov A.M., Sadovskiy N.I. Verification of numerical simulation results for low-flow centrifugal compressor stage with experimental data by Numeca Fine/Turbo and Ansys CFX software packages. Vestnik Mezhdunarodnoy akademii kholoda [Journal of International Academy of Refrigeration], 2021, no. 3, pp. 32–38, doi: https://doi.org/10.17586/1606-4313-2021-20-3-32-38 (in Russ.).

[14] Thacker B., Doebling S.W., Hemez F. et al. Concepts of model verification and validation, 2004, doi: https://doi.org/10.2172/835920

[15] Biryuk V.V., Gorshkalev A.A., Kayukov S.S. et al. Strength analysis of internal combustion engine elements by using Ansys with taking into account heat processes in the combustion chamber. Vestnik Samarskogo Gosudarstvennogo aerokosmicheskogo universiteta im. akademika S.P. Koroleva [Vestnik of Samara University. Aerospace and Mechanical Engineering], 2015, vol. 4, no. 2, pp. 35–45, doi: https://doi.org/10.18287/2412-7329-2015-14-2-35-43 (in Russ.).