SciML/Catalyst.jl

解決的問題

Catalyst.jl 提供了一個高性能的符號建模與模擬框架，用於化學反應網絡（CRNs）及相關動態系統。它簡化了複雜生物或化學系統的指定過程，讓研究人員能從反應的高階描述直接轉換為可執行的模擬，無需手動推導底層微分方程。

工作原理

該套件使用領域特定語言（DSL）或程式化建構來定義反應系統。它利用 ModelingToolkitBase.jl 和 Symbolics.jl 進行符號計算，進而實現高效的雅可比矩陣建構、稀疏性利用與依賴圖分析。僅需一個 ReactionSystem 定義，即可產生多種模擬類型，包括常微分方程（ODE）、隨機微分方程（SDE）與跳躍過程（隨機化學動力學）。

適用對象

專為從事動態系統的科學家與工程師設計，特別是那些建模化學反應網絡、系統生物學及相關領域，需要高效率模擬與分析的使用者。

主要特色

• 靈活的模擬類型：從單一模型定義支援 ODE、穩態 ODE、SDE 與跳躍模擬。
• 組合式建模：支援使用元件與擴充進行階層式建模。
• 混合模型：可在單一系統中混合使用 ODE、SDE 與跳躍反應。
• 符號運算強大：利用符號運算實現最佳化效能，並與更廣泛的 SciML 生態系統整合，支援敏感度分析與參數估計。
• 高階耦合：可將反應與外部雜訊（布朗運動與泊松過程）及離散事件耦合。
• 空間建模：支援在離散空間域上模擬反應網絡。