권호 표지

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 17A Issue 1

  1. Kim, Jong-Seok;Lee, Hyeong-Ok 1
    https://doi.org/10.3745/KIPSTA.2010.17A.1.001 PDF KSCI
    고장 지름은 상호연결망의 통신 능률과 신뢰도를 평가하는 중요한 척도 중의 하나이다. 이형옥 외 4인[Folded 하이퍼-스타 그래프의 병렬 경로, 한국정보처리학회논문지, Vol.6, No.7, pp.1756-1769, 1999]은 폴디드 하이퍼-스타 FHS(2n,n)의 노드 중복 없는 경로를 제안하였고, FHS(2n,n)의 고장 지름이 2n-1 이하임을 증명하였다. 본 논문에서는 폴디드 하이퍼-스타 FHS(2n,n)의 개선된 노드 중복 없는 경로를 제안한다. 그리고 FHS(2n,n)의 광역 지름이 dist(U,V)+4이고, 고장 지름이 n+2 이하임을 증명한다.
  2. Kim, Young-Joo;Jung, Min-Sub;Jun, Yong-Kee 9
    https://doi.org/10.3745/KIPSTA.2010.17A.1.009 PDF KSCI
    OpenMP와 같은 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 탐지되어야한다. 이러한 경합의 존재를 수행 중에 검증하는 기존의 기법들은 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 가능하다. 하지만 이 조건을 만족하지 못한다면 경합검증을 위해서 각 임계구역마다 적어도 N! 만큼의 프로그램 수행이 필요하다. 여기서 N은 탐지 대상 프로그램이 가진 최대 병렬성을 의미한다. 본 논문에서는 프로그램 슬라이싱을 이용하여 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 한번의 수행으로 실제 경합뿐만 아니라 잠재적 경합까지 탐지할 수 있는 경합 전처리기를 제안한다. 제안된 도구는 OpenMP 병렬 프로그램에서 발생할 수 있는 비결정적 접근사건들에 대해서 항상 결정적으로 감시할 수 있으므로 임계구역 가진 프로그램 모델에 적용할 수 있는 어떠한 경합탐지 프로토콜을 사용하더라도 경합 검증이 가능하다. 본 도구의 실험적 증명을 위해서 비결정성이 포함된 합성 프로그램, 공인된 벤치마크 프로그램인 OpenMP Microbenchmark, NAS Parallel Benchmark, 그리고 OpenMP 응용 프로그램을 이용하여 제안된 도구의 정확성을 보인다.
  3. Kim, Ki-Jeong;Lee, Soo-Ho;Chung, Ki-Hyun;Choi, Kyung-Hee;Park, Tae-Won;Moon, Kyeong-Ho 19
    https://doi.org/10.3745/KIPSTA.2010.17A.1.019 PDF KSCI
    삶의 질이 높아지고 고령화 사회가 시작되면서, 사회적 약자들이 사용하기 쉬운 교통수단의 개발의 필요성이 증대되고 있다. 이러한 요구에 부응하기 위해, 한국철도기술연구원에서 주관하여 저상굴절버스(Bi-modal Tram)의 개발을 시작하게 되었다. 이 저상굴절버스는 버스와 같은 높은 접근성의 특징을 가져야 할 뿐만 아니라, 지하철과 같이 차체가 낮아야 하며, 휠체어나 승객의 발이 승강장과 차량 사이 틈에 끼지 않도록 정확한 주차가 이루어져야 한다. 하지만 저상굴절차량의 길이가 길어, 이러한 요건을 맞추기 위해서는 전 차륜 조향 시스템이 개발-장착되어야 한다. 전 차륜 조향 시스템이 장착된 저상굴절차량은 1축 차륜이 조향될 뿐 아니라, 1축 조향각 또는 굴절각과 속도 등의 상태에 따라 2축과 3축 차륜이 조향되는 특징을 가지고 있다. 본 연구에서는 전 차륜 조향장치의 개발 과정을 다룬다.
  4. Lee, Seung-Ho;Chang, Jong-Kwon 27
    https://doi.org/10.3745/KIPSTA.2010.17A.1.027 PDF KSCI
    Logical Effort의 기법은 회로의 지연 값을 간단한 필산으로 신속하게 측정할 수 있는 기술이다. 이 기법은 설계 공정 시간을 절약하는 장점도 있지만 고정 지연이라는 설계조건에서 회로의 면적이나 전력의 최소화를 도출할 수 있는 논리 경로를 설계하는데 약점도 있다. 이 논문에서는 균형 지연 모형을 제안하고 이 방법을 기반으로 논리경로에서 전력-지연 효율성을 최적화하는 기법을 제안하고자 한다. 본 논문의 기법을 사용하여 8-input AND 게이트의 3가지 서로 다른 설계 회로를 모의 시험한 결과 기존 Logical Effort의 기법보다 약 40%정도 전력 소비의 효율성이 향상되었다.
  5. Shin, Dae-Jung;Na, Seung-You;Kim, Jin-Young;Jung, Joo-Hyun 33
    https://doi.org/10.3745/KIPSTA.2010.17A.1.033 PDF KSCI
    본 논문에서는 생체 모방 로봇을 이용한 관로 모니터링 시스템에 대하여 제안한다. 생체 모방 로봇은 관로를 이동하며 온도, 습도, 진동 등 다양한 정보를 획득한다. 관로를 이동하기 위하여 기본적으로 갖추어야 할 기능은 로봇이 이동하여야 할 관로의 형태를 인식하는 것이다. 관로의 형태 인식을 위한 센서로 적외선 거리 측정 센서를 사용하며, 모터에 연결된 센서는 회전 운동을 하며 측정된 각도 및 거리 정보 데이터를 이용하여 관로의 형태, 각도 등을 인식한다. 관로의 형태 인식은 모터에 의해 회전 운동하는 적외선 거리 측정 센서에 의해 감지되는 관로의 개수와 위치에 의한다. 한번 스캔된 데이터에서 감지되는 관로의 수에 따라 별도의 퍼지 분류기를 이용하여 형태 및 관로의 휘어진 각도 등을 추정하며, 다양한 형태의 관로에 대해 실제 측정된 데이터를 통하여 제안된 시스템이 효율적임을 확인한다.
  6. Kim, Min-Ho;Song, Hee-Heon;Kang, Oh-Han 45
    https://doi.org/10.3745/KIPSTA.2010.17A.1.045 PDF KSCI
    국가수준 학업성취도 평가는 2007년까지 표집 평가를 시행해 왔지만 2008년에는 해당 학년 전체를 대상으로 전수 평가 체제로 전환하였다. 이에 따라 학업성취도 평가 시스템에 대한 새로운 연구의 필요성이 대두되었다. 본 논문에서 설계하고 구현한 학업성취도 평가 시스템은 기존 시스템과 달리 도수 분포표를 이용하여 석차계산 시간을 단축하고, 성적 통지표 출력을 위한 점수 입력을 자동화하였다. 또한 구현한 시스템에서는 도 전체 학업성취도 현황, 총점 및 교과별 점수 도수분포, 문항난이도와 변별도, 오답지 매력도, 교과별 성취도, 성별 지역별 성취도, 교육 청별 성취도, 학교별 성취도, 개인별 성취도, 성적 우수자 현황 등을 분석할 수 있다.