• 인터넷정보학회논문지
• /
• 제9권2호
• /
• pp.89-105
• /
• 2008

지금까지 테스트 데이터를 자동으로 생성하기 위한 대부분의 연구는 프로그램에 포인터가 존재하지 않는 경우만을 대상으로 하였다. 최근에 포인터가 있는 경우에도 테스트 데이터를 자동으로 생성할 수 있는 방법들이 제안되었지만 테스트할 프로그램 경로를 완전하게 명시해야 하는 경로 기반 방법이거나 프로그램을 실제 실행해야 하는 방법들이다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 포인터가 있는 프로그램에 대하여 테스트 데이터를 생성할 수 있는 새로운 방법을 제안한다. 제안된 방법은 테스트 데이터 생성 문제를SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성하는 정적 방법이다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

• 소프트웨어공학소사이어티 논문지
• /
• 제28권1호
• /
• pp.23-28
• /
• 2019

최근 이미지 처리 응용을 위한 심층 신경망 모델의 효과적 테스팅을 위해 해당 모델이 올바르게 예측하지 못하는 코너 케이스에 해당하는 행동을 보이는 데이터를 자동 생성하는 연구가 활발히 진행되고 있다. 본 논문은 문장 분류 심층 신경망 모델에 기반하고 있는 버그 담당자 자동 배정 시스템의 테스트를 위해 입력 데이터인 버그 리포트의 내용에서 임의의 단어를 선택해 동의어로 변형하는 테스트 데이터 생성기법을 제안한다. 그리고 제안하는 테스트 데이터 생성 기법을 사용한 경우와 기존의 차이 유발 테스트 데이터 생성 기법을 사용했을 경우를 다양한 뉴런 기반 커버리지를 중심으로 비교 평가한다.

• 한국기계가공학회지
• /
• 제12권5호
• /
• pp.141-148
• /
• 2013

There are several problems in the conventional 2-D image processing and 3-D measurement systems. In the case of the 2-D image processing system, it is not possible to detect elevation data. In a 3-D measurement system, it requires a skillful operator and a lot of time for measuring data. Also, there exist data errors depending on operators. The limitation of detecting elevation data in the 2-D image processing system can be solved by laser diodes. In this study an algorithm that measures the accurate data in a subject face to be detected by combining laser diodes and a commercial CCD camera is developed. In the development process, a planar equation is developed using laser diodes and the equation is used to obtain a normal vector. Based on the results, an algorithm that transforms commercial CCD camera coordinates to 3-D coordinates is proposed. The completed measurement method will be applied to replace a manual measurement system for vehicle bodies and parts by an automated system.

• 정보처리학회논문지A
• /
• 제10A권2호
• /
• pp.157-164
• /
• 2003

최근 볼륨 그래픽스가 의료 영상의 해석 도구로서 주목을 받아 오고 있다. 볼륨 그래픽스에서는 가시화를 위하여 복셀로 정의된 물체가 필요하다. 이 때문에 기하학적인 방법으로 정의한 다각형 및 곡면을 복셀 기반의 물체로 변환시키는데 이를 복셀화(voxelization)라고 한다. 기하학적인 물체를 복셀화하면 기하학적 물체 데이터를 샘플링 데이터와 함께 단일화된 방법으로 볼륨 렌더링할 수 있다. 본 논문에서는 큐브의 단면을 이용한 복셀화의 한 기법을 제안한다. 그리고 개인용 컴퓨터 환경에서 이 기법을 구현한 후에 단순한 기하학적인 데이터를 이용해서 평가하여 논리적인 타당성을 조사한다. 이 기법은 변환된 복셀로부터 정확한 법선 벡터를 계산할 수 있고 복셀간에 구멍(hole)이 발생하지 않고 다해상도(multi-resolution) 표현이 가능한 특성을 가지고 있다.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1999년도 춘계공동학술대회: 지식경영과 지식공학
• /
• pp.271-280
• /
• 1999

인공신경망을 시계열예측에 적용하는 경우에 고려되어야 할 문제중, 특히 모형에 적합한 입력변수의 생성이 중요시되고 있는데, 이러한 분야는 인공신경망의 모형생성과정에서 입력변수에 대한 전처리기법으로써 다양하게 제시되어 왔다. 가장 최근의 입력변수 전처리기법으로써 제시되고 있는 신호처리기법은 전통적 주기분할처리방법인 푸리에변환기법(Fourier transforms)을 비롯하여 이를 확장시킨 개념인 웨이블릿변환기법(wavelet transforms) 등으로 대별될 수 있다. 이는 기본적으로 시계열이 다수의 주기(cycle)들로 구성된 상이한 시계열들의 집합이라는 가정에서 출발하고 있다. 전통적으로 이러한 시계열은 전기 또는 전자공학에서 주파수영역분할, 즉 고주파 및 저주파수를 분할하기 위한 기법에 적용되어 왔다. 그러나, 최근에는 이러한 연구가 다양한 분야에 활발하게 응용되기 시작하였으며, 그 중의 대표적인 예가 바로 경영분야의 재무시계열에 대한 분석이다 전통적으로 재무시계열은 장, 단기의사결정을 가진 시장참여자들간의 거래특성이 시계열에 각기 달리 가격으로 반영되기 때문에 이러한 상이한 집단들의 고유한 거래움직임으로 말미암아 예를 들어, 주식시장이 프랙탈구조를 가지고 있다고 보기도 한다. 이처럼 재무시계열은 다양한 사회현상의 집합체라고 볼 수 있으며, 그만큼 예측모형을 구축하는데 어려움이 따른다. 본 연구는 이러한 시계열의 주기적 특성에 기반을 둔 신호처리분석으로서 기존의 시계열로부터 노이즈를 줄여 주면서 보다 의미 있는 정보로 변환시켜 줄 수 있는 웨이블릿분석 방법론을 새로운 필터링기법으로 사용하여 현재 많은 연구가 진행되고 있는 인공신경망과의 모형결합을 통해 기존연구와는 다른 새로운 통합예측방법론을 제시하고자 한다. 본 연구에서 제시하는 통합방법론은 크게 2단계 과정을 거쳐 예측모형으로 완성이 된다. 즉, 1차 모형단계에서 원시 재무시계열은 먼저 웨이블릿분석을 통해서 노이즈가 필터링 되는 동시에, 과거 재무시계열의 프랙탈 구조, 즉 비선형적인 움직임을 보다 잘 반영시켜 주는 다차원 주기요소를 가지는 시계열로 분해, 생성되며, 이렇게 주기에 따라 장단기로 분할된 시계열들은 2차 모형단계에서 신경망의 새로운 입력변수로서 사용되어 최종적인 인공 신경망모델을 구축하는 데 반영된다.

• 한국광물학회지
• /
• 제15권3호
• /
• pp.161-169
• /
• 2002

고온-고압 상태에서 티탄철석 ($FeTiO_3$)의 상변이에 대한 연구가 있었으나, 그 결과는 서로 일치하지 않고 있다. 특히, 티탄철석상과 페롭스카이트상의 상변이 경계는 담금방법에 의해 결정된 것으로 신뢰도에 의문이 제기되고 있다. 이러한 문제를 해결하기 위해, 고온-고압 현장상태에서 라지 볼륨 기기와 방사광을 이용하여 19 GPa와 $700^{\circ}C$의 범위에서 X선 회절실험을 시행하였다. 이러한 실험결과, 페롭스카이트상은 상온에서 16 CPa 이상의 압력에서 안정하며, 15 CPa 근처에서 $LiNbO_3$상으로 변이한다. 또한 이 두 고온-고압상은 $500^{\circ}C$에서는 순간적인 상변이를 하고 있다. $LiNbO_3$상은 각각 13 CPa 및 300'E와 10.8 GPa 및 400'E에서 티탄철석상으로 상변이 한다. 따라서 본 실험결과는 $LiNbO_3$상은 고온-고압하에서 안정 영역을 확보하고 있으며, 페롭스카이트-티탄철석상경계는 이전에 발표된 결과와는 매우 다르다는 것을 지시해주고 있다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권3호
• /
• pp.205-208
• /
• 2013

일반적으로 이진패턴 변환은 조명 변화에 강인한 특성을 가지므로, 얼굴인식 및 표정인식 분야에 널리 사용되고 있다. 이에, 본 논문에서는 기존의 LDP(Local Directional Pattern)의 텍스처 성분을 개선한 MLDP(Modified LDP) 변환 영상에 2D-PCA(Two-Dimensional Principal Component Analysis) 알고리즘을 결합한 조명변화에 강인한 얼굴인식 방법에 대하여 제안한다. 기존의 LBP(Local Binary Pattern)나 LDP와 같은 이진패턴 변환들이 히스토그램 특징 추출을 위해 주로 사용되는 것과는 다르게, 본 논문에서 제안하는 방법은 MLDP 영상을 2D-PCA 특징추출을 위해 직접 사용한다는 특성을 갖는다. 제안 방법의 성능평가는 PCA(Principal Component Analysis), 2D-PCA 및 가버변환 영상과 LBP를 결합한 알고리즘을 사용하여, 다양한 조명변화 환경에서 구축된 Yale B 및 CMU-PIE 데이터베이스를 이용하여 수행되었다. 실험 결과, MLDP 영상과 2D-PCA를 사용한 제안 방법이 가장 우수한 인식 성능을 보임을 확인하였다.

• 전기전자학회논문지
• /
• 제13권3호
• /
• pp.87-94
• /
• 2009

TETRA(TErrestrial Trunked RAdio)는 국내 전력IT무선기간망에 적용된 ETSI(European Telecommunications Standards Institute)가 정한 디지털 주파수공용통신(TRS, Trunked Radio System) 기술로서 공중망 및 기간망에 적용되고 있는 무선통신시스템이다. IEC 61850은 SCADA(Supervisory Control And Data Acquisition) 시스템에서 SAS(Substation Automation System)를 위해 제안된 프로토콜이다. 본 논문에서는 리눅스 운영체제 기반의 IEC 61850 Server와 Client Simulator를 사용하였다. 또한 IEC 61850 Server Simulator와 Client Simulator 간의 TCP/IP 기반의 통신을 TETRA Packet Data Service 기반의 통신으로 변환하는 다기능 게이트웨이를 개발하여 TETRA 기반 IEC 61850 SCADA 시스템을 구축하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.526-532
• /
• 1999

본 논문에서는 마이크로프로그램을 위한 테스트 데이타를 자동으로 생성하는 시스템을 제안하였다. 이 시스템에서는 주어진 경로를 따라 마이크로프로그램을 기호수행(symbolic execution)시켜 경로조건식을 구하고 이 식를 풀어서 테스트 데이타를 생성한다. 기호수행 방법을 이용하여 테스트 데이타를 생성하기 위해서는 경로조건식이 선형이어야 한다. 따라서 본 논문에서는 마이크로프로그램의 테스트 데이타를 생성하기 위하여 마이크로프로그램에서 사용되는 연산자들을 선형 연산자로 변환하는 방법을 제안하였다. Abstract In this paper, we propose an automated test data generation system for microprogram. This system symbolically executes microprogram along a given path, extracts path conditions for the given path, and generates test data by solving the path conditions. To generate test data using symbolic execution, the path conditions must be linear. Therefore, we propose a linearization method which transforms operators used in the microprogram into linear operators.

• 한국산업정보학회논문지
• /
• 제8권1호
• /
• pp.55-61
• /
• 2003

표준 암호화 알고리즘(DES : Data Encryption Standard)은 20년 이상 국제 암호화 표준으로 사용되고 있다. DES는 64비트의 데이터 블록을 56비트의 키를 이용하여 암호화시키는 블록 암호화 기법중의 하나이다. 이 알고리즘은 64비트의 입력을 연속된 과정에 의해 64 비트의 출력으로 전환하는 방법이며, 이렇게 암호화시킨 문장은 키 없이는 해독이 불가능하다. 본 논문에서는 DES 알고리즘을 이용하여 RFID(Radio Frequency Identification) 판독 시스템을 구현하였다. 구현된 시스템은 CBC(Cipher Block Chining) 모드를 사용하여 암호화 알고리즘의 신뢰성을 높였으며, 기존 상용 제품과의 성능 비교 결과 카드 접근 시간과 동작 시간이 상용 제품보다 우수함을 알 수 있었다.