Explaining Logical Preconditions
In the example below, DME explains that the regulator is in the pass-through
mode due to the value of a specific quantity, the pressure at its input. This
style of explanation is conventional: the necessary information can be
obtained by analyzing the logical preconditions of the model fragment that represents
the "pass through mode" of the component and then filtering any variables that could not have changed during the scenario.
What caused primary-regulator A to be in pass through mode ?
In State 10 (T=37.91sec),
primary-regulator A was in pass through mode
because
- the pressure at the input-terminal of primary-regulator A was 1753475.39 Pa.
Other questions :
To find out what caused this pressure value requires
requires an analysis of the influences on the pressure variable.
This explanation cannot be obtained by precondition analysis,
because there is no rule or operator that leads to the value of the variable. Instead, the pressure has its current value because of network of
acausal constraint equations.
To see a causal explanation of the value of this continuous variable, click on "why is this happening?" or the "next" arrow.
Enter Live DME Scenario at this point