系统调节中的模型与必要多样性文献摘录

source · 来源摘录 本文保存控制论的两份原始来源，并明确它们迁移到软件工程时的假设。综合应用见软件质量为什么是反馈系统而不是测试阶段。

Conant 与 Ashby（1970）：良好调节器定理

• 文献：Roger C. Conant、W. Ross Ashby，Every Good Regulator of a System Must Be a Model of That System
• 期刊：International Journal of Systems Science, 1(2), 89–97
• 原文：Taylor & Francis

论文在明确的系统、结果与目标关系假设下证明：若调节器既达到最大成功，又在相关意义上最简单，它必须与被调节系统形成同构映射。这里的“模型”是保留与调节成功有关的状态区分，不等于复制系统的全部细节，也不等于必须存在一份集中式文档。

定理不意味着任何表现尚可的控制器都拥有完整世界模型；“最大成功”“简单”和同构关系都来自论文的形式化设定。把它迁移到软件质量，只能推出：测试、类型、遥测、回退和团队认知需要共同保存那些会改变处置的系统差异。

Ashby（1956）：必要多样性

• 文献：W. Ross Ashby，An Introduction to Cybernetics
• 出版：Chapman & Hall，1956
• 原文：作者档案站公开 PDF
• 相关章节：第 11 章，尤其 11/5—11/9

Ashby 用扰动 D、调节行动 R 和结果 E 的状态集合与熵表达调节问题。在其约束下，结果的剩余多样性存在下界；如果要继续压低不希望的结果多样性，调节器必须拥有足够的行动或状态区分能力。这就是“只有多样性能够消除多样性”的必要多样性定律。

“多样性”不是界面数量、测试数量或文档长度。若多个状态需要同一响应，可以在不损失调节能力的前提下合并；若两个状态需要不同动作，却被观察通道压成同一信号，再复杂的后续流程也无法恢复已经丢失的区分。

迁移到软件质量的边界

• 支持：观察必须保留会改变处理动作的状态，不能只汇总为单一通过率。
• 支持：找到稳定约束和等价类，可以减少有效状态空间，而不是无上限增加规则。
• 限制：软件团队并不自动满足形式定理的固定目标、平稳环境或完备行动集。
• 限制：更多日志、测试或指标可能只是重复信号；如果它们不增加行动区分，就没有增加有效多样性。
• 竞争解释：质量改善也可能来自模块化、降低耦合或减少扰动本身，不必只靠扩张控制器。

两份来源共同支持“表示—观察—行动”的闭环，但不能单独证明某个具体门禁、Schema 或遥测设计已经足够。