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

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

DOI QR Code

Development of PureTone Generator with STL

신호 시제 논리를 사용한 순음 생성기 개발

  • 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

본 논문에서는 신호 시제 논리를 이용하여 순음 생성 시스템을 개발한다. 일반적으로 많이 알려지고 널리 쓰이는 시제 논리는 선형 시제 논리이다. 그러나, 선형 시제 논리로는 다양한 실수 값과 정량적인 시간을 다루지 못하는 문제점이 있다. 그러므로, 본 논문에서는 신호 시제 논리를 이용하여 이러한 문제점을 극복하고, 선형 시제 논리로는 어려웠던 순음 발생기를 신호 시제 논리를 사용하여 개발한다.

Keywords