• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.136-144
• /
• 1999

정규 순환 방정식형태로 표현된 문제로부터 시스톨릭 어레이를 유도하기 위하여 일반적으로 공간-시간 사상 기법이 널리 이용되고 있다. 이 기법에서 공간 행렬은 주어진 문제 공간을 시스톨릭 어레이로 사상시키는 역할을 한다. 이러한 공간 행렬에 의해 유도되는 시시톨릭 어레이가 유효한 것이 되기 위해서 몇 가지의 제약 조건을 필요로 한다. 본 논문에서는 지역 의존 제약 조건을 기초로 하여 3차원의 문제 공간으로부터 2차원의 시스톨릭 어레이를 유도하는 공간 행렬의 계산 방법을 제시하고자한다. 먼저, 지역 의존 조건을 만족시키기위해 공간 행렬의 요소들이 가져야 하는 조건을 찾고 이 조건으로부터 가능한 트사 벡터들을 선정한다. 다음으로, 필요조건으로서 이러한 투사 벡터들로부터 지역 의존 조건을 만족시키는 공간 행렬을 가지는 투사 벡터들을 선별함으로써, 유효한 시스톨릭 어레이를 유도할 수 있는 모든 가능한 공간 행렬들을 구한다. 이렇게 구해진 가능한 모든 공간 행렬은 시스톨릭 어레이를 위한 캐드도구 또는 시뮬레이터에서 유용하게 이용될 수 있다.

• 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 Navigation and Port Research
• /
• v.36 no.5
• /
• pp.379-385
• /
• 2012

In this paper, the stability and stabilization problems for marine vessels including surface and underwater vehicles are described. In the marine vessels, there are many and strong nonlinear parameters. These give hard design process and difficulties to us. In this article, at first we make a descriptor system representation as a controlled system to preserve the physical parameters of the system as it is. And we propose a new stability and stabilizability conditions based on the quadratic stabilization approach which gives a solution for the unreasonable problems produced by added mass. That is, the proposed conditions are not interfered with the nonsymmetric matrix constraint. And the stability condition is given by an matrix inequality such that it makes us to obtain a solution easily for something.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.11_12
• /
• pp.692-704
• /
• 2005

With the improvement of computer hardware, GPUs(Graphics Processor Units) have tremendous memory bandwidth and computation power. This leads GPUs to use in general purpose computation. Especially, GPU implementation of compute-intensive physics based simulations is actively studied. In the solution of differential equations which are base of physics simulations, tridiagonal matrix systems occur repeatedly by finite-difference approximation. From the point of view of physics based simulations, fast solution of tridiagonal matrix system is important research field. We propose a fast GPU implementation for the solution of tridiagonal matrix systems. In this paper, we implement the cyclic reduction(also known as odd-even reduction) algorithm which is a popular choice for vector processors. We obtained a considerable performance improvement for solving tridiagonal matrix systems over Thomas method and conjugate gradient method. Thomas method is well known as a method for solving tridiagonal matrix systems on CPU and conjugate gradient method has shown good results on GPU. We experimented our proposed method by applying it to heat conduction, advection-diffusion, and shallow water simulations. The results of these simulations have shown a remarkable performance of over 35 frame-per-second on the 1024x1024 grid.

• ICROS
• /
• v.1 no.3
• /
• pp.92-100
• /
• 1995

본 연구에서는 페트리 네트를 사용하여 모델링된 이산 사건 시스템의 제어시 발생하는 충돌 현상을 해결하기 위하여 퍼지 개념을 사용하였다. 이를 통하여 페트리 네트로 시스템을 제어할 경우 발생하는, 큰 문제점인 외부 시스템과의 데이터 입출력 설정의 어려움을 해결하는 방법을 보였다. 또한 제시된 규칙 행렬의 단순성으로부터 쉽게 충돌 현상하의 우선 순위를 변화시킬 수 있다. 시스템을 제어하는 전문가의 지식이 모호하여 단순히 상수값으로 우선순위를 표현할 수 없는 경우에는 퍼지개념을 이용하여 해결하였다. 이러한 방법들은 소규모의 모터 자동 조립 시스템을 제어하는데 부품의 수량, 작업의 대기 상태를 퍼지화하여 규칙행렬을 만들어 제어신호를 발생시켰다. FMS, CIM을 제어할 때 발생하는 Scheduling 문제도 본 논문의 방법을 사용하면 해결할 수 있다고 본다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.279-282
• /
• 2009

본 논문에서는 행렬응축기법 및 부구조기법을 이용하여 가변형 입체 복합 공간 구조물을 효율적으로 해석할 수 있는 해석기법을 제안하였다. 최근 구조공학의 발전과 더불어 다양한 사회적 경제적 요구에 의해 가변형 입체 복합 공간 구조물에 대한 연구가 진행되고 있다. 가변형 입체 복합 공간 구조물은 많은 구조부재가 필요 하며, 부재 수가 많아짐에 따라 각 절점이 가지는 자유도수가 크게 증가하여 초기 해석 과정에서 많은 시간이 요구된다. 또한 구조물이 변경되는 경우에는 변경되는 부분의 강성의 변화에 따라 전체 구조물의 강성이 변경되므로 이에 따른 전체 구조물의 재해석 과정이 필요하다. 이러한 점에서 구조물의 자유도수를 줄여주는 행렬응축기법과 반복적인 해석과정을 줄여주는 부구조기법은 가변형 입체 복합 공간구조물을 효율적으로 해석 할 수 있는 방법이 될 수 있다. 본 논문에서는 행렬응축기법과 부구조기법을 이용하여 가변형 입체 복합 공간 구조물을 효율적으로 해석할 수 있는 해석기법을 제안하고, 이를 토대로 구체적인 알고리즘을 작성하였다. 또한 알고리즘을 구체화시켜 가변형 입체 복합 공간 구조시스템에 적합한 구조해석 프로그램을 개발하여 예제 구조물에 대하여 구조해석을 수행하였으며, 구조해석 결과를 상용프로 그램의 구조해석 결과와 비교하여 해석기법에 대한 정확성 및 효율성을 검토하였다.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.241-247
• /
• 2008

In this study we consider an M/D/1 queue with a finite buffer. Due to the finiteness of the buffer capacity arriving customers can not join the system and turn away without service when the buffer is full. Even though a computational method for blocking probabilities in an M/D/1/K queue is already known, it is very complex to use. The aim of this study is to propose a new way to compute blocking probability by using (max,+)-algebra. Our approach provide a totally different and easier way to compute blocking probabilities and it is, moreover, immediately applicable to more generous queueing systems.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.5
• /
• pp.51-60
• /
• 1998

There have been several recent studies concerning the stability of fuzzy control system and the synthesis of stabilizing fuzzy controllers. This paper reports on a related study nf the TS (Takagi-Sugeno) fuzzy systems, and it is shown that the controller synthesis problems for the nonlinear systems described by the TS fuzzy model can be reduced to convex problems involving LMIs (linear matrix ineclualities). After classifying the TS fuzzy systems into three families based on how diverse their input matrices are, different controller synthesis procedure is given for each of these families. A numerical example is presented to illustrate the synthesis procedures developed in this paper.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.47 no.1
• /
• pp.75-80
• /
• 2019

In the recent aerospace and defence industries, it is required to develop small and low cost embedded systems. Based on a high speed digital signal processor (DSP), this paper first presents the development of an embedded system. To reduce the computation time of the high precision algorithm such as flight control, we also propose two algorithms for matrix multiplication. Validation results show that, compared to the performance using the $2{\times}2$ unit method, the performance of the proposed method 1 is improved, when the size of matrices is small. The proposed method 2 generally outperforms the $2{\times}2$ unit method.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.2
• /
• pp.205-211
• /
• 2012

The retrieved documents have to be transformed into proper data structure for the clustering algorithms of statistics and machine learning. A popular data structure for document clustering is document-term matrix. This matrix has the occurred frequency value of a term in each document. There is a sparsity problem in this matrix because most frequencies of the matrix are 0 values. This problem affects the clustering performance. The sparseness of document-term matrix decreases the performance of clustering result. So, this research uses the factor score by factor analysis to solve the sparsity problem in document clustering. The document-term matrix is transformed to document-factor score matrix using factor scores in this paper. Also, the document-factor score matrix is used as input data for document clustering. To compare the clustering performances between document-term matrix and document-factor score matrix, this research applies two typed matrices to self organizing map (SOM) clustering.