Caramel LabCaramel Lab
#

모델 검증

1의 한국어 분석 — 최신순으로 정렬했어요

컴퓨터 과학발표 2026.08· 0

통합 모니터링 시스템으로 독립 생활 지원

본 연구는 통제된 가정 환경에서 일상 행동을 검증하고 생리적 이상을 감지하는 다중 센서 활동 모니터링 시스템을 제안한다. 독립 생활 환경(1인 가구)에 최적화된 이 시스템은 7명의 참여자를 대상으로 일상생활 활동(ADL) 스크립트에 따라 개념 증명 평가를 수행했다. 이 과정에서 순차적이고 비동시적인 활동을 통해 센서 간 중첩을 배제하고 단일 참여자 조건에서 데이터를 수집했다. 시스템은 생리적 수분 공급 수준 및 호흡률을 측정하는 센서와 카메라, 접촉, 동작, 압력 센서를 활용하여 활동 유발 이벤트를 포착한다. 수집된 센서 데이터는 시간 순서대로 정렬된 이벤트 추적으로 변환되며, 통제된 환경의 레이아웃과 이벤트 추적을 모델링한다. 예상되는 행동은 선형 시제 논리(LTL)로 인코딩된 속성으로 정의되며, 모델 검증(model checking)을 통해 센서로 포착된 이벤트가 이러한 기대치와 일치하는지 평가한다. 모델 검증 결과, 예상 행동과의 편차를 식별함으로써 ADL 검증에 모델 검증이 효과적으로 적용될 수 있음을 입증했다. 또한, 교차 센서 데이터 통합은 간헐적인 센서 부정확성을 보완하여 시스템의 신뢰성을 높였다. 이러한 초기 결과는 시스템이 독립 생활자의 행동 및 생리적 모니터링에 활용될 잠재력을 강력히 시사한다. 정확하고 비침습적인 모니터링이 중요한 환경에서 본 시스템은 독립 생활자의 자율성을 증진하고 돌봄의 질을 향상시키는 데 기여할 수 있다.

연구 트렌드로 돌아가기