diff --git "a/computational_science/undergraduate/compiler_principles/advanced_topics/advanced_code_generation/dag_covering_for_instruction_selection/Feynman/zh-CN/\347\224\250\344\272\216\346\214\207\344\273\244\351\200\211\346\213\251\347\232\204 DAG \350\246\206\347\233\226/MainContent.md" "b/computational_science/undergraduate/compiler_principles/advanced_topics/advanced_code_generation/dag_covering_for_instruction_selection/Feynman/zh-CN/\347\224\250\344\272\216\346\214\207\344\273\244\351\200\211\346\213\251\347\232\204 DAG \350\246\206\347\233\226/MainContent.md" index ea8625423be..6ca783634bf 100644 --- "a/computational_science/undergraduate/compiler_principles/advanced_topics/advanced_code_generation/dag_covering_for_instruction_selection/Feynman/zh-CN/\347\224\250\344\272\216\346\214\207\344\273\244\351\200\211\346\213\251\347\232\204 DAG \350\246\206\347\233\226/MainContent.md" +++ "b/computational_science/undergraduate/compiler_principles/advanced_topics/advanced_code_generation/dag_covering_for_instruction_selection/Feynman/zh-CN/\347\224\250\344\272\216\346\214\207\344\273\244\351\200\211\346\213\251\347\232\204 DAG \350\246\206\347\233\226/MainContent.md" @@ -7,6 +7,11 @@ [点击有惊喜](https://www.bohrium.com) 不要点击 + +## Principles and Mechanisms + +Imagine you are a master chef translating an abstract recipe idea—say, "a savory and bright seafood dish"—into a concrete series of steps for your kitchen staff. You wouldn't just hand them a list of ingredients; you would give them a sequence of precise instructions: "First, sear the scallops; while they rest, deglaze the pan with wine..." The order, timing, and choice of technique are everything. A compiler, at its core, is this master chef. Its task is to translate the abstract logic of your program into a concrete sequence of instructions that a processor can execute. The "recipe" is an [intermediate representation](@entry_id:750746) (IR) of your code, and the process of choosing the best sequence of machine operations is called **[instruction selection](@entry_id:750687)**. + ## Principles and Mechanisms Imagine you are a master chef translating an abstract recipe idea—say, "a savory and bright seafood dish"—into a concrete series of steps for your kitchen staff. You wouldn't just hand them a list of ingredients; you would give them a sequence of precise instructions: "First, sear the scallops; while they rest, deglaze the pan with wine..." The order, timing, and choice of technique are everything. A compiler, at its core, is this master chef. Its task is to translate the abstract logic of your program into a concrete sequence of instructions that a processor can execute. The "recipe" is an [intermediate representation](@entry_id:750746) (IR) of your code, and the process of choosing the best sequence of machine operations is called **[instruction selection](@entry_id:750687)**. diff --git "a/keyword/2/2_form_gauge_field/Feynman/zh-CN/2-\345\275\242\345\274\217\350\247\204\350\214\203\345\234\272/MainContent.md" "b/keyword/2/2_form_gauge_field/Feynman/zh-CN/2-\345\275\242\345\274\217\350\247\204\350\214\203\345\234\272/MainContent.md" index 66ecc498fb2..4e3802f7909 100644 --- "a/keyword/2/2_form_gauge_field/Feynman/zh-CN/2-\345\275\242\345\274\217\350\247\204\350\214\203\345\234\272/MainContent.md" +++ "b/keyword/2/2_form_gauge_field/Feynman/zh-CN/2-\345\275\242\345\274\217\350\247\204\350\214\203\345\234\272/MainContent.md" @@ -3,6 +3,10 @@ 本文旨在通俗地介绍这个迷人的理论对象,它已成为弦论、量子引力及凝聚态物理学中不可或缺的工具。我们将探讨从点粒子到弦的转变所带来的知识鸿沟,以及 [2-形式](@article_id:367145)场如何优雅地填补它。在接下来的章节中,您将发现该场的核心原理和机制,了解它如何将[电磁学](@article_id:363853)定律推广到更高维度的情境。然后,我们将踏上一段旅程,探索其最深刻的应用和跨学科联系,揭示 [2-形式](@article_id:367145)场如何确保弦论的自洽性,如何与[轴子](@article_id:316914)等神秘粒子相关联,甚至如何为实验室中奇异的新[物态](@article_id:299884)提供蓝图。 +## Principles and Mechanisms + +You know, one of the best ways to discover new laws of nature is to take a law you already know and love, and ask a simple, almost childish question about it. Let’s take electromagnetism. At its heart, it’s a story about point-like charges, like electrons, moving through spacetime. Their paths, their **worldlines**, act as sources for a field, the [electromagnetic potential](@article_id:264322), which is described with a mathematical object called a **1-form**, $A_\mu$. This field, in turn, tells other charges how to move. It's a beautiful, self-contained story. + ## 原理与机制 你知道,发现自然界新定律的最佳方法之一,就是选取一个你已经熟知并喜爱的定律,然后对它提出一个简单、甚至近乎天真的问题。让我们以[电磁学](@article_id:363853)为例。其核心是关于像电子这样的点状荷在时[空中运动](@article_id:351682)的故事。它们的路径,即它们的**[世界线](@article_id:324131)**,充当一个场的源,这个场就是[电磁势](@article_id:311220),我们物理学家用一个称为 **1-形式** 的数学对象 $A_\mu$ 来描述它。这个场反过来又告诉其他[电荷](@article_id:339187)如何运动。这是一个优美且自洽的故事。