• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.1
• /
• pp.280-295
• /
• 2015

Block cipher ARIA was first proposed by some South Korean experts in 2003, and later, it was established as a Korean Standard block cipher algorithm by Korean Agency for Technology and Standards. In this paper, we focus on the security evaluation of ARIA block cipher against the recent zero-correlation linear cryptanalysis. In addition, Partial-sum technique and FFT (Fast Fourier Transform) technique are used to speed up the cryptanalysis, respectively. We first introduce some 4-round linear approximations of ARIA with zero-correlation, and then present some key-recovery attacks on 6/7-round ARIA-128/256 with the Partial-sum technique and FFT technique. The key-recovery attack with Partial-sum technique on 6-round ARIA-128 needs $2^{123.6}$ known plaintexts (KPs), $2^{121}$ encryptions and $2^{90.3}$ bytes memory, and the attack with FFT technique requires $2^{124.1}$ KPs, $2^{121.5}$ encryptions and $2^{90.3}$ bytes memory. Moreover, applying Partial-sum technique, we can attack 7-round ARIA-256 with $2^{124.6}$ KPs, $2^{203.5}$ encryptions and $2^{152}$ bytes memory and 7-round ARIA-256 employing FFT technique, requires $2^{124.7}$ KPs, $2^{209.5}$ encryptions and $2^{152}$ bytes memory. Our results are the first zero-correlation linear cryptanalysis results on ARIA.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.27 no.10
• /
• pp.1457-1463
• /
• 2003

In this paper, the response surface method using three-dimensional Navier-Stokes analysis to optimize the shape of a multi-blade centrifugal fan, is described. For numerical analysis, Reynolds-averaged Navier-Stokes equations with standard k - c turbulence model are transformed into non-orthogonal curvilinear coordinate system, and are discretized with finite volume approximations. Due to the large number of blades in this centrifugal fan, the flow inside of the fan is regarded as steady flow by introducing the impeller force models for economic calculations. Linear Upwind Differencing Scheme(LUDS) is used to approximate the convection terms in the governing equations. SIMPLEC algorithm is used as a velocity-pressure correction procedure. Design variables, location of cur off, radius of cut off, expansion angle of scroll and width of impeller were selected to optimize the shapes of scroll and blades. Data points for response evaluations were selected by D-optimal design, and linear programming method was used for the optimization on the response surface. As a main result of the optimization, the efficiency was successfully improved. It was found that the optimization process provides reliable design of this kind of fans with reasonable computing time.

• Proceedings of the KSME Conference
• /
• 2003.04a
• /
• pp.2157-2161
• /
• 2003

In this paper, the response surface method using three-dimensional Navier-Stokes analysis to optimize the shape of a forward-curved blades centrifugal fan, is described. For numerical analysis, Reynolds-averaged Navier-Stokes equations with standard k-e turbulence model are transformed into non-orthogonal curvilinear coordinate system, and are discretized with finite volume approximations. Due to the large number of blades in forward-curved blades centrifugal fan, the flow inside of the fan is regarded as steady flow by introducing the impeller force models for economic calculations. Linear Upwind Differencing Scheme(LUDS) is used to approximate the convection terms in the governing equations. SIMPLEC algorithm is used as a velocity-pressure correction procedure. Design variables, location of cur off, radius of cut off, expansion angle of scroll and width of impeller were selected to optimize the shapes of scroll and blades. Data points for response evaluations were selected by D-optimal design, and linear programming method was used for the optimization on the response surface. As a main result of the optimization, the efficiency was successfully improved. It was found that the optimization process provides reliable design of this kind of fans with reasonable computing time

• Proceedings of the KIEE Conference
• /
• 1995.07b
• /
• pp.871-873
• /
• 1995

The purpose of this paper is to design and construct the compact type joint driver and controller of the biped robot. This biped robot will be designed to be suitable for the practical usages and applications in the work environment, which is not plat floor, like a stairs by taking the stand-alone style that equipped all the parts except power sources. Generally, highly nonlinear motion dynamics of the biped robot is realized to linear approximations by installing a high-ratio speed reducer at each joint and dividing motions into a several piecewise linear motions, which is realized by the digital controller design techniques. This biped robot has symmetrical structure to get the stable walking ability and also the hierachical structure to control each joint as well. That is, all of the joint controllers are connected to the main controller in the composition of overall controllers. The driver and controller of each joint uses PI controller that compensate the velocity and position errors by the data of the encoder. And the signal characteristics of each joint controller forms a trapezoid speed profile which is predefined by the values of direction, maximum velocity and position.

• Computational Structural Engineering
• /
• v.10 no.1
• /
• pp.185-191
• /
• 1997

Beam - and arch-like structures are two-dimensional bodies characterized by the fact of small thickness compared to the length of structures. Owing to this geometric feature, linear displacement approximations through the thickness such as Kirchhoff and Reissner-Mindlin theories which are more accessible one dimensional problems have been used. However, for accurate analysis of the behavior in the regions where the state of stresses is complex, two-dimensional linear elasicity or relatively high order of thickness polynomials is required. This paper analyses accuracy according to the order of thickness polynomials and introduces a technique for model combination for which several different polynomial orders are mixed in a single structure.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.7 no.4
• /
• pp.125-132
• /
• 1987

The bundle adjustment used in photogrammetric data reduction is based on the collinearity condition. Photogrammetry has been used in many non-topographic applications. Due to the necessities of having fiducial marks and knowing initial approximations for interior and exterior orientation elements in bundle adjustment, it cannot be applied when non-metric cameras are used. Marzan and Karara develop the DLT(Direct Linear Transformation) program which directly transforms comparator coordinates into object space coordinates without approximate values. In this paper, several modifications of original DLT program have been made for accuracy improvement in close-range photogrammetry using non-metric cameras. In modified program, gross error detection method and computation of exterior orientation elements are incorporated, and more iterations are introdued.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.119.1-119.1
• /
• 2012

It is well known that the FLRs are excited by compressional waves via mode conversion, but there has been no apparent criterion on the maximum amplitude in the regime of linear approximations. Such limited range of amplitude should be understood by including nonlinear saturation of FLRs, which has not been examined until now. In this study, using a three-dimensional magnetohydrodynamic (MHD) simulation code, we examine the evolution of nonlinear field line resonances (FLRs) in the cold plasmas. The MHD code used in this study allows a full nonlinear description and enables us to study the maximum amplitude of FLRs. When the disturbance is sufficiently small, it is shown that linear properties of MHD wave coupling are well reproduced. In order to examine a nonlinear excitation of FLRs, it is shown how these FLRs become saturated as the initial magnitude of disturbances is assumed to increase. Our results suggest that the maximum amplitude of FLRs become saturated at the level of the same order of dB/B as in observations roughly satisfies the order of ~0.01. In addition, we extended this study for the plasma sheet boundary layer (PSBL) region. We can discuss the maximum disturbances of the Alfven via mode conversion becomes differently saturated through each region.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.22 no.2
• /
• pp.189-196
• /
• 2009

This paper presents the subparametric finite element model formulated by partial-linear layerwise theory for the analysis of laminate composites. The proposed model is based on refined approximations of two dimensional plane for orthotropic thick laminate plate as well as thin case. Three dimensional problem can be reduced to two dimensional case by assuming piecewise linear variation of in-plane displacement and a constant value of out-of-plane displacement across the thickness. The integrals of Legendre polynomials are chosen to define displacement fields and Gauss-Lobatto numerical integration is implemented in order to directly obtain maximum values occurred at the nodal points of each layer without other extrapolation techniques. The validity and characteristics of the proposed model have been tested by using orthotropic multilayered plate problem as compared to the values available in the published references. In this study, the convergence test has been carried out to determine the optimal layer model in terms of central deflection and stresses. Also, the distribution of displacements and stresses across the thickness has been investigated as the number of layer is increased.

• Journal of the Korean Mathematical Society
• /
• v.36 no.6
• /
• pp.1061-1073
• /
• 1999

Let X be a real normed linear space. Let T : D(T) ⊂ X \longrightarrow X be a uniformly continuous and ∮-strongly quasi-accretive mapping. Let {${\alpha}$n}{{{{ { }`_{n=0 } ^{$\infty$ } }}}} , {${\beta}$n}{{{{ { }`_{n=0 } ^{$\infty$ } }}}} be two real sequences in [0, 1] satisfying the following conditions: (ⅰ) ${\alpha}$n \longrightarrow0, ${\beta}$n \longrightarrow0, as n \longrightarrow$\infty$ (ⅱ) {{{{ SUM from { { n}=0} to inf }}}} ${\alpha}$=$\infty$. Set Sx=x-Tx for all x $\in$D(T). Assume that {u}{{{{ { }`_{n=0 } ^{$\infty$ } }}}} and {v}{{{{ { }`_{n=0 } ^{$\infty$ } }}}} are two sequences in D(T) satisfying {{{{ SUM from { { n}=0} to inf }}}}∥un∥<$\infty$ and vn\longrightarrow0 as n\longrightarrow$\infty$. Suppose that, for any given x0$\in$X, the Ishikawa type iteration sequence {xn}{{{{ { }`_{n=0 } ^{$\infty$ } }}}} with errors defined by (IS)1 xn+1=(1-${\alpha}$n)xn+${\alpha}$nSyn+un, yn=(1-${\beta}$n)x+${\beta}$nSxn+vn for all n=0, 1, 2 … is well-defined. we prove that {xn}{{{{ { }`_{n=0 } ^{$\infty$ } }}}} converges strongly to the unique zero of T if and only if {Syn}{{{{ { }`_{n=0 } ^{$\infty$ } }}}} is bounded. Several related results deal with iterative approximations of fixed points of ∮-hemicontractions by the ishikawa iteration with errors in a normed linear space. Certain conditions on the iterative parameters {${\alpha}$n}{{{{ { }`_{n=0 } ^{$\infty$ } }}}} , {${\beta}$n}{{{{ { }`_{n=0 } ^{$\infty$ } }}}} and t are also given which guarantee the strong convergence of the iteration processes.

• Geomechanics and Engineering
• /
• v.5 no.2
• /
• pp.165-185
• /
• 2013

In the present study, the numerical and experimental investigations were performed on the backfill- exterior wall-fluid interaction systems in case of empty and full tanks. For this, firstly, the non-linear three dimensional (3D) finite element models were developed considering both backfill-wall and fluid-wall interactions, and modal analyses for these systems were carried out in order to acquire modal frequencies and mode shapes by means of ANSYS finite element structural analysis program. Secondly, a series of field tests were fulfilled to define their modal characteristics and to compare the results from proposed approximation in the selected structures. Finally, comparing the theoretical predictions from the finite element models to results from experimental measurements, a close agreement was found between theory and experiment. Thus, it can be easily stated that experimental verifications provide strong support for the finite element models and the proposed procedures themselves are the meritorious approximations to the real problem, and this makes the models appealing for use in further investigations.