• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.27 no.4
• /
• pp.15-22
• /
• 2004

본 논문의 목적은 유한 저장공간을 가지는 대기행렬 시스템에서 완전공유(Complete Sharing), 완전분할(Complete Partitioning), 최소할당공유(Sharing with Minimum Allocation)와 같은 다양한 저장공간 공유방안들을 비교ㆍ분석하는 것으로, 이를 위하여 먼저 각각의 공유방안에서의 대기행렬 안정상태확률을 효율적으로 구할 수 있는 방법이 제시되었다. 다음으로 각각의 저장공간 공유방안을 특징짓는데 필요한 몇 가지 성질들이 규명되었으며, 이를 토대로 각각의 저장공간 공유방안에 대하여 시스템 성능척도인 생산률들을 도출하는 한편, 이들의 대소관계를 파악하고, 수치실험을 통하여 이를 입증하였다.

• Journal of the Korea Society for Simulation
• /
• v.15 no.1
• /
• pp.1-10
• /
• 2006

The Flexible Management System (FMS) consists of parallel and concurrent machines, pieces of equipment, and carrying systems classified as buffers, tools, and routers, respectively. The concurrent flow of multiple productions in a system is competed with one another for resources and this resulting competition can cause a deadlock in FMS. Since a deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop, it is very important to detect and prevent a deadlock. Herein a new algorithm has been studied in order to detect and prevent deadlocks, after defining a relationship between the general places and resource share places in Petri nets like as DAPN: Deadlock Avoidance Petri Net. For presenting the results, the suggested algorithms were also adapted to the models that demonstrated FMS features.

• Computational Structural Engineering
• /
• v.11 no.1
• /
• pp.179-190
• /
• 1998

A geometrically nonlinear finite element formulation of spatial cable networks is presented using two cable elements. Firstly, derivation procedures of tangent stiffness and mass matrices for the space truss element and the elastic catenary cable element are summarized. The load incremental method based on Newton-Raphson iteration method and the dynamic relaxation method are presented in order to determine the initial static state of cable nets subjected to self-weights and support motions. Furthermore, static non-linear analysis of cable structures under additional live loads are performed based on the initial configuration. Challenging example problems are presented and discussed in order to demonstrate the feasibility of the present finite element method and investigate static nonlinear behaviors of cable nets.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.23 no.2
• /
• pp.133-138
• /
• 2013

This paper addresses a state consensus controller design technique of Takagi-Sugeno fuzzy model-based multi-agent systems in a continuous-time domain. We express the interconnection topology among the agents through graph theory. The design condition is represented in terms of linear matrix inequalities. Numerical example is provided to demonstrate the effectiveness of the proposed method.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.10
• /
• pp.2171-2179
• /
• 2009

In this paper, we propose a novel Image Encryption using MLCA (Maximum Length Cellular Automata) and CAT (Cellular Automata Transform). Firstly, we use the Wolfram rule matrix to generate MLCA state transition matrix T. Then the state transition matrix T changes pixel value of original image according to pixel position. Next, we obtain Gateway Values to generate 2D CAT basis function. Lastly, the basis function encrypts the MLCA encrypted image into cellular automata space. The experimental results and security analysis show that the proposed method guarantees better security and non-lossy encryption.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.4
• /
• pp.1-12
• /
• 2003

In this study, a regime where independent treatment of SETs in transient simulations is valid has been identified quantitatively. It is found that as in the steady-state case, each SET can be treated independently even in the transient case when the interconnection capacitance is large enough. However, the value of the load capacitance $C_{L}$of the interconnections for the independent treatment of SETs is approximately 10 times larger than that of the steady state case. A compact SET transient model is developed for transient circuit simulation by SPICE. The developed model is based on a linearized equivalent circuit and the solution of master equation is done by the programming capabilities of the SmartSpice. Exact delineation of several simulation time scales and the physics-based compact model make it possible to accurately simulate hybrid circuits in the time scales down to several tens of pico seconds. The simulation time is also shown to depend on the complexity level of the transient model.l.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.46 no.4
• /
• pp.42-49
• /
• 2009

This paper proposes a driving current control method for a back light unit (BLU), consisting of red, green, and blue (RGB) light-emitting diodes (LEDs), whereby an RGB optical sensor is used to check the output color stimulus variation to enable a time-stable color stimulus for light emission by the RGB LED BLU. First, to obtain the present color stimulus information of the RGB LED BLU, an RGB to XYZ transform matrix is derived to enable CIEXYZ values to be calculated for the RGB LED BLU from the output values of an RGB optical sensor. The elements of the RGB to XYZ transform matrix are polynomial coefficients resulting from a polynomial regression. Next, to obtain the proper duty control values for the current supplied to the RGB LEDs, an XYZ to Duty transform matrix is derived to calculate the duty control values for the RGB LEDs from the target CIEXYZ values. The data used to derive the XYZ to Duty transform matrix are the CIEXYZ values for the RGB LED BLU estimated from the output values of the RGB optical sensor and corresponding duty control values applied to the RGB LEDs for the present, first preceding, and second preceding sequential check points. With every fixed-interval check of the color stimulus of the RGB LED BLU, the XYZ to Duty transform matrix changes adaptively according to the present lighting condition of the RGB LED BLU, thereby allowing the RGB LED BLU to emit the target color stimulus in a time-stable format regardless of changes in the lighting condition of the RGB LEDs.

• The Proceedings of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.8 no.4
• /
• pp.63-69
• /
• 1994

본 논문에서는 원자력 발전소 정상 운전시 제어 및 상태벡터 가변을 고려한 최적제어 문제가 연구되었다. 제어기 설계시 제어 및 상태벡터가 변하는 경우를 고려하여 제어기를 구성하고 운전중 상태 및 제어벡터 가변에 따라 변하는 제어기의 최적이득을 정한정 및 양한정 행렬을 이용해 구함으로서 운전중의 부하변화 및 외란에 대해 실질적인 최적제어가 되도록 하였다. 시뮬레이션 결과 정상상태의 부하변화에 대해서는 제어목적에 맞게 잘 추종하고 있었고 원자로 입·출구 및 가압기 계통의 외란에 대해서는 정상상태시의 부하변화와 같은 응답특성을 갖으나 적은 외란에 대해서도 부하가 크게 변하는 회과를 갖는 응답특성을 보이고 있어 외란이 시스템 전반에 미치는 영향이 매우 큼을 보이고 있다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1993.04a
• /
• pp.75-79
• /
• 1993

본 연구에서는 원통형 셀을 Donnell-Mushitari의 Thin Shell로 모델링하고, 유체의 거동은 Hankel 함수를 배제하고 유한차분법(Finite Difference Method)으로 모델링하여, 상태 벡터(State Vector)해석법, 전달 행렬 및 푸리 에 변환(Fourier Transform)을 사용, 무한 원통형 몰수체의 강제 진동을 해 석하였다.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.1304-1305
• /
• 2015

본 논문은 타카기--수게노 퍼지 다개체 시스템의 상태 일치를 위해, 관측기 기반 출력 궤환 퍼지 제어기의 설계 기법을 제안한다. 각 개체간의 통신 네트워크는 그래프 이론을 통해 나타내며, 제어기의 설계 조건은 선형 행렬 부등식으로 표현한다.