• Title/Summary/Keyword: characteristic polynomials

Search Result 76, Processing Time 0.023 seconds

Synthesis of 90/150 Uniform CA and Computation of Characteristic Polynomial corresponding to uniform CA (90/150 Uniform CA의 합성 및 특성다항식 계산)

  • Choi, Un-Sook;Cho, Sung-Jin;Yim, Ji-Mi
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.5 no.1
    • /
    • pp.10-16
    • /
    • 2010
  • 90/150 CA is a CA completely specified by using rule 90 and rule 150. Since 90/150 CA whose minimal and characteristic polynomials are identical has outstanding randomness, this CA is more attractive than LFSR. Sarkar proposed a scheme based on the 90 uniform CA and the 150 uniform CA. That scheme provided authentication by digital signature and other basic security requirements like confidentiality. In this paper we analyze 90 or 150 uniform CA and give a synthesis method of 2n-cell uniform CA and (2n+1)-cell uniform CA using a special n-cell 90/150 CA. And we propose an effective method of computation of characteristic polynomial corresponding to uniform CA.

Characteristic Polynomial of 90 UCA and Synthesis of CA using Transition Rule Blocks (90 UCA의 특성다항식과 전이규칙 블록을 이용한 CA 합성법)

  • Choi, Un-Sook;Cho, Sung-Jin
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.13 no.3
    • /
    • pp.593-600
    • /
    • 2018
  • Cellular automata (CA) have been applied to effective cryptographic system design. CA is superior in randomness to LFSR due to the fact that its state is updated simultaneously by local interaction. To apply these CAs to the cryptosystem, a study has been performed how to synthesize CA corresponding to given polynomials. In this paper, we analyze the recurrence relations of the characteristic polynomial of the 90 UCA and the characteristic polynomial of the 90/150 CA whose transition rule is <$00{\cdots}001$>. And we synthesize the 90/150 CA corresponding to the trinomials $x^{2^n}+x+1(n{\geq}2)$ satisfying f(x)=f(x+1) using the 90 UCA transition rule blocks and the special transition rule block. We also analyze the properties of the irreducible factors of trinomials $x^{2^n}+x+1$ and propose a 90/150 CA synthesis algorithm corresponding to $x^{2^n}+x^{2^m}+1(n{\geq}2,n-m{\geq}2)$.

Numerical Modeling of One-Dimensional Longitudinal Dispersion Equation using Eulerian Method

  • Seo, Il-Won;Kim, Dae-Geun
    • Korean Journal of Hydrosciences
    • /
    • v.6
    • /
    • pp.51-66
    • /
    • 1995
  • Various Eulerian-Lagerangian numerical models for the one-dimensional longtudinal dispersion equation are studied comparatively. In the models studied, the transport equation is decoupled into two component parts by the operator-splitting approach ; one part governing advection and the other dispersion. The advection equation has been solved using the method of characteristics following flud particles along the characteristic line and the result are interpolated onto an Eulerian grid on which the dispersion equation is solved by Crank-Nicholson type finite difference method. In solving the advection equation, various interpolation schemes are tested. Among those, Hermite interpo;ation po;ynomials are superor to Lagrange interpolation polynomials in reducing both dissipation and dispersion errors.

  • PDF

Faster Ate Pairing Computation over Pairing-Friendly Ellipitic Curves Using GLV Decomposition

  • Eom, Soo Kyung;Lee, Eunjeong;Lee, Hyang-Sook
    • ETRI Journal
    • /
    • v.35 no.5
    • /
    • pp.880-888
    • /
    • 2013
  • The preexisting pairings ate, $ate_i$, R-ate, and optimal-ate use q-expansion, where q is the size of the defining field for the elliptic curves. Elliptic curves with small embedding degrees only allow a few of these pairings. In such cases, efficiently computable endomorphisms can be used, as in [11] and [12]. They used the endomorphisms that have characteristic polynomials with very small coefficients, which led to some restrictions in finding various pairing-friendly curves. To construct more pairing-friendly curves, we consider ${\mu}$-expansion using the Gallant-Lambert-Vanstone (GLV) decomposition method, where ${\mu}$ is an arbitrary integer. We illustrate some pairing-friendly curves that provide more efficient pairing from the ${\mu}$-expansion than from the ate pairing. The proposed method can achieve timing results at least 20% faster than the ate pairing.

Natural Vibration Analysis for Stiffened Plate of Ship Tank Side in Contact with Water Using Assumed Mode Method (진동파형가정방법을 이용한 선박 탱크 측면 접수 보강판의 고유진동해석)

  • Kim, Byung-Hee;Cho, Dae-Seung
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.42 no.4 s.142
    • /
    • pp.396-401
    • /
    • 2005
  • In this study, the assumed mode method using characteristic polynomials of Timoshenko beam is applied to the free vibration analysis for the stiffened plate of ship tank side in contact with water. The hydro-elastic effect of the fluid-structure interaction is considered by fluid velocity potential, derived from boundary conditions for fluid and structure, and utilized in the calculation of added mass matrix using assumed modes. To verify the validity and effectiveness of the presented method, free vibration analysis for the stiffened plates in contact with finite and infinite fluids have been carried out and its results were compared with those obtained by a general purpose FEA software.

Effects of Temporal Aggregation on Hannan-Rissanen Procedure

  • Shin, Dong-Wan;Lee, Jong-Hyup
    • Journal of the Korean Statistical Society
    • /
    • v.23 no.2
    • /
    • pp.325-340
    • /
    • 1994
  • Effects of temporal aggregation on estimation for ARMA models are studied by investigating the Hannan & Rissanen (1982)'s procedure. The temporal aggregation of autoregressive process has a representation of an autoregressive moving average. The characteristic polynomials associated with autoregressive part and moving average part tend to have roots close to zero or almost identical. This caused a numerical problem in the Hannan & Rissanen procedure for identifying and estimating the temporally aggregated autoregressive model. A Monte-Carlo simulation is conducted to show the effects of temporal aggregation in predicting one period ahead realization.

  • PDF

Analysis of Shrinking Generator Using Phase Shifts (위상이동차를 이용한 수축 생성기의 분석)

  • Hwang, Yoon-Hee;Cho, Sung-Jin;Choi, Un-Sook
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.14 no.11
    • /
    • pp.2507-2513
    • /
    • 2010
  • In this paper, we show that the shrinking generator with two LFSR whose characteristic polynomials are primitive is an interleaving generator and analyze phase shifts in shrunken sequence. Also for a given intercepted sequence of shrunken sequence, we propose. the method of reconstructing some deterministic bits of the shrunken sequence using phase shifts.

A Study on the Analysis of Geometric Accuracy of Tilting Angle Using KOMPSAT-l EOC Images

  • Seo, Doo-Chun;Lim, Hyo-Suk
    • Korean Journal of Geomatics
    • /
    • v.3 no.1
    • /
    • pp.53-57
    • /
    • 2003
  • As the Korea Multi-Purpose Satellite-I (KOMPSAT-1) satellite can roll tilt up to $\pm$45$^{\circ}$, we have analyzed some KOMPSAT-1 EOC images taken at different tilt angles for this study. The required ground coordinates for bundle adjustment and geometric accuracy are obtained from the digital map produced by the National Geography Institution, at a scale of 1:5,000. Followings are the steps taken for the tilting angle of KOMPSAT-1 to be present in the evaluation of geometric accuracy of each different stereo image data: Firstly, as the tilting angle is different in each image, the characteristic of satellite dynamic must be determined by the sensor modeling. Then the best sensor modeling equation should be determined. The result of this research, the difference between the RMSE values of individual stereo images is mainly due to quality of image and ground coordinates instead of tilt angle. The bundle adjustment using three KOMPSAT-1 stereo pairs, first degree of polynomials for modeling the satellite position, were sufficient.

  • PDF

A ONE-SIDED VERSION OF POSNER'S SECOND THEOREM ON MULTILINEAR POLYNOMIALS

  • FILIPPIS VINCENZO DE
    • Bulletin of the Korean Mathematical Society
    • /
    • v.42 no.4
    • /
    • pp.679-690
    • /
    • 2005
  • Let K be a commutative ring with unity, R a prime K-algebra of characteristic different from 2, d a non-zero derivation of R, I a non-zero right ideal of R, f($x_1,{\cdots},\;x_n$) a multilinear polynomial in n non-commuting variables over K, a $\in$ R. Supppose that, for any $x_1,{\cdots},\;x_n\;\in\;I,\;a[d(f(x_1,{\cdots},\;x_n)),\;f(x_1,{\cdots},\;x_n)]$ = 0. If $[f(x_1,{\cdots},\;x_n),\;x_{n+1}]x_{n+2}$ is not an identity for I and $$S_4(I,\;I,\;I,\;I)\;I\;\neq\;0$$, then aI = ad(I) = 0.

GENERALIZED SKEW DERIVATIONS AS JORDAN HOMOMORPHISMS ON MULTILINEAR POLYNOMIALS

  • De Filippis, Vincenzo
    • Journal of the Korean Mathematical Society
    • /
    • v.52 no.1
    • /
    • pp.191-207
    • /
    • 2015
  • Let $\mathcal{R}$ be a prime ring of characteristic different from 2, $\mathcal{Q}_r$ be its right Martindale quotient ring and $\mathcal{C}$ be its extended centroid. Suppose that $\mathcal{G}$ is a nonzero generalized skew derivation of $\mathcal{R}$, ${\alpha}$ is the associated automorphism of $\mathcal{G}$, f($x_1$, ${\cdots}$, $x_n$) is a non-central multilinear polynomial over $\mathcal{C}$ with n non-commuting variables and $$\mathcal{S}=\{f(r_1,{\cdots},r_n)\left|r_1,{\cdots},r_n{\in}\mathcal{R}\}$$. If $\mathcal{G}$ acts as a Jordan homomorphism on $\mathcal{S}$, then either $\mathcal{G}(x)=x$ for all $x{\in}\mathcal{R}$, or $\mathcal{G}={\alpha}$.