• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.4
• /
• pp.93-100
• /
• 2005

In this paper, we describe biometric watermarking techniques for secure user verification on the remote, multimodal biometric system employing both fingerprint and face information, and compare their effects on verification accuracy quantitatively. To hide biometric data with watermarking techniques, we first consider possible two scenarios. In the scenario 1, we use a fingerprint image as a cover work and hide facial features into it. On the contrary, we hide fingerprint features into a facial image in the Scenario 2. Based on the experimental results, we confirm that the Scenario 2 is superior to the Scenario 1 in terms of the verification accuracy of the watermarking image.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.42 no.4 s.304
• /
• pp.35-44
• /
• 2005

Face recognition out of biometrics is considerable interesting due to high performance and accessibility in applications to security such as access control and banking service. Therefore, a study on the protocol of the performance test is an important issue to understand the art-of state and to show a direction in future works, in addtion to developing algorithms. We present a design criterion for the performance test protocol of face recognition system and show the result of experiment executed on identification and verification scenario based on PCA algorithm and XM2VTS DB

• Journal of Multimedia Information System
• /
• v.7 no.2
• /
• pp.141-146
• /
• 2020

Cine-Hangeul is a program that can predict the running time of a movie based on the screenplay before production. This paper seeks to verify the prediction reporting function of Cine-Hangeul, which is the standard Korean screenplay format. Moreover, this paper presents a method to increase the accuracy of the Cine-Hangeul reporting function. The objective of this paper is to offer a correction method based on scientific evidence because the current Cine-Hangeul reporting function has many errors. The verification process for five scenarios and movies confirmed that the default setting value of Cine- Hangeul's screening time prediction reporting was many errors. Cine-Hangeul analyzes the amount of textual information to predict the time of the scene and the time of the dialogue and helps predict the total time of the movie. Therefore, if a certain amount of text information is not available, the accuracy is unreliable. The current Cine-Hangeul prediction report confirms that the efficiency is high when the scenario volume is about 90 to 100 pages. As a result, prediction of screening time by Cine-Hangeul, a Korean scenario standard format program, confirmed the verification that it could secure the same level of reliability as the actual screening time by correcting the reporting settings. This verification also affirms that when applying about 50 percent of the basic set of screening time reporting, it is almost identical to the screening time.

• International Journal of Highway Engineering
• /
• v.14 no.5
• /
• pp.165-177
• /
• 2012

PURPOSES: The number of traffic accidents in 2010 was 226,978 in Korea, a high percentage of which up to 12.61% was due to drunk driving. As it is expected that the number of traffic accidents will increase because of the drastic increase of the number of vehicle registrations and the prevalent drinking cultures, it is necessary to understand the driving characteristics of drunken drivers to lower the increasing rate. METHODS: This study, therefore, comparatively analyzes the two groups - one group before drinking and the other after drinking - based on the graph, and implements the correlation in each scenario(1,2,3). scenario 1. appearance of jaywalkers; scenario 2. appearance of an illegal left-turning car; and scenario 3. appearance of a vehicle and a person as obstacles to the driver after an accident. RESULTS: The comparative analysis of speed shows that the group after drinking was 50km/h faster than the group before drinking in Scenario 1, 20km/h in Scenario 2, and 15km/h in Scenario 3 respectively. In the comparative analysis of acceleration, the average level of the group after drinking was 0.15 higher than that of the group before drinking in Scenario 1, 0.30 in Scenario 2, and 0.15 in Scenario 3. In the comparative analysis of deceleration, the average level of the group after drinking was about 0.4 lower than that of the group before drinking in Scenario 1, 0.35 in Scenario 2, and 0.2 in Scenario 3 respectively. In the comparative analyses, the item of speed, acceleration and deceleration was of significance for each group in Scenarios. CONCLUSIONS: The comparative analysis demonstrated that there is a difference between the group before drinking and the group after drinking. In the analysis of correlation in each group, it was proved that the drunken group was of significance.

• Nuclear Engineering and Technology
• /
• v.35 no.2
• /
• pp.171-177
• /
• 2003

A dynamic compartment model was required for the prediction of radiological consequences of the tritiated vapor released from the nuclear facility after an accident. A computer code, ECOREA-T, was developed by incorporating the unit models for the evaluation of tritium behavior in the environment. Dry deposition of tritiated vapor from the atmosphere to the soil was calculated using a deposition velocity. Transport of tritium from the atmosphere to the plant was calculated using a specific activity model, and the result was compared with the Belot's analytic solution. Root uptake of tritiated water from the soil and formation of OBT from T were considered in the model. The ECOREA-T code was verified by comparing the results from the other computer codes using a scenario developed through BIOMOVS II study. The results showed good agreements.

• Journal of the Korean Society of Radiology
• /
• v.15 no.6
• /
• pp.833-839
• /
• 2021

The Possibility of Denuclearization Verification of Korean peninsula is mentioned. Considering the geographical and linguistic advantages, it is necessary to show willingness to participate in the denuclearization verification. In this study, investigation about nuclear facilities, characteristic of facilities, core resource, operation history, geographic/weather environment were performed. Transport route accessibility analysis and risk analysis for development of transport scenario were performed. Accessibility analysis was classified into airport, port, and vehicle transport. Distance by route, estimated time required, and transit roads were analyzed. In this process, it was possible to confirm the suitability of the vehicle transport scenario. Through follow-up studies, we intend to develop an optimal transport scenario.

• Journal of Information Technology Services
• /
• v.5 no.2
• /
• pp.189-198
• /
• 2006

This study assumed that the best road guidance system for the vision impaired is a robot and analyzed and verified the requirements of road guidance system. In order to do so, the characteristics and inconveniences of the vision impaired as passengers and pedestrians were examined and their reactions to warnings and dangerous situations were analyzed. Users' needs and robots' functional requirements were applied to analyze the requirements of road guidance system. To verify whether the proposed requirements would be applied to robots effectively, a service scenario was used.

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.93-96
• /
• 2002

It is said that the verification effort occupies about 50-70 percent of the total effort of a System-On-A-Chip. This paper aims to develop a test bench automation tool based on the abstraction of the interface protocols. This tool will allow designers to describe their test benches in a high level language such as C rather than VHDL or Verilog. It helps designers to save their verification time and effort.

• Proceedings of the KIEE Conference
• /
• 2000.07b
• /
• pp.1362-1364
• /
• 2000

This paper presents the control algorithm verification process for VCB (Vacuum Circuit Breaker) of Korean High Speed Train. In order to enhance the reliability of the control algorithm, the verification process must be performed. The verification is conducted by comparing the pre-designed control algorithm with the pre-planned scenario by simulation tools such as SDL and MSC. This verification process will be applied to the other control algorithms of various control units of Korean High Speed Train.