• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.6
• /
• pp.1212-1217
• /
• 2004

The main back-bone operation in elliptic curve cryptosystems is scalar point multiplication. The most frequently used method implementing the scalar point multiplication, which is performed in the upper level of GF multiplication and GF division, has been the double-and-add algorithm, which is recently challenged by NAF(Non-Adjacent Format) algorithm. In this paper, we propose a more efficient and novel scalar multiplication method than existing double-and-add by applying redundant receding which originates from radix-4 Booth's algorithm. After deriving the novel quad-and-add algorithm, we created a new operation, named point quadruple, and verified with real application calculation to utilize it. Derived numerical expressions were verified using both C programs and HDL (Hardware Description Language) in real applications. Proposed method of elliptic curve scalar point multiplication can be utilized in many elliptic curve security applications for handling efficient and fast calculations.

• Nuclear Engineering and Technology
• /
• v.24 no.3
• /
• pp.319-328
• /
• 1992

The Galerkin formulation of the finite element method is applied to the integral law of the first-order form of the one-group neutron transport equation in one-dimensional spherical geometry. Piecewise linear or quadratic Lagrange polynomials are utilized in the integral law for the angular flux to establish a set of linear algebraic equations. Numerical analyses are performed for the scalar flux distribution in a heterogeneous sphere as well as for the criticality problem in a uniform sphere. For the criticality problems in the uniform sphere, the results of the finite element method, with the use of continuous finite elements in space and angle, are compared with the exact solutions. In the heterogeneous problem, the scalar flux distribution obtained by using discontinuous angular and spatical finite elements is in good agreement with that from the ANISN code calculation.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.10a
• /
• pp.318-321
• /
• 2003

In order to generate the extrusion die surface of non-symmetric H- and U-shaped sections, an automatic surface construction method based on B-spline surface and scalar field theory is proposed in this study. The isothermal lines and stream lines designed in the scalar field are introduced to find the control points which are used in constructing B-spline surfaces. Intersected points between the isothermal lines and stream lines are used to construct B-spline surfaces. The inlet and outlet profiles are precisely described with B-spline curves by using the centripetal method for uniform parameterization. The extrusion die surface is generated by using the cubic curve interpolation in the u- and v-directions. A quantitative measure for the control of surface is suggested by introducing the tangential vectors at the inlet and outlet sections.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.10a
• /
• pp.197-200
• /
• 2003

An automatic surface construction method based on B-spline surface and scalar field theory is proposed to generate the extrusion die surface of complicated sections in this paper. The isothermal lines and stream lines designed in the scalar field are introduced to find the control points which are used in constructing B-spline surfaces. Intersected points between the isothermal lines and stream lines are used to construct B-spline surfaces. The inlet and outlet profiles are precisely described with B-spline curves by using the centripetal method for uniform parameterization. The extrusion die surface is generated by using the cubic curve interpolation in the u- and v-directions. A quantitative measure for the control of surface is suggested by introducing the tangential vectors at the inlet and outlet sections.

• Journal of the Korean Society of Combustion
• /
• v.9 no.2
• /
• pp.18-29
• /
• 2004

Partial quenching structure of diffusion flames in a turbulent mixing layer has been investigated by the method of flame hole dynamics in oder to develope a prediction model for the phenomenon of turbulent flame lift off. The present study is specifically aimed to remedy the shortcoming of the stiff transition of the conditioned partial burning probability across the crossover condition by employing the level-set method which enables us to include the effect of finite flame edge propagation speed. In light of the level-set simulation results with two models for the edge propagation speed, the stabilizing conditions for turbulent lifted flame are suggested. The flame hole dynamics combined with the level-set method yields a temporally evolving turbulent extinction process and its partial quenching characteristics is compared with the results of the previous model employing the flame-hole random walk mapping based on three critical scalar dissipation rates. The probability to encounter reacting state, conditioned with scalar dissipation rate, demonstrated that the conditional probability has a rather gradual transition across the crossover scalar dissipation rate. Such a smooth transition is attributed to the finite response of the flame edge propagation.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.55 no.6
• /
• pp.135-144
• /
• 2013

Ventilation efficiency has an important role in agricultural facilities such as greenhouse and livestock house to keep internally optimum environmental condition. Age-of-air concept allows to assess the ventilation efficiency of an agricultural facility according to estimating the ability of fresh air supply and contaminants emission using LMA and LMR. Most of these methods use a tracer gas method which has some limitations in experiment like dealing unstable and invisible gas. Therefore, the aim of this study was to develop a straightforward method to calculate age-of-air values with CFD simulation which has the advantage of saving computational time and resources and these method can solve the limitations in experiment using tracer gas method. The main idea of LMA computation is to solve the passive scalar transport equation with the assumption that the production of the time scalar throughout the room is uniform. In case of LMR calculation, the transport of the time scalar was reversed compulsively using UDF. The methodology to validate the results of this study was established by comparing with preceding research that had performed a computing LMA and LMR value by laboratory experiments and CFD simulations using tracer gas. As a result, the error was presented similarly level of results of preceding research. Some big errors could be caused by stagnated area and incongruity turbulence model. while the computational time was reduced to almost one fourth of that by preceding research.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.5
• /
• pp.169-177
• /
• 2003

We establish the security requirements and derive a generic condition of elliptic curve scalar multiplication to resist against DPA and Goubin’s attack. Also we show that if a scalar multiplication algorithm satisfies our generic condition, then both attacks are infeasible. Showing that the randomized signed scalar multiplication using Ha-Moon's receding algorithm satisfies the generic condition, we recommend the randomized signed scalar multiplication using Ha-Moon's receding algorithm to be protective against both attacks. Also we newly design a random recoding method to Prevent two attacks. Finally, in efficiency comparison, it is shown that the recommended method is a bit faster than Izu-Takagi’s method which uses Montgomery-ladder without computing y-coordinate combined with randomized projective coordinates and base point blinding or isogeny method. Moreover. Izu-Takagi’s method uses additional storage, but it is not the case of ours.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.26 no.5
• /
• pp.1099-1103
• /
• 2016

The user's secret key can be retrieved by the leakage informations of power consumption occurred during the execution of scalar multiplication for elliptic curve cryptographic algorithm which can be embedded on a security device. Recently, a carry random recoding method is proposed to prevent simple power and differential power analysis attack by recoding the secret key. In this paper, we show that this recoding method is still vulnerable to the differential power analysis attack due to the limitation of the size of carry bits, which is a different from the original claim.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.12 no.4
• /
• pp.249-260
• /
• 2008

In this work we propose a mixed finite volume method for the Signorini problem which are based on the idea of Keller's finite volume box method. The triangulation may consist of both triangles and quadrilaterals. We choose the first-order nonconforming space for the scalar approximation and the lowest-order Raviart-Thomas vector space for the vector approximation. It will be shown that our mixed finite volume method is equivalent to the standard nonconforming finite element method for the scalar variable with a slightly modified right-hand side, which are crucially used in a priori error analysis.

• Structural Engineering and Mechanics
• /
• v.51 no.4
• /
• pp.685-705
• /
• 2014

This paper presents a new formulation for forward scalar wave simulations in semi-infinite media. Perfectly-Matched-Layers (PMLs) are used as a wave absorbing boundary layer to surround a finite computational domain truncated from the semi-infinite domain. In this work, a hybrid formulation was developed for the simulation of scalar wave motion in two-dimensional PML-truncated domains. In this formulation, displacements and stresses are considered as unknowns in the PML domain, while only displacements are considered to be unknowns in the interior domain. This formulation reduces computational cost compared to fully-mixed formulations. To obtain governing wave equations in the PML region, complex coordinate stretching transformation was introduced to equilibrium, constitutive, and compatibility equations in the frequency domain. Then, equations were converted back to the time-domain using the inverse Fourier transform. The resulting equations are mixed (contain both displacements and stresses), and are coupled with the displacement-only equation in the regular domain. The Newmark method was used for the time integration of the semi-discrete equations.