• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.1
• /
• pp.139-146
• /
• 2003

In this paper we demonstrate a cryptanalysis of the stream cipher LILI-128. Our approach to analysis on LILI-128 is to solve an overdefined system of multivariate equations. The LILI-128 keystream generato $r^{[8]}$ is a LFSR-based synchronous stream cipher with 128 bit key. This cipher consists of two parts, “CLOCK CONTROL”, pan and “DATA GENERATION”, part. We focus on the “DATA GENERATION”part. This part uses the function $f_d$. that satisfies the third order of correlation immunity, high nonlinearity and balancedness. But, this function does not have highly nonlinear order(i.e. high degree in its algebraic normal form). We use this property of the function $f_d$. We reduced the problem of recovering the secret key of LILI-128 to the problem of solving a largely overdefined system of multivariate equations of degree K=6. In our best version of the XL-based cryptanalysis we have the parameter D=7. Our fastest cryptanalysis of LILI-128 requires $2^{110.7}$ CPU clocks. This complexity can be achieved using only $2^{26.3}$ keystream bits.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.16 no.1
• /
• pp.33-40
• /
• 2023

With the development of supercomputing technology and hardware technology, numerical computation methods are also being advanced. Accordingly, improved weather prediction becomes possible. In this paper, we propose to apply the LAPACK(Linear Algebra PACKage) BLAS(Basic Linear Algebra Subprograms) library to the linear algebraic numerical computation part within the source code to improve the performance of the cumulative parametric code, Unicon(A Unified Convection Scheme), which is included in SCAM(Single-Columns Atmospheric Model, simplified version of CESM(Community Earth System Model)) and performs standby operations. In order to analyze this, an overall execution structure diagram of SCAM was presented and a test was conducted in the relevant execution environment. Compared to the existing source code, the SCOPY function achieved 0.4053% performance improvement, the DSCAL function 0.7812%, and the DDOT function 0.0469%, and all of them showed a 0.8537% performance improvement. This means that the LAPACK BLAS application method, a library for high-density linear algebra operations proposed in this paper, can improve performance without additional hardware intervention in the same CPU environment.

• Structural Engineering and Mechanics
• /
• v.11 no.6
• /
• pp.637-650
• /
• 2001

A structural analysis of cracked R.C. members under instantaneous or sustained loads and imposed displacements is presented. In the first part of the paper the problem of deriving feasible moment-curvature diagrams for a long term analysis of R.C. sections is approached in an exact way by using the Reduced Relaxation Function Method in state I uncracked and the method suggested by CEB in state II cracked. In both states the analysis of the main parameters governing the problem has shown that it is possible to describe the concrete creep behaviour in an approximate way by using the algebraic formulation connected to the Effective Modulus Method. In this way the calculations become quite simple and can be applied in design practice without introducing significant errors. Referring to continuous beams, the structural analysis is then approached in a general way, applying the Force Method and the Principle of Virtual Works. Finally, considering single members, the structural analysis is performed by means of a graphical procedure based on the application of feasible moment-rotation diagrams which allow to easily solve various structural problems and to point out the most interesting aspects of the long term behaviour of cracked R.C. members with rigid or elastically deformable redundant restraints.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.4
• /
• pp.38-49
• /
• 1998

A fossil power plant can be modeled by a lot of algebraic equations and differential equations. When we simulate a large, complicated fossil power plant by a computer such as workstation or PC, it takes much time until overall equations are completely calculated. Therefore, new processing systems which have high computing speed is ultimately needed for real-time or high-speed(faster than real-time) simulators. This paper presents an enhanced strategy in which high computing power can be provided by parallel processing of DSP processors with communication links. DSP system is designed for general purpose. Parallel DSP system can be easily expanded by just connecting new DSP modules to the system. General urpose DSP modules and a VME interface module was developed. New model and techniques for the task allocation are also presented which take into account the special characteristics of parallel I/O and computation. As a realistic cost function of task allocation, we suggested 'simulation period' which represents the period of simulation output intervals. Based on the development of parallel DSP system and realistic task allocation techniques, we cound achieve good efficiency of parallel processing and faster simulation speed than real-time.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.853-868
• /
• 2015

Let G be a complex semisimple simply connected linear algebraic group. The main result of this note is to give several equivalent criteria for the untwistedness of the twisted cubes introduced by Grossberg and Karshon. In certain cases arising from representation theory, Grossberg and Karshon obtained a Demazure-type character formula for irreducible G-representations as a sum over lattice points (counted with sign according to a density function) of these twisted cubes. A twisted cube is untwisted when it is a "true" (i.e., closed, convex) polytope; in this case, Grossberg and Karshon's character formula becomes a purely positive formula with no multiplicities, i.e., each lattice point appears precisely once in the formula, with coefficient +1. One of our equivalent conditions for untwistedness is that a certain divisor on the special fiber of a toric degeneration of a Bott-Samelson variety, as constructed by Pasquier, is basepoint-free. We also show that the strict positivity of some of the defining constants for the twisted cube, together with convexity (of its support), is enough to guarantee untwistedness. Finally, in the special case when the twisted cube arises from the representation-theoretic data of $\lambda$ an integral weight and $\underline{w}$ a choice of word decomposition of a Weyl group element, we give two simple necessary conditions for untwistedness which is stated in terms of $\lambda$ and $\underline{w}$.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.24 no.2
• /
• pp.316-323
• /
• 2000

A nonlinear low-Reynolds-number heat transfer model is developed to predict turbulent flow and heat transfer in separated and reattaching flows. The $k-{\varepsilon}-f_{\mu}$ model of Park and Sung (1997) is extended to a nonlinear formulation, based on the nonlinear model of Gatski and Speziale (1993). The limiting near-wall behavior is resolved by solving the $f_{\mu}$ elliptic relaxation equation. An improved explicit algebraic heat transfer model is proposed, which is achieved by applying a matrix inversion. The scalar heat fluxes are not aligned with the mean temperature gradients in separated and reattaching flows; a full diffusivity tensor model is required. The near-wall asymptotic behavior is incorporated into the $f_{\lambda}$ function in conjunction with the $f_{\mu}$ elliptic relaxation equation. Predictions of the present model are cross-checked with existing measurements and DNS data. The model preformance is shown to be satisfactory.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.23 no.8
• /
• pp.1063-1071
• /
• 1999

Fine grid calculations are reported for the developing turbulent flow in a curved duct of square cross-section with a radius of curvature to hydraulic diameter ratio ${\delta}=Rc/D_H=3.357 $ and a bend angle of 720 deg. A sequence of modeling refinements is introduced; the replacement of wall function by a fine mesh across the sublayer and a low Reynolds number algebraic second moment closure up to the near wall sublayer in which the non-linear return to isotropy model and the cubic-quasi-isotropy model for the pressure strain are adopted; and the introduction of a multiple source model for the exact dissipation rate equation. Each refinement is shown to lead to an appreciable improvement in the agreement between measurement and computation.

• Journal of Astronomy and Space Sciences
• /
• v.34 no.1
• /
• pp.7-17
• /
• 2017

In South Korea, there are about 80 Global Positioning System (GPS) monitoring stations providing total electron content (TEC) every 10 min, which can be accessed through Korea Astronomy and Space Science Institute (KASI) for scientific use. We applied the computerized ionospheric tomography (CIT) algorithm to the TEC dataset from this GPS network for monitoring the regional ionosphere over South Korea. The algorithm utilizes multiplicative algebraic reconstruction technique (MART) with an initial condition of the latest International Reference Ionosphere-2016 model (IRI-2016). In order to reduce the number of unknown variables, the vertical profiles of electron density are expressed with a linear combination of empirical orthonormal functions (EOFs) that were derived from the IRI empirical profiles. Although the number of receiver sites is much smaller than that of Japan, the CIT algorithm yielded reasonable structure of the ionosphere over South Korea. We verified the CIT results with NmF2 from ionosondes in Icheon and Jeju and also with GPS TEC at the center of South Korea. In addition, the total time required for CIT calculation was only about 5 min, enabling the exploration of the vertical ionospheric structure in near real time.

• Proceedings of the KSRS Conference
• /
• v.2
• /
• pp.717-720
• /
• 2006

In this study, we predicted locations vulnerable to ground subsidence hazard using fuzzy logic and geographic information system (GIS). Test was carried out at an abandoned underground coal mine in Samcheok City, Korea. Estimation of relative ratings of eight major factors influencing subsidence and determination of effective fuzzy operators are presented. Eight major factors causing ground subsidence were extracted and constructed as a spatial database using the spatial analysis and the probability analysis functions. The eight factors include geology, slope, landuse, depth of mined tunnel, distance from mined tunnel, RMR, permeability, and depth of ground water. A frequency ratio model was applied to calculate relative rating of each factor, and the ratings were integrated using fuzzy membership function and five different fuzzy operators to produce a ground subsidence susceptibility map. The ground subsidence susceptibility map was verified by comparing it with the existing ground subsidences. The obtained susceptibility map well agreed with the actual ground subsidence areas. Especially, ${\gamma}-operator$ and algebraic product operator were the most effective among the tested fuzzy operators.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.9 no.1
• /
• pp.31-39
• /
• 1985

Using the tensor elastic Green functions an exact integral equation is formulated for two anisotropic precipitates embedded in an infinite anisotropic matrix; the matrix is subjected to an applied strain field or the precipitates undergo a stress-free transformation strain. This equation is reduced to an infinite system of algebraic equations by expanding the strains in Taylor series about the two points within each precipitate, and an approximation of the strain distributions within the two spherical precipitates is obtained by truncating the higher order terms. Since the present method requires no symmetry conditio between the two shperical precipitates, it is possible to obtain the strain distribution within the precipitates when the elastic constants and/or the sizes of the precipitates are different each other. The strains are expanded about arbitrary points, giving more accurate distributions of the strains than those presented elsewhere. The present method can be directly estended to the case of more than two spherical precipitates.