• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권1호
• /
• pp.435-451
• /
• 2019

Impossible differential cryptanalysis is an essential cryptanalytic technique and its key point is whether there is an impossible differential path. The main factor of influencing impossible differential cryptanalysis is the length of the rounds of the impossible differential trail because the attack will be more close to the real encryption algorithm with the number becoming longer. We provide the upper bound of the longest impossible differential trails of several important block ciphers. We first analyse the national standard of the Russian Federation in 2015, Kuznyechik, which utilizes the 16-byte LFSR to achieve the linear transformation. We conclude that there is no any 3-round impossible differential trail of the Kuznyechik without the consideration of the specific S-boxes. Then we ascertain the longest impossible differential paths of several other important block ciphers by using the matrix method which can be extended to many other block ciphers. As a result, we show that, unless considering the details of the S-boxes, there is no any more than or equal to 5-round, 7-round and 9-round impossible differential paths for KLEIN, Midori64 and MIBS respectively.

• 한국지능시스템학회논문지
• /
• 제24권2호
• /
• pp.161-165
• /
• 2014

본 논문에서는 입력 공간의 부분 영역의 특성을 기술하기 위하여 각 부분 영역을 대표하는 prototype을 정의하고 정의된 Prototype 에 가중치를 적용하여 각 부분 영역이 각 클래스의 경계면에 미치는 영향을 차등화 하는 Fuzzy Prototype 분류기를 제안 한다. 제안된 패턴 분류기의 Prototype은 퍼지 클러스터링 알고리즘인 Fuzzy C-Means Clustering 알고리즘을 사용하여 결정한다. 또한, 각 부분 영역의 가중치를 결정하기 위하여 유전자 알고리즘에서 파생된 차분 진화 알고리즘을 적용하여 각각의 퍼지 규칙의 가중치를 최적화 한다. 또한 퍼지 규칙 기반 시스템 기반 패턴 분류기의 경우 각각의 퍼지 규칙의 후반부 구조인 다항식의 계수를 추정하기 위하여 Linear Discriminant Analysis를 사용한다. 마지막으로, 본 논문에서 제안한 패턴 분류기의 패턴 분류 특성 및 성능을 평가하기위하여 기계 학습 데이터를 사용한다.

• Structural Engineering and Mechanics
• /
• 제23권6호
• /
• pp.599-613
• /
• 2006

A method for the dynamical analysis of FE discretized uncertain linear and nonlinear structures is presented. This method is based on the moment equation approach, for which the differential equations governing the response first and second-order statistical moments must be solved. It is shown that they require the cross-moments between the response and the random variables characterizing the structural uncertainties, whose governing equations determine an infinite hierarchy. As a consequence, a closure scheme must be applied even if the structure is linear. In this sense the proposed approach is approximated even for the linear system. For nonlinear systems the closure schemes are also necessary in order to treat the nonlinearities. The complete set of equations obtained by this procedure is shown to be linear if the structure is linear. The application of this procedure to some simple examples has shown its high level of accuracy, if compared with other classical approaches, such as the perturbation method, even for low levels of closures.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.1845-1847
• /
• 1991

In general, it is not easy to find the linearizing coordinate transformation map for a class of systems which are state equivalent to linear systems, because it is required to solve a set of partial differential equations. It is possible to construct an arbitrary nonlinear function with a backpropagation(BP) net. Utilizing this property of BP neural net, we construct a desired linearizing coordinate transformation map. That is, we implement a unknown coordinate transformation map through the training of neural weights. We have shown an example which supports this idea.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.52.2-52
• /
• 2002

In this paper we consider an approach to a formal linearization for time-variant nonlinear systems. A time-variant nonlinear sysetm is assumed to be described by a time-variant nonlinear differential equation. For this system, we introduce a coordinate transformation function which is composed of the Chebyshev polynomials. Using Chebyshev expansion to the state variable and Laguerre expansion to the time variable, the time-variant nonlinear sysetm is transformed into the time-variant linear one with respect to the above transformation function. As an application, we synthesize a time-variant nonlinear observer. Numerical experiments are included to demonstrate the validity of...

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1998년도 제13차 학술회의논문집
• /
• pp.373-378
• /
• 1998

A method to construct a memoryless feedback law for systems with multiple time-delays in the states is proposed. As a plant model, a differential-difference equation with multiple delayed terms is introduced, A stabilizability condition by memoryless feedback is presented. A feedback gain is calculated with a solution of a finite dimensional Riccati equation. It is shown that the resulting closed loop system is asymptotically stable, and moreover, it is a linear quadratic regulator for some cost functional. An alternative stabilizability condition which is easier to check is given.

• 대한전기학회논문지
• /
• 제34권5호
• /
• pp.173-178
• /
• 1985

The control of a linear system with random coefficients is discussed here. The cost function is of a quadratic form and the random coefficients are assumed to be completely observable by the controller. Stochastic Process involved in the problem by the controller. Stochastic Process involved in the problem formulation is presented to be the unique strong solution to the corresponding stochastic differential equations. Condition for the optimal control is represented through the existence of solution to a Cauchy problem for the given nonlinear partial differential equation. The optimal control is shown to be a linear function of the states and a nonlinear function of random parameters.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.440-445
• /
• 1992

The major purpose here is to estimate the drying time required in the fish-drying process employed. The basic element of the prediction of the drying time is the model or the equation, which governs the change in weight. By an intuitive consideration on the mechanism of dehydration, a mathematical model of the fish-drying process is built, which is described by a system of linear differential equations. Further, a modified system of linear differential equations for a model of drying is also proposed for more accurate estimation. The parameter estimation of this system of equations provides the prediction of necessary drying time.

• 전기의세계
• /
• 제27권2호
• /
• pp.53-63
• /
• 1978

The problem of optimally controlling a time-delay control system to a function as the final target is inverstigated. Necessary conditions are presented in the form of Pontryagin's maximum principle, and it is further shown that they are also sufficient for linear systems with a convex cost functional. Several examples are given to illustrate the results.

• 전자공학회논문지SC
• /
• 제37권6호
• /
• pp.1-6
• /
• 2000

본 논문에서는 비선형 섭동을 가지는 뉴트럴 시스템의 점근 안정성에 관하여 고찰한다. 리아프노프 방식을 이용하여 시스템의 안정성을 판별할 수 있는 충분조건을 제시한다. 이 조건은 지연시간에 종속이며, 선형행렬 부등식으로 표시되기 때문에 최적화 알고리즘을 이용하여 부등식 해를 쉽게 구할 수 있다는 장점이 있다. 마지막으로 제시된 이론의 유용성을 보이기 위하여 수치 예제를 보였다.