STRIKE GOLDD 4.0 구조적 식별성 및 관측성 분석을 위한 사용자 친화적 고속 툴

초록

STRIKE‑GOLDD 4.0은 비선형·비유리 ODE 모델과 알려지지 않은 입력을 포함한 시스템에 대해 구조적 식별성(identifiability)과 관측성(observability)을 검증하는 MATLAB 기반 툴이다. 새롭게 도입된 ProbObsTest 알고리즘은 기존 FISPO에 비해 합리식(rational) 모델에 대해 연산 속도를 크게 향상시켰으며, 그래픽 사용자 인터페이스(GUI)를 제공해 비전문가도 손쉽게 사용할 수 있다.

상세 분석

본 논문은 구조적 식별성 및 관측성 분석 도구인 STRIKE‑GOLDD의 최신 버전 4.0을 소개한다. 기존 버전은 비유리(non‑rational) 모델과 미지 입력(unknown inputs)을 다룰 수 있는 범용성을 갖추었지만, 합리식(rational) 모델에 대해서는 계산 효율성이 떨어지는 한계가 있었다. 이를 극복하기 위해 저자들은 두 가지 핵심 개선을 제시한다. 첫 번째는 ProbObsTest 알고리즘의 구현이다. ProbObsTest는 Sedoglavic(2002)의 확률적 관측성 테스트를 확장하여, 모델 파라미터와 상태를 무작위 정수값으로 치환한 뒤 관측성 행렬의 계수를 수치적으로 계산한다. 이 과정에서 Lie 도함수의 기호적 전개를 회피하고, 대신 파워 시리즈 전개를 이용해 행렬 원소를 빠르게 얻는다. 무작위 치환이 충분히 일반성을 보장한다는 확률적 근거 하에, 행렬의 수치적 랭크를 평가함으로써 구조적 식별성/관측성을 판단한다. 두 번째 개선은 GUI 기반 MATLAB 앱의 제공이다. 사용자는 드롭다운 메뉴와 옵션 창을 통해 분석 알고리즘(FISPO, ORC‑DF, ProbObsTest)과 모델 파일을 선택하고, 실행 결과를 즉시 시각화할 수 있다.

알고리즘적 측면에서 ProbObsTest는 특히 파라미터 수가 수백에 달하는 대규모 모델(예: CHO 세포 모델, 117개 파라미터)에서 FISPO가 메모리·시간 제한에 걸려 실패하는 경우에도 성공적으로 분석을 수행한다. 실험 결과 22개의 사례 모델에 대해 계산 시간을 비교했을 때, 복잡도가 낮은 모델(1‑10번)에서는 약간의 속도 저하가 있었지만, 복잡도가 높은 모델(11‑22번)에서는 평균 3배 이상, 최악의 경우 10배 이상의 속도 향상을 보였다. 또한 ProbObsTest는 비유리 모델 중 로그·삼각함수·비정수 지수 형태를 자동으로 유리식으로 변환하는 전처리 기능을 포함한다. 이는 기존에 비유리 모델을 다루기 위해 별도 변환 과정을 거쳐야 했던 불편함을 크게 감소시킨다.

이와 같은 기능적·알고리즘적 개선은 STRIKE‑GOLDD를 구조적 식별성·관측성 분야에서 가장 범용적이면서도 실용적인 도구로 만든다. FISPO는 비유리·미지 입력 모델을 포괄적으로 지원하고, ProbObsTest는 합리식 모델에 대해 고속 분석을 제공한다. 두 알고리즘을 동일 툴 안에서 선택적으로 사용할 수 있다는 점은 사용자가 모델 특성에 맞춰 최적의 방법을 선택하도록 허용한다. 또한 GUI는 MATLAB 스크립트 기반 사용에 익숙하지 않은 생물학자·공학자에게 접근성을 크게 높인다.

한편, 논문은 알고리즘의 수학적 배경을 부록에 상세히 기술하고, 22개의 벤치마크 사례와 기존 도구(DAISY, COMBOS, GenSSI, SIAN 등)와의 비교 결과를 제시한다. 특히 ProbObsTest와 Sedoglavic의 ObservabilityTest를 동일 모델에 적용했을 때, 정확도는 동일하지만 실행 시간에서 현저한 차이를 보였다. 이는 확률적 접근법이 기호 연산에 비해 실제 대규모 시스템에 더 적합함을 실증한다.

요약하면, STRIKE‑GOLDD 4.0은 (1) 비유리·미지 입력을 포함한 일반 비선형 ODE 모델에 대한 포괄적 분석, (2) 합리식 모델에 대한 고속 확률적 분석, (3) 직관적인 GUI 제공이라는 세 축을 통해 기존 도구들의 장점을 통합하고 단점을 보완하였다. 이러한 특성은 시스템 생물학, 약동학·약력학, 제어공학 등 다양한 분야에서 모델 검증·설계 단계의 효율성을 크게 향상시킬 것으로 기대된다.