권호 표지

The KIPS Transactions:PartA (정보처리학회논문지A)

Korea Information Processing Society

  • Bimonthly
  • /
  • 1598-2831(pISSN)

Domain

  • Information/Communication ＞ Information Processing Theory

Aim & Scope

The KIPS Transactions:PartA publishes original research papers in information processing focusing on computer system and theory. Application oriented papers are also accepted. Technical fields of this journal in detail are as follows; computational theory, algorithm theory, formal languages, grid/clustering computing, middleware, multimedia theory (synchronization, indexing, compacting), parallel/distributed processing theory, computational learning theory, computer graphics & CAD, computer networks, computer system applications, real time processing system.

KSCI

Volume 18A Issue 5

  1. Lee, Kyung-Hee 165
    https://doi.org/10.3745/KIPSTA.2011.18A.5.165 PDF KSCI
    본 논문에서는 대학생 대상의 ROBOTC 기반 레고 마인드스톰 NXT 로봇을 이용한 교육과정 개발 내용을 보이고, 이 과정에 대한 교육효과를 분석하였다. 교육과정은 로봇의 기본 이해와 실습, 응용로봇 실습, 창의로봇 설계 및 구현으로 구성하였다. 2009년부터 3년간 교육을 진행하는 동안, 6개 분반 총 94명의 수강생을 대상으로 설문조사를 실시하여 교육효과를 분석하였다. 분석 결과를 통해 레고 마인드스톰 NXT 로봇을 이용한 교육과정이 학습동기와 학습의욕을 불러 일으켰고, 학생들의 교과목 교육목표 및 학습성과 달성도가 우수하였음을 보인다. 또한 학생들의 수업 및 과제물 수행에 대한 참여도가 매우 높았으며, 문제해결능력과 창의력 향상에 도움을 주었고, 조별 프로젝트 수행으로 협동심도 향상되었다. 마지막으로 ROBOTC기반 프로그래밍에 의한 로봇 제어 실습으로 C언어 프로그래밍 능력 향상에도 도움을 준 것으로 나타났다.
  2. Maeng, Ji-Chan;Ryu, Min-Soo 177
    https://doi.org/10.3745/KIPSTA.2011.18A.5.177 PDF KSCI
    본 논문에서는 인터럽트의 기록과 재현을 통해 소프트웨어의 실행을 동일하게 재현하는 리코드-리플레이(record-replay) 기법을 제안한다. 전통적인 리코드-리플레이 방법에서는 경합(race) 현상을 대표적인 비결정적 요인으로 간주하여 임계영역으로의 진입/진출, 공유 메모리 접근, 메시지 교환 등을 기록하고 동일한 순서(order)로 재현하는 방법을 다루어 왔다. 하지만, 인터럽트 역시 프로그램의 실행에 영향을 끼칠 수 있는 중요한 비결정적 요인이며, 게다가 인터럽트의 경우 발생 순서는 물론 정확한 발생 시점을 재현하는 것이 필요하다. 이에 본 논문에서는 프로세서 하드웨어가 제공하는 성능 카운터와 디버깅 기능을 이용하여 인터럽트의 발생 시점을 정확하게 기록하고 재현하는 방법을 제안한다.
  3. Kim, Hong-Jae;Oh, Sang-Yoon 181
    https://doi.org/10.3745/KIPSTA.2011.18A.5.181 PDF KSCI
    정보우위는 현대전에 있어 승패를 결정할 수 있는 요소로써 효과적인 정보교환을 통해 달성이 가능하다. 현재 해군함정에는 다양한 체계가 탑재되어 운용 중이나 체계 들이 군 독자표준(MIL-STD)과 상용(COTS) 장비들이 혼재 되어 구성이 되어 상호운용성이 제한되고 체계들 간의 정보교환이 어렵다. 이에 본 논문에서는 Publish Subscribe 모델 기반의 함정 체계 간 정보교환 아키텍처를 제안한다. 제안 아키텍처는 Publish Subscribe 모델을 통신 미들웨어로 적용하여 서로 다른 체계들 간의 상호운용성을 향상시키고 정보교환이 가능하도록 하였으며 확장성을 가질 수 있도록 하였다. 그리고 Publish Subscribe Broker의 부하 경감을 위해 개선된 트리 기반의 매칭 알고리즘을 제안하였다. 제안하는 트리 매칭 알고리즘은 트리를 구성하는 각 노드에서 Subscription의 Predicate 정보를 포함하여 이벤트 매칭 시간을 단축할 수 있다. 그리고 본 논문의 성능평가를 통해 제안한 트리매칭 알고리즘이 비교대상 알고리즘에 비해 이벤트 매칭시간을 절감 할 수 있는 것을 확인하였다.
  4. Ahn, Joon-Seon;Lim, Seong-Chae 193
    https://doi.org/10.3745/KIPSTA.2011.18A.5.193 PDF KSCI
    인터넷 상의 웹 응용 프로그램은 불특정 다수의 사용자가 접근할 수 있기 때문에 보안상의 위험이 가중된다. 특히, 응용 프로그램의 소스코드에 보안 취약성이 있을 경우에는 침입 탐지 시스템과 같은 시스템 수준의 방어가 어렵기 때문에 이를 미리 제거하는 것이 중요하다. 본 논문에서는 웹 응용 프로그램의 대표적인 소스 코드 취약성인 PHP 파일 삽입 취약성을 자동으로 검출할 수 있는 정적 분석기의 구현에 대해 다룬다. 본 연구에서는 의미 기반의 정적 분석을 사용하여 소스 코드의 취약성을 미리 자동으로 검출하고 수정하도록 함으로써, 기존의 침입 테스트 기법이나 응용 프로그램 방화벽 사용과 다르게 보안 취약성을 안전하게 제거하면서 추가적인 실행 시간 부하를 피하고자 하였다. 이를 위하여 의미 기반 분석 방법인 요약 해석 방법론을 적용했으며, PHP 삽입 취약성에 최적화된 요약 분석 공간을 설계하여 사용함으로써 PHP의 특성인 복잡한 문자열 기반 자료 흐름을 효과적으로 처리하면서 목적으로 하는 취약성을 효과적으로 검출할 수 있었다. 프로그램의 취약성 분석 결과는 Java GUI 도구를 통해 확인할 수 있으며, 분석된 취약성 지점에서의 메모리 상태 및 계산 정보도 같은 도구를 사용해 확인할 수 있다. 구현된 분석기의 취약성 검출의 정확성과 실행 속도를 검증하기 위하여 공개된 PHP 프로그램을 사용하여 성능 실험을 수행하였으며, 이를 통해 구현된 분석기의 실용성을 확인하였다.
  5. Kim, Jong-Seok;Lee, Hyeong-Ok;Kim, Sung-Won 205
    https://doi.org/10.3745/KIPSTA.2011.18A.5.205 PDF KSCI
    본 논문은 널리 알려진 3차원 꼬인 큐브를 기반으로 하는 새로운 상호연결망 꼬인 큐브 토러스(TT) 네트워크를 제안한다. 꼬인 큐브 토러스 네트워크는 동일한 노드수를 갖는 honeycomb 토러스보다 짧은 지름을 갖고, 망 비용이 개선된 연결망이다. 본 논문에서는 꼬인 큐브 토러스의 라우팅 알고리즘을 제안하고, 지름, 망 비용, 이분할에지수, 해밀토니안 사이클을 분석한다.
  6. Kim, In-Bum 215
    https://doi.org/10.3745/KIPSTA.2011.18A.5.215 PDF KSCI
    본 논문에서는 EGOSST를 이용하여 가중치를 갖는 이동 경로들을 최소 비용으로 모두 연결하는 방법을 제안한다. 이동 경로는 가중치 선분으로 변환될 수 있는데, 이것은 통신선, 도로 및 철도망에서의 동적 궤적뿐 만 아니라, 가중치인 이동 량이나 통행 빈도를 포함한다. 제안되는 방법은 단순한 위치 정보만을 고려하여 처리하는 방법에 비해 더 광범위하고 유용한 분야에 응용이 가능할 것이다. 입력 선분의 수, 각 선분 가중치의 최대 크기, 그리고 그리드 정밀도를 입력 인자로 설정한 실험에서, 본 논문에서 제안된 방법은 가중치 최소 신장 트리를 이용한 방법과 비교할 때, 연결 비용은 평균 1.07%, 가중치 스타이너 최소 트리 방법에 비해서는 평균 0.43% 감소하였다. 또한 그리드 정밀도를 0.1과 0.001로 했을 경우, 가중치 최소 신장 트리 방법에 비해 실행 시간이 각각 평균 97.02%, 2843.87% 증가했으나, 연결 비용은 각각 평균 0.86%, 1.13% 감소되었다. 이는 제안된 방법이 가중치를 반영한 이동 경로의 효과적 연결 뿐 아니라, 그리드 정밀도를 조절하여 생성 시간과 비용 절감 율을 응용 분야에 맞추어 사용될 수 있음을 보인다.