• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.61-63
• /
• 2004

DTD에 의해서 문서의 형식이 정의된 valid XML을 XML 데이터베이스 시스템을 사용하여 관리하는 경우 XML의 변경은 그 변경 결과가 DTD에 대한 유효성(validity)을 만족시킬 때에만 수행되어야 한다. 이것은 다수의 사용자에 의해서 데이터가 공유되는 데이터베이스 시스템의 데이터 무결성과 관련되는 문제이기 때문에 XML 문서 변경에 대한 DTD 유효성은 XML 데이터베이스 시스템에서 중요한 속성이라고 할 수 있다. 변경 연산의 결과에 대한 XML의 유효성을 보장하기 위해서 변경의 유효성을 검증하는 방법을 사용할 수 있다 XML에서의 엘리먼트들은 순서 관계를 가질 수 있으며 DTD는 이러한 엘리먼트 순서 관계들을 정의하고 있기 때문에 이러한 유효성 검증 기법은 변경되는 데이터 아이템 외에도 주변의 데이터 아이템-엘리먼트-들에 대한 순서 정보를 필요로 한다. 그리고 데이터베이스와 같은 다중 사용자 환경에서 유효성 검증 기법이 정확하게 수행되기 위해서는 유효성 검증이 필요한 정보들이 다른 트랜잭션에 더해 변경되지 않도록 하는 병행수행 제어 기법을 필요로 한다 이렇게 유효성 검증 기법과 병행수행 제어 기법이 관련을 가지고 있음에도 불구하고 기존의 유효성 검증 기법은 오직 검증의 효율성에만 초점을 맞추고 있다. 본 연구는 유효성 검증의 검증 범위를 최소화 시켜 pan-out 값이 큰 XML 문서에 대해서도 유효성 검증이 효율적으로 수행될 수 있고, 또한 유효성 검증을 위해 락킹되는 데이터 아이템의 수란 최소화 할 수 있는 시퀀스 그룹 검증 기법을 제안한다. 또한 이 검증 기법의 정확을 보장하면서도 높은 트랜잭션 병행수행 성능을 보장한 수 있는 경계 락킹 기법을 제안한다. 제안된 유효성 검증 기법과 경계 락킹 기법은 유효성 검증의 정확성을 일해 병행수행 성능이 저하될 수바에 없는 기존의 기법들의 문제점들을 해결하여 XML 데이터 베이스 시스템이 안정적인 성능을 제공할 수 있다는 것을 실험을 통해 확인할 수 있었다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.15-20
• /
• 1996

이 논문에서는 육방형 노심 해석용으로 제작된 코드인 HEXFEM의 연소계산 결과의 정확성을 VVER-1000 연소계산 벤치마크 문제를 통하여 검증하였으며 집합체내 연소도 구배효과에 따른 오차를 분석하였다. 집합체내 연소도 구배효과를 고려했을 때 집합체내 균일한 연소도를 가정했을 때보다 오차가 현저히 감소하였으며 Cubic Option의 결과는 제어봉이 삽입된 1주기초(BOC1 ARI), 1주기초(BOC1), 1주기말(EOC1), 2주기초(BOC2)에 대해 집합체별 상대출력 오차가 최대 0,4%로 매우 정확한 결과를 얻었고 Quadratic Option외 결과도 최대 2.0%로 비교적 정확한 결과를 얻었다.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.20 no.6
• /
• pp.331-345
• /
• 2021

Virtual testing is considered a major requirement for the safety verification of autonomous driving functions. For virtual testing, both the autonomous vehicle and the driving environment should be modeled appropriately. In particular, a realistic modeling of the perception sensor system such as the one having a camera and radar is important. However, research on modeling to consistently generate realistic perception results is lacking. Therefore, this paper presents a sensor modeling method to provide realistic object detection results in a MILS (Model in the Loop Simulation) environment. First, the key parameters for modeling are defined, and the object detection characteristics of actual cameras and radar sensors are analyzed. Then, the detection characteristics of a sensor modeled in a simulation environment, based on the analysis results, are validated through a correlation coefficient analysis that considers an actual sensor.

• 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.

• Journal of KIISE:Software and Applications
• /
• v.31 no.12
• /
• pp.1591-1601
• /
• 2004

Clustering, a technique for the analysis of the genes, organizes the patterns into groups by the similarity of the dataset and has been used for identifying the functions of the genes in the cluster or analyzing the functions of unknown gones. Since the genes usually belong to multiple functional families, fuzzy clustering methods are more appropriate than the conventional hard clustering methods which assign a sample to a group. In this paper, a Bayesian validation method is proposed to evaluate the fuzzy partitions effectively. Bayesian validation method is a probability-based approach, selecting a fuzzy partition with the largest posterior probability given the dataset. At first, the proposed Bayesian validation method is compared to the 4 representative conventional fuzzy cluster validity measures in 4 well-known datasets where foray c-means algorithm is used. Then, we have analyzed the results of Saccharomyces cell cycle expression data evaluated by the proposed method.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.25 no.3
• /
• pp.127-137
• /
• 2021

The launch complex(LC) is composed of various facilities. The launch control system that operates remotely those of LC spends much time and labor for developing and verifying its control algorithms. The verification of algorithms is performed by the software developer entering simulated state values based on the test procedure and checking the output result according to the algorithm flow. These verification processes should be performed repeatedly, thus the human errors are easily occurred. In this paper, an efficient automated verification method with a script test procedure is proposed to minimize human errors and shorten the verification duration. We also present the results of the algorithm verification tests for the cases of the compressed gases supply system and the electro pneumatic panel system of LC.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.13 no.2
• /
• pp.48-60
• /
• 1993

1974년에 유럽에서 시작된 PISC(Program for the Inspection of Steel Components ; PISC-I, II, III) 수행결과나 1980년대초 실시된 미국의 BWR 원전 배관계통의 입계응력부식균열(IGSCC ; Intergranular Stress Corrosion Cracks)검사결과에서 나타난 바와 같이 기존의 규격 요건과 절차에 따른 원자력발전소 기기에 대한 초음파탐상검사는 그 실효성에 많은 문제점이 제기되었다. 따라서, 원전기기의 건전성 및 초음파탐상검사 결과의 신뢰도를 보증하기 위한 각종 연구가 진행되고 여러 방안이 모색되어 왔다. 그 결과, 원전 가동중검사 규격에 "초음파탐상검사자 자격인정 요건"과 "초음파탐상검사 시스템(검사자, 장비 및 절차서)에 대한 기량검증 요건"이 새로이 부가되었다. 본고에서는 초음파탐상검사 결과의 신뢰도 확보에 있어 필수불가결한 요건인 원전기기 초음파 탐상검사 시스템에 대한 기량검증 요건을 자세히 기술한다.

• Environmental engineer
• /
• v.24 s.247
• /
• pp.56-60
• /
• 2007

본 연구에서는 은폼 개발 배경 및 제조 방법 설명과 이를 응용한 은폼 제품류에 대하여 시험 하였으며 그 결과 은폼은 천연 항생제로서 시험 성적서로 타당성을 검증하고 향후 다방면 적용에 대하여는 각각의 적용 시험을 통하여 검증하고자 함.

• Journal of Korea Water Resources Association
• /
• v.39 no.3 s.164
• /
• pp.215-226
• /
• 2006

In this study, we performed verification of VSRF (Very Short Range Forecast of precipitation) model and application of NWSPC (National Weather Service PC) rainfall-runoff model in Kyoungan-chun basin. We used two methods for verification of VSRF model. The first method is a meteorological verification that evaluates the special quality feature for rain amount between AWS and VSRF model over Kyoungan-chun basin, while second method is a hydrological verification that compares the calculated Mean Area Precipitation (MAP) between AWS and VSRF Quantitatively. This study examines the usefulness of VSRF precipitation forecasting model data in NWSPC hydrological model. As a result, correlation coefficient is over 0.6 within 3 hour lead time. It represents that the forecast results from VSRF are useful for water resources application.

• Journal of The Korean Association For Science Education
• /
• v.23 no.2
• /
• pp.200-213
• /
• 2003

This study is one of the successive studies for investigating students' processes of generating and evaluating scientific hypothesis. In this study, I analyzed the characteristics of students' experimental design to test whether the given hypotheses were correct or not. As results, it was found that (1) 3 components (experimental method, prediction of the result of experiment, evaluation of hypothesis) were needed to complete description of the experimental design, (2) students tried to test hypothesis considered as being correct as well as hypothesis considered as being false by students, (3) student tried to confirm hypothesis, which was considered as being correct, based on theoretical approach rather than experimental approach, (4) students' experimental design could be classified as two types, that is, direct experimental testing and comparative experimental design, and the latter could be classified as two subtypes; positive comparative one and negative comparative one, (5) students showed tendency to design positive comparative experiment when they considered hypothesis as being correct, and vise versa, (6) students preferred the prediction which could confirm the hypothesis when they considered the hypothesis as being correct, and vise versa, (7) many students rejected contradicting prediction even though they did not actually conduct experiment yet.