|
3.4.3 进程方法
1．量空间
物理系统的参量称作量，量由数量和导数组成。Am,As分别表示数量的值和符号，Dm，Ds分别表示数量导数的值和符号。
一个量的所有可能的取值构成量空间，量空间的元素有半序关系。
如果Q1＝f(Q2)是单调上升的，便说Q1与Q2定性成比例记作Q1∝Q+Q2。如果Q1＝f(Q2)是单调下降的，也说Q1与Q2定性成比例记作Q1∝Q-Q2。
2.进程
一个物理进程P是由一组个体、一组前提条件、一组数量条件、一组参量关系和一组影响组成的。一个进程的具体示例称作进程例记作PI。
其中的影响，说明什么能引起参量的变化。影响有直接和间接之分。如果某时刻有一进程影响量Q便称直接影响。若数n直接影响Q，且影响为正、负、无、分别记作1+(Q，n),1-(Q,n),1±(Q,n)。而Q是其它量的函数时，称Q受间接影响。如定性成比例∝Q就属间接影响。
某一领域可能出现的全部进程叫进程表。
一个物理过程可由一些进程来描述，这就是定性推理进程方法的基本想法。
例如一个热流进程可如下说明。
| process heat-flow Individuals: |
热流进程 一组个体 |
| src an object ,Has-Quantity (src,heat) | src是热源 |
| dst an object ,Has-Quantity (dst,heat) | dst是热源 |
| path a heat-path,Heat-Connection (Path ,src ,dst) |
path 是热流路径将src,dst连结起来。把热传给dst。 |
| Preconditions: | 一组前提条件 |
| Heat-Aligned (path) | 热流路径安排好 |
| Quantity Conditions: | 一组数量条件 |
| A[temperature (src)]>A[temperature(dst)] |
src 温度高于dst温度 |
| Relations: | 一组参量关系 |
| Let folow-rate be a quantity | 热流量flow-rate是一个数量 |
| A[flow-rate ]>Zero | flow-rate 值>0 |
| folw-rate∝Q+(temperature(src)-temperature(dst)) | flow-rate 与src ,dst 的温差定性成比例。 |
| Influences: l-(heat (src),A[flow-rate]) |
flow-rate 的值直接影响heat(src),而且是负影响。 |
| l+(heat (src),A[flow-rate]) | flow-rate 的值直接影响heat(dst),而且是正影响。 |
3．演绎过程
(1)选进程
对一组已知的个体来说，在进程表中依各进程对个体的说明寻找出相匹配的那些进程例PI。
(2)确定激活的PI
依前提条件数量条件，从已匹配的那些进程例中确定出被激活的PI。激活的PI叫进程结构。
(3)确定量的变化
个体的变化由相应量的Ds值来表示。量的变化可由进程直接影响，也可由∝Q间接影响。
(4)确定进程结构变化
量的变化将会引起进程结构变化，确定这种变化也叫限制分析，依Ds来确定量在量空间中的变化，首先在量空间中找出当前值的相邻，如果相邻是限制点，则某些进程便停止，某些进程开始。与限制点有关的半序关系的所有可能变化确定了当前激活进程的变化路径。
步骤（1）－（4）建立了一个PI，同时进入了下一个PI。重复这些步骤便可对一个物理过程给出一串进程描述。这就是进程法定性推理的结果。
4.举例：锅炉加热过程的进程描述
锅炉有一个装水的容器，盖子密封，热源是火且温度不变。如何使用进程方法来描述
这加热过程。
图3.5中，PS表进程结构，LH是限制假设（附加量的假设），IS是个体。
锅炉加热的进程描述：
从①开始，进程结构只有heat-flow.由PS：（heat-fow）可导出②和③
②是水温与热源温度相等情形。这时heat-flow进程结束。
③是水开始沸腾情形。由进程（heat-flow,boiling）描述，并可引起④⑦⑧⑨．
④是水烧干的情形。可导至⑤，⑥。
⑤出现爆炸。
⑥蒸汽温度达到热源温度，结束。
⑦水沸腾使压力上升，水沸点提高，会使水温低于沸点，会返回③。
⑧水温达到热源温度，结束。
⑨容器压力过高出现爆炸。
 |
 图3.5 锅炉加热过程的进程描述 |