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.
For more than 50 years, it has been known that neutrally buoyant particles in a flow channel tend to converge to specific locations in the channel cross section. For a cylindrical pipe, or two parallel planes carrying a Poiseuille flow, the equilibrium position is about 0.6 times the ... Read More
The classical forward problem of geoelectrics (includes electrical resistivity tomography, ERT and earlier techniques as vertical electric sounding, VES) is the calculation of potentials at a given set of electrodes (M,N) while current is injected at other electrodes (A,B) into the ... Read More
The installation verification application can be used to help verify that your COMSOL Multiphysics® or COMSOL Server™ installation works as expected on your hardware platforms and operating systems. The app automatically loads and runs a suite of test models and compares the results with ... Read More
This example demonstrates how to use the Poroelasticity multiphysics coupling between the Solid Mechanics and Darcy's Law interfaces to model linear biphasic poroviscoelastic behavior of soft biological tissues. The implementation is verified using two numerical benchmarks from the ... Read More
The double barrier structure is of interest because of its application in semiconductor devices such as resonant-tunneling diodes. This verification example demonstrates the Schrödinger Equation interface to set up a simple 1D GaAs/AlGaAs double barrier structure to analyze the ... Read More
As reactant monomer converts into polymer chains, the density of the reacting mixture often changes notably. In this example you will look at how this effect impacts the total production of polymer in a process. The liquid phase polymerization takes place in a semibatch reactor, where ... Read More
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. Read More
The hydrolysis of propylene oxide into propylene glycol is an important chemical process with 400,000 metric tons produced worldwide each year. Propylene glycol finds wide application as a moisturizer in foods, pharmaceuticals, and cosmetics. In this example, the startup phase of a ... Read More
In this example, wrinkling is studied in a cylindrical membrane of nonuniform thickness under axial and pressure loading. The membrane is modeled as an incompressible Mooney–Rivlin material. During axial stretching, certain portions of the membrane undergo wrinkling; however, the ... Read More
This model demonstrates how to set up a fully coupled poroviscoelastic model of biological tissues. The model is benchmarked by simulating a cyclic uniaxial tension–compression test on human brain tissue. Read More
