Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2015.10a
  • /
  • Pages.1085-1087
  • /
  • 2015
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Formal Specification of ECG Signal

심전도 신호의 정형 명세

  • Kwon, Hyeokju (Dept. of Computer Science, Kyonggi University) ;
  • Kwon, Hyuck (Dept. of Computer Science, Kyonggi University) ;
  • Kwon, Gihwon (Dept. of Computer Science, Kyonggi University)
  • 권혁주 (경기대학교 컴퓨터과학과) ;
  • 권혁 (경기대학교 컴퓨터과학과) ;
  • 권기현 (경기대학교 컴퓨터과학과)
  • Published : 2015.10.28
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문에서는 심장의 전기활성도를 반영하는 ECG 신호 중 일부를 명세한다. 꾸준히 축적되었고 통용되는 ECG 신호의 비정형 명세를 정형 명세로 바꾸는 과정에서 선형 시제 논리보다 시간을 다루는 명세 및 양적 평가에 유리한 신호 시제 논리(Signal Temporal Logic)를 사용한다. ECG 신호를 감지했다는 가정하에 특징점을 추상화하여 신호를 맹세했고, 양적으로 평가해주는 모델 기발 실시간 ECG 모니터링 시스템의 신속한 개발 필요성을 제시한다.

Keywords

Acknowledgement

Supported by : 정보통신기술진흥센터