• Title/Summary/Keyword: 자료오류검증

Search Result 130, Processing Time 0.027 seconds

A Benchmark Suite for Data Race Detection Technique in GPGPU Progrmas (GPGPU 프로그램의 자료경합 탐지기법을 위한 벤치마크 모음)

  • Lee, Keonpyo;Choi, Eu-Teum;Jun, Yong-Kee
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2019.01a
    • /
    • pp.7-8
    • /
    • 2019
  • 자료경합은 두 개 이상의 스레드가 같은 공유메모리에 적절한 동기화 없이 접근하고, 적어도 한 개의 접근사건이 쓰기일 때 발생할 수 있는 동시성 오류이다. 자료경합은 프로그래머가 의도하지 않은 비결정적인 수행결과를 초래하여, 항공기 소프트웨어와 같은 고신뢰성이 요구되는 프로그램에서 치명적인 오류를 발생시켜 인적 물적 손해로 이어질 수 있다. 자료경합 탐지기법은 이러한 문제를 사전에 탐지하여 수정하는데 사용되어진다. 하지만 GPGPU 프로그램에서의 자료경합은 CPU 병행프로그램에서보다 복잡한 실행구조를 가지고 있어 스레드 및 메모리 계층, 스케줄링, 동기화 기법 등의 많은 변수가 존재한다. 이로 인해 실세계 프로그램에 자료경합 탐지기법을 적용하여 검증 시 이러한 변수들을 반영하여 실험하는데 많은 노력이 소요된다. 본 논문은 실세계 프로그램에서의 자료경합을 대표하는 4가지 패턴의 합성프로그램으로 이루어지고 실행 시 스레드 및 메모리 계층, 스레드 구조, 메모리 사용량 및 동기화 방안을 지정할 수 있는 벤치마크 모음을 제시한다.

  • PDF

A Viewer Development for Various Material Agile Prototyping System (다중재료 쾌속가공시스템을 위한 뷰어 구현)

  • 천인국;김승우;안덕상;주영철
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2001.06a
    • /
    • pp.307-311
    • /
    • 2001
  • 신속조형시스템(RP : Rapid Prototyping)용 자료교환 표준인 STL의 자료구조는 단순하고, 조형용 2차원 단면 자료로의 전환이 용이하며, 생산 가공 기술로서의 현대적인 특성(신속성, 조형성, 경제성, 청정성 등)을 가지고 이는 장점이 있는 반면에, STL 3D 좌표값의 기준(좌표계의 원점)이 되는 크기 정보가 없다. 이런 문제를 구현된 STL 뷰어에서는, 스케일링(scaling) 기법과 선형적인 이동 기법을 사용하여 해결하였고, CAD 시스템으로 제작된 파일 자체의 문제점 패싯(facet) 중복, 정밀도, 법선 벡터 값의 오류 등도 검증기(verifier)와 오류 정정기(error corrector)글 구현하여 해결하였다. 제안된 방법으로 구현된 STL 뷰어는 시스템의 안정성과 확장성, 그리고 효율성 측면에서 우수한 성능을 보였으며, 슬라이싱(slicing), 경로 추적기(path tracer)의 전처리기의 역할을 한다.

  • PDF

A Study on the Validation of Measured Data from the Seismic Accelerometers in the Safety Evaluation System of Public Buildings (공공건축물 안전성 평가를 위한 지진가속도 계측자료의 유효성 검증 방법에 대한 연구)

  • Jang, Won-Seok;Jeong, Seong-Hoon
    • Journal of the Korea institute for structural maintenance and inspection
    • /
    • v.24 no.5
    • /
    • pp.150-157
    • /
    • 2020
  • In this study, an algorithm was developed to validate the seismic acceleration measurement data of the seismic acceleration measurement system using measurement data from public buildings currently in operation. Through the results of the study, an algorithm was developed to detect errors and abnormalities in the measurement data itself and the process of generating real-time data (MMA/sec) and event measurement data (MiniSEED), which are the main data generated by the system, and the basic data for determining the direction of inspection through measurement data analysis. It is expected that this will be used as a guideline to determine whether or not the seismic acceleration measurement system, which was managed as receiving/not receiving, is inspected and abnormal types of conditions.

Improvement of MODIS land cover classification over the Asia-Oceania region (아시아-오세아니아 지역의 MODIS 지면피복분류 개선)

  • Park, Ji-Yeol;Suh, Myoung-Seok
    • Korean Journal of Remote Sensing
    • /
    • v.31 no.2
    • /
    • pp.51-64
    • /
    • 2015
  • We improved the MODerate resolution Imaging Spectroradiometer (MODIS) land cover map over the Asia-Oceania region through the reclassification of the misclassified pixels. The misclassified pixels are defined where the number of land cover types are greater than 3 from the 12 years of MODIS land cover map. The ratio of misclassified pixels in this region amounts to 17.53%. The MODIS Normalized Difference Vegetation Index (NDVI) time series over the correctly classified pixels showed that continuous variation with time without noises. However, there are so many unreasonable fluctuations in the NDVI time series for the misclassified pixels. To improve the quality of input data for the reclassification, we corrected the MODIS NDVI using Correction based on Spatial and Temporal Continuity (CSaTC) developed by Cho and Suh (2013). Iterative Self-Organizing Data Analysis (ISODATA) was used for the clustering of NDVI data over the misclassified pixels and land cover types was determined based on the seasonal variation pattern of NDVI. The final land cover map was generated through the merging of correctly classified MODIS land cover map and reclassified land cover map. The validation results using the 138 ground truth data showed that the overall accuracy of classification is improved from 68% of original MODIS land cover map to 74% of reclassified land cover map.

Automatic Generation of Protocol Test Sequences from SDL (SDL로부터 프로토콜 시험열 자동 생성 기법)

  • 이현정;최영일;이병선
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.25 no.7B
    • /
    • pp.1253-1259
    • /
    • 2000
  • 적합성 시험은 프로토콜 구현물인 IUT(Implementation Under Test)가 프로토콜 규격과 일치하는지를 검증하는 것으로, 이 적합성 시험의 질은 생성된 시험열에 의존한다. 기존에는 시험열 생성이 수작업으로 이루어지기 때문에 오류의 가능성을 내포한다. 본 논문에서는 자동화된 툴(tool)인 Design/CPN을 이용하여 SDL(Specification and Description Language)로 기술된 프로토콜의 시험열을 생성한다. SDL로 기술된 프로토콜을 자료흐름을 고려한 CPN(Colored Petri Nets)으로 변환 후 Design/CPN에 입력하여 자동 생성된 OG(Occurrence Graph)와 디스크립터 (descriptor)로부터 시험열을 생성함으로써, 기존의 시험열 생성 방법에 비해 오류 가능성을 줄일 수 있으며, 자료 흐름이 고려된 시험열을 얻을 수 있다.

  • PDF

Ensemble Design of Machine Learning Technigues: Experimental Verification by Prediction of Drifter Trajectory (앙상블을 이용한 기계학습 기법의 설계: 뜰개 이동경로 예측을 통한 실험적 검증)

  • Lee, Chan-Jae;Kim, Yong-Hyuk
    • Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
    • /
    • v.8 no.3
    • /
    • pp.57-67
    • /
    • 2018
  • The ensemble is a unified approach used for getting better performance by using multiple algorithms in machine learning. In this paper, we introduce boosting and bagging, which have been widely used in ensemble techniques, and design a method using support vector regression, radial basis function network, Gaussian process, and multilayer perceptron. In addition, our experiment was performed by adding a recurrent neural network and MOHID numerical model. The drifter data used for our experimental verification consist of 683 observations in seven regions. The performance of our ensemble technique is verified by comparison with four algorithms each. As verification, mean absolute error was adapted. The presented methods are based on ensemble models using bagging, boosting, and machine learning. The error rate was calculated by assigning the equal weight value and different weight value to each unit model in ensemble. The ensemble model using machine learning showed 61.7% improvement compared to the average of four machine learning technique.

Study for the Changes of Annual and Seasonal Mean Temperature Using Adjusted Temperature Data in the Republic of Korea (고품질의 기온자료를 이용한 연.계절평균기온의 변화에 관한 연구)

  • Park, Chang-Yong;Choi, Young-Eun
    • Journal of the Korean Geographical Society
    • /
    • v.46 no.1
    • /
    • pp.20-35
    • /
    • 2011
  • This study suggested the systematic steps for quality control, construction of the climatological reference series and homogeneity test and adjustment of temperature series in the Republic of Korea. It also attempted to evaluate more accurate magnitude of change using adjusted temperature data. All erroneous values produced by quality control were detected by internal inconsistency check. The method selected for homogeneity test in this study well defined fairly correct signals of station relocations. Therefore, this method might be regarded as the appropriate one to test homogeneity of temperature series of the Republic of Korea. The increase of temperature of the Republic of Korea after the adjustment were bigger than before the adjustment of annual and seasonal mean temperature. Adjusted temperature data produced by these steps will enable to evaluate more accurate characteristics and magnitude of climate change.

Filling Method for Missing Turbidity Data having Periodicity (주기성을 갖는 탁도자료의 결측치 보완 기법)

  • Baek, Kyong-Oh;Cho, Hong-Yeon;Lee, Sam-Hee
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2006.05a
    • /
    • pp.1546-1550
    • /
    • 2006
  • 한강 하구부의 3개 지점에서 수중 계류방식으로 약 5개월에 걸쳐 탁도를 관측하였다. 이 과정에서 관측기기의 한계로 인해 탁도 자료의 결측치가 발생하였고, 이를 효율적으로 보완하기 위해 새로운 결측치 보완기법을 개발하였다. 개발된 기법, 일명 면적비법은 시계열 자료가 단일주기와 상이한 진폭을 갖는다는 가정하에, 각 사이클의 면적비율을 통해 결측치를 보완하는 방법이다. 면적비법과 기존의 최소제곱법을 검증하기 위해 결측치가 없는 정상적인 자료에 적용해 보면, 두 방법 모두 첨두치를 약간 과소 산정하는 경향이 있었다. 하지만 면적비법의 경우, 원자료의 총 면적과 보완자료의 총 면적간의 차이가 거의 없었다. 이 방법들을 한강 하구부에서 관측된 탁도자료에 적용해 본 결과, 면적비법은 합리적으로 결측치를 보완하는 반면, 최소제곱법은 보완자료의 총면적이 원자료에 비해 작아지는 오류가 발생하였다. 따라서 최소제곱법에 비해 면적비법이 결측치 보완에 더 우수한 결과를 제공함을 알 수 있었다. 본 연구에서 개발한 면적비법은 주기성이 뚜렷한 시계열자료의 결측치 보완에 유용하게 쓰일 수 있으리라 기대된다.

  • PDF

A Study on the Quality Checking for Landcover Map (토지피복도의 품질 검증에 관한 연구)

  • Lee, Yong-Wook
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.26 no.3
    • /
    • pp.303-309
    • /
    • 2008
  • Landcover map can use to establish basic national environment policy as main data predicting living place, counting pollution like a atmosphere, water and forest part. During the 1998-2005 years, Korean government made landcover maps using satellite image for part of south Korea. Landcover maps are offered free for public purpose to university and institute. So, it used basic data for policy and research parts. There are some problems for application parts because of inconsistency. So, in this study, to estimate accuracy of source data by quality checking for landcover maps. As a result, there are some errors like classification inconsistencies. So, it need verification process for landcover maps.

A View Interpolation Method for Multi-view Video of Large Disparity (변위 범위가 큰 다시점 비디오에 적합한 영상보간법)

  • Lee, Cheon;Oh, Kwan-Jung;Ho, Yo-Sung
    • Proceedings of the Korean Society of Broadcast Engineers Conference
    • /
    • 2006.11a
    • /
    • pp.55-58
    • /
    • 2006
  • 차세대 방송서비스 개발의 일환으로 관심을 모으고 있는 다시점 비디오 부호화(multi-view video coding, MVC) 방식은 인접한 여러 대의 카메라로 동시에 획득한 영상을 효과적으로 압축하는데 그 목적이 있다. 이때, 중간시전 영상을 생성하여 부호화하는 과정의 참조영상으로 이용할 수 있으며, 이를 위해서는 다시점 비디오 특성에 맞는 영상보간 방법이 필요하다. 기존에 제안되었던 영상보간법은 변위의 검색범위를 초기에 설정하여 블록정합을 이용하여 화소 단위로 변위를 측정하기 때문에 카메라 사이의 거리가 크거나 객체의 움직임이 커서 변위의 변동이 심한 영상에서는 안정적인 화질의 영상을 얻기 어렵다. 또한, 고정된 크기의 블록을 이용하여 전체 변위를 측정하므로 객체의 변위차가 큰 영역에서 변위 오류가 많이 발생한다. 본 논문에서는 이와 같은 문제를 해결하여 보다 개선된 화질의 중간시점 영상을 얻기 위한 새로운 영상보간법을 제안한다. 영역분할을 이용한 초기의 변위측정 과정에서, 처음부터 최대 변위의 범위를 설정하는 대신에 블록 단위로 대략적인 변위륵 측정한 후에, 가변 블록을 이용하여 보다 세밀한 변위를 측정한다. 이 방법은 변위차가 큰 객체의 경계 부분에서 보다 정확하게 변위를 측정 할 수 있으므로, 화소 단위로 변위를 측정할 때 이전에 추한 변위 정보를 바탕으로 각 화소별로 검색 범위를 설정한다. 적응적으로 설정된 검색 범위를 이용하여 화소 단위의 변위를 측정하면 보다 개선된 변위를 얻을 수 있다. 추가적으로, 변위측정 과정에서 발생하는 변위의 오류를 최대한 줄이기 위해 각 단계별로 미디언 필터를 이용하여 변위 오류를 수정하였다. 본 논문에서 제안한 방법으로 실험한 결과 기존의 영상보간 방법보다 화질이 약 $1{\sim}4dB$ 정도 개선되었다.필, 투명도 등을 위성원격탐사 자료와 GIS를 이용하여 공간분석을 실시하고, 공간분포도를 작성함으로써 대상해역의 해양환경을 파악하였다. 본 연구결과, 분석된 위성자료가 현장조사에 의한 검증이 이루어지지 않을 경우, 영상자료분석을 통한 표층수온 추출은 대기 중의 수증기와 에어로졸에 의한 계산치의 오차가 반영되기 때문에 실측치 보다 낮게 평가 될 수 있으므로, 반드시 이에 대한 검증이 필요함을 알 수 있었다. 현지관측에 비해 막대한 비용과 시간을 절약할 수 있는 위성영상해석방법을 이용한 방법은 해양수질파악이 가능할 것으로 판단되며, GIS를 이용하여 다양하고 복잡한 자료를 데이터베이스화함으로써 가시화하고, 이를 기초로 공간분석을 실시함으로써 환경요소별 공간분포에 대한 파악을 통해 수치모형실험을 이용한 각종 환경영향의 평가 및 예측을 위한 기초자료로 이용이 가능할 것으로 사료된다.염총량관리 기본계획 시 구축된 모형 매개변수를 바탕으로 분석을 수행하였다. 일차오차분석을 이용하여 수리매개변수와 수질매개변수의 수질항목별 상대적 기여도를 파악해 본 결과, 수리매개변수는 DO, BOD, 유기질소, 유기인 모든 항목에 일정 정도의 상대적 기여도를 가지고 있는 것을 알 수 있었다. 이로부터 수질 모형의 적용 시 수리 매개변수 또한 수질 매개변수의 추정 시와 같이 보다 세심한 주의를 기울여 추정할 필요가 있을 것으로 판단된다.변화와 기흉 발생과의 인과관계를 확인하고 좀 더 구체화하기 위한 연구가 필요할 것이다.게 이루어질 수 있을 것으로 기대된다.는 초과수익률이 상승하지만, 이후로는 감소하므로, 반전거래전략을 활용하는 경우 주식투자기간은 24개월이하의 중단기가 적합함을 발견하였다. 이상의 행태적 측면과 투자성과측면의 실증결과를 통하여 한국주식시장에 있어서 시장수익률을 평균적으로 초과할 수 있는 거래전략은

  • PDF