• 정보보호학회논문지
• /
• 제22권3호
• /
• pp.495-504
• /
• 2012

본 논문에서는 국제 표준 블록 암호 알고리즘인 HIGHT를 CPU 및 GPU 상에서 소프트웨어로 고속화 구현하기 위한 다양한 방법을 시도한다. 먼저 CPU 상에서는 32비트 및 64비트 운영체제를 고려하고 비트 슬라이싱 및 바이트 슬라이싱 기법을 적용한다. 이들 최적화 기법의 적용 결과, Intel core i7 920 CPU 상에서 64비트 운영체제를 이용할 경우 최대 1.48Gbps의 속도를 보여 슬라이싱이 적용되지 않은 기존 구현에 비해 최대 2.4배 빠른 성능을 확인할 수 있었다. 한편 GPU 상에서는 NVIDIA의 CUDA 라이브러리를 활용하였으며, 서브키 및 F 함수를 위한 룩업 테이블 등과 같이 자주 사용되는 데이터를 공유 메모리에 저장하여 사용하고, 전역 메모리에서 데이터를 읽어올 때는 통합 접근(coalesced access) 기법을 사용하는 등 최적화 기법들을 적용해 구현하였다. 특히 본 논문은 GPU 상에서 HIGHT를 최적화한 최초의 결과로, GPU 상에서도 바이트 슬라이싱 기법을 적용할 경우 단순 구현 결과보다 20% 이상 빠른 성능을 확인할 수 있었으며, CPU에 비해서는 약 31배 빠른 결과를 얻을 수 있었다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권1호
• /
• pp.1-8
• /
• 2015

고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 하지만 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 고비용이 발생한다는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 슬라이싱 기법[1]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[2] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 평균 71% 줄일 수 있었고, 실제 검증을 수행했을 시에도 도구 적용 이전보다 검증 비용을 절감할 수 있었음을 보였다.

• 한국정보처리학회논문지
• /
• 제5권10호
• /
• pp.2556-2566
• /
• 1998

프로그램 슬라이싱은 프로그램의 특정 위치에서 변수들의 값에 영향을 주는 문장을 추출하는 방법이다. 프로그램 슬라이싱의 유용성은 디버깅, 최적화, 프로그램 유지보수, 테스팅, 재사용 부품 추출 그리고 프로그램 이해를 포함하는 다른 응용 분야에 널리 알려져 있다. 본 논문은 Jump문을 포함한 프로그램에 적용했을 때 구문적으로 정확한 슬라이스 생성에 실패한다. 본 논문에서는 기존 방법들의 문제점을 지적하고, 정확하고 수행가능한 슬라이스를 생성하는 효율적인 방법을 제안한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제7권1호
• /
• pp.1-8
• /
• 2018

소프트웨어 테스트는 시스템의 신뢰도를 판단하는 중요한 작업이지만, 많은 노력과 비용이 요구된다. 모델 기반 테스트는 시스템 요구사항을 정형적으로 표현한 모델로부터 테스트 설계를 자동화함으로써 이러한 비용을 줄이기 위한 방안으로 제안되었다. 모델의 각 경로마다 입력값을 생성하여 테스트를 수행하는데, 이 때, 적절한 입력 값을 찾기 위해 메타-휴리스틱 기법을 사용한다. 본 논문은 슬라이싱 기법과 우선순위 정책을 적용한 테스트 데이터 자동 생성 기법을 제안하며, 목적 경로와 관련이 없는 변수를 제외하여 불필요한 계산을 억제한다. 실험을 통해 기존의 기법보다 효과적으로 테스트 데이터를 생성함을 보인다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2009년도 춘계학술대회
• /
• pp.861-864
• /
• 2009

최근에는 손의 다양한 부위에서 정맥을 인식하기 위한 생체인식 기술이 활발히 진행 중이다. 본 논문에서는 정맥 패턴을 검출하기 위한 계층적 슬라이싱 방법을 제안한다. 스캔한 정맥 이미지를 다양한 두께 값으로 슬라이싱한다. 슬라이스된 이미지에서 평균 밝기값을 구하고 이를 곡률 값으로 변환하여 정맥 후보 구역을 검출한다. 이 정맥 후보 지역을 재검색하여 중복 검출된 지점을 분석하여 실제의 정맥 패턴을 찾아낸다. 이를 통해 원래 이미지에서 정맥 패턴을 검출하는 새로운 알고리즘을 제안한다.

• 소프트웨어공학소사이어티 논문지
• /
• 제11권1호
• /
• pp.57-73
• /
• 1998

• 정보처리학회지
• /
• 제27권1호
• /
• pp.6-19
• /
• 2020

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

소프트웨어 테스트는 시스템의 신뢰도를 판단하는 중요한 작업이지만, 많은 노력과 비용을 필요로 한다. 모델 기반 테스트는 이러한 비용을 줄이기 위한 방안으로써 제안되었다. 정형적 모델로부터 시스템의 실행 가능한 경로를 파악하고, 각 경로마다 입력 값을 생성하여 테스트를 수행한다. 이 때, 적절한 입력 값을 찾기 위해 메타-휴리스틱 기법을 사용하는데, 기존의 알고리즘은 목적 경로와 관련이 없는 변수까지 구분없이 고려하기 때문에 시스템이 복잡할수록 불필요한 연산이 많아지는 문제가 있다. 본 논문은 슬라이싱 기법과 우선순위 정책을 적용한 테스트 데이터 자동 생성 기법을 제안하며, 실험을 통해 기존의 방법보다 효과적으로 테스트 데이터를 생성함을 보인다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.898-902
• /
• 1995

STEP is a neutral model for exchanging CAD modelbetween different CAD systms. The paper presents a laser path contour generation for rapid prototyping originated form STEP format files without using any tools nor libraries for STEP data manipulation. Polygons are generated from every point on the layer of given thickness, which are the intersections of layer plane and edges stored in entity tables. Curves are approximated with polygons whitin segment tolerance limit in order to cover sculptured surfaces. With the advantage of less data loss in direct slicing over STL formats, the system developed in this work shows a good potential to provide data share with various CAD systems including RP data preparation.

• 한국정밀공학회지
• /
• 제16권7호
• /
• pp.85-93
• /
• 1999

In this study, PC-based slicing machine and driving software were constructed for the purpose of automation of semi-conductor cutting process. The biggest feature of software is variation of parameter and include data base, signal monitoring, error report, corresponding action or automatic motion planing. Parameters were drawn and algorithms were developed to make software by GUI interface. The cutting experiment was done for sampled wafer to see the effectiveness of the soft automation. From the experimented and implemented results, it is shown that parameters for automation of slicing process could be drawn, then its algorithms constructed. It could be considered what is the merit of this slicing machine by comparing the PC-based and the NC-based.