計算解剖學是一門多領域交叉學科，是關注定量研究與解剖形狀可變性建模的生物學領域。其包含了數學、統計學和資料分析方法在建模及生物結構模擬上的發展與應用。 計算解剖學內容豐富，涵蓋解剖學、應用數學及純數學、機器學習、計算力學、計算科學、生物成像、神經科學、物理學、機率論與統計學內容；還與流體力學和幾何力學有聯絡。另外，還包含較新的跨領域學科，如生物資訊學和神經資訊學，它們的解釋用到了來自原感測器成像方式（如磁共振成像）的元資料。其關注待測區域的解剖結構，而非成像裝置。這與計算語言學的精神類似。 在計算解剖學中，微分同胚群主要透過座標變換研究不同座標系，座標變換由 mathbb R3 中流的拉格朗日與歐拉向量生成。不同座標間的流受測地流約束，後者滿足流動能最小作用原理。動能由索伯列夫平滑度範數定義，流速的每個分量都有嚴格多於 2 個的廣義平方可積導數，保證 mathbb R3 中的流微分同胚。 這也說明，微分同胚形狀動量逐點滿足測地線的尤拉 拉格朗日方程，是透過速度場上鄰域的空間導數決定的。這與不可壓縮流的情形不同，後者的動量是速度的逐點函式。計算解剖學橫貫黎曼流形與非線性全域性分析，其中微分同胚群是研究的重點。新出現的高維形狀理論是計算解剖學許多研究的重點，如形狀統計這一新興領域中出現的問題一樣。 計算解剖學的度量結構在精神上與形態測量學有關，區別在於，計算解剖學關注透過微分同胚變換的座標系的無窮維空間。 計算解剖學的可變形模板軌道模型 人體解剖模型是可變形模板，是群作用下的軌道。可變形模板模型一直是格雷納德是度量模式理論的核心，透過模板說明典型性，透過模板的變換說明可變性。微分幾何中的經典表述是，將群作用下的軌道表示為可變形模板。形狀空間可表為 m in mathcal M，群 mathcal G circ 具有組合律 circ；形狀上的群作用表為 g cdot m，當中群作用 g cdot m in mathcal M m in mathcal M 定義為滿足 g circ gprime cdot mg cdot gprime cdot min mathcal M 模板軌道 mathcal M 成為所有形狀的空間， mathcal M doteq mg cdot m_mathrm temp g in mathcal G ，在 mathcal G 的元素的作用下同質。 計算解剖學的軌道模型與線性代數相比像是抽象代數，因為群對形狀的作用不線性。這是對線性代數經典模型的推廣，有限維 mathbb Rn 向量推廣為有限維解剖子流形（點、線、面、體）及其影像，線性代數的 n times n 維矩陣推廣為基於線性與仿射變換和更一般的高維微分同胚群的座標變換。 形狀與形式 中心物件是計算解剖學中的形狀或形式，如 mathbb R3 的 0、1、2、3 維子流形，或由 MRI 及 fMRI 等醫學成像技術生成的影像。0 維流形是基準點；1 維流形是腦溝回之類的曲線；2 維流形對應解剖子結構的邊界，如中腦皮質下結構或新皮質迴旋面；子體對應於人體的子區域，如心臟、丘腦、腎臟等。 基準點 X doteq x_1dotsx_n subset mathbb R3 in mathcal M 是無其他結構的點集。 子流形，如面 X subset mathbb R3 in mathcal M 是區域性表或浸入 mU subset mathbb R12 rightarrow mathbb R3 ，m u u in U 引數化建模的點集（見圖中顯示的網格面形狀）。 MRI 或 DTI 影像等 I in mathcal M，是稠密函式 I x x in X subset mathbb R123 是標量、向量與矩陣（見顯示標量圖的影像）。 群與群作用 隨著線性代數作為機械工程、電氣工程與應用數學中分析訊號與系統的基本模型逐漸普及，群和群作用已為工程界所熟悉。線性代數的核心結構是矩陣群（可逆），對 n 階方陣 A 的群作用通常定義為 n times 1 向量；線性代數中的軌道是 yA cdot x in mathbb Rn 給出的 n 個向量之集，其是透過 mathbb Rn 的軌道的矩陣的群作用。 計算解剖學中，定義在 mathbb R3 的體上的中心群是微分同胚 mathcal G doteq Diff，具有 3 分量對映 phi cdotphi_1 cdotphi_2 cdotphi_3 cdot、函式複合律 phi circ phiprime cdotdoteq phi phiprime cdot 、逆 phi circ phi1cdotphi phi1cdotid。 最常用的是標量影像 I xx in mathbb R3，透過逆作用於右側。 phi cdot I xI circ phi1 x x in mathbb R3 對子流形 X subset mathbb R3 in mathcal M ，引數化為圖或浸入 m u u in U ，微分同胚作用流的位置 phi cdot m u doteq phicirc m u u in U 生成微分同胚的拉格朗日流和尤拉流 在剛體運動學研究中，低維矩陣李群一直是研究的重點。矩陣群是低維對映，是提供了座標系間一一對應的微分同胚，且具有光滑的逆。旋轉與標量的矩陣群可從閉形式的有限維矩陣生成，後者是簡單常微分方程的解，由矩陣指數給出。 在研究計算解剖學中的可變形形狀時，選擇了更一般的微分同胚群，是到無限維的類推。計算解剖學用到的高維微分同胚群從滿足拉格朗日與尤拉流場規範的光滑流 phi_t t in 01 生成，滿足常微分方程： v doteq v_1v_2v_3 是 mathbb R3 上的向量場，稱為粒子在流的位置 phi 處的尤拉速度。向量場是函式空間中的函式，被模擬為高維光滑希爾伯特空間；流的雅各比量 Dphi doteq frac partial phi_ipartial x_j 也是函式空間中的高維場，而非矩陣群中的低維矩陣。流首先作為影像匹配中的大變形被引入；dot phi_t x 是粒子 x 在 t 時刻的瞬時速度。 群所需的逆 phi_t1 t in 01 定義在具有平逆流的歐拉向量場上 計算解剖學的微分同胚群 微分同胚群特別大。為確保微分同胚的光滑流，避免逆出現類衝激的解，向量場必須在空間中至少 1 階連續可微。P Dupuis U Grenander MI Miller Existence of Solutions on Flows of Diffeomorphisms Quarterly of Applied Math 1997 A Trouvé Action de groupe de dimension infinie et reconnaissance de formes C R Acad Sci Paris Sér I Math 321 81031 1034 1995 對 mathbb R3 上的微分同胚，向量場被模擬為希爾伯特空間 V cdot _V 的元素，可用索博列夫嵌入定理實現，使元素都有嚴格大於 2 的廣義平方可積空間導數（因此 v_i in H_03 i123 即可），從而得到一次連續可微函式。 微分同胚群是向量場在索博列夫範數下絕對可積的流： 其中 v_V2 doteq int_X Avcdot v dx v in V 線性運算 A 對映到對偶空間 A V mapsto V，當 Av in V 是對偶空間中的廣義函式時，用分部積分法計算積分。 微分同胚度量：形狀與形式的度量空間 微分同胚群與流形、面間度量的研究一直是很重要的研究領域。微分同胚度量描述了兩個圖形或影像的間距；度量長度是將座標系代入另一座標系的流的最短長度。 通常，我們熟悉的歐氏度量不適用，因為形狀與形式的模式不構成向量空間。在計算解剖學的黎曼軌道模型中，作用於形式 phi cdot m in mathcal M phi in Diff_V m in mathcal M 的微分同胚並不線性。定義度量的方法有很多，對與形狀有關的集合可用豪斯多夫度量。我們用來誘導黎曼度量的方法是透過定義流的微分同胚座標系變換間的度量長度，來誘導形狀軌道上的度量。測量形狀軌道中座標系間的測地流長度，稱為微分同胚度量。 微分同胚上的右不變度量 定義微分同胚群上的距離 這是微分同胚的右不變度量，由於 forall phi in Diff_V d_Diff_Vpsi varphid_Diff_Vpsi circ phi varphi circ phi 所以空間的重引數化是不變的。 形狀和形式的度量 關於形狀和形式的距離， d_mathcal Mmathcal M times mathcal Mrightarrow R ， 影像用軌道表示為 I in mathcal I 及度量，d_mathcal I 。 微分同胚流上哈密頓原理的作用積分 經典力學中，物理系統的演化由與哈密頓原理的最小作用量原理相關的尤拉 拉格朗日方程描述。例如，這是獲得自由粒子牛頓運動定律的標準方法；更廣泛地說，尤拉 拉格朗日方程可用於廣義座標。計算解剖學中的尤拉 拉格朗日方程描述了微分同胚度量座標系間的測地最短路徑流，廣義座標是微分同胚的流，其拉格朗日速度 phi dot phi，兩者透過拉格朗日速度 v doteq dot phi circ phi1 相關聯。 生成尤拉 拉格朗日方程的哈密頓原理要求拉格朗日量上的作用積分為 拉格朗日量由動能給出： 另見 計算神經科學 參考文獻 Category 幾何學 Category 流體力學 Category 神經科學 Category 神經工程 Category 生物醫學工程 Category 計算科學