Information Technology Reference
In-Depth Information
Preconditions: //a set of preconditions
Heat-Aligned(path) //align heat flow path
Quantity Conditions: //a set of quantity conditions
A[temperature(src)]>A[temperature(dst)] //src'temperature>dst's temperature
Relations: //a set of relations
Let flow-rate be a quantity //flow-rate is a quantity
A[flow-rate] > ZERO. //flow-rate >0
flow-rate
∝
Q+ (temperature(src) -temperature(dst))
//flow-rate is proportional with the difference of src and dst
Influences: //a set of influences
1-(heat(src), A[flow-rate]) //flow-rate's negative influence on heat(src)
1(heat (dst), A[flow-rate]) // flow-rate's positive influence on heat(dst)
3. Deduction process
Following is the deduction process in qualitative process reasoning:
(1) Select the process. For a set of known individuals, find out the possible
process instance PI in the process table according to the individual illustration
of each process.
(2) Confirm the activated PI. Confirm the state of each PI in accordance with the
precondition, quantity condition. Those which meet these conditions are
activated PI. Activated PI is called the process structure.
(3) Confirm the variation of quantity. The individual's variation is expressed by
Ds value of corresponding quantity. The variation of quantity can be
influenced directly by the process, and can also be influenced indirectly by
∝
Q.
(4) Confirm the structural variation of process. Variation of quantity will cause
the variation of process structure. Confirming this kind of variation is also
called restraint analyses. Then the description of a physical process steps
from the PI built in (1) into next PI.
Repeat steps (1)
—
(4) then a series of process description of a physical
process is obtained.
Restraint analyses is to confirm the quantity variation in the quantity space
according to Ds value. Firstly find the neighbor of the current quantity in the
quantity space. If it is a restraint one, some processes will be stopped and some
