고강도 원형 가속기에 대한 빔 인벨롭 불안정성 모델링 | Synapse