更改

== 历史渊源 ==

== 历史渊源 ==

计算力学源于 20 世纪 70 年代和 80 年代早期[[非线性系统|非线性]]物理学领域对[[流体力学]]领域[[湍流]]问题的研究。为了识别流体湍流中的[[混沌理论|混沌动力学]]，Packard和 Crutchfield等人开发了一套[[吸引子重构]]方法<ref name=packard_1980>{{cite journal |last1=Packard|first1=N. H.|last2=Crutchfield|first2=J. P.|last3=Farmer|first3=J. D.|last4=Shaw|first4=R. S.|title=Geometry from a time series|journal=Physical Review Letters|volume=45|issue=9|pages=712|year=1980|url=https://doi.org/10.1103/PhysRevLett.45.712}}</ref><ref>F. Takens. Detecting strange attractors in fluid turbulence. In D. A. Rand and L. S. Young, editors, ''Symposium on Dynamical Systems and Turbulence'', volume 898, page 366, Berlin, 1981. Springer-Verlag</ref>，使用测量的时间序列来重构流体动力系统的状态空间，可以在其中观察[[混沌吸引子]]并定量测量它们的不稳定程度及其伴随的[[复杂性]]。这套重构方法的有效性在 1983 年通过实验得到了验证<ref>A. Brandstater, J. Swift, Harry L. Swinney, A. Wolf, J. D. Farmer, E. Jen, and J. P. Crutchfield. Lowdimensional chaos in a hydrodynamic system. ''Phys. Rev. Lett.'', 51:1442, 1983</ref>，之后就被广泛用于识别和量化[[确定性混沌系统]]的行为。但是，这套方法无法简明扼要地表达被重构系统的内部结构。为了解决这个问题，计算力学理论应运而生。

计算力学源于 20 世纪 70 年代和 80 年代早期[[非线性系统|非线性]]物理学领域对[[流体力学]]领域[[湍流]]问题的研究。为了识别流体湍流中的[[混沌理论|混沌动力学]]，Packard和 Crutchfield等人开发了一套[[吸引子重构]]方法<ref name=packard_1980>{{cite journal |last1=Packard|first1=N. H.|last2=Crutchfield|first2=J. P.|last3=Farmer|first3=J. D.|last4=Shaw|first4=R. S.|title=Geometry from a time series|journal=Physical Review Letters|volume=45|issue=9|pages=712|year=1980|url=https://doi.org/10.1103/PhysRevLett.45.712}}</ref><ref name=takens_1981>{{cite book |last1=Takens|first1=F.|title=Detecting strange attractors in fluid turbulence|booktitle=Symposium on Dynamical Systems and Turbulence|editor1=Rand|first1=D. A.|editor2=Young|first2=L. S.|volume=898|pages=366|location=Berlin|publisher=Springer-Verlag|year=1981|url=https://doi.org/10.1007/BFb0091924}}</ref>，使用测量的时间序列来重构流体动力系统的状态空间，可以在其中观察[[混沌吸引子]]并定量测量它们的不稳定程度及其伴随的[[复杂性]]。这套重构方法的有效性在 1983 年通过实验得到了验证<ref name=brandstater_1983>{{cite journal |last1=Brandstater|first1=A.|last2=Swift|first2=J.|last3=Swinney|first3=Harry L.|last4=Wolf|first4=A.|last5=Farmer|first5=J. D.|last6=Jen|first6=E.|last7=Crutchfield|first7=J. P.|title=Low - dimensional chaos in a hydrodynamic system|journal=Physical Review Letters|volume=51|issue=16|pages=1442|year=1983|url=https://doi.org/10.1103/PhysRevLett.51.1442}}</ref>，之后就被广泛用于识别和量化[[确定性混沌系统]]的行为。但是，这套方法无法简明扼要地表达被重构系统的内部结构。为了解决这个问题，计算力学理论应运而生。

计算力学的首次提出是在1989年，Crutchfield在他的一篇论文<ref name=":15">] J. P. Crutchfield and K. Young. Inferring statistical complexity. ''Phys. Rev. Let.'', 63:105–108, 1989.</ref>中，基于[[时间序列重构]]的[[状态空间]]<ref name=packard_1980 /> 和[[自动机理论]]<ref>M. Minsky. ''Computation: Finite and Infinite Machines.'' Prentice-Hall, Englewood Cliffs, New Jersey, 1967</ref><ref>N. Chomsky. Three models for the description of language. ''IRE Trans. Info. Th.'', 2:113–124, 1956</ref><ref>J. E. Hopcroft and J. D. Ullman. ''Introduction to Automata Theory, Languages, and Computation.'' AddisonWesley, Reading, 1979</ref>定义了一种预测等价关系。利用这种关系分析时间序列数据，识别和量化其中有规律的部分，计算力学就可以构建一个能够预测系统未来行为的模型。

计算力学的首次提出是在1989年，Crutchfield在他的一篇论文中，基于[[时间序列重构]]的[[状态空间]]<ref name=packard_1980 /> 和[[自动机理论]]<ref>M. Minsky. ''Computation: Finite and Infinite Machines.'' Prentice-Hall, Englewood Cliffs, New Jersey, 1967</ref><ref>N. Chomsky. Three models for the description of language. ''IRE Trans. Info. Th.'', 2:113–124, 1956</ref><ref>J. E. Hopcroft and J. D. Ullman. ''Introduction to Automata Theory, Languages, and Computation.'' AddisonWesley, Reading, 1979</ref>定义了一种预测等价关系。利用这种关系分析时间序列数据，识别和量化其中有规律的部分，计算力学就可以构建一个能够预测系统未来行为的模型。

计算力学的核心概念是因果态（Causal State），它是一种与微观状态预测等价的特殊的宏观态。基于这种预测等价性的宏观态划分思想可以追溯到70年代的[[马尔科夫链的成块性]]（Lumpability）理论。Kemeny和Snell在1969年针对[[马尔科夫链]]提出[[成块性]]这一概念，目的在于判断一个马尔科夫动力系统是否是可被简化归并的。对于任意一个马尔科夫链，我们可以判断某种划分是否是成块的。成块的划分要求对状态的归并要尽可能地保留马尔可夫链中的原始重要信息，并保证划分操作与动力学操作的可交换性。不过在马尔科夫链中，成块性只是对于划分的一种要求，而没有追求最优的划分。对成块性的进一步了解，请参考词条[[马尔科夫链的成块性]]。与之相比，计算力学首先关注的不只是马尔科夫动力学，而是要囊括更广泛的动力学形式。此外，计算力学试图提出一种最优的划分，能极大地保留对预测有用的信息。此外，当一般的动力学过程退化到马尔科夫动力学的时候，成块性的成立条件实际上与因果态的定义具有一定的相似性。

计算力学的核心概念是因果态（Causal State），它是一种与微观状态预测等价的特殊的宏观态。基于这种预测等价性的宏观态划分思想可以追溯到70年代的[[马尔科夫链的成块性]]（Lumpability）理论。Kemeny和Snell在1969年针对[[马尔科夫链]]提出[[成块性]]这一概念，目的在于判断一个马尔科夫动力系统是否是可被简化归并的。对于任意一个马尔科夫链，我们可以判断某种划分是否是成块的。成块的划分要求对状态的归并要尽可能地保留马尔可夫链中的原始重要信息，并保证划分操作与动力学操作的可交换性。不过在马尔科夫链中，成块性只是对于划分的一种要求，而没有追求最优的划分。对成块性的进一步了解，请参考词条[[马尔科夫链的成块性]]。与之相比，计算力学首先关注的不只是马尔科夫动力学，而是要囊括更广泛的动力学形式。此外，计算力学试图提出一种最优的划分，能极大地保留对预测有用的信息。此外，当一般的动力学过程退化到马尔科夫动力学的时候，成块性的成立条件实际上与因果态的定义具有一定的相似性。