• Journal of Information Processing Systems
• /
• v.7 no.1
• /
• pp.151-158
• /
• 2011

Bivium is a simplified version of Trivium, a hardware profile finalist of the eSTREAM project. Bivium has an internal state size of 177 bits and a key length of 80 bits. In this paper, a guess and determine attack on this cipher is introduced. In the proposed method, the best linear approximations for the updating functions are first defined. Then by using these calculated approximations, a system of linear equations is built. By guessing 30 bits of internal state, the system is solved and all the other 147 remaining bits are determined. The complexity of the attack is O ($2^{30}$), which is an improvement to the previous guess and determine attack with a complexity of order O($2^{52.3}$).

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1993-1998
• /
• 2004

This paper proposes a new framework for control system design, called the data-based control approach or data space approach, in which the input and output data of a dynamical system is directly and solely used to analyze or design a control system without the employment of any mathematical models like transfer functions, state space equations, and kernel representations. Since, in this approach, most of the analysis and design processes are carried out in the domain of the data space, we introduce some notions of geometrical objects, e.g., the openloop and closed-loop data spaces, which serve as the system representations in the data space. In addition, we establish a relationship between the open-loop and closed-loop data spaces that the closed-loop data space is contained in the open-loop data space as one of its subspaces. By using this relationship, we can derive the data-based stabilization condition for a linear time-invariant discrete-time system, which leads to a linear matrix inequality with a rank constraint.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.65 no.11
• /
• pp.1820-1826
• /
• 2016

This paper deals with dynamic characteristics of the experimental magnetic levitation vehicle employing LSM(Linear Synchronous Motor) for propulsion. To predict the dynamic characteristics of the system, the dynamic model which is composed of the electrical elements such as electromagnets and LSM and mechanical components and is developed based on multibody dynamics is developed. The resulting system equations of motion for the model are a coupled one representing all the mechanical and electrical parts. To verify the dynamic model of the system, air gaps are measured in both running tests and simulation, and the frequency characteristics of air gaps are analyzed. From the results, it can be seen that the frequency responses are almost the same. Finally, to evaluate the levitation stability and the designed controller, numerical simulations are carried out.

• Journal of Power System Engineering
• /
• v.6 no.3
• /
• pp.49-56
• /
• 2002

This study suggests a trajectory tracking controller composed of an input output linearization compensator and a linear controller. The input output linearization compensator is derived from the nonlinear equations of a pneumatic control system and it algebraically transforms a nonlinear system dynamics into a linear one, so that input output characteristics of the control system is linearized regardless of the variation of the operating point and linear control techniques can be applied. The results of nonlinear simulations show that the proposed controller tracks the given trajectories more accurately than a state feedback controller does.

• Journal of Korean Institute of Industrial Engineers
• /
• v.26 no.3
• /
• pp.220-226
• /
• 2000

The problem (P) of optimizing a linear function $d^Tx$ over the set of efficient points for a multiple objective linear program (M) is difficult because the efficient set is nonconvex. There are some interesting properties between the objective linear vector d and the matrix of multiple objectives C and those properties lead us to establish criteria to solve (P) with a linear program. In this paper we investigate a system of the linear equations $C^T{\alpha}$ = d and construct two linearly independent positive vectors u, v such that ${\alpha}$ = u - v. From those vectors u, v, solving an weighted sum linear program for finding an efficient extreme point for the (M) is a way of getting an optimal solution of the problem (P). Therefore the theorems presented in this paper provided us an easy way of solving nonconvex program (P) with a weighted sum linear program.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.9
• /
• pp.2744-2751
• /
• 1996

In case of limited power supply, a rotating shaft system may not reach its operating speed that is greater than its critical speed, but the speed oscillates with small ampllitude near critical speed. As a result, it is considered that the operating mode plays an important role in the smooth start of machines. In order to investigate the dynamic behaviors of the rotating shaft system at the beginning stage, one has derived the equations of motion whose degrees of freedom is three, two translations and one rotation. The simultaneous differential equations are numerically solved by using runge-Kutta method, and thus the small time step length could be required corresponding to the stability of solution. Three types of operating modes dependent upon the driving torque rate have been numerically investigated according to the maximum displacement of shaft center. The first type of relation is linear, the second type is composed of two linear curves recommended by machine manufacturer, and the last one is the proposed torque curve reflecting the frequency response curve of one degree of freedom system. For the second type of modes, it is found that the optimal range of intermediate speed to the critical speed lies between 0.8 and 0.9. In addition to that, the maximum displacement can be reduced more if the third type of mode is utilized.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2008.11a
• /
• pp.394-400
• /
• 2008

This paper presents an analytical method to investigate the stability of FDBs (fluid dynamic bearings) considering the tilting motion. The perturbed equations of motion are derived with respect to translational and tilting motion for the general rotor-bearing system with five degrees of freedom. The Reynolds equations and their perturbed equations are solved by using the FEM in order to calculate the pressure, load capacity, and the stiffness and damping coefficients. This research introduces the radius of gyration to the equations of notion in order to express the mass moment of interia with respect to the critical mass. Then the critical mass of FDBs is determined by solving the eigenvalue problem of the linear equations of motion. This research is numerically validated by comparing the stability chart of FDBs with the time response of the whirl radius obtained from the direct integration of the equations of motion. This research shows that the tilting motion is one of the major design considerations to determine the stability of rotating system. It also shows that the stability of FDBs considering only translation is overestimated in comparison with the stability of FDBs considering both translational and tilting motion.

• Proceedings of the KIEE Conference
• /
• 1987.11a
• /
• pp.82-85
• /
• 1987

The objective of this paper is to develop computer programs to aid in the design and analysis of control systems in which nonlinear characteristics exist. Control systems are dynamic systems, which can be described using various mathematical models. A convenient model for digital computer simulation is the state model in which described using a set of linear and non linear first order differential equations. The digital simulation was performed on a IBM PC/XT personal computer, and the computer language was BASIC. There are four possible configurations from which a user may choose. When running a program, the user is asked to enter the system parameters according to a specified control system configurations are; 1. A control system with a nonlinear element followed by a plant in a feedback configurations(NLSVF1). 2. A control system with a nonlinear device situated between two plants in a feedback configurations(NLSVF2). 3. A control system with a nonlinear element followed by a plant, followed by a the dealy in feedback configurations(TLAG). 4. A motor and load with a backlash nonlinearity between dynamic portions of the motor/load configurations (BACKLASH). The matrix from state equations are integrated using combination the trapezoidal method and fixed point iteration. Several cases which have nonlinearity were implemented on the computer and the results were discussed.

• Korean Journal of Mathematics
• /
• v.16 no.4
• /
• pp.511-526
• /
• 2008

In this paper, we consider an elliptic system of three equations using the minimax theorem. We prove the existence of two solutions for suitable forcing terms, under a condition on the linear part which prevents resonance with eigenvalues of the operator.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.18 no.4
• /
• pp.83-87
• /
• 2004

In this paper, an electrical equivalent circuit is derived by solving system equations. A frequency characteristics graph is calculated and the characteristics curve of the linear Actuator Model System are simulated by the Matlab program The frequency characteristics of a linear actuator are analyzed on the structure of the linear Actuator Model System This paper proposed and analyzed the linear Actuator Model(LAM) by using Matlab program with linear actuator was verified computer simulation based on the energy conversion theory.