• ETRI Journal
• /
• v.37 no.1
• /
• pp.165-174
• /
• 2015

In this paper, we focus on a novel technique called the cube-linear attack, which is formed by combining cube attacks with linear attacks. It is designed to recover the secret information in a probabilistic polynomial and can reduce the data complexity required for a successful attack in specific circumstances. In addition to the different combination strategies of the two attacks, two cube-linear schemes are discussed. Applying our method of a cube-linear attack to a reduced-round Trivium, as an example, we get better linear cryptanalysis results. More importantly, we believe that the improved linear cryptanalysis technique introduced in this paper can be extended to other ciphers.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.254-259
• /
• 2005

The heat and vibration effect is known to cause a serious deformation in linear motor system. The paper presents a heat and vibration characteristics that compare a advanced linear motor with developed linear motor through experiment and analyses. The heat in linear motor system is identified for experimental data and analytic data using the Finite Volume Method (FVM). Also, it shows that the optimum standard analyzed the acceleration patterns of the moving part cause the vibration source in linear motor. It presents the analyzed dynamics of linear motor in compliance with a deformation of the non-linear factor.

• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.365-371
• /
• 2003

In this paper, we introduce metrics d, p and ${\mu}$ on a normed almost linear space (X, III.III). And we prove that above three metrics are equivalent if a normed almost linear space X has a basis and splits as X = W$_X$ + V$_X$.

• Structural Engineering and Mechanics
• /
• v.18 no.5
• /
• pp.565-589
• /
• 2004

The present paper concerns the macroscopic overall description of rheologic properties for steel wire and synthetic fibre cables under variable loading actions according to non-linear creep and/or relaxation theory. The general constitutive equations of non-linear creep and/or relaxation of tension elements - cables under one-step and the variable stress or strain inputs using the product and two types of additive approximations of the kernel functions are presented in the paper. The derived non-linear constitutive equations describe a non-linear rheologic behaviour of the cables for a variable stress or strain history using the kernel functions determined only by one-step - constant creep or relaxation tests. The developed constitutive equations enable to simulate and to predict in a general way non-linear rheologic behaviour of the cables under an arbitrary loading or straining history. The derived constitutive equations can be used for the various tension structural elements with the non-linear rheologic properties under uniaxial variable stressing or straining.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.11
• /
• pp.861-867
• /
• 2003

We propose a sliding surface design method for linear systems with mismatched uncertainties in the state space model. In terms of LMIs, we derive a necessary and sufficient condition for the existence of a linear sliding surface such that the reduced-order equivalent sliding mode dynamics restricted to the linear sliding surface is not only stable but completely invariant to mismatched uncertainties. We give an explicit formula of all such linear switching surfaces in terms of solution matrices to the LMI existence condition. We also give a switching feedback control law, together with a design algorithm. Additionally, we give some hints for designing linear switching surfaces guaranteeing pole clustering constraints or linear quadratic performance bound constraints. Finally, we give a design example in order to show the effectiveness of the proposed methodology.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.32 no.10
• /
• pp.850-855
• /
• 2008

This paper suggests a new linear motor which is able to levitate as well as move its mover without any linear bearing or even additive windings. Its structure is very similar to a well-known both-sided linear motor which consists of two stators and a common mover. And the movement principle is the same with that of conventional linear motor. But unlike the conventional one, the amplitudes of phase currents are controlled to levitate the mover. In this paper, the structure and principle of the suggested bearingless linear motor are introduced in detail and its feasibility is experimentally investigated. Using the prototype and a very simple controller, we succeeded in the levitation and linear movement of the mover at a time.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.1031-1040
• /
• 2009

It is shown that every almost positive linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a Banach *-algebra $\mathcal{A}$ to a Banach *-algebra $\mathcal{B}$ is a positive linear operator when h(rx) = rh(x) (r > 1) holds for all $x\in\mathcal{A}$, and that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ to a unital C*-algebra $\mathcal{B}$ is a positive linear operator when h($2^nu*y$) = h($2^nu$)*h(y) holds for all unitaries $u\in \mathcal{A}$, all $y \in \mathcal{A}$, and all n = 0, 1, 2, ..., by using the Hyers-Ulam-Rassias stability of functional equations. Under a more weak condition than the condition as given above, we prove that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ A to a unital C*-algebra $\mathcal{B}$ is a positive linear operator. It is applied to investigate states, center states and center-valued traces.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.1770-1773
• /
• 1997

In this paper, a linear discrete time system subject to the input saturatioin is shown to be exponentially stabilizable on any compact subset of the constrained asymptotically stabilizable set by a linear periodic variable structure controller. We also establish tat any neutrally stable system subject to the input saturation can be globally asymptotically stabilizable via linear feedback.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.379-388
• /
• 1999

In this paper, we introduce a semi-metric on a normed almost linear space X via functional. And we prove that a normed almost linear space X is complete if and only if $V_X$ and $W_X$ are complete when X splits as X=$W_X$ + $V_X$. Also, we prove that the dual space $X^\ast$ of a normed almost linear space X is complete.

• Journal of Korea Multimedia Society
• /
• v.16 no.8
• /
• pp.972-981
• /
• 2013

Non-linear editing is an editing method that, unlike linear editing, enables users to insert a new frame between existing frames. Non-linear editing systems are systems that support such method, and are composed of a computer, a software and a capture board that inputs/outputs video signals. Non-linear editing is used for modern television broadcasts and movie productions. Recorded footage and various graphic sources are combined into one visual content through a non-linear editing system. In this paper, we will look into functions of various non-linear editing softwares (mainly the most common of all; Adobe Premiere) as well as their merits and demerits during the editing process, and will also discuss their future Improvement direction.