• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.1085-1087
• /
• 2015

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

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2022년도 추계학술대회
• /
• pp.268-270
• /
• 2022

자율운항선박의 관리 및 운영에 필요한 선대 자산관리플랫폼, 영상기반 선박 상태검사기술, 안전운항지원 6종 서비스에 대한 기술개발 논문이다.

• 정보화사회
• /
• 통권6호
• /
• pp.50-55
• /
• 1988

• 물과 미래
• /
• 제13권2호
• /
• pp.14-17
• /
• 1980

• 대학교육
• /
• 통권184호
• /
• pp.66-73
• /
• 2014

• 출판저널
• /
• 통권323호
• /
• pp.14-14
• /
• 2002

• 대학교육
• /
• 통권42호
• /
• pp.20-26
• /
• 1989

• 월간 닭고기
• /
• 제2권8호통권14호
• /
• pp.1-1
• /
• 1996

• 종축개량
• /
• 제12권4호통권74호
• /
• pp.26-28
• /
• 2007

• 월간양계
• /
• 제34권1호통권387호
• /
• pp.66-67
• /
• 2002