歷史、路徑與局部時間:非馬可夫遞歸狀態系統
History, Paths, and Local Time: Non-Markovian Recursive State Systems
系列: 遞歸動態狀態系統(Recursive Dynamic State Systems, RDSS)篇次: 06 / 09作者: Neo.K with Aletheia機構: EveMissLab/一言諾科技有限公司版本: v0.1 Research Draft日期: 2026-08-10文件性質: 非馬可夫狀態系統/歷史增廣/局部時間與非同步容器研究
摘要
本文為《遞歸動態狀態系統》(RDSS)系列第六篇,處理前五篇尚未完整形式化的時間與歷史問題:當一個遞歸狀態容器的下一步不只依賴當前快照,而且受到過去路徑、歷史壓縮、等待時間、局部事件序與跨容器因果順序影響時,應如何描述其演化?
本文不主張所有系統都必須是非馬可夫系統,也不主張「時間就是歷史」。本文提出較弱的任務相對命題:對指定任務 Q Q Q ,若:
P ( Y t + Δ ∣ X t ) ≠ P ( Y t + Δ ∣ X t , H 0 : t ) , P(Y_{t+\Delta}\mid X_t)
\neq
P(Y_{t+\Delta}\mid X_t,H_{0:t}), P ( Y t + Δ ∣ X t ) = P ( Y t + Δ ∣ X t , H 0 : t ) ,
則當前可觀測狀態 X t X_t X t 對該任務不足,應將歷史壓縮為當前增廣狀態:
M t ( Q ) = Ψ Q ( H 0 : t ) , M_t^{(Q)}
=
\Psi_Q(H_{0:t}), M t ( Q ) = Ψ Q ( H 0 : t ) ,
S t ∗ ( Q ) = ( X t , M t ( Q ) ) . S_t^{\ast(Q)}
=
(
X_t,
M_t^{(Q)}
). S t ∗ ( Q ) = ( X t , M t ( Q ) ) .
RDSS 因此把狀態更新由:
M t + 1 = F ( M t ) \mathfrak M_{t+1}
=
F(\mathfrak M_t) M t + 1 = F ( M t )
提升為:
M t + 1 = F ( M t , M t , T t , E t ) . \boxed{
\mathfrak M_{t+1}
=
F(
\mathfrak M_t,
M_t,
\mathbb T_t,
E_t
).
} M t + 1 = F ( M t , M t , T t , E t ) .
其中 M t M_t M t 是任務相對歷史狀態, T t \mathbb T_t T t 是局部時間/事件次序結構, E t E_t E t 是外部事件。
本文進一步提出「同快照異歷史」「可達域路徑依賴」「歷史改寫 ECV 算子」「局部容器時鐘」「因果偏序而非唯一全域時間」「跨容器時間映射」「非同步收斂」「歷史最小充分表示」等結構。對遞歸容器 M i \mathfrak M_i M i ,允許各自具有局部時間:
T i , \mathbb T_i, T i ,
並以:
Φ i → j : T i ⇀ T j \Phi_{i\rightarrow j}
:
\mathbb T_i
\rightharpoonup
\mathbb T_j Φ i → j : T i ⇀ T j
描述跨容器時間對齊。對沒有直接因果關係的事件,不強迫建立虛假的物理先後;在工程需要全序時,可以建立與因果偏序相容的邏輯排序,而不把該排序誤認為唯一真實時間。
本文最後提出「任務相對近馬可夫化」:若存在有限成本歷史摘要 M t ( Q ) M_t^{(Q)} M t ( Q ) ,使:
P ( S t + 1 ∗ ∣ S 0 : t ∗ ) ≈ P ( S t + 1 ∗ ∣ S t ∗ ) , P(S_{t+1}^\ast\mid S_{0:t}^\ast)
\approx
P(S_{t+1}^\ast\mid S_t^\ast), P ( S t + 1 ∗ ∣ S 0 : t ∗ ) ≈ P ( S t + 1 ∗ ∣ S t ∗ ) ,
則原本的非馬可夫觀測過程可在指定誤差下被增廣為近馬可夫狀態系統;但本文明確保留不存在有限充分摘要的可能性。
關鍵詞: 非馬可夫系統、歷史狀態、路徑依賴、局部時間、邏輯時鐘、因果偏序、記憶核、任務相對馬可夫化、RDSS、非同步狀態機
0. 問題:同樣的現在,真的代表同樣的下一步嗎?
最簡狀態機隱含:
X t → X t + 1 . X_t
\rightarrow
X_{t+1}. X t → X t + 1 .
若系統具有馬可夫性,可以寫成:
P ( X t + 1 ∣ X 0 , … , X t ) = P ( X t + 1 ∣ X t ) . P(X_{t+1}\mid X_0,\ldots,X_t)
=
P(X_{t+1}\mid X_t). P ( X t + 1 ∣ X 0 , … , X t ) = P ( X t + 1 ∣ X t ) .
此時:
X t X_t X t
已經包含預測下一步所需的全部狀態資訊。
這不是缺點。
對大量控制、通信、協議與工程系統,設計一個充分狀態就是正確目標。
但本文關心的是另一種情況:
Observed Present ≠ Dynamically Sufficient Present . \boxed{
\text{Observed Present}
\neq
\text{Dynamically Sufficient Present}.
} Observed Present = Dynamically Sufficient Present .
也就是兩個系統看起來具有相同快照:
X t ( A ) ≈ X t ( B ) , X_t^{(A)}
\approx
X_t^{(B)}, X t ( A ) ≈ X t ( B ) ,
但因為:
H t ( A ) ≠ H t ( B ) , H_t^{(A)}
\neq
H_t^{(B)}, H t ( A ) = H t ( B ) ,
未來反應不同:
P ( Y t + Δ ∣ X t ( A ) , H t ( A ) ) ≠ P ( Y t + Δ ∣ X t ( B ) , H t ( B ) ) . P(Y_{t+\Delta}\mid X_t^{(A)},H_t^{(A)})
\neq
P(Y_{t+\Delta}\mid X_t^{(B)},H_t^{(B)}). P ( Y t + Δ ∣ X t ( A ) , H t ( A ) ) = P ( Y t + Δ ∣ X t ( B ) , H t ( B ) ) .
這就是本篇的起點。
1. 「非馬可夫」不是「記錄很多歷史」
本文先排除一個常見誤解。
只因為系統存了 log:
H 0 : t , H_{0:t}, H 0 : t ,
不代表系統動力學是非馬可夫的。
若:
X t X_t X t
已經是充分狀態,則即使保存完整 log:
P ( Y t + Δ ∣ X t , H 0 : t ) = P ( Y t + Δ ∣ X t ) , P(Y_{t+\Delta}\mid X_t,H_{0:t})
=
P(Y_{t+\Delta}\mid X_t), P ( Y t + Δ ∣ X t , H 0 : t ) = P ( Y t + Δ ∣ X t ) ,
歷史仍可能只是 audit data。
所以本文定義:
Historical Relevance \boxed{
\text{Historical Relevance}
} Historical Relevance
需要的是歷史對未來具有額外條件資訊。
2. 歷史資訊增益
對任務 Q Q Q ,可定義概念性的歷史資訊增益:
I h i s t ( Q ) = I ( Y t + Δ ; H 0 : t ∣ X t ) . \mathcal I_{\mathrm{hist}}^{(Q)}
=
I(
Y_{t+\Delta};
H_{0:t}
\mid
X_t
). I hist ( Q ) = I ( Y t + Δ ; H 0 : t ∣ X t ) .
若:
I h i s t ( Q ) ≈ 0 , \mathcal I_{\mathrm{hist}}^{(Q)}
\approx
0, I hist ( Q ) ≈ 0 ,
則對該任務,歷史可以忽略。
若:
I h i s t ( Q ) > 0 , \mathcal I_{\mathrm{hist}}^{(Q)}
>
0, I hist ( Q ) > 0 ,
則:
X t X_t X t
不是任務充分狀態。
這使:
History Dependence \boxed{
\text{History Dependence}
} History Dependence
成為 task-relative,而不是對系統的絕對標籤。
3. 歷史作為狀態變量
令完整歷史:
H 0 : t = ( X 0 , X 1 , … , X t ) . H_{0:t}
=
(
X_0,
X_1,
\ldots,
X_t
). H 0 : t = ( X 0 , X 1 , … , X t ) .
本文不主張直接令:
M t = H 0 : t . M_t
=
H_{0:t}. M t = H 0 : t .
因為這會造成:
∣ M t ∣ → ∞ |M_t|
\rightarrow
\infty ∣ M t ∣ → ∞
式增長。
更合理的做法是:
M t ( Q ) = Ψ Q ( H 0 : t ) . \boxed{
M_t^{(Q)}
=
\Psi_Q
(
H_{0:t}
).
} M t ( Q ) = Ψ Q ( H 0 : t ) .
其中:
Ψ Q \Psi_Q Ψ Q
是任務相對歷史壓縮。
增廣狀態:
S t ∗ ( Q ) = ( X t , M t ( Q ) ) . \boxed{
S_t^{\ast(Q)}
=
(
X_t,
M_t^{(Q)}
).
} S t ∗ ( Q ) = ( X t , M t ( Q ) ) .
目標是:
P ( Y t + Δ ∣ X t , H 0 : t ) ≈ P ( Y t + Δ ∣ X t , M t ( Q ) ) . P(
Y_{t+\Delta}
\mid
X_t,
H_{0:t}
)
\approx
P(
Y_{t+\Delta}
\mid
X_t,
M_t^{(Q)}
). P ( Y t + Δ ∣ X t , H 0 : t ) ≈ P ( Y t + Δ ∣ X t , M t ( Q ) ) .
4. 歷史壓縮不是歷史刪除
若:
M t = Ψ ( H 0 : t ) , M_t
=
\Psi(H_{0:t}), M t = Ψ ( H 0 : t ) ,
不代表原始歷史必須被永久刪除。
應區分:
Operational Memory \boxed{
\text{Operational Memory}
} Operational Memory
與:
Archival History . \boxed{
\text{Archival History}.
} Archival History .
Operational Memory 用於:
下一步決策;
路由;
風險;
可達域;
任務狀態。
Archival History 用於:
audit;
replay;
provenance;
debugging;
法律/治理記錄。
因此:
Compress ≠ Erase . \boxed{
\text{Compress}
\neq
\text{Erase}.
} Compress = Erase .
5. 歷史狀態的更新
歷史狀態不必每輪重算全部歷史。
可以遞推:
M t + 1 = U M ( M t , X t + 1 , E t + 1 ) . M_{t+1}
=
U_M
(
M_t,
X_{t+1},
E_{t+1}
). M t + 1 = U M ( M t , X t + 1 , E t + 1 ) .
這使記憶變成:
Incrementally Maintained State . \boxed{
\text{Incrementally Maintained State}.
} Incrementally Maintained State .
而不是:
Repeated Full Replay . \boxed{
\text{Repeated Full Replay}.
} Repeated Full Replay .
這對大型 AI、遊戲世界與長期 Agent 特別重要。
6. 歷史最小充分表示
對任務 Q Q Q ,希望找到:
M t ∗ M_t^\ast M t ∗
使:
min C o s t ( M t ) \boxed{
\min
Cost(M_t)
} min C os t ( M t )
subject to:
L Q ( H 0 : t , M t ) ≤ ε . L_Q
(
H_{0:t},
M_t
)
\le
\varepsilon. L Q ( H 0 : t , M t ) ≤ ε .
這裡:
L Q L_Q L Q
可以衡量:
預測損失;
控制損失;
可達性失真;
身份失真;
風險失真。
所以:
Memory \boxed{
\text{Memory}
} Memory
不是越多越好。
7. Retention–Compression Tradeoff
如果保留過多:
C o s t ( M ) ↑ . Cost(M)\uparrow. C os t ( M ) ↑ .
可能造成:
檢索成本;
context inflation;
噪音;
過擬合;
舊資訊干擾;
決策延遲。
如果壓縮過度:
L o s s Q ↑ . Loss_Q\uparrow. L os s Q ↑ .
所以存在:
Retention–Compression Tradeoff . \boxed{
\text{Retention–Compression Tradeoff}.
} Retention–Compression Tradeoff .
這與 ODSS 的 finite effective support 是同一種結構思想:
潛在歷史可以很長,但當前運算只保留任務需要的有效歷史支撐。
8. 四種歷史相位
本文暫定四種理想型。
H0 — 近無歷史型
I h i s t ≈ 0. \mathcal I_{\mathrm{hist}}
\approx
0. I hist ≈ 0.
近似馬可夫。
H1 — 短記憶型
只有近端歷史重要:
M t ≈ Ψ ( X t − k : t ) . M_t
\approx
\Psi
(
X_{t-k:t}
). M t ≈ Ψ ( X t − k : t ) .
H2 — 長記憶型
遠期歷史仍持續影響:
M t = Ψ ( H 0 : t ) . M_t
=
\Psi
(
H_{0:t}
). M t = Ψ ( H 0 : t ) .
不能只取短窗口。
H3 — 結構重編碼型
歷史本身很長,但已經固著進:
參數;
權重;
拓撲;
習慣;
制度;
架構;
信任。
所以:
C ( M t ∗ ) ≪ C ( H 0 : t ) . C(M_t^\ast)
\ll
C(H_{0:t}). C ( M t ∗ ) ≪ C ( H 0 : t ) .
這類系統表面上可能「不記得全部過去」,但其現在已被過去塑形。
9. 同快照異歷史
定義:
X t ( A ) ≡ o b s X t ( B ) X_t^{(A)}
\equiv_{\mathrm{obs}}
X_t^{(B)} X t ( A ) ≡ obs X t ( B )
表示兩系統在指定觀測下相同。
但:
M t ( A ) ≠ M t ( B ) . M_t^{(A)}
\neq
M_t^{(B)}. M t ( A ) = M t ( B ) .
則稱:
Present-State Isomorphism with Historical Divergence . \boxed{
\text{Present-State Isomorphism with Historical Divergence}.
} Present-State Isomorphism with Historical Divergence .
即:
同一現在的表象 ≠ 同一動力身份 . \boxed{
\text{同一現在的表象}
\neq
\text{同一動力身份}.
} 同一現在的表象 = 同一動力身份 .
10. 同快照異可達域
令:
Ω t f u t u r e \Omega_t^{future} Ω t f u t u r e
為未來可達集合。
可能:
X t ( A ) ≈ X t ( B ) X_t^{(A)}
\approx
X_t^{(B)} X t ( A ) ≈ X t ( B )
但:
Ω t ( A ) ≠ Ω t ( B ) . \boxed{
\Omega_t^{(A)}
\neq
\Omega_t^{(B)}.
} Ω t ( A ) = Ω t ( B ) .
原因可能是歷史已改變:
內部參數;
可塑性;
權限;
資源;
疲勞;
債務;
信任;
冷卻;
不可逆承諾。
所以歷史不只改變:
P ( f u t u r e ) . P(future). P ( f u t u r e ) .
它甚至可能改變:
W h i c h F u t u r e s R e m a i n R e a c h a b l e . \boxed{
Which\ Futures\ Remain\ Reachable.
} W hi c h F u t u r es R e main R e a c hab l e .
11. 可達域路徑依賴
令兩條路徑:
π 1 , π 2 . \pi_1,\pi_2. π 1 , π 2 .
若:
π 1 ( t ) ≈ π 2 ( t ) \pi_1(t)
\approx
\pi_2(t) π 1 ( t ) ≈ π 2 ( t )
但:
Ω π 1 ≠ Ω π 2 , \Omega_{\pi_1}
\neq
\Omega_{\pi_2}, Ω π 1 = Ω π 2 ,
則稱:
Reachability Path Dependence . \boxed{
\text{Reachability Path Dependence}.
} Reachability Path Dependence .
這是 RDSS 比單純 snapshot FSM 更強的重要原因。
12. 路徑不是歷史全文
路徑:
π = ( X 0 , a 0 , X 1 , a 1 , … , X t ) \pi
=
(
X_0,
a_0,
X_1,
a_1,
\ldots,
X_t
) π = ( X 0 , a 0 , X 1 , a 1 , … , X t )
可以非常長。
但真正影響未來的可能只是:
ϕ ( π ) . \phi(\pi). ϕ ( π ) .
所以:
M t = Ψ ( π ) M_t
=
\Psi(\pi) M t = Ψ ( π )
仍然是主要策略。
例如:
Ψ ( π ) = ( F a i l u r e s , C o m m i t m e n t s , L e a r n e d W e i g h t s , T r u s t , C o o l d o w n , D e b t ) . \Psi(\pi)
=
(
Failures,
Commitments,
LearnedWeights,
Trust,
Cooldown,
Debt
). Ψ ( π ) = ( F ai l u r es , C o mmi t m e n t s , L e a r n e d W e i g h t s , T r u s t , C oo l d o w n , D e b t ) .
這就是從「歷史紀錄」轉成「歷史狀態」。
13. 記憶核表示
在連續時間近似中,可以寫:
M t = ∫ 0 t K ( t − τ ) ϕ ( X τ ) d τ . \boxed{
M_t
=
\int_0^t
K(t-\tau)
\phi(X_\tau)
d\tau.
} M t = ∫ 0 t K ( t − τ ) ϕ ( X τ ) d τ .
其中:
如果:
K ( s ) = e − λ s , K(s)
=
e^{-\lambda s}, K ( s ) = e − λ s ,
代表近期歷史快速主導。
如果:
K ( s ) ∼ s − α , K(s)
\sim
s^{-\alpha}, K ( s ) ∼ s − α ,
則遠期歷史可能保留長尾影響。
在 generalized Langevin 類非馬可夫模型中,memory kernel 正是將被投影掉的歷史效應重新帶回有效動力的一種典型方式。
14. RDSS 的非馬可夫更新式
將歷史放回 RDSS:
M t + 1 = F ( M t , M t , E t , C t ) . \boxed{
\mathfrak M_{t+1}
=
F
(
\mathfrak M_t,
M_t,
E_t,
C_t
).
} M t + 1 = F ( M t , M t , E t , C t ) .
其中:
M t M_t M t :歷史狀態;
E t E_t E t :事件;
C t C_t C t :context。
若連局部時間也加入:
M t + 1 = F ( M t , M t , T t , E t , C t ) . \boxed{
\mathfrak M_{t+1}
=
F
(
\mathfrak M_t,
M_t,
\mathbb T_t,
E_t,
C_t
).
} M t + 1 = F ( M t , M t , T t , E t , C t ) .
15. 歷史會改寫 ECV 算子
第五篇定義:
T E C V = V ∘ C ∘ E . \mathcal T^{ECV}
=
\mathcal V
\circ
\mathcal C
\circ
\mathcal E. T E C V = V ∘ C ∘ E .
本篇進一步提出:
E t = E ( M t , M t ) , \mathcal E_t
=
\mathcal E
(
\mathfrak M_t,
M_t
), E t = E ( M t , M t ) ,
C t = C ( D t , M t ) , \mathcal C_t
=
\mathcal C
(
\mathcal D_t,
M_t
), C t = C ( D t , M t ) ,
V t = V ( G t , M t ) . \mathcal V_t
=
\mathcal V
(
\mathcal G_t,
M_t
). V t = V ( G t , M t ) .
所以:
History \boxed{
\text{History}
} History
不是 ECV 後面的附加記錄。
它會改變:
展開哪些候選;
連接哪些節點;
避免哪些舊失敗路徑;
收斂到什麼高階狀態。
16. 歷史改變展開
若某候選空間已經大量探索失敗:
F a i l C o u n t ( r ) ≫ 0 , FailCount(r)
\gg 0, F ai l C o u n t ( r ) ≫ 0 ,
則:
W e i g h t E ( r ) ↓ . Weight_E(r)
\downarrow. W e i g h t E ( r ) ↓ .
若某路徑曾成功:
S u c c e s s ( r ) = 1 , Success(r)
=1, S u ccess ( r ) = 1 ,
則:
W e i g h t E ( r ) ↑ . Weight_E(r)
\uparrow. W e i g h t E ( r ) ↑ .
所以:
E \boxed{
\mathcal E
} E
不再每次從零開始。
17. 歷史改變連接
兩個 Agent:
A , B A,B A , B
目前能力完全相同。
但若:
T r u s t t ( A ) ≠ T r u s t t ( B ) , Trust_t(A)
\neq
Trust_t(B), T r u s t t ( A ) = T r u s t t ( B ) ,
則:
C \mathcal C C
可能建立不同路由。
因此:
Same Capability + Different History ⇒ Different Topology . \boxed{
\text{Same Capability}
+
\text{Different History}
\Rightarrow
\text{Different Topology}.
} Same Capability + Different History ⇒ Different Topology .
這正好適用於長期 Agent network。
18. 歷史改變收斂
相同 evidence:
E t E_t E t
在不同歷史下可以有不同決策門檻。
例如:
R i s k H i s t o r y ↑ RiskHistory
\uparrow R i s k H i s t or y ↑
則:
τ c o m m i t ↑ . \tau_{\mathrm{commit}}
\uparrow. τ commit ↑ .
所以:
V d e c i s i o n \mathcal V_{\mathrm{decision}} V decision
本身也有歷史依賴。
19. 任務相對近馬可夫化
如果存在:
M t ( Q ) M_t^{(Q)} M t ( Q )
使增廣狀態:
S t ∗ = ( X t , M t ( Q ) ) S_t^\ast
=
(
X_t,
M_t^{(Q)}
) S t ∗ = ( X t , M t ( Q ) )
滿足:
P ( S t + 1 ∗ ∣ S 0 : t ∗ ) ≈ P ( S t + 1 ∗ ∣ S t ∗ ) . \boxed{
P(
S_{t+1}^\ast
\mid
S_{0:t}^\ast
)
\approx
P(
S_{t+1}^\ast
\mid
S_t^\ast
).
} P ( S t + 1 ∗ ∣ S 0 : t ∗ ) ≈ P ( S t + 1 ∗ ∣ S t ∗ ) .
則稱:
Task-Relative Approximate Markovization . \boxed{
\text{Task-Relative Approximate Markovization}.
} Task-Relative Approximate Markovization .
這是一個很重要的觀念。
RDSS 不是「反馬可夫」。
更準確地說:
若歷史依賴存在,就把有用歷史編譯進狀態,直到在任務誤差內重新得到足夠接近馬可夫的表示。
20. 但不保證存在有限近馬可夫化
本文保留:
∄ M t with finite cost \boxed{
\nexists
M_t
\text{ with finite cost}
} ∄ M t with finite cost
使:
L Q ≤ ε . L_Q
\le
\varepsilon. L Q ≤ ε .
也就是有些系統可能具有極長記憶、不可有限壓縮歷史或實際上無法找到充分摘要。
所以:
Finite Markovization \boxed{
\text{Finite Markovization}
} Finite Markovization
是工程目標,不是宇宙保證。
21. 直到這裡,我們其實還偷偷假設了全域時間
前面一直使用:
t , t + 1 , t + 2. t,
t+1,
t+2. t , t + 1 , t + 2.
這很方便。
但遞歸容器中可能存在:
不同更新頻率;
網路延遲;
事件驅動;
暫停容器;
離線子系統;
不同 clock domain。
所以:
Global t \boxed{
\text{Global }t
} Global t
不應被當成唯一必要時間形式。
22. 每個容器具有局部時間
對子容器:
M i , \mathfrak M_i, M i ,
定義:
T i . \mathbb T_i. T i .
它可以是:
實數時間;
整數 tick;
event count;
logical clock;
partial order;
local causal order。
因此:
T i ≠ T j \boxed{
\mathbb T_i
\neq
\mathbb T_j
} T i = T j
完全可以合法。
23. 局部時間不必等速
例如:
M w o r l d \mathfrak M_{\mathrm{world}} M world
每小時更新一次;
M c o m b a t \mathfrak M_{\mathrm{combat}} M combat
每 16 ms 更新一次;
M e c o n o m y \mathfrak M_{\mathrm{economy}} M economy
每分鐘更新一次;
M a r c h i v e \mathfrak M_{\mathrm{archive}} M archive
只有事件發生才更新。
所以:
Same Parent ≠ Same Update Rate . \boxed{
\text{Same Parent}
\neq
\text{Same Update Rate}.
} Same Parent = Same Update Rate .
24. 局部時間可以是事件序,而不是秒數
對 event-driven container:
T i = { e 0 ≺ e 1 ≺ e 2 } . \mathbb T_i
=
\{
e_0
\prec
e_1
\prec
e_2
\}. T i = { e 0 ≺ e 1 ≺ e 2 } .
這裡重要的是:
≺ \prec ≺
表示有效順序。
而不是每個事件一定有共同物理時間戳。
因此 RDSS 需要:
Temporal Order \boxed{
\text{Temporal Order}
} Temporal Order
而不只是:
Numeric Timestamp . \boxed{
\text{Numeric Timestamp}.
} Numeric Timestamp .
25. 因果偏序
在分散式系統中,不是所有事件都有唯一、觀察者無關的全序。
若事件:
e i e_i e i
可能因果影響:
e j , e_j, e j ,
可以寫:
e i ≺ c e j . e_i
\prec_c
e_j. e i ≺ c e j .
但若兩事件無因果關係:
e i ∥ e j . e_i
\parallel
e_j. e i ∥ e j .
則不必強迫:
e i < e j e_i<e_j e i < e j
或:
e j < e i e_j<e_i e j < e i
具有本體意義。
RDSS 因此區分:
Causal Partial Order \boxed{
\text{Causal Partial Order}
} Causal Partial Order
與:
Administrative Total Order . \boxed{
\text{Administrative Total Order}.
} Administrative Total Order .
26. 邏輯排序可以存在,但不要冒充本體時間
工程上為:
log;
commit;
replay;
consensus;
debugging;
可能仍需要總序:
L ( e i ) . L(e_i). L ( e i ) .
只需滿足:
e i ≺ c e j ⇒ L ( e i ) < L ( e j ) . e_i
\prec_c
e_j
\Rightarrow
L(e_i)
<
L(e_j). e i ≺ c e j ⇒ L ( e i ) < L ( e j ) .
這類 logical clock 思路可以給非同步 RDSS 一個穩定事件排序。
但:
L ( e i ) < L ( e j ) L(e_i)<L(e_j) L ( e i ) < L ( e j )
若兩事件原本無因果關係,不能反推:
e i ≺ c e j . e_i
\prec_c
e_j. e i ≺ c e j .
所以:
Logical Order ≠ Causal Proof . \boxed{
\text{Logical Order}
\neq
\text{Causal Proof}.
} Logical Order = Causal Proof .
27. 跨容器時間映射
若:
M i \mathfrak M_i M i
使用:
T i \mathbb T_i T i
而:
M j \mathfrak M_j M j
使用:
T j , \mathbb T_j, T j ,
定義:
Φ i → j : T i ⇀ T j . \boxed{
\Phi_{i\rightarrow j}
:
\mathbb T_i
\rightharpoonup
\mathbb T_j.
} Φ i → j : T i ⇀ T j .
它可以是:
timestamp conversion;
tick ratio;
event alignment;
causal mapping;
interpolation;
aggregation window。
這個映射可能不是一一對應。
28. 多個子事件映射成一個父事件
例如子容器:
C o m b a t Combat C o mba t
有:
120 120 120
個 frame tick。
父層可能只需要:
B a t t l e S t a r t e d → B a t t l e E n d e d . BattleStarted
\rightarrow
BattleEnded. B a ttl e S t a r t e d → B a ttl e E n d e d .
所以:
Φ c o m b a t → w o r l d : { t 1 , … , t 120 } → T 1 . \Phi_{\mathrm{combat}\rightarrow\mathrm{world}}
:
\{
t_1,\ldots,t_{120}
\}
\rightarrow
T_1. Φ combat → world : { t 1 , … , t 120 } → T 1 .
這是一種時間收斂。
29. 一個父事件可以展開成多個子時間事件
父層:
W a r D e c l a r e d . WarDeclared. W a r D ec l a r e d .
展開到經濟、軍事、外交子容器:
Φ w o r l d → i ( W a r D e c l a r e d ) = { e i 1 , e i 2 , … } . \Phi_{\mathrm{world}\rightarrow i}
(
WarDeclared
)
=
\{
e_{i1},
e_{i2},
\ldots
\}. Φ world → i ( W a r D ec l a r e d ) = { e i 1 , e i 2 , … } .
不同子容器可以在不同局部時間尺度執行。
這是時間展開。
30. 因此 ECV 本身也是多時間的
第五篇寫:
E t , C t , V t . \mathcal E_t,
\mathcal C_t,
\mathcal V_t. E t , C t , V t .
本篇改寫為:
E T i , \mathcal E_{\mathbb T_i}, E T i ,
C T i , T j , \mathcal C_{\mathbb T_i,\mathbb T_j}, C T i , T j ,
V T P . \mathcal V_{\mathbb T_P}. V T P .
也就是:
展開在某個局部時間發生;
連接可能跨兩個 clock domain;
收斂在父層時間上提交。
因此:
Triadic Cycle \boxed{
\text{Triadic Cycle}
} Triadic Cycle
不必是一個單一 synchronous loop。
31. 非同步三元循環
子容器:
M 1 , M 2 , M 3 M_1,M_2,M_3 M 1 , M 2 , M 3
可以各自:
M i → E C V i M i ′ . M_i
\xrightarrow{ECV_i}
M_i'. M i E C V i M i ′ .
父層只在:
C o m m i t C o n d i t i o n CommitCondition C o mmi tC o n d i t i o n
滿足時:
V P ( M 1 ′ , M 2 ′ , M 3 ′ ) → M P ′ . \mathcal V_P
(
M_1',
M_2',
M_3'
)
\rightarrow
M_P'. V P ( M 1 ′ , M 2 ′ , M 3 ′ ) → M P ′ .
所以:
Local Evolution + Asynchronous Parent Convergence . \boxed{
\text{Local Evolution}
+
\text{Asynchronous Parent Convergence}.
} Local Evolution + Asynchronous Parent Convergence .
32. 不應等待所有子容器
如果父層每次都等待:
∀ i , R e a d y ( M i ) , \forall i,\ Ready(M_i), ∀ i , R e a d y ( M i ) ,
最慢子容器會拖累整體。
可定義:
Q u o r u m ⊂ N . Quorum
\subset
\mathcal N. Q u or u m ⊂ N .
或:
R e l e v a n t S e t ( Q , t ) RelevantSet(Q,t) R e l e v an tS e t ( Q , t )
只等待任務相關子集。
因此:
Convergence ≠ Global Barrier . \boxed{
\text{Convergence}
\neq
\text{Global Barrier}.
} Convergence = Global Barrier .
33. Stale State 是正式狀態
非同步系統中,父層看到的子狀態可能落後。
所以每個投影需要:
A g e ( Π ↑ ( M i ) ) . Age(
\Pi^\uparrow(M_i)
). A g e ( Π ↑ ( M i )) .
若:
A g e > τ s t a l e , Age
>
\tau_{\mathrm{stale}}, A g e > τ stale ,
則:
S t a t e = S t a l e . State
=
\mathsf{Stale}. S t a t e = Stale .
而不是假裝資料仍是「現在」。
34. Missing 與 Stale 不同
若子容器沒有回報:
M i s s i n g . \mathsf{Missing}. Missing .
如果有舊資料:
S t a l e . \mathsf{Stale}. Stale .
如果資料有效:
F r e s h . \mathsf{Fresh}. Fresh .
所以:
F r e s h ≠ S t a l e ≠ M i s s i n g . \boxed{
Fresh
\neq
Stale
\neq
Missing.
} F r es h = S t a l e = M i ss in g .
這三態對可靠世界狀態很重要。
35. 時間不一致不是資料錯誤
父層可能同時持有:
X A ( t A ) , X_A(t_A), X A ( t A ) ,
X B ( t B ) , X_B(t_B), X B ( t B ) ,
且:
t A ≠ t B . t_A
\neq
t_B. t A = t B .
這不一定是 bug。
重要的是知道:
Temporal Provenance . \boxed{
\text{Temporal Provenance}.
} Temporal Provenance .
也就是每個值「來自哪個局部時間」。
36. 一致切面
如果任務需要強一致快照,可建立:
C u t = { e i } Cut
=
\{
e_i
\} C u t = { e i }
滿足因果一致性。
也就是如果:
e j e_j e j
已被包含,而:
e i ≺ c e j , e_i
\prec_c
e_j, e i ≺ c e j ,
那麼:
e i e_i e i
也應被包含。
這樣可形成:
Causally Consistent Snapshot . \boxed{
\text{Causally Consistent Snapshot}.
} Causally Consistent Snapshot .
而不必要求所有容器同一物理時刻。
37. 局部時間與容器身份
如果一個容器暫停:
Δ T i = 0 \Delta \mathbb T_i
=
0 Δ T i = 0
但父世界繼續演化:
Δ T P > 0 , \Delta \mathbb T_P
>
0, Δ T P > 0 ,
容器身份不因此消失。
因此:
Existence / Identity ≠ Continuous Updating . \boxed{
\text{Existence / Identity}
\neq
\text{Continuous Updating}.
} Existence / Identity = Continuous Updating .
休眠容器仍可以保存:
( I , M , H , K ) . (\mathcal I,M,H,\mathcal K). ( I , M , H , K ) .
38. 休眠與重啟
容器:
M i M_i M i
可進入:
D o r m a n t . \mathsf{Dormant}. Dormant .
重啟時:
R e s u m e ( M i , H i , T P ) Resume(M_i,H_i,\mathbb T_P) R es u m e ( M i , H i , T P )
需要決定:
replay 遺漏事件;
快速收斂到父層現在;
直接從 snapshot 恢復;
重新生成局部狀態。
所以:
Resume \boxed{
\text{Resume}
} Resume
本身是一個時間映射與歷史同步問題。
39. 跳時 Skip-Time
對不值得逐步模擬的休眠容器,可以:
M i ( t 0 ) → J M i ( t 1 ) M_i(t_0)
\xrightarrow{\mathcal J}
M_i(t_1) M i ( t 0 ) J M i ( t 1 )
其中:
J \mathcal J J
不是逐 tick 執行。
而是基於:
直接跳到新狀態。
這對大型遊戲世界與低注意力子系統非常重要。
40. 跳時也要有誤差界
若:
J \mathcal J J
是近似:
M i ( t 1 ) ≈ J ( M i ( t 0 ) , E v e n t s t 0 : t 1 ) , M_i(t_1)
\approx
\mathcal J
(
M_i(t_0),
Events_{t_0:t_1}
), M i ( t 1 ) ≈ J ( M i ( t 0 ) , E v e n t s t 0 : t 1 ) ,
則需要:
L J ≤ ε J . L_J
\le
\varepsilon_J. L J ≤ ε J .
否則:
Skip Simulation \boxed{
\text{Skip Simulation}
} Skip Simulation
可能造成世界狀態漂移。
41. AI 記憶的 RDSS 解讀
一個長期 AI 不必每輪重讀:
H 0 : t . H_{0:t}. H 0 : t .
更合理:
M t A I = Ψ ( H 0 : t ) . M_t^{AI}
=
\Psi
(
H_{0:t}
). M t A I = Ψ ( H 0 : t ) .
包括:
使用者偏好;
專案狀態;
信任;
未完成任務;
世界狀態;
高價值歷史節點。
所以:
Persistent AI \boxed{
\text{Persistent AI}
} Persistent AI
需要的不是「無限聊天紀錄」。
而是:
History-Compiled State . \boxed{
\text{History-Compiled State}.
} History-Compiled State .
42. 遊戲世界的 RDSS 解讀
兩個 NPC:
A , B A,B A , B
今天都:
R e l a t i o n s h i p = 50. Relationship=50. R e l a t i o n s hi p = 50.
但 A 曾經:
100 → 50 100\rightarrow50 100 → 50
而 B:
0 → 50. 0\rightarrow50. 0 → 50.
如果系統只保存:
50 , 50, 50 ,
兩者完全相同。
但若保存:
M t = ( T r u s t T r e n d , B e t r a y a l , D e b t , R e c e n t E v e n t s ) , M_t
=
(
TrustTrend,
Betrayal,
Debt,
RecentEvents
), M t = ( T r u s tT r e n d , B e t r a y a l , D e b t , R ece n tE v e n t s ) ,
則未來行為不同。
所以:
Same Numeric State ≠ Same Social State . \boxed{
\text{Same Numeric State}
\neq
\text{Same Social State}.
} Same Numeric State = Same Social State .
43. 軟體架構的 RDSS 解讀
兩個模組現在都:
S t a t u s = C o r e . Status=\mathsf{Core}. S t a t u s = Core .
但:
M A M_A M A
十年來穩定;
M B M_B M B
剛由 workaround 升格。
其:
H i s t o r i c a l R i s k HistoricalRisk H i s t or i c a l R i s k
不同。
因此 Dynamic MSSP 的:
E f f e c t i v e R o l e EffectiveRole E f f ec t i v e R o l e
應與:
H i s t o r y S t a t e HistoryState H i s t or y S t a t e
共同決定未來重構策略。
44. 歷史與身份的界線
本文仍不主張:
I d e n t i t y = F u l l H i s t o r y . \boxed{
Identity
=
Full\ History.
} I d e n t i t y = F u l l H i s t or y .
更弱版本:
I d e n t i t y t = F I ( I , K , M t , C o n t i n u i t y t ) . Identity_t
=
F_I
(
\mathcal I,
\mathcal K,
M_t,
Continuity_t
). I d e n t i t y t = F I ( I , K , M t , C o n t in u i t y t ) .
其中完整歷史只是一個可能來源。
因此:
Historical Continuity \boxed{
\text{Historical Continuity}
} Historical Continuity
可以支持身份,
但不等於身份的唯一充分條件。
45. 歷史也可以被改寫嗎?
實際系統會有:
data correction;
log repair;
memory consolidation;
forgetting;
privacy deletion;
model update。
所以:
H t H_t H t
不是絕對不可修改。
但應區分:
Event History \boxed{
\text{Event History}
} Event History
與:
Operational Historical State . \boxed{
\text{Operational Historical State}.
} Operational Historical State .
後者可以重新壓縮:
M t → M t ′ . M_t
\rightarrow
M_t'. M t → M t ′ .
而前者若被更改,必須有:
R e v i s i o n P r o v e n a n c e . RevisionProvenance. R e v i s i o n P r o v e nan ce .
46. Forgetting 是正式算子
定義:
F f o r g e t : M t → M t ′ . \mathcal F_{\mathrm{forget}}
:
M_t
\rightarrow
M_t'. F forget : M t → M t ′ .
要求:
C o s t ( M t ′ ) < C o s t ( M t ) Cost(M_t')
<
Cost(M_t) C os t ( M t ′ ) < C os t ( M t )
且:
L Q ( M t , M t ′ ) ≤ ε . L_Q(M_t,M_t')
\le
\varepsilon. L Q ( M t , M t ′ ) ≤ ε .
所以:
Forgetting \boxed{
\text{Forgetting}
} Forgetting
不是記憶失敗。
它可能是必要的狀態管理。
47. 歷史版本
定義:
H i s t o r y I D , V e r s i o n , H a s h , P a r e n t V e r s i o n . HistoryID,
Version,
Hash,
ParentVersion. H i s t or y I D , V er s i o n , H a s h , P a r e n t V er s i o n .
如果重編碼:
M t v 1 → M t v 2 , M_t^{v_1}
\rightarrow
M_t^{v_2}, M t v 1 → M t v 2 ,
要能知道:
何時重編;
使用什麼算法;
哪些內容丟失;
哪些內容保留。
這對可重播 Agent 與科研系統尤其重要。
48. RDSS 的時間—歷史總形式
因此一個更完整 RDSS 寫成:
M i = ( I i , X i , M i , T i , ∂ i , K i , N i ) . \boxed{
\mathfrak M_i
=
(
\mathcal I_i,
X_i,
M_i,
\mathbb T_i,
\partial_i,
\mathcal K_i,
\mathcal N_i
).
} M i = ( I i , X i , M i , T i , ∂ i , K i , N i ) .
其演化:
( M i , M i , T i ) → T i ( M i ′ , M i ′ , T i ′ ) . \boxed{
(
\mathfrak M_i,
M_i,
\mathbb T_i
)
\xrightarrow{
\mathcal T_i
}
(
\mathfrak M_i',
M_i',
\mathbb T_i'
).
} ( M i , M i , T i ) T i ( M i ′ , M i ′ , T i ′ ) .
跨容器:
Φ i → j : ( T i , E i ) ⇀ ( T j , E j ) . \boxed{
\Phi_{i\rightarrow j}
:
(
\mathbb T_i,
E_i
)
\rightharpoonup
(
\mathbb T_j,
E_j
).
} Φ i → j : ( T i , E i ) ⇀ ( T j , E j ) .
49. 非同步遞歸世界的總圖
可以把整個系統寫成:
W = ( { M i } i ∈ I , { T i } i ∈ I , { M i } i ∈ I , R , Φ ) . \mathcal W
=
(
\{
\mathfrak M_i
\}_{i\in I},
\{
\mathbb T_i
\}_{i\in I},
\{
M_i
\}_{i\in I},
\mathcal R,
\Phi
). W = ({ M i } i ∈ I , { T i } i ∈ I , { M i } i ∈ I , R , Φ ) .
其中:
M i \mathfrak M_i M i :各子容器;
T i \mathbb T_i T i :各局部時間;
M i M_i M i :各歷史狀態;
R \mathcal R R :跨容器關係;
Φ \Phi Φ :跨時間/事件映射。
所以真正世界不是:
S 0 → S 1 → S 2 \boxed{
S_0
\rightarrow
S_1
\rightarrow
S_2
} S 0 → S 1 → S 2
而更像:
many local trajectories + causal coupling + selective convergence . \boxed{
\text{many local trajectories}
+
\text{causal coupling}
+
\text{selective convergence}.
} many local trajectories + causal coupling + selective convergence .
50. 八個時間—歷史不變量候選
H1 — Historical Relevance Must Be Task-Relative
不能因為有歷史就宣稱歷史必要。
H2 — Memory Need Not Equal Raw History
M t ≠ H 0 : t M_t
\neq
H_{0:t} M t = H 0 : t
通常是允許的。
H3 — Compression Loss Must Be Accounted
歷史壓縮需要誤差/損失界。
H4 — Same Snapshot Need Not Mean Same Reachability
允許:
X A ≈ X B , Ω A ≠ Ω B . X_A\approx X_B,
\quad
\Omega_A\neq\Omega_B. X A ≈ X B , Ω A = Ω B .
H5 — Local Time Is First-Class
每個遞歸容器可以有自己的:
T i . \mathbb T_i. T i .
H6 — Causal Order Precedes Administrative Total Order
若系統建立全序,不得把它誤當成因果證明。
H7 — Temporal Provenance Must Be Preserved
任何父層投影都應知道其來源時間。
H8 — Dormancy Is Not Erasure
容器暫停不等於身份、歷史與狀態消失。
51. 可證偽問題
51.1 歷史增廣是否改善預測?
比較:
L o s s ( X t ) Loss(X_t) L oss ( X t )
與:
L o s s ( X t , M t ) . Loss(X_t,M_t). L oss ( X t , M t ) .
若沒有改善,則該任務不需要歷史。
51.2 歷史壓縮是否真的節省成本?
比較:
C o s t ( H 0 : t ) Cost(H_{0:t}) C os t ( H 0 : t )
與:
C o s t ( M t ) . Cost(M_t). C os t ( M t ) .
51.3 近馬可夫化是否成立?
測量:
D [ P ( S t + 1 ∗ ∣ S 0 : t ∗ ) , P ( S t + 1 ∗ ∣ S t ∗ ) ] . D
\left[
P(S_{t+1}^\ast\mid S_{0:t}^\ast),
P(S_{t+1}^\ast\mid S_t^\ast)
\right]. D [ P ( S t + 1 ∗ ∣ S 0 : t ∗ ) , P ( S t + 1 ∗ ∣ S t ∗ ) ] .
51.4 非同步局部時間是否優於全域 tick?
比較:
C o s t g l o b a l Cost_{\mathrm{global}} C os t global
與:
C o s t l o c a l . Cost_{\mathrm{local}}. C os t local .
並測量一致性誤差。
51.5 Skip-Time 是否保真?
比較逐 tick simulation 與:
J \mathcal J J
的結果。
51.6 歷史是否真的改變可達域?
需要構造:
X A = X B X_A=X_B X A = X B
但:
M A ≠ M B M_A\neq M_B M A = M B
的案例,測量可達集合是否不同。
52. 與前五篇的統合
目前系列形成:
01
RDSS Object \text{RDSS Object} RDSS Object
02
Open Dimensions + Finite Support \text{Open Dimensions + Finite Support} Open Dimensions + Finite Support
03
Classification as State \text{Classification as State} Classification as State
04
Recursive Dynamic Container \text{Recursive Dynamic Container} Recursive Dynamic Container
05
ECV Generative Cycle \text{ECV Generative Cycle} ECV Generative Cycle
06
History + Path Dependence + Local Time + Asynchrony . \boxed{
\text{History}
+
\text{Path Dependence}
+
\text{Local Time}
+
\text{Asynchrony}.
} History + Path Dependence + Local Time + Asynchrony .
至此,RDSS 已不再是一台同步、失憶、固定 schema 的狀態機。
53. 下一篇:當規則與狀態空間自己改寫
目前我們允許:
狀態變;
類型變;
歷史變;
容器變;
關係變;
時間映射變。
但還剩最強的一步:
Transition Rules themselves change . \boxed{
\text{Transition Rules themselves change}.
} Transition Rules themselves change .
也就是:
Δ t ≠ Δ t + 1 , \Delta_t
\neq
\Delta_{t+1}, Δ t = Δ t + 1 ,
A t ≠ A t + 1 , \mathcal A_t
\neq
\mathcal A_{t+1}, A t = A t + 1 ,
甚至:
S c h e m a t ≠ S c h e m a t + 1 . Schema_t
\neq
Schema_{t+1}. S c h e m a t = S c h e m a t + 1 .
因此第七篇:
《生成狀態機:當規則、類型與狀態空間本身可以改寫》
將正式處理:
self-rewriting;
schema rewrite;
operator birth;
rule lifecycle;
generated transition;
invariant preservation;
safe meta-transition;
RCTEP 接合。
54. 結論
本文最核心的修正是:
現在 \boxed{
\text{現在}
} 現在
不一定足以代表:
系統目前真正的動力狀態 . \boxed{
\text{系統目前真正的動力狀態}.
} 系統目前真正的動力狀態 .
對某些任務:
Present = Snapshot + Compiled History . \boxed{
\text{Present}
=
\text{Snapshot}
+
\text{Compiled History}.
} Present = Snapshot + Compiled History .
因此:
M t + 1 = F ( M t ) \mathfrak M_{t+1}
=
F(\mathfrak M_t) M t + 1 = F ( M t )
被提升為:
M t + 1 = F ( M t , M t , T t , E t ) . \boxed{
\mathfrak M_{t+1}
=
F(
\mathfrak M_t,
M_t,
\mathbb T_t,
E_t
).
} M t + 1 = F ( M t , M t , T t , E t ) .
更重要的是,遞歸世界不必具有一個唯一同步 global clock。
它可以是:
{ M i , M i , T i } i ∈ I \boxed{
\{
\mathfrak M_i,
M_i,
\mathbb T_i
\}_{i\in I}
} { M i , M i , T i } i ∈ I
所構成的多局部時間世界。
各容器:
local evolution \boxed{
\text{local evolution}
} local evolution
透過:
causal ordering + cross-container mapping + selective convergence \boxed{
\text{causal ordering}
+
\text{cross-container mapping}
+
\text{selective convergence}
} causal ordering + cross-container mapping + selective convergence
形成高階世界狀態。
所以真正的 RDSS 並不是:
S 0 → S 1 → S 2 . S_0
\rightarrow
S_1
\rightarrow
S_2. S 0 → S 1 → S 2 .
更接近:
History-shaped local trajectories → causal coupling → multi-scale state evolution . \boxed{
\text{History-shaped local trajectories}
\rightarrow
\text{causal coupling}
\rightarrow
\text{multi-scale state evolution}.
} History-shaped local trajectories → causal coupling → multi-scale state evolution .
這也使「狀態機」從一個固定、同步、無歷史的控制圖,進一步成為可承載路徑、記憶、非同步時間與遞歸世界的動態容器。
參考文獻
外部文獻
Lamport, L. (1978). Time, Clocks, and the Ordering of Events in a Distributed System . Communications of the ACM, 21(7), 558–565.
Russo, A., Duran-Olivencia, M. A., Kevrekidis, I. G., & Kalliadasis, S. (2019). Machine learning memory kernels as closure for non-Markovian stochastic processes . arXiv:1903.09562.
Jung, G., Hanke, M., & Schmid, F. (2018). Generalized Langevin dynamics: Construction and numerical integration of non-Markovian particle-based models . arXiv:1808.00270.
Stella, L., Lorenz, C. D., & Kantorovich, L. (2013). The Generalized Langevin Equation: An efficient approach to non-equilibrium molecular dynamics of open systems . arXiv:1312.4903.
EveMissLab 內部前置
Neo.K,《歷史作為狀態變量:路徑依賴、記憶增廣與複雜系統的動力身份》。
Neo.K,《因果狀態流變計算》。
Neo.K with Aletheia,《差異指針時間論:力量、主—客—邊與嵌套時空的統一框架》。
Neo.K,《嵌套容器時間論》相關手稿。
Neo.K with Aletheia,《狀態、容器與存在》。
Neo.K with Aletheia,《從有限狀態機到開放維度狀態系統》。
Neo.K with Aletheia,《分類即狀態》。
Neo.K with Aletheia,《狀態機作為遞歸動態容器》。
Neo.K with Aletheia,《展開—連接—收斂:三元本體論的狀態系統實現》。