단일 이진 변수 기반 발전기 가동 스케줄링의 다면체 연구

본 논문은 전력 시스템 운영자가 비용을 최소화하기 위해 매일 반복적으로 해결해야 하는 발전기 가동(UC) 문제를 다루며, 특히 이진 변수의 종류를 최소화하는 모델링 접근법에 초점을 맞춘다. 서론에서는 최근 기후 변화와 석탄 발전소 퇴출 등으로 전력 수요와 공급 구조가 급변하고 있음을 언급하고, UC 문제의 NP‑hard 특성 및 기존 연구에서 두세 종류의 이진 변수를 도입해 온 배경을 설명한다. 기존 3‑binary(온‑오프, 시작, 정지) 혹은 2‑binary(온‑오프와 시작) 모델은 물리적 제약을 명확히 표현하고 LP 완화도를 높이는 장점이 있지만, 변수 수와 제약식이 늘어나 탐색 트리 규모가 커지는 단점이 있다. 반면, 단일 이진 변수만을 사용하는 모델은 변수 수가 적어 컴팩트하지만, 시작·정지 전환을 직접 표현하지 못해 LP 완화가 약해지는 문제가 있다. 이에 저자들은 단일 이진 변수 집합 \(y_t\) (시간 t에서 발전기 가동 여부)만을 사용하면서도 물리적 제약을 충분히 포착할 수 있는 새로운 수학적 모델을 제시한다. 기본 모델에는 발전량 연속 변수 \(p_t\), 최소 가동·정지 시간, 발전량 상한·하한, 램프 제한, 그리고 시스템 제약(수요, 예비력, 전송 흐름) 등이 포함된다. 특히, 시작·정지 비용은 연속 변수와 선형 제약을 통해 근사한다. 모델의 LP 완화도를 강화하기 위해 저자들은 다면체 연구 기법을 적용해 여러 종류의 강력한 유효 부등식(facet‑defining inequalities)을 도출한다. 주요 부등식은 다음과 같다. 1. **업‑셋 부등식**: 일정 구간 내에서 최소 가동 시간을 만족하도록 온‑오프 변수의 합을 제한한다. 2. **인터벌 업‑셋 부등식**: 두 구간 사이의 전이(시작·정지) 비용을 고려해, 구간 경계에서의 온‑오프 변수 변화를 제한한다. 3. **램프‑제한 강화 부등식**: 연속적인 발전량 변화와 온‑오프 변수의 관계를 결합해, 램프 제한을 보다 강하게 표현한다. 4. **시스템 제약 연계 부등식**: 전력 흐름 및 수요 균형을 온‑오프 변수와 연결, 특정 시간대에 과도한 가동이 발생하지 않도록 한다. 각 부등식에 대해 저자들은 충분조건을 제시하고, 해당 부등식이 단일 발전기 폴리토프의 면을 정의함을 증명한다. 특히, 최소 가동·정지 시간 파라미터와 램프 한계가 특정 관계를 만족할 때 면 정의가 성립한다는 정리를 제시한다. 부등식의 수가 지수적으로 늘어날 수 있기 때문에, 저자들은 **다항 시간 분리 알고리즘**을 설계한다. 이 알고리즘은 현재 LP 해의 온‑오프 변수 패턴을 분석해, 위반 가능성이 높은 구간을 빠르게 식별하고, 해당 구간에 대한 가장 위반된 부등식만을 생성한다. 이를 통해 브랜치‑앤‑컷 과정에서 부등식 추가에 드는 계산 비용을 최소화한다. 실험 부분에서는 IEEE 30‑bus, 118‑bus 등 실제 전력망 데이터를 기반으로 한 네트워크 제약 UC 인스턴스를 사용한다. 비교 대상은 전통적인 3‑binary 모델과 기존의 단일 이진 모델(Lee et al., 2004)이다. 실험 결과는 다음과 같다. - **LP 하한 개선**: 제안 모델은 기본 단일 이진 모델 대비 평균 12% 이상의 LP 하한 향상을 보였다. - **브랜치 트리 규모 감소**: 강화된 LP 경계 덕분에 평균 노드 수가 35% 감소하였다. - **전체 해결 시간**: 전체 MILP 해결 시간이 평균 28% 단축되었으며, 특히 대규모(≥48시간, ≥200발전기) 인스턴스에서 효과가 두드러졌다. - **메모리 사용량**: 변수 수가 적어 메모리 사용량이 기존 3‑binary 모델 대비 20% 이하로 감소하였다. 결론에서는 단일 이진 변수만으로도 충분히 강력한 폴리토프를 구성할 수 있음을 강조하고, 제시된 부등식과 분리 알고리즘이 실제 전력 시스템 운영에 적용 가능함을 시사한다. 향후 연구 과제로는 다발전기 시스템에 대한 다면체 확장, 재생에너지 변동성 및 불확실성 모델링, 그리고 실시간 운영 환경에서의 동적 분리 기법 개발을 제안한다.