부울 기반 마르코프 프로세스와 가변 기상 조건을 활용한 스마트 그리드 신뢰성 평가 | Synapse