• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.8
• /
• pp.1010-1018
• /
• 1988

This paper proposes a MOS circuit extractor which extracts a netlist from the hierarchical mask information, for the verification tools. To utilize the regularity and the simple representation of the hierarchical circuit, and to reduce the debug cycle of design, verification, and modification, we propose a hierarvhical and incremental circuit extraction algorithm. In flat circuit extraction stage, the multiple storage quad tree is used as an internal data structure. Incremental circuit extraction using the hierarchical structure is made possible, to reduce the re-extraction time of the modified circuit.

• Journal of Electrical Engineering and information Science
• /
• v.1 no.1
• /
• pp.82-90
• /
• 1996

In this paper, we present an analysis of the IS-95 authentication protocol for the Code Division Multiple Access(CDMA) mobile communication network. We propose a mutual authentication protocol, AP-6, to improve the security and correctness. Formal description and verification of the proposed AP-6 are also presented on the basis of the formal logic. It is shown that the proposed AP-6 is more secure and correct than the IS-95 authentication protocol.

• Proceedings of the KSR Conference
• /
• 2006.05b
• /
• pp.258-264
• /
• 2006

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.11
• /
• pp.998-1005
• /
• 2017

In this paper, we first introduce a systematic verification procedure for hierarchically structured avionics system. By making use of equipment models, it can perform individual verifications of each subsystem, integrated verifications of multiple subsystems, and an integrated verification of a whole system. A multi-mode system integration laboratory is then proposed to make it possible to execute various individual or integrated verification tests at the same time. By mathematically proving that the proposed multi-mode system integration laboratory needs less verification time than the conventional verification methodology, it is expected to enhance the efficiency of the systematic verification procedure and as a result, reduce the overall verification period and costs.

• Progress in Medical Physics
• /
• v.29 no.2
• /
• pp.53-58
• /
• 2018

This paper evaluates patient-specific quality assurance (PSQA) in the treatment of small and multiple tumors by the CyberKnife system with fixed collimators, using an ion chamber and EBT3 films. We selected 49 patients with single or multiple brain tumors, and the treatment plans include one to four targets with total volumes ranging from 0.12 cc to 3.74 cc. All PSQA deliveries were performed with a stereotactic dose verification phantom. The A16 microchamber (Standard Imaging, WI, USA) and Gafchromic EBT3 film (Ashland ISP Advanced Materials, NJ, USA) were inserted into the phantom to measure the point dose of the target and the dose distribution, respectively. The film was scanned 1 hr after irradiation by a film digitizer scanner and analyzed using RIT software (Radiological Imaging Technology, CO, USA). The acceptance criteria was <5% for the point dose measurement and >90% gamma passing rate using 3%/3 mm and relative dose difference, respectively. The point dose errors between the calculated and measured dose by the ion chamber were in the range of -17.5% to 8.03%. The mean point dose differences for 5 mm, 7.5 mm, and 10 mm fixed cone size was -11.1%, -4.1%, and -1.5%, respectively. The mean gamma passing rates for all cases was 96.1%. Although the maximum dose distribution of multiple targets was not shown in the film, gamma distribution showed that dose verification for multiple tumors can be performed. The use of the microchamber and EBT3 film made it possible to verify the dosimetric and mechanical accuracy of small and multiple targets. In particular, the correction factors should be applied to small fixed collimators less than 10 mm.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.45 no.4
• /
• pp.38-42
• /
• 2008

In this paper, we propose a new structure for spectrum sensing which employs multiples energy detectors in multiple antenna system in order to improve its reliability. The performance is analyzed by simulation and compared to that of the conventional energy detector. The simulation results shows that the performance of the proposed scheme is much better than that of the conventional one. Additionally, the performance of is described in terms of ROC curve.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.41 no.3
• /
• pp.93-100
• /
• 2004

This paper presents a method to integrate the multiple impressions of a finger for improving fingerprint verification performance. Small-sized sensor has advantage that it can be used in many application fields. However, sufficiently large impression of fingerprint is not available due to the small sensing area, and this degrades the verification performance of the system. The proposed method overcomes this problem by combining the information of fingerprints for enrollment. To combine the fingerprints, the alignment process is important first of all. In the proposed algorithm multiple impressions of a finger are coarsely aligned using the corresponding minutiae pairs and then are finely aligned using the Distance Map. We construct an integrated template for enrollment in aligned coordinate system Since this integrated template represents the enlarged finger region, the problem that is occurred by using small sensor can be overcome. Experimental results show that the use of the integrated template of multiple impressions improves the performance of the fingerprint verification system.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.4A
• /
• pp.304-311
• /
• 2005

OCSP has specific characters which can suspend, close, and correct in real time. But, as more clients use the OCSP server verification, more updated information is needed, which can lead to jamming in the OCSP server. To apply this technique of Distributed OCSP server so as to reduce the certificate verification OCSP from jamming. Also, the Distributed OCSP server will solve the problems of the intensive central structure. Simulation results show that the average reply time of certificate verification request and server load are reduced in the case using distributed OCSP. In addition to this advantage, resource distribution and fault tolerance are acquired because of multiple OCSP.

• The Journal of Korea Robotics Society
• /
• v.18 no.4
• /
• pp.472-480
• /
• 2023

This paper describes the development of a test-equipment for the pre-verification of navigation performance in cluster-based AUVs (Autonomous Underwater Vehicle). In the development of an AUV, conducting hardware and software development sequentially is not efficient due to the limited research and development period. Therefore, in order to reduce the overall development time and achieve successful development results, it is essential to pre-validate the navigation system and navigation algorithms. Accordingly, this paper explains the test-equipment for pre-verification of navigation performance, and ultimately confirms the stability of the navigation system and the performance of the navigation algorithms through the analysis of five types of navigation sensor data stored during real-sea experiments. The results demonstrate that through the development and verification of the test-equipment, it is possible to shorten the overall development period and improvement of product quality in the process of developing multiple AUVs.

• Journal of the Korean Society of Safety
• /
• v.35 no.4
• /
• pp.84-91
• /
• 2020

The Korean nuclear industry developed the SPACE (Safety and Performance Analysis Code for nuclear power plants) code and this code adpots two-phase flows, two-fluid, three-field models which are comprised of gas, continuous liquid and droplet fields and has a capability to simulate three-dimensional model. According to the revised law by the Nuclear Safety and Security Commission (NSSC) in Korea, the multiple failure accidents that must be considered for accident management plan of nuclear power plant was determined based on the lessons learned from the Fukushima accident. Generally, to improve the reliability of the calculation results of a safety analysis code, verification work for separate and integral effect experiments is required. In this reason, the goal of this work is to verify calculation capability of SPACE code for multiple failure accident. For this purpose, it was selected the experiment which was conducted to simulate a Multiple Steam Generator Tube Rupture(MSGTR) accident with Passive Auxiliary Feedwater System(PAFS) operation by Korea Atomic Energy Research Institute (KAERI) and focused that the comparison between the experiment results and code calculation results to verify the performance of the SPACE code. The MSGR accident has a unique feature of the penetration of the barrier between the Reactor Coolant System (RCS) and the secondary system resulting from multiple failure of steam generator U-tubes. The PAFS is one of the advanced safety features with passive cooling system to replace a conventional active auxiliary feedwater system. This system is passively capable of condensing steam generated in steam generator and feeding the condensed water to the steam generator by gravity. As the results of overall system transient response using SPACE code showed similar trends with the experimental results such as the system pressure, mass flow rate, and collapsed water level in component. In conclusion, it could be concluded that the SPACE code has sufficient capability to simulate a MSGTR accident.