보덴호수의 주요 동결 발생을 위한 확률적 점 과정 모델 | Synapse