권호 표지

한국정보처리학회논문지 (The Transactions of the Korea Information Processing Society) (The Transactions of the Korea Information Processing Society)

한국정보처리학회 (Korea Information Processing Society)

  • 월간
  • /
  • 1226-9190(pISSN)

과학기술표준분류

  • 정보/통신 ＞ 정보이론

Aim & Scope

The KIPS Transactions:PartB publishes original research papers in information processing focusing on theories, methods, algorithms in multimedia system and graphics. Application oriented papers are also accepted. Technical fields of this journal in detail are as follows; artificial intelligence, image processing, voice processing, natural language processing, multimedia, human computer interface, pattern recognition, computer graphics, semantic web and web services.

제4권11호

  1. 이성주;최완규;나영남 2651
    PDF
    DBMS을 이용한 온라인 트랜잭션 처리 시스템에 비해 TP 모니터를 부가하여 사용할 경우 시스템의 성능이 증가한다. 아울러 이러한 TP 모니터를 이용한 OLTP 시스템 구축이 늘어가고 있는 실정이다. TP 모니터를 이용할 때 고려해야 할 점들이 많으나 기본적으로 트랜잭션의 ACID외에 빠른 응답 시간과 확장성에 초점을 맞춰 TP 모니터를 적용하여 분산 시스템을 구현 하였다. 본 논문에서는 분산 시스템에 의한 다운 사이징을 구현하고 그 성능을 검증한다.
  2. 박정연;안병철;김정두 2662
    PDF
    고속 네트워크의 발전으로 인해 일반적인 문자 데이타외에 음성, 정지화상, 동화상 등 대용량 멀티미디어 데이타의 전송이 가능하게 되었다. 멀티미디어 응용에서 데이타의 실시간 저장 및 재생 서비스를 위해 저장시스템으로서 디스크 배열의 사용은 필수적이다. 각 디스크들의 구성 방법 및 멀티미디어 데이타 할당 방법 등의 여러 가지 디스크 배열 파라미터들은 VOD 서버의 저장시스템으로서의 성능을 좌우하는 중요한 요인이다. 본 논문에서는 VOD 서버의 저장시스템으로 사용하기 위한 디스크 배열의 여러 가지 파라미터를 두가지의 시뮬레이션 즉, 실측과 시뮬레이터상에서 성능을 비교 평가하였다. 시뮬레이션 결과 1.5Mbps의 MPEG-1 파일을 제공하는 디스크 배열의 구조에서 초당 요구 데이타의 크기는 185KB, 스트라이핑 단위는 256KB, RAID 레벨은 5일 때가 실측과 시뮬레이터 두가지 모두에서 가장 적합한 것으로 나타났다.
  3. 이세훈;왕창종 2671
    PDF
    MHEG-5는 이기종 통신망 상에서 멀티미디어/하이퍼미디어 정보의 실시간 상호교환, 프리젠테이션, 사용자 상호작용을 제공하기 위한 정보 표현 표준 및 전송을 위한 표준이다. MHEG-5에 기반한 응용 서비스를 제공하기 위해서는 MHEG-5 객체의 생성 및 편집이 필수적으로 요구된다. 따라서 본 연구에서는 MHEG-5 객체의 인코딩, 디코딩과 속성 설정을 제공하고, 이기종 간의 상호교환을 지원할 수 있도록 클래스 라이브러리를 설계하였다. 설계한 클래서 라이브러리는 이질적인 통신망을 통해 분산 멀티비디어/하이퍼미디어 서비스 제공을 위한 MHEG-5의 기반 기술을 제공하다는 점에서 의의를 갖는다.
  4. 여인국;황대훈 2679
    PDF
    본 논문에서는 멀티미디어 타이틀 제작을 쉽고 효율적으로 할 수 있도록, 시공간 동기화 관리기를 이용한 멀티미디어 저작 시스템을 설계하고 구현하였다. 이를 위하여 타이틀 저작자의 설계 의도를 별도의 변화 과정을 거치지 않고 실제 타이틀 구성 로직으로 표현하는 흐름도 방식의 로직 생성기와 생성된 로직을 번역하여 실행하는 로직 인터프리터를 설계하였다. 아울러 멀티미디어 프리젠테이션에 필요한 미디어 데이타 간의 시${\cdot}$공간 동기화 정보를 관리하기 위한 동기화 관리기를 설계하였다. 특히 미디어 객체들 간의 시간적 관계를 동기화하기 위하여 시간 명세 모델과 그 모델의 형식 언어인 MRL를 설계하였다. MRL은 복잡한 시간 관계를 간결한 형태로 표현할 수 있는 좋은 표현력을 가지고 있으며 사용자의 의도에 따라 효과적으로 멀티미디어 프리젠테이션을 동기화시키는 것이 가능하다. 공간적 동기화를 위하여 표시 매체의 공간 상의 가시적인 크기와 접속점을 일치시키는 표시 화면 편집기를 구현하였다.
  5. 이재동;권경희;박용범 2690
    PDF
    본 연구에서는 공유메모리 병렬 컴퓨터 환경에서 N개의 key를 $O(log^2N)$ 시간에 정렬 할 수 있는 병 알고리즘인 SARED-MEMORY-BS와 REDUCED-BS를 설계하였다. REDICED-BS 알고리즘은 각각 로세서에 있는 local memory를 효율적으로 사용할 수 있도록 제안한 parity전략을 사용하였다. 각각의 프로세서에 있는 local memo교를 효율적으로 사용함으로써 REDUCED-BS 알고리즘은 SHARED-MEMORY-BS 알고리즘에 비햐여 통신의 빈도수가 약 1/2정도 감소된 것으로 나타났다. 결과적으로 REDUCED-BS 알고리즘은 병렬 정렬시 통신을 감소시킴으로써 컴퓨터의 사용 효율을 향상시킬 수 있다.
  6. 배용근;박병권;정일용 2701
    PDF
    재귀원형군은 마이크로 프로세스의 모델로서 활발하게 연구되고 있으며 특히 슈퍼컴퓨팅 분야에서 많은 관심을 불러 일으키고 있다. 본 논문에서는 재귀원형군에서 메시지의 경로 설정을 연구하는데 이는 네트워크의 성능 평가에 중요한 기준이 된다. 재귀원형군에서 출발 노드에서 목적 노드까지 m개의 패킷을 m개의 경로를 따라서 동시에 전송하고자 한다. 이 때 i번째의 패킷은 i번째의 경로를 따라서 전송된다. $(o{\leq}i{\leq}m-1)$. 모든 패킷들이 목적 노드에 신속하고 안전하게 도달하기 위해서 i번째의 경로는 disjoint해야 한다. 이들 경로들을 설계하기 위해서 Hamiltonian Circuit Latin Square(HCLS)를 재귀원형군에 적용시켜서 $O(n^2)$ 병렬 경로 알고리즘을 제안한다.
  7. 마상백 2711
    PDF
    CRAY 에서 멀티/마이크로 태스킹은 다수의 CPU를 이용하여 계산속도를 증가시키는 하나의 방법이다. CRAY-2 에는 4개의 CPU 가 있으므로 적절히 설계된 알고리즘을 가지고 최대 4배의 speedup을 실현할 수 있다. 저자는 이 논문에서 CRAY-2에서 멀티태스킹/마이트로태스킹 라이브러리를 이용한 2가지의 선형시스템의 해의 병렬화를 제시한다. 하나는 조밀행렬에 대한 가우스 소거법이고 다른 하나는 Radicati di Brozolo가 제안한 준비행렬을 이용한 대형이산 행렬의 반복적 해법이다. 첫째 경우에 크기가 600인 행렬에서 2개의 CPU에 멀티태스킹을 이용하여 1.3의 speedup을 얻었으며 두 번째 경우에서는 크기가 8192인 행렬에서 4개의 CPU에 마이크로 태스킹을 사용하여 3이상의 speedup을 얻었다. 첫째 경우에서는 비균일한 벡터길이 때문에 speedup 이 제한되었다. 두 번째 경우에서는 Radicati 의 테크닉을 혼합한 ILU(0) 준비행렬은 4개의 프로세서에서 상당히 높은 speedup을 얻었다.
  8. 이도학;김식;현무용 2721
    PDF
    분산 프로그래밍은 분산 커뮤니케이션에 대한 언어적 지원을 기반으로 상당히 단순화 될 수 있다. 현재, 많은 웹 브라우저들은 다양한 형태의 액티브 객체들을 제공하고 있으며, 그 수와 유형은 빠른 속도의 증가 추세에 있다. 자바애플릿은 널리 알려진 웹 브라우저 관련 액티브 객체중의 하나이다. 이 논문은 인터넷 상에 분산되어 있으면서 서로 정보를 교환할 수 있는 분산 액티브 객체의 구현에 관하여 기술한다. 분산 액티브 객체를 구현함에 있어서, 접근방식이 다르고 상호 호환성이 결여된 주요한 두 프로그래밍 환경은 RMI와 CORBA IDL 방식이다. 분산 액티브 객체의 구현상 쟁점들을 명확하게 하기 위해서, RMI 메커니즘을 채택한 HORB와 CORBA를 채택한 OrbixWeb2.0.1 환경 하에서 하나의 어플리케이션 프로그램을 각각 구현하였다. 부산 객체 사이의 바인딩, 상속성. 다형성, 객체의 전달, 콜백은 구현상 중요한 쟁점들이었다. 실험결과는 분산 액티브 객체를 구현하는데 있어서 작은 차이가 분산 어플리케이션의 구성에 상당한 영향을 미칠 수 있음을 보여 주었다. 두 프로그래밍 환경 하에서 구현된 어플리케이션 간의 비교는 각각의 환경에서 구현된 어플리케이션 사이의 상호 변환 시스템을 구축하기 위한 기초 연구가 될 것이다.
  9. 이성묵;김창수 2732
    PDF
    본 논문은 k-ary n-cubes에서 다중 전송에 기반을 두고 있으며, 결함허용과 채널 경쟁을 고려한 적응적 웜홀 라우팅 알고리즘을 제안한다. 제안된 알고리즘은 k-ary n-cube에서 차수 n에 대하여 (n-1)의 결함허용을 보장하기 위해 하나의 물리적 채널당 2n개의 가상채널을 사용한다. 이것은 결함허용을 고려한 기존의 적응적 라우팅 알고리즘보다 적은 수의 가상채널을 사용한다. 카오스 시뮬레이터를 이용하여 본 논문이 제안한 적응적 라우팅 알고리즘의 교통량과 결함허용을 고려한 메세지 지연도 함께 실험하였다．
  10. 최광준;김기봉;진성일 2745
    PDF
    현재까지 복잡하고 대규모인 업무체계를 가진 조직체 들은 통합정보관리체계를 구축하기 위해 업무시스템 개발을 추진하여 왔다. 그러나 조직체내의 사용부서마다 개별적으로 업무전산화계획을 수립하여 개발을 추진해 온 결과 업무시스템간의 호환성을 확보하지 못하여 통합시스템을 구축하는 데 커다란 장애가 되고 있다. 이러한 시스템간의 호환성과 통합성을 이루기 위해서는 소프트웨어시스템의 생명주기 전반에 걸쳐 형상관리를 실시해야 한다. 효율적인 형상관리를 위해서는 생명주기 단계들에서 생성되는 문서와 자료, 프로그램코드 등의 형상물들을 일관성 있게 저장하고 상호 공유하도록 해주는 역할을 효과적으로 지원하는 모델과 이를 지원할 수 있는 통합 정보저장소가 필요하다. 본 논문에서는 소프트웨어 형상관리의 가장 중요한 부분인 형상변경통제활동을 생명주기단계간 상호참조와 자료공유에 중점을 둔 모델링을 제 시 하고, IRDS를 이용하기 위 한 ER모델 및 IRD스키마를 정의하였다．
  11. 김영곤;이명준;강병도 2756
    PDF
    소프트웨어 프로세스는 소프트웨어의 생산에 사용되는 행위, 규칙, 절차, 기법, 도구의 집합체로 정의할 수 있다. 소프트웨어 프로세스 모형은 실세계 소프트웨어 프로세스의 개념적 표현이며 프로세스 프로그래밍언어로 기술될 수 있다. 본 논문에서는 객체기반 소프트웨어 프로세스 프로그래밍을 위해 설계된 SimFlex 언어구조를 제시한다. SimFlex의 설계는 객체의 개념에 기반을 두고 있으므로 문법적으로나 구문적으로 복잡한 소프트웨어 프로세스를 간결하게 모형화할 수 있다. SimFlex의 언어구조는 주요 프로세스 중심 소프트웨어 개발환경 및 연관된 프로세스 프로그래밍 언어의 분석으로부터 도출되었으므로 SimFlex는 바람직한 객체기반 프로세스 프로그래밍 언어를 위해 필요한 핵심적인 특성을 포함한다. 더욱이 SimFlex는 적절한 적합화를 통하여 특정 프로세스 중심 소프트웨어 개발환경에 포함될 수 있는 기반 프로세스 프로그래밍 언어로 동작할 수 있도록 설계되었다．
  12. 김원욱;조용현;김영일;강인구 2769
    PDF
    본 논문에서는 공액기울기법과 터널링 시스템을 조합사용하여 신경망의 학습성능을 향상시킬 수 있는 효율적인 방법을 제안하였다. 빠른 수렴속도의 학습을 위하여 공액 기울기법에 기초한 후향전파 알고리즘을 사용하였고, 국소최적해를 만났을 때 이를 벗어난 다른 연결가중치의 설정을 위해 동적터널링 시스템에 기초한 후향전파 알고리즘을 조합한 학습 알고리즘을 적용하였다. 제안된 방법을 패리티 검사 및 패턴분류 문제에 각각 적용하여 기존의 기울기 하강법에 기초한 후향전파 알고리즘 및 기울기 하강법과 동적터널링 시스템을 조합한 후향전파 알고리즘방법의 결과와 비교 고찰하여 제안된 방법이 다른 방법들 보다 학습성능에서 우수함을 나타내었다．
  13. 심동희 2780
    PDF
    지식기반인공신경 망은 다른 기계학습알고리즘보다 우수한 성능을 나타내지만 인공신경망으로 형성된 후 동적으로 그 구조를 변경할 수 없어서 영역이론정련화 기능을 갖추지 못하였다. 지식기반인공신경망의 이러한 단점을 보완하기 위하여 TopGen 알고리즘이 제안되었으나 삽입된 은닉노드를 모든 입력 노드에 연결한 점, 빔탐색을 이용한 점 등의 문제를 안고 있다. 본 논문에서는 TopGen의 문제점을 해소하기 위하여 은닉노드를 입력 노드 중 관계가 깊은 일부의 노드에만 링크시켰으며, 역추적을 허용한 언덕오르기를 이용하는 알고리즘을 설계 하였다．
  14. 조영종;최덕규 2786
    PDF
    본 논문에서는 전송채널의 메모리 (전송오류가 발생하는 형태상의 통계적 상관관계) 특성이 현재 실제 널리 사용되고 있는 오류제어 프로토콜의 성능에 어느 정도 영향을 끼치는 가를 연구하고자 한다. 먼저 각 정보블록의 오류발생 형태는 전송오류가 발생하거나 하지 않는 두 가지 상태를 갖는 마르코프 오류모델을 따른다고 가정하고, 이 모델을 다중－거부 옵션을 가진 실제적인 LAP 계열 프로토콜들, 즉 LAPB/D/M 절차들에 적용하여 전송성능과 반응시간에 대한 이산－시간 해석을 행한다. 수치해석을 통해 마르코프 오류모델 하에서 분석된 실제적인 LAP 계열 프로토콜의 전송성능과 전송지연 특성이 일반적으로 가정되는 상호독립적 오류모델을 사용한 결과보다 개선된다는 점을 관찰하고 오류제어 프로토콜의 정확한 성능분석을 위해서는 집중형 오류모델을 사용해야 한다는 결론을 도출한다. 또한 사용자가 인지하는 반응시간의 정확한 평가를 위해 평균과 표준편차를 동시에 고려한 새로운 반응시간 척도를 제안하고, 이를 평균으로만 반응시간을 평가할 경우와 비교하여 새로운 척도가 파라미터 변이에 대해 훨씬 민감하게 반응시간을 평가할 수 있다는 효율성을 입증한다．
  15. 서영건;오해석;심종채;김호용;김현주 2801
    PDF
    본 논문에서는 화상회의 시스템에서 다양한 미디어의 동기화를 위해서 미디어 지연시간(delay time)의 편차를 분석하여 대기시간을 적용하여 동기화하는 방법을 제안한다. 또한 미디어 트래픽의 손실률과 대기시간을 이용하여 대기시간을 결정하는 데 중요한 외부변수의 값을 결정한다. 먼저 제안된 시스템은 회의를 시작하기 전에 더미 스트림을 발생시켜 지연지터의 편차를 구하여 네트워크 트래픽을 분석하여 미디어의 표현시간을 정의한다. 미디어 스트림이 표현되는 시간은 기준시간(basetime)＋논리 시간＋대기시간이 된다. 이 때 대기시간을 적절하게 늘이고 줄이기 위해서 대기시간 변경율과 표본단위를 이용하는데, 평가기준은 대기시간을 변경시키는 횟수, 평균 대기시간, 지연도착율, 평균 지연도착시간을 이용한다．
  16. 홍용표;박선영;이진 2812
    PDF
    본 논문에서는 셀의 소형화와 무선 통신 서비스 이용 인구의 증가에 의해 발생하는 위치 등록 빈도의 증가를 해결할 수 있는 클러스터 개념을 이용한 위치 등록 프로토콜의 성능을 분석하였다. 클러스터 크기와 시간의 흐름에 따른 위치 등록 확률을 계산하여 클러스터 크기와 위치 등록율의 관계를 정량적으로 분석하였으며, 실제로 육각형 셀 구조에 적용하여 위치 등록 확률을 클러스터의 크기에 따라 구해 보고 시뮬레이션을 통해 이를 검증하였다．
  17. 이준연;이재완;권혁인 2822
    PDF
    ATM을 기반으로 하는 B-ISDN 망은 다양한 트래픽 특성과 서비스 요구사항을 가진 여러가지 종류의 서비스를 지원해야한다. ATM 계층에는 link 계층간의 흐름 제어나 에러 제어가 없다. 그러나 다양한 종류의 각종 서비스를 위해 각기 다른 다른 흐름／에러 제어 기법이 AAL 계층이나 상위 계층(예를 들어 OSI 7 계층의 4번 전송 계층)에서 수행될 수 있다. 전통적인 데이타망에서는 에러 제어 기법이 결합된 윈도우 흐름 제어 기법이 널리 사용되었다. 그러나 윈도우 흐름 제어 기법은 전파 전달 지연(Propagation delay)이 전송률(Transmission rate)에 비해 상대적으로 너무 크기 때문에 ATM 망에서 유용하지 않을 수 있다. 본 논문에서는 양단간(end-to-end) 자료 전송을 위한 매우 간단한 흐름제어 기법인 RCT (Rate Control for end-to-end Transport)를 제안한다. RCT는 평균 과부하(Overload) 기간의 분포가 특정 시간대에 편중되어 있을 때에 높은 성능을 보인다．
  18. 홍범기;정윤희;오창석;이준원 2832
    PDF
    본 연구에서는 Asynchronous Transfer Mode (ATM) 계층의 기능중 유휴 가상 채널에 프로토콜 프로토콜 적합성 시험 제어 기능을 갖게 하여 Test Coordination Procedures (TCP) 채널로 활용하는 방안을 제시하였다. 프로토콜 적합성 시험을 위하여 국제 기구에서 권고하고 있는 방법중 원격 시험 방법을 선택하면 System Under Test (SUT)측에 서 능동적으로 Test Event를 발생시켜야 하는 경우에 개발자가 직접 수동적으로 운용을 하거나, Implementation Under Test (IUT)에 대한 제어 및 관찰이 불가능한 경우도 발생하게 된다. ATM망에서 프로토콜 적합성 시험시 시험 영역(Test Coverage)을 최대화하고, 오류검출 영역(Fauit Coverase)을 극대화하기 위해서는 원격시험방법보다는 분산시험방법이 적절하며, 분산시험방법을 채택할 경우 TCP를 구현하기 위하여 시험정보를 전달하기 위한 채널을 확보하는 것이 요구된다. 본 고에서 제안하고 있는 방법은 오류 검출 영역을 극대화 시키고 오퍼레이터의 개입없이 시험의 자동화 구현이 용이하고, ATM장치의 정상동작에는 영향을 주지 않음은 물론 시험제어를 위한 별도의 채널을 확보하지 않고서도 분산시험방법을 적용할 수 있다는 점 을 특징으로 들 수 있다．
  19. 황보택근 2840
    PDF
    컴퓨터 비전을 이용한 3차원 물체 인식은 카메라의 위치에 따라 화상에 투영되는 물체의 형상이 변하기 때문에 매우 복잡하고 어렵다. 따라서 컴퓨터 비전을 이용한 효과적인 인식 시스템을 구축하기 위해서는 각 3차원 물체에 있어서 유일하고 중요한 특성이 보는 각도에 따라 어떻게 변화하는가를 분석하고 이해하는 것이 매우 중요한 요소이다. 본 연구에서는 특징점들(landmarks)간에 이루어지는 각도 또는 3차원 다각형의 모서리(edge) 사이의 각도를 중요한 특성으로 선택하였고, orthographic 투영과 isotropic view orientation 아래에서 그러한 각도들의 보는 방향에 따른 화상에서의 변화를 2차원 결합 밀도 함수로 유도하였다. 본 논문에서 구한 수리적인 결합 밀도 함수는 통계적인 판단 규칙을 적용하여 효과적으로 물체 인식에 적용될 수 있다. 제안된 방법의 타당성 검토를 위하여 간단한 실험을 수행하였으며, 실험결과 본 방법 이 매우 효과적인 것으로 나타났다．
  20. 김종훈;노삼혁;원유헌 2849
    PDF
    본 논문에서는 소프트웨어 RAID 파일 시스템에서 효율적인 캐쉬 교체 정책들을 제안한다. 그리고 이와 기존의 캐쉬 교체 정책을 소프트웨어 RAID 파일 시스템에 적용한 정책들과의 성능을 다양한 환경에서 비교한다. 실험을 통해 우선 소프트웨어 RAID 파일 시스템에서 작은 쓰기 동작은 성능을 크게 저하시키는 요소임을 확인한다. 이러한 작은 쓰기 동작을 줄이는 캐쉬 교체 정책들을 제안한다. 이러한 교체 정책들에 대한 성능 비교는 트레이스 기반 시뮬레이션에 의해 수행된다. 실험 결과를 통해 본 논문에서 제안한 교체 정책들이 기존의 정책들 비해 효율적인 성능을 나타냄을 확인한다．
  21. 박우찬;한탁돈 2861
    PDF
    부동 소수점 연산기는 고성능 컴퓨터에서 필수적이며, 최근 대부분의 고성능의 컴퓨터에서는 고성능의 부동 소수점 연산기가 내장되고 있는 추세이다. 부동 소수점 연산이 고속화 되면서 부동 소수점 연산기에서 한개의 단계를 차지하는 반올림 단계가 전체 부동 소수점 연산에 큰 영향을 미친다. 반올림 단계에서는 별도의 고속 가산기를 필요로하여 많은 처리 시간과 칩 면적을 차지하기 때문이다. 본 연구는 고성능 부동 소수점 연산기의 근 간을 이루는 부동 소수점 덧셈／뺄셈기, 곱셈기, 나눗셈기의 처리 알고리즘을 살펴보고, 이를 분석하여 새로운 반올림 처리 알고리즘을 갖는 연산기를 제안하였다. 제안된 부동 소수점 연산기들은 반올림 처리를 위한 별도의 시간을 요하지 않고, 반올림단계를 위한 가산기나 증가기를 필요로 하지 않는다. 따라서, 제안하는 부동 소수점 연산기들은 성능면이나 차지 면적 면에서 모두 효율적이다．
  22. 이문근 2874
    PDF
    이 논문은 운영체제에 대한 호출들로 표현된 소프트웨어의 병렬성을 Ada로 번역하기 위한 방법론을 기술하고 있다. Legacy 소프트웨어들에 내재하는 병렬성은 주로 병렬 Process 또는 task들을 제어하는 운영체제 호출들로 표현된다. 본 논문에서 다루고 있는 예로서는 C 프로그램내부에서 사용하는 Unix 운영체제에 대한 호출과 더불어 CMS-2 프로그램에서 사용하는 ATES나 SDEX-20 운영체제의 Executive Service Routine들에 대한 호출들을 볼 수 있다. 소프트웨어 이해를 위한 다른 연구에서는 legacy 소프트웨어에 있는 운영체제호출을 또 다른 운영체제에 대한 호출로 번역하는 데에 역점을 두고 있다. 이런 연구에서는 소프트웨어를 이해하기 위해서 소프트웨어가 수행되는 운영체제에 대한 이해가 필수적으로 요구된다. 그런데 이런 운영체제는 보통 매우 복잡하거나 체계적으로 문서화되어 있지 않다. 본 논문에서의 연구는 legacy 소프트웨어에 있는 운영체제호출을 Ada 메커니즘을 이용한 동일한 프로토콜로 번역하는 데에 역점을 두고 있다. Ada로의 번역에 있어 이러한 호출들은 메시지에 기초한 kernel 중심 구조의scheme에 맞는 의미적으로 동일한 Ada 코드로 대표된다. 번역을 용이하게 하기 위하여 데이터 구조, task, Procedure, message들을 위해 library에 있는 template들을 사용한다. 이 방법론은 소프트웨어 재 ${\cdot}$ 역공학측면에서 운영체제를 Ada로 modeling하는 새로운 접근방식이다. 이 방식에는 소프트웨어 이해를 위하여 기존 운영 체제에 대한 지식이 필요하지 않다. 왜냐하면, legacy 소프트웨어에 내재했던 운영체제에 대한 종속성이 제거되었기 때문이다. 이렇게 번역된 Ada 소프트웨어는 여러 Ada실행환경 에서 이식이 가능하고 또한 소프트웨어들간에 상호작동성이 좋다. 이 방식은 다른 legacy 소프트웨어 시스템의 운영체제호출들도 처리할 수 있다．
  23. 김명희;주수종 2891
    PDF
    본 논문은 실시간 시스템에서 주기 및 비주기적 태스크들의 마감시간 만족을 위한 캐쉬(캐쉬 메모리)의 최적 분할 형태를 분석한다. 연구 목적은 태스크들의 가용비용을 최소화하여 태스크들의 마감시간 위반율을 줄일 뿐 아니라 캐쉬의 유휴공간을 다른 태스크에게 할당시키기 위함이다. 이를 위해 캐쉬의 분할공간에 태스크들을 할당시키기 위한 캐쉬 분할공간 할당 알고리즘을 제시한다. 여기에서 태스크들이 할당된 캐쉬 분할공간들의 집합을 캐쉬 분할 형태라고 한다. 태스크들이 분할공간에 어떻게 할당되는가에 따라 다양한 캐쉬 분할 형태들을 얻을 수 있다. 이러한 캐쉬 분할 형태들로부터 스케쥴링 가능한 태스크들의 가용비용의 한계범위와 태스크들이 최소 가용비용으로 실행 할 수 있는 캐쉬의 최 적 분할 형태를 분석한다．
  24. 이경석;우영춘;김진미;지동해 2903
    PDF
    본 논문은 공유 및 분산 메모리 구조를 가진 병렬 컴퓨터의 프로그래밍 환경을 지원하기 위하여 ParaC 언어를 설계하고 구현한 내용을 기술한다. ParaC 언어는 확장성 높은 병렬 컴퓨터의 시스템 자원을 사용자가 효과적으로 이용할 수 있도록 설계되었다. 이것은 C 언어에 공유 메모리 환경을 위한 병렬 구문과 동기화 구문, 그리고 분산 메모리 환경을 위한 원격 태스크 구문을 추가함으로써 이루어졌다. 언어의 구현을 위하여 C 언어로의 번역 방법을 기술하였으며, 이 방법을 사용한 번역기와 확장 구문을 위한 실행시간 라이브러리를 구현하였다.
  25. 배상현;이강현 2914
    PDF
    산업분야의 공장자동화와 자동 측정장비의 다중 프로세서 환경의 시스템 성능을 향상시키는 표준버스가 필요하다. VME 버스는 이러한 명세에 적합하지만, 소규모 패키지와 보드의 낮은 집적성 사양을 가지고 있다. 더욱이 보드와 반도체 집적성은 개발시간, 연구비용, 현장진단에 영향을 주는 중요한 문제로 대두되어 있다. 이러한 추세에 맞추어, 본 논문에서는 VME 버스와 제어기 모듈 사이의 주기능인 중재, 인터럽트, 인터페이스를 Revision C.1(IEEE std. P1014-1987)의 통합환경으로 구성하고, 설계된 VME 시스템 제어기를 Slot 1에 장착할 수 있도록 FPGA 상에 구현한다. 제어 및 기능 모듈의 동작은 VHDL의 mid-fixed 방식으로 코딩을 하고 검증하였다. 실험을 통하여 VME 시스템 제어기의 가장 중요한 동작인 버스 타이머의 버스 에러 신호가 $56{\mu}m$ 이내에 발생된 것과, 제어모듈과 기능모듈의 정확한 상호 동작도 확인하였다. 그러므로 구축된 VHDL 라이브러리는 VME 버스 기반시스템과 ASIC 설 계 에 응용할 수가 있다．
  26. 박장현;김보관 2923
    PDF
    본 논문에서는 최근에 관심을 모으고 있는Table Look- Up형의 FPGA를 위한 다출력 함수로직 합성 알고리즘에 대해 기술한다. 본 고에서 제안하는 TLU형 FPGA를 위한 다출력 함수 로직 합성 방법은 기능적 분해 방법을 사용하였으며, 이 방법을 이용한 2가지의 새로운 알고리즘을 설명한다. 첫번째는 한 출력에 적용한 Rofh-Karp 알고리즘을 다출력에 웅용할 수 있도록 확장하였으며, 두 번째는 분해과정에서 공통 분해 함수를 찾는 효과적 인 알고리즘을 제안한다. 기술 매핑의 최적화 대상은 CLB 개수를 고려했으며, 벤치마크 테스트를 통한 일반적인 회로에 적용성 검증, 기존 알고리즘과의 성능 비교 및 개선에 대해 연구하였다. 논리 설계 합성기 구성 과정에서 새로운 알고리즘을 구현하여 실험한 결과를 기존의 다출력 함수 분해 방법과 비교하면 CLB 의 개수, 네트 수 등 성능과 수행 시간에서 매우 만족할 만한 결과를 얻었다．