• 정보보호학회논문지
• /
• 제15권4호
• /
• pp.93-100
• /
• 2005

본 논문에서는 원격 생체인식 시스템에서 생체데이터의 안전한 전송을 위한 워터마킹 기법을 제안하며, 워터마크의 삽입으로 인한 인식 성능의 상관관계를 비교한다. 특히, 원격 생체인식 시스템은 사용자의 얼굴과 지문 정보를 동시에 사용하는 다중 생체인식 시스템으로 가정한다. 다중 생체인식 시스템에 워터마킹 기법을 적용하기 위하여 우선 두 가지 가능한 시나리오를 고려한다. 첫 번째 시나리오는 얼굴의 특징 정보를 지문 영상에 워터마크로 삽입하며, 반대로 두 번째 시나리오는 지문의 특징 정보를 얼굴 영상에 삽입한다. 실험에 의해 얼굴 영상에 지문 특징정보를 워터마크로 삽입하는 것이 얼굴 및 지문인식 성능의 저하가 거의 발생하지 않음을 확인하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• 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.

• 전자공학회논문지SC
• /
• 제42권4호
• /
• pp.35-44
• /
• 2005

생체인식 기술 중 변별력과 활용성, 편리성이 뛰어난 얼굴인식 기술은 출입통제나 금융관련 업무 처리와 같이 보안관련 응용분야에서 필요성이 급속도로 요구되고 있다. 따라서 얼굴인식 알고리즘의 발전과 더불어 현 기술의 상태를 파악하고 발전 방향을 제시하기 위한 성능 시험 방법에 대한 연구 또한 중대한 이슈로 부각되고 있다. 본 연구에서는 얼굴인식 시스템의 성능 시험을 위한 프로토콜의 설계 기준을 제시하고 XM2VTS 데이터베이스를 사용하여 PCA를 기반으로 한 인식 시스템을 디자인하여 Identification 시나리오와 Verification 시나리오 상에서 성능 시험 결과를 제시한다.

• Journal of Multimedia Information System
• /
• 제7권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.

• 한국도로학회논문집
• /
• 제14권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
• /
• 제35권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.

• 한국방사선학회논문지
• /
• 제15권6호
• /
• pp.833-839
• /
• 2021

한반도 비핵화 가능성이 언급되고 있는 상황에서 지리적, 언어적 이점을 고려할 때 한국의 역량을 키워 비핵화 검증에 참여 의지를 나타낼 필요가 있다. 문헌 조사를 통해 북한의 비핵화 대상 시설의 정보 및 현황을 파악하고 주요 비핵화 대상 시설이 위치한 영변 핵단지의 기후 환경, 지리 특성, 교통 여건 등 환경 분석을 수행하였다. 또한, 주요 비핵화 대상 시설인 영변 핵단지의 비핵화 검증을 위한 인력 및 기기의 운반을 위한 시나리오 개발을 위한 접근성 분석을 수행하였다. 접근성 분석은 항공, 항만, 차량 운반으로 구분하여 수행하였으며, 경로별 거리, 예상 소요시간, 경유 도로 등을 분석하였다. 이 과정에서 차량 운반 시나리오의 적합성을 확인할 수 있었으며, 운반 과정에 영향을 미칠 수 있는 인자들과 북한의 상세 도로 현황을 확인하였다. 후속 연구를 통해 최적의 운반 시나리오를 개발하고자 한다.

• 한국IT서비스학회지
• /
• 제5권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(2)
• /
• 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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 B
• /
• 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.