5,443
个编辑
更改
跳到导航
跳到搜索
第59行：
第59行： − + 第66行：
第66行： − 在“冻结”外生元素的布尔实例中，元素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）。+ − + − 在“黑盒”布尔元素实例中，与前面例子不同之处在于，元素D接受来自另外三个元素的输入，响应门为逻辑判断“三个输入加和是否等于3”+
→粗粒化映射
3.变量外部化：这种方法不涉及状态的合并，而是试图通过改变初始[[do干预]]的均匀分布的方式，将系统中部分元素移出考虑的范畴。Erik Hoel在2017年的文章中称此类变量为外生元素（exogenous element），并提出了两种具体的操作方式：一种方式称为将外生元素“冻结”，将其设定为特定的状态，在机制的作用下，该元素在后续变化中将一直保持该初始状态，不影响系统中其他元素的变化；另一种是将外生元素设为“黑箱”（black boxing），允许其在初始分布后随时间变化，但是具体变化情况和对系统的影响都无法查看。
3.变量外部化：这种方法不涉及状态的合并，而是试图通过改变初始[[do干预]]的均匀分布的方式，将系统中部分元素移出考虑的范畴。Erik Hoel在2017年的文章中称此类变量为外生元素（exogenous element），并提出了两种具体的操作方式：一种方式称为将外生元素“冻结”，将其设定为特定的状态，在机制的作用下，该元素在后续变化中将一直保持该初始状态，不影响系统中其他元素的变化；另一种是将外生元素设为“黑箱”（black boxing），允许其在初始分布后随时间变化，但是具体变化情况和对系统的影响都无法查看。变量外部化的方式通过减少系统中元素的方式，也达到了和粗粒化后一样的效果，即系统总的状态空间减小。
{| style="text-align: center;"
{| style="text-align: center;"
|}
|}
在“冻结”外生元素的布尔实例中，元素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，也满足“冻结”后的COPY机制）。
{| style="text-align: center;"
{| style="text-align: center;"
|+“黑盒”元素示意图
|+“黑盒”元素示意图
[[文件:Blackbox.png|无框|居左|粗粒化布尔图|400x400像素]]
[[文件:Blackbox1.png|无框|居左|粗粒化布尔图|400x400像素]]
|}
|}
在“黑盒”布尔元素实例中，与前面例子不同之处在于，元素D接受来自另外三个元素的输入，响应门为逻辑判断“三个输入加和是否等于3”。我们简单分析一下D的情况，当D为0时，和“冻结”例子就非常相似，A，B，C之间的响应变为COPY机制，COPY循环也不会带来总和的变化，D将持续为0；当D为1时，说明A，B，C也将全为1，也等价于COPY机制。所以在当前的实例中，可以忽略D的影响，当作黑盒，只关注A，B，C的变化。