第2章 · 2.4

2.4 反馈与整体内的独立性

Feedback and Independence within a Whole
本节系统确立控制论的核心拓扑范畴——反馈与子系统可分解性。首先将反馈严格定义为部件间相互影响所构成的因果有向回路,等价于机器将其内部状态经由控制策略映射反作用于自身输入接口;梳理瓦特调速器与坎农生理稳态所代表的误差驱动负反馈机制,重构罗森勃吕特—维纳—比奇洛关于目的性行为机械化的经典理论;形式化提出直接影响算子、终极影响传递闭包与直接影响图,据此给出子系统功能独立性与还原论“拆开研究”合法性的充分必要边界,为后续 2.5 节的动态稳定性分析奠定结构基础。

2.4.1 反馈:耦合成的环

在 2.3 节中,我们确立了机器间经由输入输出接口相互连接的代数耦合规则。在单向级联耦合中,部件 \(P\) 的输出状态决定部件 \(R\) 的输入参数,而 \(R\) 的运转不反作用于 \(P\),此种非对称关系被定义为 \(P\) 对 \(R\) 的“支配”(domination)。然而在物理与生物自然界中,更为普遍且更具创造性的拓扑构造是对偶的相互依赖:两台或多台机器均拥有各自的参数空间,且每一方的输出状态均同时作为决定对方输入参数的函数(Ashby, 1956, S.4/8)。

在因果结构框图上,部件间的因果影响箭头呈现出首尾相接、最终回传至自身的闭合流线。**当一个动力系统内部各组成构件之间存在此种循环影响通路时,系统内部即存在反馈(feedback)**(Ashby, 1956, S.4/11)。

定义 2.6

反馈(feedback):设系统由若干带输入的机器耦合而成。若在系统的因果影响图上,存在由两个或更多子部件构成的有向循环路径 \(M_1 \to M_2 \to \cdots \to M_k \to M_1\)——使任意部件的状态位移最终能够沿该通路反向作用于其自身的后续演化;或者等价地,一台机器的输出状态经由某一确定的代数函数映射回传为其自身的输入参数(自耦合),则称该系统具有反馈拓扑结构。

该定义完全建立在因果作用的几何有向拓扑之上,而与承载物理作用的物质中介无关(无论该中介是铜导线中的电子流、轴突中的神经动作电位、血液循环中的内分泌激素抑或流体管路中的压力差)。

(a) 单向支配(无反馈) P R P 支配 R (b) 相互耦合(闭环反馈) P R 互为输入参数 (c) 自耦合(单一换能器自闭环) M 输出状态 输入 α = h(状态)
图 2.4-1 系统因果耦合的三种拓扑形态。方框代表物理子系统,有向边指示变量间的作用信道(必须严格区别于运动学图中的状态跃迁箭头):(a) 单向支配;(b) 两部件互为对方的输入环境,因果成环;(c) 单一换能器将自身输出经策略映射回传至自身输入接口(自耦合)。

在规范表示方程组中,反馈的存在性表现为变量间非平庸的交叉依赖关系。对比下列两组微分系统:

\[ x' = 2xy, \qquad y' = x - y^{2} \]
(2.4-1) 两方程右端均显式包含对方变量:\(x'\) 受 \(y\) 支配,\(y'\) 受 \(x\) 支配,因果相互闭合成环,存在反馈。
\[ x' = 2x, \qquad y' = x - y^{2} \]
(2.4-2) \(x'\) 的更新方程仅依赖 \(x\) 自身;变量 \(x\) 单向支配 \(y\),而 \(y\) 不反作用于 \(x\),因果回路断开,反馈消失。
注记

反馈定义的理论与工程分歧:在控制论发展史上,“反馈”一词的适用界限曾引发热烈探讨(Ashby, 1956, S.4/11)。纯数理理论家偏好以方程组右端的代数交叉依赖为准(如式 (2.4-1));然而实验物理学家与工程师则通常坚持要求存在一条空间上可分离的、物理显式的实体回路(如一段反馈导线或机械杠杆)。若按纯代数定义,物理学中普通单摆的广义坐标 \(q\) 与共轭动量 \(p\) 之间(\(\dot{q} = p/m, \dot{p} = -kq\))也将被称为存在反馈,而工程师显然无法在摆锤内部“拔掉一段反馈线”。Ashby 明确指出:术语在边缘案例上的文字分歧无关宏旨,关键在于明确概念的实际有效作用范围。

反馈概念的有效适用范围,严格受限于系统的拓扑稀疏性。在仅由两三个构件组成且连接稀疏的装置中,辨识出回路并指出“此处存在反馈”,能够对系统的整体动态提供决定性的定性洞见;然而,一旦系统规模扩大且各部件完全互联——例如在四个完全互联的部件中,可以严格数出高达 20 条互不相同的闭合回路(参见习题 2.4-1)——此时哪怕完全掌握了这 20 条回路各自的局部参数,在数学上也无法简单相加合成出整体的动力学行为。在高度密集连接的复杂网络中,还原性的回路分析法必然失效,系统必须作为不可分割的全局动力学整体进行整体处理(Ashby, 1956, S.4/11)。

习题 2.4-1

(完全连接系统中有向反馈回路的组合计数,源自 Ashby, 1956, S.4/11)

设一动态系统由四个子部件 \(A, B, C, D\) 构成,假定系统内部为完全连接拓扑,即每一个部件均存在指向其余三个部件的有向影响边。请严格证明:该系统中恰好存在 20 条互不相同的简单有向回路(即沿有向边行进、不重复经过任何中间部件、最终返回出发点的闭合路径)。

参考解答

证明:按回路所包含的节点数目(回路长度 \(L\))进行分类组合计数:

  1. 长度 \(L = 2\) 的回路:在 4 个节点中任意选取 2 个节点组成对子,共有组合数 \(\binom{4}{2} = 6\) 种。由于是完全有向连接,每一对节点(例如 \(A\) 与 \(B\))之间均存在双向边,对应唯一一条闭合环路 \(A \to B \to A\)。因此长度为 2 的回路共有: \[ N_2 = \binom{4}{2} \times 1 = 6 \text{ 条} \]
  2. 长度 \(L = 3\) 的回路:在 4 个节点中任意选取 3 个节点,共有组合数 \(\binom{4}{3} = 4\) 种。对于选定的 3 个节点(例如 \(\{A, B, C\}\)),固定其中一个作为起点,其余两个节点的空间排列顺序决定了环路的走向(顺时针与逆时针):\((3 - 1)! = 2! = 2\) 种。因此长度为 3 的回路共有: \[ N_3 = \binom{4}{3} \times (3 - 1)! = 4 \times 2 = 8 \text{ 条} \]
  3. 长度 \(L = 4\) 的回路:选取全部 4 个节点,固定某一起点后,其余 3 个节点的排列数为 \((4 - 1)! = 3! = 6\) 种,每种排列对应一条包含全部节点的哈密顿有向回路。因此长度为 4 的回路共有: \[ N_4 = 1 \times (4 - 1)! = 6 \text{ 条} \]

综上所述,系统中所包含的简单有向回路总数为:

\[ N_{\text{total}} = N_2 + N_3 + N_4 = 6 + 8 + 6 = 20 \text{ 条} \]

证毕。Ashby 借此经典计数揭示出:有向反馈回路的数量随连接密度呈超指数暴增,在稠密互联系统中,单纯追踪孤立回路的分析范式迅速遭遇组合爆炸并失去解释力。

2.4.2 误差驱动的回路:从调速器到生理稳态

在科学技术史上,反馈闭环的概念在工程机械与生命科学两个原本隔绝的领域中几乎同时诞生。在工程技术脉络中,James Watt 于 1788 年为其蒸汽机发明了离心式调速器(governor):蒸汽机主轴转速升高时,飞球因离心力增大而向外张开,通过机械连杆机构反向关小进汽阀门;进汽量减少促使转速回落,从而实现了转速的自动稳定(Wiener, 1950, 第十章)。1868 年,James Clerk Maxwell 发表了经典论文《论调速器》(On Governors),首次运用高阶常微分方程对这一机械闭环回路完成了严格的线性化微分方程稳定性证明,开创了现代控制理论的先河(Maxwell, 1868)。

在生理学脉络中,美国著名生理学家 Walter B. Cannon 于 1920 年代提炼并深化了 Claude Bernard 关于“内环境恒定”的假说,于 1932 年在《躯体的智慧》(The Wisdom of the Body)中正式确立了稳态(坎农)(homeostasis)理论(Cannon, 1932)。哺乳动物的核心体温、动脉血压、血液酸碱度、血糖浓度等维持生存所必需的内部关键变量,均受到神经内分泌系统的严密监护。Norbert Wiener 敏锐地洞察到:工程调速器与生理稳态调节机制在控制论结构上具有完全的同一性——它们均是以偏差为动力源泉的负反馈(negative feedback)回路(Wiener, 1948, 1950)。

Wiener 曾给出关于反馈最精辟的工程定义:**反馈是依据系统的实际运行表现(actual performance)、而非依据操作者的先验预期表现(expected performance)所实行的动态修正控制**(Wiener, 1950, 第一章)。若一部电梯的开门机构仅按照“电梯理应在 10 秒后抵达二楼”的时间表盲目动作,一旦轿厢因机械故障中途停滞,乘客将面临坠入空井的致命危险;合乎控制论的系统必须由实际位移传感器探测到“轿厢确已平层”的实测信号,方才允许释放门锁。

\[ e(t) = r(t) - y(t), \qquad u(t) = g \cdot e(t) \]
(2.4-3) 标准误差驱动负反馈:\(r\) 为参考目标值,\(y\) 为实测输出变量,\(e\) 为实时误差偏差,\(u\) 为控制作用输出,\(g\) 为控制回路增益。

依据回传信号对系统输出偏差的作用效果,反馈严格分为两类:

  • 负反馈(negative feedback):回路的回传信号倾向于抵消、减小或削弱输出偏差,使系统状态趋于稳定在目标参考值附近;
  • 正反馈(positive feedback):回路的回传信号倾向于强化、放大或累积输出偏差,促使系统迅速背离初始状态并发生雪崩式转移。

考察离散递推系统 \(n_{t+1} = k n_t\)(其中 \(k \ge 0\)):该几何级数模型给出精确离散解:

\[ n_t = n_0 k^t \]
(2.4-4) 离散倍率增长模型:当 \(k > 1\) 时状态呈指数级几何爆炸发散;当 \(0 ≤ k < 1\) 时几何衰减收敛至零;当 \(k = 1\) 时系统守恒持存。
参考输入 r + Σ 误差 e 控制器 (放大/补偿) 效应器 (执行执行机构) 受控对象 (被控物理系统) 受控输出 y − 反馈测量通路:感受器 / 传感器实测输出 y 外部扰动 d
图 2.4-2 典型误差驱动闭环负反馈控制回路的通用拓扑框图。参考输入 \(r\) 与测量输出 \(y\) 在比较器 \(\Sigma\) 处求差产生偏差 \(e = r - y\);该误差信号驱动控制器与效应器施加纠偏作用,以抵消外界扰动 \(d\) 对被控对象的影响。

图 2.4-2 给出了通用的负反馈控制架构,表 2.4-1 则将工程随动控制与典型神经生理调节机制进行了跨学科的并置映射:

表 2.4-1 闭环负反馈控制架构在工程技术与生理学中的功能对应关系。
控制环节高炮伺服随动跟踪系统脊髓牵张反射(膝跳反射)人体核心体温调节
参考设定值 \(r\)雷达解析的目标角位置指令梭内肌纤维设定的张力基准下丘脑预设的生理调定点(约 37 ℃)
反馈感受器角度传感电位计 / 编码器肌梭(牵拉长度敏感受体)外周皮肤与中枢深部温度感受器
控制运算通路模拟误差放大器与超前校正网络Ia 类传入纤维经单突触投射至脊髓前角下丘脑体温调节中枢的神经内分泌整合
执行效应器伺服电机与液压减速执行机构\(\alpha\) 运动神经元支配的主动肌纤维骨骼肌寒战产热、汗腺排汗与皮下血管舒缩
受控输出量 \(y\)炮身实际空间指向角受牵拉骨骼肌的实际生理长度机体核心体温
典型外部扰动 \(d\)轴承摩擦波动、风阻载荷突变外力骤然叩击肌腱引起的强迫牵拉外部环境气温剧变、体力劳动产热

需要指出,表 2.4-1 展现的是控制论功能抽象层面的拓扑同构,生理实体在解剖学上往往比人造工程系统更为精细交织。例如,膝跳反射的主要兴奋通路在解剖上由感觉神经元中枢突与运动神经元胞体构成直接单突触连接,而抑制拮抗肌的交互抑制通路则经过脊髓抑制性中间神经元(Knierim, Neuroscience Online)。

习题 2.4-2

(瓦特离心调速器的闭环控制辨析,源自 Wiener, 1950, 第一章与第十章)

在 James Watt 发明的经典离心调速器中:

(1) 依据图 2.4-2 的标准架构,逐一指明其受控变量、感受器、误差比较连杆、执行效应器及典型外部扰动;

(2) 深入阐明该装置是如何体现“依据系统的实际表现、而非预期表现实行控制”这一核心控制论准则的;

(3) 若机械连杆因磨损产生严重的时间滞后(time delay),或调速阀门开度增益过高,系统将产生何种不良动力学后果?

参考解答

(1) 各环节对应关系如下:

  • 受控变量 \(y\):蒸汽机飞轮的主轴实际旋转角速度 \(\omega\);
  • 感受器:旋转重球离心机构。转速愈高,离心力愈大,重球在重力与离心力平衡下向上扬起的升程 \(h\) 愈高;
  • 比较机构:机械差动杠杆枢轴,将飞球实际升程与预设平衡位置的几何差值转换为位移输出;
  • 执行效应器:蒸汽进汽调节阀门,通过连杆开大或关小蒸汽通径截面积;
  • 典型扰动 \(d\):外负载阻力力矩骤降(如驱动工厂织布机突然断开脱载)、蒸汽锅炉气压波动。

(2) 该装置彻底摒弃了开环程序的先验假设:系统根本不依赖人工预先计算“负载需要多少蒸汽流量”,阀门的开度完全受飞球升程这一**实际测得的物理转速**所驱动。只有当系统真实转速发生物理偏移时,才会激发控制力矩,严格落实了基于实际表现的闭环纠偏。

(3) 若机械连杆存在显著间隙引起传动时滞,或进汽阀门控制增益过大,系统在受扰后的纠偏动作将发生滞后与超调(overshoot):当转速恢复至目标值时,过激的关阀动作使转速过度下跌;随后的过度开阀又使转速剧烈冲高。系统将在平衡点两侧发生持续等幅甚至发散的剧烈振荡(hunting oscillation),负反馈在滞后作用下反转为破坏性的发散动力学(这正是 2.5 节将要严格分析的稳定性判据)。

2.4.3 目的性的机械化

在控制论诞生之前,“目的性”(purpose)长期被视为自然科学的禁忌范畴。自亚里士多德提出“目的因”(teleology / final cause)以来,传统唯物主义机械力学将目的性斥为唯心主义活力论(vitalism)——物理因果律只允许“过去驱动现在”(推进因),而目的性似乎在荒谬地主张“未来的目标在吸引现在的行为”。

1943 年,Arturo Rosenblueth、Norbert Wiener 与 Julian Bigelow 联名发表了划时代的哲学论文《行为、目的与目的论》(Rosenblueth, Wiener & Bigelow, 1943),首次从控制论角度彻底打破了这一哲学藩篱,**实现了目的性概念的完全去神秘化与机械化**。他们将客观系统的外在行为建立了严格的形式分类学:

  • 目的性行为(Purposeful Behavior):指系统在时间演进中,其相空间轨道展现出朝着某一特定终态(目标点、目标极限环或平衡流形)收敛逼近的自发倾向;
  • 非目的性行为(Non-purposeful Behavior):系统的运动轨迹不指向任何特定构型(如时钟指针的等速周期回转,或布朗粒子的随机扩散);
  • 误差控制的远程反馈行为(Teleological / Error-controlled):在目的性行为内部,依靠传感器实时获取当前状态与目标之间的误差偏差信号,并通过持续的负反馈纠偏机制引导系统逼近目标。例如雷达制导的地空追踪导弹,无论空中敌机如何机动变轨,导弹根据目标相对视线角误差持续修正舵面偏角,最终实现拦截目标。

在此,所谓“目的”绝非未来事件对当下的反向牵引,而是**系统内部预先存储的目标参考值 \(r\) 与当前负反馈闭环拓扑协同作用的自然动力学收敛结果**。机械装置完全可以拥有目的,生命有机体追求目标的行为亦可完全被机械化、数理化解释(Wiener, 1948)。Heinz von Foerster(2003)后来概括了这组核心思想的历史演进谱系:“先是称之为循环因果(circular causality),继而称之为目的性机制(teleological mechanisms),最终统一定名为控制论。” Gregory Bateson(1972)则指出,负反馈概念的出现填补了唯物机制与精神意图之间长达两千年的形而上学断层。

案例

神经病理震颤的控制论解释:Wiener 等人运用反馈闭环的失稳理论,对神经病学中截然相反的两类临床震颤作出了极其经典的机械类比假说(Wiener, 1948, 1950):

  • 意向性震颤(Intention Tremor):小脑损伤患者在静止休息时肢体平稳,但在试图伸手取一杯水时,手掌越接近目标水杯,其左右剧烈摆动的振幅越大,最终彻底打翻水杯。控制论将其解释为**目标寻求随意运动反馈回路中的增益过高或时间滞后异常**导致的动力学超调发散;
  • 帕金森氏静止性震颤(Parkinsonian Tremor):基底神经节病变患者在安静状态下双手持续呈现搓丸样震颤,然而一旦启动有明确意图的抓握动作,震颤反而奇迹般地受到显著抑制。Wiener 将其解释为**姿态维持本体反射(体位反馈)过载**,而意向性运动的启动压低了局部回路的反馈灵敏度。

麻省理工学院据此机理研制出的向性机器人(“光电飞蛾”与“趋光臭虫”),在人工调节光电放大器增益时完全复现了上述两种病理性振荡,无可辩驳地展示了:精神或病理层面的紊乱,完全可以源自纯粹机械反馈回路中增益参数的物理失稳。

2.4.4 直接影响算子与终极影响图

为了从根本上摆脱经验直觉的模糊性,在包含任意多数变量的高维复杂系统中严格判定反馈与独立性的存在,Ashby 在《控制论导论》第 4 章中建立了极其严密的算子判据(Ashby, 1956, S.4/12):

方法

直接影响(Immediate Effect)的公理化检验:设系统状态由状态向量 \((x_1, x_2, \ldots, x_n)\) 完整刻画,单步规范表示为 \(x_j' = f_j(x_1, \ldots, x_n)\)。检验变量 \(x_i\) 是否对变量 \(x_j\) 具有直接影响的操作准则如下:

在相空间中任取基准状态 \(S_A = (x_1^0, \ldots, x_i^0, \ldots, x_n^0)\),记下 \(x_j\) 在这一步的后继值 \(x_j'(S_A)\);保持其余所有分量取值严格不变,仅将第 \(i\) 个分量变更至不同数值 \(x_i^1\),构成状态 \(S_B = (x_1^0, \ldots, x_i^1, \ldots, x_n^0)\)。若存在至少一组状态使得:

\[ x_j'(S_A) \neq x_j'(S_B) \]

则称变量 \(x_i\) 对变量 \(x_j\) 具有直接影响,在有向图上绘制一条由 \(x_i\) 指向 \(x_j\) 的有向边 \(x_i \to x_j\);反之,若在全空间中 \(x_j'\) 的后继取值对 \(x_i\) 的任意改变均严格不变,则 \(x_i\) 对 \(x_j\) 无直接影响(Ashby, 1956, S.4/12)。在解析微分系统中,这等价于偏导数条件 \(\frac{\partial f_j}{\partial x_i} \not\equiv 0\)。

考察由四个变量构成的规范方程组中某一特定行的代数形式:

\[ y' = 2uy - z \]
(2.4-5) 四变量系统 \((u, x, y, z)\) 中关于分量 \(y\) 的更新方程:右端显式包含 \(u, y, z\),因而在直接影响图上存在 \(u \to y, y \to y, z \to y\),而变量 \(x\) 对 \(y\) 无直接影响。

依据直接影响算子,我们可以在所有状态变量之间构建一个全局拓扑网络,称为系统的直接影响图(diagram of immediate effects):

  • 直接影响图的顶点为各个独立状态变量 \(x_1, \ldots, x_n\);
  • 直接影响图的有向边 \(x_i \to x_j\) 表示变量 \(x_i\) 能够在单步演化中直接改变 \(x_j\) 的取值。

直接影响仅仅反映了单步时间尺度上的局部因果。若在直接影响图上存在一条多步连续有向路径 \(x_1 \to x_2 \to \cdots \to x_m\),则尽管 \(x_1\) 对 \(x_m\) 可能没有单步直接影响,但其初始位移将在 \(m-1\) 步延迟之后必然波及 \(x_m\)。这种经由任意有限步中继链条所传递的因果作用,称为终极影响(ultimate effect)。在图论中,**终极影响图即为直接影响图的有向传递闭包(transitive closure)**(Ashby, 1956, S.4/12)。

由此,系统的功能独立性获得了绝对严密的图论判定:**变量 \(x_j\) 在动力学上完全独立于变量 \(x_i\),当且仅当在直接影响图上不存在任何从 \(x_i\) 到达 \(x_j\) 的有向路径(即 \(x_i\) 对 \(x_j\) 毫无终极影响)**。

习题 2.4-3

(自耦合换能器的直接影响图推导,改编自 Ashby, 1956, S.4/11 练习 2)

设一台具有单个外控输入参数 \(\alpha\) 的换能器系统,其离散规范方程组如下:

\[ x' = y - \alpha z,\qquad y' = 2z,\qquad z' = x + \alpha \]

现实验者施行闭环自耦合控制策略,将系统的实时测量输出状态 \(z\) 经反相变换后接入自身输入端口,即设定反馈规律:

\[ \alpha = -z \]

(1) 写出实施自耦合后闭环整机的规范方程组;

(2) 严格推导整机的直接影响图(罗列所有节点间存在的直接影响有向边);

(3) 判定该整机内部是否存在反馈回路?整机在整体上是否可以被分解为独立子系统?

参考解答

(1) 将控制策略 \(\alpha = -z\) 直接代入原换能器方程组中消去外部参数 \(\alpha\):

  • \(x' = y - (-z)z = y + z^2\);
  • \(y' = 2z\);
  • \(z' = x + (-z) = x - z\)。

因此,自耦合闭环整机的规范方程组为:

\[ \begin{cases} x' = y + z^2 \\ y' = 2z \\ z' = x - z \end{cases} \]

(2) 依据规范方程右端的显式依赖关系,逐行判定直接影响:

  • 第一方程 \(x' = y + z^2\):右端非平庸依赖 \(y\) 与 \(z\),故存在有向边 \(y \to x\) 与 \(z \to x\);
  • 第二方程 \(y' = 2z\):右端仅依赖 \(z\),故存在有向边 \(z \to y\);
  • 第三方程 \(z' = x - z\):右端依赖 \(x\) 与 \(z\),故存在有向边 \(x \to z\) 与自环 \(z \to z\)。

(3) 回路与可分解性判定:在直接影响图中,显然存在两节点构成的有向循环:\(x \to z\) 且 \(z \to x\);同时亦存在包含全部三节点的长回路 \(x \to z \to y \to x\)。因此整机内部存在显式的反馈回路。由于各变量节点经回路完全双向连通,不存在任何孤立的无影响子图,故整机是强连通的,完全不可分解。

2.4.5 可分解性与还原论拆解的严格界限

依据直接影响图的拓扑连通度,控制论将所有动态系统的组织结构排布为一个严密的谱系(图 2.4-3):

  1. 强连通相互作用系统(图 2.4-3a):子系统 \(P\) 与 \(Q\) 之间存在相互闭合的反馈回路。整体的行为完全由闭环动力学涌现,在原则上无法通过孤立考察 \(P\) 或 \(Q\) 单独获得;
  2. 前馈级联支配系统(图 2.4-3b):因果图上仅存在单向有向边 \(P \to Q\),而无反向回路。规范方程组呈现下三角块结构。此时系统具有单向可解性:可以先完全脱离 \(Q\) 独立求解上游自治部件 \(P\),再将 \(P\) 生成的时间解作为已知强迫输入代入求解 \(Q\);
  3. 完全可分解系统(图 2.4-3c):因果图上子系统 \(P\) 与 \(Q\) 之间不存在任何双向有向边。整机的规范方程组完全解耦为两个互不引用的独立微分/差分系统。此时称系统是严格可分解的(reducible)(Ashby, 1956, S.4/14)。
(a) 相互反馈耦合(不可分解) P Q 反馈回路横跨子系统 (b) 单向支配(可序贯求解) P Q 先解 P,再级联解 Q (c) 完全独立(严格可分解) P Q 整机 = 独立子系统直和
图 2.4-3 直接影响图的因果连通谱系:(a) 强连通相互反馈,不可拆解;(b) 单向支配级联,具备序贯块三角可解性;(c) 零连接,系统在功能与动力学上完全可分解(虚线标示正交分解截面)。

至此,控制论为经典自然科学还原论方法——“将整体拆解为各个部分分别研究”——划定了绝对严格的适用界限:

警示

还原论拆解方法的有效性充要条件:将一个复杂系统拆开为孤立子系统分别研究的科学方法,在逻辑上成立的**充分必要条件是系统本身具备可分解性(直接影响图不存在跨越拆解边界的反向反馈回路)**。当且仅当回路被切断时,跨越切口的信息与控制作用被彻底物理阻断。若在相互强耦合的反馈系统中强行实行还原拆解,研究者所测得的各个“孤立部分”的属性,根本不再包含原系统在闭环中运行的动态本质——**切断反馈回路所销毁的,恰恰正是系统之所以成为该系统的核心调节机制本身**(Ashby, 1956, S.4/14;Maturana & Varela, 1980)。

在现实生物神经网络与社会经济组织中,完全独立(可分解)与完全强连通构成了一个连续谱系。系统的连接常呈现出阈值依赖性(threshold-dependent modularity):在弱微扰下,低于神经元点火阈值的信号无法跨越突触传递,此时复杂的网络在功能上表现为大量相互独立的微小模块;一旦输入信号超越临界阈值,沉睡的连接通路被瞬间激活,原本分离的模块迅速聚合成一个高维强互联的非线性整体(Ashby, 1956, S.4/20)。

最后,关于系统的基质无关性(substrate independence):Ashby 在第 4 章末尾以其著名的寓言指出——无论一个系统的物理载体是由钢铁齿轮、电子管路、生物原生质还是假想的符号实体构成,只要其变量间的经验转移记录呈现出完全相同的规范表示与因果拓扑图,本章所推导的关于反馈、支配、可分解性的一切代数定理均无条件严格成立(Ashby, 1956, S.4/15)。

反馈确立了闭环拓扑。然而回路闭合之后,最致命的动力学危机随之爆发:负反馈接法是否必然导致系统收敛?转速调速器能平滑消除误差,而增益过大的伺服机构却振荡发散。回路中的偏差究竟被逐步衰减还是被恶性放大?这正是 2.5 节“稳定性与扰动”所要解决的核心课题。

习题 2.4-4

(直接影响判定、可分解性与反馈形成对比题,源自 Ashby, 1956, S.4/13 练习 2)

设一四状态离散系统的状态由布尔变量对 \((x, y) \in \{0, 1\}^2\) 表征,单步转移规则定义如下:

\[ (0, 0) \mapsto (1, 1),\quad (0, 1) \mapsto (1, 0),\quad (1, 0) \mapsto (0, 1),\quad (1, 1) \mapsto (0, 0) \]

(1) 运用直接影响算子的公理化准则,严格判定变量 \(x\) 与 \(y\) 之间是否存在直接影响,并画出系统的直接影响图;

(2) 判定该系统是否可分解?若可分解,写出解耦后各独立子系统的代数方程及其动力学极限周期;

(3) 若将第二方程修改为具有相互依赖的形式:\(x' = 1 - y\),\(y' = x\),重新判定系统的直接影响图,并比较修改前后系统相空间轨道的拓扑周期差异。

参考解答

(1) 依据公理化检验,分类考察状态转移:

  • 检验 \(x\) 是否对 \(y\) 有直接影响:在 \(x = 0\) 时,若 \(y = 0 \implies y' = 1\);若 \(y = 1 \implies y' = 0\)(\(y\) 单步取反)。在 \(x = 1\) 时,若 \(y = 0 \implies y' = 1\);若 \(y = 1 \implies y' = 0\)(\(y\) 依然严格单步取反)。无论 \(x\) 取 0 或 1,\(y\) 的转移规律严格为 \(y' = 1 - y\),与 \(x\) 的取值毫无关联。因此 \(x\) 对 \(y\) 无直接影响;
  • 检验 \(y\) 是否对 \(x\) 有直接影响:同理,在 \(y = 0\) 时,\(x = 0 \implies x' = 1, x = 1 \implies x' = 0\)。在 \(y = 1\) 时,\(x = 0 \implies x' = 1, x = 1 \implies x' = 0\)。无论 \(y\) 取 0 或 1,\(x\) 的转移规律恒为 \(x' = 1 - x\)。因此 \(y\) 对 \(x\) 亦无直接影响。

因此,直接影响图是一个仅包含两个孤立顶点、完全无任何连接边的零图(空图)。

(2) 系统是严格可分解的。整体系统完全等于两个彼此正交自治的一维子系统:

\[ x' = 1 - x, \qquad y' = 1 - y \]

子系统 \(x\) 在 \(0 \leftrightarrow 1\) 之间往复(周期 2),子系统 \(y\) 在 \(0 \leftrightarrow 1\) 之间往复(周期 2)。整机相空间呈现两个互不干扰的二态周期循环:\((0, 0) \leftrightarrow (1, 1)\) 与 \((0, 1) \leftrightarrow (1, 0)\),整机周期为 2。

(3) 考察新系统 \(x' = 1 - y\),\(y' = x\):

  • \(x'\) 的更新显式依赖 \(y\),存在有向边 \(y \to x\);
  • \(y'\) 的更新显式依赖 \(x\),存在有向边 \(x \to y\)。

直接影响图立即闭合成一个双向循环回路 \(x \leftrightarrow y\),反馈正式诞生,系统彻底不可分解。从 \((0, 0)\) 出发迭代其相空间轨迹:

\[ (0, 0) \to (1, 0) \to (1, 1) \to (0, 1) \to (0, 0) \]

原先分解的两个二态循环,在反馈闭合的作用下被缝合贯通为一个遍历全部 4 个状态的四态大极限环(周期 4)。仅通过引入非零耦合反馈项,系统的全局相空间拓扑结构发生了质的跃迁。

关键术语

反馈 (feedback)
系统各组成部件之间的因果影响在拓扑图上构成闭合有向回路的组织构造;等价于系统输出回传调制自身输入的自耦合映射。
负反馈 (negative feedback)
回传信号在几何极性上倾向于抵消、抑制或扣除原系统输出偏差的纠偏控制机制;稳态调节与自动稳定的基石。
正反馈 (positive feedback)
回传信号在极性上倾向于强化、累积或放大原输出偏差的再生发散机制。
稳态(坎农) (homeostasis)
生命有机体通过多重神经内分泌负反馈机制将内环境关键生理参数维持在狭窄存活边界内的自主生理动态。
目的性行为 (purposeful behavior)
相空间轨迹自发收敛趋向特定目标参考值或吸引子的行为;在控制论中被完全机械化解释为误差驱动负反馈动力学。
直接影响 (immediate effect)
单步时间尺度下,分量 \(x_i\) 的取值能够独立改变分量 \(x_j\) 下一步后继值的动力学因果作用;规范方程显式依赖的代数体现。
终极影响 (ultimate effect)
经由任意有限步有向因果链条所传递的间接或延迟影响;直接影响图的传递闭包。
直接影响图 (diagram of immediate effects)
以状态变量为节点、直接影响为有向边的因果结构拓扑网络;表征系统变量间的因果信息流动信道。
可分解性 (reducibility)
系统在直接影响图上不存在横跨边界的反馈回路,从而能够严格解耦为互不依赖的自治子系统的拓扑属性;还原论拆解合法的充要条件。

参考文献与延伸阅读

  1. Ashby WR. 1956. An Introduction to Cybernetics. London: Chapman & Hall / New York: John Wiley & Sons. [尤其是第4章第11节至第20节:Feedback, Immediate and Ultimate Effects, Reducibility].
  2. Rosenblueth A, Wiener N, Bigelow J. 1943. Behavior, purpose and teleology. Philosophy of Science 10(1):18–24.
  3. Wiener N. 1948. Cybernetics, or Control and Communication in the Animal and the Machine. Cambridge: Technology Press / New York: John Wiley & Sons.
  4. Wiener N. 1950. The Human Use of Human Beings: Cybernetics and Society. Boston: Houghton Mifflin.
  5. Cannon WB. 1932. The Wisdom of the Body. New York: W. W. Norton & Company.
  6. Maxwell JC. 1868. On Governors. Proceedings of the Royal Society of London 16:270–283.
  7. von Foerster H. 2003. Understanding Understanding: Essays on Cybernetics and Cognition. New York: Springer.
  8. Bateson G. 1972. Steps to an Ecology of Mind. San Francisco: Chandler Publishing Company.
  9. Maturana HR, Varela FJ. 1980. Autopoiesis and Cognition: The Realization of the Living. Dordrecht: D. Reidel.
  10. Knierim J. 2020. Spinal Reflexes and Descending Motor Pathways. In: Neuroscience Online. University of Texas Medical School at Houston.