复现 Hargraves & Paris 1987：用非线性规划和配点法做轨迹优化
复现经典论文 Direct Trajectory Optimization Using Nonlinear Programming and Collocation：实现三次 Hermite 状态插值、控制线性插值、中心点配点缺陷，并用 brachistochrone 解析解验证数值收敛。
论文复现
复现 Koon et al. 2000: CR3BP 中的异宿连接与共振跃迁
完整复现 Koon, Lo, Marsden, Ross 2000 年 Chaos 论文——在圆形限制性三体问题中，通过 Poincaré 截面证明 L1↔L2 异宿连接和同宿连接的存在。包含 Sun-Earth、Earth-Moon、Sun-Jupiter 三个系统的数值验证。