• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1085-1087
• /
• 2015

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

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.268-270
• /
• 2022

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

• 정보화사회
• /
• s.6
• /
• pp.50-55
• /
• 1988

• Water for future
• /
• v.13 no.2
• /
• pp.14-17
• /
• 1980

• 대학교육
• /
• s.184
• /
• pp.66-73
• /
• 2014

• The Korean Publising Journal, Monthly
• /
• s.323
• /
• pp.14-14
• /
• 2002

• 대학교육
• /
• s.42
• /
• pp.20-26
• /
• 1989

• Monthly Korean Chicken
• /
• v.2 no.8 s.14
• /
• pp.1-1
• /
• 1996

• 종축개량
• /
• v.12 no.4 s.74
• /
• pp.26-28
• /
• 2007

• KOREAN POULTRY JOURNAL
• /
• v.34 no.1 s.387
• /
• pp.66-67
• /
• 2002