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

한국정보처리학회 (Korea Information Processing Society)
권호 표지
DOI QR코드

DOI QR Code

민방위 경보음의 정형 명세에 관한 연구

A Study on the Formal Specification of Civil Defense Alarm

  • 오혜윤 (경기대학교 컴퓨터과학과) ;
  • 정선일 (경기대학교 컴퓨터과학과) ;
  • 권기현 (경기대학교 컴퓨터과학과)
  • Oh, Hye-Yoon (Dept. of Computer Science, Kyonggi University) ;
  • Jung, Sun-il (Dept. of Computer Science, Kyonggi University) ;
  • Kwon, Gihwon (Dept. of Computer Science, Kyonggi University)
  • 발행 : 2015.10.28
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 논문에서는 신호 시제 논리 명세를 통하여 민방위 경보음을 정형적으로 명세한다. 논리를 기반으로 한 정형 명세는 비정형 명세에 비하여 분명하고, 간결하며, 기계처리가 가능한 이점을 제공한다. 민방위 경보음에 대한 시간의 흐름에 따른 주파수의 변화를 그래프로 그린 후에 이를 신호시제 논리로 명세하고자 한다.

키워드

과제정보

연구 과제 주관 기관 : 정보통신기술진흥센터