更改

=== 粗粒化映射 ===

=== 粗粒化映射 ===

微观元素可以在空间上、时间上或时空上以某种方式映射到宏观元素。微观尺度的状态通过[math]M: S_m \rightarrow S_M[/math]的映射组合成宏观状态。例如，两个微观布尔元素有四种状态[math]S_m = \{00,01,10,11\}[/math]，按照[math]M:[[00,01,10]= off, [11] = on][/math]的映射规则，可以得到[math]S_M = \{on, off\}[/math]。

微观元素状态集通过[math]M: S_m \rightarrow S_M[/math]映射构成宏观元素状态集，映射方法可以针对微观元素的空间或（和）时间。

 

例如，两个微观布尔元素有四种状态[math]S_m = \{00,01,10,11\}[/math]，按照[math]M:[[00,01,10] = off, [11] = on][/math]的映射规则，可以得到宏观尺度一个元素的两种状态，即[math]S_M = \{on, off\}[/math]。

具体要求：粗粒化映射对微观元素而言，必须是穷尽(exhaustive)和互斥的(disjunctive)，即一个微观元素的所有状态必须映射到同一个宏观元素的各种状态。粗粒化映射会带来系统的状态空间减小，但也允许宏观元素可以由单个微观元素组成。

具体要求：粗粒化映射对微观元素而言，必须是穷尽(exhaustive)和互斥的(disjunctive)，即一个微观元素的所有状态必须映射到同一个宏观元素的各种状态。粗粒化映射会带来系统的状态空间减小，但也允许宏观元素可以由单个微观元素组成。