In accordance with our Quality Policy, COMSOL maintains a library of hundreds of documented model examples that are regularly tested against the latest version of the COMSOL Multiphysics® software, including benchmark problems from ASME and NAFEMS, as well as TEAM problems.
Our Verification and Validation (V&V) test suite provides consistently accurate solutions that are compared against analytical results and established benchmark data. The documented models below are part of the COMSOL Multiphysics® software’s built-in Application Libraries. They include reference values and sources for a wide range of benchmarks, as well as step-by-step instructions to reproduce the expected results on your own computer. You can use these models not only to document your software quality assurance (SQA) and numerical code verification (NCV) efforts, but also as part of an in-house training program.
In this example, a settlement and heave analysis of a shallow foundation resting on an unsaturated soil stratum is conducted with the Modified Cam-Clay and Extended Barcelona Basic soil models. The effect of pore suction due to movements in the phreatic line and the resulting settlement ... 詳細を見る
This example demonstrates the wrinkling phenomenon in a thin sheet stretched uniaxially. The modified membrane theory, which incorporates the wrinkling model, ensures noncompressive principal stresses in the wrinkled region. The analytical results are compared to the numerical results. 詳細を見る
This example models cathodic protection of a steel reinforcing bar in concrete. Three different electrochemical reactions are considered on the steel surface. Charge and oxygen transport are modeled in the concrete domain, where the electrolyte conductivity and oxygen diffusivity depend ... 詳細を見る
In this benchmark example, a semi-elliptical crack at the inner surface of a cylinder is studied. The inside of the cylinder and the crack faces are subjected to a pressure load. The J-integral is calculated along the crack front, and the stress intensity factor is then compared with the ... 詳細を見る
This model example shows how to model nonlinear propagation of 1D finite-amplitude Acoustic waves in fluids using Acoustics Module of COMSOL Multiphysics. The model is based on the 2nd order Westervelt equation. The one dimensional nonlinear wave equation is solved in the time domain by ... 詳細を見る
Experiments on dry and wet soil samples are performed to understand their behavior under different loading conditions. In this example, the Extended Barcelona Basic (BBMx) soil model is used to simulate the wetting and drying paths in partially saturated soil samples under cyclic ... 詳細を見る
This verification model of nonisothermal laminar flow through a circular tube compares the heat transfer coefficient obtained from simulation with theoretical values based on Nusselt number correlation functions that can be found in the literature. 詳細を見る
In a redox flow battery electrochemical energy is stored as redox couples in the electrolyte, which is stored in tanks outside the electrochemical cell. During operation, electrolyte is pumped through the cell and, due to the electrochemical reactions, the individual concentrations of ... 詳細を見る
An important and interesting phenomenon with supersonic flows are expansion fans, which take place when the flow encounters a convex or expansion corner. The direction of the flow changes smoothly across the fan, while the Mach number increases. This 2D example models an expansion fan ... 詳細を見る
In this model, sound created by a vibrating piston radiates through a baffled pipe. The impedance is measured and then used in an impedance boundary condition that replaces the surrounding air domain. This technique can be employed to reduce solution time and memory usage for large ... 詳細を見る