잔여생성 제약을 고려한 그래프 기반 구조적 진단 프레임워크

본 논문은 모델 기반 결함 진단에서 구조적 과잉결정성을 이용한 잔여 생성 방법이 실제 구현 시 마주치는 계산적 제약을 정형화하고, 이를 그래프 이론을 통해 분석하는 통합 프레임워크를 제시한다. 첫 번째 섹션에서는 기존 연구들을 개관한다. PSO(Proper Structurally Overdetermined)와 MSO(Minimal Structurally Overdetermined) 집합, 그리고 TES(Test Equation Support)와 MTES(Minimal TES) 개념이 소개되며, 이들 개념이 구조적 중복성을 활용해 진단 테스트를 설계하는 데 사용되어 왔음을 설명한다. 그러나 기존 방법은 잔여를 실제로 생성할 때 필요한 연산(예: 행 연산, 변수 대입)의 제약을 고려하지 않았다는 한계가 있다. 두 번째 섹션에서는 그래프 이론적 배경을 제시한다. 방정식 집합 \(M\)과 변수 집합 \(X\)를 이분 그래프 형태로 모델링하고, Dulmage–Mendelsohn(DM) 분해를 통해 과잉결정(\(M^{+}\)), 정확히 결정(\(M^{0}\)), 과소결정(\(M^{-}\)) 부분을 구분한다. 구조적 가역성(invertibility) 개념을 도입해, 거의 모든 수치 행렬이 해당 패턴을 가질 경우 역행렬이 존재함을 설명한다. 세 번째 섹션에서는 논문의 핵심 정의들을 제시한다. - **구조적으로 테스트 가능한(Structurally testable) PSO 집합**: 주어진 잔여 생성 방법이 허용하는 연산 규칙을 만족하는 PSO 집합. - **연산자 \(M^{*}\)**: 임의의 방정식 집합 \(M\)에 대해 가장 큰 테스트 가능한 PSO 부분집합을 반환한다. 이는 기존의 \(M^{+}\) 연산을 일반화한 것으로, 변수 해석 가능성까지 고려한다. - **잔여생성 집합(RG set)**: 특정 결함 서명 \(F\)에 대해 \(M^{*}\)가 반환하는 가장 큰 테스트 가능한 PSO 집합. 이 집합을 이용해 만든 잔여는 정확히 \(F\)에 포함된 결함에만 민감하도록 설계된다. - **불가약 결함 서명(Irreducible Fault Signature, IFS)**와 **불가약 RG(IRG) 집합**: 결함 서명들의 집합 합(조인) 구조에서 더 이상 분해되지 않는 최소 원소들을 의미한다. 다음으로, **Lemma 1**을 통해 주어진 결함 서명에 대해 유일한 최대 테스트 가능한 PSO 집합이 존재함을 증명한다. 이를 기반으로 **Definition 6**에서 RG 집합을 정의하고, **Definition 7·8**을 통해 구조적 결함 검출성과 다중 결함 구분성을 \(M^{*}\) 기반으로 재정의한다. 그 후, 기존 TES와 MTES가 형성하는 부분 순서 집합과 마찬가지로, 모든 RG 집합도 포함 관계에 따라 부분 순서 집합을 이룬다. 그러나 RG 집합은 최소(MSO)일 필요가 없으며, 더 큰 집합이 더 높은 신호대잡음비를 제공할 수 있음을 예시(선형 방정식 집합 (1))를 통해 보여준다. **Definition 10**에서 불가약 결함 서명과 IRG 집합을 도입하고, **Theorem 1**을 통해 RG 집합과 결함 서명 사이의 일대일 대응, 그리고 모든 결함 서명이 불가약 서명들의 합으로 표현될 수 있음을 증명한다. 이는 조인-세미라티스 구조에서 조인-불가약 원소가 차지하는 역할과 일치한다. 알고리즘 섹션에서는 기존 MTES 알고리즘을 \(M^{*}\) 연산으로 대체한 절차를 제시한다. 주요 차이점은 (1) 방정식 제거·추가 시마다 테스트 가능성을 재검증해야 함, (2) 과잉결정 부분을 찾는 기준이 구조적 가역성이 아니라 ‘테스트 가능성’으로 바뀐 점, (3) 최종 RG 집합이 반드시 최소가 아니어도 된다는 점이다. 알고리즘은 모든 RG 집합을 열거하고, 그에 대응하는 불가약 결함 서명을 추출한다. 마지막으로, 반정형 선형 DAE 모델을 사례로 들어 구조적 미분 지수(Structural Differential Index)를 이용해 \(M^{*}\)를 구현한다. 낮은 지수는 변수들을 순차적으로 해석 가능함을 보장하므로, 실제 시스템(예: 전력망, 화학 공정)에서 비가역적 서브시스템이 존재하더라도 적용 가능함을 시사한다. 결론적으로, 본 연구는 구조적 진단 이론에 계산 제약을 정형화함으로써, 실제 엔지니어링 시스템에서 사용 가능한 잔여 생성 방식을 설계·평가하는 새로운 도구를 제공한다. 기존 MTES 기반 분석을 일반화하고, 조인-세미라티스 관점에서 불가약 결함 서명을 도입함으로써 다중 결함 구분성을 완전하게 기술한다.