3,094
个编辑
更改
→历史渊源
'''计算力学（Computational Mechanics）'''是一套用于量化[[涌现]]的框架。它以一种计算的视角，研究观察者建立的模型在识别涌现时，模型发生的变化。计算力学以[[信息论]]和生物进化的思想为基础，是目前最早的对涌现的定量化研究。在应用当中，该理论提出了对[[复杂性]]度量的新指标，即[[统计复杂度]]，同时还提出了一套识别涌现的算法。
'''计算力学（Computational Mechanics）'''是一套用于量化[[涌现]]的框架。它以一种计算的视角，研究观察者建立的模型在识别涌现时，模型发生的变化。计算力学以[[信息论]]和生物进化的思想为基础，是目前最早的对涌现的定量化研究。在应用当中，该理论提出了对[[复杂性]]度量的新指标，即[[统计复杂度]]，同时还提出了一套识别涌现的算法。
== 历史渊源 ==
== 历史渊源 ==
计算力学源于 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>
计算力学源于 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|book-title=Symposium on Dynamical Systems and Turbulence|editor1=Rand D. A.|editor2=Young 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=crutchfield_young_1989>{{cite journal |last1=Crutchfield|first1=James P.|last2=Young|first2=Karl|title=Inferring Statistical Complexity|journal=Physical Review Letters|volume=63|issue=2|pages=105 - 108|year=1989|url=https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.63.105}}</ref>，基于[[时间序列重构]]的[[状态空间]]<ref name=packard_1980 /> 和[[自动机理论]]<ref name=minsky_1967>{{cite book |last1=Minsky|first1=M.|title=Computation: Finite and Infinite Machines|publisher=Prentice - Hall|location=Englewood Cliffs, New Jersey|year=1967}}</ref><ref name=chomsky_1956>{{cite journal |last1=Chomsky|first1=N.|title=Three models for the description of language|journal=IRE Transactions on Information Theory|volume=2|pages=113–124|year=1956|url=https://ieeexplore.ieee.org/document/1057037}}</ref><ref name=hopcroft_ullman_1979>{{cite book |last1=Hopcroft|first1=J. E.|last2=Ullman|first2=J. D.|title=Introduction to Automata Theory, Languages, and Computation|publisher=Addison - Wesley|location=Reading|year=1979}}</ref>定义了一种预测等价关系。利用这种关系分析时间序列数据，识别和量化其中有规律的部分，计算力学就可以构建一个能够预测系统未来行为的模型。
计算力学的核心概念是因果态（Causal State），它是一种与微观状态预测等价的特殊的宏观态。基于这种预测等价性的宏观态划分思想可以追溯到70年代的[[马尔科夫链的成块性]]（Lumpability）理论。Kemeny和Snell在1969年针对[[马尔科夫链]]提出[[成块性]]这一概念，目的在于判断一个马尔科夫动力系统是否是可被简化归并的。对于任意一个马尔科夫链，我们可以判断某种划分是否是成块的。成块的划分要求对状态的归并要尽可能地保留马尔可夫链中的原始重要信息，并保证划分操作与动力学操作的可交换性。不过在马尔科夫链中，成块性只是对于划分的一种要求，而没有追求最优的划分。对成块性的进一步了解，请参考词条[[马尔科夫链的成块性]]。与之相比，计算力学首先关注的不只是马尔科夫动力学，而是要囊括更广泛的动力学形式。此外，计算力学试图提出一种最优的划分，能极大地保留对预测有用的信息。此外，当一般的动力学过程退化到马尔科夫动力学的时候，成块性的成立条件实际上与因果态的定义具有一定的相似性。