• The Journal of Information Technology
• /
• v.5 no.1
• /
• pp.133-142
• /
• 2002

This paper presents an efficient implementation of the linear window operator. I derived computational primitives based upon a block state space representation. The computational primitive can be implemented as a data path for a programmable processor, which can be used for the efficient implementation of a linear window operator. A multiprocessor architecture is presented for the realtime processing of a linear window operator. The architecture is designed based upon the data partitioning technique. Performance analysis for the various block size is provided.

• The Journal of Natural Sciences
• /
• v.8 no.2
• /
• pp.69-75
• /
• 1996

This paper presents a VLSI architecture for the efficient implementation of the real time multi-dimensional digital filter. The computational primitive for the filter is obtained from the state space representation of the multi-dimensional general order filter. The computational primitive is used for the data path of the processor.

• Journal of Advanced Marine Engineering and Technology
• /
• v.24 no.4
• /
• pp.502-508
• /
• 2000

The amount of container freight is continuously increasing recently, but freight congestion problem frequently occurs at ports due to low efficiency of container crane in transportation and cargo handling. In this paper, a method for designing a fuzzy controller of the container crane system is presented. In this scheme a mathematical model for the system is obtained in state space representation. The response of the proposed fuzzy controller is compared with that of the optimal controller at the same condition. Through the simulation results, the performance of the fuzzy controller was observed better than that of optimal controller in respect of reference change, disturbances and parameter change. The fuzzy controller was also more stable and robust than the optimal controller.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.12-12
• /
• 1992

This paper proposes an analysis method of Petri nets (PNs) using the relational algebra (RA). More specifically, we represent PNs in relations of the relational model. Based on such representation, we first develop an algorithms for analyzing properties of PNs, such as boundedness, conservation, coverability, reachability, and liveness. The advantage of this approach is as follows: First, the algorithms represented by RA can be easily converted to a query language such as SQL of the widely used, commercial relational database management systems (DBMSs). Second, we can alleviate the problem of state space explosion because relational DBMSs can handle large amounts of data efficiency. Finally, we can use the DBMS's query language to interpret the Petri nets and make simulation.

• Journal of the Korea Society for Simulation
• /
• v.1 no.1
• /
• pp.37-47
• /
• 1992

This paper proposes an analysis method of petri nets(PNs) using the relational algebra(RA). More wpecifically, we represent PNs in relations of the relational model. Based on such representation, we first develop an algorithm for generating reachability trees of PNs. we then develop an algorithm for generating reachability trees of PNs. We then develop algorithms for analyzing properties of PNs, such as boundedness, conservation, coverability, reachability, and liveness. The advantage of this approach is as follows: First, the algorithms represented by RA can be easity converted to a query language such as SQL of the widely used, commerical relational database management systems(DBMSs). Second, we can alleviate the problem of state space explosion because relational DBMSs can handle large amounts of data efficiently. Finally, we can use the DBMS's query language to interpret the Petri nets and make simulation.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.6
• /
• pp.145-151
• /
• 1995

The first-order Taylor series expansion can be evaluated analytically from the formulated symbolic nonlinear dynamic equations. A closed-form linear dynamic euation is derived about a nominal trajectory. The state space representation of the linearized dynamics can be derived easily from the closed-form linear dynamic equations. But manual symbolic expansion of dynamic equations and linearization is tedious, time-consuming and error-prone. So it is desirable to manipulate the procedures using a computer. In this paper, the analytic linearization is performed using the symbolic language MATHEMATICA. Two examples are given to illustrate the approach anbd to compare nonlinear model with linear model.

• ETRI Journal
• /
• v.45 no.2
• /
• pp.304-317
• /
• 2023

With the rapid evolution of quantum computing, digital quantum simulations are essential for quantum algorithm verification, quantum error analysis, and new quantum applications. However, the exponential increase in memory overhead and operation time is challenging issues that have not been solved for years. We propose a novel approach that provides more qubits and faster quantum operations with smaller memory than before. Our method selectively tracks realized quantum states using a reduced quantum state representation scheme instead of loading the entire quantum states into memory. This method dramatically reduces memory space ensuring fast quantum computations without compromising the global quantum states. Furthermore, our empirical evaluation reveals that our proposed idea outperforms traditional methods for various algorithms. We verified that the Grover algorithm supports up to 55 qubits and the surface code algorithm supports up to 85 qubits in 512 GB memory on a single computational node, which is against the previous studies that support only between 35 qubits and 49 qubits.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.4
• /
• pp.797-802
• /
• 2010

In this paper, a systematic procedure to design a nonlinear controller for nonlinear active magnetic bearing (AMB) systems is presented. To do this, we effectively convert the AMB system into a polytopic quasi-linear parameter varying (LPV) system, which is a representation of nonlinear state-space models and is described by the convex combination of a set of precisely known vertices. Unlike the existing quasi-LPV systems, the nonlinear weighting functions, which construct the polytopic quasi-LPV model of the AMB system by connecting the vertices, include not only state variables but also the input ones. This allows us to treat the input nonlinearity effectively. By means of the derived polytopic quasi-LPV model and linear matrix inequality (LMI) conditions, nonlinear controller that stabilizes the AMB system is obtained. The effectiveness of the proposed controller design methodology is finally demonstrated through numerical simulations.

• Journal of Power Electronics
• /
• v.16 no.2
• /
• pp.553-563
• /
• 2016

This paper presents a digital hardware implementation of a real-time simulator for a multiphase drive using a field-programmable gate array (FPGA) device. The simulator was developed with a modular and hierarchical design using very high-speed integrated circuit hardware description language (VHDL). Hence, this simulator is flexible and portable. A state-space representation model suitable for FPGA implementations was proposed for a dual three-phase induction machine (DTPIM). The simulator also models a two-level 12-pulse insulated-gate bipolar transistor (IGBT)-based voltage-source converter (VSC), a pulse-width modulation scheme, and a measurement system. Real-time simulation outputs (stator currents and rotor speed) were validated under steady-state and transient conditions using as reference an experimental test bench based on a DTPIM with 15 kW-rated power. The accuracy of the proposed digital hardware implementation was evaluated according to the simulation and experimental results. Finally, statistical performance parameters were provided to analyze the efficiency of the proposed DTPIM hardware implementation method.

• Structural Engineering and Mechanics
• /
• v.29 no.5
• /
• pp.489-504
• /
• 2008

In piezoelectric flexible structures, the contribution of vibration modes to the dynamic response of system may change with the location of piezoelectric actuator patches, which means that the ability of actuators to control vibration modes should be taken into account in the development of modal reduction model. The spatial $H_2$ norm of modes, which serves as a measure of the intensity of modes to system dynamical response, is used to pick up the modes included in the reduction model. Based on the reduction model, the paper develops the state-space representation for uncertain flexible tructures with piezoelectric material as non-collocated actuators/sensors in the modal space, taking into account uncertainties due to modal parameters variation and unmodeled residual modes. In order to suppress the vibration of the structure, a dynamic output feedback control law is designed by imultaneously considering the conflicting performance specifications, such as robust stability, transient response requirement, disturbance rejection, actuator saturation constraints. Based on linear matrix inequality, the vibration control design is converted into a linear convex optimization problem. The simulation results show how the influence of vibration modes on the dynamical response of structure varies with the location of piezoelectric actuators, why the uncertainties should be considered in the reductiom model to avoid exciting high-frequency modes in the non-collcated vibration control, and the possiblity that the conflicting performance specifications are dealt with simultaneously.