• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (B)
• /
• pp.397-399
• /
• 2006

모나드의 일반화 버전인 애로우(Arrow)는 모나드에 비해 효율적이며, 프로그램 합성을 위한 직관적인 인터페이스를 제공한다. 여러 프로그램을 합성할 때 합성된 전체 프로그램의 오류 처리는 매우 중요한 문제이다. 각각의 프로그램에서 오류 처리를 일일이 기술하는 것은 매우 번거로우며 비효율적인 작업이기 때문이다. 본 논문에서는 애로우 인터페이스를 이용하는 프로그램을 합성할 때 효율적으로 오류를 처리하기 위한 방법을 제시한다. 모든 애로우 타입에 대하여 오류를 처리하기 위해 새로운 애로우를 정의하며 이를 프로그램 합성 단위로 이용하여 전체적인 프로그램의 오류를 처리한다. 또한 애로우를 이용한 타입 검사 프로그램을 통하여, 논문에서 제시한 오류 처리 기법을 적용하여 효율성을 평가한다.

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

본 논문에서는 사진 및 영상을 편집, 합성할 수 있는 프로그램을 구현하였다. 구현한 프로그램은 영상 합성하는 과정에서 색체와 단색 배경을 분리하여 새로운 영상을 합성시키는 크로마 키(Chroma key)기법을 이용하여 영상을 합성하는 기능을 구현하였으며, 실시간 영상을 합성과 영상 편집 기능 등을 추가하여 사용하기 편리하게 구현하였다. 기존의 영상을 합성하는 프로그램들은 고가이며, 전문 사용자 위주로 제작되었다. 본 논문에서 구현한 프로그램은 일반 사용자를 위한 쉽고 간단하면서 다양한 기능을 제공하고 있다.

• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.986-991
• /
• 2017

본 논문에서는 주어진 입 출력 예제로부터 명령형 프로그램을 합성하는 방법을 제시한다. 프로그램 합성기의 입력으로 (1) 입 출력 예제, (2) 불완전한 프로그램, (3) 사용될 변수 및 정수가 주어지면, 합성기는 주어진 입 출력 예제를 모두 만족하는 완성된 프로그램을 출력한다. 기본 알고리즘은 정답 프로그램을 찾을 때까지, 가능한 모든 프로그램을 나열하는 것이다(enumerative search). 이 경우 탐색 공간이 매우 크므로 오랜 시간이 걸린다는 문제점이 있다. 시간을 효과적으로 단축하기 위한 우리의 방법은, 코드 최적화 기법을 이용해 문법은 다르지만 같은 의미의 프로그램들을 확인함으로써, 불필요한 중복탐색을 피하는 것이다. 20개의 입문자 교육용 프로그래밍 문제들을 대상으로 합성 알고리즘 성능을 평가한 결과, 우리의 방법이 기본 탐색 알고리즘의 성능을 약 10배 향상시킴을 확인하였다.

• 화약ㆍ발파
• /
• 제27권1호
• /
• pp.38-46
• /
• 2009

최근 진동 소음을 저감하는 공법으로 초시의 정확성과 초시부여의 자율성을 가진 전자뇌관을 이용하는 공법(OBM ; Orechestra Blasting)이 소개되었다. 파형합성프로그램은 전자뇌관의 지연초시를 결정할 수 있으며 결정된 초시를 이용하여 실 발파와 유사한 환경에서의 시뮬레이션을 수행, 최적초시 상태의 진동 속도를 예측할 수 있다. 본 연구에서는 파형합성프로그램을 통해 진동을 제어하는 최적초시를 얻고 실제 발파작업 시의 진동치를 예측하고자 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제18권11호
• /
• pp.51-58
• /
• 2013

최근 스마트폰 카메라의 성능은 디지털 카메라 못지않게 발전하고 있다. 이에 따라 점점 더 많은 사람들이 사진촬영을 하게 되고, 사진 관련 어플리케이션에 대한 관심은 꾸준히 증가하고 있다. 하지만 현재 나와 있는 사진 합성 프로그램은 여러 장의 사진을 배치하는 방법, 기존 이미지를 플러그인 이미지에 포개는 방법 등으로 단순한 합성 프로그램에 머물러 있는 실정이다. 본 논문에서 제안하는 모델은 얼굴 표정에서 추출한 감정을 기반으로 이에 맞는 배경을 합성하고 효과 필터를 적용하여 기존 사진 합성 프로그램보다 다양한 분야에서 활용할 수 있는 확장성을 가진 기법을 제시하였다.

• 대한음성언어의학회:학술대회논문집
• /
• 대한음성언어의학회 2001년도 제15회 학술대회
• /
• pp.168-168
• /
• 2001

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1919-1928
• /
• 1999

기존의 속도 독립 회로 합성 시스템에서 사용되는 기술 방법들은 각각 특정한 설계 양식과 합성 방법에 적합하도록 만들어졌기 때문에 표준화 된 기술 방법으로 채택되지 못하고 있다. 본 논문에서는 하드웨어 기술을 위한 표준 언어인 VHDL을 이용하여 속도 독립 회로를 기술하고 합성하는 방법을 제안한다. VHDL은 광범위한 언어이므로 본 논문에서는 속도 독립 회로의 기술과 합성에 이용될 수 있는 VHDL 부집합을 정의한다. 그리고 VHDL로 기술된 회로 명세를 신호 전이 그래프로 변환한 다음에 기존의 합성 알고리즘을 이용하여 속도 독립 회로를 합성한다. 이를 위하여 각각의 VHDL 문을 부분적인 신호 전이 그래프로 변환하고 부분적인 신호 전이 그래프들을 합병함으로써 VHDL 프로그램 신호 전니 그래프로 변환하는 세계적인 방법을 제안한다. VHDL을 이용함으로써 시뮬레이션, 테스팅 등 기존의 VHDL 기반의 다양한 설계프로그램들과 속도 독립 회로 합성 프로그램을 통합하는 프레임워크 개발이 가능하게 되고 기존의 회로 설계자들이 쉽게 비동기 회로에 접근할 수 있게 되는 장점이 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 춘계학술발표대회
• /
• pp.354-356
• /
• 2019

데이터 랭글링은 원시 데이터를 분석하기에 더 적합한 형태로 변환하는 프로세스를 말한다. 본 논문에서는 프로그램 합성 기술을 이용하여 테이블 데이터에 대하여 사용자의 의도를 만족하는 데이터 랭글링 프로그램을 자동 생성하는 방법을 제안한다. 제안하는 방법은 입/출력 테이블 예시를 명세로 받아 연산자 시퀸스를 탐색한다. 실험을 통해 제안하는 방법이 빠른 시간 안에 정확한 데이터 랭글링 프로그램을 학습할 수 있음을 보였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2013년도 제47차 동계학술대회논문집 21권1호
• /
• pp.55-58
• /
• 2013

본 논문은 실시간 개인 생방송 시스템 구현 사례를 소개한다. 본 시스템은 개인용 단말기에서 실행되면서 개인이 실시간 생방송을 할 수 있는 환경을 제공하는 클라이언트 프로그램, 클라이언트에서 웹캠코더로 제작된 영상을 참조영상, 이미지, 문자 등과 합성하여 HDMI, SDI, RTSP 출력을 제공하는 데이터 관리 프로그램, 그리고 방송스케줄 등록과 큐 쉬트(Cue Sheet) 등록 기능 및 사용자 관리 기능을 제공하는 운영관리 프로그램 등으로 구성된다. 본 시스템의 특징은 생방송 지연 시간이 1초 미만이며, 방송 영상과 배경화면을 합성하는 기능, 그리고 고화질 영상을 출력하는 기능을 제공하는 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
• /
• pp.586-589
• /
• 2006

순수 함수형 언어에서 예외처리를 구현하는 것은 매우 까다로운 문제이다. 지연계산, 참조투명성과 같은 주요 특징은 예외 처리와 상반된 성질을 가지는 때문이다. 예외의 처리순서는 계산순서와 관계가 있고, 예외의 발생순서는 참조투명성과 밀접한 관계가 있다. 본 논문은 현재 하스켈(Haskell)에서 구현된 예외처리 방법의 분석을 통해, 프로그램 수행 시 효율적인 예외처리 방법에 대해서 제시한다. 합성된 프로그램에서 예외 발생할 때 예외가 전달되는 것을 사전에 차단하는 방법을 이용한다. 실제 예외가 발생한 프로그램을 작성하고, 프로파일링을 통하여 이 방법의 효율성을 점검한다.