• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.694-696
• /
• 2002

본 연구에서는 패트리 넷에서의 교착 상태 확인을 추이적 행렬을 이용하여 분석하는 기법을 제안한다. 교착 상태란 패트리 넷에서 마킹이 더 이상 진행 되지 못하고 서로 점화 가능 상태를 기다리는 상태로 자원 공유의 문제에서 많이 발생 가능하다. 따라서. 모든 플레이스와 트랜지션과의 관계를 나타내는 추이적 행렬을 이용하여 간단하게 확인분석이 용이한 기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.751-754
• /
• 2007

본 연구에서는 유연생산시스템에서의 교착상태 확인 및 회피 알고리즘을 추이적 행렬을 이용하여 제안한다. 추이적행렬은 플레이스와 플레이스간의 관계를 표현함으로 마킹의 흐름을 플레이스와 트랜지션간의 관계형에서 상태와 상태간의 관계를 표현함으로 상태의 변화 검증에 편리하다. 교착상태 확인 및 회피 알고리즘을 제시하고, 기존에 발표되어진 siphon과 DAPN알고리즘간의 비료 검토를 통하여 제안한 알고리즘의 유용성을 검증하였다.

• Journal of the Korea Society for Simulation
• /
• v.19 no.4
• /
• pp.67-75
• /
• 2010

Deadlock usually appears in contain subsystem which is run in parallel and resources share modules. Siphons and traps have been well introduced to characterize deadlocks of Petri nets. Siphon concept be well used for proposing the detect and prevent deadlock by the pleasure researchers. But it's need many times and efforts to detect all siphon sub-nets in the Petri model. Since transitive matrix could explain all relations between the place and transitions in Petri nets, we propose an algorithm to detect all siphon sub-nets after analyzed the transitive matrix's properties. Examples are givens to illustrate the method.

• Journal of the Korea Society for Simulation
• /
• v.17 no.3
• /
• pp.75-83
• /
• 2008

A deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop and it is one of the important problems in process control system to detect and prevent deadlocks. While the reachability analyze methods or divide subnets for analyzing methods are well used, it requires a lot of times and effects to analyze the detection of the deadlock status. Furthermore, it could not be effective if the model is complex or huge. Therefore, it is necessary to develop a new and more efficient deadlock detection algorithm. In this paper, a deadlock detection conditions after analyzed the Petri Net using the transitive matrix has been proposed to solve these problems. For presenting the results, the suggested deadlock detection algorithm was also adapted to an illustrated FMS (Flexible Manufacturing System) model.

• Journal of the Korea Society for Simulation
• /
• v.18 no.1
• /
• pp.9-16
• /
• 2009

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. About the deadlock detection analysis methods are may divide like as Siphon, DAPN and transitive matrix, but it's very difficult to evaluate the performance. Since DES (Discrete Event Systems) is NP-hard, and these detection and avoidance methods used various factors in each technique, it's made difficult to compare with each other's. In this paper, we are benchmarked these deadlock detection analyze methods based on the complexity, the detection time and the understanding after approached to one example.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.807-810
• /
• 2003

EMFG(Extended Mark Flow Graph)는 이산시스템을 개념설계하거나 상세설계할 수 있는 좋은 도구이다. 시스템을 설계함에 있어서 마크흐름을 분석하는 것은 시스템의 성능향상과 직결되므로 상당히 중요한 작업이다. 본 논문에서는 EMFG의 각 박스들간의 상태변화를 박스추이가중행렬을 통하여 확인, 분석하는 기법을 제안하고자 한다. EMFG로 설계한 시스템의 상태변화를 쉽게 분석함으로써 시스템의 설계 및 분석이 쉬워지므로 자동화된 시스템 개발시 유용하게 사용될 것으로 기대된다.

• 한국데이터정보과학회:학술대회논문집
• /
• 2003.10a
• /
• pp.107-113
• /
• 2003

최근 활발히 행하여지고 있는 금융 CRM(customer relationship management)의 주요 목적은 고객의 이해도 증진을 통하여 은행의 수익성을 높이는데 있으며 또한 그 과정에서 높은 수익과 낮은 수익을 주는 고객을 여러 가지 유형으로 나누어 관리에 효율성을 도모한다. 일반적으로 고객 세분화의 중요변수로 고객수익성을 고려하고 이러한 고객 세분화 결과에 의해 마케팅 시사점을 도출하게 된다. 본 연구에서는 고객 세분화 그룹에 따른 수익성 변동과정을 모형화하여 보다 효율적인 고객관계 관리를 가능하게 하는데 있다. 수익성 변동의 모형화 과정은 수익금액에 따라 고객을 몇 개의 범주로 분류하여 여러 기간에 걸쳐 나타내는 고객별 범주의 변화 추이를 전이행렬(transition matrix)로 나타내고 마코프 모형을 이용한 전이 확률의 추정을 통하여 다음 시점에서의 각 범주별 고객의 수를 예측 가능함을 보인다.

• Korean journal of applied entomology
• /
• v.36 no.3
• /
• pp.215-223
• /
• 1997

A matrix model of rice weevil population based on degree day (DD) was constructed. The basic matrix model predicted on exponential jncrcase of the adult weevil density and the finite rate of increase(h) of the population was estimated to be 2.155/100DD. Adult density simulated by the matrix model including intraspecific competition showed a damped oscillation over time and reached at the stationary level of 530 at 69, 300DD. The experimental population showed similar features to that of the model. But there were some differences in the highest density and period of adult oscillation. The differences could largely be caused by the assumption of the model; resource constancy.

• Journal of the Korean Society for information Management
• /
• v.6 no.2
• /
• pp.21-44
• /
• 1989

This study investigates author cocitation and author transition analysis which are two techniques to be used to construct author and concept networks by using a test collection of 4, 598 documents on the subject of chemistry. The author and concept networks can be used to understand the structual Knowledge of terms as well as intellectual structure of science. So, these networks could be basic data of knowledge base for subject literature.

• Journal of Korean Society of Forest Science
• /
• v.81 no.4
• /
• pp.325-336
• /
• 1992

The successional status and potential natural vegetation were examined in a mixed broadleaved-Abies forest located at Mt, Odae National Park. The examination was based on the subsequent process of generation replacement by understory saplings for the dominant canopy trees within 88 $5m{\times}50m$ belt transects. The transition matrix model, which was modified from mathematical theory of Markov chain, was employed to analyze the successional status of the study forest. The model suggests that the study forest is still seral, and it is considered to be more than 700 years away from the steady state or climax in terms of species composition. The simulations predict a remarkable decrease in the proportion of species composition of the present dominant Quercus mongolica and Tilia amurensi.s from current 28% and 13% to less than 3% and 5%, respectively, at the steady state. On the contrary, the proportions of Abies holophylla, Acer pseudo-sieboldianum, Carpinus cordata, and Pinus koraiensis will increase at the steady state. The ratio of mixture between deciduous and coniferous trees will be gradually changed from current 6.5 : 3.5 to 5.0 : 5.0 at equilibrium. Discussion for the problems of Quercus mongolica in successional status noted that the species behaved as a mid-successional dominant, not a climax species in the study forest. The hypothesis and sensitivity of the transition matrix model were also discussed to evaluate the applicability to the real situation. The overall results indicated that the present dynamics of the forest must reflect the seral state due to previous disturbance mainly by hyman related interference.