• Korean Journal of Remote Sensing
• /
• v.36 no.2_1
• /
• pp.167-178
• /
• 2020

KOMPSAT-3A images have been used in various kinds of applications, since its launch in 2015. However, there were limits to scientific analysis and application extensions of these data, such as vegetation index estimation, because no tool was developed to obtain the surface reflectance required for analysis of the actual land environment. The surface reflectance is a product of performing an absolute atmospheric correction or calibration. The objective of this study is to quantitatively verify the accuracy of top-of-atmosphere reflectance and surface reflectance of KOMPSAT-3A images produced from the OTB open-source extension program, performing the cross-validation with those provided by a site measurement data of RadCalNet, an international Calibration/Validation (Cal/Val) portal. Besides, surface reflectance was obtained from Landsat-8 OLI images in the same site and applied together to the cross-validation process. According to the experiment, it is proven that the top-of-atmosphere reflectance of KOMPSAT-3A images differs by up to ± 0.02 in the range of 0.00 to 1.00 compared to the mean value of the RadCalNet data corresponding to the same spectral band. Surface reflectance in KOMPSAT-3A images also showed a high degree of consistency with RadCalNet data representing the difference of 0.02 to 0.04. These results are expected to be applicable to generate the value-added products of KOMPSAT-3A images as analysisready data (ARD). The tools applied in thisstudy and the research scheme can be extended as the new implementation of each sensor model to new types of multispectral images of compact advanced satellites (CAS) for land, agriculture, and forestry and the verification method, respectively.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.486-489
• /
• 2016

가상현실 기반 훈련시스템은 3D 모델링 기법으로 개발되어 실시간 렌더링(Realtime Rendering)되는 훈련용 콘텐츠와 운동감 제공을 위한 모션플랫폼, 촉감 제공을 위한 햅틱장치 등 다양한 하드웨어를 이용하여 인간 감각에 대한 모의 체험환경을 제공함으로써 높은 훈련 몰입감을 제공한다. 훈련시스템의 구성요소 중 하드웨어들은 설계 성능을 바탕으로 정량적 시험평가로서 검증(Verification)과 확인(Validation)이 가능하나, 훈련환경에 대한 사실적 가시화가 요구되는 훈련용 콘텐츠는 시현을 위한 실시간 렌더링 성능 등의 정량적 시험평가 만으로 검증과 확인에 어려움이 많다. 본 연구에서는 일반 소프트웨어와 콘텐츠 소프트웨어 테스팅 요소 차이와 상용게임 콘텐츠와 훈련용 콘텐츠의 차이점을 분석하고, 훈련용 콘텐츠의 정량적 시험평가를 위한 명세서의 작성과 활용을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.289-292
• /
• 2004

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

• Journal of Navigation and Port Research
• /
• v.37 no.3
• /
• pp.275-281
• /
• 2013

Ship Standard Network was submitted as a common subject of e-navigation by 81th IMO MSC 2005. This agenda was given an official status with strategy planning of e-navigation for Ship Standard Network after approval of WG program of 81th MSC 2006. Nowadays approximately 400 heterogeneous navigation and communication equipments are working on ships at sea. Standardization of ship network is to support exchanging various data efficiently. Among them, 4S network is defined as a wireless communication network between ship to ship and ship to shore which provides unceasing communication channel ship to shore. It has been expected to trigger various services and applications based on 4S network. However, no technologies and products has been appeared at fields yet. but now there's not specific technologies and developing products. In this paper, We developed a 4S multiple media switching server and a ship-land information exchange system to overcome the heterogeneity and provide efficient communication environments.. The performance of the implemented system was verified by TTA(Telecommunications Technology Association) V&V(Verification and Validation).

• The Journal of the Convergence on Culture Technology
• /
• v.10 no.1
• /
• pp.289-295
• /
• 2024

This study analyzes the correlation between the accracy of rifle and the result of engagement. And estimates the improvement cost of the rifle accordingly. For this experiment, an engagement class simulation model(AWAM: Army Weapon Effectiveness Analysis Model) was used. We also selected the rifle, which is a portable weapon for the experiment. Prior to this experiment, we conducted a reliability test(VV&A: Verification, Validation and Accreditation) on the model. The VV&A process is mainly done during the development of the DM&S model, which is also necessary for the operation of the M&S. We confirmed the need for VV&A during the experiment and obtained reliable experimental results using the corrected values. In the Accuracy Experiment we found that the 20% improvement is the most effective. And we were able to estimate the cost of acquiring a rifle with a 20% higher accuracy. The cost was estimated by simple regression analysis based on the price of the current rifle. Through this study, we could know the impact of the accuracy of rifle on the experimental results and estimate the cost of improved rifle.

• Economic and Environmental Geology
• /
• v.37 no.5
• /
• pp.521-532
• /
• 2004

The aim of this study is to evaluate the susceptibility of landslides at Kangneung area, Korea, using a Geographic Information System (GIS) and remote sensing. Landslide locations were identified from interpretation of satellite image and field surveys. The topographic, soil, forest, geologic, lineament and land cover data were collected, processed and constructed into a spatial database using GIS and remote sensing data. Using frequency ratio model which is one of the probability model, the relationships between landslides and related factors such as slope, aspect, curvature and type of topography, texture, material, drainage and effective thickness of soil, type, age, diameter and density of wood, lithology, distance from lineament and land cover were calculated as frequency ratios. Then, the frequency ratio were summed to calculate a landslide susceptibility indexes and the landslide susceptibility maps were generated using the indexes. The results of the analysis were verified and cross-validated using actual landslide location data. The verification results showed satisfactory agreement between the susceptibility map and the existing data on landslide locations.

• Genomics & Informatics
• /
• v.16 no.1
• /
• pp.10-13
• /
• 2018

Until now microsatellite (MS) have been a popular choice of markers for parentage verification. Recently many countries have moved or are in process of moving from MS markers to single nucleotide polymorphism (SNP) markers for parentage testing. FAO-ISAG has also come up with a panel of 200 SNPs to replace the use of MS markers in parentage verification. However, in many countries most of the animals were genotyped by MS markers till now and the sudden shift to SNP markers will render the data of those animals useless. As National Institute of Animal Science in South Korea plans to move from standard ISAG recommended MS markers to SNPs, it faces the dilemma of exclusion of old animals that were genotyped by MS markers. Thus to facilitate this shift from MS to SNPs, such that the existing animals with MS data could still be used for parentage verification, this study was performed. In the current study we performed imputation of MS markers from the SNPs in the 500-kb region of the MS marker on either side. This method will provide an easy option for the labs to combine the data from the old and the current set of animals. It will be a cost efficient replacement of genotyping with the additional markers. We used 1,480 Hanwoo animals with both the MS data and SNP data to impute in the validation animals. We also compared the imputation accuracy between BovineSNP50 and BovineHD BeadChip. In our study the genotype concordance of 40% and 43% was observed in the BovineSNP50 and BovineHD BeadChip respectively.

• Korean Security Journal
• /
• no.42
• /
• pp.37-57
• /
• 2015

The purpose of this study was to verify goodness-of-fit by Many-Facets Rasch model for applying martial arts training satisfaction scale to security martial arts trainees. To achieve the purpose, 255 security martial arts trainees' data were used in the analysis. In addition, In addition, the AMOS 20.0 program was used for unidimensionality validation, and take advantage of the Facets 3.61 program for goodness-of-fit verification. Specific results are as follows: First, Unidimensionali test results showed that model fit, reliability and standardized ${\beta}$ value are suitable. Second, the analysis results of goodness-of-fit, items 1, 2, 3 are inadequate, 4, 8, 11, 13, 14 items once found to be over-fit questions. Also, analysis of item difficulty, item 1 has highest difficulty and item 7 was lowest. Third, According Facets item difficulty and response difference verification result, female group exhibited a high level of item difficulty compared to the male group, goodness-of-fit was all accurate. As the result of item difficulty and response difference verification based on Martial arts training flow, there is no response difference according to the training experience. On the other hands, less than 4 years to 5 years and less than 5 years to 6 years trainees represented over-fit features. Results of item difficulty and response difference verification by grade level, first grade was the most highly recognized the item difficulty and fourth grade was also recognized the lowest of item difficulty Fourth, the response category analysis showed that the six points response categories are not appreciate.

• Aerospace Engineering and Technology
• /
• v.13 no.2
• /
• pp.142-149
• /
• 2014

After launch of Low Earth Orbit(LEO) satellite, Initial Activation Checkout(IAC) and Calibration and Validation(Cal & Val) procedure are performed prior to enter normal operation phase. During normal operation phase, most of the time is allocated for mission operation except following up measures to anomaly and orbit maintenance. Since mission operation capability is key indicator for success of LEO satellite program and consistent with promotion purpose of LEO satellite program, reliability should be ensured by conducting through test. In order to ensure reliability by examining the role of LEO satellite and ground station during ground test phase, realistic test scenario that is similar to actual operation conditions should be created, and test that aims to verify full mission cycle should be performed by transmitting created command and receiving image and telemetry data. This paper describes the test design and result. Consideration items for test design are described in detail and result of designed test items are summarized.