• 제목/요약/키워드: 실행오류

검색결과 255건 처리시간 0.047초

다목적실용위성2호용 데이터 메모리의 오류 검출 및 정정 회로 설계 (Error Detection and Correction Circuit Design of Data Memory for KOMPSAT2)

  • 조영호;심재선
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 하계학술대회 논문집 D
    • /
    • pp.2634-2636
    • /
    • 2004
  • 다목적실용위성2호의 위성 본체시스템에는 지상과 연락을 담당하는 주 컴퓨터인 OBC, 위성의 자세를 제어를 위한 원격구동장치인 RDU 그리고 위성의 전원분배를 제어장치인 ECU인 3개의 동일 프로세서(386)가 탑재되어 각 담당 임무를 수행하는 분산형 구조를 갖고 있다. 각 프로세서는 EEPROM과 SRAM 데이터 메모리를 갖고 있는데 전원 리셋이 일어나면 모든 프로그램은 EEPROM에서 SRAM으로 복사되어 운영 프로그램이 실행하도록 되어 있다. 그러나 SRAM은 우주환경에서 위성체는 방사선에 노출되어 손상을 입을 때 SEU이 발생되어 정보가 왜곡되거나 상실되는 문제를 갖고 있다. 그러므로 본 논문에서는 변형된 해밍코드 기법을 이용하여 데이터를 수신하는 곳에서 에러를 검출 및 수정하는 디지털 회로 설계방법을 기술하고자 한다.

  • PDF

교환기 IPC를 이용한 CHILL 교차 디버거, LGDB의 구현 (Implementing LGDB, CHILL Cross Debugger Using IPC of Switch System)

  • 윤기창;문정석;김병철;권경인;조시철
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
    • /
    • pp.596-598
    • /
    • 1999
  • 교환기 소프트웨어 개발에 많은 언어가 사용되고 있으나, 현재 우리나라의 교환기 제조업체 대부분은 ITU-T에서 통신 소프트웨어 개발 언어로 권고하는 CHILL 언어를 사용하고 있다. CHILL은 엄격한 타입 검사, 구조적 프로그래밍, 모듈화, 병렬 처리 기능을 특징으로 하고 있다. LG정보통신에서는 이러한 CHILL 프로그램의 시험 및 디버깅을 위하여 GNU Debugger(GDB)를 기반으로 CHILL 교차 디버거인 LGDB(LG Debugger)를 개발하였다. LGDB는 현재 사용 중인 대부분의 마이크로 프로세서를 지원하며, 호스트에서 개발한 프로그램들이 교환기 시스템과 같은 목적 시스템 상에서 정상적으로 실행되는지 검사하고, 만약 오류가 발생하였을 경우 이를 추적하여 수정하는 기능을 제공한다. 점차 대용량화, 고성능화가 요구되고 있는 교환기 개발 프로젝트의 추세를 감안할 때, LGDB는 교환기 소프트웨어의 품질 및 생산성 향상에 매우 높은 기여를 할 것이다.

  • PDF

가변 블록 DCT를 이용한 영상 검색 시스템 (Image Retrieving System Using Variable Block DCT)

  • 김동우;서은주;장언동;한재혁;안재형
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
    • /
    • pp.847-850
    • /
    • 2001
  • 영상과 같은 다양하고 복잡한 데이터 검색은 기존의 키워드를 이용한 검색이 아닌 내용 기반 검색 방법이 요구된다. 본문은 JPEG/MPEG 과 같은 영상 압축 기법에서 사용되는 DCT 변환 부호화를 이용하여 각 블록의 평균인 DC 성분을 얻어 이 정보를 이용하여 영상을 검색하는 방법을 제시한다. 기존의 방법은 단순히 DCT 전체 성분을 이용하는 방법으로, 영상 전체의 DCT 정보를 처리하여야 하므로 시간과 메모리의 낭비가 있을 수 있다. 본문에서는 이러한 처리시간과 메모리의 낭비를 막기 위해 DC 성분만을 이용하여 영상 검색을 하며, 영상이 실제로 있는 부분에서는 블록의 크기를 가변적으로 변경하여 검색의 오류를 줄일 수 있다. 또한 검색을 전체 영상에 대한 빠른 1 차 검색과 동일 패턴을 가진 영상의 2 차 세부 검색으로 나누어 실행함으로써 보다 빠른 검색을 할 수 있다. 한편, 겹쳐진 영상에 대해서도 검색이 가능하다.

  • PDF

웹기반 멀티미디어 저작 시스템의 설계 및 구현 (Design and Implementation of the Web-based Mulimedia Authoring System)

  • 박영미;박종운;송한영;신현산;박두영;장종환
    • 한국컴퓨터산업학회논문지
    • /
    • 제3권2호
    • /
    • pp.243-258
    • /
    • 2002
  • 아이콘 기반의 저작 환경에서 멀티미디어 문서를 생성 및 편집할 수 있으며, 저작 과정에서의 오류 검증 및 피드백 기능, 사전실행 기능을 통하여 저작내용을 확인하면서 저작을 진행할 수 있고, 자료의 내부 구조를 트리구조로 채택하여 시간관계와 공간관계를 갖게 되는 미디어 객체들간의 상속성 표현기능을 사용하여 프리젠테이션에 참여하는 미디어 객체들간의 동기와 사용자 상호작용에 의한 비동기를 효율적으로 처리할 수 있는 웹기반 멀티미디어 저작 시스템을 구현하였다.

  • PDF

Nano-Qplus 기반의 USN 응용프로그램 자동생성 기법 (A Technique for the Automatic Generation of USN Applications based on the Nano-Qplus)

  • 김주일;이우진;이광용;정기원
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
    • /
    • pp.487-489
    • /
    • 2005
  • 본 논문에서는 센서 네트워크를 위한 운영체제인 Nano-Qplus를 기반으로 수행되는 센서 네트워크를 위한 프로그램의 코드를 자동으로 생성하는 기법을 제시한다. 즉, 센서 네트워크를 구성하는 센서, 라우터, 싱크, 엑츄에이터와 같은 노드들이 수행해야 하는 기능에 대한 코드를 자동으로 생성하도록 하는 기법을 제시한다. 센서 네트워크에 대한 모델을 작성하고, 이를 바탕으로 센서 네트워크의 각 노드에 대한 속성을 스크립트를 통하여 설정하면 각 노드를 동작시킬 수 있는 프로그램이 자동으로 생성된다. 이를 위하여 각 노드의 속성을 설정할 수 있는 스크립트와 프로그램을 자동으로 생성하는 알고리즘을 제공한다. 본 논문에서 제시한 기법을 이용하면 센서 네트워크를 구성하는 각 노드에 대한 속성설정만으로 실행코드를 자동으로 생성함으로써 센서 네트워크를 이용하는 어플리케이션을 개발하는데 소요되는 노력을 줄일 수 있으며, 신속한 코드생성을 통해 조기에 테스트를 수행하여, 오류를 찾아내어 수정함으로써 검증된 코드를 생성할 수 있다.

  • PDF

임베디드 소프트웨어를 위한 과거 이력 기반 테스트 케이스 순위화 기법 (A Test Case Prioritization Technique for Embedded Software using Fault History)

  • 백창현;태상원;김영상;신승훈;박승규
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
    • /
    • pp.160-162
    • /
    • 2006
  • 소프트웨어의 구조가 점차 복잡해짐에 따라 소프트웨어 테스트 과정에서 테스트가 일정 수준 이상의 테스트 커버리지를 갖게하기 위해서는 많은 수의 테스트 케이스 실행이 불가피하며, 이로 인해 테스트 수행의 시간 비용이 증가되고 있다. 하지만 테스트 프로세스 안에서 어느 시점에 소프트웨어 결함을 발견하느냐에 따라 소프트웨어 배포 시점에서의 오류 수정 비용이 달라진다. 이를 위해 각각의 테스트 케이스에 우선순위를 부여하여, 보다 빠른 시간 내에 결함을 찾고자 하는 테스트 케이스 순서화 기법에 대한 연구 가 활발히 진행되고 있다. 본 논문에서는 임베디드 소프트웨어의 시스템 테스트 결과를 활용한 과거 이력기반 테스트 케이스 순서화 기법을 제안한다.

  • PDF

학습기능을 가진 효율적인 품사 부착 도구 설계 및 구현 (Design and implementation of an efficient part-of-speech annotation tool that has the study facility)

  • 안유미;오진영;차정원
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2009년도 제21회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.191-196
    • /
    • 2009
  • 본 논문에서는 자바 기반의 품사부착 코퍼스 작성 도구를 제안 및 구현한다. 본 시스템에서는 각 사용자가 독립적으로 실행하지만 주요 데이터베이스는 서버에서 관리함으로서 지식을 공유할 수 있고, 품사부착 작업에 있어 사전에 만들어진 어절 후보로부터의 선택 및 사용자 입력이 가능하도록 한다. 고빈도 오류어절의 자동 표시 기능, 용례 검색을 통한 도움말 기능, 코멘트를 기반으로 구성된 집단 지식을 이용한 도움말 확장 기능 및 사전 검색 기능을 구현한다. 또한, 일관성 검사를 통해 품사부착 결과에 대한 신뢰도 증가 및 작업의 편의성을 증대시킬 수 있도록 설계한다.

  • PDF

한글 기반의 로봇 프로그래밍 도구의 설계 및 개발 (Design and Development of Robot Programming IDE Based on Hangul)

  • 김경호;유인환
    • 한국정보교육학회:학술대회논문집
    • /
    • 한국정보교육학회 2007년도 동계학술대회
    • /
    • pp.309-316
    • /
    • 2007
  • 프로그래밍 학습은 프로그램의 작성, 오류 수정, 실행을 통해 학습자의 문제 해결력과 논리적 사고력을 향상시킨다. 따라서 프로그래밍 언어는 쉽고 익히기 쉬어야 한다. 또한, 초등학생은 Piaget의 인지적 발달 단계로 볼 때 구체적 조작기(concrete operational period: 6, 7$\sim$11, 12세)에 해당하는 시기이다. 이 시기는 구체적인 사물을 가지고 조작함으로써 논리적 사고가 가능하다. 따라서 본 논문에서는 프로그래밍이라는 매우 추상적인 작업을 로봇이라는 구체물을 통해 결과를 확인할 수 있게 하였으며, 프로그래밍 학습의 초기 단계에 있는 초등학생이 쉽게 사용할 수 있도록 한글을 기반으로 프로그래밍 학습을 할 수 있도록 하고, DB를 활용하여 명령어를 사용자가 추가, 삭제, 수정할 수 있는 한글 기반의 로봇 프로그래밍 도구를 설계 및 개발하였다.

  • PDF

LOTOS 명세로부터 C++ 소스코드의 자동 생성 (Automatically Generating C++ Source Code from LOTOS Specifications)

  • 김철홍;천윤식;김강호
    • 한국정보처리학회논문지
    • /
    • 제5권12호
    • /
    • pp.3138-3150
    • /
    • 1998
  • 정보통신용 소프트웨어 개발은 대용량, 고신뢰도, 고복잡도, 이질성 및 분산 환경이라는 특징을 가지고 있다. 이러한 시스템을 개발함에 있어서 개발 품질 및 적정 비용을 유지하기 위해서는 향상된 정형명세 기법과 이러한 기법을 지원하는 도구가 필수적이다. ISO 표준 정형 명세 언어인 LOTOS는 사용자의 요구사항이나 시스템 모형을 추상적이고 정형적으로 작성할수 있도록 한다. 반면, 명세로부터 구현을 직접 도출하기는 쉽지 않다. 본 연구는 LOTOS 명세 언어로 작성된 명세로부터 C++ 코드를 자동 생성하여, 이를 PC 플랫폼상에서 실행하는 동작 모형을 통하여 시스템의 기능적 요구사항의 오류를 초기에 검출할 수 있는 프로토타이핑을 지원하는 LOTOS/C++ 코드 생성기(code generator)를 개발하는 것이다.

  • PDF

복수 샘플링과 트리밍을 통한 고품질 연관규칙 추출법 (Improved Association Rule Mining by Multiple Sampling & Trimming)

  • 황원태;김동승
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
    • /
    • pp.919-921
    • /
    • 2005
  • 본 논문은 전체 데이터베이스에서 일부 추출된 샘플 데이터에서 빈발항목 집합을 찾는 연관규칙 마이닝 알고리즘을 기술한다. 샘플링기술을 이용하면 마이닝과정에서 필요한 데이터베이스의 접근 양을 줄이므로써 실행시간을 단축시킬 수 있다는 장점이 있지만, 전체데이터베이스를 이용한 마이닝보다 정확도가 떨어진다는 단점이 함께 존재한다. 이전의 Chen의 FAST알고리즘은 샘플링을 이용한 마이닝과정에서 거리오차함수를 이용한 트리밍과정을 통해 빈발 1항목집합에 대한 정확도를 개선시켰다. 이후 IFAST 알고리즘은 트리밍과정에서 빈발2-항목집합까지 고려하여 빈발2-항목집합 이상의 빈발항목집합에서도 정확도를 개선시켰다. 본 논문에서는 트리밍과정에서 사용될 추정데이터를 여러 개의 샘플데이터를 이용하여 얻으므로써 오류항목집합(false itemset)의 수를 줄이고 전체적인 정확도를 향상시키는 새로운 알고리즘을 소개한다.

  • PDF