• 정보학연구
• /
• 제5권1호
• /
• pp.133-142
• /
• 2002

본 논문에서는 linear window operator의 효율적인 구현 방안을 제안하였다. 블록 상태 공간함수를 이용하여 computational primitive를 찾아내고 이를 이용하여 프로세사의 datapath의 구현에 사용함으로서 효율적인 linear window operator의 구현을 가능하게 하였다. 또한 linear window operator의 실시간 처리를 위하여 데이터 분할 기법을 사용한 다중 프로세서 구조를 제안하였다. 블록의 크기에 따른 성능 분석을 통하여 제시된 프로세서 및 다중 프로세서의 성능이 우수함을 보였다.

• 자연과학논문집
• /
• 제8권2호
• /
• pp.69-75
• /
• 1996

다차원 디지탈 필터링 알고리즘을 실시간에 처리할 수 있는 효율적인 시스템 구현을 위한 VLSI 구조를 제안하였다. 다차원 디지탈 필터링 알고리즘에 내재된 병렬성을 상태공간식을 이용하여 추출하여, 이를 프로세서 설계에 사용함으로써 보다 효율적인 다차원 디지탈 필터의 실시간 구현을 기능하게 하였다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제24권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.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• 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.

• 한국시뮬레이션학회논문지
• /
• 제1권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.

• 한국정밀공학회지
• /
• 제12권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
• /
• 제45권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.

• 전기학회논문지
• /
• 제59권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
• /
• 제16권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
• /
• 제29권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.