• 전자공학회논문지C
• /
• 제34C권10호
• /
• pp.76-88
• /
• 1997

Based on the principles described in Part I, we have implemented a working prototype vision system using a feature structure called an LSG (local surface group) for generating object hypotheses. In order to verify an object hypothesis, we estimate the view of the hypothesized model object and render the model object for the computed view. The object hypothesis is then verified by finding additional features in the scene that match those present in the rendered image. Experimental results on synthetic and real range images show the effectiveness of the indexing scheme.

• Journal of Information Technology Applications and Management
• /
• 제13권2호
• /
• pp.145-162
• /
• 2006

Despite the careful attention paid by managers and researchers to the effective administration of the S/W Development Project, there are cases where the project goes over-budget or misses deadlines. Existing research blames these problems on task complexity or mismanagement. In order to verify the results that varied according to the fitness between the Task Characteristics and the Project Management Types, a contingency model was employed. The verification of the contingency model demonstrated that the greater the task complexity, the greater the effectiveness of the project coordination, and the lesser the task complexity, the greater the effectiveness of project control. This research is theoretically important in that it develops a composite model to verify the relation between the three factors of Task Characteristics, Project Management Types, and Project Performance that compose the S/W Development Project.

• International Journal of Control, Automation, and Systems
• /
• 제5권4호
• /
• pp.372-378
• /
• 2007

This paper discusses Robust $H{\infty}$ control problems for networked control systems (NCSs) with time delays and subject to norm-bounded parameter uncertainties. Based on a new discrete-time model, two approaches of robust controller design are proposed. A numerical example and experimental verification with an NCS test bed are given to illustrate the feasibility and effectiveness of proposed design methodologies.

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2007년도 하계학술대회
• /
• pp.65-70
• /
• 2007

이러닝 컨텐츠를 활용하여 학습자가 자기주도적으로 학습을 진행할 때, 컨텐츠에 사용된 여러가지 멀티미디어적 요소들은 학습자에게 흥미를 유발시키고 주의집중을 유지시켜주는 역할을 한다. 의지가 약하고 주의집중 가능 시간이 짧은 초등학생들의 주의를 컨텐츠에 집중시키기 위하여 다양한 장치들이 현재 사용되고 있다. 그중에서 특히 플래시 애니메이션과 스크립트를 이용하여 학습자의 학습활동을 유도하는 장치들을 주의집중장치로 정의하고 그 효과성을 검증한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2010년도 춘계학술대회 논문집
• /
• pp.1383-1384
• /
• 2010

• 예술인문사회 융합 멀티미디어 논문지
• /
• 제8권3호
• /
• pp.895-905
• /
• 2018

여론조사는 특정 사안에 대하여 사회 집단의 성향을 알아보기 위한 수단으로서 현대 사회에 강한 영향력을 미치고 있다. 이처럼 여론 조사의 영향력이 커짐에 따라 결과물의 위·변조의 문제점이 중요한 이슈로 나타나게 되었으며 여론조사의 신뢰성을 보장하기 위한 새로운 방안이 필요한 실정이다. 이더리움 블록체인은 이를 위한 해결방안으로서 신뢰성이 보장되는 블록체인 기술을 이용하는 분산 어플리케이션을 개발하기 위한 환경이다. 이더리움 분산 어플리케이션은 스마트 컨트랙트를 활용하여 사용자를 위한 서비스들을 투명하고 신뢰성 있게 제공할 수 있다. 본 논문에서는 위·변조가 사실상 불가능한 분산 장부 관리기법인 블록체인을 이용하여 신뢰성을 보장하는 여론조사 기법에 대하여 제안한다. 제안하는 기법은 여론조사 결과물에 대한 여론조사 대상자 개인 및 검증 기관의 견고한 검증 기능을 제공한다. 또한, 제안하는 기법의 유효성을 확인하기 위하여 프라이빗 이더리움 블록체인 네트워크에서 동작하는 여론조사 분산 어플리케이션을 개발한다.

• 한국컴퓨터정보학회논문지
• /
• 제27권12호
• /
• pp.141-149
• /
• 2022

본 연구에서는 공공 CCTV 함체 관리를 위한 블록체인 기반 함체기록 관리 시스템을 설계하였다. CCTV 영상 기록은 함체를 거쳐 관제센터까지 전송되기 때문에 영상기록의 변조 및 훼손 방지를 위한 함체 관리가 매우 중요하다. 최근 CCTV 함체 관리를 위해 실시간 원격 모니터링 및 개폐 상태 관리 기능을 갖춘 스마트 함체 모니터링 시스템을 사용하고 있으나 CCTV 영상기록의 안전성 확보에는 한계가 있다. 우리가 제안한 시스템은 함체기록을 블록체인에 분산 저장하여 해시값 비교를 통해 위조를 탐지하고 위조된 함체기록을 복구할 수 있다. 또한 관리서버가 수신하는 함체기록의 무결성을 확인할 수 있도록 무결성 검증 API를 제공하여 함체기록의 무결성을 보장한다. 제안 시스템의 효용성을 검증하기 위해 실험을 통해 무결성 검증 정확도와 소요시간을 측정하였다. 실험 결과 함체기록의 무결성(정확도: 100%)을 확인하였고, 검증 소요시간(평균: 73ms)이 모니터링에 영향을 미치지 않을 것으로 확인하였다.

• 대한전자공학회논문지SD
• /
• 제40권12호
• /
• pp.39-45
• /
• 2003

칩의 크기가 증가함에 따라 VHDL 모델의 설계검증은 점점 어려워지고, 많은 시간을 소모하는 과정이 되고 있다. 최근에 VHDL 모델을 검증하기 위하여 베이지안 예측과 정지법(stopping rule)을 이용한 방법들이 소개되고 있다. 이 논문에서는 VHDL 모델을 검증하기 위하여 정지법을 사용할 때 클럭 사이클을 줄일 수 있는 2가지 방법을 제안한다. 첫 번째 방법은 세미랜덤변수를 정의하고, 정지법이 동작 중에 세미랜덤변수의 영역에 존재하는 데이터를 생략하여 정지점stopping point)을 줄이고, 두 번째 방법은 정지법의 페이즈가 변화시에 베이지안 파라미터의 기존 값을 그대고 유지하여 클럭 사이클을 줄이는 방법이다. 제안된 방법의 효율성을 입증하기 위하여 12개의 VHDL 모델에 대하여 분기검출율에 관한 모의실험을 하였으며, 기존의 방법과 비교하여 분기검출율은 0.6% 줄었지만 25% 이상의 클럭 사이클을 줄일 수 있었다.

• 한국음향학회지
• /
• 제25권1호
• /
• pp.36-42
• /
• 2006

본 논문에서는 화자검증 시스템의 성능향상을 위해서 주성분 분석 (PCA) 기반 Mel-Frequency Discrete Wavelet Coefficients (MFDWC) 추출방법을 제안한다. 제안된 방법에서는 멜척도 (Mel-scale)를 근사화한 각 레벨 (level)의 각 노드 (node) 에너지를 계산하기 위해 기존의 평균치 대신 주성분 분석을 이용한 첫 번째 eigenvector를 이용한다. 이 eigenvecto.의 제곱의 합은 1로서 일반적인 가중 함수 (weighting function)의 조건을 만족하고, 또한 각 화자마다 서로 다른 값을 갖게 되므로, 화자의 특징을 더 잘 나타내는 MFDWC를 추출할 수 있다. 화자검증은 Gaussian Mixture Model (GMM) 기반의 백그라운드 모델과 화자 모델과의 점수를 비교하는 이진 결정 (binary decision) 방법을 이용하여 Universal 백그라운드 모델 (UBM)과 각 화자 모델의 값을 프레임단위로 비교하여 대상 화자의 수락/거부 여부를 결정하는 방법을 채택하였다. 특징 파라미터에 따른 화자 검증 성능변화를 확인하기 위하여 제안된 화자종속 가중함수를 이용한 MFDWC를 특징 파라미터로 이용한 경우와 Mel-Frequency Cepstral Coefficients (MFCC), Linear Predictive Cepstral Coefficients (LPCC), 기존의 MFDWC를 특징 파라미터로 이용한 경우에 대하여 성능비교실험을 수행한 결과 각각 $0.80\%,\;5.14\%,\; 6.69\%$의 향상된 성능을 나타내어 제안한 방법의 유효성을 확인할 수 있었다.

• 한국산학기술학회논문지
• /
• 제9권5호
• /
• pp.1139-1144
• /
• 2008

본 논문에서는 가상 플랫폼을 이용하여 빠르고 효과적으로 시스템을 검증하기 위한 추상레벨의 자동생성에 대하여 제안한다. 추상레벨 가상 플랫폼은 효과적인 검증 방법이긴 하지만 시스템이 변경될 때마다 가상 플랫폼을 재생성하고 추가적인 설계/검증을 요구되며 이 작업은 매우 많은 시간을 요구한다. 이러한 문제점을 해결하기 위하여 본 논문에서는 CPU, 메모리, UART 등을 기본적인 요소로 구성하여 추상레벨의 라이브러리로 생성하였다. 이 라이브러리를 이용하여 가상 플랫폼을 자동 생성하는 툴을 개발하였다. 이 툴은 임베디드 RTOS를 구성하는 가상 플랫폼을 자동 생성하며 HW/SW 간의 통신을 위한 메모리 맵과 디바이스 드라이버 등도 생성한다. 제안한 방법은 JPEG과 H.264에 성공적으로 적용하였으며 기존의 수동 작업에 비하여 매우 빠르게 가상 플랫폼을 자동 생성할 수 있었다.