• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.24-29
• /
• 2008

여러 개의 작업이 동시에 작동 할 때 서로 다른 작업에서 특정한 로봇이나 장치를 사용하기 위하여 상대방의 작업이 끝나기를 기다리는 상태를 교착상태라 하며 생산공정에서는 효율성과 경제성 제고에 가장 중요한 문제 중 하나다. 지금까지 이러한 교착상태 확인은 도달성(reachability)기법이나 서브넷(Subnet)으로 분리하여 분석하는 기법 등이 가장 많이 사용 되었으나, 분석에 필요한 시간과 노력, 복잡성과 효율성에 있어서 효과적이지 못한 단점을 가지고 있다. 본 연구는 페트리넷(Petri Net)에서 모든 플레이스(Place) 간의 관계를 나타내는 추이(Transitive)행렬을 이용하여 교착상태가 나타날 가능성이 있는 자원공유 플레이스(Place)를 분석하여 교착상태를 검증하는 정책을 제시한다. 이를 위하여 교착상태를 확인할 수 있는 자원공유 플레이스의 관계를 정의하고, FMS(Flexible Manufacturing System) 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

• The Journal of the Acoustical Society of Korea
• /
• v.17 no.3
• /
• pp.90-95
• /
• 1998

본 논문에서는 CHMM인 CDHMM과 ARHMM을 이용하여 화자적응화 하는 방법을 각각 연구하였다. CDHMM에서는 최대사후화확률 추정법에 의하여 각 상태마다 하나의 가 지를 이용하여 화자에 적응시킨다. 본 논문에서는 음성의 다양한 음향학적 특징을 표현하기 위하여 상태마다 여러 개의 가지를 갖는 방법을 제안하였다. 상태마다의 적절한 가지 수를 결정하기 위하여 각 상태에 속하는 프레임 수와 특징 벡터들의 분산행렬의 행렬식값을 이용 하였다. ARHMM에서는 특징벡터로 선형예측계수를 사용하기 때문에 최대사후화확률 추정 법을 사용할 수 없게 된다. 따라서 화자독립모델을 이용하여 적응화자에 대한 음성을 Viterbi 알고리듬으로 상태별로 분할한 후 k-means 알고리듬을 이용하여 각 상태마다 하나 의 가지를 갖는 모델로 적응시키는 방법을 제안하였다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.4 no.1
• /
• pp.3-12
• /
• 1994

본 연구는, 복잡한 비선형시스템의 표현에 뛰어난 능력을 갖고 있는 TSK형 퍼지모델로 부터 전체시스템의 안정성을 보장할 수 있는 퍼지상태제어기의 설계방법을 제안한다. 그 퍼지상태제어기는 TSK형 퍼지모델과 같은 형태의 퍼지규칙들로 구성되며, 추론 방법 및 상태제어 파라미터 행렬을 구하는 방벙은 전체시스템의 상태천이행렬이 원하는 안정한 것이 될 수 있도록 정해진다. 또한 본 논문에서는, 현재 대부분이 숙련가에 의해 수동으로 조작되고 있는 컨테이너 크래인의 새로은 제어 방법을 제시하고 제안한 퍼지상태제어기를 적용한다.컨테이너 크래인의 모형을 만들어, 제어숙련가의 수동조작으로 결정되는 트롤리와 승강기의 규범속도를 퍼지모델로 표현하고, 트롤리와 승강기가 그 규범 속도에 따르도록 제안한 퍼지상태제어기로 제어한다. 제안된 방법을 실험한 결과 모형크레인의 궤적이 숙련가에 의해 만들어진 궤적과 매우 유사하게 됨을 알 수 있었다.

• Journal of Advanced Navigation Technology
• /
• v.20 no.5
• /
• pp.475-481
• /
• 2016

In this paper, the new stability condition of linear discrete interval time-varying systems with time-varying delay time is proposed. The considered system has interval time-varying system matrices for both non-delayed and delayed states with time-varying delay time within given interval values. The proposed condition is derived by using Lyapunov stability theory and expressed by very simple inequality. The restricted stability issue on the interval time-invariant system is expanded to interval time-varying system and a powerful stability condition which is more comprehensive than the previous is proposed. As a results, it is possible to avoid the introduction of complex linear matrix inequality (LMI) or upper solution bound of Lyapunov equation in the derivation of sufficient condition. Also, it is shown that the proposed result can include the many existing stability conditions in the previous literatures. A numerical example in the pe revious works is modified to more general interval system and shows the expandability and effectiveness of the new stability condition.

• Journal of Korean Society of Transportation
• /
• v.17 no.2
• /
• pp.179-191
• /
• 1999

To device effective freeway traffic flow control strategies and freeway traffic information dissemination strategies, it is very important to estimate real physical queue length on the freeway. Shock wave theory and queueing theory have limitation to be used to estimate the queue length. The primary objective of this study is to develop a reliable method for estimating the physical queue length and level of congestion. Queueing propagation processes were analysed by using such traffic data as main line traffic volume, ramp volume, density. speed, and physical queue length collected by video photographing on Olympic Freeway. As a result of analysis, it has been confirmed that the real queue length can be estimated by using the traffic counts arriving the congested region and passing a bottleneck location. Further more, a reliable method for estimating the level of congestion could be developed on the basis of real-time traffic counts.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.1133-1136
• /
• 2005

Markovian Service Process(MSP)는 기존의 Markovian Arrival Process(MAP)에서 사용하던 위상 개념을 고객의 서비스 과정에 대응시킨 모형이다. 이는 서버의 상태에 따라 달라질 수 있는 서비스 상태를 위상 변화에 대응시키는 모형이다. 본 논문에서는 대기행렬 모형의 중요한 성능 척도인 고객 수 분포에 관하여 임의시점, 고객 도착 직전 시점, 고객 이탈 직후 시점에서의 관계식을 유도한다.

• Journal of Korean Society of Transportation
• /
• v.19 no.4
• /
• pp.109-121
• /
• 2001

본 연구는 공간적 정보를 수집할 수 있는 영상검지기를 이용하여 주어진 대기행렬길이를 기반으로 하는 최적주기 알고리즘을 개발함으로써 교통신호 제어에 대한 새로운 신호계획을 제공한다. 본 연구에서는 교통수요의 공간적인 정보를 획득하는 방안으로서 영상검지기 기반의 대기행렬길이를 사용한다. 전략적 측면에서 다양한 교통상태를 적용하였으며, 주요 결과는 아래와 같다. 1. 영상검지기 기반의 대기행렬길이 계산방안을 제안한다. 이 방법은 한 링크의 상류부와 하류부에 2대의 영상검지기를 설치하여 대기행렬길이를 산출하는 방안이다. 2. 신호제어 변수인 주기 계산모형이 개발된다. 이 방법 역시 영상검지기를 기반으로 하는 대기행렬길이를 사용한다.

• Journal of Advanced Navigation Technology
• /
• v.27 no.6
• /
• pp.871-876
• /
• 2023

In this paper, we deal with the stable conditions when two uncertainties exist simultaneously in a linear discrete time-varying interval system with time-varying delay time. The interval system is a system in which system matrices are given in the form of an interval matrix, and this paper targets the system in which the delay time of these interval system matrices and state variables is time-varying. We propose the system stability condition when there is simultaneous unstructured uncertainty that includes nonlinearity and only its magnitude and uncertainty in the system matrix of delayed state variables. The stable bounds for two types of uncertainty are derived as an analytical equation. The proposed stability condition and bounds can include previous stability condition for various linear discrete systems, and the values such as time-varying delay time variation size, uncertainty size, and range of interval matrix are all included in the conditional equation. The new bounds of stability are compared with previous results through numerical example, and its effectiveness and excellence are verified.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.7 no.6
• /
• pp.110-116
• /
• 1998

For the vibration analysis of 3-dimensional piping system containing fluid flow, a transfer matrix method is presented. The fluid velocity and pressure were considered, that coupled to longitudinal and flexural vibrations. Transfer matrices and point matrices were derived from direct solutions of the differential equations of motion of pipe conveying fluids, and the variations of natural frequency with flow velocity for 3-dimensional piping system were investigated.

• The Proceedings of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.2 no.4
• /
• pp.62-69
• /
• 1988

선형 시스템에 대한 Lyapunov 함수의 구성법은 잘 알려져 있으나, 비선형 시스템의 Lyapunov 함수 구성법은 아직 체계화되어 있지 못하다. 따라서, 본 논문에서는, 비선형 시스템의 안전도 해석을 위하여, 종래의 정상상태 부근에서 Taylor 전개에 의한 선형화 기법에 의존하지 않고, 비선형 시스템을 나타내는 상태공간의 활동성 모델로부터, 비선형성을 나타내는 항을 분리하여, 특수행렬변환시킴으로서, 선형 시스템의 Lyapunov 함수 구성법을 살린, 행렬다항식형 Lyapunov 함수를 구성하고, 이를 유도전동기의 안전도 해석에 적용시켰다. 그 결과, 구해진 안정영역은, 선형화에 의한 것보다는 훨씬 넓은 초공간으로 표현되는 유도전동기의 점근안정영역이 되었다.