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.
This model demonstrates the Lithium-Ion Battery interface for studying the discharge and charge of a lithium-ion battery for a given set of material properties. The geometry is in one dimension and the model is isothermal. Battery developers can use the model to investigate the influence ... Read More
This verification model of nonisothermal turbulent flow over a flat plate compares the heat transfer coefficient obtained from simulation with theoretical values based on Nusselt number correlation functions that can be found in the literature. Read More
The tonpilz (sound mushroom) piezoelectric transducer is a transducer for relatively low frequency, high power sound emission. The transducer consists of piezoceramic rings stacked between massive ends and pre-stressed by a central bolt. The tail and head mass lower the resonance ... Read More
The Ahmed body represents a simplified, ground vehicle geometry of a bluff body type. Its shape is simple enough to allow for accurate flow simulation but retains some important practical features relevant to automobile bodies. This model describes how to calculate the turbulent flow ... Read More
A classic benchmark example in computational electromagnetics is to find the resonant frequency and Q-factor of a cavity with lossy walls. Here, models of rectangular, cylindrical, and spherical cavities are shown to be in agreement with analytic solutions. Read More
At the electrode-electrolyte interface, there is a thin layer of space charge in a diffuse double layer. This may be of interest when modeling devices such as electrochemical capacitors and nanoelectrodes. This tutorial example shows how to couple the Nernst-Planck equations to the ... Read More
In this set of verification models and associated documentation, the accuracy of electromagnetic force calculations is investigated. Using various techniques, the total force and torque on a rigid body is determined and compared to analytical models. Using fillets, advanced meshing and ... Read More
A slope stability analysis is performed and the Factor of safety of the dam embankment is calculated by using the Shear Strength Reduction Technique. The pore water pressure is described with Darcy’s law and the Mohr-Coulomb constitutive model is used to describe the soil behavior. Read More
Optical lenses of millimeter size cannot easily be analyzed with the *Electromagnetic Waves, Frequency Domain* interface on standard workstations due to the large number of finite element mesh elements required. This model explains how the *Electromagnetic Waves, Beam Envelopes* ... Read More