• 대한전자공학회논문지TC
• /
• 제43권1호
• /
• pp.71-78
• /
• 2006

MANET 네트워크 모델을 위한 라우팅 기법은 네트워크 인프라를 요구하지 않는 무선 네트워크 기능, 이동성 지원, 그리고 동적인 라우팅 정보 관리 기능을 필요로 하며, 따라서 USN에 적용 가능한 라우팅 기법 중의 하나가 되고 있다 제안된 MANET 라우팅 기법들 중에서는 DYMO 라우팅 프로토콜이 네트워크 부하가 작고 간단하며 확장성이 향상되어 표준화가 진행 중에 있다. 본 논문에서는 다양한 운영체제 환경에서 동작되도록 DYMO 라우팅 프로토콜을 설계 구현하였으며 구현된 DYMO의 적합성을 검증하는 적합성 테스트 도구를 개발하여 구현 내용을 검증하였다.

• 산업경영시스템학회지
• /
• 제18권34호
• /
• pp.155-159
• /
• 1995

For the relationship between conformance cost and the individual elements of non-conformance, an analysis was made of the relationship between inspection cost and training cost and scrap cost. As a result it was explained that there was all a positive correlation between training cost and scrap cost, and between inspection cost and scrap cost. Like this, training and inspection cost and scrap cost have a positive correlation. Judging from the fact that the coefficient of inspection cost is lower than that of training cost in the comparison of the coefficient of each cost, it can be analyzed that the change in scrap cost is influenced by the change in training cost more greatly than the change in inspection cost. If doing so, it can be interpreted that scrap cost and rework cost do not still decrease in spite of increasing in education and training cost and prevention cost. This result may represent the problem as to whether education and training cost is effectively expended for prevention activity. Accordingly, to cope with this situation, it is thought that scrap cost should be cut by establishing the effective prevention measure for causing the increase of scrap cost.

• 한국정보통신학회논문지
• /
• 제14권12호
• /
• pp.2691-2697
• /
• 2010

본 논문에서는 3차원 그래픽 쉐이더 3.0 API를 지원하는 쉐이더 명령어 및 컴파일러를 설계하고 그 결과를 평가한다. 기존의 명령어와는 달리 가변길이의 명령어 구조를 제안하고 명령어의 길이를 줄여 SIMD(Single Instruction Multiple Data)구조의 그래픽 프로세서의 하드웨어 크기를 줄일 수 있다. 가변길이 및 2 페이즈 구조의 명령어를 지원하며 ESSL(ES Shading Language) 수준에서 쉐이더 프로그램이 가능한 쉐이더 컴파일러의 설계를 수행하였다. 명령어와 컴파일러 설계 결과를 검증하기 위하여 크로노스그룹에서 제안하는 Conformance Test를 수행하였다. 그 결과로 제공하는 기본 GL 쉐이더의 기능 16개를 비교하여 보았을 때 전체 평균 37%가 줄어드는 것을 알 수 있다.

• 한국전자통신학회논문지
• /
• 제2권2호
• /
• pp.113-117
• /
• 2007

최근 인터넷을 통한 B2B 전자상거래가 확산됨에 따라 다양한 형태의 인터넷 비즈니스를 지원하기 위한 기술들이 나타나고 있다. 이에 따라 B2B 전자상거래 시스템은 B2B 거래를 위해 이기종 환경의 시스템들과 각종 정보를 처리하고, 교환해야 한다. 하지만 현재 BPSS의 검증을 위한 시험도구는 국내외적으로 전무한 상태이다. 본 논문에서는 ebMS 표준적합성과 연계하여 ebXML BPSS 검증항목으로 작성된 케이스 항목에 따라서 문서의 적합성 여부를 평가하는 BPSS 적합성 검증 모델을 제안하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
• /
• pp.741-744
• /
• 2003

지난 2001년 7월 제정된 한국전자책문서표준 EBKS(Electronic Book of Korea Standard) 1.0은 지난 2002년 7월 한국산업기술표준원의 산업표준심의를 거쳐 한국전자처 표준문서형 정의 규격번호 $KS{\times}6100$으로 제정되었다. 따라서 $KS{\times}6100$을 사용하는 전자책 문서들은 표준의 목적과 명세에 대한 부합 여부를 판별하기 위한 적합성 검사 및 이에 기반 한 인증 절차가 요구된다. 본 논문에서는 이러한 적합성 검사의 기준이 되는 적합성 조항(Conformance Clause)의 정의와 이에 따른 전자책 표준 스키마를 정의하였다. 따라서 본 논문에서 정의된 조항들을 통하여 전자책 저작자들은 전자책표준의 목적과 명세에 보다 적합한 전자책 문서들을 제작할 수 있으며, 서비스 제공자들은 적합성 검사 기법을 통한 자동화된 적합성 표준 스키마를 사용하여 효율적인 적합성 검사가 가능하다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2004년도 춘계종합학술대회
• /
• pp.800-803
• /
• 2004

본 논문은 자바 카드를 기반으로 하는 T=1 프로토콜의 구현에 대해 기술하고자 한다. 본 논문에서 구현된 T=1 프로토콜은 자바 카드 2.2.1의 규격을 기반으로 하며, ISO/IEC 7816 표준을 만족한다. 또한, 구현된 프로토콜의 테스트는 USIM(Universal Subscribe. Identity Module) 카드에 적용하여, USIM 카드의 conformance 시험 규격인 3GPP TS 31.122의 전송 프로토를 시험을 통하여 확인하였으며, 그 결과 규격을 준용함을 확인하였다.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1821-1841
• /
• 1997

본 논문은 형식 기술 기법 중의 하나인 LOTOS 명세로부터 적합성 시험 시퀀스를 자동 생성하는 방법을 기술한다. 전체적인 시스템 구현을 위해 현재까지 연구된 여러가지 알고리즘들을 응용하여 적용하였고, 또 Rural Chinese Postman tour 개념을 개선한 후 적용하였다. 통신 프로토콜에 대한 LOTOS 명세로부터 CAESAR 도구의 Petri-net을 통한 시뮬레이션 기능을 이용하여 해당상태 천이 그래프를 생성하고, 얻어진 상태 천이 그래프에 대해 적합성 시험 시퀀스를 생성하기 위해 주어진 그래프의 각 상태에 대한 유일한 시퀀스인 UE sequence(Unique Event sequence)를 정의하였다. 또한 이러한 UE 시퀀스가 존재하지 않는 상태에 대해서는 부분 UE sequence(Partial UE sequence) 및 signature를 정의하였고, 또 이러한 특성 시퀀스에 대한 경험적 연구 결과를 정리하였다. 한편, 최적의 시험 시퀀스 생성을 위해 얻어진 특성 시퀀스들을 Rural Chinese Postman tour 개념에 적용하는 방법론에 대해서도 제시하였다. 또 생성된 적합성 시험 시퀀스의 오류 판단 영역 예측 방법 및 과정과 결과에 대해서도 기술하였고, 얻어진 시험 시퀀스를 표준 시험 표준기법인 TTCN으로의 변화 방법론도 제시하였다. 마지막으로 제안된 생성방법론에 대한 프로토타입은 실제 통신 프로토콜에 적용하기 위해 실질적인 많은 부분을 고려하면서 실행시험 스우트 생성을 위해 구현되었고, 이 프로토타입은 지능망이나 PCS 또는 ATM 프로토콜을 위한 적합성 시험 목적으로 사용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.594-596
• /
• 1998

지금까지 적합성운용시험이란 용어는 서로 다른 유형의 광의 적합성시험을 구별없이 일컫는 방법으로 사용되어왔으며, 상호운용시험이란 용어도 다양한 가능한 시험구조레 대하여 무차별적으로 사용되어왔다. 본 연구는 적합성시험을 접속적합성시험과 개체적합성시험으로 구분하여, 상호운용성시험구조의 시험능력이 달라짐에 따라 상호운용성시험이 이들 적합성시험과 어떻게 연결 지워질 수 있는지를 탐구한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.591-593
• /
• 1998

DSM-CC U-U(User-to-User) 인터페이스는 다양한 광대역 멀티미디어 서비스 환경에서 멀티미디어 응용들을 제공하기 위하야 요구되는 동작들을 정의한 개방형 프로토콜이다. 본 연구에서는 DSM-CC U-U 인터페이스를 시험하기 위한 적합성 시험방법을 제시하고, 선택된 적합성 시험구조를 위한 접합성 추상시험항목들(Abstract Test Cases)을 도출한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.253-255
• /
• 2002

무선 자원 제어 프로토콜에서는 각 기지국 영역을 벗어나 다른 기지국으로 이동할 때 통화의 단절 없이 계속 유지하는 핸드오버 기능이 필수적이다. 핸드오버는 이동 통신 네트웍에서 필수적인 하나의 수단으로 현재 서비스 중인 연결의 협상된 서비스의 질을 유지하면서 단말기의 이동성 보장을 목표로 한다. 본 논문에서는 Telelogic 사의 통신 시스템 통한 개발 도구인 SDT와 ITEX를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기방식 무선 인터페이스 중 무선 자원 제어 프로토콜의 핸드오버 절차를 SDL로 명세하고, 정확성을 검증한다. 그리고 검증된 핸드오버 절차의 적합성 시험을 수행한다.