Distinguish a design change from calculation error
Compare hardware and gain effects with a separately labeled numerical approximation.
Learning outcome: Separate model sensitivity, time-step approximation, measurement residuals and physical model inadequacy.
Starting recap
A residual needs a stated order: observation minus prediction. A numerical approximation can differ from the exact solution without any new physical effect.
All lessons are open directly. Your saved experiments remain when you leave and return.
Try
A held 20 W input gives Euler 22°C and exact 21.9032516393°C after 10 s for the stated standard plant.
Open the experimentPredict
Predict the sign of Euler minus exact for that first heating interval, then predict whether reducing conductance changes only energy use.
Experiment
Capture standard and insulated hardware at gain 6 W/K, then compare gain 2 and gain 6 on insulated hardware. Keep changed factors separate. Calculate the supplied Euler-minus-exact paper error.
Compare matched thermal designs
Original matched thermal devices · synthetic requirements · Original fictional one-node device and assigned costs. Uniform temperature, constant heat capacity/conductance/ambient, held heater input and exact exponential propagation within each sample. No spatial gradient, evaporation, radiation law, random noise, active cooling, integral control or physical safety/efficiency/reliability certification. Public cases are exposed teaching practice. Nominal scenario and zero sensor correction are fixed; a/b select hardware and gain.
Reset keeps your prediction, captures and practice history.
Compare hardware with the same controller setting
Active design: Standard enclosure. Both runs start at 20°C, use the same selected gain of 6 W/K, nominal sensing, zero correction and a 20 W heater limit for twelve 10-second intervals. They share heat capacity 100 J/K and ambient 20°C. Standard conductance is 1 W/K; insulated conductance is 0.5 W/K. Costs are 3 and 5 fictional tokens.
The controller requests 10 W + gain × (30°C − corrected indication). The actuator clips this request to 0–20 W; there is no active cooling. The fixed 10 W term is a standard-enclosure feedforward assumption, not integral control. Changing insulation alone can change the final temperature as well as energy demand.
- 1. Sense and correctTrue temperature → raw indication → subtract selected correction. This lab uses current sensing with no bias or correction.
- 2. Request and limit powerCorrected indication is information for the controller. Requested watts become bounded applied watts at the actuator.
- 3. Account for energyApplied heater energy enters the thermal node; stored energy changes and signed heat transfers to ambient. The next true temperature feeds the sensor.
These are original synthetic device assumptions. The exact exponential solution describes a uniform thermal node under constant power during each interval, not measured material performance or a physical prototype.
Solid navy: active Standard enclosure. Long-dashed brown: matched Insulated enclosure. Dotted red with circles: active corrected indication at command times. Gray dashes: 30°C target. Pale band: 29–31°C criterion range, required only from 90 s onward.
Lines connect sampled states for comparison; they are not the exact curved path between samples. In this nominal case sensor points coincide with the true state at command times; there is no terminal command at 120 s.
Horizontal segments are held inputs, not a smooth ramp. Requested power is tabulated rather than plotted on the applied-power scale. At least one request is outside 0–20 W; the actuator limits it.
| Supplied requirement | Standard enclosure | Insulated enclosure |
|---|---|---|
| Temperature at 90, 100, 110 and 120 s: every value in [29,31]°C | 29.964, 29.988, 29.996, 29.999 °C Meets supplied criterion | 30.735, 30.757, 30.765, 30.768 °C Meets supplied criterion |
| True trajectory peak ≤32°C | 29.999°C at 120 s Meets supplied criterion | 30.768°C at 120 s Meets supplied criterion |
| Applied heater energy ≤2000 J | 1887.809 J Meets supplied criterion | 1558.581 J Meets supplied criterion |
| Resource cost ≤6 tokens | 3 tokens Meets supplied criterion | 5 tokens Meets supplied criterion |
| All four supplied requirements | All met in this model run | All met in this model run |
Each exact held-input interval moves monotonically toward its fixed equilibrium. Therefore interval endpoints bound the continuous peak, and the 90–120 s endpoint checks also bound the temperature between those samples in this particular model. This argument does not extend automatically to a real device or another plant model. Lower energy cannot cancel a failed temperature criterion.
All thirteen true-temperature states for the matched designs
| Time (s) | Standard (°C) | Insulated (°C) |
|---|---|---|
| 0 | 20.000000 | 20.000000 |
| 10 | 21.903252 | 21.950823 |
| 20 | 23.625385 | 23.806503 |
| 30 | 25.183636 | 25.571681 |
| 40 | 26.593599 | 27.250770 |
| 50 | 27.869387 | 28.847969 |
| 60 | 29.023767 | 30.066082 |
| 70 | 29.674073 | 30.511891 |
| 80 | 29.891185 | 30.675049 |
| 90 | 29.963671 | 30.734762 |
| 100 | 29.987871 | 30.756616 |
| 110 | 29.995951 | 30.764614 |
| 120 | 29.998648 | 30.767541 |
Active design: all twelve command and energy receipts
Requested observation time and effective sample time are separate fields. Correction is subtracted from the raw indication. Positive ambient energy is outward; a negative value would mean inward transfer. Displayed rounding may leave a tiny apparent balance difference.
| Step index / interval (s) | True start → end (°C) | Requested / effective observation (s) | Raw / correction / corrected (°C) | Controller error (K) | Requested / applied (W) | Request clipped | Heater input (J) | Stored change (J) | To ambient (J) | Balance residual (J) |
|---|---|---|---|---|---|---|---|---|---|---|
| 0: 0–10 | 20.000000 → 21.903252 | 0 / 0 | 20.000 / 0.000 / 20.000 | 10.000 | 70.000 / 20.000 | Upper clipping | 200.000000 | 190.325164 | 9.674836 | 0.00e+0 |
| 1: 10–20 | 21.903252 → 23.625385 | 10 / 10 | 21.903 / 0.000 / 21.903 | 8.097 | 58.580 / 20.000 | Upper clipping | 200.000000 | 172.213330 | 27.786670 | 0.00e+0 |
| 2: 20–30 | 23.625385 → 25.183636 | 20 / 20 | 23.625 / 0.000 / 23.625 | 6.375 | 48.248 / 20.000 | Upper clipping | 200.000000 | 155.825065 | 44.174935 | 0.00e+0 |
| 3: 30–40 | 25.183636 → 26.593599 | 30 / 30 | 25.184 / 0.000 / 25.184 | 4.816 | 38.898 / 20.000 | Upper clipping | 200.000000 | 140.996349 | 59.003651 | 0.00e+0 |
| 4: 40–50 | 26.593599 → 27.869387 | 40 / 40 | 26.594 / 0.000 / 26.594 | 3.406 | 30.438 / 20.000 | Upper clipping | 200.000000 | 127.578773 | 72.421227 | 0.00e+0 |
| 5: 50–60 | 27.869387 → 29.023767 | 50 / 50 | 27.869 / 0.000 / 27.869 | 2.131 | 22.784 / 20.000 | Upper clipping | 200.000000 | 115.438047 | 84.561953 | 0.00e+0 |
| 6: 60–70 | 29.023767 → 29.674073 | 60 / 60 | 29.024 / 0.000 / 29.024 | 0.976 | 15.857 / 15.857 | No clipping | 158.573963 | 65.030578 | 93.543385 | 0.00e+0 |
| 7: 70–80 | 29.674073 → 29.891185 | 70 / 70 | 29.674 / 0.000 / 29.674 | 0.326 | 11.956 / 11.956 | No clipping | 119.555616 | 21.711234 | 97.844382 | 0.00e+0 |
| 8: 80–90 | 29.891185 → 29.963671 | 80 / 80 | 29.891 / 0.000 / 29.891 | 0.109 | 10.653 / 10.653 | No clipping | 106.528876 | 7.248554 | 99.280321 | 0.00e+0 |
| 9: 90–100 | 29.963671 → 29.987871 | 90 / 90 | 29.964 / 0.000 / 29.964 | 0.036 | 10.218 / 10.218 | No clipping | 102.179743 | 2.420016 | 99.759727 | 0.00e+0 |
| 10: 100–110 | 29.987871 → 29.995951 | 100 / 100 | 29.988 / 0.000 / 29.988 | 0.012 | 10.073 / 10.073 | No clipping | 100.727733 | 0.807951 | 99.919782 | 0.00e+0 |
| 11: 110–120 | 29.995951 → 29.998648 | 110 / 110 | 29.996 / 0.000 / 29.996 | 0.004 | 10.024 / 10.024 | No clipping | 100.242962 | 0.269744 | 99.973218 | 0.00e+0 |
Active whole-run ledger: 1887.808894 J heater input = 999.864807 J stored-energy change + 887.944087 J signed transfer to ambient. Model residual: -1.14e-13 J. Energy accounting agreement does not validate the device physically.
Your comparison: predict which hardware change reduces energy, then inspect whether every requirement still passes. Capture both hardware settings at the same gain and explain one mechanism or trade-off. Repeating this deterministic run checks reproducibility, not field reliability or a new independent trial.
Final true temperature 29.999 degC; heater input 1887.809 J.
Peak 29.999 degC at 120 s; cost 3 assigned tokens. Tail band met; peak limit met; energy budget met; resource budget met. Synthetic model evidence, not a physical prototype or reliability estimate.
Captures preserve recipes and replay their calculated results. They are synthetic model evidence, not physical measurements.
Understand
Apply
Public practice checks a specific claim. It does not establish independent mastery.
Explain why the 100 s held-input example is not a ten-step controller run and why solver agreement is not validation of real hardware.
Continue
Completion requires a saved prediction, at least one capture and a reflection. Presence checks do not grade your reasoning.
Skipping retains experiments and awards no mastery.
Save a science backup or import one
Science work is stored locally in this browser, separately from mathematics and AI. It does not sync automatically. Use this science-only backup; this checkout's older all-subject export does not include science.
A legacy file is available only when the complete snapshot fits the 36 MB limit. For larger snapshots, prepare a complete file set below; never discard notebooks to make a smaller file.
Matching imported notebook drafts replace their current drafts. Omitted lessons and known first attempts remain. Export your current work first if you want to retain both drafts.
Complete file sets and course backups
A file set can hold more work than one science file. Keep its manifest and every part together. Each file is limited to 36 MB. This format needs this version of LearnAI or a compatible newer version; older versions can use only the legacy single-file backup above.
The set includes every saved science course and global continuation at this moment. Later edits need a new export. A conflicting tab exports its own visible work, which may differ from saved work in another tab.
0 file(s) selected. File order and filenames do not determine identity. Missing, changed or conflicting parts block the entire restore; no good part is applied by itself.
Science storage: loading. No account or remote computation is required.