Skip to content
Back to exploration
Mathematical modeling / English

What is the difference between verification and validation?

RunModelX · YouTube · 6:52

Open original
READ & KEEP

The explanation, unpacked.

Saves 0

Reviewed learning material · Video analysis · English
Read the full overview

This introductory lecture segment defines and contrasts 'Verification' and 'Validation' in the context of numerical simulations. Verification is described as checking mathematical correctness against the model's equations, while Validation involves comparing predictions with physical reality and experimental data. The instructor uses a cantilever beam problem to illustrate these concepts. Key parameters like Elastic Modulus (E), Second Moment of Area (I), and mass per unit length (μ\mu) are introduced. The segment displays the fourth-order partial differential equation governing beam motion and outlines the workflow: solving analytically (w = FL^3/33/3EI) and numerically (FEM/FDM) for verification, and comparing with experiments for validation. This video segment explains the concept of verification in computational mechanics using a beam deflection problem as an example. It starts with the general partial differential equation for dynamic beam loading, then simplifies it to a static case by neglecting the acceleration term. To verify a numerical solver (like FEM or FDM), a simple cantilever beam with a tip load is chosen because it has a known analytical solution (w = FL^3/33 / 3EI). The verification process involves running the numerical simulation with progressively finer meshes (increasing degrees of freedom) and plotting the resulting deflection. A correct implementation is confirmed if the numerical results converge to the exact analytical value as the mesh is refined. This segment explains the distinction between verification and validation in computational mechanics. Verification ensures numerical methods (like FEM) converge to analytical solutions, demonstrated via a convergence graph. Validation compares simulation results with physical experiments, illustrated by an I-beam setup. The speaker introduces relative difference as a key metric for validation and discusses choosing specific quantities, such as tip displacement or strain, as validation metrics. This video segment explains the concepts of verification and validation in the context of Finite Element Analysis (FEA). It details how comparing experimental strain (ϵ11\epsilon_{11}) with simulated strain (ε\varepsilon) at integration points serves as a validation metric. The speaker distinguishes verification (checking mathematical correctness against analytical solutions like w=FL33EIw = \frac{FL^3}{3EI}) from validation (checking physical accuracy against experiments). Finally, it concludes that a simulation is ready for application only after both processes are successfully completed.

Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.

Chapters

0:00Introduction to Verification and Validation0:14Defining Verification (Mathematics)0:34Defining Validation (Physics)0:58Example Problem: Cantilever Beam Setup1:35Verification Workflow: PDE and Analytical Solution2:00General Beam Deflection Equation2:16Simplifying to Static Deflection2:36Benchmark Problem: Cantilever Beam3:07Numerical Methods (FEM/FDM)3:20Mesh Refinement and Convergence Plot4:00Verification: Numerical vs Analytical4:08Validation: Simulation vs Experiment5:00Computing Relative Difference5:30Defining Validation Metrics6:00Strain as a Validation Metric6:32Verification vs. Validation Overview6:42Conclusion: Readiness for Application

Learning script

Generated from the video's visuals and explanation; not verbatim speech.

The video begins by establishing the core distinction in computational mechanics: Verification maps to Mathematics, and Validation maps to Physics.

The speaker defines Verification as the internal check of the model. It ensures that the numerical solution satisfies the mathematical equations derived from the physical problem. Essentially, it answers the question: 'Are we solving the equations correctly?'

Validation is then defined as the external check. It verifies that the model's output aligns with physical reality and experimental measurements. This answers the question: 'Are we solving the right equations?'

To demonstrate these concepts, the instructor introduces a cantilever beam problem. The diagram shows a beam fixed at one end with a force F applied at the free tip, causing a deflection w.

The relevant physical parameters are listed: E is the Elastic Modulus (material stiffness), I is the Second Moment of Area (geometric stiffness, defined as I=∬z2dydzI = \iint z^2 dy dz), and μ\mu is the mass per unit length.

The workflow is split into two boxes. The 'Verification' box contains the governing Partial Differential Equation (PDE) for beam dynamics: ∂2∂x2\frac{\partial^2}{\partial x^2} (EI ∂2w∂x2\frac{\partial^2 w}{\partial x^2}) + μ∂2w∂t2=q(x)\mu \frac{\partial^2 w}{\partial t^2} = q(x).

Inside the Verification box, the instructor lists the analytical solution for static deflection, w=FL33EIw = \frac{FL^3}{3EI}, alongside numerical methods like FEM (Finite Element Method) and FDM (Finite Difference Method). This illustrates comparing numerical codes against exact math solutions.

The video begins by displaying the general partial differential equation for beam deflection: ∂2∂x2(EI∂2w∂x2)+μ∂2w∂t2=q(x)\frac{\partial^2}{\partial x^2} \left( EI \frac{\partial^2 w}{\partial x^2} \right) + \mu \frac{\partial^2 w}{\partial t^2} = q(x). The narrator identifies q(x)q(x) as the distributed loading and ww as the deflection, noting the presence of Young's modulus within the EIEI term.

To make the problem tractable for a basic verification exercise, the narrator explains that the acceleration term (μ∂2w∂t2\mu \frac{\partial^2 w}{\partial t^2}) can be neglected. This reduces the dynamic equation to a static boundary value problem, allowing the focus to shift to solving for static deflection using numerical methods.

The chosen test case is a cantilever beam with a clamped left end and a vertical point force FF applied at the free right tip. Because this is a standard structural problem, it possesses a known exact analytical solution for the tip deflection, written on the board as w=FL33EIw = \frac{FL^3}{3EI}.

The goal is to solve this same static problem using numerical techniques, specifically listing the Finite Element Method (FEM) and Finite Difference Method (FDM). Since the true answer is already known analytically, these numerical methods can be tested for correctness.

The verification procedure is illustrated with a hand-drawn graph. The horizontal axis represents the Degrees of Freedom (DOF), which increases as the mesh element size is reduced. The vertical axis represents the computed deflection ww. A horizontal dashed line marks the target analytical value FL33EI\frac{FL^3}{3EI}.

The narrator draws a curve showing that as the number of elements increases (moving right along the DOF axis), the numerical solution (the curve) rises and asymptotically approaches the dashed line. This convergence to the exact analytical value confirms that the numerical code is functioning correctly.

The speaker begins by concluding the verification process, pointing to a graph where the numerical solution (FEM/FDM) converges to the analytical solution w=FL33EIw = \frac{FL^3}{3EI} as degrees of freedom (DOF) increase. This confirms the mathematical correctness of the numerical implementation.

Transitioning to validation, the speaker draws an experimental setup involving a steel I-beam welded to a stiffer steel plate. A mass mm is hung at the tip to apply a force. The speaker notes that the welded joint is not perfectly rigid, meaning some deflection occurs at the boundary, which must be accounted for in the physical experiment.

A force-displacement graph is sketched, showing both the experimental data (blue line) and the simulation prediction (green line). The goal of validation is to compare these two curves to assess the model's physical accuracy.

To quantify the agreement, the speaker writes 'Rel dif %', explaining that one should calculate the relative difference between the experimental and simulated displacements, rather than just an absolute error. An example of a 10% relative difference is given.

Finally, the speaker defines the 'validation metric'—the specific quantity being compared. While tip displacement ww is used here, the speaker suggests alternative metrics, such as placing a strain gauge on the beam to measure the longitudinal strain ε11\varepsilon_{11} caused by bending.

To validate a simulation, we can compare specific physical quantities. For example, we can measure the experimental strain ϵ11\epsilon_{11} on a physical beam.

In the Finite Element (FE) simulation, represented here by a rectangular cross-section, we compute the simulated strain ε\varepsilon at the integration points or nodes.

By comparing these two strain values (ϵ11\epsilon_{11} and ε\varepsilon), we establish a validation metric. The choice of this metric depends on the specific application requirements.

It is crucial to distinguish between Verification and Validation. Verification ensures the mathematical model is solved correctly, often by comparing numerical solutions (like FEM) against analytical solutions (e.g., w=FL33EIw = \frac{FL^3}{3EI}).

Validation ensures the model represents reality by comparing simulation results against physical experiments, such as the force-displacement curve of a steel beam.

Only after a simulation has been both verified and validated can it be confidently used in its intended application.

Knowledge cards

01

Verification vs. Validation

Verification ensures the mathematical solution is correct (solving equations right), while Validation ensures the model matches physical reality (solving right equations).

02

Cantilever Beam Parameters

Key variables for beam analysis: E (Elastic Modulus), I (Second Moment of Area=∬z2dydz\text{Area} = \iint z^2 dy dz), μ\mu (mass per unit length), F (tip force), w (deflection).

I=∬z2dydzI = \iint z^2 dy dz
03

Beam Equation of Motion

The governing fourth-order PDE for a dynamic beam, relating bending stiffness, inertia, and distributed load q(x)q(x).

∂2∂x2(EI∂2w∂x2)+μ∂2w∂t2=q(x)\frac{\partial^2}{\partial x^2} \left( EI \frac{\partial^2 w}{\partial x^2} \right) + \mu \frac{\partial^2 w}{\partial t^2} = q(x)
04

Analytical Beam Deflection

The exact mathematical solution for the static deflection of a cantilever beam with a point load F at the tip, used as a benchmark for numerical verification.

w=FL33EIw = \frac{FL^3}{3EI}
05

General Dynamic Beam Equation

The fundamental PDE describing the transverse vibration and deflection of a beam under distributed load q(x)q(x), incorporating flexural rigidity EIEI and mass per unit length μ\mu.

∂2∂x2(EI∂2w∂x2)+μ∂2w∂t2=q(x)\frac{\partial^2}{\partial x^2} \left( EI \frac{\partial^2 w}{\partial x^2} \right) + \mu \frac{\partial^2 w}{\partial t^2} = q(x)
06

Static Deflection Simplification

For problems involving constant loads and ignoring inertial effects, the time-dependent acceleration term is set to zero, reducing the PDE to a static ordinary differential equation.

07

Cantilever Tip Deflection Formula

The exact analytical solution for the maximum deflection at the free end of a cantilever beam subjected to a single point load FF at the tip.

w=FL33EIw = \frac{FL^3}{3EI}
08

Numerical Verification via Mesh Convergence

A standard practice in computational mechanics where a numerical solver (like FEM) is run with progressively finer meshes. If the results converge to a known analytical solution as the Degrees of Freedom (DOF) increase, the code is considered verified.

09

Verification

Verification ensures that the numerical solution (e.g., FEM) converges to the exact analytical solution as the mesh is refined. It checks the mathematical correctness of the solver.

w=FL33EIw = \frac{FL^3}{3EI}
10

Validation

Validation compares the simulation results with physical experimental measurements to ensure the computational model accurately represents real-world behavior.

11

Relative Difference

A normalized metric used to quantify the discrepancy between experimental and simulation results, expressed as a percentage.

Relative Difference=∣Simulation−Experiment∣Experiment×100%\text{Relative Difference} = \frac{|\text{Simulation} - \text{Experiment}|}{\text{Experiment}} \times 100\%
12

Validation Metric

The specific physical quantity chosen for comparison during validation, such as tip displacement (ww) or strain (ε11\varepsilon_{11}).

13

Strain-Based Validation Metric

Comparing experimental strain (ϵ11\epsilon_{11}) with simulated strain (ε\varepsilon) at integration points is a method to validate FEA models. This metric helps quantify the error between the physical test and the digital twin.

Compare ϵ11 (exp) and ε (sim)\text{Compare } \epsilon_{11} \text{ (exp) and } \varepsilon \text{ (sim)}
14

Verification vs. Validation

Verification checks if the equations are solved correctly (Math vs. Math), while Validation checks if the correct equations were solved (Math vs. Reality). Both are necessary before applying a simulation.

15

Analytical Beam Deflection

A common verification step involves comparing numerical results against known analytical solutions. For a cantilever beam, the deflection ww is given by FL33EI\frac{FL^3}{3EI}.

w=FL33EIw = \frac{FL^3}{3EI}

Detailed learning notes

Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.

Symbols · 31

E

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Handwritten text 'E = Elastic Modulus' appears on the left side of the screen.

  2. Audio
    Observation

    The speaker says, 'the Young's modulus of the beam is E'.

Symbol

E

Meaning

Elastic Modulus (Young's modulus) of the beam material

Domain

Material property

I

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Handwritten text 'I = Second moment of area' appears below the definition of E.

  2. Formula
    Observation

    The equation I=∬z2dydzI = \iint z^2 dy dz is written on the screen.

Symbol

I

Meaning

Second moment of area of the beam cross-section

Domain

Geometric property

μ\mu

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Handwritten text 'μ\mu = mass per unit length' appears below the definition of I.

  2. Audio
    Observation

    The speaker says, 'and μ\mu is the mass per unit'.

Symbol

μ\mu

Meaning

Mass per unit length of the beam

Domain

Physical property

F

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A red arrow pointing downwards at the tip of the beam is labeled 'F'.

  2. Audio
    Observation

    The speaker says, 'with a value of F'.

Symbol

F

Meaning

Applied force at the tip of the cantilever beam

Domain

Load

w

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A blue vertical dimension line indicating deflection is labeled 'w'.

  2. Audio
    Observation

    The speaker says, 'and the deflection of beam is w'.

Symbol

w

Meaning

Deflection of the beam at the point of force application

Domain

Displacement

q(x)q(x)

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    In the Verification box, a distributed load is shown with red arrows labeled 'q(x)q(x)'.

  2. Formula
    Observation

    The term q(x)q(x) appears on the right-hand side of the PDE.

Symbol

q(x)q(x)

Meaning

Distributed transverse load as a function of position x

Domain

Load distribution

x

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    An axis along the length of the beam in the Verification box is labeled 'x'.

  2. Formula
    Observation

    The variable x appears in the partial derivative operators ∂∂x\frac{\partial}{\partial x}.

Symbol

x

Meaning

Spatial coordinate along the length of the beam

Domain

Position

q(x)q(x)

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The handwritten PDE on the upper diagram contains q(x)q(x) on the right-hand side.

  2. Audio
    Observation

    The speaker says, "Loading is QX for a general form".

Symbol

q(x)q(x)

Meaning

General distributed loading function acting on the beam.

Domain

Function of spatial coordinate x

w

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The handwritten PDE contains w in the terms ∂2w∂x2\frac{\partial^2 w}{\partial x^2} and ∂2w∂t2\frac{\partial^2 w}{\partial t^2}.

  2. Audio
    Observation

    The speaker says, "when the deflection is W as a function of X".

Symbol

w

Meaning

Deflection of the beam.

Domain

Function of x (and potentially t in the general equation)

x

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The handwritten PDE contains x in the denominator of the partial derivative ∂2∂x2\frac{\partial^2}{\partial x^2}.

  2. Audio
    Observation

    The speaker says, "as a function of X".

Symbol

x

Meaning

Spatial coordinate along the length of the beam.

Domain

Real number

EI

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The handwritten PDE contains EI inside the parentheses.

  2. Audio
    Observation

    The speaker says, "So we have a Young modulus and we have also Q in this equation".

Uncertainties
  1. The speaker mentions 'Young modulus' but the formula uses the product EI (flexural rigidity). The symbol I is not explicitly named in the audio.

Symbol

EI

Meaning

Flexural rigidity of the beam, where E is Young's modulus and I is the area moment of inertia.

Domain

Positive real constant

μ\mu

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The handwritten PDE contains μ\mu multiplying the time derivative term.

Uncertainties
  1. The symbol μ\mu is not mentioned in the audio.

Symbol

μ\mu

Meaning

Mass per unit length of the beam.

Domain

Positive real constant

Knowledge points · 14

Definition of Verification

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker states: 'verification is simply when we evaluate our model's prediction based on the mathematics of the model... make sure that the solution... is mathematically correct.'

  2. Diagram
    Observation

    Text 'Verification -> mathematics' is displayed on the slide.

Definition
Explanation

Verification is the process of evaluating a numerical model's predictions based strictly on the underlying mathematical equations to ensure the solution is mathematically correct.

Formula
Conditions
  1. Applies to numerical simulations

  2. Focuses on mathematical correctness

Definition of Validation

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker states: 'in the validation, we want to make sure that it follows the physical assumptions and the physical meaning... almost the same as our experimental measurement.'

  2. Diagram
    Observation

    Text 'Validation -> Physics' is displayed on the slide.

Definition
Explanation

Validation is the process of ensuring that the model's predictions align with physical assumptions and match experimental measurements closely.

Formula
Conditions
  1. Applies to numerical simulations

  2. Focuses on physical realism and experimental agreement

Equation of Motion for a Beam

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Equation ∂2∂x2\frac{\partial^2}{\partial x^2} (EI ∂2w∂x2\frac{\partial^2 w}{\partial x^2}) + μ∂2w∂t2=q(x)\mu \frac{\partial^2 w}{\partial t^2} = q(x) is written in the Verification box.

  2. Audio
    Observation

    Speaker mentions 'fourth order equation of motion... it's a PDE'.

Uncertainties
  1. The time variable t is not explicitly defined in the audio but appears in the formula.

Formula
Explanation

A fourth-order partial differential equation describing the dynamic behavior of a beam under distributed load, involving bending stiffness and inertia.

Formula
∂2∂x2(EI∂2w∂x2)+μ∂2w∂t2=q(x)\frac{\partial^2}{\partial x^2} \left( EI \frac{\partial^2 w}{\partial x^2} \right) + \mu \frac{\partial^2 w}{\partial t^2} = q(x)
Conditions
  1. Applicable to Euler-Bernoulli beams

  2. Assumes small deflections

Prerequisites
  1. E
  2. I
  3. μ\mu
  4. q(x)q(x)
  5. x

General Beam Deflection PDE

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The handwritten equation is ∂2∂x2(EI∂2w∂x2)+μ∂2w∂t2=q(x)\frac{\partial^2}{\partial x^2} \left( EI \frac{\partial^2 w}{\partial x^2} \right) + \mu \frac{\partial^2 w}{\partial t^2} = q(x).

  2. Audio
    Observation

    The speaker explains the terms: "Loading is QX... deflection is W... Young modulus...".

Formula
Explanation

The video presents the general partial differential equation governing the dynamic deflection of a beam under distributed loading.

Formula
∂2∂x2(EI∂2w∂x2)+μ∂2w∂t2=q(x)\frac{\partial^2}{\partial x^2} \left( EI \frac{\partial^2 w}{\partial x^2} \right) + \mu \frac{\partial^2 w}{\partial t^2} = q(x)
Conditions
  1. Applies to a beam with flexural rigidity EI and mass per unit length μ\mu.

Static Deflection Assumption

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker states, "But we can neglect the acceleration term, so we can consider as a static deflection."

Method
Explanation

To simplify the problem for numerical verification, the time-dependent acceleration term is neglected, reducing the dynamic PDE to a static boundary value problem.

Formula
Conditions
  1. The loading and deflection are assumed to be independent of time.

Prerequisites
  1. General Beam Deflection PDE

Analytical Solution for Cantilever Tip Deflection

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The handwritten equation is w=FL33EIw = \frac{FL^3}{3EI}.

  2. Audio
    Observation

    The speaker says, "the analytical solution is W equal FL to the power of 3 over 3EI".

Formula
Explanation

For a cantilever beam with a point load at the free end, the exact deflection at the tip is given by this standard structural mechanics formula.

Formula
w=FL33EIw = \frac{FL^3}{3EI}
Conditions
  1. Cantilever boundary condition (clamped at one end, free at the other).

  2. Point force F applied vertically at the free tip.

  3. Linear elastic material behavior.

Prerequisites
  1. Static Deflection Assumption

Numerical Methods for Beam Deflection

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The handwritten text lists "FEM" and "FDM" under "Numerical solution".

  2. Audio
    Observation

    The speaker says, "for instance we want to use finite difference method or finite element method".

Definition
Explanation

The Finite Element Method (FEM) and Finite Difference Method (FDM) are numerical techniques used to approximate the solution to the beam deflection differential equation when an analytical solution is unavailable or to verify code implementations.

Formula
Prerequisites
  1. General Beam Deflection PDE

Mesh Refinement and Convergence

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker explains, "we reduce the mesh element, the element size... by increasing the number of element it converges to a certain value".

  2. Diagram
    Observation

    A hand-drawn graph shows a curve approaching a horizontal dashed line as the x-axis value increases.

Method
Explanation

In numerical methods like FEM, the domain is divided into elements. Reducing the element size increases the degrees of freedom (DOF). A key verification step is to observe that the computed deflection converges to the true analytical value as the DOF increases.

Formula
Conditions
  1. Requires a numerical solver (e.g., FEM or FDM).

  2. Assumes the analytical solution is known for comparison.

Prerequisites
  1. Numerical Methods for Beam Deflection
  2. Analytical Solution for Cantilever Tip Deflection

Verification

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says 'we can say that it's verified'.

  2. Diagram
    Observation

    Graph shows numerical solution converging to analytical solution w = FL^3/33 / 3EI.

Definition
Explanation

Verification ensures that the numerical solution (e.g., FEM or FDM) converges to the analytical solution as the mesh is refined (DOF increases).

Conditions
  1. Analytical solution exists

  2. Mesh refinement

Validation

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says 'For validation, we make sure that our solution is equal to the measurement'.

  2. Diagram
    Observation

    Drawing of an experimental setup with an I-beam, welding, and a mass m.

Definition
Explanation

Validation compares the simulation results with physical experimental measurements to ensure the model accurately represents reality.

Conditions
  1. Experimental setup available

  2. Measurement data obtained

Relative Difference

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says 'we can compute the error between these two... In fact, it's not error, it's relative difference'.

  2. Formula
    Observation

    Written as 'Rel dif %' on the whiteboard.

Formula
Explanation

A metric used in validation to quantify the discrepancy between experimental and simulation results, expressed as a percentage.

Formula
Relative Difference=∣Simulation−Experiment∣Experiment×100%\text{Relative Difference} = \frac{|\text{Simulation} - \text{Experiment}|}{\text{Experiment}} \times 100\%
Conditions
  1. Both experimental and simulation values are available

Prerequisites
  1. Validation

Validation Metric

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says 'our validation metric is the displacement at the tip of the beam... Or we could also define different validation metric... measure the epsilon E11'.

  2. Diagram
    Observation

    Drawing of a beam with a strain gauge and deflection w.

Definition
Explanation

The specific physical quantity chosen to compare between the experiment and the simulation, such as tip displacement or strain.

Conditions
  1. Clearly defined physical quantity

Prerequisites
  1. Validation
Claims and conditions · 3

Convergence to Analytical Solution

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker states, "by increasing the number of element it converges to a certain value and this certain value should be equal to W FL3".

  2. Diagram
    Observation

    The drawn curve asymptotically approaches the dashed line labeled with the analytical solution.

Proposition
Statement

As the number of elements (or degrees of freedom) in a numerical model increases, the computed deflection converges to the exact analytical solution.

Hypotheses
  1. The numerical method (e.g., FEM) is correctly implemented.

  2. The problem has a known analytical solution for comparison.

Quantifiers

For all sufficiently fine meshes.

Application Dependence of Validation Metrics

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says 'it depends on our application what we want to define our validation metric'.

Proposition
Statement

The choice of validation metric depends on the specific application requirements.

Quantifiers

No quantifiers are stated in the source.

Simulation Usability

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker says 'when we validate and verify our simulation then we can use it in our application'.

Proposition
Statement

A simulation can be used in its intended application only after it has been both verified and validated.

Quantifiers

No quantifiers are stated in the source.

Derivations and proofs · 2

Derivation of Static Equation

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker explains the transition from the general PDE to the static case by neglecting the acceleration term.

Intuitive argument
Steps
  1. Expression
    Explanation

    Start with the general dynamic PDE: ∂2∂x2(EI∂2w∂x2)+μ∂2w∂t2=q(x)\frac{\partial^2}{\partial x^2} \left( EI \frac{\partial^2 w}{\partial x^2} \right) + \mu \frac{\partial^2 w}{\partial t^2} = q(x).

    Justification

    Observed from the whiteboard.

    Shown in the video
  2. Expression
    Explanation

    Neglect the acceleration term μ∂2w∂t2\mu \frac{\partial^2 w}{\partial t^2}.

    Justification

    Stated by the speaker to consider static deflection.

    Shown in the video
  3. Expression
    Explanation

    This leaves the static beam equation, which is then solved numerically for the specific cantilever case.

    Justification

    Logical consequence of the previous step.

    Derived from the video
Conclusion

The problem is simplified to a static boundary value problem suitable for numerical verification against a known analytical solution.

Derivation of Strain Comparison Method

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker describes measuring experimental strain and computing simulated strain at integration points to compare them.

  2. Diagram
    Observation

    Drawing of a beam with 'ϵ11\epsilon_{11}' and a cross-section with nodes and 'ε\varepsilon'.

Intuitive argument
Steps
  1. Expression
    ϵ11 (experimental)\epsilon_{11} \text{ (experimental)}
    Explanation

    Measure strain at a specific location on the physical beam.

    Justification

    Audio: 'I could measure epsilon one one'.

    Shown in the video
  2. Expression
    ε (simulated)\varepsilon \text{ (simulated)}
    Explanation

    Compute strain at the corresponding integration point in the FEA model.

    Justification

    Audio: 'compute the epsilon at the integration point'.

    Shown in the video
  3. Expression
    Compare ϵ11 and ε\text{Compare } \epsilon_{11} \text{ and } \varepsilon
    Explanation

    Use the difference as a validation metric.

    Justification

    Audio: 'compare these two epsilon as a different validation metric'.

    Shown in the video
Conclusion

Comparing experimental and simulated strains provides a valid metric for model validation.

Worked examples · 5

Cantilever Beam Deflection Problem

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Drawing of a cantilever beam fixed at one end with force F at the other.

  2. Audio
    Observation

    Speaker describes the problem setup: 'imagine that this is our problem... beam when the force is applied at the tip...'

Problem

Determine the deflection w of a cantilever beam subjected to a tip force F.

Given
  1. Beam fixed at one end (cantilever)

  2. Force F applied at the free tip

  3. Material property E (Elastic Modulus)

  4. Geometric property I (Second moment of area)

  5. Mass per unit length μ\mu

Goal

Calculate deflection w using analytical and numerical methods for verification, and compare with experiment for validation.

Steps
  1. Expression
    w=FL33EIw = \frac{FL^3}{3EI}
    Explanation

    Analytical solution for static deflection of a cantilever beam with tip load.

    Justification

    Standard beam theory result shown in the Verification box.

    Shown in the video
  2. Expression
    FEM/FDMFEM / FDM
    Explanation

    Numerical solutions obtained via Finite Element Method or Finite Difference Method.

    Justification

    Listed as numerical approaches in the Verification box.

    Shown in the video
Answer

The analytical deflection is w = FL^3/(3EI). Numerical methods like FEM and FDM are used to approximate this solution for verification.

Verification

Comparison of numerical results with the analytical solution (Verification) and comparison with experimental Force-Displacement data (Validation).

Verification Example: Cantilever Beam

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A drawing of a cantilever beam with a point load F at the tip and deflection w.

  2. Formula
    Observation

    The analytical solution w=FL33EIw = \frac{FL^3}{3EI} is written below the diagram.

  3. Audio
    Observation

    The speaker describes the setup: "clamped boundary condition... vertical and pointed force like F... compute the deflection at the tip".

Problem

Verify a numerical implementation (e.g., FEM) for solving beam deflection.

Given
  1. A cantilever beam of length L and flexural rigidity EI.

  2. A vertical point force F applied at the free tip.

  3. The known analytical solution for tip deflection: w=FL33EIw = \frac{FL^3}{3EI}.

Goal

Demonstrate that the numerical solution converges to the analytical solution as the mesh is refined.

Steps
  1. Expression
    Explanation

    Build the FEM model and write the code.

    Justification

    Stated by the speaker as the first step.

    Shown in the video
  2. Expression
    Explanation

    Run the simulation with progressively smaller element sizes (increasing DOF).

    Justification

    Stated by the speaker: "reduce the mesh element, the element size".

    Shown in the video
  3. Expression
    Explanation

    Plot the computed tip deflection w against the number of DOF.

    Justification

    Shown in the hand-drawn graph.

    Shown in the video
  4. Expression
    Explanation

    Observe that the plotted curve converges to the horizontal line representing the analytical value FL33EI\frac{FL^3}{3EI}.

    Justification

    Stated by the speaker and shown in the graph.

    Shown in the video
Answer

The numerical method is verified if the computed deflection approaches the analytical solution FL33EI\frac{FL^3}{3EI} as the degrees of freedom increase.

Verification

Comparison of the numerical result's limit with the exact analytical formula.

I-beam Experimental Setup

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Drawing of an I-beam welded to a steel plate with a mass m at the tip.

  2. Audio
    Observation

    Speaker describes the setup: 'we have an I-beam here... welding... join the beam over a plate... apply a force by adding a mass m at the tip'.

Problem

Describe the experimental setup used for validating the beam deflection simulation.

Given
  1. I-beam made of steel (E=200E=200 GPa, ν=0.3ν=0.3)

  2. Steel plate (E=800E=800 GPa, ν=0.3ν=0.3)

  3. Welded joint

  4. Mass m at the tip

Goal

Identify components and boundary conditions of the physical experiment.

Steps
  1. Expression
    Explanation

    An I-beam is welded to a steel plate.

    Justification

    Visual observation of the diagram.

    Shown in the video
  2. Expression
    Explanation

    A mass m is hung at the free tip of the I-beam to apply a downward force.

    Justification

    Visual observation and audio description.

    Shown in the video
  3. Expression
    Explanation

    The boundary condition at the weld is not perfectly clamped, allowing some deflection.

    Justification

    Audio statement: 'it's not completely clamped boundary condition so we may have a deflection'.

    Shown in the video
Answer

The setup consists of a steel I-beam welded to a stiffer steel plate, with a mass applied at the tip to measure force-displacement behavior.

Verification

Matches the visual diagram and audio description.

Beam Deflection Verification

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Visible formulas: 'w=FL33EIw = \frac{FL^3}{3EI}', '∂2∂x2(EI∂2w∂x2)+μ∂2w∂t2=q(x)\frac{\partial^2}{\partial x^2}(EI \frac{\partial^2 w}{\partial x^2}) + \mu \frac{\partial^2 w}{\partial t^2} = q(x)'.

  2. Diagram
    Observation

    Box labeled 'Verification' containing analytical and numerical solutions for a beam.

Problem

Verify the numerical solution (FEM/FDM) against the analytical solution for beam deflection.

Given
  1. Analytical solution: w=FL33EIw = \frac{FL^3}{3EI}

  2. Numerical solution: FEM, FDM

Goal

Demonstrate that the numerical method converges to the analytical result.

Steps
  1. Expression
    wanalytical=FL33EIw_{analytical} = \frac{FL^3}{3EI}
    Explanation

    State the exact analytical solution for deflection.

    Justification

    Visible in the 'Verification' box.

    Shown in the video
  2. Expression
    wnumerical∈{FEM,FDM}w_{numerical} \in \{\text{FEM}, \text{FDM}\}
    Explanation

    Identify numerical methods used to approximate the solution.

    Justification

    Visible in the 'Verification' box.

    Shown in the video
Answer

Verification ensures the numerical solver correctly solves the governing differential equation.

Verification

Comparison of wnumericalw_{numerical} and wanalyticalw_{analytical} on the graph.

Steel Beam Validation

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Box labeled 'Validation' showing a physical steel beam setup and a Force-Displacement graph comparing 'Experiment' and 'Simulation'.

Problem

Validate the simulation model against physical experimental data for a steel beam.

Given
  1. Material: Steel (E=200 GPaE=200 \text{ GPa}, ν=0.3\nu=0.3)

  2. Setup: Welded I-beam with mass mm

Goal

Ensure the simulation accurately predicts real-world behavior.

Steps
  1. Expression
    Force [N] vs Displacement [mm]\text{Force [N]} \text{ vs } \text{Displacement [mm]}
    Explanation

    Plot experimental and simulation results on the same axes.

    Justification

    Visible in the 'Validation' box graph.

    Shown in the video
  2. Expression
    Experiment line≈Simulation line\text{Experiment line} \approx \text{Simulation line}
    Explanation

    Compare the two curves to assess model accuracy.

    Justification

    Visual representation in the graph.

    Shown in the video
Answer

Validation confirms the model represents the physical reality of the steel beam structure.

Verification

Closeness of the blue 'Experiment' line and green 'Simulation' line on the graph.

Visual events · 10

Transition to Whiteboard View

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The view zooms out from the title slide to reveal handwritten notes and diagrams on a digital whiteboard.

Objects
  1. Title Slide

  2. Handwritten Notes

  3. Diagrams

Changes
  1. Zoom level decreases

  2. Content shifts from typed text to handwritten math

Invariants
  1. Topic remains Verification and Validation

Interpretation

The instructor moves from conceptual definitions to a concrete mathematical example.

Separation of Concepts

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    Two large rectangular boxes are drawn around the 'Verification' and 'Validation' sections respectively.

Objects
  1. Verification Box

  2. Validation Box

Changes
  1. Visual grouping of related equations and diagrams

Invariants
  1. Underlying math content unchanged

Interpretation

Emphasizes the distinct workflows for checking math (Verification) vs checking physics (Validation).

General Beam Problem Setup

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Top section of the whiteboard showing a beam with distributed load q(x)q(x), deflection w(x)w(x), and the general PDE.

Objects
  1. Cantilever beam

  2. Distributed load arrows (red)

  3. Deflection curve (blue dashed)

  4. PDE equation (black)

Invariants
  1. The beam is fixed at the left end.

Interpretation

Illustrates the general dynamic loading scenario before simplification to the static case.

Specific Verification Case

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Middle section of the whiteboard showing a cantilever with point load F, deflection w, and the analytical solution formula.

Objects
  1. Cantilever beam

  2. Point load arrow (red)

  3. Deflection curve (blue dashed)

  4. Analytical solution formula (black)

  5. List of numerical methods (FEM, FDM)

Invariants
  1. The beam is fixed at the left end and free at the right.

Interpretation

Defines the simple benchmark problem used to test the numerical code.

Convergence Plot Construction

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    A coordinate system is drawn, followed by axes labels (DOF, w), a horizontal dashed line, and a curve with points approaching the line.

Objects
  1. Horizontal axis (DOF)

  2. Vertical axis (w)

  3. Horizontal dashed line (analytical solution)

  4. Curve with discrete points (numerical results)

Changes
  1. Axes are drawn.

  2. Labels DOF and w are added.

  3. A horizontal dashed line is drawn representing the target value.

  4. A curve with points is drawn, starting low and rising to approach the dashed line.

Invariants
  1. The horizontal dashed line remains at a constant height.

Interpretation

Visually demonstrates the concept of mesh convergence: as the numerical model becomes more complex (higher DOF), its output gets closer to the true value.

Convergence Graph

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A graph plotting w vs DOF, showing a curve approaching a horizontal dashed line representing the analytical solution.

Objects
  1. w-axis

  2. DOF-axis

  3. Curve

  4. Dashed line

Changes
  1. Curve approaches the dashed line as DOF increases.

Invariants
  1. Dashed line remains constant at w = FL^3/33 / 3EI.

Interpretation

Illustrates the verification process where numerical solutions converge to the analytical solution with mesh refinement.

Experimental Setup Sketch

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Hand-drawn sketch of an I-beam welded to a vertical plate, with a mass hanging from the end.

Objects
  1. I-beam

  2. Steel plate

  3. Weld

  4. Mass m

Changes
  1. None, static drawing.

Invariants
  1. Material properties E and ν are written next to the beam and plate.

Interpretation

Provides the physical context for the validation step, showing how the force is applied and measured.

Force-Displacement Curve

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A graph plotting Force [N] vs Displacement [mm] with two lines: blue for Experiment and green for Simulation.

Objects
  1. Force-axis

  2. Displacement-axis

  3. Blue line

  4. Green line

Changes
  1. Lines are drawn to show comparison.

Invariants
  1. Both lines start from the origin.

Interpretation

Visualizes the comparison between experimental measurements and simulation predictions for validation.

Drawing FEA Cross-Section

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    User draws a rectangular cross-section, adds nodes, and writes 'ε\varepsilon'.

Objects
  1. Rectangular cross-section

  2. Nodes

  3. Strain symbol ε\varepsilon

Changes
  1. Drawing lines to form a rectangle

  2. Adding dots for nodes

  3. Writing epsilon symbol

Invariants
  1. Existing beam diagram above

Interpretation

Illustrates where strain is computed in a finite element mesh (at integration points/nodes).

Zoom Out to V&V Overview

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    Canvas zooms out to reveal 'Verification' and 'Validation' boxes side-by-side.

Objects
  1. Verification box

  2. Validation box

  3. Equations

  4. Graphs

Changes
  1. Scale decreases

  2. More content becomes visible

Invariants
  1. Relative positions of boxes

Interpretation

Provides a holistic view comparing the mathematical verification process with the physical validation process.

Misconceptions · 2

Neglecting Acceleration

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker explicitly contrasts the general equation with the static assumption: "But we can neglect the acceleration term, so we can consider as a static deflection."

Misconception

One might assume the full dynamic PDE must always be solved.

Clarification

For verification purposes involving static loads, the time-dependent acceleration term can be safely neglected to simplify the problem to a static boundary value problem.

Error vs Relative Difference

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker explicitly corrects himself: 'In fact, it's not error, it's relative difference'.

Misconception

Confusing absolute error with relative difference when comparing simulation and experiment.

Clarification

Relative difference is a normalized percentage metric, making it more suitable for comparing results across different scales than absolute error.

Concept relations · 9

Definition of Verification → Definition of Validation

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Slide text contrasts 'Verification -> mathematics' with 'Validation -> Physics'.

  2. Audio
    Observation

    Speaker explicitly defines both terms in contrast to each other.

Contrast
Explanation

Verification checks mathematical correctness against model equations, while Validation checks physical realism against experimental data.

Equation of Motion for a Beam → Cantilever Beam Deflection Problem

Clear evidence
Derived from the video
Evidence
  1. Formula
    Observation

    The general PDE is shown above the specific analytical solution w=FL^3/33/3EI.

Uncertainties
  1. The derivation steps from PDE to analytical solution are skipped in the video.

Application
Explanation

The general equation of motion applies to the specific cantilever beam example, though the video jumps directly to the static analytical solution.

General Beam Deflection PDE → Static Deflection Assumption

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker transitions from discussing the general PDE to the static assumption.

Special case
Explanation

The static deflection assumption is a special case of the general dynamic PDE where the acceleration term is zero.

Static Deflection Assumption → Analytical Solution for Cantilever Tip Deflection

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker introduces the analytical solution immediately after defining the static problem.

Application
Explanation

The analytical solution formula applies specifically to the static cantilever beam problem defined by the simplified equation.

Numerical Methods for Beam Deflection → Mesh Refinement and Convergence

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker links the use of numerical methods to the process of checking convergence.

Contains
Explanation

Mesh refinement is a core procedure within the application of numerical methods like FEM to ensure accuracy.

Mesh Refinement and Convergence → Analytical Solution for Cantilever Tip Deflection

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker states the converged value should equal the analytical solution.

Proof dependency
Explanation

The verification process relies on comparing the limit of the mesh refinement sequence against the known analytical solution.

Verification → Validation

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker transitions from discussing verification (analytical vs numerical) to validation (simulation vs experiment).

Contrast
Explanation

Verification checks the mathematical correctness of the numerical method against an analytical solution, while validation checks the physical accuracy of the model against experimental data.

Validation → Validation Metric

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker defines w and ε11 as examples of validation metrics.

Contains
Explanation

The validation process requires selecting a specific metric, such as tip displacement or strain, to quantify the comparison.

Verification vs. Validation → Simulation Usability

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker links verification and validation as prerequisites for using the simulation.

  2. Diagram
    Observation

    Arrow drawn from Validation box to a circle representing the application.

Prerequisite
Explanation

Verification and Validation must be completed before the simulation is trusted for application.

Find an answer · 8

What is the fundamental difference between verification and validation in numerical simulation?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker introduces the session by stating he will introduce two concepts: verification and validation.

Knowledge points
  1. Definition of Verification
  2. Definition of Validation

What is the governing partial differential equation for the dynamic deflection of a beam?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The fourth-order PDE for beam motion is written on the board.

Knowledge points
  1. Equation of Motion for a Beam

How do you verify a Finite Element Method (FEM) code implementation?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The entire segment discusses using a known solution to check a numerical method.

Knowledge points
  1. Numerical Methods for Beam Deflection
  2. Mesh Refinement and Convergence
  3. Analytical Solution for Cantilever Tip Deflection

When can the acceleration term be neglected in the beam deflection equation?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker explains dropping the acceleration term.

Knowledge points
  1. General Beam Deflection PDE
  2. Static Deflection Assumption

What is the formula for the tip deflection of a cantilever beam with a point load?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The formula w = FL^3/33 / 3EI is written on the board.

Knowledge points
  1. Analytical Solution for Cantilever Tip Deflection

What is the difference between verification and validation in engineering simulations?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Title of the video is 'What is the difference between verification and validation?'.

Knowledge points
  1. Verification
  2. Validation

How can strain be used as a validation metric in FEA?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker discusses comparing epsilons as a validation metric.

Knowledge points
  1. Strain-based Validation Metric

What is the difference between verification and validation in simulation?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Speaker distinguishes between the verification and validation boxes.

Knowledge points
  1. Verification vs. Validation
Coverage and review notes

Covered · Introduction and definitions of Verification and Validation.

Covered · Presentation of the cantilever beam example, including symbols, governing PDE, and separation into Verification/Validation workflows.

Covered · Introduction of the general PDE and the simplification to the static case.

Covered · Presentation of the specific benchmark problem, its analytical solution, and the numerical methods to be tested.

Covered · Explanation and graphical illustration of the mesh convergence verification process.

Covered · Explanation of verification using convergence graph.

Covered · Explanation of validation using the I-beam experimental setup.

Covered · Calculation of relative difference between experiment and simulation.

Covered · Definition of validation metrics like displacement and strain.

Covered · Explanation of strain comparison as a validation metric.

Covered · Overview of Verification vs Validation and conclusion on simulation usability.

Explore the knowledge in this video

Reviewed subject paths