Verification of the LIRA-FEM software
In this chapter the users of various software could find answer as to whether the capabilities of a verified software correspond to the statements announced by developers.
Verification report of RAACS
Verification procedure for the LIRA-FEM program is completed. Certificate N 06 / LIRA-FEM / 2015 is issued by the Scientific Council 'Software in Construction and Architecture' of the Russian Academy of Architecture and Construction Sciences (RAASN)
Verification tests
In this chapter the users of various software could find answer as to whether the capabilities of a verified software correspond to the statements announced by developers. This material may be also useful for developers to debug the implemented methods.
Verification examples
- Section 1 Linear static problems for rod systems, plates and shells, three-dimensional problems
- Section 2 Physically nonlinear problems
- Section 3 Geometrically nonlinear problems for threads, cable-stayed trusses, rods, membranes and plates
- Section 4 Задачи устойчивости, в основном изгибно-крутильные формы потери устойчивости
- Section 5 Modal analysis
- Section 6 Linear dynamic problems
- Section 7 Static and dynamic problems with one-sided constraints
- Section 8 Geometric characteristics of the section
- Section 9 Procritical calculations
- Section 10 Problems of stationary and non-stationary heat conduction