• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권2호
• /
• pp.81-90
• /
• 2008

이진 변수의 기수 조건이란 여러 이진 변수 중에서 하나를 선택하는 것이다. 이러한 조건을 줄여서 BCC(Boolean Cardinality Constraint)라고 부른다. BCC는 소프트웨어 공학을 비롯해서 전산학의 다양한 분야에서 널리 사용되고 있다. 그래서 BCC를 CNF로 변환하는 효율적인 방법이 많이 연구되었다. 본 논문에서는 지금까지 제시된 변환 방법을 효율성과 유연성 측면에서 분석한다. 뿐만 아니라 이해하기 어려운 것으로 잘 알려진 CNF 절을 시각화하여 숨겨진 구조를 드러냄으로서 기존 분석과 차별화를 하였다. 분석 결과를 확인하기 위해서 다양한 비둘기-집 문제에 적용하였다. 그 결과 BCC를 다루는데 있어서 커멘더 변환 방법이 다른 방법보다 우수하였다.

• 한국측량학회지
• /
• 제20권4호
• /
• pp.405-413
• /
• 2002

연속지적도를 제작하기 위해서는 합리적으로 도면의 신축보정, 도곽접합, 행정구역 접합, 축척 간 접합 등을 처리할 수 있는 기준의 설정이 무엇보다 중요한 선결 과제라 할 수 있다. 본 연구는 지번부여지역단위 임의 도곽으로 작성된 임야도의 행정구역간 경계의 필지접합 및 지적임야도 접합에 2차원 비선형좌표변환방법인 사영투영과 부등각사상변환방법 및 다항식변환방법을 도입하여 행정구역 경계선상 또는 임야사정선상 굴곡점을 기준점으로 하여 2차원 좌표변환계수를 추출하고 연속지적도 작성을 위한 도면접합에 좌표변환방법의 활용을 시도하였다.

• 한국통신학회논문지
• /
• 제27권3A호
• /
• pp.231-239
• /
• 2002

본 논문은 반복적인 부호화 과정을 수행함으로써 준최적 변환 (sub-optimal transformation)을 얻을 수 있는 새로운 프랙탈 부호화 기법에 대해 기술한다. 최적 변환 (optimal transformation)은 원영상과 가장 가까운 끌개(attractor)를 생성시키는 변환으로 정의될 수 있다. 불행히도, 최적 변환을 찾는 것은 과다한 계산량으로 인해 실제적으로 불가능한 것으로 알려져 있다. 그러나, 본 논문에서는 프랙탈 변환 및 끌개에 관련된 몇 가지 새로운 정리들을 통해 특수한 경우에 대해 최적 변환을 얻을 수 있을 뿐만 아니라 좀 더 일반적인 경우에 대해서는 준최적 변환을 얻을 수 있음을 보인다. 그 정리들에 기초한 제안된 방법은 복호화 시 수행하는 반복적인 과정과 유사한 과정을 수행함으로써 준최적 변환을 얻는다. 그래서 제안된 방법은 계산량이 많아지는 단점을 가지지만 복원화질 면에서 우수한 특징을 가진다. 실제 영상에 대한 실험결과는 제안된 방법이 최적 방법에 가까우며, 기존의 방법에 비해 우수함을 입증한다.

• 한국멀티미디어학회논문지
• /
• 제3권2호
• /
• pp.174-183
• /
• 2000

시스템 수준의 프로토콜 명세를 위한 정형 기법들은 S/W 구현에 중심을 둔 반면, 성능의 향상을 위해서 프로토콜의 설계를 H/W로 구현하는 것에 대한 필요성이 증대되고 있다. 따라서, 특정한 프로토콜을 이용한 시스템의 S/W적 구현에서 H/W적 구현으로 기반 환경이 변화함에 따라 IP(Integrated Processing)기술의 도입이 필요하게 되었다. 또한, 정형 명세로부터 시작하는 H/W의 구현 방법은 정형 명세의 특성에 의해, 구현된 H/W의 정확성, 신뢰성을 보장할 수 있다. 본 논문에서는 형식기술기법중의 하나인 ESTELLE로 정형화된 프로토콜을 H/W언어인 VHDL로 변환하는 방법을 제시한다. 우선 ESTELLE 명세를 VHDL 명세로 변환하는 변환방법을 기술한다. 이는 개념적인 변환방법으로 프로토콜 명세화의 기본 단위인 computation unit과 communication unit의 동작과 H/W에서의 프로세스간 동작의 유사성 등을 비교 분석하였다. 그 후 변환 모델을 기술하고, Inres 프로토콜을 통하여 실제로 ESTELLE을 VHDL로 변환하는 예를 제시한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1993년도 추계학술대회 논문집
• /
• pp.76-78
• /
• 1993

간접적인 방법으로 가공중(In process)공구상태를 감시하기 위해, 센서신호를 분석하는 방법으로 시간영역 (Time Domain) 해석과 주파수 영역(Frequency Domain)해석이 주로 이용되어 왔다. 시간영역해석의 경우 RMS,PEak Value, 평균/분산을 이용한 정적분석과 AR 모델, ARMA 모델, Kalman Filter등 동적 시계열 모델이 연구되어 왔다. 주파수영역해석의 경우 푸리에 변환 (Fourier Transform)에 의한 신호해석 기술이 주로 이용되고 있다. 그러나 푸리에 변환된 결과에는 시간정보가 포함되어 있지 않고, 국부적인 변환결과가 전체를 대표하는 성질을 가지고 있다. 이에 비해 웨이브렛(Wavelet) 변환은 고주파성분에 대해서는 시간분해능이 높고, 저주파 성분에 대해서는 주파수분해능이 높은 다중해상도 해석기술로서 국소적인 변동점을 민검하게 검지하는 것이 가능하다. 본연구에서는 엔드밀 가공중 발생하는 공구의 파손을 검출하기 위해, 전류센서로 부터 얻은 이송축 부하 전류의 변화에 웨이브렛 변환을 통해 공구의 파손을 검출하는 방법에 대한 연구결과를 소개한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
• /
• pp.739-741
• /
• 2000

많은 목적을 가진 영상 압축 표준으로 인해 원래의 목적으로 이미 부호화된 영상을 다른 목적에 맞는 영상으로 변환해야 될 경우가 발생하는데, 목적 비트율과 목적 크기, 목적 부호화 형식으로 재부호화시키는 과정을 변환 부호화라고 한다. 본 논문에서는 이미 부호화된 영상의 움직임 벡터 정보를 이용하여 변환 부호화 과정에서 새로운 움직임 벡터의 추정시간을 단축시킬 수 있고, 화질의 열화 및 계산량을 최소화 할 수 있는 새로운 방법들을 제안하고 영상의 비트율과 크기를 변환시키는 경우와 화상의 종류를 변환시키는 경우에 대해서 각각 실험을 통해 제안한 방법과 기존의 방법들을 비교, 검증하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.39-41
• /
• 1999

최근의 보편적인 컴퓨터 응용분야인 컴퓨터 그래픽, 패턴인식, 음성 출력 등과 같은 제분야에서는 대용량의 데이터를 실시간으로 처리하는 것이 필수적이다. RNS는 캐리부재, 병렬처리 등의 특징을 가지므로 대용량 데이터의 실시간 처리를 지원하는 장치의 개발에 큰 이점이 있다. 본 논문에서는 RNS에서 웨이티드 수체계로 변환하는 방법을 유도하고 구현한다. 이 방법은 연산의 비트수가 증가하더라도 고정된 연산의 단계를 거치게 되고, 여기에서 이 방법의 효율성이 커진다. 이는 중첩 비트 주사기법을 CRT 변환시에 적용하는 새로운 방법이다. 그리고, 변환식의 유도와 실제 시뮬레이션의 결과를 타 시스템과 비교하여 본 논문의 방법이 타당함을 보여준다. 그 결과, 기존의 승산기보다 많은 하드웨어를 요구하지만, 이는 최근의 반도체 집적기술의 발전으로 인하여 큰 문제가 되지 않고, 반면에 병렬 t행과 캐리 부재의 특성으로 인해 기존의 방법보다 속도를 향상시킬 수 있다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 추계학술대회
• /
• pp.485-488
• /
• 2013

최근 자동차 산업의 활성화로 인해 교통사고 급증이 사회 문제화 되면서 사고를 미연에 방지할 수 있는 운전자 보조 시스템 연구가 활발하게 이루어지고 있다. 일반적으로 자동차 사고 원인의 70% 이상이 운전자 과실에 의해서 발생되고 전체 추돌사고의 75%가 시속 29km 이하의 속도에서 발생한다. 이를 예방하기 위해서 운전자의 인지 판단을 보조하는 시스템의 개발이 많이 이루어지고 있는데, 예를 들어 자동 주차 시스템, AVM(Around View Monitoring) 시스템 등이 있다. 본 논문에서는 AVM 시스템 중 원근 왜곡을 보정하는 단계에서 직선 및 교점을 검출할 때, NMS(Non-Maximum Suppression)를 적용한 허프 변환 방법을 사용할 것이다. 또한 기존의 Sub-Pixel을 이용한 직선 및 교점 검출 방법과 NMS을 적용한 허프 변환 방법을 사용한 직선 및 교점을 검출하는 방법을 비교 분석함으로써 제안하는 NMS를 적용한 허프변환을 이용한 직선 및 교점을 검출하는 방법을 사용하여 보다 효율적인 AVM 시스템의 구현 가능성을 검증한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2010년도 춘계학술발표논문집 1부
• /
• pp.249-252
• /
• 2010

LPC 계수를 LSP 변환하는 방법에는 복소근, 실근, 비율 필터, 체비셰프 급수, 적응적 순차형 최소제곱 평균 방법(adaptive sequential LMS) 등이 있다. 이 방법들 중 음성 부호화기에서 주로 사용하는 실근 방법은 근을 구하기 위해 주파수 영역을 순차적으로 검색하기 때문에 계산시간이 많이 소요되는 단점을 갖는다. 본 논문에서는 LPC에서 LSP로 변환하는 4가지 고속 알고리즘을 제안한다. 첫 번째 방식에서는 검색간격에 멜 스케일을 적용하였고, 두 번째는 홀수번째 LSP 파라미터의 분포도를 이용하여 검색순서를 조정한 방법이다. 세 번째 방식과 네 번째 방식에서는 각각, 모음 특성, LSP 분포특성과 해상도를 이용하여 계산시간을 단축하였다. LSP 변환시간은 4가지 방법 모두 35~50% 단축되었다. 또한 실험결과에서는 각 알고리즘의 고유한 특성에 대하여 분석한다.

• 한국통신학회논문지
• /
• 제28권9C호
• /
• pp.868-875
• /
• 2003

본 논문에서는 웨이블릿 변환 영역에서 기존의 다중해상도 움직임 예측 방법에 비해 보다 향상된 단화소 이동 감쇠를 이용한 다중해상도 움직임 예측 방법을 제안하였다. 웨이블릿 변환 영역에서 웨이블릿 계수들의 계층적 상관관계를 이용한 기존의 다중해상도 움직임 예측 방법(MRME)은 웨이블릿 변환시 수행되는 다운 샘플링 과정에서 발생되는 웨이블릿 계수들의 이동-변환 성질(shift-variant property)에 의해 정확한 움직임 예측을 수행할 수 없다는 단점이 있다. 따라서 이러한 문제점을 극복하기 위해 제안된 방법은 입력 영상에 대해서 2레벨 웨이블릿 변환을 수행한 후 저대역 신호인 S$_4$대역에 대해 3레벨 웨이블릿 변환을 수행하기 앞서 S$_4$대역에서의 단화소 이동된 신호를 제거하기 위한 방법으로 보간을 적용한다. 보간된 저 대역 신호 S$_4$대역에 대해서 1레벨 웨이블릿 변환을 수행한 후 최종적으로 3레벨 웨이블릿 변환된 저 대역 신호 S$_{8}$대역에 대해서 초기 움직임 벡터를 구한 다음 나머지 하위 레벨에 위치한 대역에 대해서 기존 다중해상도 움직임 예측 방법과 동일한 방법으로 움직임 예측을 수행함으로써 향상된 부호화 성능을 얻을 수 있었다. 실험 결과 제안한 방법은 기존 다중해상도 움직임 예측 방법과 웨이블릿 변환 영역에서 전역 탐색 방법과 비교해 PSNR면에서 약 1∼2dB정도 향상된 부호화 효율을 나타낼 뿐 아니라, 주관적 화질에서도 개선된 결과를 보였다.