牛马编年史

隧道结构的内力无法直接测量，但断面变形可以。反分析要解决的正是 这个反问题：由精密测量的变形数据反推结构所受荷载与内力分布， 进而评估隧道健康状态。 软件整体按交互层、业务层、基础层、数据层组织：基础层沿用同济曙光 三维数值分析平台，其上的反分析计算模块由本人独立开发 —— 实现四种反演算法并互相比对，最终形成可交付的软件与配套技术文档。

模拟土体中拉张裂缝的萌生与扩展，传统有限元需要在每一步重新划分网格， 既慢又难保证精度。扩展有限元法通过增强形函数让裂缝独立于网格存在， 裂缝可以穿过单元自由发展。 本求解器面向地质工程，围绕地裂缝与地面沉降问题构建， 同时按数值方法框架的思路设计，便于接入不同子算法。

GeoXFEM 用 C++ 写成，Rustulation 则把同一套有限元与扩展有限元方法 用 Rust 重新实现。没有明确需求来源，只是尝试一下这个号称 C++ 继任者的语言。同时尝试借 Rust 的类型系统与 trait 机制， 把数值框架里那些隐式约定变成编译期可检验的抽象： 未知量、本构模型、时间函数、积分对象各自是明确的接口， 而不是靠基类继承和运行期约定维系。

出于团队内部科普扫盲需求，基于 Manim 库进行的有限元基础原理 可视化的开发。目的不是求解规模，而是把抽象方法讲得直观 —— 也算是一次把技术讲给别人听的能力训练。