해양 데이터 동화를 위한 근사 카이만 필터: 이상화된 걸프 스트림 모델 예제 | Synapse