Worked reasoning, controlled variation, practical evidence, and a section check.
LESSON 6.1
Check a numerical model by refining the step — worked model
A dimensionless teaching quantity follows the rate rule y' = −y with y(0)=1. Use the supplied forward-Euler update y_next = y_current × (1 − h). Compare approximations at time 1; no calculus derivation or physical experiment is required.
Learning objectives
- Check a numerical model by refining the step
- The h=0.25 result, 0.31640625
- Defend the conclusion with scoped and reproducible evidence.
The practice brief
- A dimensionless teaching quantity follows the rate rule y' = −y with y(0)=1. Use the supplied forward-Euler update y_next = y_current × (1 − h). Compare approximations at time 1; no calculus derivation or physical experiment is required.
Understand the mechanism
- With step h=0.5, two updates give 1 → 0.5 → 0.25. With h=0.25, four updates give 1 → 0.75 → 0.5625 → 0.421875 → 0.31640625. The supplied exact reference is exp(−1) ≈ 0.36787944.
- Absolute errors are approximately 0.11787944 and 0.05147319. The smaller-step result is closer for this particular rule, interval, and method, but agreement between two approximations is not a general proof of correctness. Inspect the update equation as well as the output.
- A program using 1+h instead of 1−h would model growth, and running more steps would not repair that sign error. Record time and value in separate columns, and verify that the final number of steps reaches the same final time in both runs. Do not compare two steps at h=0.25 with two at h=0.5 and call the difference a resolution effect: those runs end at different times.
- Keep units and the model boundary explicit if adapting this arithmetic pattern to a physical problem later. This fixture is a deterministic numerical exercise, not a measured cooling curve. A model could converge numerically and still fail to represent the intended physical process.
Build the initial evidence table
- Write one row for each supplied input or observation. Keep identifiers, units, timestamps, roles, counts, and states distinct where the case uses them. Label information supplied by the fixture separately from a conclusion you calculate. Do not add an unstated business rule to make the answer easier.
Worked reasoning
The h=0.25 result, 0.31640625
Check the scope
- Explain what this evidence supports and what it leaves unresolved. A correct calculation, a parsed object, a matching identifier, and an authorized action are different kinds of claims. Use only the claims established by this specific case.
Offline practice
- [Download the BEAT IT engineering and quantum arithmetic checks](/resources/academy/engineering-quantum-checks.py). Run with Python 3 in a practice folder. The program uses only the standard library, makes no network calls, and checks synthetic arithmetic and ideal-model results.
- Passing these checks does not establish real equipment safety, hardware execution, or deployment readiness. Retain your predictions and the observed program output separately.
Further study
- [MIT OpenCourseWare: numerical methods](https://www.ocw.mit.edu/courses/18-03sc-differential-equations-fall-2011/pages/unit-i-first-order-differential-equations/numerical-methods/)
Applied scenario
A dimensionless teaching quantity follows the rate rule y' = −y with y(0)=1. Use the supplied forward-Euler update y_next = y_current × (1 − h). Compare approximations at time 1; no calculus derivation or physical experiment is required.
Guided lab
Local or paper practice with fictional records only. No real service or paid deployment is required.
- Copy the supplied fictional inputs into a small table.
- Write the case question and the boundary before calculating or tracing.
- Work through the mechanism and retain intermediate evidence.
- Explain the result and one conclusion the evidence does not support.
Expected evidence: The h=0.25 result, 0.31640625
Check your model: Retain the original input and inspect the first step where expected and observed results differ.
Your evidence and reasoning
Inputs and assumptions → diagram and equation → observed result → units and limits → one improvement.
Practice check
Which approximation is closer to exp(−1)?
- The h=0.5 result, 0.25
- Both are exact
- The run ending at a different final time
- The h=0.25 result, 0.31640625
Check after writing your reasoning
The h=0.25 result, 0.31640625
The h=0.25 result, 0.31640625
LESSON 6.2
Check a numerical model by refining the step — controlled variation
A dimensionless teaching quantity follows the rate rule y' = −y with y(0)=1. Use the supplied forward-Euler update y_next = y_current × (1 − h). Compare approximations at time 1; no calculus derivation or physical experiment is required.
Learning objectives
- Check a numerical model by refining the step
- Set h=1.5 and take one update. The result is −0.5 at time 1.5, although the supplied exact decay solution remains positive. This coarse-step result exposes a numerical limitation; it does not show that a real positive quantity must become negative.
- Defend the conclusion with scoped and reproducible evidence.
Keep the original baseline
- A dimensionless teaching quantity follows the rate rule y' = −y with y(0)=1. Use the supplied forward-Euler update y_next = y_current × (1 − h). Compare approximations at time 1; no calculus derivation or physical experiment is required.
The controlled change
- Set h=1.5 and take one update. The result is −0.5 at time 1.5, although the supplied exact decay solution remains positive. This coarse-step result exposes a numerical limitation; it does not show that a real positive quantity must become negative.
Compare both paths
- Retain the original result and change only the stated condition. Predict the new result first, then trace the affected relationship, policy decision, state transition, or denominator. Mark the earliest step where the old and new reasoning differ. A paper trace is a legitimate exercise, but it is not an executed test.
Reference reasoning
- With step h=0.5, two updates give 1 → 0.5 → 0.25. With h=0.25, four updates give 1 → 0.75 → 0.5625 → 0.421875 → 0.31640625. The supplied exact reference is exp(−1) ≈ 0.36787944.
- Absolute errors are approximately 0.11787944 and 0.05147319. The smaller-step result is closer for this particular rule, interval, and method, but agreement between two approximations is not a general proof of correctness. Inspect the update equation as well as the output.
- A program using 1+h instead of 1−h would model growth, and running more steps would not repair that sign error. Record time and value in separate columns, and verify that the final number of steps reaches the same final time in both runs. Do not compare two steps at h=0.25 with two at h=0.5 and call the difference a resolution effect: those runs end at different times.
- Keep units and the model boundary explicit if adapting this arithmetic pattern to a physical problem later. This fixture is a deterministic numerical exercise, not a measured cooling curve. A model could converge numerically and still fail to represent the intended physical process.
Review the changed conclusion
- Set h=1.5 and take one update. The result is −0.5 at time 1.5, although the supplied exact decay solution remains positive. This coarse-step result exposes a numerical limitation; it does not show that a real positive quantity must become negative.
Investigate disagreement
- If your result differs, inspect the first diverging step. Check whether you changed the population, units, time window, authority, or outcome definition. Record the correction rather than hiding the failed attempt.
Offline practice
- [Download the BEAT IT engineering and quantum arithmetic checks](/resources/academy/engineering-quantum-checks.py). Run with Python 3 in a practice folder. The program uses only the standard library, makes no network calls, and checks synthetic arithmetic and ideal-model results.
- Passing these checks does not establish real equipment safety, hardware execution, or deployment readiness. Retain your predictions and the observed program output separately.
Further study
- [MIT OpenCourseWare: numerical methods](https://www.ocw.mit.edu/courses/18-03sc-differential-equations-fall-2011/pages/unit-i-first-order-differential-equations/numerical-methods/)
Applied scenario
A dimensionless teaching quantity follows the rate rule y' = −y with y(0)=1. Use the supplied forward-Euler update y_next = y_current × (1 − h). Compare approximations at time 1; no calculus derivation or physical experiment is required.
Guided lab
Local or paper practice with fictional records only. No real service or paid deployment is required.
- Write the baseline result without changing it.
- List exactly which supplied condition changes.
- Predict and trace the new outcome, including the failure or uncertainty path.
- Compare expected and observed or paper-traced evidence side by side.
Expected evidence: Set h=1.5 and take one update. The result is −0.5 at time 1.5, although the supplied exact decay solution remains positive. This coarse-step result exposes a numerical limitation; it does not show that a real positive quantity must become negative.
Check your model: Retain the original input and inspect the first step where expected and observed results differ.
Your evidence and reasoning
Inputs and assumptions → diagram and equation → observed result → units and limits → one improvement.
Practice check
Which conclusion follows from the changed practice case?
- The original result proves every future outcome.
- The evidence gap can be filled with an assumption.
- Set h=1.5 and take one update. The result is −0.5 at time 1.5, although the supplied exact decay solution remains positive. This coarse-step result exposes a numerical limitation; it does not show that a real positive quantity must become negative.
- The changed condition cannot affect the result.
Check after writing your reasoning
Set h=1.5 and take one update. The result is −0.5 at time 1.5, although the supplied exact decay solution remains positive. This coarse-step result exposes a numerical limitation; it does not show that a real positive quantity must become negative.
Set h=1.5 and take one update. The result is −0.5 at time 1.5, although the supplied exact decay solution remains positive. This coarse-step result exposes a numerical limitation; it does not show that a real positive quantity must become negative.
LESSON 6.3
Check a numerical model by refining the step — evidence and review
A dimensionless teaching quantity follows the rate rule y' = −y with y(0)=1. Use the supplied forward-Euler update y_next = y_current × (1 − h). Compare approximations at time 1; no calculus derivation or physical experiment is required.
Learning objectives
- Check a numerical model by refining the step
- Build both time/value tables, compute errors against the supplied reference, and diagnose the coarse-step negative value. Keep equation correctness, step sensitivity, and physical validity as separate checks.
- Defend the conclusion with scoped and reproducible evidence.
Your deliverable
Build both time/value tables, compute errors against the supplied reference, and diagnose the coarse-step negative value. Keep equation correctness, step sensitivity, and physical validity as separate checks.
Inputs and constraints
- A dimensionless teaching quantity follows the rate rule y' = −y with y(0)=1. Use the supplied forward-Euler update y_next = y_current × (1 − h). Compare approximations at time 1; no calculus derivation or physical experiment is required.
Reference mechanism
- With step h=0.5, two updates give 1 → 0.5 → 0.25. With h=0.25, four updates give 1 → 0.75 → 0.5625 → 0.421875 → 0.31640625. The supplied exact reference is exp(−1) ≈ 0.36787944.
- Absolute errors are approximately 0.11787944 and 0.05147319. The smaller-step result is closer for this particular rule, interval, and method, but agreement between two approximations is not a general proof of correctness. Inspect the update equation as well as the output.
- A program using 1+h instead of 1−h would model growth, and running more steps would not repair that sign error. Record time and value in separate columns, and verify that the final number of steps reaches the same final time in both runs. Do not compare two steps at h=0.25 with two at h=0.5 and call the difference a resolution effect: those runs end at different times.
- Keep units and the model boundary explicit if adapting this arithmetic pattern to a physical problem later. This fixture is a deterministic numerical exercise, not a measured cooling curve. A model could converge numerically and still fail to represent the intended physical process.
Acceptance review
The h=0.25 result, 0.31640625
Required variation
- Set h=1.5 and take one update. The result is −0.5 at time 1.5, although the supplied exact decay solution remains positive. This coarse-step result exposes a numerical limitation; it does not show that a real positive quantity must become negative.
Review with another engineer
Explain the problem, the selected method, your actual evidence, a plausible alternative, and the remaining limit. A reviewer should be able to reconstruct the case from the retained inputs and steps without relying on a polished screenshot.
Portfolio evidence
- Keep a concise README with the fictional fixture, assumptions, original result, changed-input trace, any executed test command and output, and one limitation. Clearly label designs and predictions that were not executed. These examples do not authorize production changes or prove production readiness.
Offline practice
- [Download the BEAT IT engineering and quantum arithmetic checks](/resources/academy/engineering-quantum-checks.py). Run with Python 3 in a practice folder. The program uses only the standard library, makes no network calls, and checks synthetic arithmetic and ideal-model results.
- Passing these checks does not establish real equipment safety, hardware execution, or deployment readiness. Retain your predictions and the observed program output separately.
Further study
- [MIT OpenCourseWare: numerical methods](https://www.ocw.mit.edu/courses/18-03sc-differential-equations-fall-2011/pages/unit-i-first-order-differential-equations/numerical-methods/)
Applied scenario
A dimensionless teaching quantity follows the rate rule y' = −y with y(0)=1. Use the supplied forward-Euler update y_next = y_current × (1 − h). Compare approximations at time 1; no calculus derivation or physical experiment is required.
Guided lab
Local or paper practice with fictional records only. No real service or paid deployment is required.
- Build both time/value tables, compute errors against the supplied reference, and diagnose the coarse-step negative value. Keep equation correctness, step sensitivity, and physical validity as separate checks.
- Produce the baseline and changed-input evidence with stated scope.
- Add a review note addressing a tempting wrong conclusion.
- Submit a concise handoff with method, evidence, limits, and next verification.
Expected evidence: Build both time/value tables, compute errors against the supplied reference, and diagnose the coarse-step negative value. Keep equation correctness, step sensitivity, and physical validity as separate checks.
Check your model: Retain the original input and inspect the first step where expected and observed results differ.
Your evidence and reasoning
Inputs and assumptions → diagram and equation → observed result → units and limits → one improvement.
Practice check
Which deliverable addresses this case?
- A copy of a result without a method.
- Build both time/value tables, compute errors against the supplied reference, and diagnose the coarse-step negative value. Keep equation correctness, step sensitivity, and physical validity as separate checks.
- A screenshot without its input or scope.
- A universal success claim without tests.
Check after writing your reasoning
Build both time/value tables, compute errors against the supplied reference, and diagnose the coarse-step negative value. Keep equation correctness, step sensitivity, and physical validity as separate checks.
Build both time/value tables, compute errors against the supplied reference, and diagnose the coarse-step negative value. Keep equation correctness, step sensitivity, and physical validity as separate checks.