• 대한수학회보
• /
• 제56권6호
• /
• pp.1435-1445
• /
• 2019

We consider a checkpointing model for silent errors, where a checkpoint is taken every fixed number of verifications. Assuming generally distributed i.i.d. inter-occurrence times of errors, we derive the reliability of the model as a function of the number of verifications between two checkpoints and the duration of work interval between two verifications.

• ETRI Journal
• /
• 제38권2호
• /
• pp.397-404
• /
• 2016

In group-oriented applications, it is often required to verify a group of signatures/messages. The individual verification of signed messages in such applications comes at a high cost in terms of computations and time. To improve computational efficiency and to speed up the verification process, a batch verification technique is a good alternative to individual verification. Such a technique is useful in many real-world applications, such as mail servers, e-commerce, banking transactions, and so on. In this work, we propose a new, efficient identity-based signature (IDS) scheme supporting batch verifications. We prove that the proposed IDS scheme and its various types of batch verifications is tightly related to the Computational Diffie.Hellman problem under a random oracle paradigm. We compare the efficiency of the proposed scheme with related schemes that support batch verifications.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.1518-1521
• /
• 2005

The application of focused ion beam (FIB) technology in micro/nano machining has become increasingly popular. Its usage in micro/nano machining has advantages over contemporary photolithography or other micro/nano machining technologies such as small feature resolution, the ability to process without masks and being accommodating for a variety of materials and geometries This paper focus to apply the sputtering technology accumulated by experiments to 3d structure fabrication with high resolution. Therefore some verifications and discussions of the characteristics of FIB sputtering results according to focal length were described in this paper. And we suggested the definition of rectangular pattern profile and made the verifications of sputtering results based on definition of it.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.609_610
• /
• 2009

This paper deals with experimental verifications and the electromagnetic characteristics analysis of multi-pole permanent magnet (PM) generator for small-scaled wind power system. Field distribution due to PMs and winding current, cogging torque considering skew effect are analyzed. In addition, using the equivalent circuit method and dynamic d-q method, generating performance analysis is performed. Analysis results are validated by comparison with nonlinear finite element analyses and experimental results.

• Structural Engineering and Mechanics
• /
• 제33권5호
• /
• pp.561-572
• /
• 2009

Nowadays, Eurocodes have become the reference standards for silo design within the European Union. They include new procedures for load assessment and structural verifications aiming to design safer silos. However, many silo manufacturers are still reluctant to use them (or at least all their prescriptions) because of the loss of competitiveness they are experiencing in comparison with former standards. This paper shows how steel cost of flat-bottomed circular silos varies when different silo geometries and stored materials are considered. The influence of critical structural verifications on steel costs, such as buckling of the silo wall, were also analyzed and some conclusions and practical recommendations for silo designers were proposed.

• Nuclear Engineering and Technology
• /
• 제31권3호
• /
• pp.344-363
• /
• 1999

A multi-dimensional thermal-hydraulic system analysis code, MARS 1.3.1, has been developed in order to have the realistic analysis capability of two-phase thermal-hydraulic transients for pressurized water reactor (PWR) plants. As the backbones for the MARS code, the RELAP5/MOD3.2.1.2 and COBRA-TF codes were adopted in order to take advantages of the very general, versatile features of RELAP5 and the realistic three-dimensional hydrodynamic module of COBRA-TF. In the MARS code, all the functional modules of the two codes were unified into a single code first. Then, the source codes were converted into the standard Fortran 90, and then they were restructured using a modular data structure based on "derived type variables" and a new "dynamic memory allocation" scheme. In addition, the Windows features were implemented to improve user friendliness. This paper presents the developmental work of the MARS version 1.3.1 including the hydrodynamic model unification, the heat structure coupling, the code restructuring and modernization, and their verifications.their verifications.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2004년도 추계학술대회
• /
• pp.277-287
• /
• 2004

This study presents a method of quality category classification by safety, maturity, complexity, and what types and extent of controls and verifications are applied to specific products and services during the various stages of a nuclear facility life cycle. All products, services and processes have various controls and verifications built in to ensure they perform their functions satisfactorily. The highest grade should require the most stringent application of the quality assurance requirements ; while, the lowest grade should require the least stringent. When products or services are modified, the assigned grade of quality assurance requirements could become more stringent or less stringent depending on the significance in nuclear safety. Applying QA program always costs money, and they should be applied and focused to the extent where necessary and not applied or applied to a lesser degree for less important activities. An efficient QA program should be developed to satisfy the necessary requirements and to ensure the required confidence in quality, but without unnecessary stipulations. Not all the requirements of QA standard must be applied identically to all products and services which are to be provided.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1989년도 봄 학술발표회 논문집
• /
• pp.22-27
• /
• 1989

This paper presents a study of soil-structure interaction problems using infinite elements. The infinite elements are formulated for homogeneous and layered soil media, based on approximate expressions for three components of propagating waves, namely Rayleigh, compressive and shear waves. The integration scheme which was proposed for problems with single wave component by Zienkiewicz is expanded to the multi-wave problem. Verifications are carried out on rigid circular footings which are placed on and embedded in elastic half space. Numerical analysis is performed for a containment structure of a nuclear power plant subjected seismic excitation.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1989년도 봄 학술발표회 논문집
• /
• pp.66-70
• /
• 1989

Methods for identification of modal properties of linear structures are presented. The extended Kalman filtering technique is empolyed. The state equation is formulated by two different ways, namely by the time domain and frequency domain approaches. Verifications are carried out by using simulated records of ground acceleration and structural response. Then the techniques are applied to the estimation of modal parameters of a scaled model for a 3-story building which is installed on a shaking table.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 추계학술대회 논문집 학회본부 B
• /
• pp.788-790
• /
• 1999

A software implementation of floating-point addition and multiplication is presented. For this, the ANSI/IEEE standard for binary floating-point arithmetic is reviewed briefly. The architecture and behavior of the $Intel^{(R)}\;80{\times}87$ FPU is fully studied and basic algorithms for floating-point addition and multiplication are used for the implementation. Some examples and their verifications are also presented.