• 제목/요약/키워드: verifications

검색결과 269건 처리시간 0.03초

국립중앙도서관의 출판시도서목록(CIP) 서지레코드의 평가 (Examining of the National Library of Korea Cataloging in Publication(CIP) Records)

  • 김선애
    • 한국비블리아학회지
    • /
    • 제20권2호
    • /
    • pp.5-15
    • /
    • 2009
  • 이 연구는 국립중앙도서관의 출판시도서목록(CIP)의 서지레코드를 국립중앙도서관의 온라인목록 데이터베이스를 통해 제공하는 최종 서지레코드와 비교하는데 그 목적이 있다. 본 연구는 동일한 자료에 대해 국립중앙도서관의 CIP 레코드와 OPAC 레코드의 비교분석을 통해 서지기술의 내용과 요소 등의 차원에서 서지기술상의 유사성과 차이점을 분석하였다. 분석대상 레코드는 국립중앙도서관의 출판시도서목록센터에서 제공하는 출판예정자료중 출판예정일이 2008년 11월 1일부터 12월 30일인 자료를 선정하였다. 분석결과, 개별도서관에서 자체목록을 구축하기 위해 카피편목할 수 있는 정보원으로 국립중앙도서관의 CIP 레코드가 신뢰할 수 있는 수준이 아니라는 결과가 나왔다. 도서관들은 목록의 품질과 정확성을 제고시키기 위해 반드시 CIP 레코드에 대해 검증과 변경 및 조정과정을 거쳐야 할 것이다.

한국형 수치예보모델 기반의 화산재 확산 예측시스템 구축 및 사례검증 (A Case Study of the Forecasting Volcanic Ash Dispersion Using Korea Integrated Model-based HYSPLIT)

  • 이우정;강미선;신승숙;강현석
    • 대기
    • /
    • 제34권2호
    • /
    • pp.217-231
    • /
    • 2024
  • The Korea Integrated Model (KIM)-based real-time volcanic ash dispersion prediction system, which employs the Hybrid Single Particle Lagrangian Integrated Trajectory (HYSPLIT) model, has been developed to quantitatively predict volcanic ash dispersion in East Asia and the Northwest Pacific airspace. This system, known as KIM-HYSPLIT, automatically generates forecasts for the vertical and horizontal spread of volcanic ash up to 72 hours. These forecasts are initiated upon the receipt of a Volcanic Ash Advisory (VAA) from the Tokyo Volcanic Ash Advisory Center by the server at the Korea Meteorological Administration (KMA). This system equips KMA forecasters with diverse volcanic ash prediction information, complemented by the Unified Model (UM)-based HYSPLIT (UM-HYSPLIT) system. Extensive experiments have been conducted using KIM-HYSPLIT across 128 different volcanic scenarios, along with qualitative comparisons with UM-HYSPLIT. The results indicate that the ash direction predictions from KIM-HYSPLIT are consistent with those from UM-HYSPLIT. However, there are slight differences in the horizontal extent and movement speed of the volcanic ash. Additionally, quantitative verifications of the KIM-HYSPLIT forecasts have been performed, including threat score evaluations, based on recent eruption cases. On average, the KIMHYSPLIT forecasts for 6 and 12 hours show better quantitative alignment with the VAA forecasts compared to UM-HYSPLIT. Nevertheless, both models tend to predict a broader horizontal spread of the ash cloud than indicated in the VAA forecasts, particularly noticeable in the 6-hour forecast period.

파랑 및 흐름중 모형 가두리 시설의 운동 특성 (Dynamic Motions of Model Fish Cage Systems under the Conditions of Waves and Current)

  • 김태호;김재오;류청로
    • 한국수산과학회지
    • /
    • 제34권1호
    • /
    • pp.43-50
    • /
    • 2001
  • 규칙파, 불규칙파 및 파랑과 흐름이 공존하는 상태에서 프레임에 우리형 그물을 부착하여 구성되어 있는 가두리 시설의 운동특성을 분석하기 위하여 정사각형 및 원형 구조의 가두리 시설을 대상으로 예인 수조에서 수리 모형실험을 실시하였으며, 규칙파중 운동 특성은 선형 포텐셜 이론에 의한 수치 해석의 그것과 비교하였다. 그 결과는 다음과 같이 요약할 수 있다. 1) 규칙파중 모형 가두리 시설의 상하 및 종 동요는 전후 동요와는 달리 그물의 영향을 거의 받지 않았으므로 이 시설물의운동 특성중 가장 중요한 상하 동요를 해석하는 경우에는 그물을 제외하고 프레임만을 고려해도 된다는 것을 확인하였다. 2) 불규칙파중 및 파랑과 흐름이 공존하는 상태에서 모형 가두리 시설의 운동 특성은 입사파 주기의 2배 되는 고주파수에서 시설물의 고유 주기 등에 의해 동적 운동의 peak frequency가 나타남으로써 비선형 즉, 2nd order harmonic 성분이 존재하였다 3) 파동 및 흐름장에서 동요 특성이 정사각형에 비해 비교적 작게 나타난 원형이 파도, 조류 등 환경 조건이 거친 해역에 보다 적합한 것으로 판단되었다.

  • PDF

항공라이다의 결측률 산출을 위한 영역확장 기법 (Region Growing Method for Calculating Unmeasured Rate of Aerial LiDAR Data)

  • 한성만;김지용
    • 한국측량학회지
    • /
    • 제28권1호
    • /
    • pp.29-38
    • /
    • 2010
  • 2000년 초반 도입된 항공라이다는 높은 정밀도를 가지고 있으며, 기존의 항공측량과 다른 형태의 포인트 데이터로 자료를 획득하기 때문에 이를 검증하기 위한 새로운 방법이 필요하다. 2009년에 제정된 항공레이 저측량 작업규정에 의하면 크게 결측률과 점밀도, 정밀도 이 3가지 항목으로 검증을 실시하고 있는데, 이 중 결측률은 수계지역과 같은 미반사 지역을 제외한 일정한 격자대의 포인트 유무에 대한 비율을 수치화하는 것이다. 결측률 산출에 있어서 미반사 지역은 반드시 제거해야 하는데, 일반 라이다 자료의 경우 수계지역에 대한 난반사로 인해 포인트가 매우 적어서 추가적인 공간정보자료를 통해 수계지역을 구분해야 한다. 따라서 본 연구에서는 0.3m급의 고해상도 CIR 영상에서 영역확장 기법으로 수계지역을 구분하여 결측률을 산출하였으며, 결측률의 정확도를 비교해보기 위해 수치지도를 이용한 방법과 비교 분석하였다. 그 결과 결측률 값이 미반사 지역을 제외하기 전보다 매우 낮아진 것을 확인 할 수 있었으며, 영상확장 기법과 수치지도를 이용한 값은 유사하다는 것을 알 수 있었다.

국도 포장관리를 위한 의사결정시스템 개발 (Development of the Decision-Making System for National Highway Pavement Management)

  • 도명식;권수안;이상혁;김용주
    • 대한토목학회논문집
    • /
    • 제34권2호
    • /
    • pp.645-654
    • /
    • 2014
  • 현재 우리나라 일반국도의 포장관리시스템(PMS: Pavement Management System)은 세계은행(World Bank)이 주도한 HDM (Highway Development and Management)-4를 사용하여 유지보수 의사결정의 기초 자료로 사용하고 있으나, 과다한 입력변수와 모형의 불확실성 등으로 인해 국내 실정에 적합한 경제성 분석모형이 필요하게 되었으며, 대부분의 선진국의 경우에는 각 지역과 국가에 맞는 PMS 시스템을 구축하여 운영하고 있다. 따라서 본 연구에서는 우리나라 실정에 맞고 효율적인 국도의 도로 및 포장관리를 위한 의사결정시스템을 개발하기 위한 연구로써 시스템 개발에 필요한 구성요소, 공용성 모형 개발, 각 요소별 활용가능한 원단위, 기준 등의 지표 정의 및 종류, 특성들을 분석, 정리하고 경제성 평가를 통해 최적 의사결정을 위한 시스템(S/W) 개발을 목적으로 하였다. 포장관리를 위해 개발한 의사결정시스템의 구성요소는 크게 1)도로, 교통, 사회경제 지표 등의 DB, 2) 도로포장상태의 공용성 모형, 3)도로포장상태에 따른 차량속도변화 모형, 4)경제성 평가 모형, 5) 의사결정지원 시스템으로 구성되며, 개발된 시스템의 검증을 위해 사례 구간을 대상으로 한 분석결과도 함께 제시하였다. 그러나 장래 확률적 특성을 고려한 공용성 모형의 개발과 의사결정을 위한 지표 개발에 대해서는 추가적인 연구가 필요할 것으로 판단된다.

임베디드 시스템에 적합한 듀얼 모드 의사 난수 생성 확장 모듈의 설계 (Dual-mode Pseudorandom Number Generator Extension for Embedded System)

  • 이석한;허원;이용석
    • 대한전자공학회논문지SD
    • /
    • 제46권8호
    • /
    • pp.95-101
    • /
    • 2009
  • 난수 생성 함수는 소프트웨어를 사용한 시뮬레이션 테스트나 통신 프로토콜 검증 등 수많은 어플리케이션에 사용되어진다. 이런 상황에서 난수의 randomness는 사용 어플리케이션에 따라서 다르게 필요할 수 있다. 반드시 randomness가 보장된 랜덤 함수를 통한 고품질의 난수를 생성해야 할 때가 있고, 단지 난수와 비슷한 형태를 가진, randomness가 보장되지 않은 난수가 필요할 때도 있다. 본 논문에서는 고속으로 동작하는 임베디드 시스템을 위한 듀얼 모드로 동작하는 하드웨어 난수 생성기를 제안하였다. 모드 1 에서는 높은 randomness를 가지는 난수를 6사이클마다 한 번씩 생성하게 되며, 모드 2 에서는 낮은 randomness를 가지는 난수를 매 사이클마다 생성할 수 있다. 테스트를 위해, ASIP(Application Specific Instruction set Processor)를 설계하였으며, 각 모드에 맞는 명령어 세트를 설계하였다. ASIP은 LISA언어를 사용하여, 5 stage MIPS architecture를 기반으로 설계되었고, CoWare 사의 Processor Generator를 통해서 HDL코드를 생성하였으며, HDL 모델은 동부 0.18um 공정으로 Synopsys사의 Design Compiler를 통해서 합성되었다. 설계되어진 ASIP으로 난수를 생성한 결과, 하드웨어 모듈을 추가하기 전에 비해 2.0%의 면적 증가 및 239%의 성능 향상을 보였다.

FTA 원산지결정기준 위반의 유형별 사례분석 및 대응방안 (A Case Study of FTA Utilization on the Violation of Determining the Country of Origin)

  • 윤준웅;이춘수
    • 통상정보연구
    • /
    • 제17권2호
    • /
    • pp.201-223
    • /
    • 2015
  • 2015년 5월 현재 한국은 세계 50개국과 FTA 발효 및 중국 외 3개국과 FTA 타결을 이룬 상황 하에서, 원산지 검증이 한 EU FTA와 한 미 FTA 체결이후 본격화됨에 따라 그 중요성은 커졌지만 국내검증사례에 대한 자료의 제한적 접근성 등의 사유로 인하여, 원산지 검증사례에 대한 종합적이고 세부적인 접근의 연구는 미진한 편이다. 본 연구에서는 원산지 검증제도 개요 및 FTA 체결 국가의 일반규정, 원산지규정과 원산지 결정기준에 대한 선행연구를 고찰하였다. 그리고 대표적인 직접검증 방식을 채택하고 있는 한 미 FTA와 간접검증 방식을 채택하고 있는 한 EU FTA를 중심으로 직 간접 검증 방식의 고찰을 통하고 원산지 검증의 주요 원산지 결정기준위반 현황을 파악하였다. 또한 기존 주요 원산지 결정기준 위반 요소들을 FTA 협정 법령상에서 제시한 원산지 충족 요건 유형별로 세분화하여 세부 유형별 위반 사례를 종합적으로 조사 분석하여 수출기업에서 원산지 검증에 있어 취약요인을 분석하여 이에 대한 기업의 대응방안을 제시하였다. 구체적 대응방안으로 민관합동 대응조직 구축의 필요성, 현실적 원산지 관리시스템 구축, 연관 중소기업간 FTA 원산지 정보 공유 허브 시스템 구축, 기업 내 원산지관리 대응 조직의 활성화 및 연계 부서 간 전사적 관심과 교육 활성화를 제시하였다.

  • PDF

2.5D 광자선 선량계산 알고리즘 개발 (Development of 2.5D Photon Dose Calculation Algorithm)

  • 조병철;오도훈;배훈식
    • 한국의학물리학회지:의학물리
    • /
    • 제10권2호
    • /
    • pp.103-114
    • /
    • 1999
  • 본 연구에서는 외부조사 광자선에 대한 3차원 선량계산 알고리즘 모델을 개발하기 위한 기초 연구로서 기존의 2D 선량 계산 알고리즘을 확장시켜 비동일 평면 조사가 가능한 2.5D 선량계산 모델을 개발하였다. 이를 위해 3차원 치료계획 및 선량계산에 적합하도록 환자 및 조사빔에 대한 3차원 좌표계 시스템을 정의하고, 이들 간의 좌표변환식을 유도하였다. 선량계산 알고리즘으로는 "Clarkson-Cunningham" 의 2D 광자선량 계산 알고리즘을 3차원으로 확장시켜 정형 조사면 및 비정형 조사면에 대한 선량계산과 wedge filter에 대한 선량계산이 가능하도록 하였고, Batho 방식을 적용하여 비 균질 보정을 구현하였다. 선량계산의 정확도를 평가하기 위해, AAPM TG #23 에 제시된 절차에 따라 자료에 제시된 4MV 광자선에 대한 실험 값과 본 연구에서 계산된 결과를 비교한 결과, 정형조 사면에 대한 PDD(percent depth dose)는 buildup 영역을 제외하면 $\pm$1% 이내, 비정형 조사면의 경우 $\pm$3% 이내에서 실험값과 일치하였다. 또한, wedge filter에 대한 PDD 및 profile은 $\pm$3% 이내, 45$^{\circ}$ oblique 입사빔에 대한 선량은 $\pm$4% 이내에서 실험값과 일치하였다. 비균질 보정의 경우 Lung/water 경계에서 7% 과소 평가되었고, Bone/water 경계에서 3% 과대 평가되는 것으로 나타났다. 이들 결과를 종합해 볼 때, 비균질 보정을 제외하고는 비교적 정확하게 선량을 계산하는 것으로 평가되었다. 추후 대부분의 상용 2.5D 치료계획시스템 (radiation treatment planning system; RTP)들이 비균질 보정 방법으로 사용하고 있는 Equivalent TAR(tissue-air ratio) 방식을 구현시키고자 하며, 본 연구에서 구현된 선량계산 모듈을 교육 및 연구용으로 활용할 수 있을 것으로 기대 한다.것으로 기대 한다.

  • PDF

정지궤도 회전안정화 위성의 자전주기 추정 (SPIN PERIODS ESTIMATION OF GEOSTATIONARY SPIN-STABILIZED SATELLITES)

  • 이동규;김상준;박준성;한원용
    • Journal of Astronomy and Space Sciences
    • /
    • 제19권1호
    • /
    • pp.67-74
    • /
    • 2002
  • 경희대학교 천문대의 30인치 망원경을 이용하여 한반도 상공에서 관측이 가능하고 현재 운용중인 정지궤도 및 Molynia궤도 회전안정화위성 5기를 대상으로 측광관측을 시도하여 위성체의 버스모델별 자전주기를 알아보았다. 제작사별로 공개된 3기의 회전안정화위성에 대한 자전주기를 지상관측을 통하여 최초로 검증하였고 알려지지 않은 2기의 회전안정화위성에 대해서도 자전주기를 추정하였다. 공개된 자전주기는 ASIASAT 1과 THAICOM 1이 1.09초, JCSAT 2가 1.71초였고 관측결과 얻어진 자전주기는 각각 0.95, 1.06, 1.73rpm 초로 평균 0.06초의 차이를 보였다. 자전율로 환산하면 공개 된 ASIASAT 1과 THAICOM 1이 55rpm, JCSAT 2가 35rpm이고 관측결과로 구한 자전율은 각각 62.9, 56.5, 34.6rpm으로 평 균 3.3rpm의 차이 가 나타났다. 검증결과 정지궤도 회전안정화위성의 자전을 운용에 따른 허용 오차범위인 수 rpm내를 모두 만족하였다 알려지지 않은 Fengyun 2B와 Molynia 1-87 위성의 자전율은 각각 89.3rpm, 78.4rpm으로 관측되었다. 회전안정화위성의 자전주기 연구는 단주기 펄스를 갖는 우주물체에 대한 비교광원 결정에 유용하게 활용될 수 있으며 인공위성의 측광 및 분광관측과 더불어 위성 특성별 데이터 베이스를 구축하는데 도움이 될 것이라 판단된다.

혼합 도달성 분석을 이용한 상태 불변식의 단순화 (Simplification of State Invariant with Mixed Reachability Analysis)

  • 권기현
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권3_4호
    • /
    • pp.212-218
    • /
    • 2003
  • 상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.