1. Introduction
The modern designer of civil engineering structures works with a wide range of CAD (computer-aided design) software and applications that allow one to carry out static or more advanced analysis, structural element dimensioning, and the preparation of documentation. The proficient use of computer programs in engineering necessitates not only the knowledge of the basics of mechanics and numerical methods but also a deep comprehension of the modeling capabilities offered by the tools employed. These tools constitute a group of interrelated conceptual artifacts, such as implemented principles, concepts, or algorithms, which help, through their functionality, to manage the complexity of both modeling and models; see [
1]. This approach establishes a mutual connection between the simplicity of the available software tools and the complexity of the constructed models. The integration of theoretical knowledge with practical application is essential in the design process and in solving complex engineering problems. The above definition should not be confused with that of a numerical artifact, which refers to an undesired effect resulting from limitations or incorrect application of a given computational method, cf. e.g., [
2]. An important issue is also the limited confidence of the engineer in the results obtained during the simulation process. Moreover, getting to know specific options in the software together with their actions requires in-depth understanding, among other things, through simple testing using so-called benchmarks. Such test analysis related to the modeling of structures can also be particularly helpful in software verification and evaluation of its efficiency.
There are many engineering programs for simulations, and the documentation usually offers a collection of examples, which also includes benchmarks originally developed and approved by the association called the National Agency for Finite Element Methods and Standards (NAFEMS); see [
3,
4]. A broad range of basic tests for shell structures plays a crucial role, especially in the context of applying various finite elements (FEs) and their improvements, which are implemented in the available software. An overview of standard benchmarks for membranes, plates, and shells can be found, inter alia, in [
5,
6]. Different FEs and corresponding approaches to their enhancements are comprehensively outlined, e.g., in [
7] for the analysis of plates and, e.g., in [
8] for shells.
In this paper, attention is focused on the challenge of correct modeling of in-plane and out-of-plane bending that occurs in the numerical analysis of membranes and slabs. Two commercial finite element method (FEM) packages are verified in this regard. The solutions obtained from the Robot Structural Analysis Professional 2023 software [
9] (called further shortly Robot) are confronted with the results computed in the Midas nGen 2023 v.1.3 system [
10] (called further shortly Midas). Both programs are equipped with a finite element (FE) that is based on the Mindlin–Reissner theory for moderately thick plates, but simultaneously, owing to discrete Kirchhoff constraints, they behave properly also for thin plates. The theories of Kirchhoff–Love and Mindlin–Reissner are described, e.g., in the monographs [
11,
12]. This means that next to the proper approximation of bending in this FE, the discrete shear constraints are included, as proposed in [
13,
14]; hence, the issue of transverse shear locking in plates should be overcome. In both software packages, membrane FEs are also available and can be used with the activation of additional degrees of freedom (DOFs) called drilling rotations, as shown, e.g., in [
15,
16,
17], which is effective in avoiding shear locking in the membrane state when in-plane bending is reproduced. The locking phenomena occurring in FEM computations are discussed in more detail, among others, in [
18,
19,
20]. The results of many simulations conducted in Robot, using a wide range of benchmarks for plates and shells, are presented, for example, in [
12,
21,
22].
Three benchmarks are selected to highlight the issues that an engineer may encounter when analyzing slabs by FEM in the context of strength-based structural design. Linear kinematic relations, i.e., small strains, are assumed for all the tests. Constitutive equations are limited to linear elasticity. Static analyses are performed. In
Section 2, in-plane bending is considered using membrane FEs for a cantilever beam. The results are compared with the theoretical solution known from [
23,
24] and also demonstrated in [
12]. The convergence study, which is an equally important aspect, is regarded as well. In addition, the issue of stress singularity is also addressed. The computations in
Section 3 are connected with out-of-plane bending for plate FEs, where a slab is supported by a column. The densification of FE mesh in a direct way, without any correction of the results, may lead to overestimated bending moment values near the column, as also shown, for example, in [
25]. The effect of the moment reduction options is discussed in detail here. In
Section 4 the presence of a so-called offset is investigated, with reference to the interaction between the beam and the slab; see also e.g., [
26]. The bending of the slab cooperates with the bending of the beam. Different proposals for the beam-slab joint model are examined, and the numerical results refer to the analytical value of the bending moment for the beam. The benchmarks shown in
Section 3 and
Section 4 are not taken directly from the literature as in
Section 2, but both are representative and contribute to more accurate modeling and computations of floor slabs and other structural components as a part of the design procedure.
Section 5 contains the conclusions and final remarks.
2. In-Plane Bending of Cantilever Beam
The first benchmark concerns the bending problem of a cantilever beam with a rectangular cross-section. The configuration is reduced to a two-dimensional domain, and the problem is actually determined as an in-plane bending of a flat membrane; hence, the plane stress state is considered. Its analytical solution is given, for example, in [
23,
24]. This study focuses on the convergence examination for the numerical solution.
Figure 1 depicts the specimen together with corresponding boundary conditions and additionally a discretization introduced by the medium mesh of quadrilateral (square) finite elements. On the left, a parabolic tangential load
is defined with a maximum value of
kN/m for point 0, i.e., for the origin of the coordinate system where
. After integration of the load, the resultant
kN. On the right, a fixed (clamped) edge is set; however, according to the theoretical solution, two options of beam constraints can be regarded; see details, e.g., in [
12]. For the first type, the effect of shear stresses is omitted, and it conforms with the Bernoulli–Euler theory. In the second case, the shear stresses are taken into account, so the Timoshenko–Ehrenfest theory [
27,
28] is valid. The data introduced in the computations are as follows: Young’s modulus is
GPa, and Poisson’s ratio is
. The definition of the shear modulus is also needed according to the Timoshenko–Ehrenfest theory; hence,
GPa. The length is
cm, the height 12 cm corresponds to
in
Figure 1, and the cantilever thickness is
cm. The moment of inertia for the beam cross-section is
cm
4.
In this test, some characteristic quantities are monitored at points indicated in
Figure 1. The definition of horizontal displacement
as well as vertical displacement
, called also the beam deflection, is governed by the two aforementioned theories; see also [
23]. According to the Bernoulli–Euler theory, on the clamped edge at point
, it is assumed that
and
, so the influence of shear stresses on the beam deflection is neglected. Based on the solution for this theory, the horizontal displacement is expressed as the function:
The variable name is supplemented by upper index B–E. This displacement differs in sign depending on the
y-coordinate, specifying points A and B, i.e., the corners on the left-hand side:
Thereafter, in the computations, only positive horizontal translation given at point B is observed and referenced to the value, which for the above data equals:
The beam deflection, determined by the Bernoulli–Euler theory, is
The maximum deflection given at point 0 is then equal to
When the Timoshenko–Ehrenfest theory is taken into account, the conditions
and
hold for the clamped edge at point
, and the impact of shear stresses on the beam deflection is accounted for. Now, the horizontal displacement (upper index T–E is introduced) is derived as:
The value of
at point B is here calculated in this manner:
Analogically, the beam deflection in compliance with the Timoshenko–Ehrenfest theory can be obtained as a function and then determined at point 0 in the following way:
The value
is
cm larger than
due to the fact that the transverse shear effect of the beam is included in the solution according to the Timoshenko–Ehrenfest theory. The difference between the deflections according to the two theories can be estimated as
The difference for the horizontal displacement can also be determined:
Based on these differences, the following ratio
at point B can be defined:
It is noticed that the ratio
corresponds to the simple geometric relation between
L and
c. The difference
at point B equals
cm, so it is 8 times smaller than the difference
at point 0. Hence, it can be emphasized that for this configuration under in-plane bending, the transverse shear influences the deflection value at the free end. However, in the case of horizontal displacements at the corners of the free edge, its effect here is rather marginal. Moreover,
at point B is also equal to
cm. The quotient
for such geometry, and therefore, the dimensions of the cantilever beam affect the proportion between the differences given in Equations (
10) and (
11). It can be recognized that the difference in Equation (
11) comes from the last negative term in Equation (
1) for the Bernoulli–Euler theory. Its absence in Equation (
6) for the Timoshenko–Ehrenfest theory actually results in a larger value of the horizontal displacement
in the comparison with
for the Bernoulli–Euler theory. All the translation values calculated above, based on both theories, serve as a basis for comparison with the displacements obtained in the numerical analysis.
Apart from the above functions, the stress field for this cantilever beam can be defined:
and can be observed at selected points of the specimen. Normal stress
along the extreme lower and upper edges
is given as
Consequently, based on the applied data, the following values of
are obtained in the middle of the beam (where
) and on the clamped edge (where
):
These are values of normal stress at points C and E in
Figure 1, and they are used for comparison during the computations. Similarly to the load function
, tangential stress
also has a parabolic character along the height, and its minimum is attained on axis
:
The absolute value
at the center of the beam, i.e., at point D in
Figure 1, is taken into account for further comparisons.
As mentioned in the introduction, the numerical analysis is carried out using two engineering programs: Midas [
10] and Robot [
9]. Similar computations for the cantilever beam using various types of FEs, for example, programmed by the author of [
17], are conducted in his paper. Five different densities in the finite element discretization are applied in order to perform the convergence study. Starting from the coarsest mesh with the finite element size equal to 12 cm and division
for squares, each next mesh is four times denser, so the finest mesh has the FE size of
cm and division
for squares. Moreover, meshes with only square FEs, i.e., quadrilaterals Q4 with four nodes or with only triangular FEs T3 with three nodes, are considered. The equivalent nodal load is recalculated for each mesh by the authors using their own subroutine. Together with a given shape of FE its structural type is also significant since the choice of both these features affects the usage of a particular FE, included in the software. In Midas, different kinds of structures are available, and among others, a membrane or a shell can be selected for this example. Surprisingly, it turns out that both options provide the same results. However, if the membrane structure is chosen, an additional variant is accessible, namely extra DOFs, given here as drilling rotations, that can be activated. The influence of drilling rotations on the results is shown below. The details of the formulation, as well as the implementation of FE with these enhancing DOFs, can be found in many papers, e.g., [
15,
16,
17,
29,
30,
31]. When the choice of the structure type is set as a membrane or a shell for the computations in Robot, the results differ as expected. The convergence study is accordingly conducted for cases summarized in
Table 1. The abbreviations listed in the table are prepared for better readability of the diagrams illustrated in
Figure 2,
Figure 3,
Figure 4,
Figure 5 and
Figure 6.
Figure 2 is composed of two images where horizontal displacement
, called here
, is investigated, considering numerical solutions from both programs. The framed legend is correlated with
Table 1 and the set in
Figure 2 between these images. It should also be mentioned that linetypes and markers defined in the legend are the same for the next figures. A variable on the abscissa axis is the FE size, which changes with the log scale, so all presented diagrams show the dependence on discretization from the coarsest mesh to the finest one. On the left-hand side, the values of displacement
are depicted directly. The thin black solid line refers to
in Equation (
3), according to the Bernoulli–Euler theory. The thick black solid line indicates
in Equation (
7) as the upper limit of computed horizontal displacement values, based on the Timoshenko–Ehrenfest theory. Additionally, a gray band between these lines is distinguished, which can be interpreted as a zone of theoretical values. On the right-hand side, the relative error
calculated for the numerical values referenced to analytical
cm is exemplified. Firstly, it is noticed that the results for cases M-T3 (blue line with filled triangles) and R-T3m (purple line with blank inverted triangles) are poor for coarse and medium meshes. There are responses for discretizations with FEs known as constant strain triangles (CST), where standard bilinear shape functions are implemented. On the other hand,
for cases M-Q4dr and R-Q4sh is the best, so the smallest error
is visible for them, even if the coarse mesh is used in the computations. Moreover, both of them have two identical numerical values for each corresponding mesh, so they are marked as one red line with filled squares. A similar coincidence as for the aforenamed cases with quadrilaterals Q4 can also be seen for cases with triangle elements T3. Despite the fact that the displacements for corresponding meshes are not exactly the same, the diagrams for cases M-T3dr (green line with filled inverted triangles) and R-T3sh (red line with blank triangles) overlap almost perfectly. It can be concluded that when in-plane bending is analyzed, membrane FEs in Midas with active drilling rotations behave very similarly to shell FEs in Robot. As expected, it is shown that the values of displacement
and the relative error determined for them in all cases with triangle meshes reveal lower accuracy. However, for both types of FEs, quadratic convergence is attained as the mesh is refined. Analogically to M-Q4dr and R-Q4sh, the results for cases M-Q4 and R-Q4m are numerically twinned, so again, only one diagram is plotted (the purple line with blank squares). These responses for displacement
on the left and the relative error on the right are given for solutions with classic four-noded FEs (Q4) without any enhancements. For coarser meshes, especially with triangular FEs, it is observed that the presence of drilling rotations in the finite element interpolation improves the solution.
Figure 3 illustrates the results observed at point 0. Values of vertical translation, also interpreted as the beam deflection and marked by
, are represented on the left. Numerical solutions are confronted with the theory, similar to the analysis discussed in
Figure 2. Here, the thin black solid line corresponds to the value
given in Equation (
5) for the Bernoulli–Euler theory, while the thick black solid line conforms to the value
determined in Equation (
9) according to the Timoshenko–Ehrenfest theory. Similarly to
Figure 2, a gray zone between the lines is apparent in
Figure 3, creating an interval based on both theories as a reference for values
. On the right-hand side in
Figure 3, the relative error
is reproduced, but here in regard to
cm. Generally, it can be stated that all comments that describe the results given in
Figure 2 are also valid for the current results. Similarities and analogies between respective cases are the same. One can only add that displacement
for cases M-Q4dr and R-Q4sh are within the zone of analytical solutions when the square mesh with FE size 6 cm or denser is applied. On the contrary, the numerical value of
for M-T3 and R-T3m with triangular FEs is within this zone only when the size
cm is introduced. Based on the results presented in
Figure 2 and
Figure 3, it can also be concluded that displacements converge from below in this benchmark.
The results for stresses are shown in
Figure 4,
Figure 5 and
Figure 6. The method of presentation and description for subsequent cases is the same as previously.
Figure 4 refers to the normal stress
observed at point C, so it is called here
. The exact value comes from Equation (
15) and equals
MPa. It also provides the reference to estimate the relative error
. The stress values, together with their counterparts of the error, show that the meshes made of triangular FEs, i.e., M-T3, R-T3sh, and R-T3m, provide deficient responses. The exception is the finest mesh. Only the results for case M-T3dr, when drilling rotations are activated in Midas, can be treated as satisfactory. On the other hand, if Q4 FEs are applied, the values of stress
are much closer to the analytical solution. However, the error in the results in the case of M-Q4 and R-Q4m for the coarsest mesh exceeds 25%.
In the next figure,
Figure 5, the attention is focused on tangential stress
at point D, called here shortly
. The absolute value
MPa connected with Equation (
16) is taken as the analytical solution to assess the relative error
. Now the poorest results are noticed for cases M-Q4 and R-Q4m if the computations are performed with coarse or medium meshes. On the other hand, the values of stress
for M-Q4dr, R-Q4sh, and M-T3dr are nearest to the theoretical 50 MPa. It is also seen for these cases that convergence is attained pretty quickly. Summarizing all the results for displacements and stresses obtained so far, it can be stated that, using coarse meshes, the values are more or less underestimated. Of course, this is related to the shear locking effect for membranes, which occurs for poor discretizations and when the displacement field as the primary one is interpolated in FEs in the most conventional way.
Figure 6 depicts the values of normal stress
at point E, which is called
, and their associated relative errors
. The tendency for successive meshes seems to be similar to
. Stress values
for M-T3, R-T3sh, and R-T3m in the case of a coarse mesh are strongly underestimated, while for M-T3dr and for the solutions with FEs Q4, this underestimation is less pronounced and decreases quickly. However, the values of
for the two finest meshes exceed the theoretical value of 800 MPa determined in Equation (6). Moreover, it is visible that relative errors
are larger for the mesh with FE size
cm than for the mesh with FE size
cm. It should be noted that point E is located at the corner of the specimen on the fixed edge. A tendency towards infinite stress with mesh refinement is detected in such regions during numerical analyses, which is also in accordance with the classical elasticity theory. In other words, the value of stress
can grow and grow when discretization becomes increasingly dense. This phenomenon is known as stress singularity; see [
18,
19,
32]. From a physical point of view, stress concentration can occur in areas with geometric or material discontinuity, and it destroys the results of simulations with fine discretization. Moreover, the stress field is extrapolated from integration points that are located inside FEs, and this can additionally amplify the increase in stress values at such corners. Due to this fact, the convergence study or the search for maximum stress in the singularity region cannot lead to an objective estimation. Here, point E is selected deliberately to show that performing a convergence study does not make sense for certain locations. Furthermore, a so-called root singularity pattern, shown as a contour plot in [
17], confirms that the highest intensity of the stress field arises exactly at corners near the clamped edge.
The issue of stress singularities is extensively discussed in [
33]. In FEM, special singular elements and a measure called the stress intensity factor can be introduced; see [
34]. The method of analytical constraints associated with FEM can be employed. If possible, the concentrated loadings and nodal supports should be avoided in FE modeling by introducing geometric punches or imposing multi-point constraints. The issue of the fixed corner in the elastic range cannot be completely eliminated, but various techniques can be introduced to address it, as for example a superconvergent patch recovery method [
35]. A review of various approaches is presented in detail in [
18]. Another solution is to extend the analysis beyond the elastic range. In the plasticity theory, the stress concentration effect is reduced by material yielding. However, different smoothing techniques can still be applied in nonlinear analyses, such as a discontinuous smoothing recovery method combined with an adaptive calculation scheme [
36] for elastoplastic problems. If a crack or localization occurs in the numerical analysis, various averaging methods can be adopted, providing regularization by means of different localization limiters [
37], among others, gradient terms. Moreover, the gradients as the averaging factors can be present in elasticity [
38] or even via the standard Fourier’s law in thermoplasticity [
39]. An alternative approach used in fracture analysis can be phase-field modeling, where a sharp crack is replaced by a so-called diffusive crack zone [
40]. The combination of phase-field and strain gradient models to overcome the stress singularity problem is shown in [
41]. To summarize, to avoid this issue in simulations, various smoothing techniques, at the post-processing stage but not only, can be included. In the next section, the bending moment reduction, as an available option in Robot and Midas, for the values derived from the solutions in the slab-column connection is shown.
Figure 7 illustrates contour plots of stress
for the medium mesh from computations in Midas and Robot. Both distributions are almost identical.
Based on the presented results, it can be concluded that membrane FEs available in both Midas and Robot packages behave alike and provide almost the same solution for corresponding meshes. During FEM analysis, the activation of drilling rotations for membranes in Midas corresponds to the use of shell FEs in Robot. However, FEs with standard bilinear interpolation for plane stress problems are the default in both packages.
3. Bending of Slab Supported by Column
In FEM models for slab (as well as shell) structures, the bending moment values obtained at points of discrete supports or connections with columns may be overestimated. These locations are referred to as stress concentration points. The slab’s bending moment values increase significantly with mesh refinement. Consequently, they become unreliable for further use, such as in reinforcement design for slabs. This effect can be mitigated by a reduction in moments at the support or column. The objective of this benchmark is to demonstrate the impact of applying a reduction in the post-processing stage on the slab’s bending moments at the column connection. Both Midas and Robot software provide this functionality, albeit in different ways. The results of this reduction in the two programs are compared. Additionally, in Robot, the influence of the column’s cross-sectional dimensions on the reduction measure is considered, i.e., the change in the values of the slab’s bending moment after reduction is studied. In Midas, the reduction domain is directly defined by a certain characteristic distance, and this has also been verified. The ability to adopt a force and moment reduction above columns and walls as well as above nodal and linear supports is crucial. Proper usage of the reduction option for forces and moments at these connection points is beneficial.
As the benchmark in this section, the simplest possible model of the connection between the slab and the column has been created. Out-of-plane bending is now studied. The slab is square and supported by the column in the center; see
Figure 8. Such geometry indicates that there are four symmetry axes: two along the edges and two along the diagonals. The model could, therefore, be limited to a quarter, but it is intentionally considered for the entire domain to verify whether the symmetry is correctly reproduced. Moreover, a seemingly simple configuration may provoke difficulties during computations due to single-node support and/or discrepancies between the FE dimensions of the slab and the column, which can lead to an ill-conditioned system of equations. Square FEs with a corresponding approximation for out-of-plane bending are applied in both computational programs [
9,
10]. The span of the slab is
m, and its thickness is
cm. The dimensions of the column are as follows: the height is
m, and the edge size of the square cross-section is
cm. For both the slab and the column, concrete C30/37 is assumed, with the following material properties: Young’s modulus is
GPa, Poisson’s ratio is
, and shear modulus is
GPa. The surface transverse load
kN/m
2, uniformly distributed on the whole slab, is applied.
The model of the entire configuration can be constructed in two ways. The column is fully represented as a structural element or can be replaced by a fixed nodal support, whereby the column edge size is defined to enable moment reduction.
Figure 8 illustrates both options. The computations in Midas are carried out with the full representation of the slab and column. The computations in Robot are performed with the assumption that the support with the additionally specified size at the node corresponds to the full model. The validity of adopting this simplification in Robot is explained below.
Figure 9 shows the deformations of the slab obtained in both packages. It is visible that the symmetry is obeyed. At the top, the solution from Midas is depicted. The mesh with
elements is employed for the slab, i.e., the FE size equals
cm. At the bottom, the results from Robot are demonstrated. The same discretization is adopted. On the left, there is the deformation for the model of the slab and full column. On the right, the counterpart with the nodal support is presented. The numbers in the subfigures of
Figure 9 represent the deflection of the slab at the center and at all corners. When the column is introduced into the model, the deflection of
cm is observed in the center. The column is actually very slightly shortened (compressed). When the full model is considered, the deflections in Midas (at the top) and in Robot (at the bottom on the left) are identical. It is noted that both packages are equipped with an implementation of so-called discrete Kirchhoff–Mindlin quadrilateral (DKMQ) FEs; see [
14]. The difference between the central value and extreme deflections at corners equals
cm. If the nodal support is assumed, as shown in
Figure 9 at the bottom on the right, obviously, the central deflection equals zero. The difference in the deflection between the center and corners is now
cm, which is almost identical to the full version of the model. It could, therefore, be presumed that both variants of the model are equivalent. Hence, the option with the nodal support can be adopted for the next analysis in Robot.
It should also be mentioned that during the computations in Robot a so-called instability occurs in both types of the model, indicating the connection point as the cause of this perturbation. Global extremes of the displacement field should be verified in that case. If any excessively large values are noticed in the results, the model should be improved. Global displacement extremes in this benchmark do not produce unexpected results; consequently, the warning related to instability can be ignored. The computations in Midas do not involve any problems despite the challenging configuration of the model from a numerical solution perspective.
Before displaying further results, one aspect arising from the theory should be mentioned. If this problem were reduced to the bending of a one-dimensional cantilever beam with a length equal to half the slab’s span, by calculating the sum of the surface load from the entire slab’s span to a resultant uniform load along the beam’s axis
kN/m, then the value of the fixed-end moment for such a cantilever with length
is
This value of
is consistent here with the integral
determined from the slab’s bending moments along the centerline
:
Firstly, attention is focused on analyzing the bending moments for the slab depending on the mesh density, based on the solutions computed only in the Robot program.
Table 2 shows the following in the respective columns: mesh division
, the size of square FE
, and the results when the reduction option is turned off or on. In each case, the maximum value of the bending moment
together with the value of the corresponding integral
is listed. When the moment reduction above the support is not enabled, the maximum values of
increase with the mesh density. This moment for the finest mesh is more than double that for the coarsest mesh. Such a rise is solely related to the mesh refinement pitfall and can lead to incorrect interpretation of the results. On the other hand, the values of the integral
converge to the theoretical value
, ranging from
kNm to
kNm. When the reduction option is activated, moments
for the refined discretizations tend to be more or less 12 kNm/m, except in the case of the coarsest mesh, where the value of
is underestimated. The integral
, along with the consecutive solutions, approaches the value of about
kNm. This is approximately 2 kNm less than the integral determined for the case of
elements without the use of reduction. The difference will be clarified by the following description of
Figure 10,
Figure 11 and
Figure 12.
Figure 10,
Figure 11 and
Figure 12 illustrate bending moments
using both panel cut diagrams and contour plots. On the left-hand side, the original results, i.e., without the reduction, are presented. On the right-hand side, the reduction is employed during post-processing to represent the moments
more adequately. The distributions for the last three finest meshes are shown. These figures confirm the numerical results listed in
Table 2. Looking at the functions of
for panel cuts, their character is similar for each mesh, respectively, for the unmodified results on the left and then for the results on the right when the reduction is applied. The maximum clearly grows with mesh density for the original results on the left. The distribution of contour plots is strongly localized above the column. The ones on the right are limited due to the introduced reduction. The patterns with the applied reduction have a more diffuse character, and the color gradient adjusts according to the scale. The panel cut for reduced moments looks truncated by the presence of the defined column size (here
cm). The introduction of such a limitation actually makes the results objective. Additionally, in the top right corner of the figures, the integral values for each case are shown. If a reduction is activated, the function of
is limited, so the values of
are also lowered.
The next aspect of the analysis focuses on the influence of the column size on the reduction in the slab’s bending moments. The computations are carried out in Robot using the same mesh
with
cm. The maximum value of
is
kNm/m and corresponds to
kNm if the results are not corrected. Of course, these results are independent of the column size.
Table 3 shows the reduction effect when the size of the column is changed. Here, both the moment
and the integral
decrease as the column size increases. The ranges that are distinguished in the first row of the table refer to discrete values. For example, the same reduction degree is recognized for the column size of 26 cm as well as 32 cm. The bold values are also correct for initial
cm, so they coincide with the distributions displayed in
Figure 10.
Figure 13 presents the diagrams of the bending moments
in the slab panel cuts for two extreme cases of the applied column size: the smallest, 20 cm, and the largest 44, cm. It is observed that the reduction region of the moment
is derived from the column size.
The idea of determining the reduction zone in Robot to limit the values of
around the column is illustrated in
Figure 14. The method is demonstrated for the mesh with square FEs and different column cross sections. First, the reduction radius is evaluated based on half of the diagonal of the column’s cross-section. Then, the nodes and the centers (here marked in yellow) of FEs that are inside the circle are selected. The primary bending moment values are replaced with the reduced ones at all these points. The interiors of the light pink areas limited by the red lines are subjected to this reduction. The extreme (maximum or minimum) of the bending moment is found among the values at the nodes marked in orange. For example, in the drawings in
Figure 14, this refers to the node highlighted additionally in cyan. Finally, such a value is imposed on the reduction area.
In the Midas program, during the calculation stage, there is no option to directly adopt reduction. Therefore, to apply the reduction in the model, the slab reinforcement has to be predefined. Arbitrarily, the entire slab is designed with reinforcement bars spaced at 20 cm at the bottom and bars spaced at 10 cm at the top, in both directions, x and y. The concrete cover is equal to 3 cm. It should be emphasized that, in this configuration, the upper layer of the slab is subjected to tension. Of course, now the reinforced slab has greater stiffness. After computations, there are two modes available for reviewing the results in the Midas interface: static analysis or dimensioning. In the post-processing stage, the reduction option operates only in the dimensioning mode.
Table 4 presents the influence of mesh division on the slab’s moment reduction in Midas. The third column of numbers shows the maximum
values for the slab without rebars and, thus, also without reduction. Similarly to the results for Robot in
Table 2, these values increase with mesh densification. The results for the same slab, but with the reinforcement, are presented in subsequent columns. The reduction distance from the column axis should be specified for the RC slab, and here, it will be referred to as width
W. The bending moments are presented for the cases
cm,
cm, and 150 cm, respectively. Blank cells in
Table 4 for
FEs indicate that these computations could not be completed for the finest mesh due to sudden interruptions, even after restarting the task from the beginning. Nevertheless, activating the reduction via the given width leads to a decrease in the moment
at the slab-column connection. For the reduction option with
cm and 150 cm, each successive mesh refinement tends to a specific value of the slab’s bending moment. For
cm, the moment
eventually exceeds
kNm/m, while for
cm, it approaches approximately
kNm/m. When the larger parameter
W is used, the moments are underestimated. However, it should be noted that in this case, the reduction option activates starting from the coarsest mesh with
FEs. For smaller
cm, it becomes effective for
FEs or denser meshes. Meshes with 8 and 16 FEs along the edge are too coarse to trigger a moment reduction for this distance.
Table 5 indicates the effect of the reduction width on the bending moment value in Midas. Now, only one mesh with 64 FEs along the edge is employed while
W grows. As expected, similarly to the dependence on the column size in Robot as shown in
Table 3, the value of the reduced bending moment for the slab decreases as parameter
W increases. The most suitable choice seems to be distance
cm or 75 cm. For both cases,
after reduction is close to 12 kNm/m, agreeing reasonably well with the case of
cm in Robot. The reduced moment
kNm/m for
cm is clearly underestimated, which corresponds to the exaggeratedly large reduction area; see
Figure 15.
The reduction in Midas works as a weighted average method. The original value of is recalculated at the central node, selected due to the connection of the slab to the column and in its defined vicinity. First, this vicinity is specified as a square area with a width W. All FEs within this region, i.e., given by the size in horizontal left and right as well as vertical up and down, are taken into account. It concerns internal and contiguous elements restricted to the square. The bending moments are computed by extrapolation from integration points at each node of a given FE. These values belong to each separate element. The final value at the central node is then averaged based on nodal values but derived from patch FE functions. Moreover, weighting factors, which depend on the distances between the central node and sequentially considered nodes, affect this averaging operation. Thus, the determined bending moment is assigned to all nodes within the zone defined by the given width W.
The last part of this section summarizes the entire analysis discussed above. The abbreviations listed in
Table 6 are useful for understanding
Figure 16. This figure concisely highlights the key aspects of this study. Each case in
Figure 16 represents the diagram of moments
at the center of the slab as a function of FE density from the coarsest to the finest mesh. The abscissa axis changes in the logarithmic scale. The cases R-no and M-no refer to the original results in Robot and Midas, respectively, i.e., without any reduction in the post-processing stage. They are marked by red lines with empty triangles, straight and inverted, respectively. It is noticed that both diagrams grow almost linearly, but the R-no for Robot starts from a larger value. M-RC-0 is connected with the case for Midas, where the rebars are introduced into the slab model, but the reduction does not work (
cm). The diagram for this case also increases with mesh densification, although the rate of growth is much slower than for R-no and M-no. The case M-RC-red50 corresponds to width
cm for the reduction in the slab moments in Midas. The reduction effect for this width starts from the third mesh. In fact, the results for
and
FEs are identical to those for M-RC-0. The values of
are limited for subsequent meshes, as shown in the diagram with a blue line and filled diamonds. Next, the diagram marked by a purple line and filled diamonds is given for M-RC-red150 with distance
cm. Its character is similar to the previous one, but now, all bending moments are underestimated. The case R-red, marked by a black line and filled squares, involves the reduction activation in Robot based on the column size. When the results are observed for discretizations
,
, and
, cases R-red and M-RC-red50 are quite close to each other. This demonstrates that the reduction effect can be successfully activated in both Robot and Midas packages and can give similar results.
4. Interaction of Beam with Slab
The third benchmark concerns the analysis of out-of-plane bending based on the model of a slab, which is in interaction with a beam. The configuration is presented in
Figure 17. The slab has length
m, width
m, and thickness
cm. The beam span is
m, and it has a rectangular cross-section of
cm. Both structural elements are made of concrete C30/37, with material properties as in the previous section: Young’s modulus is
GPa, Poisson’s ratio is
, and shear modulus is
GPa. The edges of the slab along the width (
m) are simply supported, i.e., translations are constrained. Uniformly distributed load
kN/m is applied along the beam, as shown in
Figure 17. For the computations in both packages, two meshes consisting of rectangular FEs are employed: a coarser mesh with FEs
m and a finer mesh with FEs
m. A similar study, but much more concise, performed only on Robot and for a concrete slab with a steel beam, was demonstrated in [
42].
There are three variants of the connection between the beam and the slab, as depicted in
Figure 18. The simplest version of the model, marked with the Roman numeral I, occurs when the beam axis aligns with the middle plane of the slab, i.e., no offset exists and
cm. The second type of connection, marked by II, assumes that the upper flange of the beam coincides with the top plane of the slab, so the offset corresponds to
cm. The last case of connection is presented in
Figure 18 on the right-hand side and marked by III. Here, the upper beam flange faces the bottom plane of the slab, and the offset is
cm. The study and comparison of these specified connections are described later in the section.
Now, before discussing the aforementioned versions of the model and their results, the first aspect of the analysis is to determine whether the offset definition causes any changes in the obtained values. The study focuses only on type II connection with cm. Various options available in Robot for modeling connectors between the beam and the slab are investigated:
- (a)
Directly using the function offset;
- (b)
Activating so-called rigid links for all nodes along the beam and their corresponding nodes of the slab;
- (c)
Shifting down the beam by the distance cm and inserting very stiff and stable members between the nodes of the beam and their counterparts on the slab.
These members are artificially defined as round short pipe rods with high stiffness (
MPa and
) and an extremely large section: diameter
mm and ring thickness
mm, leading to a cross-sectional area of
93,776.54 mm
2. The results obtained using the three options listed above are consistent with each other. The offset function, rigid links, or connector members form a particular type of frame. As a result, additional axial forces
are generated in the beam, along with bending moments
. These axial forces occur due to the presence of offsets, specified in different ways, and the creation of a frame structure consisting of beam FEs and the connector members linking the beam to the slab as short studs. The bending moment
and axial force
diagrams are presented in
Figure 19 for case II(b) as an example. The remaining options (a) and (c) exhibit almost the same distributions of
and
. Additionally, the equilibrium of selected beam nodes has been verified for case (c), thanks to which the formation of the frame and axial forces has been confirmed. This entire analysis proves that the offset function effectively acts as a rigid link between the beam and the slab. As a result, all three aforementioned options are equivalent. Moreover, non-zero axial forces in that case become apparent. The character of both
and
diagrams is discontinuous, and jumps are governed by the lengths of beam FEs. The presence of axial forces, when the offset option is used, must be considered in calculating the final value of the bending moment for the beam. In further computations, case (a) will be used, and at a later stage of the study, it will be denoted by the suffix “-o”.
The beam in this benchmark, cooperating with the slab, provides the function of bending moments
as for a simply supported beam. Therefore, the theoretical value of
for the beam can be determined. The extreme point is located at point 0, where
m (see
Figure 17), and the moment equals:
When deriving the total bending moment
for a beam interacting with the slab, considering the offset effect, three components should be taken into account:
Maximum values of the bending moment
and the axial force
(absolute value) at midpoint 0 are read from the beam diagrams, as in case II(b), where they are highlighted in the boxes in
Figure 19. The integral
is determined based on the panel cut perpendicular to the beam so that slab bending moment
along the
y-axis is summed:
The panel cuts of
along width
(in the middle of length
) are illustrated in
Figure 20 for the computations carried out in Robot using two meshes. In addition, the respective integral values
are shown as well.
Figure 20 also depicts the schemes of the model, FE meshes for both densities, supports along width
, and the position of load
is visible as well. For example, the total value of the bending moment
at midpoint 0 is then calculated for the finer mesh as
This arithmetic takes into account the appropriate absolute values based on the results obtained in Robot.
In the Midas program, it is not possible to read the value of the integral
directly for a given panel cut. Hence, to assess it, the values of the slab’s bending moments
along an indicated intersection can be taken into account. After that, a numerical method such as the trapezoidal rule can be applied to derive
. The results for the model in Midas with offset type II and the finer mesh are presented in
Figure 21 and
Figure 22.
Figure 21 visualizes the diagram of
for the beam. As for the diagrams from Robot, given in
Figure 19, the jumps between values are observed due to its discretization into FEs with specific lengths.
Figure 22 displays a contour plot of bending moments
for the slab. Together with this distribution, the values of
along the width
at midpoint 0 are distinguished. They are needed to determine
by the trapezoidal rule. After this integration, the total value of the moment
for the Midas computations, using type II and the finer mesh, equals:
An alternative approach to operating with the offset in the model is to preserve the beam–slab configuration in the basic form, as defined in option I (see
Figure 18), and then appropriately modify the value of the moment of inertia for the beam. Its initial value is
Adopting the parallel axis theorem, the moments of inertia for connection type II with
cm and type III with
cm are calculated, respectively, as follows:
In Midas, such adjusted geometric characteristics have to be directly input into the beam data. The Robot software tool requires the entry of the so-called section’s moment of inertia coefficient depending on the distance
z. For configurations II and III, these entries are determined by the ratio:
The coefficient
C is originally given to account for the cracking of a section, and in that case, it is usually reduced for the beam analysis. However, here it is regarded to indicate the position of the beam related to the slab as for the offset option. Note that both modified values of the moment of inertia, directly as in Midas or by means of
C as in Robot, are also transferred to the next software modules for dimensioning. The total bending moment
is still calculated using Equation (
20), but according to connection type I, where
cm, the second term vanishes. This approach, where the beam’s moment of inertia is updated, is further denoted by suffix “-m”.
The bending moment
and its particular components are determined at the beam mid-span for each connection type, either by using the offset option or by considering the moment of inertia.
Table 7 shows the results for Robot, while
Table 8 shows the results for Midas. The following columns are specified: the connection type, the distance
z, mesh density, the moment
, and the axial force
read from the diagram; their combination
; the integral
from the panel cut, the total value
, and additionally the deflection
at point 0 (
Figure 17). The suffix “-o” or “-m” refers to how the position of the beam relative to the slab is taken into account. It is evident in the cases with non-zero offset (“-o”) that the force
has to be included in calculating
. Generally, the values of this total bending moment correspond to the theoretical
kNm. The results for the coarser mesh are less accurate, especially in Midas, where the integrals
are estimated using the trapezoidal rule along the panel cut, which is based on four FEs. It should be emphasized that a proper value of the bending moment for the beam cooperating with the slab is calculated according to the sum of terms given in Equation (
20), independently of connection type and the method of taking it into account. The individual components given in the columns of
Table 7 and
Table 8 may vary, but ultimately, they lead to very similar values of
. These results demonstrate the equivalence of the discussed connection types and approaches. It is up to the software user to decide how the interaction between the beam and the slab should be modeled. In both tables, it is observed that the maximum deflections
depend on the connection types. Their values decrease together with increasing distance
z, but they remain comparable between both software programs—Robot and Midas.
5. Final Discussion and Conclusions
The robustness of FEM software relies on the fact that a very coarse mesh cannot lead to irrational results. Programs should also include additional options to enhance the obtained solution, such as smoothing the distribution of a given variable during post-processing. There are many ways to verify engineering software, including single-element or patch tests, spectral analysis, or various benchmarks. The paper compares three benchmarks and FEM results obtained for them using two engineering software programs: the Robot Structural Analysis Professional 2023 package [
9] (Robot) and the Midas nGen 2023 v.1.3 system [
10] (Midas). Both packages are equipped with finite elements, which can ensure objective results. In the case of in-plane bending problems, it is possible to avoid so-called shear-locking. The presence of discrete Kirchhoff–Mindlin elements [
13,
14] for plates helps one to prevent so-called transverse shear locking when out-of-plane bending is studied.
In the first test, a so-called deep cantilever beam under in-plane bending is considered. The analytical solution is presented. Various types of structures available in the software interfaces are analyzed, which actually influences the selection of FEs for the computations. Different types of membrane elements are provided in both programs. The numerical solutions for increasingly refined meshes converge to the theoretical one first given in [
23,
24]. The presence of DOFs called drilling rotations, initially proposed in [
15,
29], enhances the result accuracy and accelerates the convergence rate. In this case, the shear locking phenomenon in the membrane state is overcome. However, based on the results obtained at the corner of the fixed edge, the issue of stress concentration arises; see, e.g., [
17]. Convergence studies and other aspects of the analysis should be disregarded in regions close to the singularity since unprocessed FEM results (e.g., without additional smoothing or similar techniques) at such points are not objective.
The second benchmark deals with out-of-plane bending in a slab supported by a column. An excessive increase in the slab’s bending moment near the support is observed if only a standard numerical analysis is performed. This can be controlled in the post-processing phase by reducing the bending moment above the column. However, the application of the reduction function works differently in each software package. In Robot, it is accessible directly after the computations and depends on a column dimensions. In Midas, it can be enabled in the dimensioning module, where the reduction range is set directly by the user. The column dimensions or the specified reduction range influence the final limitation of the bending moment. It is also noticed that the FE size affects the reduction degree. In accordance with concrete structure design standards, the bending moment values should be read at the face of the support; hence, the application of the reduction is necessary during the analysis. It is suggested, for example, in [
25,
43], to densify the FE mesh in the vicinity of a support such as the column and simultaneously introduce a reduction in moments. In this test, the adoption of uniform FE mesh densification over the entire slab area is intended to investigate the results for unbiased discretization, both without and with applied reduction.
The third study concerns various types of modeling for the interaction between the beam and the slab. In this model, bending of the beam coincides with out-of-plane bending of the slab. Three variants of cooperation are analyzed: without an offset ( cm), with a smaller offset, where the upper beam flange is aligned with the top slab plane ( cm), and with a larger offset ( cm), where the upper beam flange coincides with the bottom slab plane. Additionally, different methods for defining the offset are compared in Robot: either by simply selecting the option in the program menu, using rigid links, or inserting bar members between the beam and the slab. Each approach to introducing an offset leads to almost identical results. Moreover, instead of applying the offset option, a modification of the moment of inertia can also be effectively utilized. In Robot, a special coefficient must be activated with a value greater than 1.0. In Midas, a modified value of the moment of inertia is applied. The total bending moment, the value of which is commonly known and consistent with beam theory, is determined based on its moment diagrams and axial force (if ), as well as by evaluating the integral of the corresponding panel cut for the slab.
The concise list of conclusions and remarks is outlined below:
The influence of transverse shear on the displacement field in the analytical solution of the cantilever beam problem is discussed.
Based on the numerical results for the cantilever beam in both programs, Robot and Midas, proper convergence to the analytical solution is demonstrated.
Finite elements with additional degrees of freedom, called drilling rotations, are included in the software. Shell elements in Robot deliver similar results to membrane elements with triggered extra in-plane rotations in Midas.
Stress singularities in FEM computations can occur in regions with geometric or material discontinuities. Such locations are not adequate to perform, e.g., a convergence study, and require different correction techniques, such as smoothing of the results.
The reduction process objectively improves the distribution of the bending moment in the slab above the column. The limitation in the reduction zone is governed by the column section size in Robot or a distance assumed by the user in Midas.
The reduction option can be enabled in Midas in the dimensioning mode after the introduction of the reinforcement in the concrete slab.
Type verification of connectors, i.e., offsets, rigid links, or stiff members, for the benchmark of the beam cooperating with the slab in Robot shows that all types of interaction modeling are equivalent.
The offset option can be substituted by changing the moment of inertia, but the geometry of the model is transferred further to the design modules.
The results for out-of-plane bending in the beam-slab connection are comparable between the two programs.
The total bending moment at the beam mid-span should be calculated not only by taking into account the corresponding results of the beam but also by the determination of the integral from the panel cut of the slab.
All the above conclusions can contribute to the improvement of modeling of in-plane and out-of-plane bending in structures using the Robot and Midas finite element tools, as well as other software dedicated to structural analysis in civil engineering.
Future work could consist of verifying both programs based on single-element tests, patch tests, and further benchmarks for membranes, plates, and shells, as mentioned, e.g., in [
12,
21]. Another possible development of the study could be presenting the reduction in the slab’s bending moment above a column and/or the beam-slab interaction based on a large-scale structural model.