• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제8권9호
• /
• pp.217-224
• /
• 2019

최근 가정, 교통, 의료, 전력망 등 우리 생활과 밀접한 연관을 가진 여러 분야에서 IoT(Internet of Things) 센서 장치를 활용해 데이터를 수집하는 센서 네트워크를 구축하고 활용하고 있다. 이러한 센서 네트워크에서 센싱 데이터 조작은 재산 상, 안전 상의 심각한 위협이 될 수 있다. 따라서 외부 공격자가 센싱 데이터를 조작하지 못하도록 하는 방법이 필요하다. 본 논문에서는 외부 공격자에 의해 조작된 센싱 데이터를 효과적으로 제거하기 위해 데이터 난독화와 변화량 분석을 활용한 IoT 센싱 데이터 유효성 검증 기법을 제안한다. IoT 센서 장치는 난독화 함수에 따라 센싱 데이터를 변조하여 사용자에게 전송하고, 사용자는 전송받은 값을 원래의 값으로 되돌려 사용한다. 적절한 난독화를 거치지 않은 거짓 데이터는 유효 데이터와 다른 변화 양상을 보이고, 변화량 분석을 통해 거짓 데이터를 탐지할 수 있다. 성능 분석을 위해 데이터 유효성 검증 성능 및 검증 소요시간을 측정하였다. 그 결과, 기존 기법에 비해 최대 1.45배 거짓 데이터 차단율을 향상시키고, 0.1~002.0% 수준의 오검출률을 보였다. 또한 저전력, 저성능 IoT 센서 장치에서 검증 소요시간을 측정 결과, 데이터량 증가에 따라 2.5969초까지 증가되는 RSA 암호화 기법에 비해 제안 기법은 0.0003초로 높은 검증 효율을 확인하였다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2004년도 Proceedings of ISRS 2004
• /
• pp.35-38
• /
• 2004

We developed a Near Real-Time Validation System (NRVS) for the Level-2 Products of AQUA Satellite. AQUA satellite is the second largest project of Earth Observing System (EOS) mission of NASA. This satellite provides the information of water cycle of the entire earth with many different forms. Among its products, we have used five kinds of level-2 geophysical parameters containing rain rate, sea surface wind speed, skin surface temperature, atmospheric temperature profile, and atmospheric humidity profile. To use these products in a scientific purpose, reasonable quantification is indispensable. In this paper we explain the near real-time validation system process and its detail algorithm. Its simulation results are also analyzed in a quantitative way. As reference data set in-situ measured meteorological data which are periodically gathered and provided by the Korea Meteorological Administration (KMA) is processed. Not only site-specific analysis but also time-series analysis of the validation results are explained and detail algorithms are described.

• 환경영향평가
• /
• 제21권6호
• /
• pp.893-901
• /
• 2012

Aircraft noise model such as FAA Integrated Noise Model(INM) has recently been used for forecasting the impact of noise in a residential area near an airport and quantifying the effect of various options for noise mitigation. The noise modeling should be reliable and precise in order to ensure the quality of the results provided. In this study, the validation of the noise levels simulated by the INM against measurement data recorded continuously at multiple monitoring sites was discussed. As a result of validation, the quality of the input data used as a fixed point profiles for the INM was enhanced. The noise contour maps were designed as a way to evaluate the aircraft noise of the vicinity of the airfield. The results of this study indicate that the validation of aircraft noise model by the measurement data would be required for the accurate assessment of the aircraft noise levels.

• 대한기계학회논문집
• /
• 제18권2호
• /
• pp.323-338
• /
• 1994

This paper outlines a framework for performing intelligent sensor validation for a diagnostic expert system while reasoning under uncertainty. The emphasis is on the algorithmic preprocess technique. A companion paper focusses on heuristic post-processing. Sensor validation plays a vital role in the ability of the overall system to correctly detemine the state of a plant monitored by imperfect sensors. Especially, several theoretical developments were made in understanding uncertain sensory data in statistical aspect. Uncertain information in sensory values is represented through probability assignments on three discrete states, "high", "normal", and "low", and additional sensor confidence measures in Algorithmic Sv.Upper and lower warning limits are generated from the historical learning sets, which represents the borderlines for heat rate degradation generated in the Algorithmic SV initiates a historic data base for better reference in future use. All the information generated in the Algorithmic SV initiate a session to differentiate the sensor fault from the process fault and to make an inference on the system performance. This framework for a diagnostic expert system with sensor validation and reasonig under uncertainty applies in HEATXPRT$^{TM}$, a data-driven on-line expert system for diagnosing heat rate degradation problems in fossil power plants.

• 한국정보과학회논문지:데이타베이스
• /
• 제34권2호
• /
• pp.153-165
• /
• 2007

XML은 웹 데이타 표현 및 교환을 위한 표준으로 많은 응용 분야에서 널리 이용되고 있다. XML Schema는 표준 XML 스키마로, 정의된 XML Schema에 의거하여 작성된 XML 문서를 ‘유효한 XML 문서’라고 하며 이러한 XML 문서는 갱신이 된 후에도 XML Schema에 대해 유효함이 보장되어야 한다. 본 논문은 갱신 이전에 갱신과 관련된 부분에 대한 유효 검증을 수행하여 불필요한 유효 검증을 제거한 XML Schema 유효 검증 메커니즘인 ‘예상 갱신 부분 유효 검증 기법’과 갱신 별 유효 검증 알고리즘을 제안한다. 또한 XML 데이타와 XML Schema 간의 매핑 방법과 XML Schema 유효 검증을 지원하기 위해 효율적인 스키마 정보 추출을 제공하는 XML Schema 저장 방법을 제안한다. 마지막으로 실험을 통해 스키마 저장 방법에 따른 갱신 별 유효 검증 성능을 비교한다.

• Nuclear Engineering and Technology
• /
• 제53권7호
• /
• pp.2151-2161
• /
• 2021

Nuclear data (ND) sensitivity and uncertainty (S/U) quantification in shielding applications is performed using deterministic and probabilistic approaches. In this paper the validation of the newly developed deterministic program package ASUSD (ADVANTG + SUSD3D) is presented. ASUSD was developed with the aim of automating the process of ND S/U while retaining the computational efficiency of the deterministic approach to ND S/U analysis. The paper includes a detailed description of each of the programs contained within ASUSD, the computational workflow and validation results. ASUSD was validated on two shielding benchmark experiments from the Shielding Integral Benchmark Archive and Database (SINBAD) - the fission relevant ASPIS Iron 88 experiment and the fusion relevant Frascati Neutron Generator (FNG) Helium Cooled Pebble Bed (HCPB) Test Blanket Module (TBM) mock-up experiment. The validation process was performed in two stages. Firstly, the Denovo discrete ordinates transport solver was validated as a standalone solver. Secondly, the ASUSD program package as a whole was validated as a ND S/U analysis tool. Both stages of the validation process yielded excellent results, with a maximum difference of 17% in final uncertainties due to ND between ASUSD and the stochastic ND S/U approach. Based on these results, ASUSD has proven to be a user friendly and computationally efficient tool for deterministic ND S/U analysis of shielding geometries.

• Journal of the Korean Data and Information Science Society
• /
• 제16권4호
• /
• pp.1045-1052
• /
• 2005

This paper deals with the estimations of kernel ridge regression when the responses are subject to randomly right censoring. The weighted data are formed by redistributing the weights of the censored data to the uncensored data. Then kernel ridge regression can be taken up with the weighted data. The hyperparameters of model which affect the performance of the proposed procedure are selected by a generalized approximate cross validation(GACV) function. Experimental results are then presented which indicate the performance of the proposed procedure.

• Journal of the Korean Data and Information Science Society
• /
• 제21권2호
• /
• pp.363-369
• /
• 2010

In this paper we propose a mixed-effects least squares support vector regression (LS-SVR) for longitudinal data. We add a random-effect term in the optimization function of LS-SVR to take random effects into LS-SVR for analyzing longitudinal data. We also present the model selection method that employs generalized cross validation function for choosing the hyper-parameters which affect the performance of the mixed-effects LS-SVR. A simulated example is provided to indicate the usefulness of mixed-effect method for analyzing longitudinal data.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2006년도 Proceedings of ISRS 2006 PORSEC Volume II
• /
• pp.776-779
• /
• 2006

KOMPSAT-5 that will be launched at the end of 2008 has a SAR (Synthetic Aperture Radar) payload. Since the Calibration and Validation of a satellite SAR is different from a passive optical camera as KOMPSAT-2 MSC and KOMPSAT-3 payload, we have started from the basis of SAR system. Firstly, the general SAR Cal/Val parameters have been gathered and defined. Secondly, we have been choosing the Cal/Val parameters suitable to KOMPSAT-5. Thirdly, the methods of SAR Cal/Val with the parameters have been studied. Fourthly, the requirement of Cal/Val devices and Cal/Val site has been studied.

• Journal of Astronomy and Space Sciences
• /
• 제28권1호
• /
• pp.63-70
• /
• 2011

The needs for satellite formation flying are gradually increasing to perform the advanced space missions in remote sensing and observation of the space or Earth. Formation flying in low Earth orbit can perform the scientific missions that cannot be realized with a single spacecraft. One of the various techniques of satellite formation flying is the determination of the precise baselines between the satellites within the formation, which has to be in company with the precision validation. In this paper, the baseline of Gravity Recovery and Climate Experiment (GRACE) A and B was determined with the real global positioning system (GPS) measurements of GRACE satellites. And baseline precision was validated with the batch and sequential processing methods using K/Ka-band ranging system (KBR) biased range measurements. Because the proposed sequential method validate the baseline precision, removing the KBR bias with the epoch difference instead of its estimation, the validating data (KBR biased range) are independent of the data validated (GPS-baseline) and this method can be applied to the real-time precision validation. The result of sequential precision validation was 1.5~3.0 mm which is similar to the batch precision validation.