• Title/Summary/Keyword: 수행성 검증

Search Result 6,652, Processing Time 0.039 seconds

Design and Implementation of Interworking Protocol for Roaming between IMT-2000 and PCS (IMT-2000과 PCS간의 로밍을 위한 연동 프로토콜 설계 및 구친)

  • 이준호;조성훈;이정준;정선화;박석천
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2001.06a
    • /
    • pp.244-247
    • /
    • 2001
  • 본 논문에서는 IMT-2000과 PCS를 연계 서비스하기 위해, 망 구성과 신호 프로토콜을 기반으로 로밍을 위한 연동 프로토콜을 설계 및 구현하였다. 먼저 미래의 주요 서비스로 예상되는 인터넷 서비스를 지원하기 위한 패킷 데이터 서비스에 대하여 기본호 설정 절차와 해제 절차를 설계하였으며 설계한 연동 프로토콜의 동작성을 확인하기 위하설 프레디키트/액션 패트리네트를 사용하여 모델링하고 도달성 트리를 도출하여 설계한 프로토콜이 올바르게 수행됨을 확인하였다. 이렇게 검증된 프로토콜을 두 대의 워크스테이션에서 UNIX 소켓을 이용하여 구현하고, 프로토콜의 적합성 시험에서 가장 많이 사용되는 국부 시험 방법으로 테스트하여 구현된 연동 프로토콜이 정상적으로 수행됨을 확인하였다.

  • PDF

Design and Implementation of Incremental Updata Algorithm for Replication Consistency in Intranet (Intranet 환경에서 복제일관성을 위한 점진적 갱신 알고리즘의 설계 및 구현)

  • 함병훈;서창석;이기택;이병욱
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 1998.10a
    • /
    • pp.112-117
    • /
    • 1998
  • CERN에서 1992년 웹이 발표된 이후 기업내 정보 환경에 많은 변화중 가장 두드러진 부분이 인트라넷/익스트라넷 환경으로 대표되는 기업내 정보시스템이다. 이 환경을 통하여 수많은 사용자에게 내부의 정보를 지역과 클라이언트에 관계없이 제공하고 있으므로 기업내 데이터베이스를 연동하는 것이 중요한 비중을 차지했다. 그러나 과거의 기술로는 데이터베이스 연동시 상태정보를 지속적으로 유지할 수 없었고, 이로 인해 웹을 통한 서버와 다수의 클라이언트의 공동 작업 수행시 데이터에 대한 일관성 관리할 수 없었다. 본 논문에서는 새로운 웹과 데이터베이스의 연동을 사용하여 지속적인 상태유지를 가능하게 하고 여기에서 발생하는 공유데이터에 대한 일관성 유지를 기존 낙관적 병행제어 알고리즘인 후진(Backward) 및 전지(Foreword) 방법 대신 실시간 공유데이터의 공동작업에 적합한 점증적 갱신 알고리즘을 제안한다. 이 방법은 검증단계에서 충돌연산으로 인한 재시작을 줄이며, 사전에 불필요한 재시작을 방지하는 방법으로 자료갱신시 다른 클라이언트들에게 변경을 통보하며, 무효화 작업을 각 클라이언트에서 수행함으로써 서버의 부하를 줄일 수 있다.

  • PDF

A Design of Toolset for Component-based Java Virtual Machine Development (컴포넌트기반 자바가상머신 개발 툴셋 설계)

  • Seo, Young-Jun;Lee, Sung-Young;Song, Young-Jae
    • Annual Conference of KIPS
    • /
    • 2002.11c
    • /
    • pp.2075-2078
    • /
    • 2002
  • 최근 이동내장형 시스템 기술이 차세대 정보통신 산업의 주력으로 급부상함에 따라 다양한 이기종 제품간의 호환성과 이식성 제공의 핵심 역할을 수행하는 자바가상머신(Java Virtual Machine)이 주목받고 있다. 가상머신을 컴포넌트 기반 소프트웨어 기술을 사용하여 구축한다면, 재사용과 재구성이 용이해 저렴하고 신뢰성 있는 가상머신 개발이 가능해진다. 이러한 이유로 인하여, 컴포넌트기반 내장형 실시간 시스템을 효과적이고 체계적으로 개발하고 검증하기 위한 개발 툴셋의 중요성도 동시에 증대되고 있다. 따라서 본 논문에서는 PBO(Port-Based Object) 모델을 확장하여 자바가상머신 컴포넌트들을 툴셋에서 제공하는 구성 툴에 의해 조립과 검사를 수행하며, 빠르게 재사용성과 신뢰성을 지원하는 자바가상머신을 개발할 수 있는 환경를 제안한다.

  • PDF

Design Issure Management System for Human Factors Engineering Design and Review of Nuclear Power Plant (원자력발전소의 인간공학적 설계 및 검토를 위한 설계현안관리체계)

  • 정광태;이용희
    • Proceedings of the ESK Conference
    • /
    • 1997.04a
    • /
    • pp.270-280
    • /
    • 1997
  • 원자력발전소의 인간공학적 설계 및 검토를 효과적으로 수행하기 위한 설계 현안관리체계 (Design Issue Management System;DIMS)를 구축하였다. DIMS는 세가지 기능을 갖도록 구성되었는데, 규제문건들로 부터 추출된 설계상의 인간공학적 요건들을 분석하고 관리하는 요건 분석 기능, 규제 기관, 운전원 및 설계자로 부터 제기된 설계 현안의 추적 기능, 설계상의 의사결정을 지원하기 위한 현안들의 중요도 평가 기능의 세부분으로 구성되었다. DIMS의 활용사례로 원자력발전소 감시계통의 일부인, 울진 3,4호기 CFMS(Critical Function Monitoring System) 화면설계 검토에 적용하였다. 주요 검토 업무로 CFMS 화면 설계에 대한 가용성 검토, 적합성 검토, 유효성 검증을 수행하였고, 이 과정을 통하여 울진 3,4호기 CFMS 화면 설계의 인간공학적 문제점(Human Engineering Discrepancy; HED0들을 찾아내었다. HED들은 문제의 심각성에 따라 조기 해결 요망, 가능한 한 조기 해결 요망, 장기적 해결요망의 세 그룹으로 분류되었다. HEE의 심각성 평가는 인간공학 전문가, 설계자, 운전원의 세 그룹에 의하여 평가되었다. 검토 결과 최종적으로 CFMS 화면에 대한 인간공학적 설계 개선의 근거 로 사용되었다.

  • PDF

Verification of FE models for various types of structures using measured dynamci properties (동특성 계측을 통한 건물 구조형식별 FE 구조해석 모델의 검증)

  • Kim, Ji-Young;Park, Jae-Keun;Cho, Ja-Ock;Yu, Eun-Jong;Kim, Dae-Young
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2011.04a
    • /
    • pp.598-601
    • /
    • 2011
  • 동적응답과 하중을 정확히 산정하기 위해서는 구조물의 동적특성을 정확히 평가하는 것이 중요하기 때문에, 현재 대부분의 경우 FE 모델을 이용한 Modal 해석을 dldydg하여 동특성을 평가하고 있다. 그러나 실제 건물의 계측결과와 동적특성의 해석결과가 많은 차이를 나타내고 있으므로 해석결과의 신뢰성을 향상하기 위해서는 FE 모델에 대한 Calibration이 수행될 필요성이 있다. 이 논문에서는 초고층, 아파트, 대공간 구조물에 대한 계측을 수행하고 이 결과를 바탕으로 동특성을 정확히 예측하기 위한 FE 모델의Calibration 과정을 제시하였다. 이 결과를 바탕으로 동적특성의 정확성이 풍동실험결과의 신뢰성에 미치는 영향을 분석하였다.

  • PDF

Analysis FIPS 140-2 DTR(Derived Test Requirement of FIPS 140-2 of CMVP(Cryptographic Module Validation Program) (암호화 모듈 평가 프로그램(CMVP) 표준인 Derived Test Requirement(DTR) of FIPS 140-2 분석)

  • 이병석;정성민;박성근;김석우;박일환
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 2003.12a
    • /
    • pp.311-316
    • /
    • 2003
  • 정보통신기술의 발달로 대부분 사회의 기반구조가 사이버 사회로 전환되었고 다양한 형태의 경제사회 활동을 수행키 위해 정보보호제품의 활용이 극대화되었으며 더욱 중요시되었다. 이러한 사회흐름에 기반하여 정보보호제품의 안전한 선택 및 사용을 위한 기본적 선택기준은 검증받은 암호화 모듈을 바탕으로 하는 정보보호제품에 대한 신뢰 기관의 안전성 평가 결과일 것이다. 암호화 모듈에 대한 안전성 평가로 가장 널리 참조되는 것은 미국의 NIST(National Institute of Standards and Technology)가 수행하는 CMVP(Cryptographic Module Validation Program)이며, 세계적으로 인정받고 있다. 본 논문에서는 암호 모듈의 평가체계에 대해 설명하였으며 그 기준인 FIPS 140-2 DTR을 분석하여 향후 개발 가능한 CMVP의 안전성 평가 툴 기준에 대해 제시하였다.

  • PDF

Recovery Mechanism Using Virtual Machine Threshold (가상머신의 유사도 임계값을 활용한 복구 기법)

  • Sumin Jeong;Jaehan Byun;Joonseok Park;Keunhyuk Yeom
    • Annual Conference of KIPS
    • /
    • 2023.11a
    • /
    • pp.308-310
    • /
    • 2023
  • IT 서비스는 지속성, 신속한 변경을 위해 클라우드 플랫폼에서 운영되는 가상머신을 바탕으로 제공되도록 변경되고 있다. 서비스의 지속성을 위해서는 의도치 않은 상황(예를 들어, 정전, 화재 등의 재해상황)에 대해 신속하게 대처하거나, 방지하는 방안이 필요하다. 기존 클라우드 플랫폼은 이러한 상황에 대비하여 가상머신 백업을 위한 스냅샷, 이미지 기반 저장 등의 다양한 방법을 제공하였다. 그러나, 기존의 방법들은 IT 서비스 제공자의 클라우드 플랫폼적인 지식이 요구되며, 성능적 측면의 이슈가 해결될 필요가 있었다. 따라서, 본 논문에서는 지속적인 서비스 수행을 보다 유연하게 수행할 수 있는 방안으로 가상머신 풀을 구성하고 풀 내의 가상머신을 바탕으로 유사성 검증을 통해 복구하는 기법을 제시한다. 또한, 해당 기법을 보이는 사례 시스템을 구축하여 실 구현 가능함을 나타낸다.

Advanced Microwave Scanning Radiometer E Soil Moisture Evaluation for Haenam Flux Monitoring Network Site (해남 플럭스 타워 지점에서의 Advanced Microwave Scanning Radiometer E 토양수분자료의 검증)

  • Hur, Yoo-Mi;Choi, Min-Ha
    • Korean Journal of Remote Sensing
    • /
    • v.27 no.2
    • /
    • pp.131-140
    • /
    • 2011
  • In this study, temporal variations of the Advanced Microwave Scanning Radiometer E (AMSR-E) soil moisture products were evaluated using ground based measurements from the Haenam flux monitoring network site for two years (2004 and 2006). Even if there were major comparison issues including spatial resolutions, AMSR-E soil moisture production showed a great potential to replicate temporal variability patterns with ground based measurements. Additional intensive validation efforts should be conducted at a variety of field conditions including vegetation type for better utilization of remotely sensed soil moisture and understanding of the land surface-atmosphere interactions in the view of hydrometeorology.

A Study on Methodology for Verifying Energy Saving and Activity in School (학교 건물에서의 에너지절감 성과 활동 검증을 위한 방법론 연구)

  • Lee, Hangju;Kim, Insoo
    • Journal of Energy Engineering
    • /
    • v.29 no.1
    • /
    • pp.25-33
    • /
    • 2020
  • Recently, as the mandatory policy of zero energy building is promoted, policies / systems for transition to Zero Energy School are being promoted, but there is no method to systematically analyze and verify the results of energy saving activities for school buildings. For the study of energy performance verification methodology, the current status of related standards was referred to, and the case study of other methodologies was conducted to examine the tools that can analyze the performance in the field. In addition, this study analyzed the current status and characteristics of energy management through domestic school visits. In this paper, we presented various energy saving projects such as air conditioning and heating facilities, lighting, insulation, change operation behavior, and improve operation methods in new and existing school buildings, and M & V methods for verifying energy savings before and after implementation of energy conservation projects.

기상청 기상레이더강수량추정기술 현황 및 계획

  • Cha, Ju-Wan;Seok, Mi-Gyeong;Park, Jong-Seo
    • Water for future
    • /
    • v.45 no.8
    • /
    • pp.50-55
    • /
    • 2012
  • 본 연구는 레이더 반사도를 이용한 RAD-RAR시스템의 개발내용에 대한 설명과 이를 검증하기 위해 2006년 레이더 반사도를 이용한 RAD-RAR시스템의 강우량 추정값과 지상 AWS 강우량관측값을 비교 하였다. 2006년 전체를 보았을 때 RAD-RAR의 일 누적관측값은 지상강우량과 비교하여 약 0.84로 높은 상관계수를 보였다. 또한 본 연구에서 북한 지역 등의 지상 관측 공백지역에 대한 강수량 모니터링의 필요성의 증가 때문에, 2009년 황강댐 부근에서 발생한 강수사례를 분석하여보았다. 북한 지역에 대해서는 GTS 지점에서 황강댐 방류 기간에 대해서 비교 및 검증을 수행하였다. 북한 지역에 대한 사례분석 결과는 상관도가 0.75로 남한 지역(상관도: 0.85)에 비해서 상대적으로 낮게 나타났다. 이는 북한 지역에 대한 검증시 사용된 샘플링의 수가 적었기 때문에 일반화하기 어렵고 또한 북한 지역의 GTS 지점에서 관측된 강수량 자료의 높은 신뢰도를 얻기 어려우므로 더 추가적인 분석이 필요하다.

  • PDF