2.3.1 参数:在变换族中选择
在 2.1 节与 2.2 节中,我们所考察的系统均被假定为处于完全恒定外部条件下的孤立自治单元:一个单一的封闭单值变换完全决定了系统如何在状态空间中单向自主演化。然而在现实工程与生物世界中,纯粹绝热或孤立的机器极为罕见。起重机的吊臂受司机的控制手柄动态操纵,效应器肌肉的收缩受运动神经元传入冲动的精确支配;用 Ashby 的话来说,“每一台普通的机器都会受到环境各种条件的作用,并由此在不同时刻展现出不同的行为特征”(Ashby, 1956, S.4/1)。若要将这一普遍事实纳入控制论的形式代数,研究视界必须从“单一变换”拓展至“变换构成的族”。
控制论在此处展现出高度抽象且严密的层次区分。在集合代数中,变换所作用的元素不仅可以是具体的状态,也可以是高阶的概念实体。因此,我们必须在动力学演化中严格区分如下两层截然相异的“改变”:
- 第一层改变:状态到状态的转移(State-to-State Transition):在某个特定变换规则固定作用下,系统由操作数状态 \(x\) 演进至变换结果 \(T(x)\)(例如状态从 \(a\) 到 \(b\))。这是系统在其自身内部动力学法则驱动下的自主运转行为;
- 第二层改变:变换到变换的更迭(Transformation-to-Transformation Switch):由于外部环境、操作者或耦合部件的干预,支配系统运转的代数规则本身由变换 \(R_1\) 切换至变换 \(R_2\)。这是系统行为方式本身的更换(change of way of behaving)(Ashby, 1956, S.4/1)。
为了直观说明这一层次差异,Ashby 曾以可拼装的机械模型积木为例:由特定连杆齿轮拼合而成的机械玩具在发条驱动下的自主运动,属于第一层改变;而儿童将该玩具拆解重组成一台具有全新齿轮传动比的新装置,则属于第二层改变。后者的本质不是在既定机器内部运转,而是更换了机器本身。控制论的“输入”概念,正是建立在第二层改变的代数基础之上。
考察多个同时作用于同一操作数集合 \(S = \{a, b, c, d\}\) 的封闭单值变换,如表 2.3-1 所示:
| 变换 | \(a\) | \(b\) | \(c\) | \(d\) |
|---|---|---|---|---|
| \(R_1\) | \(c\) | \(d\) | \(d\) | \(b\) |
| \(R_2\) | \(b\) | \(a\) | \(d\) | \(c\) |
| \(R_3\) | \(d\) | \(c\) | \(d\) | \(b\) |
一个单一的物理实体若在不同条件下可以展现出表 2.3-1 中的三种行为规则,则该实体内部封装了一个由三个封闭单值变换构成的变换族。决定当前时刻究竟由哪一个具体变换主导系统状态演化的外在条件标号,即被称为该系统的参数(parameter)。图 2.3-1 对这两层改变进行了严格的并置对比。
带输入的机器(machine with input) / 换能器(transducer):指其动力学行为由定义在同一状态空间 \(S\) 上的一个封闭单值变换族 \(\{T_\alpha\}_{\alpha \in \Omega}\) 共同刻画的系统。该变换族称为该机器的规范表示(canonical representation)。在系统状态集合之外,其取值决定当前选用何种具体变换的独立变量集合 \(\Omega\),称为该机器的参数空间或输入(input)(Ashby, 1956, S.4/1)。
在解析代数表象下,两者的地位差异极为显著。考察微分方程族 \(\frac{dx}{dt} = -x + \alpha\) 或差分方程族 \(x' = x + a\)。在这里,符号 \(x\) 与 \(a\) 处于完全不对称的数学地位:\(x\) 出现在等号左侧(作为求导对象或迭代目标),因而是操作数状态,它是被动接受算子演化、其值随时间自主推演的变量;而 \(a\) 仅出现在等号右侧,它是控制参数,它自身并不遵循系统的内部演化,其具体数值必须由外部环境或控制者显式赋予。输入的本质,不是直接以机械力推动状态位移,而是在算子空间中遴选主导当前系统运行的动力学法则(Ashby, 1956, S.4/2)。
区分状态变量与输入参数的操作准则:在系统规范方程组中,代表操作数状态的符号必定以明确的后继形式出现在等号左端(如差分系统中的 \(x_i'\) 或微分系统中的 \(dx_i/dt\));凡仅出现在等号右端函数关系中、在左端毫无对应导数或更新项的变量,必为系统的输入参数(Ashby, 1956, S.4/2)。
当参数空间包含多个独立分量时(例如输入向量 \(\mathbf{u} = (u_1, u_2)\)),变换族的大小至多等于各参数取值的组合数。若不同的参数组合最终映射至相同的状态变换规则(例如代数系统 \(x' = abx\),当 \((a,b)=(1,2)\) 与 \((a,b)=(2,1)\) 时规则相同),该系统被称为退化的换能器(degenerate transducer)(Ashby, 1956, S.4/3)。
习题 2.3-1
(参数固化与系统降维,改编自 Ashby, 1956, S.4/2)
考察二维决定性系统 \(x' = -x + 2y\),\(y' = x - y\)。假定实验者强行介入系统,将变量 \(x\) 的取值恒定钳位在数值 4 之上。
(1) 从带输入的机器的理论视角,分析这种“强制钳位”操作在动力学上对应何种改变?
(2) 写出约束后系统仅关于标量状态 \(y\) 的单步代数变换;
(3) 若状态空间限定为离散整数集 \(Y = \{1, 2, 3\}\),分析该变换在 \(Y\) 上是否封闭且单值,并求出其代数平衡态。
参考解答(1) 将原系统的一个状态变量 \(x\) 强行固定为常数,在控制论形式上等价于将 \(x\) 从原操作数向量 \((x, y)\) 中剥离,并将其升格为外部控制参数 \(\alpha = 4\)。原二维无输入决定性机器由此退化为一台以 \(y\) 为内部状态、以 \(x\) 为输入的换能器;而固定输入 \(\alpha = 4\) 则是在其变换族中选定了一个特定的单变换,系统在此固定参数下重新表现为一台一维无输入的决定性机器。
(2) 将 \(x = 4\) 显式代入第二方程,操作数仅剩 \(y\),得到关于 \(y\) 的单步更新方程:
(3) 考察算子 \(T_4(y) = 4 - y\) 在集合 \(Y = \{1, 2, 3\}\) 上的单步映射:
- \(y = 1 \implies y' = 4 - 1 = 3 \in Y\);
- \(y = 2 \implies y' = 4 - 2 = 2 \in Y\);
- \(y = 3 \implies y' = 4 - 3 = 1 \in Y\)。
由于变换结果全部落在 \(Y\) 之内,故该变换严格封闭;每一个操作数均对应唯一确定结果,故严格单值。令 \(T_4(y^*) = y^* \implies 4 - y^* = y^* \implies 2y^* = 4 \implies y^* = 2\)。因此状态 \(y^* = 2\) 是该系统的唯一代数平衡态,而在状态 1 与 3 之间形成二态极限环 \(1 \leftrightarrow 3\)。
2.3.2 输入、输出与暂态界限
“换能器”(transducer)这一术语源于经典电气工程:一个具有内部确定性机械或电磁机制的实体,拥有若干规定的输入端子(input terminals),外部实验者可在此主动施加电压或操纵力以扰动其演化;同时拥有若干规定的输出端子(output terminals),实验者可在此通过测量仪器连续记录系统的响应读数(Ashby, 1956, S.4/4)。上一小节构建的带输入的机器,正是这一物理事实在纯数学变换层面的精确等价形式:输入端子即对应参数空间 \(\Omega\),输出端子即对应系统的可观测状态向量。
必须指出,工程换能器与生物系统在输入形态上存在重要的方法论差异:在人造工程装置中,输入端子通常数目有限且在物理接口上高度清晰;而在高度复杂的生物有机体或生态系统中,环境参数的维度极其庞大,且接口通常难以孤立——任何气温、湿度、光照、生化分子浓度的涨落,均构成了渗入生物体内部的输入流(Wiener, 1950;Shannon, 1948)。然而在代数抽象层面,二者完全遵循相同的变换族逻辑。
在外部输入序列保持固定恒定的前提下,换能器在状态空间中的演化将经历一段收敛过程,最终落入极限环或平衡态。我们把系统在进入最终循环之前所经历的那段非周期性的相继状态序列,严格定义为系统的暂态(transient)(Ashby, 1956, S.4/5)。
有限系统暂态长度上界定理:若换能器在某一恒定输入下的有效状态空间包含 \(N\) 个互不相同的离散状态,则系统在经历恒定条件演化时,其暂态轨道的总长度(即进入重复循环之前的非重复状态个数 \(\tau\))严格满足:
且系统进入循环或平衡态的时间步数至多不超过 \(N\) 步。
定理 2.1 的证明直接源自 2.1 节建立的相空间拓扑性质:由于系统至多只有 \(N\) 个状态,若在 \(N\) 步内未出现任何重复状态,则系统已遍历相空间中的全部元素;在第 \(N+1\) 步时,依据抽屉原理必然重复访问此前已遍历过的某一状态,从而必然闭合为极限环。因此,非重复的暂态阶段绝不可能超过 \(N-1\) 步。
习题 2.3-2
(机体与环境的输入输出辩证关系,源自 Ashby, 1956, S.4/4 练习 2)
Ashby 曾在其论述中提出一个著名的命题:“当有机体与其所处的生态环境发生相互作用时,机体的肌肉活动是环境的输入,而机体的感觉器官则是环境的输出。”试运用本节关于换能器与输入输出的严格代数定义,深入评述这一论断的正确性与理论边界。
参考解答该论断在控制论的系统边界定义下是严格正确且深刻的。论证如下:
- 将“外部环境”孤立视为一台带输入的客体机器。环境内部存在其自身的物理与生态动力学法则(如地表温度变化、食物分布移动等)。机体的肌肉活动(如奔跑、挖掘、捕食)直接对外部物理世界施加了物理位移与能量注入,这在环境动力学方程中扮演了外部强制施加的参数调制项——因此肌肉活动是环境的输入端;
- 环境状态的物理变化(如光照强度、空气振动、化学气味扩散)通过刺激生物体的视网膜、耳蜗及嗅觉受体,被转化为感觉神经冲动——因此感觉器官是观测环境内部状态演进的测量端点,即环境的输出端;
- 反之,若以“机体”作为受控机器,则感觉神经冲动构成了机体的输入,肌肉输出构成了机体的输出。这表明:输入与输出并非物体固有的物理标签,而是由因果作用的方向性决定的;机体与环境通过将自身的输出端交叉接入对方的输入端,在客观上构建了一个闭合的有向因果环——这正是 2.4 节将要严格展开的“反馈”的拓扑前身。
2.3.3 耦合:经由输入连接两台机器
系统科学的核心动力学现象之一是机器的相互连接:两台或多台原本独立的机器可以组合构成一台规模更大的复合机器;反之,任何复杂的大型系统均可被拆解为多个彼此交互的小型子级机器。然而在物理与数学上,我们究竟应当如何无歧义地界定“连接”或耦合(coupling)?(Ashby, 1956, S.4/6)
必须排除粗暴破坏部件机制的伪耦合。若两辆行驶中的汽车在碰撞事故中扭曲焊接在一起,这种刚性拼合彻底摧毁了原有汽车的内部运转法则,在拼合之后原部件已不复存在。科学研究所需要的耦合,必须是**非破坏性的(non-destructive)**:即在耦合之后,每一个组成部件在其内部运转规则上仍然完好保持为其原本的那台机器。
实现这一要求的唯一代数路径是:让每一台机器仅能通过影响对方的外部条件去间接干预对方的行为——亦即,一台机器的输出状态仅被允许接入并充当另一台机器的输入参数。各部件的内部运转逻辑依然受其原有的规范表示支配,而部件间的联系完全由接口处的代数映射函数所确定(Ashby, 1956, S.4/6)。
考察单向级联耦合的最简原型:将机器 \(P\) 的输出单向接入机器 \(R\) 的输入端,即 \(P\) 单向影响 \(R\),而 \(R\) 的演化不反作用于 \(P\)(工程上如前级信号发生器接入后级功率放大器,生物学上如高位运动神经元单向支配低位运动肌纤维,图 2.3-3)。
- 设机器 \(R\) 即为表 2.3-1 中给出的换能器,拥有状态空间 \(S_R = \{a, b, c, d\}\) 与参数空间 \(\Omega_R = \{1, 2, 3\}\);
- 设机器 \(P\) 是一台自治的三状态决定性机器,其状态空间为 \(S_P = \{i, j, k\}\),其无输入自主变换与向 \(R\) 的输入接口耦合函数 \(Z\) 一并列于表 2.3-2:
| P 的当前状态 \(y\) | P 的单步自主后继 \(P(y)\) | 经耦合函数 \(Z(y)\) 决定的 R 之参数 \(\alpha\) |
|---|---|---|
| \(i\) | \(k\) | \(2\) |
| \(j\) | \(i\) | \(3\) |
| \(k\) | \(i\) | \(2\) |
在共同离散时钟步长驱动下,复合整机 \(Q\) 的全局状态向量为有序对 \((x, y) \in S_R \times S_P\),共有 \(4 \times 3 = 12\) 个可能状态。整机的单步演化算子由如下代数合成公式精确给出:
依据公式 (2.3-1),我们可以机械地对全部 12 个复合状态进行逐行代数演算,生成整机 \(Q\) 的完整状态转移表(表 2.3-3):
| 当前复合状态 \((x, y)\) | 参数 \(\alpha = Z(y)\) 及所选变换 | 下一时刻复合状态 \((x', y')\) |
|---|---|---|
| \((a, i)\) | \(\alpha = 2\),选用 \(R_2\) | \((b, k)\) |
| \((b, i)\) | \(\alpha = 2\),选用 \(R_2\) | \((a, k)\) |
| \((c, i)\) | \(\alpha = 2\),选用 \(R_2\) | \((d, k)\) |
| \((d, i)\) | \(\alpha = 2\),选用 \(R_2\) | \((c, k)\) |
| \((a, k)\) | \(\alpha = 2\),选用 \(R_2\) | \((b, i)\) |
| \((b, k)\) | \(\alpha = 2\),选用 \(R_2\) | \((a, i)\) |
| \((c, k)\) | \(\alpha = 2\),选用 \(R_2\) | \((d, i)\) |
| \((d, k)\) | \(\alpha = 2\),选用 \(R_2\) | \((c, i)\) |
| \((a, j)\) | \(\alpha = 3\),选用 \(R_3\) | \((d, i)\) |
| \((b, j)\) | \(\alpha = 3\),选用 \(R_3\) | \((c, i)\) |
| \((c, j)\) | \(\alpha = 3\),选用 \(R_3\) | \((d, i)\) |
| \((d, j)\) | \(\alpha = 3\),选用 \(R_3\) | \((b, i)\) |
将表 2.3-3 转化为相空间运动学图(图 2.3-4),可以立即看出整个 12 状态相空间的拓扑结构:全部状态被严格分解为四个互不相交的吸引流域,每个流域的核心均是一个二态极限环;而包含状态 \(j\) 的四个复合节点(\(aj, bj, cj, dj\))则作为暂态节点,在单步演化后汇入极限环中。
习题 2.3-3
(耦合函数改变对整机动态的影响分析,改编自 Ashby, 1956, S.4/10)
保持部件 \(P\) 与 \(R\) 的内部规范表示完全不变,但将接口处的耦合函数更换为双射对应 \(Y\):
(1) 从初始复合状态 \((a, i)\) 出发,逐步追踪整机在耦合 \(Y\) 下的演化轨迹,写出其前 8 个时间步的状态序列,并指出其极限环与暂态长度;
(2) 将所得动力学行为与原耦合 \(Z\) 下从相同初态 \((a, i)\) 出发的轨道进行对比,阐明这一对比所揭示的系统控制论原理。
参考解答(1) 在新耦合 \(Y\) 约束下,整机公式为 \(Q_Y(x, y) = \bigl( R_{Y(y)}(x), P(y) \bigr)\)。从 \((a, i)\) 出发逐步迭代:
- 第 0 步:初态为 \((a, i)\);
- 第 1 步:当前 \(y = i \implies \alpha = Y(i) = 1\)。查表 2.3-1 知 \(R_1(a) = c\);同时 \(P(i) = k\)。整机到达 \((c, k)\);
- 第 2 步:当前 \(y = k \implies \alpha = Y(k) = 3\)。查表知 \(R_3(c) = d\);同时 \(P(k) = i\)。整机到达 \((d, i)\);
- 第 3 步:当前 \(y = i \implies \alpha = 1\)。查表知 \(R_1(d) = b\);同时 \(P(i) = k\)。整机到达 \((b, k)\);
- 第 4 步:当前 \(y = k \implies \alpha = 3\)。查表知 \(R_3(b) = c\);同时 \(P(k) = i\)。整机到达 \((c, i)\);
- 第 5 步:当前 \(y = i \implies \alpha = 1\)。查表知 \(R_1(c) = d\);同时 \(P(i) = k\)。整机到达 \((d, k)\);
- 第 6 步:当前 \(y = k \implies \alpha = 3\)。查表知 \(R_3(d) = b\);同时 \(P(k) = i\)。整机到达 \((b, i)\);
- 第 7 步:当前 \(y = i \implies \alpha = 1\)。查表知 \(R_1(b) = d\);同时 \(P(i) = k\)。整机到达 \((d, k)\)。
在第 7 步状态重现第 5 步状态 \((d, k)\)。因此,整机行为线为:
系统经历了包含 5 个不重复状态的漫长暂态,最终落入二态极限环 \((d, k) \leftrightarrow (b, i)\)。
(2) 对比分析:在原耦合 \(Z\) 作用下,从相同初态 \((a, i)\) 出发的轨道直接为二态循环 \((a, i) \leftrightarrow (b, k)\)(暂态长度为 0)。而在新耦合 \(Y\) 下,暂态长达 5 步,且最终落入完全相异的另一个极限环中。这一深刻事实表明:**完全相同的部件集合、在完全相同的初始构型下,仅因接口耦合函数的微小变更,便导致了整机相空间宏观动力学行为的根本翻转**。整体的动力学绝不内在于各个孤立部件之中,它从根本上取决于部件间的耦合结构。
2.3.4 组合定理与“整体大于部分之和”的形式辨析
上述具体的代数演算直接通向控制论中关于系统组合的普适基本定理:
决定性机器耦合封闭性定理:设系统由 \(m\) 台带输入的决定性机器 \(M_1, M_2, \ldots, M_m\) 组成,各机器的状态空间分别为 \(S_1, \ldots, S_m\)。若各机器之间经由确定性的单值接口耦合函数相互连接,则所构成的复合系统 \(M\) 必定是一台定义在笛卡尔积状态空间 \(S = S_1 \times S_2 \times \cdots \times S_m\) 之上的、严格满足封闭性与单值性的决定性机器。若整机仍保留有未被耦合占用的自由外部参数,则其为一台带输入的决定性机器(换能器)。
定理 2.2 在连续动力系统中同样表现为直接的代数代换。设两台相互交互的连续非线性系统 \(M\)(状态向量 \((a, b)\),参数 \(p, q\))与 \(N\)(状态向量 \((c, d, e)\),参数 \(r, s, t, u\))的动力学方程分别为:
给定接口耦合函数,将双方参数明确规定为对方状态变量的函数:\(p = 2c\),\(q = de^2\),\(r = a+b\),\(s = a-b\),\(t = -a\),\(u = b^2\)。直接将其代入原方程组,消去全部参数符号,立即导出五变量自治复合系统 (2.3-2)(Ashby, 1956, S.4/9):
在定理 2.2 与方程 (2.3-2) 的代数严密性面前,系统哲学中长久以来的形而上学谜题——“整体大于部分之和”(The whole is greater than the sum of its parts)——在此得到了最精确的形式判定与去神秘化:
- “大于”的认识论真理性:该命题在描述的完备性意义上是完全成立的。孤立地罗列各个子部件的清单及其孤立行为,在逻辑上不足以推导出整体系统的行为。表 2.3-4 证明,同一对部件在耦合 \(Z\) 与 \(Y\) 下展现出截然相反的动态;要完全确定整体的行为,必须同时掌握**“部件的规范表示”与“部件间的耦合函数”两组独立的数据结构**;
- 去神秘化的本体论统一:该命题绝不意味着整体系统中凭空涌现出了某种超越物理法则的活力论(vitalism)神秘实体。一旦部件的转移规则与耦合接口被完全指定,整机方程可以通过初等代数代换逐项、完全确定地导出。整体的规范表示就是一张行数确定的函数表,没有任何超出数学推演的不可知剩余。
| 所施耦合函数 | 从 \((a, i)\) 出发的离散演化轨迹 | 最终收敛的极限环 | 暂态阶段不重复状态数 |
|---|---|---|---|
| 耦合 \(Z\): \(i \mapsto 2,\ j \mapsto 3,\ k \mapsto 2\) | \((a, i) \to (b, k) \to (a, i) \to \cdots\) | \((a, i) \leftrightarrow (b, k)\) | 0 步 |
| 耦合 \(Y\): \(i \mapsto 1,\ j \mapsto 2,\ k \mapsto 3\) | \((a, i) \to (c, k) \to (d, i) \to (b, k) \to (c, i) \to \cdots\) | \((d, k) \leftrightarrow (b, i)\) | 5 步 |
习题 2.3-4
(复合决定性机器的封闭性与单值性证明题)
(1) 依据公式 (2.3-1) 的定义,严格证明:只要部件 \(P\) 是封闭单值的,换能器 \(R\) 的每个候选变换 \(R_\alpha\) 是封闭单值的,且耦合函数 \(Z: S_P \to \Omega_R\) 是单值映射,则由 (2.3-1) 构造的整机算子 \(Q\) 必在笛卡尔积状态空间 \(S = S_R \times S_P\) 上严格满足封闭性与单值性;
(2) 设两台换能器 \(M_1\) 与 \(M_2\) 分别拥有 \(n_1\) 与 \(n_2\) 个离散状态,在任意确定单值耦合函数作用下耦合成闭合整机,试求出该整机在任何恒定演化下暂态长度的严格理论上界,并结合本节具体例题评估该上界。
参考解答(1) 证明:
- 封闭性证明:任取笛卡尔积空间中的任意复合状态 \((x, y) \in S_R \times S_P\)。整机算子计算结果为 \(Q(x, y) = \bigl( R_{Z(y)}(x), P(y) \bigr)\)。因为 \(y \in S_P\),且 \(Z\) 为良定义的映射,故 \(Z(y) \in \Omega_R\) 是一个合法的参数标号;因为每个候选变换 \(R_\alpha\) 在 \(S_R\) 上均严格封闭,故 \(R_{Z(y)}(x) \in S_R\);同理,因为 \(P\) 在 \(S_P\) 上严格封闭,故 \(P(y) \in S_P\)。因此后继向量 \(\bigl( R_{Z(y)}(x), P(y) \bigr) \in S_R \times S_P\)。封闭性成立;
- 单值性证明:对于给定的输入状态向量 \((x, y)\),由于 \(y\) 确定,单值映射 \(Z\) 唯一确定参数值 \(\alpha = Z(y)\);在确定的候选变换 \(R_\alpha\) 作用下,由于 \(R_\alpha\) 满足单值性,其结果 \(R_\alpha(x)\) 严格唯一;同理,单值变换 \(P\) 作用于 \(y\) 给出唯一确定的 \(P(y)\)。因此复合状态向量 \(Q(x, y)\) 存在且仅存在唯一的后继向量。单值性成立。证毕。
(2) 整机的全局相空间为 \(S_1 \times S_2\),其离散状态总数为 \(N = n_1 n_2\)。依据定理 2.1(有限系统暂态长度上界定理),该系统在恒定条件下的非周期暂态长度至多为:
在本文例题中,\(n_1 = 4, n_2 = 3\),状态总数 \(N = 12\),其暂态长度的理论最大上界为 \(12 - 1 = 11\) 步。而在实际耦合 \(Z\) 下最长暂态仅为 1 步,在耦合 \(Y\) 下最长暂态为 5 步,均严格受控于该理论上界。
2.3.5 支配、独立与向反馈理论的过渡
在本节重点演算的 \(P \to R\) 级联系统中,存在着显著的单向因果不对称性:部件 \(P\) 的状态转移直接调制 \(R\) 的动力学,而 \(R\) 的演化对 \(P\) 毫无反作用。Ashby 将这种非对称单向耦合关系严格定义为:**部件 \(P\) 支配(dominate)部件 \(R\)**(Ashby, 1956, S.4/11)。
在因果拓扑图论中,必须将因果框图上的箭头与运动学图上的箭头作本质区分:
- 运动学图(Kinematic Graph)中的箭头联系的是相空间中的两个状态节点,指示的是时间推移下的状态跃迁;
- 因果耦合框图(Block Diagram)中的箭头联系的是系统内部的两个物理构件或变量子集,指示的是物理影响或信息流动的信道(Ashby, 1956, S.4/11;Shannon, 1948)。
当系统包含多个子部件时,部件间因果耦合的拓扑形态展现出一个连续谱系:
- 单向支配谱段:\(P \to R\)。上游系统 \(P\) 可以被完全孤立出来先行独立求解,其生成的轨道作为已知的时间强迫序列代入下游系统 \(R\),随后求解 \(R\);
- 完全无向孤立谱段(可分解性):若部件 \(P\) 与 \(Q\) 之间既不存在 \(P \to Q\) 亦不存在 \(Q \to P\) 的任何影响通路,则整体系统可平庸地分解为两个完全独立的自治机器,整机变换等于两个子变换在空间上的无交并列。此时,经典的还原主义“将系统拆解独立研究”完全合法有效;
- 循环闭合谱段(反馈):若我们将换能器 \(R\) 与另一台带输入的机器 \(S\) 相对耦接——\(S\) 的输出状态决定 \(R\) 的输入参数,同时 \(R\) 的输出状态反过来决定 \(S\) 的输入参数——因果框图中的两支有向边首尾闭合,构成了有向因果回路。
这种各部件间相互制约、因果作用沿闭合有向回路回传至自身的因果拓扑,正是控制论最核心的主角——反馈(feedback)。在闭环反馈存在的情况下,任何试图孤立拆解子部件的还原主义尝试都将遭遇灾难性的理论破产。反馈的严格图论定义、直接影响与终极影响的算子判定,以及目的性机制的机械化,正是 2.4 节将要系统展开的核心内容。
关键术语
- 参数 (parameter)
- 定义在系统内部状态之外、其取值决定在变换族中选用何种特定法则的外部变量;表征系统的输入接口。
- 带输入的机器 / 换能器 (machine with input / transducer)
- 由定义在同一状态集合上、由参数空间索引的封闭单值变换族刻画的系统;开放动力系统的标准数学模型。
- 两层改变 (two levels of change)
- 状态演化(内部既定规则下的单步转移)与变换更迭(参数调制引起的主导规则切换)的层次性区分。
- 暂态 (transient)
- 系统在恒定外部条件下,自初始状态出发直至进入最终稳定极限环或平衡态之前所经历的非重复过渡状态序列。
- 耦合 (coupling)
- 各子部件保持其内部动力学完好,仅通过将自身输出接入对方输入参数而实现的非破坏性相互连接机制。
- 支配 (dominate)
- 部件 \(P\) 单向影响部件 \(R\) 而 \(R\) 对 \(P\) 毫无反作用的因果非对称耦合关系。
- 退化的换能器 (degenerate transducer)
- 多个相异的输入参数组合映射至完全相同的状态变换规则的换能器系统。
- 组合封闭性定理 (closure under coupling)
- 任意有限台决定性换能器经单值函数耦合构成的整机,在笛卡尔积状态空间上依然是严格的决定性机器。
参考文献与延伸阅读
- Ashby WR. 1956. An Introduction to Cybernetics. London: Chapman & Hall / New York: John Wiley & Sons. [尤其是第4章:The Machine with Input, Coupling, Domination].
- Ashby WR. 1952. Design for a Brain. London: Chapman & Hall. [第21章:Coupling of Continuous Systems].
- Wiener N. 1948. Cybernetics, or Control and Communication in the Animal and the Machine. Cambridge: Technology Press.
- Wiener N. 1950. The Human Use of Human Beings: Cybernetics and Society. Boston: Houghton Mifflin.
- Shannon CE. 1948. A mathematical theory of communication. Bell System Technical Journal 27:379–423, 623–656.