04검증 결과

검증된 모델과, 각각을 무엇으로 확인했는지

대체로 성숙도 순입니다. 아래의 모든 주장은 어떤 실험 또는 데이터셋으로 검증했는지를 함께 밝힙니다.

주력 모델

Virtual E. coli

K-12 MG1655
무엇을 보여주는가

하나로 통합된 속도론 시뮬레이션입니다. 모든 프로세스가 실제 속도 상수를 갖고, 성장률은 단백질 축적에서 창발합니다. 생화학과 효소 속도론에서 제1원리로 구축했습니다. 약 40,000개의 반응·프로세스, 전장 유전체에서 발현되는 4,403개 유전자를 담고 있습니다.

무엇으로 검증했는가

CRISPRi thyA 녹다운/녹아웃으로 Otto et al. 2024, Cell Systems의 상위성(epistasis) 실험 설계를 재현했습니다. 2026년 8월 실제 실행에서 15회 연속 배가, 1 → 32,768 세포를 기록했습니다. 조건별 멀티오믹스를 포함한 더 넓은 검증은 진행 중이며 아직 완료되지 않았습니다.

Virtual A. baumannii

야생형 + 다제내성
무엇을 보여주는가

E. coli 레퍼런스에서 파생했습니다. 유전적·화학적으로 섭동할 수 있으며, 시뮬레이션 배가 시간은 약 39분입니다(문헌값 약 40분).

무엇으로 검증했는가

항생제 4종에 대한 EUCAST 용량-반응. 이미페넴이 야생형에는 유효하고 다제내성주에는 무효하며, 설박탐 + 둘로박탐이 다제내성주의 증식을 억제한다고 예측했습니다.

그 외

같은 플랫폼에서 나온 여섯 모델

두 주력 모델 외에, 같은 스택으로 다음을 만들었습니다.

01

이상지질혈증 / 스타틴 PBPK-PD

일주기 리듬을 반영해 마우스 투여 결과를 사람으로 번역하고, 저녁 투여와 아침 투여의 차이를 예측합니다.

02

HIV-1 + T세포 인터페론 반응

36개 변수 모델을 발표 논문에서 약 20분 만에 이식하고, Sazonov et al. 2022, Viruses의 IFNε 3개 조건으로 검증했습니다.

03

PURE 무세포 번역계

Matsuura et al. 2017, PNAS Fig. 2B와 일치하도록 재구성했습니다.

04

SARS-CoV-2

바이러스 복제, 숙주 면역 반응, 개입 효과를 하나의 모델에 담았습니다.

05

가상 면역계

다중 스케일, 개발 중입니다. 고령 암 환자의 면역치료·CAR-T 반응과 독성 예측을 목표로 합니다.

06

오픈소스 PBPK 이식

PK-Sim / OSP Suite의 마우스·사람 모델을 약 20분 만에 가져왔습니다.