Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
Korean Institute of Information Scientists and Engineers (KIISE)
- Semi Annual
- /
- 1598-5164(pISSN)
Domain
- Information/Communication > Information Processing Theory
2012.06a
-
Kim, Soo-Young;Kim, Hong-Yeon;Kim, Young-Kyun 1
네트워크 환경에서 가장 범용적으로 사용되는 파일시스템인 NFS는 클라이언트 수가 증가할수록 I/O 병목 현상이 심각하게 발생한다. 이를 해결하기 위해 클라이언트가 직접 데이터 서버에 연결하여 I/O 처리를 병렬화한 NFS 버전s 4.1 표준이 제정되었다. 본 논문에서는 이러한 pNFS를 지원하는 메타데이터 서버를 사용자 영역에서 손쉽게 개발할 수 있도록 FUSE를 활용하는 방안을 제안한다. -
Kim, Hee-Gon;Lee, Sung-Ju;Chung, Yong-Wha 4
최근 멀티코어 CPU가 장착된 시스템들이 출시되면서 많은 병렬처리 기법들이 제안되고 있다. 본 논문에서는 데이터 종속성이 없는 모듈과 종속성이 있는 모듈이 순차적으로 구성된 응용에서 각 코어에 부하를 효과적으로 분산시키는 방법을 제안한다. 즉, 데이터 종속성이 없는 모듈을 각 코어에 대칭적으로 분산시키는 통상적인 방법 대신, 비대칭적으로 부하를 분산시킴으로써 암달의 법칙에서 계산된 성능 상한치를 뛰어넘는 성능 개선을 얻을 수 있음을 보인다. -
Lim, Ju-Ho 7
CPU는 싱글 코어 구조에서 클록 속도를 높여 성능을 향상 시키려는 노력을 해왔으나 한계에 도달하자 하나의 칩에 코어를 여러 개 둔 멀티코어 형태로 발전하였다. CPU의 성능 향상을 위해 이제는 3D그래픽을 연산처리하기 위해 만들어진 GPU와 결합하기에 이르렀다. CPU와 GPU의 결합은 CPU간의 결합보다 훨씬 더 좋은 성능을 보였고 전력의 사용량도 더 적었으며 비용면에서도 경제적이라는 장점을 가지고 있다. 본 논문에서는 CPU와 GPU의 Heterogeneous multicore상에서 성능을 최적화하기 위해 기존의 병렬화 모델을 조합하고 최적화를 시도하였다. CPU상에서는 성능 향상을 위해 기존의 병렬 프로그램 모델인 SIMD와 공유메모리 병렬 프로그래밍 모델 그리고 메시지 패싱 병렬 프로그래밍 모델을 조합하는 실험을 했다. GPU에서는 CUDA를 최적화 하였다. 이렇게 CPU와 GPU를 최적화하고 조합하여 고성능 연산을 요구하는 어플리케이션을 위한 Heterogeneous multicore 성능 최적화 방법을 제안한다. -
Yi, Cheong-Yong;Yi, Young-Min 10
얼굴인식은 보안 등 다수의 응용분야에서 중요하게 이용되는데, 얼굴인식을 위한 학습은 많은 계산시간이 소요되기 때문에 신속한 학습이 필요한 경우 가속화가 필요하다. 한편, 그래픽스 프로세서 유닛(GPU)은 대용량 정보처리를 빠르게 수행할 수 있어 최근 폭넓은 분야에서 널리 이용되고 있다. 본 논문에서는 주성분 기반의 얼굴인식 알고리즘을 GPU 에서 병렬 수행하여 가속하는 기법을 제안하였다. 주성분 기반의 얼굴인식 각각의 과정들의 병렬성을 분석하여 가속화 이득을 최대하였고, C/OpenCV[2]로 구현된 순차적인 버전[3]과 비교했을 때, 전체 학습시스템에서 최대 약 40 배의 성능이득을 얻었다. -
Yi, Hong-Suk;Lee, Seung-Min 13
매우 빠른 GPU의 성능과 저가의 개발 비용으로, 최신 GPU는 대용량 계산과학 분야에 꼭 필수적인 자원으로 등장하였다. 이 논문에서는 멀티-GPU 클러스터 시스템에서 GPU 컴퓨팅 기술을 적용한 대용량 Monte Carlo 알고리즘을 개발하였다. MPI와 CUDA를 동시에 적용한 결과 8개 GPU까지 병렬 확장성을 얻을 수 있었다. 병렬 성능 확장성 분석 결과, 멀티-GPU 클러스터에서는 GPU 사이의 데이터 통신이 전체 프로그램 성능 향상을 결정하는 매우 중요한 요인임을 보였다. -
Lim, Heon-Yong;Kim, Chang-Hyeon;Lee, Won-Joo;Jeon, Chang-Ho 16
본 논문에서는 클라우드 컴퓨팅 환경에서 N-스크린 서비스를 위한 동영상 콘텐츠의 분산 인코딩 기법을 제안한다. 이 기법은 Hadoop에 기반하여 인코딩 작업을 여러 가상머신에서 분산 실행하는데 각 가상머신의 작업량을 가상머신의 성능에 따라 다르게 할당한다. 성능에 따른 차등할당으로 가상머신의 유휴(idle)시간을 최소화하여 총인코딩시간을 단축시키고, 자원 활용도를 높일 수도 있다. 실험을 통하여 제안한 인코딩 기법이 균등분할 방식보다 짧은 시간에 인코딩을 완료함을 보인다. N-스크린 서비스는 같은 동영상을 다양한 디바이스 특성에 맞추어 여러 가지 해상도로 스트리밍 해야 하기 때문에 인코딩 소요시간을 단축함으로써 서비스의 성능 향상을 기대할 수 있다. -
Han, Sang-Hyuck;Koo, Cheol-Hea;Lee, Hoon-Hee;Moon, Sung-Tae 18
클라우드 컴퓨팅의 발전으로 지금까지의 In-House 또는 COTS(Commercial Off The Shelf) 방식으로 구축되는 기존의 정보 시스템 구축 방법에 많은 변화가 일어나고 있다. 클라우드 컴퓨팅은 SaaS(SW as a Service), PaaS(Platform as a Service), IaaS(Infra as a Service)를 쉽게 제공하는 플랫폼으로써 많은 사용자가 동시에 접근하는 정보 시스템에서 고 가용성, 성능 만족을 위한 기본 틀을 제공한다. 본 연구는 최신 클라우드 플랫폼 조사를 통해 위성 영상 통합 시스템에 클라우드 컴퓨팅 기술 적용 가능성을 살펴보고 SaaS 기반 위성 영상 통합 시스템 개념 구조를 제시한다. -
Hahm, Jae-Gyoon;Woo, Joon;Kim, Suk-Moon;Jang, Ji-Hoon;Park, Chan-Yeol 21
과학 연구에 있어서 데이터 집약형 컴퓨팅은 데이터의 대형화와 함께 그 중요성이 날로 더하여지고 있다. 데이터 집약형 컴퓨팅은 대용량 데이터의 분석을 통해 과학적 지식을 발견하는 것을 목적으로 하고 있으며, 그 처리 방법에 있어서 데이터 병렬화 기법을 주로 사용하게 되는데, 이는 클라우드 컴퓨팅을 통해 도움을 받을 수 있는 계산 처리 방식이다. 또 데이터 집약형 컴퓨팅 서비스에서는 데이터의 검색 및 추출, 전송 등에 있어서 대용량의 데이터를 다룰 수 있는 고도화된 기술을 필요로 하게 된다. 본 연구에서는 대규모 과학 데이터 분석을 위해서 필요한 연구 환경을 유연하고 확장성 있게 제공하는 데이터 집약형 클라우드 서비스를 제안하였다. 본 연구의 목표 시스템은 대량의 데이터 분석을 위해 필요한 다양한 형태의 플랫폼, 응용 프로그램, 시스템 프로그램 등을 제공하는 클라우드 기반의 분석 서비스와 데이터 속성에 기반하여 빠른 검색 및 추출, 효율적인 전송을 제공하는 데이터 서비스로 이루어진다. -
Chung, Hae-Jin;Choi, Won-Seok;Kim, Yoon-Ho;Kim, Joon-Mo 24
하드웨어 컴퓨팅 자원의 성능을 최대로 활용하기 위한 소프트웨어 기술로 가상 머신 기술이 활발하게 사용되고 있다. 또, 하드웨어 컴퓨팅 자원의 병렬성을 극대화하기 위한 소프트웨어 기술로 함께 주목 받고 있는 기술이 분산 병렬 프로그래밍 기술이다. 그러나 가상머신에서 데이터를 병렬로 처리할 경우 I/O의 속도 저하 문제 등과 같은 단점이 있다. 본 논문에서는 성능 저하 없이 가상 머신에서 병렬 프로그래밍을 수행할 수 있도록 가상 머신에서의 태스크 개수 결정을 위한 선행 연구로서, 가상 머신 환경을 만들고, 여러 가지 속성 값을 변경하여 MapReduce 성능 평가결과를 보인다. 본 논문에서 수행한 실험의 결과는 가상머신에서의 MapReduce 태스크 결정 방법으로 연구에 참고자료로 사용될 수 있을 것이다. -
Joo, Young-Hyun;Kim, Jee-Hong;Eom, Young-Ik 27
최근 온라인 상에는 분산 처리 환경을 바탕으로 대량의 데이터들이 생성, 수정 및 삭제가 되고 있다. 이러한 환경에서의 효율적인 데이터 처리를 위해 많은 연구들이 진행되고 있으며, 특히 데이터의 입력을 컨텐츠 단위의 청크(content-based chunk)로 분할하고, 이에 MapReduce를 적용하여 효율적으로 데이터 처리를 하는 incremental computation에 관한 연구가 주목 받고 있다. 본 논문에서는 위와 같은 연구에서 주로 이용되는 content-based chunking 기법에 대해 분석하고, 이러한 기법에서 발생 할 수 있는 위험요소에 대해서 기술한다. -
Choi, Jae-Hun;Jung, Ho-Youl;Park, Soo-Jun;Choi, Wan 30
본 논문에서는 고성능 컴퓨팅 환경에서 유전체 서열 분석 도구들을 벤치마크 하기 위한 시스템을 개발하고 실제 유전체 데이터를 이용하여 성능을 비교하였다. 이 벤치마크 시스템은 유전체 분석 파이프라인 절차에 따라 다양한 분석 도구들을 CPU 멀티 코어와 GPU 매니 코어 환경에서 선택적으로 구동할 수 있도록 지원한다. 따라서, 서로 다른 환경에서 수행된 다양한 유전자 분석 도구의 성능을 실제 유전체 서열 데이터를 이용하여 비교하고 시각화할 수 있다. -
Won, Jong-Min;Joo, Young-Hyun;Eom, Young-Ik 33
개인용 컴퓨터가 보급된 후 오랫동안 CPU의 발전은 주로 클럭 스피드를 통해서 이루어져 왔다. 하지만 최근 들어서는 CPU 내에서 동작하는 코어의 수를 늘리는 방법을 통해 CPU의 성능 향상이 이루어지고 있다. 이렇게 멀티코어 환경의 시대가 도래함에 따라 CPU를 완전하게 이용하기 위해 기존 알고리즘들의 병렬화가 필요로 하게 되었다. 본 논문에서는 가장 많이 사용되는 알고리즘의 종류 중 하나인 정렬 알고리즘을 병렬화하여 멀티 코어 환경에서의 성능을 평가한다. 이는 기존의 단일 스레드 정렬 알고리즘들에 대해 알려진 바와는 다른 경향을 보이며 이러한 현상은 CPU의 병렬화가 진행될수록 더욱 심화될 것으로 예상된다. -
The Survey of Parallel Programming Techniques for Developing Optimized Software in Multi-core SystemLee, Ki-Hong;Kim, Jee-Hong;Eom, Young-Ik 36
이제 멀티코어 CPU가 보편화 되었지만 대다수의 프로그래밍 언어가 단일 코어를 대상으로 발전되었기 때문에 병렬화에 어려움이 있다. 이를 해결하고자 병렬처리 기법들이 연구되고 있지만 오히려 개발자는 여러 기법들 사이에서 혼란스러울 수 있다. 본 논문에서는 개발자들이 처한 상황에서 적절한 기법을 선택하는데 도움이 되고자 주요 병렬처리 기법인 OpenMP, Threading Building Blocks, Cilk Plus, Parallel Patterns Library를 비교 및 평가하였다. 각 기법마다 지원 기능, 지원 방식, 스케줄링 기법 등 개발자가 프로그램을 개발함에 있어 고려해야 할 특징들이 서로 다르고 각기 장단점이 존재한다. 따라서 병렬처리 기법을 선택하고 구현함에 있어 특정한 하나의 기법에 의존하는 것보다는 여러 기법들의 특성을 파악하여 상황에 맞는 기법을 선택한다면 보다 효율적이면서도 쉽게 병렬처리를 구현할 수 있다. -
Park, Seong-Soo;Han, Hwan-Soo 39
프로그램 코드의 유사도 측정에 대한 방법은 여러 가지 존재하고 있으며 유사도 측정 프로그램도 많이 존재한다. 이런 프로그램 유사도 측정 도구는 중소규모 소프트웨어 프로젝트에 많이 사용되고 있으나, 실제 대규모 소프트웨어의 유사도 검사를 위해서 사용하기에는 한계가 존재한다. 지금까지 대규모 소프트웨어의 유사도를 측정할 수 있는 객관적 방법이 거의 제시되지 않고 있어, 본 논문에서는 대규모 소프트웨어의 소스코드를 요약하여 서로 다른 프로그램의 유사도를 측정하는 방법을 제시한다. -
Jeong, Youn-Sik;Park, Yeong-Ung;Cho, Seong-Je 42
최근 안드로이드 애플리케이션의 수가 폭발적으로 증가함에 따라, 개인정보 유출 등 악성 행위를 하는 애플리케이션의 수 또한 증가하고 있다. 이에 대응하기 위해 스마트폰에서 개인정보 유출을 막기 위한 연구가 진행되어 왔으나, 이를 우회하는 악성코드도 지속적으로 출현하고 있다. 본 논문에서는 안드로이드 플랫폼에서 개인정보 유출을 방지하기 위해 안전한 저장소를 적용하는 방법을 제안한다. 기존의 UID와 퍼미션(Permission)에 의한 자원 접근제어와 달리, 안전한 저장소는 자원에 접근하는 주체의 권한(Privilege)에 관계없이 오직 app_Whitelist에 명시된 애플리케이션만이 해당 자원에 접근을 할 수 있도록 허용한다. 본 제안 방법을 위해 시스템 콜 후킹, 디렉터리명 변경, app_Whitelist 구축 등을 구현하였으며, 제안 방법을 적용하여 사용자 수준 및 커널 수준의 불법 데이터 접근을 차단할 수 있다. -
Kim, Ah-Reum;Jung, Jin-Man;Hong, Ji-Man 45
응용 프로그램의 QoS를 보장하기 위하여 태스크들에게 지분을 부여하고 단위 시간동안 각 태스크에게 주어진 지분만큼의 CPU 자원을 할당하는 비례 지분 알고리즘들이 많이 연구되었다. 대부분 비례 지분 알고리즘들은 태스크 수, 지분 분포 등의 다양한 환경에 따라 동작 방식이 다르기 때문에 이러한 인자들은 시스템의 공정한 자원 할당에 많은 영향을 준다. 본 논문에서는 비례 지분 알고리즘을 동작 방식에 따라서 분류한 후, 태스크의 수와 더불어 지분의 편향성, 즉 지분 분포에 따라 QoS 공정성 결과를 분석한다. 분석결과, 비례 지분 알고리즘에서는 태스크의 수 뿐 만 아니라 지분의 분포 역시 QoS 공정성에 많은 영향을 주며, 각 환경에 따라 효율적인 최적의 알고리즘들이 존재함을 확인하였다. 제안된 분석 결과는 QoS를 지원하는 다양한 시스템에서 효율적인 비례 지분 알고리즘을 선택하여 시스템의 신뢰성을 향상시킬 수 있다. -
Jae, Eun-Kyeung;Choi, Sang-Hoon;Cho, Yoo-Kun 48
최근 안드로이드 스마트폰 애플리케이션(Application, 이하 앱) 개발자가 늘고 있지만 앱 저작권 보호 기술적인 제도가 미비하여 불법 복제 앱 사용량이 늘고 있는 추세이다. 본 논문에서는 포렌식 마크 기반 저작권 보호 기법에 대한 연구를 바탕으로 개발자에게 제공가능 한 셀프 체킹 라이브러리를 구현하였다. 그리고 셀프 체킹 라이브러리 구동성을 실험하기 위해 현존하는 앱 마켓 서버와 마켓 앱을 구축하여 실제 환경에서의 적용성 및 실용 가능성을 증명하였다. 현재 본 논문에서 제안한 기법이 실용화가 된다면 앱 저작권 보호 뿐만 아니라 스마트폰 앱 시장 발전에 크게 이바지 할 것이다. -
Ko, Seung-Cheol;Choi, Jung-Sik;Kim, Seong-Gun;Han, Hwan-Soo 51
스마트폰과 같은 가상 메모리 환경의 임베디드 시스템은 메인 메모리의 제약과 다양한 응용프로그램들이 동시에 수행되어지기 때문에, 스왑 인/아웃(swap in/out)이 빈번히 일어난다. 스왑 비용은 메인 메모리에서 데이터를 사용하는 것보다 많은 시간이 걸려 이를 줄이기 위해 고속스왑장치를 사용한다. 이 때 기존 페이징에서 고려되지 않았던 코드 페이지를 스왑대상에 포함한다면, 빈번히 재시작이 일어나는 프로그램의 재기동 시간을 단축할 수 있을 것이다. 본 논문에서는 고속스왑장치를 사용하여 스왑비용을 낮추고, 자주 사용하는 코드를 동적으로 확인하여 코드페이지를 스왑대상에 포함시키는 방법을 제시한다. 이 기법의 효과를 확인하기 위해 멀티미디어 프로그램의 재기동 동작 시, 메모리 접근 정보를 트레이스(trace)하여 보조기억장치의 읽기 시간 감소를 확인하였다. -
Park, Soo-Jin;Lee, Jae-Young 54
민간 항공기용 통합항전시스템의 개발은 현재까지 국내에서는 거의 경험이 없는 분야이다. 국내에서는 군수용 항공기의 항법전자장치의 국산화 개발은 일부 추진되었으나, 민수용 항공기 분야에서는 전무하다. 세계 시장에서 민간 항공기의 수요는 증대되고 있으며, 이에 따라 민간 항공기용 통합항전시스템을 국내에서 개발하고 시험, 인증할 수 있는 능력이 요구되고 있다. 따라서 본 논문에서는 항공기의 비행/항법 등의 계기를 통합하는 항공전자 연구개발의 필요성, 세계적인 흐름과 핵심기술력의 확보를 위하여 민간 항공기용 통합항전시스템 개발에 관련한 국내/국외 기술수준 및 산업 동향, 국내에서 개발한 통합항전시스템 인증의 필요성에 따른 문제점 및 해결방안을 제시하고 있다. -
Choi, Byung-Ha 57
본 논문은 유해 트래픽을 탐지하는 보안 장비와 그에 따른 탐지 또는 차단 기법들을 분석한다. 즉 서버측의 방화벽, 침입 탐지 시스템과 웹 방화벽의 순서로 보안 장비의 배치와 클라이언트 측의 보안 시스템을 보여주고 이들의 탐지 기법들을 소개한다. 이후 이 장비들의 유해트래픽의 방향에 따른 탐지 기법들을 분석하고 유해트래픽 방향에 따라 침입을 탐지할 수 있는 탐지 기법들을 분석한다. 또한 유해 트래픽의 방향에 따라 탐지기법이 부족한 방향을 제시한다. -
Shin, Chang-Min 60
차량 전장용 임베디드 소프트웨어 플랫폼의 공개 표준인 AUTOSAR SW 플랫폼에서의 CAN에서는 송신단말에서 전달하려는 메시지가 큰 경우에는 메시지를 여러 개의 프레임들로 쪼개어 전송을 하고, 수신 단말은 쪼개진 프레임들을 하나의 메시지로 재조립한다. 이 때에 전송 오류가 발생하여, 수신 단말에 프레임이 전송되지 못할 수 있으며, AUTOSAR SW 플랫폼에서 규정하고 있는 기존의 CAN 모듈들은 이와 같은 전송 오류를 처리할 수 있는 기술인 재전송 기술이 규정되어 있지 않다. 본 논문은 AUTOSAR SW 플랫폼 기반의 CAN 통신에서 발생할 수 있는 메시지 전송 오류시에 메시지 재전송 방법에 관한 것이다. 본 논문에서는 전송오류가 발생한 프레임만을 다시 전송하여, 재전송이 효율적으로 이루어지도록 하였다. -
Kwon, Yong-Chan;Lee, Yoon-Joon 63
프린터 비즈니스 사업자가 고객의 프린팅 디바이스를 대행 관리하는 형태의 비즈니스인 MPS (Managed Printing Service)는 최근 프린팅 산업의 대표적인 B2B향 비즈니스이다. MPS 서비스 사업자는 대규모 고객 환경의 프린팅 디바이스에 대한 통합 관리(장애 관리, 소모품 관리, 사용량 관리 등)를 제공하며, 이를 통하여 고객사는 프린터 장비에 대한 구매 및 관리의 부담을 없애고 사용량에 기반한 과금액을 MPS 사업자에게 지불하는 형태의 비즈니스가 이루어진다. MPS 서비스에서의 정확한 사용량 취합은 가장 핵심 기능에 해당되며, 또한 이와 함께 사용자 별 허용된 사용(출력) 제한량 쿼터를 설정함으로써 전체 프린팅 코스트를 절감하기 위한 기능 및 사용자 별 사용량을 취합하여 과금하는 기능의 정확도 향상은 MPS 비즈니스의 매우 중요한 고객 요구사항이다. 이에 본 프로젝트는 P2P 기반의 네트워크 구성을 통하여 기존에 구현되어 있는 프린터 사용자 쿼터 제한 기능을 개선할 수 있는 방법을 제안하고자 한다. -
Son, Dong-Hwan;Park, Sa-Choun;Kim, Tae-Ho 66
소셜 네트워크 서비스에 대한 관심이 높아지고 있으며 이의 하나로 인스턴트 메신저를 이용한 통합 커뮤니케이션 서비스의 필요성이 커지고 있다. 본 논문은 이러한 요구사항 중 그룹 내 회의를 진행하는 데 필요한 정보의 생성, 전송 및 저장을 위한 기능을 XMPP 기반 인스턴트 메신저 형태로 구현하였다. -
Park, Ji-Yeon;Kang, Dong-Hwa;Cho, Yoo-Kun;Heo, Jun-Young 68
피쳐폰(Feature Phone)이 주를 이루던 초기 3G(Third Generation)는 사용자의 데이터 사용량이 많지 않았다. 그러나 스마트폰이 등장하면서 데이터를 이용한 서비스의 다양화, 저렴한 데이터 요금 정책으로 데이터 사용량이 대폭 증가하였다. 이동통신사가 예상하지 못한 데이터 사용량 증가로 3세대 망의 새로운 보안상 취약점이 나타났고 이를 이용한 DoS(Denial of Service) 공격이 발생하고 있다. 본 논문에서는 3세대 망에서 나타날 수 있는 DoS 공격의 하나인 DCH(Dedicated Channel) 고갈형 DoS 공격에 대한 논의하고 정상 사용자의 패킷 사용 패턴을 이용한 탐지 기법을 제안한다. -
Jung, Jin-Uk;Im, Dong-Hyuk;Lee, Kyung-Min;Zong, Nan-Su;Kim, Hong-Gee 71
최근 웹 2.0과 시맨틱 웹의 대중화와 더불어 Open API와 링크드 데이터를 이용한 시맨틱 웹 융복합(매쉬업) 서비스가 주목을 받고 있다. 다양한 링크드 데이터와 Open API들을 조합함으로써 새로운 서비스들을 쉽고 빠르게 만드는 것이 가능하기 때문이다. 하지만 사용자가 링크드 데이터와 Open API 서비스를 사용하기 위해서는 서비스 입력 값이나 출력값 등의 해당 정보를 얻어야 하며 이를 위해 링크드 데이터와 Open API를 제공해 주는 사이트를 직접 방문해야만 하는 불편함을 가지게 된다. 본 논문에서는 시맨틱 웹 매쉬업 서비스를 위한 통합 링크드 데이터 및 Open API 관리 시스템을 설계하고 구현하였다. 제안한 시스템에서 사용자는 사전 지식 없이 통합 관리 시스템을 통해 원하는 링크드 데이터와 Open API 서비스를 검색하고 실행할 수 있다. 또한 실행된 결과는 XML 형태로 저장되어 추후 매쉬업 시 재사용이 가능하도록 한다. -
Joo, Young-Min;Jung, Hyun-Jun;Baik, Doo-Kwon 74
반도체 공정은 웨이퍼를 제작할 때 오류가 발생할 경우 웨이퍼 전체를 사용하지 못하는 손실이 발생한다. 이로 인해 반도체 공정제어 소프트웨어는 높은 품질을 요구하고 있다. 반도체 공정제어 소프트웨어를 위한 테스트의 중요성도 높아졌다. 하지만 반도체 공정제어 공정제어 소프트웨어 테스트는 대상이 되는 프로그램에 따라 테스트 스크립트의 변화가 많다. 이로 인해 테스트 스크립트 작성의 비용이 높으며, 이미 작성된 스크립트의 재사용이 어렵다. 이러한 문제를 해결하기 위해 이 논문에서는 반도체 공정제어 소프트웨어를 위한 테스트 스크립트 생성과정과 생성된 스크립트의 재사용성을 높이기 위한 색인방법을 제안한다. 제안한 스크립트 생성과정은 반도체 공정제어에서 사용하는 일반적인 테스트 과정을 기반으로 스크립트 생성의 복잡도를 줄일 수 있다. 소프트웨어에 존재하는 함수의 수정으로 인한 스크립트 재사용성 불가 문제를 해결하기 위해 함수에 대한 정보를 색인하여 기존 스크립트의 재사용성을 높인다. -
Jung, Jin-Man;Kim, Bong-Jae;Park, Ji-Yeon;Cho, Yoo-Kun;Hong, Ji-Man 77
MSN 라우팅 프로토콜 설계에서 노드의 이동성 정도를 반영하는 것은 중요한 문제이며 다른 네트워크 인자의 특성들과 통합적으로 고려되어야 한다. 하지만, 기존 라우팅 기법들은 이동성의 고려가 미미하거나 다른 환경 인자들과 통합적인 고려가 되지 않았다. 본 논문에서는 모바일 센서 네트워크(MSN)에서 신뢰성 있고 에너지 효율적인 라우팅 기법을 제안한다. 먼저 동적인 네트워크 환경에서 이동성과 패킷발생율에 따른 에너지 소모 패턴 분석을 하였다. 분석된 결과를 바탕으로 제안 기법은 다양한 환경 인자에 따라 에이전트들이 싱크를 중심으로 자율적으로 구성하고 통신한다. 이러한 에이전트 기반의 라우팅 기법은 신뢰성 있고, 에너지 효율적인 통신을 가능하게 한다. 시뮬레이션 결과 제안 기법은 기존 기법에 비해 노드의 이동성의 변화가 심한 환경에서 에너지 효율적임을 보인다. -
Kim, Dong-Jin;Jeong, Youn-Sik;Cho, Seong-Je;Park, Min-Kyu;Lee, Jin-Young;Kim, Il-Gon;Lee, Tae-Seung;Kim, Hong-Geun 80
다양한 정보보호 제품이 개발됨에 따라, 정보보호 제품 보증을 위해 자체의 보안성 평가 및 인증이 중요시되고 있다. 정보보호 제품의 평가 및 인증을 위해서는 보안기능 검사와 취약점 분석 단계가 매우 중요하지만 이를 위한 정보보호 제품의 보안기능 시험과 취약성 분석을 위한 테스팅 절차에 대한 연구는 그 중요성에 비해 많이 수행되지 않았다. 현재까지는 보안제품을 기능별로 제품을 분류하여 보안성을 평가하였는데, 본 논문에서는 보안 제품들에서 공격에 취약한 SW 모듈 중심으로 테스팅 대상을 분류하는 방법을 제안한다. 분류된 SW 모듈별로 적합한 보안 테스팅 기법을 정의하고, 보안제품의 취약점을 효과적으로 탐지하기 위해 공개되어 있는 관련 취약점도 분석하였다. 이를 통해 정보보호 제품의 취약점 분석 및 제품 보안성 평가를 위한 SW 모듈별 보안 테스팅 절차를 수립하고, 테스트하였다. 실험을 통해 취약한 SW 모듈별 적절한 공격 기법 선정 시 제안 절차가 정보보호 제품 평가 인증에 활용될 수 있음을 확인하였다. -
Kim, Bong-Jae;Jung, Jin-Man;Cho, Yoo-Kun;Hong, Ji-Man 83
최근 스마트폰과 같은 모바일 단말기는 데이터 통신을 위해 3G, WiFi, WiBro, LTE 와 같은 다수의 네트워크 인터페이스를 가지고 있다. 또한 이와 같은 모바일 단말기는 대부분 배터리로 동작하기 때문에 에너지 효율성은 매우 중요한 요소이다. 따라서 해당 단말이 통신을 할 때, 주변 네트워크 환경에 따라 에너지, 통신비용 등을 고려하여 최적의 네트워크를 선택하여 사용할 수 있다. 이 때 주변 네트워크 환경에 따라 최적의 네트워크 인터페이스를 탐색하고 선택하는 것은 사용자의 명시적인 선택이나 주기적인 탐색 방법 등이 사용될 수 있다. 본 논문에서는 네트워크 탐색 주기에 따른 다중 네트워크 인터페이스 단말기의 에너지 효율성을 분석하고 효율적으로 네트워크 인터페이스를 선택하는 미들웨어의 프로토타입을 구현하고 평가하였다. -
Kim, Tae-Hwan;Seong, In-Hyeong;Han, Kyung-Sook;Pyo, Chang-Woo 86
코드 포인터 공격을 이용한 제어 흐름은 실행 중에 간접 분기의 무결성을 검사하는 것으로 보호할 수 있다. 간접 분기는 반복되는 목적지 주소로의 분기인 경우가 많지만, 목적지 주소는 실행 시간에만 알 수 있기 때문에 여러 가지 예외적인 상황을 적절히 대처할 방법이 필요하다. 본 논문에서는 동적 이진 계측화를 활용하여 실행 중 발생하는 간접 분기를 분석하고, 수집한 주소들을 빠르게 비교하는데 효과적인 주소 비교 기법들을 제시한다. 또한 각 기법을 비교하여 프로그램에 따라 주소 비교의 효율성을 극대화하는 방안을 모색하였다. 이러한 기법을 통해 간접 분기가 야기하는 여러 문제점에서부터 보안 분야에 이르기 까지 활용 범위를 넓힐 수 있을 것으로 기대한다. -
Lee, Joon-Woo;Kim, Kang-Hee 89
플래시 저장장치는 순차 쓰기패턴에 높은 성능을 보이고, 랜덤 쓰기패턴에 낮은 성능을 보인다고 알려져 있다. 그러나 실제 응용 프로그램은 동작 방식에 따라 복합적인 패턴을 보일 수 있다. 본 논문은 대표적인 모바일 응용으로서 웹 브라우저 응용의 파일시스템 접근 특성을 정량적으로 분석하고자 한다. 최근에 안드로이드 스마트 폰에 채택된 Ext4 파일시스템을 기준으로 웹 브라우저 응용의 파일시스템 요청들을 성능개선점을 지적하고자 한다. -
Jeon, Cheol;Cho, Yoo-Kun;Hong, Ji-Man 92
안드로이드 운영체제는 애플리케이션들이 서로의 코드와 데이터를 공유할 수 있도록 애플리케이션 컴포넌트간의 통신을 지원한다. 또한 보안을 위해 컴포넌트간의 통신을 엄격하게 제어하기 위한 퍼미션을 제공한다. 하지만 개발자의 보안의식 부재에 따른 퍼미션의 잘못된 사용은 애플리케이션 컴포넌트를 노출시켜 검증되지 않은 애플리케이션이 코드와 데이터에 접근할 수 있게 만드는 문제를 야기할 수 있다. 특히, 노출된 컨텐트 프로바이더(content provider)는 악성 애플리케이션이 기존 탐지 툴을 회피하여 개인정보를 임시로 보관하는 저장소로 악용될 수 있다. 따라서 하나의 애플리케이션만을 분석하는 기존 탐지 툴로는 이와 같이 협력적으로 동작하는 악성 애플리케이션을 탐지 할 수 없다. 본 논문에서는 노출된 컨텐트 프로바이더를 이용한 협력적 개인정보 유출 공격 시나리오를 제시하고 이를 탐지하기 위한 기법을 제안한다. 제안한 기법을 토대로 만든 탐지 툴 사용해 총 189개의 안드로이드 애플리케이션을 분석하였고 그 결과로 컨텐트 프로바이더를 노출시킨 32개의 애플리케이션과 개인정보를 유출할 가능성이 있는 애플리케이션 4개를 탐지하였다. -
Jung, Kyoo-Chul 95
본 논문은 실제 테스트를 하려는 상황에서 필요한 테스트 값을 자동으로 생성하는데 있어, 자동 생성하는 값에 사용자의 의도를 반영 할 수 있도록 설정할 수 있는 패턴에 대해 정의하고 그 패턴의 대한 종류와 그 쓰임새에 대해서 설명 하였다. -
Kang, Dong-Hwa;Park, Ji-Yeon;Cho, Yoo-Kun 98
모바일 웜의 전파 속도는 시간이 지날수록 급격히 빨라진다. 급속도로 전파하는 웜을 억제하기 위한 연구가 계속 진행되어 왔다. 기존 연구 중 하나로 소셜 네트워크를 그래프(Graph)로 표현하고 분할한 뒤 각 파티션의 대표노드(Key Node)를 선택해 웜 패치를 전파하는 기법이 있다. 이 기법은 패치 전파 속도를 웜 전파 속도보다 빠르게 해서 웜을 억제 시킨다. 하지만 이 기법에서는 대표노드에 가중치(Weight)가 낮은 간선(Edge)이 연결 될 수 있거나 대표노드가 없는 파티션이 생길 수 있다. 잘못된 대표노드 선정은 패치 전파속도를 저하시키고 웜 억제를 지연시킬 수 있다. 본 논문에서는 페이지랭크를 이용해서 대표노드를 선정하는 개선된 소셜 네트워크 기반의 웜 패칭 기법을 제안한다. 제안 기법은 웜 패칭 전략에 사용할 수 있도록 수정한 페이지랭크를 각 파티션에 적용해서 대표노드를 선정한다. 파티션마다 전파 능력이 가장 높은 노드가 대표노드로 선정되기 때문에 웜 패치 전파 속도를 향상시킬 수 있다. -
Choi, U-Jin;Jeon, Gwang-Ii;Jang, Joon-Hyouk 101
스마트 폰의 사용자가 급격하게 증가함에 따라 보안 관련된 다양한 이슈 및 관심도 함께 높아지고 있다. 스마트폰 대상의 악성 코드의 침입 경로가 다양화 되고 있으며, 개인 정보 유출 및 불법적 과금 등의 피해 사례가 증가하는 추세에 있다. 하지만, 스마트 폰은 배터리를 사용하는 등의 자원 제약적인 특성을 가지고 있어 이러한 공격을 탐지하고 보호하기 위해서 일반적인 탐지 기법들을 그대로 사용하기 어렵다. 본 논문에서는 스마트 폰 환경에서 침입 탐지 기법의 종류를 분류하고 각 탐지 유형을 분석한다. -
Jang, Joon-Hyouk;Cho, Yoo-Kun;Hong, Ji-Man 104
소프트웨어 버스마크 (Software Birthmark)는 프로그램 실행 파일로부터 프로그램의 고유한 정보를 추출하는 기법이다. 프로그램의 도용을 판별하기 위해 바이너리로부터 버스마크를 추출하여 원본 프로그램과의 유사도를 측정하거나 악성 코드 탐지에 사용된다. 본 논문에서는 그래프 기반 바이너리 구조 매칭기법을 기반으로 한 버스마크를 제안한다. 제안 기법은 원본 프로그램과 대상 프로그램 사이에서 함수와 함수, 기본 블록과 기본 블록의 매칭 방법을 개선함으로써, 기존 기법에 비해 강인성(Resilience)이 향상된 버스마크를 추출한다. -
Lee, Jin-Ho;Choi, Jin-Young;Bang, Ki-Seok;Koh, Byoung-Ryoung 107
안전필수 소프트웨어는 다양한 분야에 걸쳐 개발과 인증을 위한 표준들이 정의되어 있고, 대부분 프로세스 중심의 인증 방식을 채택하고 있다. 프로세스 중심의 인증 방식의 단점은 제품 소프트웨어의 검증 속성을 보장할 수 없고, 표준에 따라 관점과 관심 속성이 달라서 상호연관이 있는 속성사이의 관계를 기술하는데 적합하지 않다. 본 논문에서, 안전필수 소프트웨어의 표준들의 비교를 통해 특성을 살펴보고, 안전성과 보안 속성을 함께 갖는 안전필수 소프트웨어 개발을 위해, 보증 문서(assurance case) 구성을 목표 설정 표기법(goal structuring notation)으로 작성하고 결과를 고찰한다. -
Ahn, So-Jin;Hwang, Dae-Yon;Choi, Jin-Young 110
정형기법은 소프트웨어 및 하드웨어 시스템의 요구사항을 모순, 모호함 없이 정확하게 명세하고 검증할 수 있는 방법으로, 안전성이 중요한 소프트웨어에 많이 적용되어 반드시 보장되어야 할 속성을 소프트웨어가 만족하는지 확인하는데 사용되고 있다. 본 논문은 정형기법 커뮤니티에서 선정한 여러 도전 과제 중 하나인 인공 심장 박동기(pacemaker)를 실시간 속성을 표현할 수 있는 정형기법 도구인 UPPAAL을 사용하여 모델링하고 주요 속성을 검증하였다. 이를 통해 실시간 속성으로 인해 명세 및 검증하기 힘든 소프트웨어에 정형기법을 적용하여 안전성을 확인할 수 있음을 보인다. -
Kim, Hee-Sun;Kim, Sung-Ryul 113
안드로이드 앱의 불법 복제를 방지하고자 기존에 온라인 실행(Online Execution Class: OEC) 또는 앱을 암호화된 상태로 배포하여 실행 시에 적법한 사용자만이 암호를 복호화하여 실행이 가능하도록 하는 방법들이 있다. 하지만 스마트폰이 저전력과 저사양인 점을 고려할 때, 위에 방법은 스마트폰의 보안을 보장할 수 있지만 성능 면에서 부담이 된다. 본 논문에서 OEC를 암호화하여 보안 수준을 높이고 개발자에게 보안 수준을 선택할 수 있게 하여 환경에 맞추어 안전을 유지할 수 있도록 시스템 설계를 제안한다. -
Lim, Ji-Hyeog;Lee, Chan-Hee 116
안드로이드 앱 시장이 활성화되면서, 안드로이드 앱의 불법복제나 역공학 공격으로 인한 피해가 증가하고 있다. 앱 불법복제는 앱 판매 수익의 저하뿐만 아니라 개발자의 의지를 뺏고 개발 노력에 대해 상대적 박탈감을 주게 된다. 자바 프로그램의 경우 역공학으로 인해 바이트 코드에 존재하는 핵심 알고리즘이 쉽게 노출되어 지적재산권이 유출될 수 있다는 점에서 개발자나 개발사에게 심각한 위협이 되고 있다. 본 논문에서는 안드로이드 환경에서 앱에 대한 역공학 공격의 위협을 보이고, 역공학 방지 기법인 RACC를 제안한다. RACC는 보호할 핵심 클래스를 앱으로 부터 추출하여 바이트 코드 형태로 안전한 원격 서버에 관리하여 수행하며, 스마트폰(클라이언트)에는 저장하지 않는다. 스마트폰 앱이 해당 핵심 클래스를 호출하면, 그 호출이 원격 서버로 전송되어 수행된 후 결과가 스마트폰에 반환된다. 이처럼 핵심 클래스 코드가 클라이언트에 직접 노출 없이 원격지에서 관리되고 수행됨으로써 역공학 공격을 원천적으로 방지한다. -
Jang, Young-Jun;Lee, Min-Suk 119
본 논문에서는 닌텐도 DS를 이용하여, 임베디드 소프트웨어 교육을 수행하기 위한 준비 과정과, 실제 교육 내용을 소개하고, 향후 계획을 공유하고자 한다. 닌텐도 DS는 가격이 저렴한 게임기로 ARM9, ARM7 두 개의 CPU를 가지고 있으며, 기본적인 입출력 장치, 그래픽 가속기, 무선랜 등을 모두 포함하고 있다. 우리는 이 닌텐도 DS에 실시간 운영체제인 FreeRTOS를 이식하고, Eclipse 기반의 IDE 개발 도구 및 원격 디버깅 환경을 구축하였다. 또, 교육 과정에서는 하드웨어의 제어, RTOS의 기본 API의 활용, IPC, 동기화 문제의 해결에 이르는 주제를 포함함으로써 임베디드 소프트웨어 엔지니어가 지녀야할 기본적인 스킬들을 두루 다루는 실습이 되도록 구성하였다. 개발된 교육 환경 및 실습을 위한 강의 자료는 공개 소프트웨어로서 100% 공개되어 누구나 이용할 수 있다. -
Hong, Seong-Yong;Yi, Mun-Yong;Yoon, Wan-Chul 122
최근 지식정보화 시대의 집단지성기반 교육 패러다임 변화는 큰 이슈로 떠오르고 있다. 특히 융합적 학문을 근원으로 창의성 계발과 아이디어를 중요시하고 있으며, 창조적 교육방식을 지향하고 있다. 그러나 다양한 영역에 지식전문가들과 학습자들 간에 지식을 공유하기 위한 플랫폼 공간이 제대로 제공되고 있지 못하며, 단순한 컨텐츠 제공을 목적으로 이러닝 서비스가 일부 제공되고 있는 것이 현실이다. 따라서 본 논문에서는 집단지성을 기반으로 지능형 튜터링 에이전트 시스템 설계를 제안하고, 새로운 에이전트(Agent) 개념을 통해 지식인들과 학습자들 간에 지식을 공유할 수 있을 뿐만 아니라 새로운 지식을 창출하고, 관리 및 유통할 수 있는 구조를 연구하였다. 또한 사용자들로부터 발생하는 데이터와 정보들을 자동 분석하여 지능적으로 학습상황에 대처할 수 있도록 설계하였으며, 튜터(Tutor)와 튜티(Tutee)간에 협력적인 학습 생태계가 형성될 수 있도록 하였다. 따라서 본 연구의 결과를 기반으로 미래 스마트 학습 플랫폼 발전에 많은 도움이 되길 기대한다. -
Yoon, Tae-Bok;Lee, Jee-Hyong 125
IT기술의 발달과 함께 학습자의 학습 성향, 능력, 환경 등을 인지하고 그에 적절한 서비스가 가능한 지능형 교육 시스템이 많은 관심을 받고 있다. 학습자에게 지능적이고 개인화된 서비스를 위해서는 학습자를 인지하기 위한 작업이 선행되어야 하며, 이 인지과정을 위해서는 학습자의 학습 과정에서 발생한 데이터를 수집하고 분석하게 된다. 하지만, 수집된 데이터가 학습자의 일관되지 못한 행위나 예측하지 못한 학습 성향을 포함하고 있다면, 그 결과를 신뢰하기 어렵다. 본 논문에서는 학습자에게서 수집된 데이터를 SVDD를 이용하여 가중치를 부여하고, 그 값을 인지과정에 활용한다. 실험에서는 홈 인테리어 교육 컨텐츠 기반에 학습자의 학습 행위에 대한 학습 성향을 진단하기 위해 DOLLS-HI를 이용하였고, 수집된 학습자의 데이터를 분석하여 전통적인 분석 방법 대비 제안하는 방법의 유효함을 확인하였다. -
Kang, Du-Won;Rhee, Sang-Min;Gil, Myeong-Seon;Moon, Yang-Sae 128
본 논문은 교육 현장의 전산 기자재 관리의 비효율성을 바꿔나가고 새로운 변화에 적응력을 키워나가는 취지에서 접근하였다. 현재 각 학교에는 교원 1인당 1 PC가 보급되어 있으며, 네트워크 환경도 잘 구성되어 있다. 이러한 환경을 기초로 본 논문에서는 학교에서 작성 되고 있는 관리 대장을 전자 문서화함으로써, 관리 대장의 검색, 생성, 삭제, 삽입, 변환 등에 따른 업무 비효율성을 최소화하였다. 본 연구에서는 전자 문서화 시스템의 서버 프로그램으로 RW-APM을 사용하였으며, 여러 가지 대화형 게시판과 SMS를 이용한 관리자 호출을 통해 관리자뿐 아니라 일반 사용자들도 시스템과 학교 장비의 문제점에 대해 의견을 나눌 수 있도록 하였다. 본 연구에서 개발된 전산 기자재 관리 대장 시스템은 여러 실무 담당자들의 의견을 수용함으로써 교육 현장에 최적화 된 환경을 제공하기 위해 노력하였다. 이러한 시스템을 확장하여 활용한다면 교육 지원 활동에 대한 효율성을 높일 수 있으며, 이는 교사와 학생들의 교육 활동에 긍정적인 효과를 줄 것으로 기대된다. -
Nah, Jeong-Ho;Jo, Gang-Won;Kang, Soo-Yeon;Jung, Woo-Keun;Lee, Jae-Jin 131
본 연구에서는 컴퓨터의 개념을 학부 신입생 교육과정에서 쉽게 이해할 수 있도록 ARM 명령어 집합의 부분 집합을 정의하고, 어셈블리 언어 코드를 입력받아 실행하는 가상 머신을 설계하고 구현하였다. 기존 교육 과정의 컴퓨터 구조 과목에서 다루는 어셈블리 언어는 실제의 머신을 기반으로 하기 때문에 개념을 학습하는데 있어서 불필요하게 복잡하다는 단점이 있다. 하지만 본 연구에서는 교육에 필요한 내용만을 포함한 가상 머신을 새롭게 정의함으로써 좀 더 우아한 방법으로 컴퓨터의 개념을 이해할 수 있도록 하였다. 특히 어셈블리 언어 학습을 통해서 컴퓨터 구조와 고급 언어 간의 상호작용을 이해하는데 도움이 될 수 있다. 제안한 가상 머신은 자바로 구현하였으며, 스캐너 및 파서를 구현하기 위해서 오픈소스 컴파일러-컴파일러 시스템을 사용하였다. 해당 가상 머신은 공과대학 학부 신입생을 위한 실습 프로그램으로 사용되었으며 컴퓨터 개념의 이해를 돕는데 유의미한 기여를 하였다. -
Hong, Su-Jin;Roh, Jin-Lee;Lee, Jeong-Joong;Baik, Sung-Wook 134
본 연구에서는 일반 어린이들이 쉽게 활용할 수 있는 콘텐츠 저작시스템(COSMOS KID)을 발달장애 학생들에게도 활용가능한 저작시스템으로 개선하기 위하여 발달장애 학생들에게 기존 시스템을 직접 활용하게 해봄으로써 시스템 기능 이해 및 숙련도를 파악 및 분석하여 이에 대한 보완점 및 대안을 모색하여 다음과 같이 시스템 개선에 대한 연구 결과를 제안하고자 한다. (1) 실험 대상자들의 학습능력 부족으로 인해 최종 프로그램 숙련도가 매우 낮은 것으로 나타났으며, 이를 보완하기 위해 발달장애 아동의 특성을 고려한 인터페이스 개선이 우선적으로 필요할 것으로 파악되었다. (2) 발달장애 학생들의 음성표현능력이 매우 낮아서 저작하는 콘텐츠의 스토리를 적절히 표현하지 못하여 이를 보완하기 위한 방안으로 자막처리가 가능한 기능 등의 원활한 인터랙션이 지원될 수 있는 시스템 환경이 구축이 필요하다고 판단되었다. -
Lee, Young-Geun 137
최근 교육분야에서 주목을 받고 있는 스마트 교육에 있어 다양한 연구 및 서비스가 진행되고 있다. 급변하는 정보통신기술에 따라 교육환경도 빠르게 변해 가고 있으며, 교육효과 측면에서 고려해야 할 요소가 많아지고 있다. 본 논문에서는 스마트 교육 개념 및 현황을 파악하고 스마트 교육콘텐츠 모형을 제안한다. 제안된 교육콘텐츠 모형은 향 후 스마트 교육서비스가 교육성과 측면에서 활성화 되는데 고려할 수 있을 것이다. -
Kim, Hong-Gyu;Kim, Hong-June;Egger, Bernhard;Lee, Jae-Jin 140
리눅스 환경에서는 빠른 개발 및 디버깅을 위한 다양한 시스템 도구들이 존재하는데 라이브러리 함수 호출을 추적할 수 있는 도구로는 ltrace 가 널리 사용되고 있다. 현재 제공되는 ltrace 에는 ARM 리눅스 환경에 대한 지원이 있지만 커널 내부의 기능 미구현으로 정확한 동작을 하지 않는 상태이다. 본 논문에서는 현재 ltrace 가 ARM 리눅스 환경에서 갖는 문제점을 제시하고, 이에 대한 방안을 ltrace 의 내부에 직접 구현하여 문제없이 실행 가능하도록 한다. 이를 통해 실제 ARM 리눅스 환경에서 Parsec 벤치마크의 7개 프로그램을 실행하고, 각 프로그램의 라이브러리 함수 호출을 추적하여 정상적으로 동작함을 보인다. -
Park, Se-Jin;Park, Chan-Ik 143
멀티레벨 스토리지 접근은 클라우드 시스템, 가상화 환경, 네트워크 기반 스토리지 등 많은 컴퓨팅 환경에서 널리 사용되고 있다. 이러한 멀티레벨 스토리지의 접근성능을 향상시키려면, 되도록 하위 레벨의 스토리지로 요청이 일어나지 않게 하는 것이 중요하며, 이는 각 레벨의 버퍼캐시 성능이 큰 영향을 미친다. 다양한 버퍼캐시 알고리즘들 중 ARC 알고리즘은 동작의 간결성과 고성능으로 인해, 많은 워크로드에서 가장 좋은 성능을 보이는 캐시 알고리즘으로 알려져 있다. 그러나, ARC 알고리즘은 2차 레벨 버퍼캐시에서는 좋은 성능을 보이지 않는데, 이는 ARC 알고리즘이 멀티레벨 캐시의 특성을 반영하지 못하고 있기 때문이다. 본 논문에서는 멀티레벨 캐시의 특성과 이를 반영한 M-ARC 라는 멀티레벨 버퍼캐시 알고리즘을 제안한다. 제안하는 알로리즘은 기존 ARC에 비해 약 2배 이상 향상된 성능을 보여주고 있다. -
Kim, Jong-Seo;Jin, Hyun-Wook;Jeon, Seung-Hyub;Ahn, Chang-Won 146
임베디드 환경에서의 가상화 연구는 분산 되었던 노드들을 통합할 수 있게 해주면서도, 기존의 시스템 소프트웨어를 수정 없이 사용할 수 있다는 장점으로 인해 각광 받고 있다. 하지만 기존 VMM(Virtual Machine Monitor)의 I/O 가상화 기술은 임베디드 환경에 바로 적용하기에는 비효율적인 구조를 취하고 있다. 본 논문에서는 임베디드 시스템을 위한 전가상화 VMM인 ViMo를 기반으로 virtio를 적용하여 기존 VMM들의 I/O 가상화보다 효율적인 구조의 임베디드 I/O 가상화 기법을 제안한다. -
Lee, Se-Ho;Kim, In-Hyeok;Eom, Young-Ik 149
서버가상화는 제한된 컴퓨팅 자원을 이용하여 다수의 운영체제를 가동시키는 기술이다. 한정된 컴퓨팅 자원을 이용하는 가상화 기술은 메모리 공간 부족이라는 문제를 야기했다. 이를 해결하기 위한 메모리 중복제거 기술들이 소개되고 있다. 그러나 많은 논문들 호스트와 가상 머신간의 메모리 사용 정보 부족으로 인해 많은 오버헤드를 가지고 메모리 중복제거 기술을 제공하고 있다. 본 논문은 메모리 공유 비중이 가장 큰 가상 머신의 페이지 캐시 정보를 제공하는 파일 시스템을 기반으로 페이지 스캐닝을 통한 효율적인 메모리 중복제거 기법을 제안한다. -
Kim, Ye-Seong;Song, Wook;Kim, Ji-Hong 152
스마트폰은 배터리를 사용하는 기기이기 때문에 전력 최적화가 매우 중요한 사안이다. 특별히, 많은 에너지가 소모되는 3G 네트워크 인터페이스에서, 불필요하게 대기하며 발생하는 Tail 에너지를 줄이기 위한 연구가 활발히 진행되어 왔다. 기존의 연구들은 사용자와 응용의 특성을 고려하지 않고 전송 예측 방법에 대해서도 논하고 있지 않아 실제 시스템에 적용하는데 한계가 존재한다. 본 논문에서는, 국내 망환경에서 적용 가능한 3G 모델을 통해 사용자의 응용 별 사용 경향성을 파악하고, 응용 별로 서로 다른 Tail 지속 시간을 선택하여 에너지를 최적화 할 수 있는 방법을 제시한다. 본 기법을 적용하였을 때, 10%의 지연 증가를 준수하며, 평균 34%의 네트워크 에너지를 줄일 수 있었다. -
Lee, Nam-Su;Kang, Dong-Woo;Kim, Se-Woog;Choi, Jong-Moo;Kim, Jun-Mo 155
최근 클라우드 컴퓨팅의 핵심 기술로서 가상화 기술이 대두되고 있다. 가상화는 컴퓨터 자원의 물리적인 특징을 추상화하여 사용자에게는 논리적 자원을 제공하고 이를 통해 기술적 및 관리적 이점을 제공한다. Xen 가상화 환경에서 가상머신에 디스크 공간을 할당하는 한 가지 방식으로 하나의 하드디스크 파티션을 가상머신에 할당하는 방식이 있다. 위와 같은 환경에서는 같은 하드디스크에 존재하는 가상머신들임에도 불구하고 데이터에 접근하는 물리적 특성으로 인해 읽기/쓰기 성능 불균형이 발생하고, 가상머신의 수가 증가함에 따라 파티션 간의 최단 탐색거리 증가로 인해 동시적 읽기/쓰기의 성능이 저하되는 문제점이 발생한다. 본 논문은 이러한 문제점을 해결하기 위해 새로운 파티션 구조인 Onion 파티션 구조를 제안한다. Xen버전 4.1의 환경에서 Domain-0 커널버전 2.6.32를 수정하여 구현 및 실험을 하였다. 실험 결과, 각 가상머신의 독립적 읽기/쓰기 성능 편차가 기존대비 8%, 10%수준으로 개선되었으며, 가상머신들의 동시적 읽기/쓰기 성능은 기존대비 156.76%, 119.01%의 성능 향상을 보였다. -
Kim, Jung-Han;Kim, Tae-Hyoung;Eom, Young-Ik 158
가상화 기술은 하드웨어와 소프트웨어의 비약적인 발전과 함께 다양한 분야에 적용되어 컴퓨팅 자원 활용성을 높이고 있다. 최근에는 클라우드 컴퓨팅 환경과 함께 더 많은 수의 가상 머신의 지원이 요구되고 있다. 이에 따라 많은 수의 가상 머신에게 효율적인 I/O를 제공하기 위한 장치 가상화 기술의 중요성이 커지고 있다. 이를 해결하기 위해 다양한 장치 모델이 제안되었으나 모드 전환 비용에 대한 근본적인 해결 방법을 제시하지 못하고 있다. 이에 본 논문에서는 새로운 폴링 장치 가상화 기술인 커널 레벨 장치 가상화 프레임워크를 제안하고 구현된 프로토타입에 대한 실험을 통하여 본 기술을 검증하였다. -
Ahn, Woo-Geun;Lee, Shin-Hyoung;Yoo, Chuck 161
전통적으로 단순 그래픽 연산에만 사용되던 GPU는 연산 속도의 증가와 고수준의 언어 지원을 통해서 일반적인 용도로도 사용 가능한 GPGPU기술로 발전했다. GPGPU는 병렬 처리 능력과 속도 개선을 목적으로 다방면에 걸쳐 사용되고 있는데, 기본적으로 Linux user mode에서의 사용만 가능하며 kernel mode에서의 사용은 지원되지 않는다. Linux kernel 내부에서도 GPGPU 사용이 가능해진다면, User application 뿐만 아니라 Linux kernel의 성능 개선에도 GPGPU를 사용할 수 있을 것이다. 우리는 Linux kernel의 system call과 user mode의 mediator process를 사용한 Linux kernel mode에서의 GPGPU 사용법을 제시하고, 향후 성능 개선을 위한 기준점을 제공한다. -
Kim, Sang-Chul;Jung, Hyun-Jong;Song, In-Sun;Nang, Jong-Ho 164
최근 스마트 기기의 보급과 무선 인터넷망의 보급으로 언제 어디에서나 비디오를 시청할 수 있다. 하지만 무선 인터넷 망의 품질이 안좋을 경우 영상의 QoS(Quality of Service)를 낮춰 프레임을 스킵하여 전송하게 된다. 이 때 FRUC(Frame Rate Up Conversion)기술을 적용한다면 원본의 프레임 레이트를 확보할 수 있어 QoS를 높일 것으로 기대한다. FRUC에서 MV(Motion Vector)추정시에 연산량이 매우 높아서 스마트 기기에 적용하는 것이 어렵지만 H.264코덱으로 인코딩된 동영상은 자체적으로 MV정보를 갖고 있기 때문에 이 MV를 FRUC에 적용할 수 있다면 FRUC의 연산량을 줄일 수 있을 것이다. 이를 위해서 H.264에 적용된 ME(Motion Estimation)와 FRUC에 적용된 ME의 차이를 고려하여 H.264코덱의 MV가 유용한지 분석하는 것이 선행돼야 한다. 본 논문에서는 H.264 MV와 FRUC의 MV의 차이를 분석하고 유용성을 판단하는 실험을 통해 H.264로 인코딩 된 비디오의 MV중 상당수가 FRUC에 적합함을 확인했다. -
Im, Soo-Jun;Song, Jun-Sup;Shin, Dong-Kun 167
오늘날 휴대용 기기에서의 그래픽 처리 요구사항이 증가함에 따라 저전력, 저비용 그래픽 프로세서의 필요성이 대두되고 있다. 이에 따라 크로노스 그룹은 휴대기기를 위한 그래픽 API 표준인 OpenGL ES 2.0을 발표하였다. 본 논문에서는 OpenGL ES 2.0을 상정하여 구성된 그래픽 프로세서를 위한 쉐이더 컴파일러를 개발하고 최적화하는 연구를 수행하였다. 개발된 컴파일러는 OpenGL ESSL로 작성된 쉐이더 프로그램을 정상적으로 컴파일하고 동작시켰으며 타겟 GPU에 적합한 최적화 기법을 적용하여 쉐이더 프로그램의 크기를 최대 10%가량 절감하고 성능을 10~15%가량 향상시켰다. -
Kwon, Ji-Hye;Lee, Chang-Gun 170
실시간 시스템(real-time system)은 논리적 연산을 일정한 시간적 제약 하에서 수행하는 시스템이다. 시간적 제약을 충족하도록 주기적 태스크(periodic task)를 스케줄(schedule)할 때 일반적으로 태스크 오프셋(initial offset)이 0 이거나 고정된 것으로 가정한다. 그러나 오프셋에 약간의 유연성을 허용함으로써 태스크들의 평균 응답 시간을 줄일 수도 있다. 이 논문에서는 주기적 태스크의 오프셋을 주어진 허용 범위 안에서 선택하여 평균 응답 시간(response time)을 최적화할 수 있음을 보이고, 임의의 태스크 집합에 대하여 최적 오프셋이 존재하는 좁은 범위를 제시한다. -
Oh, Jin-Soo;Lim, Sung-Soo 173
데이터 센터와 같은 대량의 서버를 사용하는 시설이 늘어남에 따라 전력 소모 관리와 열 발생 관리는 매우 중요한 문제가 되었다. 열 관리 연구들의 경우 대부분 열관리의 목적이 시스템의 오류를 방지하는 것이다. 하지만 열 관리에는 많은 전력 소모량이 사용된다. 따라서 열관리를 잘 해주는 것은 전력 관리를 효율적으로 해주는 것이라고 할 수도 있다. 본 논문은 열 관리를 전력 관리라는 측면에서 접근했다. 즉 열 관리에 사용되는 전력과 열로 인해 발생하는 전력을 고려해서 이를 최소화하는 냉각 제어 기법을 구현하였다. 우리가 개발한 냉각 제어 기법을 실제로 실험해서 기존의 냉각 기법과 비교해본 결과 전력 소모량을 17% 감소시키는 것을 확인 할 수 있었다. -
Jung, Sang-Hyuk;Song, Yong-Ho 176
낸드 플래시 메모리는 FTL의 페이지 re-mapping 동작으로 인하여 특정 페이지가 무효화되었음에도 불구하고 물리적으로 소거되지 않은 상태로 낸드 플래시 공간을 점유하는 문제가 발생할 수 있다. 플래시 저장장치의 제어기는 플래시 기반 저장장치의 지속적인 쓰기 성능 유지와 저장 용량 확보를 위해 무효 페이지를 물리적으로 제거하고 유효 페이지를 수집하는 가비지 컬렉션 연산을 수행한다. 따라서 다수의 블록을 대상으로 가비지 컬렉션 연산을 수행할 경우, 많은 페이지 복사와 블록 삭제 연산들로 인한 저장장치 지연현상이 발생할 수 있다. 본 논문에서는 낸드 플래시 저장장치에 적용 가능한 효과적인 가비지 컬렉션 메커니즘을 제안한다. 선점방식 가비지 컬렉션 기법은 블록 맵의 데이터 구조를 간단히 수정하여, 단일 블록을 대상으로 가비지 컬렉션을 수행한다. 이 기법의 유효성은 페이지 복사와 블록 삭제 연산을 세부 단위로 분할하여 처리가 가능하므로 가비지 컬렉션이 수행되는 도중에 요청되는 호스트의 요청에 기민하게 응답가능하다는 것이다. -
Shin, Jin-Chul;Won, You-Jip;Gim, Jong-Min 179
본 연구는 NAND 플래시 기반의 임베디드 시스템에 warm-start 개념을 도입하여 재부팅 시간을 단축시키는 방법에 관한 연구이다. NAND 플래시 기반의 임베디드 시스템에서는 부팅 시 커널 이미지를 NAND 플래시에서 DRAM으로 로드하는 과정이 필요하다. 최근 SoC (System-On-Chip)는 "software reset" 기능을 지원하며 DRAM의 내용을 훼손하지 않고 시스템을 리셋하는 것이 가능하다. 우리는 이 기능을 이용하여 DRAM 상에 이미 로드되어 있는 커널 요소를 재부팅 시에도 다시 사용하도록 구현하고, 그에 따라 중복된 커널 요소의 로드를 제거했다. 이 기법을 우리는 KWS(Kernel-Warm-Start) 라는 이름으로 정의했다. KWS 에서는 부팅이 재부팅인 경우 필요한 커널 요소만을 로드한다. 결과적으로 재부팅 시 커널 요소의 로드 크기를 89.29% 감소시킬 수 있었고, 재부팅 시간을 첫 번째 부팅에서 75.47% 단축할 수 있었다. -
Yoo, Min-Hyung;Kim, Ho-Young;Han, Sang-Hyuck;Kim, Young-Kuk 182
산업분야에서 이용되는 이력 데이터는 압력, 부피, 온도, 볼트, 전류, 전압 등 각종 제어기나 센서에서 발생하는 입력 정보를 일정 시간 간격으로 수집되는 데이터로, 데이터의 값이 일정하거나 값의 폭이 좁고, 많게는 수만 개의 포인트가 실시간으로 수집, 저장되어지는 대용량의 데이터라는 특징이 있다. 이러한 특성을 지닌 이력 데이터는 이력의 모든 데이터를 저장하지 않고, 전체를 대표하는 데이터의 일부만을 저장함으로써 이력 데이터의 효율적인 관리와 공간효율을 극대화시킬 수 있다. 이러한 이력 데이터를 효과적으로 관리하고, 보관하기 위해 이력 데이터 압축 알고리즘에 대한 개발과 연구가 진행 중이다. 그러나 이미 알려져 있는 이력 데이터 압축 알고리즘과 개발하고 있는 알고리즘의 성능에 대한 평가를 할 수 있는 시뮬레이터는 개인이나 소규모 집단만을 위해 만들어지거나, 공개되지 않고 있어 사용하기에 제한적이다. 이에 이력 데이터 압축 성능평가를 위한 시뮬레이터인 HDCS(Historical Data Compression Simulator)를 설계하고 구현하고자 한다. -
Wang, Dong-Seung;Sohn, Jong-Soo;Kim, Jung-Hun;Chung, In-Jeong 185
SNS를 비롯한 소셜 웹 사용자의 급격한 증가로 인하여 소셜 웹은 사회 여러 분야에 영향력이 커지게 되었을 뿐만 아니라 자료의 저장소로써 중요한 역할을 하게 되었다. 이에 따라 최근에 들어서는 방대한 소셜 웹의 자료를 분석하기 위하여 시맨틱 웹의 역할이 중요해 지고 있다. 그러나 소셜 웹 자료와 시맨틱 웹 기술을 효과적으로 융합하기 위한 프레임워크의 연구는 상대적으로 부족하다. 이에, 본 논문에서는 소셜 웹 자료를 수집하고 이를 시맨틱 웹 기술로 처리할 수 있는 프레임워크를 제안한다. 제안하는 프레임 워크는 여러 소셜 웹 서비스에서 제공하는 데이터의 수집과 시맨틱 웹 기술 기반의 자료처리를 수행한다. 본 논문에서 제안하는 프레임워크를 사용하면 여러 서비스에 분산된 사용자의 메시지와 프로파일을 이용하여 보다 더 신뢰성 있는 자료의 분석이 가능하다. -
Koo, Hee-Kwan;Hwang, Mi-Nyeong;Hong, Soon-Chan;Jung, Han-Min 188
인용 레코드 추출은 인용 색인 구축의 모든 프로세스 입력으로 사용되기 때문에 이후의 과정에 미칠 수 있는 부작용을 고려해서 최대한 정확한 정보가 추출되어야 한다. 본 논문에서는 수집한 논문의 참고문헌 영역을 인식하고 이를 참고문헌 영역 내의 특징들을 이용하여 인용 레코드를 추출하는 템플릿 기반 인용 레코드 추출을 제안한다. 제안된 추출 방법은 기존 방법보다 18% 성능이 증가했으며 전체 인용 레코드에 대한 추출성능은 0.98(F1)의 성능을 보인다. 이는 향후 논문 저장소에서 논문을 대상으로 영역 인식을 통한 정보 추출에 유용하게 활용될 수 있으리라 기대된다. -
Park, In-Chul;Kim, Seung-Mi;Ryu, Hyun-Ki;Lee, Heng-Suk 191
본 논문은 차량용 스마트에어백 시스템이 탑승자의 머리 위치를 파악하여 지능적으로 에어백을 전개하도록 돕기 위한 얼굴 위치 검출 알고리즘을 제안한다. 차량용 임베디드 시스템은 한정된 자원에서 기능을 동작시키기 때문에 여러 가지 구현상 제한 조건들이 존재한다. 이러한 제한 조건들을 만족시키기 위해 알고리즘의 경량화 및 최적화 작업이 수반 되어져야한다. 제안하는 알고리즘에서는 이진화된 오브젝트에 거리변환(Distance Transform)을 사용하여 사람의 형태학적 모양을 분석/판단한다. 그리하여 얼굴의 위치를 검출하는 방법이다. 여러 가지 배경 상황에 관계없이 사람의 형태학적 모습을 이용하므로 사람 형태 검출에 용이하다. 설계된 알고리즘은 TI사의 TMS320DM6437 EVM 보드에서 구현하였고 구현 결과 제안한 알고리즘이 IR 영상에서 높은 인식률 및 빠른 처리 속도를 보임을 확인할 수 있었다. -
Gim, Byeong-Ho;Lim, Dong-Hyouk;Kim, Tae-Ho 194
본 논문은 비행체를 위한 실시간 운영체제의 태스크 스케줄링 기법을 제안한다. 기존의 기법은 다음 수행할 태스크를 선택하는 작업을 수행할 때 메모리 오버헤드 또는 일정한 시간 오버헤드가 발생하게 되며 일반적으로 이 둘은 트레이드 오프 관계로 고려된다. 제안하는 태스크 스케줄링 기법은 메모리 오버헤드를 최소화하면서도 우선 순위가 제일 높은 태스크를 찾는 작업을 별다른 연산 없이 수행함으로써 자주 발생하는 작업의 시간을 줄여 스케줄러 시간 오버헤드의 절약을 도모한다. 또한 이 방식은 태스크의 수가 많지 않으며 일정한 파티션된 OS를 주로 사용하는 비행체에 특히 적합하다. -
Kim, Dae-Hun;Kim, Sung-Hyun;Cho, Kun-Ryun;Cho, Jin-Sung 197
최근에 우리 사회는 불규칙적인 식습관, 부족한 운동, 과도한 스트레스 등으로 만성질환 및 성인병 환자가 늘어나는 심각성이 날로 커지고 있다. 성인병의 심각성은 40대 이상에서 크게 대두 되었던 과거와 달리, 최근에는 20대를 넘어서서 10대 청소년에게까지 성인병을 앓고 있는 환자들이 날로 많아지고 있다. 세계적으로 IT가 크게 발달함에 따라 병원과 환자가 서로 만나지 않아도 24시간 소통이 되는 u-Healthcare 시스템이 크게 대두되고 있다. 이에 따라서 환자 개개인과 주치의가 시 공간에 제약받지 않고 상호 긴밀하게 진료, 검사 및 피드백이 가능하게 된다. 본 연구진은 u-Healthcare 시스템에 부합하고 스마트 폰을 이용하여 만성질환자를 관리할 수 있는 u-DailyCare 시스템을 설계하고 구현하였다. 스마트 폰 사용자로부터 얻어진 생체 정보 데이터 및 행위 데이터들을 수집하여 서버에 보내면, 주치의는 종합된 전체적인 데이터를 실시간으로 확인하여 환자의 상태를 검토 및 진단하여 피드백을 준다. 본 논문에서는 u-DailyCare 시스템의 설계 및 구현과정을 설명할 것이다. -
Jeon, Hyung-Gyu;Son, Dong-Oh;Kim, Cheol-Hong 200
공정기술의 발달로 인해 GPU는 빠르게 발전하고 있다. GPU는 영상처리뿐만 아니라 한 번에 많은 양의 데이터를 처리하는 범용 작업에도 많이 쓰이고 있다. 한편, 최근에는 3차원으로 코어를 적층하는 3차원 CPU구조에 대해 많은 연구가 수행되고 있다. 3차원 구조는 코어를 수직으로 적층시켜 내부 연결망의 길이를 크게 줄여주어 성능을 크게 개선하는 장점을 가지고 있다. 이를 반영하여 GPU에도 3차원 구조를 적용하여 GPU의 성능을 향상시키려는 선행연구에 맞춰 본 논문에서는 3차원 구조 GPU의 성능 향상을 저해하는 요소들에 대해서 분석해 보고자한다. 본 논문에서는 선행연구에서 밝힌 메모리 인터페이스에서 발생하는 병목현상 이외에도 주 메모리 큐 용량과 네트워크 방식에 따른 3차원 GPU의 성능향상을 실험을 통하여 알아본다. 실험 결과 주 메모리 큐 용량에 따른 3차원 GPU의 IPC는 가장 큰 사이즈와 가장 작은 사이즈의 차이가 4 미만으로 주 메모리 큐 용량은 3차원 GPU의 성능에 큰 영향을 미치지 않는 것으로 분석된다. 주 메모리로의 읽기 또는 쓰기 요청들을 순서대로 저장하는 큐의 역할이 3차원 구조 GPU의 동작에는 큰 영향을 미치지 않기 때문으로 분석된다. 반면 네트워크 방식에 따른 실험에서는 fly 네트워크 방식에 비해서 crossbar 네트워크 방식이 더 빠른 데이터 통신을 가능하게 해주어 crossbar네트워크 방식에서 IPC수치가 약 14 증가함을 알 수 있다. 두 가지 실험을 통하여 3차원 GPU의 성능에 네트워크 방식 차이가 주 메모리 큐 용량 변화보다 더 큰 영향을 주는 것을 확인할 수 있다. -
Joo, Se-Yoon;Choi, Hong-Jun;Kim, Cheol-Hong 203
최근 컴퓨터 시스템에서는 동작 주파수 증가에 따른 전력 소모량과 높은 온도문제로 인해 CPU의 성능에만 의존할 수는 없는 상황이다. 이에 따라 GPU 병렬처리 연산능력을 CPU의 범용 데이터 처리에 이용하는 기술에 대한 관심이 높아지고 있다. 하지만 CPU와 GPU의 모든 자원을 활용하기에는 이에 따른 높은 온도와 전력 상승이 문제가 된다. 따라서 본 논문에서는 GPU의 전력효율과 성능 측면에서 최적이 되는 동작 주파수에 대한 분석을 수행하고자 한다. GPU를 활용하는 API인 CUDA를 이용하여 GPU의 동작 주파수 변화에 따른 성능 변화, 전력 변화 그리고 Energy Delay에 대해서 분석한다. 실험을 통한 분석 결과 동작 주파수의 증가에 따라 성능은 최대 30%이상 증가했고, 전력소모량은 최대 약18%의 증가를 보여주었다. 또한 Energy Delay도 최대 21% 향상되는 것을 확인할 수 있었다. -
Choi, Jae-Weon;Kim, Se-Won;Yoo, Chuck 206
현재까지 DVFS(Dynamic Voltage and Frequency Scaling)를 효율적으로 사용하여 프로세서의 소모전력을 줄이는 것을 목표로 하는 많은 연구가 진행되어 왔다. 그 중에서 GPHT(Global Phase History Table)는 워크로드를 예측하여 최적의 DVFS를 설정하는 연구이다. 이 연구는 Last Value기법 보다 예측 적중률을 향상시켰지만 연속적인 워크로드 상황에서는 예측 적중률이 저하되는 한계점을 가지고 있다. 본 논문은 이 문제를 해결하기 위해 Run-Length Encoding기법을 도입한 새로운 GPHT모델을 소개하며, 시뮬레이션 결과 GPHT 대비 적중률을 최대 8.98%, 평균 3.28% 향상 시켰다. -
Baek, Jin-Uk;Kim, Seon-Phil;Kim, Nam-Gi 209
ONVIF(Open Network Video Interface Forum)는 네트워크 카메라의 제어 및 관리에 대한 표준으로 이 표준은 각각 회사마다 다른 네트워크 카메라의 프로토콜을 표준화 함으로써 호환성 문제를 해결한다. 그리고 ONVIF는 표준에 따라서 만들어진 장치들에 대해서 인증을 수행할 수도 있다. 따라서 본 논문에서는 ONVIF 표준을 구현하기 위해 필요한 요소들을 알아보고 gSOAP 라이브러리를 통하여 장치 관리 서비스를 설계하고 구현해 본다. 그리고 장치 관리 서비스에서 중요도가 높고 꼭 필요한 요소를 구현하여 테스트 툴로 검증함으로써 ONVIF에서 인증이 가능함을 보인다. -
Cho, Doo-San;Cho, Jung-Seok 212
데이터 집약적인 대부분의 애플리케이션들은 규칙적인 메모리 접근 패턴과 동시에 불규칙적인 접근 패턴을 커널 코드에 포함하고 있다. 그 동안 대부분의 메모리 접근 패턴 최적화 기법은 규칙적인 패턴에 집중되어 있었다. 하지만 암호화/통신 관련 애플리케이션에서는 불규칙한 패턴으로 메모리 접근의 대부분을 구성하는 경우가 많다. 이러한 불규칙한 메모리 접근 패턴을 대상으로 온칩메모리를 효율적으로 사용하도록 최적화 기법을 일반화하여 설계하는 일은 어려운 작업이기 때문에 관련 연구분야에 큰 진전이 없는 실정이다. 우리는 불규칙 메모리 접근 패턴 최적화 문제를 해결하기 위하여 데이터 클러스터링 기법을 제안하였다. 클러스터링은 접근되는 데이터의 시공간 지역성을 계산하여 이득이 큰 데이터들을 하나의 블록으로 구성하여 온칩메모리에 상주시키는 기본단위로 사용하는 기법이다. 본 기법을 이용하면 기존의 캐시메모리에 비하여 약 19% 에너지 소모를 절감할 수 있다. -
Chai, Seung-Gi;Kim, Beom-Joong;Song, Mun-Kyu;Song, Ho-Soon 215
우리나라의 주소체계는 100 여년 전에 실시한 토지조사사업에 의하여 토지의 경계와 소유자 등을 정하기 위하여 구획한 필지별로 부여한 지번을 빌려서 사용하였다. 이러한 지번주소는 급속한 경제 발전과 글로벌 디지털 사회에 맞지 않아 사회 각 분야에서 불필요한 적용비용을 증가시키고 있는 구역제도, 지점번호, 주소제도 등 국가 기초행정인프라를 변화된 사회환경과 글로벌 기준에 맞추어 전환하고 있다. 따라서, 본 논문에서는 기초행정 인프라의 핵심기반인 국가주소정보시스템을 기반으로 국가경쟁력을 강화하고 위치찾기 선진화를 위해 나아가야 할 방향에 대해 구축 사례 및 발전방향을 제시 하고자 한다. -
Lee, Jung-Ha;Yu, Heon-Chang;Lee, Eun-Young 218
인터넷 활용과 웹 어플리케이션의 개발이 증가함에 따라 처리해야하는 데이터의 양도 또한 증가하고 있다. 대량의 데이터를 효과적으로 처리하기 위한 방법 중 하나로 병렬처리 프로그래밍 모델인 맵리듀스가 있다. 하둡은 맵리듀스의 오픈소스 구현으로 대량의 데이터를 병렬로 처리하는 무료 자바 소프트웨어 프레임워크이다. 분산 파일 시스템을 사용하는 하둡에서는 처리하는 데이터가 다른 노드에 위치하는 데이터 로컬리티 문제가 전체 작업 수행시간의 증가를 야기하는 문제가 있다. 본 논문에서는 하둡에서의 데이터 로컬리티 문제를 해결하기 위한 데이터 복제기법을 제안한다. 제안하는 데이터 복제기법에서는 1) 라그랑지 보간법을 사용하여 과거 접근수를 이용한 미래 접근수를 예측하고, 2) 예측된 값을 Threshold값으로 설정하고, 3) 데이터 로컬리티 문제가 발생하였을 때, 복제사본을 생성할 것인지 캐시를 생성할 것인지를 결정하여 복제 사본의 수를 최적화 한다. 실험을 통해 단순히 복제사본 수를 증가시킴으로써 데이터 로컬리티를 향상을 이루어도 작업 완료시간이 감소하는 것이 아니라는 결과를 볼 수 있었고, 오버 런치로 인한 작업 완료시간 증가를 줄이기 위해 데이터 복제사본 수 최적화의 필요성을 확인할 수 있었다. -
Kim, Tae-Jin;Kim, Han-Gyoo;Noh, Sam-H. 221
많은 대학과 스토리지 업체에서 고성능 병렬 파일시스템 관련 연구를 활발히 진행하고 있다. 그러나 대학이나 업체에서 연구된 병렬 파일시스템 기술은 상호 호환성에 제약이 있다. 네트워크 파일시스템 관련해서 유일한 표준 기술인 NFS은 최근 pNFS 기능을 포함한 NFSv4.1로 확장되었다. pNFS은 NFS 서버를 거치지 않고 데이터를 병렬적으로 접근함으로써 고성능 입출력을 보장해 주고 있으며 기존 스토리지 기술과의 호환성을 제공하고 있다. 본 연구에서는 pNFS의 성능 평가를 위해서 pNFS을 사용하는 대용량 스토리지 시스템을 구현하고 NFSv4와 NFSv4.1간 성능을 비교한다. 성능 비교는 파일 사이즈와 동시 수행 프로세스 수 별로 수행되며 읽기 및 쓰기 연산에 대한 pNFS의 성능 향상을 확인한다. -
Lee, Chang-Hyun;Lee, Sung-Young;Chung, Tae-Choong;Yun, Seok-Hwan 224
최근 스마트폰의 대중화와 더불어 스마트폰 애플리케이션의 공급과 수요 또한 활성화 되고 있다. 이에 스마트폰의 애플리케이션 시장 또한 활성화 되었다. 하지만 기하급수적으로 증가한 애플리케이션에 사용자가 자신에게 적합한 애플리케이션을 선택하기가 용이하지 않다. 이에 본 논문에서는 사용자 개인 정보와 감정을 이용한 애플리케이션 추천 시스템을 제안한다. 사용자 정보와 감정을 k-means 알고리즘을 이용하여 군집화를 시켜주었으며 사용자가 평가한 애플리케이션에 대한 만족도를 이용하여 유사도를 검출 및 추천하기 위하여 피어슨 상관계수와 교차추천을 이용하였다. 또한 협업 필터링의 신규 사용자에 대한 초기 평가치 부재에 의한 콜드 스타트(cold-start) 문제를 해결하기 위해 신규 사용자의 개인정보와 감성정보를 활용하여 기존 사용자와의 유사도를 비교한다. 이웃사용자를 추출하고 이웃사용자로부터 추천을 받는다. 즉, 추천시스템 데이터베이스 내의 정보가 충분한 사용자에게는 협업필터링을 그렇지 않은 신규 사용자에게는 협업필터링 대신 제시한 방법을 적용하는 하이브리드 추천 방법을 제안하였다. -
Kim, Bang-Hyun;Park, Sung-Woo;Lee, Pan-Mook;Jun, Bong-Huan 227
한국해양연구원에서 개발하고 있는 해저보행로봇 CR200은 6개의 다리를 이용하여 해저면에서 보행으로 이동하며 정밀 해저탐사 및 작업을 수행할 수 있는 로봇이다. 운용자는 선상제어실에서 유선으로 연결된 CR200을 원격으로 모니터링하거나 제어한다. 특히 안정적인 보행을 위해서는 100Hz의 주기로 CR200의 상태 정보가 선상제어실로 전송되고, 선상제어실에서는 전송된 정보를 기반으로 제어 명령을 산출하여 CR200으로 전송해야 한다. 이러한 주기적인 실시간 제어를 위해서는 일반적으로 실시간 운영체제를 사용하지만, 본 논문에서는 실시간 운영체제를 사용하지 않고 시스템 시간 기반의 백그라운드 프로세스로 동작하는 소프트웨어 타이머를 사용하여 실시간 제어를 하는 방법을 제안하고, 성능 평가 결과를 제시한다. 제안한 방법의 실시간 속성을 검증하기 위하여, 현재 설계에서 운영체제로 고려하고 있는 우분투 10.04와 윈도우즈 7을 CR200에 탑재되는 Advantech 사의 PCM-3362 보드에 설치하여 소프트웨어 타이머의 성능을 10ms부터 100ms까지 각각 실험하였다. 실험결과에 따르면, 두 운영체제에서 모두 누락이 없이 타이머 동작이 수행되었으며, 10ms 간격으로 타이머를 동작하였을 때에 우분투에서는 평균 오차가$41{\mu}s$ 이었고 윈도우즈 7에서는 7.7ms였다. 윈도우즈 7에서의 오차는 100Hz 제어 주기에 사용하기에 적합하지 않지만, 우분투에서의 오차는 제어 주기 간격의 0.41%에 불과하기 때문에 해저보행로봇의 실시간 제어에 영향을 주지 않는 오차이다. 따라서 CR200의 임베디드 컴퓨터와 선상제어실의 원격제어 컴퓨터는 우분투 운영체제 상에서 소프트웨어 타이머를 이용하여 상호 연동되도록 구현할 예정이다. -
Kim, Ju-Kyeong;Lee, Seung-Kyu;Mehdi, Pirahandeh;Kim, Deok-Hwan 230
SSD(Solid State Disk)는 다수의 플래시 메모리로 구성되며 기존의 하드디스크(HDD) 보다 데이터 전송 속도가 빠르고 강한 내구성, 저소음, 저전력의 장점을 가지고 있다. 하지만 제자리 덮어쓰기가 안되므로 SSD 공간에서 무효데이터가 차지하는 비중이 높아지며, 한 셀당 쓰기 및 삭제 횟수가 제한되어 있다는 단점이 있다. 본 논문에서는 무효데이터와 입력데이터의 중복성 검사를 통하여 무효데이터를 재활용하는 중복제거 기법을 제안한다. 무효데이터의 재활용과 중복제거를 통하여 SSD의 마모도 감소와 가비지컬렉션의 빈도를 낮춰서 I/O 속도의 향상을 기대할 수 있다. 실험을 통하여 무효데이터를 재활용 하는 경우와 유효데이터를 활용한 중복제거 방법의 성능을 비교하였다. -
Park, Sung-Woo;Kim, Bang-Hyun;Lee, Pan-Mook;Jun, Bong-Huan 233
해저보행로봇 CR200은 여러 개의 관절로 이루어진 6개의 다리를 이용하여 해저면에서 보행으로 이동하며 해저 정밀탐사 및 작업을 수행하는 로봇으로, 케이블로 연결된 선상제어실에서 원격 제어된다. CR200 시스템에서는 16개의 카메라가 장착될 예정이며, 취득된 카메라의 영상은 선상제어실의 비디오 컴퓨터로 전송되어 모니터링 및 녹화된다. 설계된 비디오 시스템에서 영상 전송은 전자기 간섭에 의한 화질 열화를 최소화하기 위하여 기가비트의 대역폭을 가진 이더넷과 광케이블을 통하여 디지털 형태로 전송되며, 아날로그 카메라의 영상은 비디오 인코더를 사용하여 디지털 영상으로 변환된 후에 전송된다. 본 논문에서는 CR200의 비디오 시스템의 설계를 소개하고, 실제로 제작하기 전에 설계된 비디오 시스템을 검증하기 위하여 테스트베드를 사용한 통합 테스트 결과를 제시한다. 아직 준비되지 않은 카메라에 대해서는 아이패드의 아날로그 영상 출력을 비디오 인코더의 입력으로 전달하여, 설계된 모든 카메라들이 동작하는 상황을 테스트베드로 실험하였다. 16개 카메라의 영상이 모니터링 및 녹화되는 상황을 테스트베드로 실험한 결과에 따르면, 압축률 10%의 H.264 동영상 압축 알고리즘을 사용할 경우에 30fps 영상의 모니터링 및 녹화에 각각 60Mbps의 전송량으로 비디오 시스템이 정상적으로 동작하는 것을 확인할 수 있었다. 비디오 데이터의 전송은 센서 및 제어 데이터의 전송과 같은 네트워크를 사용하지만, 비디오 데이터의 기가비트 네트워크 사용률은 평균 12%이기 때문에 비디오 데이터 전송으로 인하여 데이터 통신은 거의 영향을 받지 않는다. -
Kwon, Won-Ok;Kim, Hag-Young 236
본 논문은 저전력 데이터센터에 사용되는 DC 서버를 위한 고효율 DC UPS 결합형 전원분배장치의 구현과 설계에 관한 내용이다. 본 논문이 제안한 노드 준위 UPS 결합형 전원분배장치의 전력효율은 96%에 이르며 저전력 볼륨 서버의 전원공급장치(PSU)와 UPS를 대체할 수 있는 기술이다. -
Son, Seok-Ho;Jung, Gi-Hun;Jun, Sung-Chan 239
최근 클라우드 서비스 공급자들은 세계적으로 증가하는 고객의 수요에 대응하기 위하여, 다양한 지역에 데이터센터들을 구축하고 시스템의 규모를 확장시키고 있다. 클라우드는 통합된 자원을 이용하기 때문에 부하 분산(load balancing)을 통해서 시스템의 성능 및 안정성을 향상시킬 수 있다. 하지만 지역적으로 분산된 데이터센터들을 운영하는 클라우드 컴퓨팅 환경에서는 자원 부하의 분산과 서비스 응답 속도(service response time) 사이의 상관 관계를 고려할 필요가 있다. 그럼에도 불구하고 대부분의 클라우드 서비스 공급자들은 고정된 최소 서비스 응답 속도를 서비스 수준 협약(SLA: Service-Level Agreements)을 제시하고 있는 현실이다. 이와 같이 SLA에 최소 서비스 응답 속도를 임의로 고정할 경우, 거리차이가 있는 데이터센터(SLA에 명시된 응답 속도 보다 느린 데이터센터)에는 부하가 분산되기 어렵다. 따라서 지역적으로 분산된 데이터센터 환경에서는 응답 속도에 대한 가변 SLA를 적용할 필요가 있다. 본 연구에서는 지역적으로 분산된 데이터센터를 운영하는 클라우드 컴퓨팅 환경에서 가변 응답 속도를 적용하기 위한 방법으로써 서비스 응답 속도와 가격을 고려한 자동화된 SLA 협상 메커니즘을 적용하고 그 유효성을 평가하였다. 시뮬레이션을 이용한 실험 결과를 통해서 SLA 협상을 통한 가변 SLA를 이용하는 방법이 고정된 SLA를 이용하는 방법에 비해서 더 높은 SLA 보장률을 지원하고 클라우드 공급자에게 더 높은 수익을 제공함을 확인하였다. -
Choi, Yun-Soo;Lee, Won-Goo;Lee, Min-Ho;Choi, Dong-Hoon;Yoon, Hwa-Mook;Cho, Min-Hee;Jeong, Han-Min 242
과학기술 문헌의 기술개체 인식에 관한 연구는 정보추출, 텍스트마이닝, 질의응답 분야 등의 선행 연구로서 다양한 통계적 방법론을 사용하여 기술개체 인식 정확률을 향상시키기 위해 연구되어 왔다. 하지만 기존의 연구는 단일-코어 또는 단일 머신 상에서 수행되었기 때문에, 폭발적으로 증가하는 문헌들에 대한 실시간 분석 요구를 처리할 수 없는 상황에 직면하고 있다. 이에 본 논문에서는 기술개체를 인식하는 과정에서 병목현상이 발생하는 작업을 "후보개체 추출 과정"의 언어처리 부분과 "개체 가중치 할당 과정"에서 통계정보를 취합하는 부분으로 분류하고, 각 작업을 하둡의 맵 작업과 리듀스 작업을 이용하여 해결하는 분산 병렬 처리 기반의 기술개체 인식 방법에 대해 살펴보고자 한다. -
Kim, Ho-Young;Huang, Dada;Han, Sang-Hyuck;Kim, Young-Kuk 245
최근 멀티코어 프로세서의 활용이 대중화되고 있다. 멀티코어 시스템에서는 소프트웨어가 동시에 여러 코어를 사용하여 동작을 수행 할 때 성능 향상 효과를 얻을 수 있다. 즉, 하나의 소프트웨어가 여러 코어를 동시에 사용할 수 있는 멀티스레드 프로그래밍 기법을 사용할 때 성능을 높일 수 있다. 이러한 환경에서 효율적인 메모리 할당은 데스크톱, 서버 및 과학 등과 같은 응용에 매우 중요하다. 하지만, 동적으로 메모리를 할당하는 것은 메모리 할당 연산과 반환 연산 및 어떤 스레드가 다른 스레드의 힙 영역에 접근하는 것을 처리하기 위한 동기화 문제로 인한 오버헤드가 발생하여 성능에 영향을 끼치는 문제가 발생하게 된다. 따라서 이와 같은 환경에서 실제로 성능에 어느 정도 영향을 끼칠 것인가를 측정할 수 있는 도구가 필요하다. 이에 멀티코어 환경에서 멀티스레드 기법을 사용하여 메모리 할당 연산이 성능에 어떠한 영향을 끼치는지를 측정 및 평가할 수 있는 시뮬레이터인 MAES(Memory Allocation Evaluation Simulator)를 설계하고 구현한다. -
Seo, Bum-Joon;Ko, Kwang-Won;Yoon, Sung-Roh 248
SSD와 같은 낸드 플래시 기반의 저장 장치가 새로운 저장 매체로 각광받고 있다. 낸드 플래시 저장 장치의 특성을 살려 보다 효과적으로 사용하기 위해서는 입출력 패턴을 분석하고 정의하는 과정이 필요하다. 본 논문에서는 기존에 수행되어진 낸드 플래시 기반 저장 장치들의 패턴화 및 벤치마킹을 분석하여 각각의 특징을 확인하고 이해하기 쉽게 정리하여 향후 낸드 플래시 관련 연구에 사용될 수 있도록 한다. 또한 각 방법의 한계를 지적하여 새로운 낸드 플래시 패턴화에 적용할 수 있는 아이디어를 제안한다. -
Rhee, Myung-Hyun;Lee, Se-Il;Yoon, Sung-Roh 251
본 논문은 기존 Legacy NAND의 성능을 향상시키기 위해 제안된 ONFI (Open NAND Flash Interface) NAND의 특성을 지원하는 컨트롤러를 구현하고, 실제 테스트 보드 제작 및 실험 환경을 구축하여 성능을 측정하였다. 그 결과 인터페이스 속도가 기존 Legacy NAND에 비해 약 6배 증가하였다. 또한 읽기 속도의 경우 약 3배의 성능 향상이 있었다. -
Jung, Joon-Young;Kang, Dong-Oh 253
데이터 센터의 수가 증가하고 대형화됨에 따라 데이터 센터에서의 전력 소비는 급격하게 증가하고 있으며, 이를 해결하기 위해서 전력변환효율을 증대시키거나 소비 전력이 적은 서버를 개발하는 등의 접근이 이루어지고 있다. 본 논문에서는 전력관리를 통해서 소비전력을 줄이기 위한 그린전력관리시스템을 제안한다. 전형적인 서버의 경우에는 Idle 상태에서는 사용 중인 소비 전력의 약 60% 정도를 소비하고, 데이터 센터에서는 서버의 응답시간을 줄이기 위해서 약 5~20%을 효율로 서버를 운용하고 있으며, 평균적으로 약 10%의 서버가 사용되지 않고 있다. 이러한 이유로 동적으로 서버를 관리하여 데이터센터에서 낭비되는 서버의 소비 전력을 줄이고자 한다. -
Im, Hyo-Jeong;Lee, Dae-Yeon;Kim, Hyeong-Sin 256
임베디드 소프트웨어를 실제 하드웨어 상에서 테스팅 하는 것은 하드웨어의 사용이 개발후반에 가능함에 따른 시간적인 제약으로 인해 테스트를 위한 충분한 시간 확보에 어려움이 있다. 이러한 문제점은 임베디드 소프트웨어 테스팅을 위한 시뮬레이션 기반 테스팅 환경의 구축으로 간단히 해결 할 수 있다.$\mu$ -ITRON은 일본 임베디드 분야에서 활발히 사용되는 Real-Time Embedded OS로, 본 논문은 하드웨어 에뮬레이터 QEMU를 이용하여 임베디드 소프트웨어 테스팅을 위한 ARM Cortex-M3기반$\mu$ ITRON의 시뮬레이션 환경 구축에 대해 설명한다. -
Ra, Jeong-Hwi;Han, Sang-Hyuck;Sung, Baek-Yul;Kim, Young-Kuk 259
클라우드 컴퓨팅은 정보가 인터넷 상의 서버에 영구적으로 저장되고 데스크탑이나 테이블 컴퓨터, 노트북, 벽걸이 컴퓨터, 휴대용 기기 등과 같은 클라이언트에는 일시적으로 보관되는 패러다임을 뜻한다. 가용성과 사용상의 편의에 대한 요구의 증가로 최근들어 빠른 속도로 발전하는 모습을 보이고 있다. 클라우드 컴퓨팅은 제공하는 서비스의 유형에 따라 IaaS(Infrastructure as a Service), PaaS(Platform as a Service), SaaS(Software as a Service)로 나뉜다. 이 중 IaaS는 인프라를 서비스로 제공하는 모델이다. 이를 구현한 오픈소스 클라우드 플랫폼으로 오픈스택과 클라우드 스택이 대표적이다. 시트릭스는 자사가 개발중인 클라우드 플랫폼인 클라우드스택을 아파치 라이센스로 전환하겠다고 발표했다. 이전까지 같은 종류의 클라우드 플랫폼인 오픈스택의 회원사로 참여하고 있던 시트릭스가 오픈스택 그룹에서 탈퇴하고 클라우드스택을 지원한다는 발표는 큰 관심을 받았다. 본 논문에서는 여러 오픈소스 클라우드 플랫폼 중 오픈스택과 클라우드스택을 비교해보고, 이를 통해 향후 오픈소스 클라우드 플랫폼의 발전가능성에 대해 고찰해보고자 한다. -
Choi, Ki-Yong;Bak, Chang-Gyu;Lee, Jung-Won 262
유비쿼터스 지능형 공간에서 사용자의 개입 없이도 자율 실행하는 서비스 플러그 앤 플레이 시스템(Service Plug and Play System)은 기능적인 모델로서 총체적인 시스템의 협력 프로토콜 부재로 그 동시성 및 병렬성을 반영한 실행관리를 하기 어렵다. 이는 시스템을 구성하는 모듈로, 컨텍스트 수집기, 서비스 실행기, 공간관리기, 모바일 제어기 등이 UML의 시퀀스 다이어그램으로 모델링하여 각 기기의 기능과 실행흐름을 독립적으로 표현할 뿐, 기기간의 상호작용, 특히 병렬 및 동시 실행 알고리즘을 설계하고 검증하는 절차의 부재 때문이다. 본 논문에서, 각 기기의 실행 흐름 및 상호작용을 Petri Net을 이용하여 모델링함으로써, 시스템을 구성하는 각 디바이스의 상호작용 및 실행 흐름을 정의 하고 검증한다. -
Kim, Jung-Hoon;Kim, Jee-Hong;Eom, Young-Ik 265
최근 들어, 하드웨어 플랫폼은 다수의 코어 아키텍처의 메모리 대역폭을 유지하기 위해 NUMA 구조로 설계되고 있다. 이러한 NUMA 시스템 구조에서 다른 노드의 메모리에 접근할 경우, 더 많은 시간과 비용이 소모된다. 따라서 이를 고려한 스케줄링 기법들이 가상화 혹은 가상화되지 않은 시스템 환경에서 연구되고 있다. 하지만, 아직까지 NUMA 시스템 가상화 환경에서 리모트 접근을 제거함과 동시에 이에 따른 오버헤드를 최소화하는 연구는 없었다. 따라서 본 논문에서는 이러한 환경에서 메모리 접근 지연을 줄이기 위한 VCPU 스케줄링 기법을 제안한다. 본 기법은 노드별 페이지 테이블 관리, LRU 기반 게스트 스케줄러, 캐시 오염 태스크 전용 버퍼 관리 기술을 이용한다. 다른 기법들과의 비교 및 분석 결과에서 알 수 있듯이, 본 기법을 적용할 경우 NUMA 시스템 노드 간 리모트 접근을 없애고, 이에 따른 오버헤드를 최소화하며, 주어진 하드웨어 캐시를 효율적으로 사용할 수 있다. -
Kim, Jee-Hong;Eom, Young-Ik 268
동적 코드 분석 도구는 동적 컴파일(Just-in-Time Compile)을 통한 코드 변환 기술을 이용하여 응용프로그램 실행 중 기계어 수준의 코드를 분석한다. 기존의 동적 코드 분석 도구는 변환과정에서의 부하가 크기 때문에 리얼타임 프로그램에 적용하기 어렵다. 본 논문에서는 기존 동적 코드 분석 도구의 동적 컴파일 기법과 컴파일 프레임워크인 LLVM의 동적 컴파일 기법의 성능을 비교, 분석하였다. 이를 통해 LLVM의 동적 컴파일 기법을 이용한 높은 수행 성능을 가진 동적 코드 분석 도구의 설계 방안을 모색한다. -
Lee, Jong-Kil;Ko, Byung-Chul;Jhang, Kyoung-Son 271
칩을 분석하는 과정에서 게이트의 검출도 중요하지만 그와 동등하게 중요한 부분이 wire의 인식이다. 본 논문은 wire의 자동인식의 방법에 관한 것으로, 칩 내부를 전자현미경으로 촬영한 사진을 기반으로 wire를 추출한다. 사람이 수작업으로 일일이 그 wire들을 그린다면 시간과 정확성이 떨어지므로 wire 인식 과정을 자동화하는 방법을 제시한다. -
Oh, Seung-Yeop;Choi, Jae-Sung;Son, Byung-Rak;Lee, Dong-Ha;Yoo, Joon-Hyuk 274
생체모방로봇은 인간을 비롯하여 새, 곤충, 물고기 등 동물들의 기본구조, 행동원리 및 메커니즘을 모방한 로봇이다. 정찰, 수색, 테러진압 등 군사작전에서부터 인명구조까지 생체모방로봇은 인간의 눈과 발을 대신하여 인간이 접근할 수 없는 오염 지역을 면밀히 탐지하는 데에도 유용하리라 예상된다. 이와 같은 생체모방로봇이나 MAV 등을 실시간으로 원격에서 모니터링하고 제어할 수 있는 DAQ 시스템의 중요성이 커지고 있다. 본 논문에서는 생체모방로봇인 가오리를 원격 관제 센터에서 RF무선통신을 이용하여 안정적인 제어 및 모니터링이 가능한 DAQ(Data AcQuisition) 시스템을 제안한다. -
Yoon, Young-Il;Jung, Hyun-A;Joe, Hyun-Woo;Kim, Hyung-Shin 276
본 논문에서는 인공위성 탑재 컴퓨터의 가상머신에서 사용되는 C 언어와 유사한 언어를 번역하는 SpaceApp 토큰 컴파일러를 개발하였다. SpaceApp은 위성 제어를 위한 지상으로부터 업로드 가능한 프로그램으로, 이를 실행하기 위한 환경으로 자바가상머신과 유사한 SpaceApp 가상머신이 개발되었다. 이러한 가상머신에 필요한 컴파일러는 SpaceApp 언어를 번역할 수 있어야 하고, 실행 가능한 파일 형식으로 변환되어야 한다. 따라서 논문에서 개발한 컴파일러는 C 언어와 유사하게 SpaceApp 언어를 번역 가능하다. 그리고 인공위성 임무에 맞게 라이브러리를 지원하며, 가상머신에서 실행 가능한 파일 형식을 출력할 수 있도록 구현했다. 또한 통합 개발 환경으로 이클립스를 이용하여 편의성을 제공하도록 구현하였다. -
Kim, Do-Jung;Lee, Shin-Hyung;Yoo, Chuck 279
고도화된 네트워크에서 성능 문제는 라우터 설계에 있어서 등가교환 하기 쉽지 않다. 그러나 IPv4 프로토콜의 한계점과 새로운 네트워크 계층의 프로토콜의 필요성이 대두되면서 소프트웨어 라우터가 각광을 받기 시작하였고 이들 성능 향상을 위한 연구가 활발히 진행 중이다. 본 논문에서는 이러한 소프트웨어 라우터 성능 향상 연구의 일환으로 리눅스를 이용한 라우터의 성능 병목 지점 중의 하나가 소프트웨어 인터럽트 처리 루틴임을 제시한다. 그리고 이를 해결하기 위해 소프트웨어 인터럽트 서비스 루틴을 단축시켜 인터럽트 처리 속도를 향상시키는 방법을 제시한다. 또한 실험을 통해 이와 같은 방법이 전통적인 리눅스 라우팅에 비해 2배 가량의 성능 향상이 있었음을 보인다. -
Kim, Seong-Jin;Youn, Jong-Hee M.;Ko, Kwang-Man 282
임베디드 분야에서 전력 에너지 소비 문제는 시스템을 설계하는데 있어서 매우 중요한 이슈가 되고 있다. 특히 휴대성이 강조되는 모바일 장치의 제한된 전력을 효율적으로 이용하기 위해서 하드웨어적인 관리 못지않게 소프트웨어적인 관리 기술의 필요성이 강조되고 있으며 전력 소비 관리를 위한 최적화된 컴파일러 기법이 연구되고 있다. 이 논문에서는 모바일 장치에서 구동되는 어플리케이션의 전력 에너지 소비를 줄이기 위한 전역 코드 스케줄링 기법을 제시한다. 이를 위해, 재목적 소프트웨어 개발 도구인 EXPRESSION의 컴파일러인 EXPRESS의 코드 최적화 기법을 이용하여 전력 에너지 효율적인 전역 코드 스케줄링 모델을 설계하고 성능평가 방법을 제시한다. -
Kong, Jin-San;Jung, Ho-Min;Ko, Young-Woong 285
기존의 타깃(target) 기반 중복제거 시스템은 저장된 모든 파일에 대하여 각각 중복 제거를 수행한다. 이러한 중복제거 시스템의 문제점은 파일의 크기가 작고 파일의 개수가 많아지는 경우에 해시 값을 구하는 시간과 메타 데이터를 유지하는데 오버헤드가 증가한다. 이러한 문제점을 해결하기 위해 본 논문에서는 논리 파티션을 이용하여 개별 파일들을 묶어서 중복 제거를 수행하는 시스템을 설계 및 구현하였다. 실험 결과 논리 파티션의 용량이 50% 이상일 때 기존 중복제거 기법에 비해서 중복 제거 비율 및 시간적인 측면에서 더 효율적임을 보였다. -
Cho, Yong-Woon;Kim, Tae-Seok 288
이 논문에서는 Solid State Drives(SSD)의 구조적인 특성을 활용한 Native Command Queueing(NCQ) 스케줄링 기법을 제안하려 한다. SSD는 Hard Disk Drives(HDD)와 달리 접근시간이 매우 짧고, 읽기/쓰기 속도가 서로 다르다는 특성이 있다. 그리고 SSD 내부에는 HDD와 마찬가지로 버퍼캐시가 존재한다. 이런 특성들을 활용하여 커맨드가 처리되는데 걸리는 시간을 모델링할 수 있다. 이렇게 모델링한 처리시간을 짧은 순서대로 스케줄링 정책에 적용하여 응답속도를 개선할 수 있다. -
Kim, Hyuk-Joong;Ahn, Jeong-Cheol;Shin, Dong-Kun 290
스마트폰 등의 임베디드 시스템에서는 낸드 플래시 기반 저장장치를 주로 사용한다. 하지만 지금까지의 운영체제의 블록 IO 시스템은 하드 디스크를 대상으로 설계되었기 때문에 낸드 플래시 메모리 기반의 저장장치의 특성을 고려하지 못하였다. 또한, 낮은 성능의 하드디스크에서는 운영체제에서 IO를 처리하는 소프트웨어 계층의 부하가 무시될 수 있었으나, 고성능의 낸드 플래시 메모리에서는 문제가 될 수 있다. 본 논문에서는 스마트 디바이스의 운영체제 중 하나인 안드로이드 플랫폼을 기반으로 IO 요청을 수행하는 소프트웨어 계층별 성능을 측정하였으며, 또한 멀티 프로세스상에서 IO 성능에 어떤 영향을 받는지 관찰했다. 실험 결과 IO 요청의 단위가 작은 경우는 운영체제에서의 부하가 저장장치에서 요청을 처리하는 지연 시간보다 압도적으로 크게 나타났으며, 16KB 단위의 IO 요청에 대해서 전체 지연 시간의 90%를 차지하였다. 또한, 멀티 프로세스 환경에서 IO를 처리하면서 인터럽트를 처리하는 시간이 증가하는 것을 확인했다. -
Kang, Dong-Woo;Kim, Se-Woog;Lee, Nam-Su;Choi, Jong-Moo;Kim, Jun-Mo 293
가상화 기술은 물리적 컴퓨팅 자원을 사용자에게 논리적으로 제공하여 시스템의 효율성을 높이고 유연성을 향상시키기 위한 기술로 서버 통합이나 아마존 EC2와 같은 클라우드 컴퓨팅 환경에서 사용되고 있다. 이러한 가상화 환경에서는 다수의 가상머신들의 동시적인 I/O 수행으로 인해 저장장치에 병목현상이 발생된다. 또한 각 가상머신들의 중복된 데이터들을 저장하기 위해 불필요한 쓰기 비용이 발생하여 시스템의 성능 저하가 발생하게 된다. 본 논문에서는 이러한 가상화 환경에서의 I/O비용을 감소시키기 위해 SSD를 캐시로 사용하는 중복 제거 기법을 제안한다. 제안된 기법은 중복된 데이터를 제거하여 불필요한 디스크에 대한 I/O 수행을 감소시키며, 중복 발생 패턴의 특성을 고려하여 SSD의 빠른 쓰기 성능을 효과적으로 사용할 수 있는 캐시 구조 모델을 통해 가상화 환경에서 I/O 성능을 향상 시킬 수 있음을 보인다. -
Jang, Su-Min;Choi, Won-Hyuk;Kim, Won-Young 296
최근 컴퓨터 가상화 기술이 발전됨에 따라 소프트웨어를 서비스 형태로 사용하는 소프트웨어 서비스(Software as a Service SaaS)가 많은 응용분야에서 사용되고 있다. 본 논문은 이러한 소프트웨어 서비스 기술을 이용하여 가상 3D 콘텐츠의 실시간 방송 서비스를 하고자 한다. 그러나 이러한 서비스를 위하여 기존 소프트웨어 서비스형 솔루션을 이용하면 사용자가 증가함에 따라 급속히 서버 성능이 저하되거나 여러 가지 제한사항들이 많은 문제점들을 가지고 있다. 그래서 본 논문은 성능 개선을 위하여 클라이언트 장치 및 소프트웨어 가상화하고 데이터 집중적인 작업들은 서버에서 직접 실행하고 그래픽 집중적인 작업들은 네트워크 전송을 통하여 클라이언트에서 처리되는 분할 실행 방식을 제안한다. -
Choi, Won-Hyuk;Jang, Su-Min;Choi, Ji-Hoon;Kim, Won-Young 299
본 논문에서는 3D SW와 같은 고사양의 SW를 서버 기반의 온라인 SW 서비스로 제공하기 위하여 클라이언트의 GPU를 사용하여 그래픽 분할 실행 서비스를 제공하기 위한 데스크탑 창의 가상화에 대하여 소개한다. 그래픽 분할 실행은 서버에서 SW를 구동하고 실행되는 SW의 데이터 집중적인 작업은 서버에서 실행하고, 그래픽 작업들은 서버에서 처리되지 않고, GPU 가상화를 이용하여 클라이언트의 GPU에서 처리하여 SW를 서비스하는 방법이다. 이를 위하여 본 논문에서는 3D 그래픽 정보의 클라이언트 렌더링을 API 리모팅을 이용하여 처리하는 방법에 대하여 소개하고, 실행되는 SW의 2D 그래픽 기반 윈도우를 서버의 윈도우 관리 시스템에 독립적으로 클라이언트 PC에서 가상화하여 처리하는 방법을 제안한다. 또한, 제안된 방법이 서버의 창 관리 시스템에 종속적인 경우와 비교하여 사용자에게 유연한 서비스를 제공함을 알아본다. -
Han, Sang-Hyun;Seok, Jong-Soo;Jin, Hyun-Wook 302
최근 다양한 차량용 전자장치들이 등장함에 따라 이들을 제어하기 위한 소프트웨어의 중요성이 크게 부각되고 있다. 특히 차량용 인포테인먼트 시스템에 대한 요구사항이 급격하게 증가하고 있으며, 이를 효율적으로 수용하기 위한 소프트웨어 플랫폼의 개발이 활발히 진행되고 있다. 이러한 소프트웨어 플랫폼의 표준화를 위한 움직임이 본격적으로 진행되고 있으며, 다양한 소프트웨어 플랫폼에 대한 고려도 동시에 이루어지고 있다. 차량용 인포테인먼트 시스템에 가상화 및 파티셔닝 기술을 도입하면 각 응용프로그램의 실시간 요구사항을 만족시킴과 동시에 이미 개발된 다양한 소프트웨어 플랫폼을 지원할 수 있다. 하지만 아직까지 차량용 인포테인먼트 시스템을 위하여 호스트 운영체제에서 동작하는 비가상화 파티션과 가상화 기술을 이용한 가상화 파티션을 동시에 지원하기 위한 연구는 존재하지 않는다. 본 논문에서는 리눅스 운영체제에서 동작하는 비가상화 파티션과 가상화 기술을 이용한 가상화 파티션을 동시에 지원하기 위한 스케줄링 방법을 제안하고 개발된 시스템의 유용성을 보이기 위하여 가상화 파티션 및 비가상화 파티션을 동시에 사용하는 차량용 인포테인먼트 시스템의 사례연구를 보인다. -
Jung, Dong-Ki;Min, Sung-Gi 305
World Wide Web (WWW)의 지속적인 성장으로 인해 Web Service의 Response Time을 수집하는 방식에 관한 연구가 진행되고 있다. 현재 Client Response Time을 수집하는 방식은 sniffer[1] 를 이용한 Agent 방식을 사용하고 있다. 하지만, 기존의 방식은 클라이언트 PC에 설치되어 수집하게 되므로 Agent의 설치가 쉽지 않고, 관리 또한 어려운 문제점을 갖고 있다. 이러한 문제점을 개선하기 위하여, 본 논문에서는 Web Application Server (WAS)[2] 에서의 Dynamic HTML 변경을 통해 Client에 추가적인 Application을 설치하지 않고도 Client의 Response Time을 Collection하는 방식에 대하여 제안하였다. 이를 통해, 사용자 (End-User)에게 추가적인 응용 프로그램을 설치하지 않고도 Dynamic HTML 을 이용하여 Client Response Time을 수집함과 동시에 Server에 Feedback할 수 있다. -
Lee, Hee-Min;Baik, Seong-Bok;Hwang, Chan-Kyou;Lee, Young-Woo 308
기업 ICT (Information & Communication Technology) 인프라의 혁신을 위해 선행되어야 할 조건으로 유무선 네트워크 시스템의 통합을 들 수 있다. 최근 10년간 통신 사업자들을 중심으로 유무선 네트워크 통합과 통합된 네트워크를 효율적으로 관리하기 위한 망 관리 시스템의 통합이 추진되어 왔다[5][6]. 여러 개의 망 관리 시스템을 하나의 시스템으로 통합하면서 발생하는 문제점 중 하나는 데이터베이스의 종류와 개수가 증가하면서 사용자들이 원하는 망관리 정보를 쉽게 찾을 수 없다는 점이다. 이러한 문제를 해결하기 위해 본 논문에서는 다양한 종류의 데이터베이스와 연동하여 사용자가 원하는 메뉴를 쉽게 찾을 수 있도록 지원하는 검색 체계를 제안한다. 제안된 아키텍처는 유무선 통합 망관리 시스템 환경에서 사용자가 원하는 망관리 정보를 쉽고 빠르게 검색하는 기능 구현에 적합하다. -
Yoon, Ik-June;Ko, Kwang-Jin;Shin, Heon-Shik 311
도시 컴퓨팅에서의 파일 시스템은 하나의 메타 데이터 서버와 여러 개의 데이터 저장 서버로 구성되어 있다. 이 데이터 저장 서버의 자료구조를 사용자의 두 가지 질의에 맞게 구성함으로써 미리읽기의 성능을 향상시킨다. 또한 데이터의 손실을 방지하기 위해 복사본을 만들 때, 두 가지의 형태로 바꿔 저장함으로써 데이터의 손실을 막고 여러 질의에 대응하여 좋은 성능을 낼 수 있다. -
Kim, Seong-Min;Kim, Tae-Seok 313
SSD(Solid State Drives)에서는 쓰기 버퍼를 활용해 쓰기 연산의 횟수를 줄임으로써 입출력 성능향상을 가져오고, 부가적으로 삭제 연산이 줄어들어 수명 향상의 효과를 얻고 있다. 하지만 지금까지의 쓰기 버퍼 관련 연구에서는 SSD의 컨트롤러 구조를 모두 고려하지 못하고 있다. 이 논문에서는 쓰기 버퍼의 데이터 히트(HIT)율을 높이기 위한 방법으로 지금까지 고려하지 못했던 SSD 컨트롤러 구조 내 명령 큐(Command Queue)의 정보를 통해 가까운 미래에 도착할 쓰기 명령을 예측하고, 이를 기존 버퍼 관리 기법에 적용하는 방안을 연구한다. -
Jia, Fengjuan;Hong, Bong-Hee;Kwon, Joon-Ho 316
Radio Frequency Identification(RFID) technology has been widely used to identify and keep track of physical objects. The EPC Network Architecture, which is proposed by EPCglobal to promote EPC and RFID technologies, consists of several layers to deal with the captured data. Many studies concentrated on dealing with RFID tag data (ECReports) from ALE. However, there is no well-known work on specifying how to generate high level EPCIS events. For the incoming ECReports, Capturing Application cannot decide to generate which event types and how to get the semantic fields. In this paper, we propose the new Capturing Application (NCA) to solve the problem. NCA can generate EPCIS events correctly and automatically. -
Shin, Dong-Min;Shin, Dong-Kyoo;Shin, Dong-Il 319
u-Health Care 시스템은 장기요양 환자 및 만성질환 보유자에게 의료비 절감 및 수준 높은 의료서비스를 제공 할 수 있는 방안이다. 이러한 의료 서비스를 제공하기 위해 필요한 구성으로 본 논문에선 생체신호 취득 단말기, 신호를 전송하는 스마트폰, 신호를 분석해 환자의 건강 기저선을 분석 할 수 있는 서버로 나뉠 수 있다. 본 논문에서는 이러한 환자에게서 체온, 혈압, 혈당, 산소포화도, 맥박, 심전도, 근전도에 해당하는 생체신호를 수집하는 u-Health Care 시스템을 구성하고 환자의 생체신호를 숫자형 데이터, 심전도, 근전도로 분류해 환자의 생체신호를 분석, 건강이상 상태를 파악하는 자동 분석 시스템을 구현 하였다. -
Jeong, Hak-Su;Ryu, Jun-Hee;Shin, Heon-Shik 322
PCM은 바이트 단위 읽고 쓰기가 가능한 비휘발성 메모리로서 차세대 스토리지로 주목받고 있다. 기존의 디스크 캐싱 기법은 하드 디스크나 SSD와 같이 섹터 단위로 엑세스하는 장치를 위하여 페이지 단위의 캐싱을 하고 있다. 하지만, 바이트 단위 접근이 가능한 고성능 PCM의 특성을 활용하기 위해서는 PCM 스토리지를 위한 효율적인 단위의 디스크 캐싱 기법이 필요하다. 본 논문에서는 페이지 단위가 아닌 128바이트 단위 I/O요청을 위한 캐싱 방법을 제안하며, 이를 기반으로 몇 가지 워크로드에 대하여 실험을 진행하여 I/O 요청의 크기와 개수 변화를 추정한다. 실험 결과를 바탕으로 제안한 기법이 PCM 스토리지에서 더 적합함을 보인다. -
Shin, Jae-Wan;Shin, Dong-Kyoo;Shin, Dong-Il 325
스마트 홈은 단순한 가정 내 네트워크 연결이 아닌 주택(건물)내의 정보 기술 요소를 구현하는 토털 홈 정보 제어 시스템 서비스, 솔루션을 총칭한다. 현재는 언제, 어디서, 어떤 기기로건 인터넷에 접속할 수 있는 유비쿼터스(Ubiquitous) 시대이자, 개별 사물들이 인터넷에 연결되어 스스로 필요한 정보를 주고받게 될 시대가 도래함에 따라 사람들의 주요 생활공간에서도 활용도가 점차 커지는 것이다. 수시로 변화하는 상황에 적응하며 정확도가 높은 스마트 서비스의 제공을 위해서는 사용자의 의도에 부합하는 Semantic-Context 정보생성을 위한 SOM(Self-Organizing Map)추론 방식의 알고리즘과 정보의 의미화로 다양한 서비스를 지원할 수 있는 인프라 대비 최대 서비스가 요구된다. 이에 따라 본 논문에서는 스마트 홈에서 이종 가전기기들의 상황정보를 센서 데이터로부터 추출하여 사용자 맞춤형 서비스를 제공하기 위한 SOM 추론 기반의 스마트 홈을 설계한다. -
Lee, Ja-In;Choi, Kyung-Hee;Jung, Ki-Hyun 328
오늘날의 스마트폰 환경은 인류에게 많은 윤택함을 가져다 주었다. 이에 선두에선 기업이 애플이고 구글, Microsoft 가 뒤따르고 있다. 스마트폰에 설치된 Application은 사람들에게 많은 시간을 단축할 수 있게 해주었고, 이로 인한 부가적인 시장 효과 등을 가져다 주었다. 앞으로 미래에 구현될, 예를 들어 음성이나 눈짓으로 외부에서 device를 조작할 수 있는 환경을, 지금 여기서 socket networking을 통해 안드로이드 스마트폰과 wifi망으로 클라이언트를 연결하여 몇 가지 기능을 원격으로 사용가능 함을 확인하였다. -
Lee, Woong-Kyu;Lee, Jae-Min;Jung, Hyun-Jong;Song, In-Sun;Nang, Jong-Ho 331
동영상 데이터에는 요약을 통하여 한눈에 알 수 있도록 하는 기술을 필요로 한다. 그 중 방송용 스트림(stream) 서비스의 경우 그 활용을 더욱 필요로 하고 있다. 여러 채널을 공유하는 TV에서는 각 채널이 무슨 방송을 하고 있는지 중요한 이슈가 된다. 이런 동영상 요약에서 키 프레임(key frame)을 찾는 기술이나 키 프레임과 거리가 먼 프레임을 찾아내는 기술이 필요하다. 이 논문에서는 키 프레임과 비 중요 프레임을 정의하고 그 프레임들을 검출하는 연구에 대하여 소개한다. 비 중요 프레임의 경우 칼라 히스토그램(color histogram)을 분석하여 실제 테스트 이미지들과의 차이점을 분석한다. 키 프레임의 경우 얼굴 검출(face detection)과 샷 변경 검출(shot change detection)의 기술을 이용하여 자동으로 추출하도록 하고 그 성능을 측정하도록 한다. -
Cho, Hee-Jun;Shin, Dong-Kyoo;Shin, Dong-Il 334
EEG 신호에 대한 연구는 의학, 신경과학, 심리학, 컴퓨터과학, 전자 공학 등 여러 학문 분야에서 많은 연구가 진행되고 있다. EEG 신호는 추출하는데 있어서 필연적으로 각종 Artifact와 분석대상이 아닌 신호가 혼재되어 분석 결과의 부정확성을 가지고 있어 EEG 신호의 활용이 주목받은지 오래되었지만 충분히 활용되지 못하고 있다. 이 문제를 해결하기 위해 각종 필터링 연산 등을 통하여 잡음을 제거하고 혼재된 신호를 분류해 내고 있지만, 잡음제거나 신호분류에 사용되는 방법이 고정된 수식을 이용하는 방법이기 때문에 유연한 측정 및 분류를 할 수 없는 것이 현실이다. 본 논문에서 제안하는 매개변수 선택형 시스템은 정제되지 않은 EEG 신호에서 잡파를 제거하고 정제된 신호에서 분석에 필요한 특징을 추출하는데 있어 사용자에게 착용된 EEG 신호 측정기기에서 전극채널, 신호발생영역 및 주파수 대역 등의 매개변수를 선택하고 필요에 따라 매개변수에 가중치를 부여함으로써, 측정의 정확성을 높이고 EEG 신호의 활용에 신뢰도를 향상 시킬 수 있다. -
Hwang, Gu-Youn;Shin, Dong-Kyoo;Shin, Dong-Il 337
최근 인간공학 및 감성공학 분야에 대한 관심이 크게 증가하여 다양한 연구가 활발히 진행되고 있다. 바이오피드백 인터페이스 기술에 대한 기초 연구로서 복합 생체신호를 처리하고 모델링 하는 시스템을 만드는 것은 매우 중요하며 이러한 기술들의 궁극적 역할은 쾌적한 삶의 환경을 제공하는 것이므로 생체 신호 분석을 기반으로 한 인간 중심의 시스템이 미래 기술의 핵심 키워드가 될 것이다. 본 논문에서는 생체신호(EEG, ECG)분석을 통해 사용자의 집중도 및 감정 상태를 인식하고 사용자의 의도를 효과적으로 반영 가능한 바이오피드백 인터페이스를 설계하였다. 기존의 단일 생체신호를 이용한 인터페이스 기법에 비해 복합 생체신호를 분석함으로써 사용자의 상태 및 의도를 판단함에 용이하고 활용성이 향상 되도록 하였다. -
Kim, Joo-Sung;Kim, Hak-Il;Kim, Yoo-Sung 340
사람관련 사건을 실시간으로 인지하거나 빠르게 사건 관련 증거를 확보하기 위해서는 대량의 비디오 감시 데이터로부터 사람 관련 정보를 빠르게 찾을 수 있어야 하는데 기존의 시스템에서는 모든 프레임으로부터 주석 편집자가 수작업으로 관련 정보를 추출하여 색인해야 하기 때문에 많은 주석 시간을 필요로 하는 문제를 갖고 있었다. 본 논문에서는 대량의 방범용 비디오 감시 데이터로부터 사람 관련 사건 정보를 빠르게 찾을 수 있도록 지원하기 위해 전체 비디오 데이터 중에서 사람의 출현과 퇴장을 기준으로 키 프레임 구간을 추출하고, 키 프레임에서만 사람 관련 정보를 추출하여 사람 관련 주요 정보를 자동으로 추출하여 XML 스키마 형식으로 색인하는 비디오 주석 시스템을 개발하였다. 또한, 색인된 XML 데이터에 대해 구조 및 내용 기반 질의를 이용하여 쉽고 빠르게 검색할 수 있도록 하기 위해 XPATH 질의 인터페이스를 구현 하였다. -
Lee, Min-Kyu;Jeon, Jae-Bong 343
오늘날 우리는 생활속에서 여러 디지털기기들을 사용하고 있다. 새로운 종류의 여러 디지털기기들이 나타났지만 기존에 사용하던 입력장치의 틀에 얽매여 있다. 키보드, 마우스, 리모콘, 터치패널 등처럼 항상 별도의 컨트롤러를 지녀야 하는 불편함에서 벗어나지 못하고 있다. 이런 이유로 최근에 별도의 컨트롤러 없이 사용자의 움직임을 인식하여 다양한 기능을 수행할 수 있는 키넥트에 대한 관심이 높아지고 있다. 본 연구에서는 키넥트에서 인식하는 손의 움직임 정보를 인식하여 키보드와 마우스를 비롯한 기존 입력장치의 임무를 대신하는 것을 목표로 한다. 키보드 모드는 화면상에 가상의 버튼들을 배치한 후 손의 위치 정보가 버튼안에 있을 때 이벤트를 발생시키는 방법으로 구현한다. 마우스모드는 오른손으로 포인터를 이동하고, 왼손으로 보조 조작이 가능하도록 구현한다. 이 연구를 통해 손이 자유롭지 못하거나 정적이지 못한 상황에서 물리적인 도구가 필요 없는 간단한 조작이 가능하다. -
Kim, Min-Ji;Kwon, Hyuk-Jin;Shin, Dong-Kun 346
리눅스 기반의 운영체제인 안드로이드는 스마트 디바이스를 위해 만들어진 운영체제로 기존의 리눅스에서 제공하던 메모리 관리 기법인 스왑(Swap)기능을 기본적으로 제공하지 않고 있다. 하지만, 스마트 디바이스의 활용도가 높아짐에 따라 디바이스 상에서 여러 가지 기능을 제공하게 되었고 그로인해 기존의 메모리 공간보다 더 큰 메모리 공간을 요구하게 되었다. 따라서 메모리 관리에 있어 스왑기법과 같은 소프트웨어적 접근에 대한 관심이 높아지고 있다. 본 논문에서는 안드로이드 운영체제에 대한 스왑기법의 적용에 초점을 맞추어 스왑기법의 적용 시 성능 저하 문제를 기존의 LMK 기법과 비교하여 제시하고 있다. -
Kim, Kyung-Min;Ha, Rhan 349
낸드 플래시 메모리에서 가비지 콜렉션은 블록의 유효한 데이터들을 새로운 블록으로 옮기고 오래된 블록을 지우는 과정이다. 가비지 콜렉션에 의해 옮겨지는 페이지들은 작업의 양과 형태에 따라 오랫동안 유효한 페이지로 존재하기도 하고 그렇지 않은 경우도 있다. 본 논문에서는 반도체 디스크(Solid State Drive, 이하 SSD)에서 가비지 콜렉션이 비효율적으로 일어나는 경우를 정의하고 비효율적 가비지 콜렉션 과정으로 인한 비용을 줄이는 캐시 방출 기법을 소개한다. 이 기법을 시뮬레이션 해본 결과 작업 형태가 순차적일 때 LRU 캐시 알고리즘과 같이 사용되면 가비지 콜렉션에 의해 옮겨지는 페이지를 12%, 전체 쓰기 연산 횟수를 9%까지 줄일 수 있었고 블록 단위 LRU 알고리즘과 사용했을 때도 보다 좋은 성능을 보였다. -
Han, Kyu-Hwa;Ahn, Jeong-Cheol;Shin, Dong-Kun 352
SSD에 내장되어 있는 FTL은 매핑 기법에 따라서 성능 및 비용이 크게 달라진다. 기존의 SSD가 대부분 페이지나 슈퍼페이지 단위의 매핑을 사용했지만, 실제 워크로드에서는 그보다 작은 크기의 쓰기 요청이 많아 섹터 단위의 매핑이 요구되고 있다. 본 연구에서는 섹터 매핑 기법을 사용하는 FTL의 성능과 오버헤드에 대해서 살펴보기 위해서, 실제 SSD 제품에서 사용되었던 컨트롤러 기반의 OpenSSD라는 SSD 개발 플랫폼에서 섹터 매핑 FTL을 구현하고 실험을 진행하였다. 효과적인 섹터 매핑의 구현을 위해서 OpenSSD가 제공하는 하드웨어의 기능을 활용하고, 대용량의 매핑 정보를 효율적으로 관리하기 위한 기법들을 제안하고 있다. 실험 결과, 섹터 매핑 기법이 작은 크기의 쓰기 요청에 대해 슈퍼 페이지 매핑 기법보다 월등히 좋은 성능을 보이지만, 매핑 테이블의 오버헤드가 성능에 미치는 영향도 크다는 것을 알 수 있었다. -
Hong, Gyeong-Hwan;Kim, Dae-Ho;Shin, Dong-Kun 355
차세대 웹 브라우저는 멀티 쓰레드(multi-thread) 구조로 되어 있으며 HTML5와 WebGL을 기반으로 화려한 그래픽을 구사하기 때문에, 멀티 코어(multi-core) CPU와 GPU의 성능이 웹 브라우저의 성능에 큰 영향을 미치고 있다. 본 논문은 오픈 소스 웹 브라우저인 크로미엄(Chromium) 상에서 프로세서의 성능 변화에 따라 웹 브라우저에서 실행되는 웹 어플리케이션의 성능이 어떤 양상으로 변화하는지와 이 변화에 웹 브라우저의 각 동작이 얼마나 기여하는지를 비교 분석하였다. 그 결과 CPU 코어의 수가 렌더링 성능에 큰 영향을 주며, GPU의 성능은 WebGL의 성능을 크게 좌우함을 알 수 있었다. -
Ko, Byung-Chul;Jhang, Kyoung-Son 358
칩을 분석하기 위해서는 현미경을 이용하여 칩 전체를 타일 형태로 나누어서 사진을 찍어 분석할 한 장의 사진을 완성하게 된다. 본 논문은, 타일형태로 부분 부분 찍은 사진들을 조립하여 한 장의 전체 사진을 완성하는 스티칭 방법에 관한 것이다. 사람이 수작업으로 일일이 사진들을 붙이려면 시간과 정확성이 떨어지므로 스티칭 과정을 자동화하는 방법을 제시한다. -
Kang, Min-A;Kang, Jin-Ho;Cho, Eun-Sun 361
Social Network Service는 웹상에서 인맥관계를 강화시키고 새로운 인맥을 쌓으며 폭넓은 인적 네트워크를 형성할 수 있도록 해주는 서비스로 지금 현재 사람들끼리 빠르게 많은 정보를 공유할 수 있고, 많은 사람들을 사귈 수 있다는 점에서 각광을 받고 있다. 키넥트는 센서를 통해 사용자의 동작을 인식하는 기계로 별개의 컨트롤러 없이 사용자의 신체만을 이용하여 다양한 게임과 엔터테인먼트를 경험할 수 있기 때문에 남녀노소 모두가 쉽게 즐길 수 있다는 장점이 있다. 또한 동작인식이라는 기능 때문에 본래의 목적인 게임용이 아닌 다른 여러 분야에서 응용되어 사용되고 있다. 본 논문에서는 소셜 네트워크 서비스에서 할 수 있는 정보공유와 인맥강화를 키넥트를 이용하여 보다 동적인 소셜 네트워크 서비스를 구축하는 것을 목적으로 한다. 키넥트의 동작인식 센서와 음성인식 센서를 이용하여 소셜 네트워크 서비스 중의 하나인 페이스북의 기능을 사용할 수 있게 한다. -
Park, Dae-Jun;Choi, Dong-Soo;Shin, Dong-Kun 364
스마트폰의 어플리케이션은 어플리케이션 생태계의 발전에 따라 그 수가 많아지고, 업데이트 또한 잦아졌다. 어플리케이션의 업데이트는 낸드 플래시 메모리에 이전 버전을 삭제하고, 새로운 버전의 어플리케이션에 대한 쓰기 명령을 내린다. 따라서 사용자는 낸드 플래시 메모리에서의 상대적으로 느린 쓰기 명령에 의해 스마트폰의 성능의 저하를 느끼고 낸드 플래시 메모리는 반복되는 지우기/쓰기 동작에 의해 수명이 단축된다. 본 논문에서는 업데이트 되는 스마트폰 어플리케이션 데이터가 이전 버전과 큰 차이가 없다는 것에 착안하여 데이터 중복제거를 통해 업데이트 성능을 향상시키고 낸드 플래시 메모리의 수명을 향상시키는 기법을 제안하고 있으며, 실험을 통해서 어플리케이션들에 대한 중복 제거율을 관찰하였다. -
Lee, Sang-Su;Shin, Dong-Kun 367
SSD는 고성능 저전력 스토리지 시스템으로 각광받고 있다. 본 연구에서는 SSD를 사용한 RAID 장치의 성능을 분석하는 연구를 수행하였다. 하드웨어 RAID 5 시스템에서 SSD의 개수, 스트라이프 크기, 리퀘스트 크기, NCQ의 값을 변화시키며 임의 읽기/쓰기 동작의 성능을 분석하였다. 실험 결과를 바탕으로 본 논문에서는 패리티를 기반으로 한 RAID 5 시스템에서 임의 쓰기 성능의 문제점을 보여주고, RAID 5 시스템의 구성에 대한 재고가 필요함을 보인다. -
Jung, Suhk-Jun;Choi, Gyu-Jin;Cho, Eun-Sun 370
본 연구는 프레젠테이션 조작을 위한 동작 인식 시스템을 제안한다. 기존에는 프레젠테이션 조작을 위해서 로컬 입력 장치 또는 원격 입력 장치를 이용했다. 하지만 로컬 입력 장치를 이용하면 프레젠테이션 진행이 원활해 지지 않고 원격 입력장치는 제한적인 조작 기능을 가진다. 이런 제약을 개선하기 위해 동작 인식 센서인 Kinect를 이용한다. 따라서 본 연구는 Kinect 센서를 이용하여 효과적인 의사 전달을 위해 프레젠테이션을 하는데 있어 필요한 기능들을 구현한다. 구현된 시스템은 원격에서 효과적인 프레젠테이션을 가능케 한다. -
Choi, Dae-Soon;Kim, Jee-Hong;Eom, Young-Ik 373
정보의 양이 늘어나고 그 크기가 커짐에 따라 많은 분야에서 대규모 분산 파일 시스템을 제안하고 사용하고 있다. 현재 제안된 분산 파일 시스템은 대부분 확장가능하며 장애에 견딜 수 있고 신뢰성이 있는 시스템을 기본으로 하여 구성되었다. 따라서 분산 파일 시스템은 장애에 효과적으로 견질 수 있고 높은 신뢰성을 보장하기 위해서 데이터의 복제를 만들어 서로 다른 스토리지에 배치한다. 본 논문에서는 대규모 분산 파일 시스템의 복제 배치 기법에 관하여 비교 분석 하였다. 먼저 분산 파일 시스템의 동작 구조를 확인하고 분산 파일 시스템에서 보편적으로 중요시 되는 특성을 파악하였다. 그리고 복제 배치 기법이 효과적인 분산 파일 시스템 구성 시 고려해야 할 것들을 부하 분산, 디스크 분산, 장애 분산으로 나누었다. 이 세 가지 요소를 기준으로 하여 분산 파일 시스템인 GFS, HDFS, Ceph, MooseFS의 복제 배치 기법을 분석하고 각각의 특성 파악하였다. -
Kim, Hyun-Jun;Ahn, Joon-Wook;Choi, Jung-Sik;Han, Hwan-Soo 376
중앙 처리장치, 주기억장치, 보조기억장치로 이어지는 현재의 컴퓨터 구조에서 비휘발성 메모리 소자의 발전으로 주기억장치를 비휘발성 메모리 소자로 대체하는 컴퓨터 시스템의 변화가 요구되고 있다. 이런 흐름에 맞춰 주기억장치에 기반한 새로운 파일시스템을 제시한다. 또한 새롭게 제시된 파일시스템과 유사한 tmpfs를 이용하여 기존의 시스템에 쓰이던 ext4fs와 비교하여 성능의 향상을 확인한다. -
Kang, Yun-Ji;An, Jeong-Choel;Shin, Dong-Kun 379
중복 제거(deduplication)기법은 저장장치의 공간을 효율적으로 사용할 수 있도록 해 주기 때문에 기존의 스토리지 시스템에서 많이 사용된 기법이다. 최근에는 플래시 메모리 기반의 SSD를 위한 중복 제거 기법도 많이 제안되었지만, 플래시 메모리의 특성을 고려하지 못하고 있다. 본 논문에서는 오프라인 중복 제거 기법을 대상으로 SSD의 특성을 고려하여 가비지 컬렉션의 비용을 절감할 수 있도록 중복 가능성이 있는 데이터와 중복 가능성이 없는 데이터를 온라인에 구분하여 플래시 메모리의 다른 영역에 기록하여 오프라인 중복 제거 후에 가비지 컬렉션 성능을 향상시키는 기법을 제안하였다. 실험결과, 제시된 기법은 가비지 컬렉션 비용인 페이지 이동 횟수를 약 80%이상 감소시켰다. -
Jung, In-Hye;Lee, Se-Ho;Eom, Young-Ik 382
클라우드 컴퓨팅 기술의 발전과 함께 많은 기업들이 관련 기술 연구를 통해 여러 플랫폼들을 제안하고 있다. 이러한 상황은 클라우드 컴퓨팅 플랫폼 발전에 도움이 되지만, 통합되지 않은 다수의 플랫폼으로 인한 문제점도 존재한다. 왜냐하면 클라우드 컴퓨팅 환경에 대해 처음 접하는 사용자의 경우, 플랫폼 선택시 합리적인 선택을 하기 어렵기 때문이다. 따라서 본 논문에서는 가장 많은 업체들이 제공하고 있는 오픈소스 기반의 플랫폼인 OpenStack, Eucalyptus, CloudStack, OpenNebula를 비교 및 분석한다. 분석 결과에서 알 수 있듯이, 각 플랫폼은 지원 가상화 기술, 스케줄링 기법, 배치 기법, 호환성 등 여러 가지 특성들 차이로 인한 장단점이 존재한다. 분석 결과를 바탕으로, 사용자들은 플랫폼들의 특성을 파악해 상황에 맞는 플랫폼을 합리적으로 선택할 수 있다. -
Kim, Tae-Seong;Na, Joong-Chae 385
Succinct 표현은 n개의 이산 객체를 정수 값으로 표현하는 대신 이진화하여 표현하는 방법으로 o(n) bit만을 사용하는 공간 효율적인 방법이다. Succinct 표현을 위한 1차원 비트스트링은 이산 객체의 저장 위치에 접근하기 위해서 rank와 select 함수를 필요로 하며, 다양한 연구들에 의해 현재 rank와 select 함수는 o(n) 비트를 사용하여 O(1) 시간에 수행되고, 실용적인 구현이 가능하다. 또한, 2차원 비트 스트링에 대한 연구도 진행되어, 현재 O($n^2$ ) bit를 사용하여 O(logn) 시간에 rank를, O($log^2n$ ) 시간에 select를 수행할 수 있다. 본 논문에서는 2차원 비트스트링 상에서의 rank 및 select 함수를 새롭게 정의하고 o($n^2$ ) 비트만을 사용하여 O(logn) 시간에 rank 질의를, 그리고 O($log^2n$ )시간에 select 질의를 수행할 수 있는 방법을 제안한다. -
Son, Wan-Bin;Hwang, Seung-Won;Ahn, Hee-Kap 388
본 논문에서는$L_1$ 메트릭을 사용하는 평면상에 주어진 자료점의 집합 P로부터 질의점의 집합 Q에 대해 skyline이 되는 점들을 계산하는 문제를 다룬다.$L_1$ 거리는 도로망이 잘 발달된 도시 내의 이동 시간을 근사화해 주는 것으로 알려져 있다. 이 문제에서 각각의 질의점은 수직 또는 수평 방향으로 단위속도로 움직인다고 가정한다. 본 논문에서는 시간 0에서$t_1$ 사이에 움직이는 질의점들에 대해서 skyline의 변화를 모두 계산하는 알고리즘을 제시한다. 또한 이 알고리즘이 O(${\mid}P{\mid}^2{\mid}Q{\mid}$ ) 시간에 모든 skyline을 계산 가능함을 보인다. -
Jeong, Ju-Hui;Kim, Young-Ho;Sim, Jeong-Seop 391
반복적인 문자열에 대한 연구는 압축알고리즘이나 모티프검출, 염기서열 분석 등 다양한 분야와 관련되어 연구되고 있다. 반복문자열 연구 중에서도 어느 정도의 불일치를 허용하는 근사반복문자열 연구가 활발히 이루어지고 있다. 본 논문에서는 길이가 각각 m과 n인 문자열 p와 x가 주어졌을 때, p의 x에 대한 거리합기반 근사주기에 대해 정의하고 최소 주기거리를 찾는 문제를 제시한다. 그리고 가중편집거리를 사용했을 때 O($mn^2$ )시간, 편집거리를 사용했을 때 O(mn)시간, 해밍거리를 사용했을 때 O(n)시간에 문제를 해결하는 알고리즘을 제시한다. -
Lee, Hye-In;Ko, Sang-Ki;Han, Yo-Sub 394
무선 센서 네트워크는 센서들이 시간적, 공간적 제약을 갖고 있다는 점에서 여타 네트워크들과는 다른 특성을 갖고 있다. 본 연구에서는 무선 센서들을 보다 오랜 시간 동안 보다 넓은 영역을 커버하며 통신 할 수 있도록 하는 알고리즘을 제안한다. 우리는 가중치 기반의 셀룰러 오토마타 모델을 활용하여 효율적인 무선 센서 네트워크 알고리즘을 구현하고 그 실험 결과를 분석하여 제안된 알고리즘의 우수성을 입증하고자 한다. -
Lee, Sun-Ho;Kim, Jin-Wook;Park, Kun-Soo;Paek, Eun-Ok;Park, Hee-Jin 397
생물학에서 특정 단백질을 구성하는 아미노산 서열을 결정하는 것은 매우 중요하다. 이를 위해 펩타이드의 단동위질량을 결정하는 것은 매우 중요한 문제이다. 하지만 Selenocysteine(Sec)이 가지고 있는 특이 성질 때문에 기존의 알고리즘으로 Sec를 포함한 펩타이드의 단동위질량을 결정하는 것은 쉽지 않다. J.W.Kim et.al.은 Sec의 특성을 고려하여 새로운 모델을 제시하고 그에 맞는 알고리즘을 보였다. 이 논문에서는 실험을 통해 J.W.Kim et.al.이 제안한 알고리즘을 실제 프로그램으로 구현하여 실행할 때 고려해야 할 주요 파라미터 및 함수에 대한 분석을 수행한다. -
Seo, Jung-Joo;Kim, Jin-Il;Kim, Eun-Sang;Kim, Daniel;Jeong, Ha-Woong;Kim, Sung-Ryul;Park, Kun-Soo 400
웹을 구성하는 웹 페이지들과 페이지들 사이의 하이퍼링크들은 방향성을 지니는 그래프로써 표현될 수 있으며, 웹 그래프가 가지는 독자적인 링크 구조의 특성은 다양한 분야의 연구에서 활용되고 있다. 현재 검색 엔진들이 수집한 웹 페이지들은 그 규모가 수십억 개로 방대한 양을 이루고 있다. 본 논문에서는 약 3억 개의 국내 웹 페이지들을 수집하고, 링크 데이터를 추출하여 생성한 웹 그래프의 구조에 대해 분석한다. 국내 웹 페이지들의 링크의 진입 차수와 연결 요소들의 크기 분포는 멱법칙을 따르고, 웹 페이지의 진출 차수는 특정 차수 이상에서 멱법칙을 가짐을 확인한다. 또한 그래프 알고리즘을 이용하여 웹 그래프를 구성하는 요소들로 나눈 후 전체적인 구조를 도식화한 보우타이 다이어그램을 도출한다. -
Implementation and analysis of a parallel suffix tree construction algorithm using TBB and Cilk PlusSeo, Jun-Ho;Na, Joong-Chae 403
접미사 트리는 문자열 압축, 텍스트 처리, 생물정보학 등 다양한 응용 분야에서 사용되는 인덱스 자료구조이다. 최근 64bit 하드웨어와 멀티코어 CPU가 보급됨에 따라 메모리상에서 병렬로 접미사 트리를 생성하는 알고리즘이 활발히 연구되고 있다. 본 논문에서는 McCreight의 선형시간 알고리즘과 Chen의 병렬 알고리즘을 기반으로 메모리상에서 접미사 트리를 병렬로 생성하는 구현 방법을 보였으며, TBB, Cilk Plus와 같은 병렬 프로그래밍 라이브러리를 이용하여 병렬 알고리즘을 구현하였다. 알고리즘 실험 결과 병렬로 수행한 알고리즘이 직렬로 수행한 결과보다 최대 4배 가량 성능 향상을 얻을 수 있었으며, 병렬 라이브러리를 사용함으로써 가지는 오버헤드는 극히 적은 것으로 나타났다. -
Kang, Hyung-Ku;Kim, Hee-Seong;Youn, Hee-Yong 406
본 논문의 연구목적은 Grey Relational Analysis와 Interval Weight을 이용하여 다수의 업체가 있는 커뮤니티 환경에서 최적의 업체를 선정하기 위한 방법론을 제공하는 것이다. 일반적으로 하나의 의사를 결정하기 위해서는 대안과 이와 관련된 기준과 같은 다양한 변수들이 고려되어야 한다. 커뮤니티 내의 다수의 업체 평가를 위해 평가기준에 대한 가중치를 도출하고 최종적으로 평가결과를 도출하기 위해 Grey Relational Analysis와 Interval Weight에 기반을 둔 다중의사결정 방법을 제안하였다. -
Kim, Kyoung-Hwan;Han, Yo-Sub 409
범용 계산에 GPU를 활용하는 GPGPU 연구가 활발히 이루어지고 있다. 기존 연구에서 사용된 병렬화 기법은 데이터 이동시 GPU의 유휴자원을 잘 활용하지 못한다. 우리는 스트림 기법을 이용하여 CPU-GPU간 데이터 이동과 GPU내 연산을 동시에 실행시켜 데이터 이동시 GPU의 유휴자원을 최대한 활용하여 성능을 향상한다. 제안된 방식은 기존의 병렬화 방법에 비해 약 1.1배 향상된 성능을 나타낸다. -
Jeon, Seung-Woo;Hong, Bong-Hee;Kwon, Joon-Ho 411
생강, 양파와 같은 농산물은 재배지에서 우리 식탁에 놓일 때까지 신선도 유지를 위하여 저장고에 넣어 관리한다. 하지만, 현재 설치되어 사용 중에 있는 저장고는 내부에 온/습도를 측정할 수 있는 센서를 부착하고 측정함에도 불구하고, 농산물이 얼거나 부패되는 문제점이 발생하고 있다. 이것은 저장고 내부 센서의 부착이 그만큼 효율적이지 못하다는 것을 반증하고 있는 것이다. 이 문제점을 극복하기 위하여, 본 논문에서는 보로노이 다이어그램을 이용한 센서 배치 기법을 제안한다. 이 기법은 저장고 내부의 공간을 평면 분할하고, 분할된 공간에 센서 배치를 함으로서, 저장고 내부의 온도를 정확히 얻을 수 있을 뿐만 아니라, 배치된 센서 개수의 최소화를 이룰 수 있도록 한다. -
Lee, Jong-Hyun;Ahn, Chang-Wook 414
마스터마인드는 한 플레이어가 정한 비밀 코드를 다른 한 플레이어가 질의를 통해 추리해내는 방식으로 진행되는 암호해독 게임으로서 연구 초기 단계에 D. Knuth에 의해 암호해독자가 언제나 질의 5회 이내에 비밀코드를 찾을 수 있음을 보였고, 그 후 연구자들에 의해 변형된 형태의 마스터마인드 게임의 최소 질의 수가 연구되어 왔다. 본 논문에서는 마스터마인드 문제해결을 위한 전략들을 제안하고 시뮬레이션을 이용한 실험적 분석방법을 제시한다. -
Hwang, Yoon-Ho;Ahn, Hee-Kap 417
우리는 유클리드 공간에서 그림 데이터의 평균화 분산을 이용한 비선형 변환을 이용하여, 그림 데이터에서 최인접검색(nearest neighbor search)을 빠르게 할 수 있는 알고리즘을 제시한다. 기존의 평균과 분산을 이용한 최인접검색 알고리즘은 고차원 그림 데이터를 그보다 낮은 차원의 유클리드 공간의 데이터로 변환하고, 낮은 차원에서의 비교를 통해 최인접검색의 해가 될 수 없는 그림 데이터를 빠르게 제외하는 방법을 사용한다. 우리는 기존의 방법이 균일하게 나누어지는 크기의 그림 데이터에서만 가능하던 기존방법에 대한 해결책을 이 논문에서 제시하여 일반적인 그림 데이터에서도 평균과 분산을 이용하는 최인접검색을 가능하게 한다. -
Jung, Jae-Hun;Lee, Jong-Hyun;Ahn, Chang-Wook 419
본 논문에서는 유전 프로그래밍에 기반하여 복잡한 주가지수를 예측함에 있어 사칙연산만을 사용하여 유전 프로그래밍을 구현하는 실험을 소개한다. 전통적인 방법의 주가지수 예측은 적용 분야에 대한 전문 지식과 복잡한 수학적 연산을 요구하여 구현의 어려움과 수행 속도에 문제가 있었다. 본 논문에서는 적용 분야의 전문지식에 의존하지 않는 유전 프로그래밍과 빠른 연산속도의 사칙연산만을 사용하여 이러한 문제점을 극복하는 전략을 사용하였다. 제안된 전략은 실험 결과를 통해 실제 주가지수 변화에 상당히 근접함을 확인하였다. -
Im, Hyeon-Seung;Lim, Jeong-Pyo;Park, Sung-Woo 422
ML 언어에서 제공하는 모듈 시스템은 강력한 모듈화 프로그래밍과 데이터 추상화를 지원함에도 불구하고 재귀모듈을 지원하지 못한다는 점이 단점으로 지적되어 왔다. 재귀모듈을 이용하면 상호의존적이지만 개념적으로는 서로 분리된 소프트웨어 컴포넌트들을 각각 다른 모듈에 작성할 수 있기 때문에 코드의 재사용성을 더욱 증진시킬 수 있다. 이러한 중요성 때문에 재귀모듈은 지난 10년 동안 프로그래밍 언어 분야에서 깊이 있게 연구되어 왔다. 그러나 기존 연구는 복시문제와 순환타입문제를 완벽하게 해결하지 못하여 한정된 재귀모듈 프로그래밍 패턴만을 지원하는 한계점이 있다. 본 논문에서는 복시문제와 순환타입 문제를 해결하고 다양한 재귀모듈 패턴을 지원하는 타입시스템을 제안한다. -
Paik, Joon-Young;Yoon, Tae-Seob;Choi, Joong-Hyun;Cho, Eun-Sun 425
본 논문에서는 상황인지 시스템에서 규칙들간에 발생하는 충돌을 실행 이전에 탐지하기 위한 기법을 소개한다. 사용자가 새로운 규칙을 입력하면, 이벤트, 조건, 액션 정보를 단계적으로 분석하여, 동일한 이벤트가 상이한 서비스를 요구하는 규칙들을 탐지한다. 이는 실행 중에 발생되는 충돌을 감소시킴으로써, 동적 충돌 탐지 및 해결 대상을 감소시킨다. 제안된 기법은 규칙 기반 상황인지 미들웨어 상에 구현되었다. -
Lee, Seung-Jung;Yi, Kwang-Keun 428
악성코드의 위협이 점차 증가하고 있다. 악성코드를 보다 잘 탐지하기 위해 의미 구조를 기반으로 탐지하는 안티바이러스 프로그램이 필요하게 되었다. 의미구조를 기반으로 악성코드를 검출하기 위해서는 프로그램의 어떤 행동이 나쁜 행동인지를 구체적으로 서술하는 것이 필요하다. 이 논문에서는 악성코드의 행동을 형식적으로 나타내는 기술 언어를 만들고 그것이 얼마나 표현가능한지를 악성코드의 행동을 직접 표현해 봄으로써 구체적으로 설명한다. 이 기술 언어를 사용하여 특정 프로그램과 기술 언어를 입력으로 받아 악성코드인지 여부를 알아내는 정적 분석기를 만들 수 있을 것이다. 여기서 제시하는 행동 기술 언어는 프로그램의 행동을 구체적으로 고차원으로 표현할 수 있고, 악성코드의 대표적인 행동들을 충분히 담을 수 있을 만큼 강력하다. -
Heo, Ki-Hong;Lee, Woo-Suk;Oh, Hak-Joo 431
스파스 분석(Sparse analysis)은 프로그램의 데이터 의존관계(Data dependency)에 따라 필요한 정보를 필요한 부위와 시점으로 바로 보냄으로써 분석을 수행한다. 이 데이터 의존관계의 성질을 이용하면 프로그램 분석을 효율적으로 병렬화 할 수 있는 여지가 생긴다. 이 논문에서는 데이터 의존 관계를 이용하여 스파스 분석을 병렬화 하는 방법을 제시한다. 9개 오픈소스를 통해 실험해본 결과, 프로그램에 따라 6~37%, 평균적으로는 24% 가량 속도가 향상되었다. -
Son, Yun-Sik;Mun, Il-Yong;Ko, Seok-Hoon;Oh, Se-Man 434
최근에 모바일 시장의 급격한 성장과 함께, 모바일 애플리케이션의 보안약점을 통해 개인의 민감한 정보가 유출되는 심각한 문제점이 새롭게 등장하고 있다. 특히, 오늘날의 소프트웨어는 인터넷 환경에서 데이터를 교환하기 때문에 해커에 의해 악의적인 공격을 받을 가능성이 항상 존재한다. 이러한 보안약점은 심각한 경제적 손실을 발생시키는 소프트웨어 보안 침해사고의 직접적인 원인이다. 따라서 초기 개발 단계에서 보안약점을 제거하는 것이 중요하다. 그러나 기존의 보안약점 목록은 모바일 환경의 특성을 반영하지 못하고 있다. 본 논문에서는 모바일 애플리케이션의 특성을 고려한 보안약점의 분류 기법에 대한 소개를 한다. -
Choi, Joon-Won;Kang, Jee-Hoon;Park, Dae-Jun;Yi, Kwang-Keun 437
두 가지 대표적인 다단계 언어인 Lisp과 MetaML의 차이를 설명한다. 실행 의미적으로 두 언어가 어떤 차이를 보이는지 설명하고, 그러한 차이가 단계 풀기 변환에서 어떻게 드러나는지 보인다. 마지막으로 두 언어의 근본적인 차이점에 대한 기원 및 각 언어의 응용에 대해 논한다. -
Yoon, Yong-Ho;Kim, Jin-Yung;Yi, Kwang-Keun 440
이 논문은 안드로이드 어플리케이션의 불필요한 코드를 찾는 방법을 제안한다. 불필요한 코드란 어플리케이션이 실행되는 도중에 한 번도 호출되지 않는 메소드로 한정한다. 불필요한 코드를 찾으면 어플리케이션의 크기를 줄일 수 있고, 개발자는 디버깅에도 이용할 수 있다. 안드로이드 어플리케이션의 불필요한 코드를 찾을 때는 자바의 특성과 안드로이드의 특성을 잘 고려해야 한다. 우리의 방법은 이 특성들을 잘 고려하여 불필요한 코드를 안전하게 찾도록 설계하였으며, 제안한 방법을 구현하여 실제 안드로이드 공식 마켓의 인기 무료 앱을 수집해 시험하였다.