5,443
个编辑
更改
→粗粒化映射
{| style="text-align: center;"
{| style="text-align: center;"
|+变量“冻结”示意图
|+元素“冻结”示意图
[[文件:Frozen.png|无框|居左|粗粒化布尔图|400x400像素]]
[[文件:Frozen1.png|无框|居左|粗粒化布尔图|400x400像素]]
|}
|}
在“冻结”外生元素的布尔实例中，元素D的输入仅来自于自身，且为COPY机制，故系统变化过程中D元素将一直保持初始的状态。A接受D和C的输入，响应方式为OR门，元素B，C的变化方式与A同理。由此，不难看出D的变化模式独立于另外三个元素。“冻结”操作就是改变do操作的分布，将D的初始状态仅设置为0，那么A，B，C接受输入的其中一个元素固定为0，那么状态更新就完全取决于另一个输入元素，OR机制变为COPY机制。（D也可以为1，但这种情况A，B，C也被固定为1）。
{| style="text-align: center;"
|+“黑盒”元素示意图
[[文件:Blackbox.png|无框|居左|粗粒化布尔图|400x400像素]]
|}
在“黑盒”布尔元素实例中，与前面例子不同之处在于，元素D接受来自另外三个元素的输入，响应门为逻辑判断“三个输入加和是否等于3”