5,443
个编辑
更改
跳到导航
跳到搜索
第66行：
第66行： − 在该“冻结”外生变量的布尔实例中，D元素的输入仅来自于自身，且为COPY机制，故系统变化过程中D元素将一直保持初始的状态。A，B，C元素接受D元素和一个上游元素的输入，响应方式为OR门，+
→粗粒化映射
|}
|}
在该“冻结”外生变量的布尔实例中，元素D的输入仅来自于自身，且为COPY机制，故系统变化过程中D元素将一直保持初始的状态。A接受D和C的输入，响应方式为OR门，元素B，C的变化方式与A同理。由此，不难看出D的变化模式独立于另外三个元素。“冻结”操作就是将D的初始状态设置为0，那么A，B，C接受输入的其中一个元素固定为0，那么状态更新就完全取决于另一个输入元素，OR机制变为COPY机制。（D也可以为1，但这种情况A，B，C也被固定为1）。