• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• 전자공학회논문지SC
• /
• 제46권2호
• /
• pp.22-27
• /
• 2009

본 논문에서는 LCD 구동 모듈 PCB의 기능 검사를 위한 자동 검사 시스템인 EVT (Emulated Vision Tester)를 제안하고 구현하였다. 기존의 대표적인 자동검사 방법으로는 전기적 검사나 영상기반 검사방식이 있으나 전기적 검사만으로는 Timing이 주요한 변수가 되는 LCD 장비에서는 검출할 수 없는 구동불량이 존재하며 영상기반 검사는 영상획득에 일관성이 결여되거나 Gray Scale의 구분이 불명확하여 검출결과의 재현성이 떨어진다. EVT 시스템은 Pattern Generator에서 인가된 입력 패턴 신호와 구동 모듈을 통한 후 출력되는 디지털 신호를 직접 비교하여 패턴을 검사하고 아날로그 신호 (전압, 저항, 파형)의 이상 여부도 신속 정확하게 검사할 수 있는 하드웨어적인 자동 검사 방법이다. 제안된 EVT 검사기는 높은 검출 신뢰도와 빠른 처리 속도 그리고 간결한 시스템 구성으로 원가 절감 및 전공정 검사 자동화의 실현을 가능케 하는 등 많은 장점을 가진다.

• 정보처리학회논문지D
• /
• 제11D권2호
• /
• pp.259-268
• /
• 2004

지리정보시스템에서 이질적인 다중 데이터 소스간의 상호운용성을 지원하기 위하여 OGIS OLE DB 데이터 제공자를 이용하여 분산된 공간데이터에 접근한다. 그러나 OGIS OLE DB 데이터 제공자인 OLE/COM 구현 명세는 공간데이터의 발견 및 접근을 위한 표준은 제시하고 있지만, 공간데이터 변경을 위한 인터페이스는 정의하고 있지 않다. 이 논문에서는 이질적인 공간데이터 서버에 분산되어 있는 공간객체들의 변경을 지원하기 위하여 OGIS OLE DB를 기반으로 정의된 서비스 제공자에 공간객체 변경 인터페이스와 변경된 공간객체의 분산 공간관련성 검사를 위한 공간관련성 검사 인터페이스를 추가한다. 또한, 동시 변경된 분산 공간객체들 간의 일관성을 보장하기 위하여 공간관련성 기반의 2단계 완료 프로토콜을 제시한다. 그리고 이 논문에서 제시한 추가 일터페이스와 2단계 완료 프로토콜의 실현을 위한 프로토타입 시스템을 설계 및 구현한다.

• 정보처리학회논문지A
• /
• 제13A권6호
• /
• pp.525-532
• /
• 2006

인과적 메시지 로깅을 위한 기존 회복 알고리즘들에 비해, Elnozahy가 제안한 회복 알고리즘은 안전한 저장소 접근횟수를 매우 줄이고, 회복과정을 수행하는 동안 살아있는 프로세스들이 자신의 계산을 계속해서 수행할 수 있도록 한다. 그러나, 인과적 메시지 로깅 기법이 비동기적 검사점 기록 기법과 함께 사용된다면, 동시적 고장들이 발생하는 경우 이 알고리즘 수행 후 전체 시스템 상태가 일관적이지 못하게 될 수 있다. 본 논문에서는 이러한 일관적이지 못한 경우들을 보여주고, 이러한 문제점을 해결하는 인과적 메시지 로깅을 위한 저 비용의 회복 알고리즘을 제안한다. 시스템 일관성을 보장하기 위해, 이 알고리즘은 회복 리더가 모든 살아있는 프로세스들뿐만 아니라 다른 회복 프로세스들로부터 회복정보를 얻을 수 있도록 한다. 또한, 제안된 알고리즘은 Elnozahy 회복 알고리즘에 비해 어떠한 부가적인 메시지도 요구하지 않으며, 메시지 피기백에 의해 발생되는 제안된 알고리즘의 부가적인 비용이 매우 낮다 이를 입증하기 위해, 시뮬레이션 결과는 제안된 알고리즘이 Elnozahy 알고리즘에 비해 회복정보 수집시간을 단지 1.0%$\sim$2.1% 정도로 증가시킴을 보여준다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제18권1호
• /
• pp.191-199
• /
• 2004

본 연구에서는, 6년 전에 개발된 수학 창의적 문제 해결력 검사(MCPSAT; 한국교육개발원(김흥원 외, 1997))에 대한 현시점의 적합성여부를 알아보기 위하여 이 검사의 중학교 1-3학년용 A형 1부 검사와 고등학교 1-2학년용 A형 1부 검사를 해당 학년 학생들에게 적용하여 분석하였다. 검사도구의 양호도는 비교적 좋은 것으로 나타났다. 즉, 중학교와 고등학교 모두 문항 내적 일관성 신뢰도(Cronbach ${\alpha}$)의 계수가 약간 떨어져 있지만 비교적 양호한 것으로 볼 수 있으며 변별도는 점이연 상관 계수가 0에 가까운 문항이 없는 것으로 나타났다. 따라서 모든 문항이 학생들의 수학 창의적 문제 해결력을 변별해 줄 수 있을 것으로 생각한다. 내적 타당도는 중학교의 경우 관대하게 본다면 수용할 만 하고, 고등학교의 경우 아직은 우려할 수준은 아니다. 즉, 중학교 문항 1과 문항 4는 적합도 지수 1.2를 상회하였으나 Infit과 Outfit 모두 1.5를 넘는 문항은 없었다. 고등학교의 문항 4는 문항의 적합도 지수 1.2를 상회하는 것으로 나타나고 있으나 Infit과 Outfit 모두 1.2를 상회하지 않았다. 난이도 측면에서 볼 때, 이 검사의 계속 사용은 염려스러운 면이 있다. 즉, 중학교에서는 6년 전 보다 쉬운 것으로 나타나고 있는 바 이것은 현재의 학생들이 이러한 유형의 문항을 많이 접하였을 것으로 추측할 수 있다. 고등학교에서는 6년 전 보다 조금 더 어려워 졌다고 볼 수 있다. 위의 사항을 종합할 때, 수학 창의적 문제 해결력 검사에서 중학생용은 현재의 학생들의 수준을 고려하여 재 표준화하는 것이 바람직하고, 고등학생용은 개발 당시의 신뢰도, 난이도, 변별도 등에서 유사하므로 당분간 계속 사용하여도 될 것이다.

• 한국지구과학회지
• /
• 제37권7호
• /
• pp.448-464
• /
• 2016

본 연구의 목적은 우리나라 추풍령 기상관측소에서 연직바람관측장비와 레윈존데 간 풍속 자료의 유효화를 통해 연직바람관측장비의 운영 프로그램인 PCL 1300 내 일관성 검사와 관련된 매개변수를 최적화하는 것이다. 그런 다음 2009년 3월부터 2010년 2월까지 맑은 날과 강수 발생일에 대한 난류 에너지 감소률의 특성(${\varepsilon}$)을 분석하는 것이다. 2010년 4월 22일부터 4월 23일까지 레윈존데와 연직바람관측장비의 바람 관측 자료를 비교한 결과, 동서(u) 성분과 남북(v) 성분의 바람에서 고도 3,000 m 이후에서 $10ms^{-1}$ 이상의 큰 차이를 나타내었다. 두 기기 사이 u 성분과 v 성분의 바람에 대한 풍속 차가 $10ms^{-1}$를 넘는 경우를 제외할 경우 두 바람 성분에 대한 상관계수는 각각 0.92와 0.88이었고, 제곱근 평균 오차는 각각 $3.07ms^{-1}$과 $1.06ms^{-1}$이었다. 이들 결과에 준하여 PCL1300 프로그램의 자료 처리 시간을 30분으로 조정하고, 최소 이용 자료는 전체의 60%로 조정할 경우가 비교적 작은 편의를 나타내었다. 한편 PCL1300 운영프로그램에서 u, v 성분의 일관성 검사에 대한 민감도 분석 결과, 시선속도 일관성, 동시성, 풍속 일관성 검사에서 u 성분에 대해서는 과소평가 되었고, 반면 v 성분에 대해서는 과대평가 되었다. 최종적으로 PCL1300 운영 프로그램의 최적화를 통해 맑은 날과 강수 발생일의 난류 에너지 감소률(${\varepsilon}$)을 분석한 결과, 각 고도에서 ${\varepsilon}$의 일별 및 계절별 평균은 강수 발생일이 맑은 날에 비해 높게 나타났는데, 이는 상승하강 기류에 따른 연직속도가 증가하였기 때문이다. 그리고 맑은 날과 강수 발생일 모두 계절별 ${\varepsilon}$ 평균은 겨울이 낮게 나타났는데, 이는 겨울이 다른 계절에 비해 수평 풍속이 강했기 때문이다. 결과적으로 연직속도가 ${\pm}10cm\;s^{-1}$ 이상에 해당하는 맑은 날과 강수 발생일의 ${\varepsilon}$ 값을 제외할 경우 강수발생일은 맑은 날에 비해 약 6-7배 ${\varepsilon}$이 높게 나타났으며, 연직속도를 모두 고려할 경우는 약 4-5배 더 높게 나타났다.

• 한국정보처리학회논문지
• /
• 제3권2호
• /
• pp.327-338
• /
• 1996

본 논문은 분산 트랜잭션 처리 시스템에서 분산 트랜잭션들이 사용한 자원들을 들을 일관성 있게 유지하는 검사점 설정 및 오류 복구 기법에 관한 연구이다. 기존 의 방법과 비교하여 제안하는 검사점 설정 방법은 검사점을 설정하는 동안 수행되고 있는 분산 트랜잭션들에 간섭 현상과 저장 비용을 최소화 할 수 있고, 검사점을 설정 하기 위한 별도의 메세지를 사용하지 않기 때문에 추가의 검사점을 설정하기 위한 메세지 비용이 없다. 또한 제안하는 알고리즘은 도미노 현상과 순환적 재시작 현상을 제거할 수 있다. 본 논문에서는 제안하는 알고리즘의 정확성과 성능을 설명하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.431-442
• /
• 2009

소프트웨어 제품 생산 라인(Software Product Line) 공학은 새로운 소프트웨어 개발 패러다임으로 각광받고 있다. SPL에 FORM(Feature-Oriented Reuse Method) 방법론을 적용하면, 휴대전화나 디지털TV 같이 공통점이 많은 제품군의 다양한 소프트웨어를 휘처 모델링을 통해 만들어진 재사용 가능하고 유연한 컴포넌트를 조합하여 생산해 낼 수 있다. 한편, MDA(Model Driven Architecture) 방법론은 PIM(Platform Independent Model) 을 통해 다양한 개별 플랫폼을 위한 소프트웨어를 생산할 수 있게 하는 새로운 기술을 제공한다. 위 두 가지 방법론의 장점을 조합하면 공통점을 공유하면서 다양한 플랫폼에서 동작하는 제품군의 소프트웨어를 생산하는데 도움이 된다. 이 논문에서는 FORM 방법론과 MDA 방법론을 조합하기 위해 먼저, 프로파일링 기법을 통해 UML2.0을 확장하여 FORM 아키텍처와 Parameterized Statechart 모델링이 가능하게 한다. 다음으로, 휘처가 휘처 모델과 Parameterized Statechart사이에서 일관성 있게 element의 형태로 위치하고 있는지 검증하는 일관성 규칙을 제공한다. 몇 가지 규칙은 FORM 아키텍처와 Parameterized Statechart 사이의 일관성을 검사하기 위해 고안되었다. 마지막으로, 엘리베이터 시스템의 사례연구를 통해 이 논문에서 제안하는 모델링 기법과 일관성 검사 법칙의 유효성을 제시한다.

• 정보학연구
• /
• 제3권3호
• /
• pp.117-134
• /
• 2000

데이타전송(data-shipping) 모델에 근간을 둔 클라이언트-서버(client-server) DBMS는 트랜잭션간 캐슁(inter-transaction caching)을 허용함에 의해 클라이언트의 자원을 효율적으로 이용할 수 있다. 그러나 트랜잭션간 캐슁을 허용하면 각 클라이언트는 데이타베이스의 일부분을 동적으로 캐슁할 수 있기 때문에 트랜잭션 캐쉬 일관성 유지(transactional cache consistency maintenance: TCCM) 기법의 필요성을 야기한다. 검사기반 TCCM 기법은 클라이언트 중복사본의 유효성을 비동기적으로 검증하면 캐쉬 일관성을 유지하기 위한 메시지 부담을 줄일 수 있기 때문에 높은 트랜잭션 처리율을 보일 수 있다. 그러나 트랜잭션들이 유효하지 않은 중복사본을 액세스할 수 있기 때문에 트랜잭션 철회율이 높은 단점이 있다. 이 단점에 대처하기 위하여 본 논문에서는 철회되는 트랜잭션 대신에 실행되기 위하여 관리되는 백업 목적의 트랜잭션인 그림자 트랜잭션의 개념을 제안한다. 본 논문은 그림자 트랜잭션의 개념에 기초하여 DL-ST로 명명된 새로운 검사기반의 TCCM 기법을 제안한다 그리고 모의실험을 통하여 트랜잭션 처리율과 철회율 관점에서 그림자 트랜잭션의 효과를 평가한다

• 한국정보과학회논문지:데이타베이스
• /
• 제32권3호
• /
• pp.276-284
• /
• 2005

접근 빈도가 높은 데이타를 클라이언트의 캐시에 저장하여 사용하는 것은 한정된 무선 대역폭을 사용하는 이동 컴퓨팅 환경에서 매우 중요한 이슈이다. 그러나 클라이언트의 접속 단절이 빈번하게 발생하는 무선환경에서 캐시 데이타의 일관성을 보장해주기 위해서는 적지 않은 노력이 필요하다. 최근에는 캐시 데이타의 일관성 검사를 위하여 서버의 주기적인 무효화보고(Invalidation Report, IR) 기법을 이용한 연구가 활발하게 진행되고 있다. 하지만 클라이언트가 오랜 접속 단절이 발생할 경우 모든 캐시 데이타를 버려야 하므로, 성능에 큰 장점을 얻을 수 없게 된다 이에 본 논문에서는 이동 컴퓨팅 환경에서 빈번한 접속 단절로 인하여 오랫동안 무효화 보고를 받지 못하더라도 유효한 캐시 데이타를 최대한 유지시킬 수 있는 기법들을 제안한다. 먼저 클라이언트가 접속 단절 후 첫 재접속이 되었을 경우. 자신의 접속 단절 시간을 전송하도록 하여 서버가 동적으로 IR에 포함될 이전 일정 주기를 결정하도록 하였다. 이에 반하여 두 번째 기법에서는 서버가 특정 기간 동안의 IR 정보를 저장하도록 하여, 오랜 접속 단절 후에도 클라이언트가 직접 캐시 데이타의 일관성 검사를 요청할 수 있도록 하였다. 제안한 기법에 의해 현저히 줄어드는 클라이언트의 캐시 손실률과 그에 따른 업링크 수의 감소, 그리고 질의에 대한 응답시간의 감소로 인한 시스템 성능 향상은 시뮬레이션을 통해 확인된다.