• Journal of the Korea Society for Simulation
• /
• v.10 no.1
• /
• pp.13-24
• /
• 2001

We propose a divide-conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. We introduce the P-invariant transitive matrix of Petri nets and relationship between them. The feature of the P-invariant transitive matrix is that each element stands for the transitive relationship between input place and output place through the firing of the enable transition.

• Journal of the Korea Society for Simulation
• /
• v.11 no.4
• /
• pp.57-68
• /
• 2002

The analysis of the cyclic scheduling problem in FMS using the transitive matrix has been proposed. Since the transitive matrix may explain all the relations between the places and transitions, we propose an algorithm to get good solution after slicing off some subnets from the original net based on machines operations. For analyzing the schedule problem, we considered two time functions such as produce time and waiting time using the P-invariant. In addition, we are shown the effectiveness of proposed algorithm after comparing with unfolding algorithms.

• 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) 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

• Journal of Korean Society for Geospatial Information Science
• /
• v.8 no.1 s.15
• /
• pp.105-110
• /
• 2000

Since the advent of high resolution satellite image, possibilities of applying various human interpretation mechanism to these images have increased. Also many studies about these possibilities in many fields such as computer vision, pattern recognition, artificial intellegence and remote sensing have been done. In this field of these studies, texture is defined as a kind of quantity related to spatial distribution of brightness and tone and also plays an important role for interpretation of images. Especially, methods of obtaining texture by statistical model have been studied intensively. Among these methods, texture measurement method based on cooccurrence matrix is highly estimated because it is easy to calculate texture features compared with other methods. In addition, these results in high classification accuracy when this is applied to satellite images and aerial photos. But in the existing studies using cooccurrence matrix, features have been chosen arbitrarily without considering feature variation. And not enough studies have been implemented for appropriate resolution selection in which cooccurrence matrix can extract texture. Therefore, this study reviews the concept of cooccurrence matrix as a texture measurement method, evaluates usefulness of several features obtained from cooccurrence matrix, and proposes appropriate resolution by investigating variance trend of several features.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1697-1700
• /
• 2003

유연생산 시스템에서 스케줄링 문제는 기본적으로 조합 최적화 문제로서 NP-hard problem 으로 알려져 있으며 문제의 크기에 따라 복잡도가 지수적으로 증가하게 된다. 이러한 복잡도를 줄이기 위해 우리는 넷의 행위적인 속성에 따른 제어 흐름들의 집합을 병행적 기본 단위(BUC)로 정의하고, 이들을 종합화함으로 최종적인 스케즐링을 얻게 된다. 본 연구에서는 이러한 병행적 기본 단위로 넷을 분할하여 스케줄링을 분석하는 알고리즘을 제안한다.

• Journal of Korean Society of Transportation
• /
• v.19 no.3
• /
• pp.101-113
• /
• 2001

Since late 1970s. one of the principal research areas in transportation problem is dynamic traffic assignment (DTA). Although many models have been developed regarding DTA, yet they have some limits of describing real traffic patterns. This reason comes from the fact that DTA model has the time varying constraints such as state equation, flow propagation constraint, first in first out(FIFO) rule and queuing evolution. Thus, DTA model should be designed to satisfy these constraints as well as dynamic route choice condition, dynamic user equilibrium. In this respect, link-based DTA models have difficulty in satisfying such constraints because they have to satisfy the constraints for each link, while path-based DTA models may easily satisfy them. In this paper we develop a path-based DTA model. The model includes point queue theory to describe the queue evolution and simulation loading method for depicting traffic patterns in more detail. From a numerical test, the model shows promising results.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.4
• /
• pp.292-298
• /
• 2002

We focus on the slicing off some sub-nets using the transitive matrix. Control flows in the Petri nets is done based on the token flows. One control f]ow explains the independent tokens status and if the token-in divides into several tokens after firing a transition then the control flow divides to several flows, as well. Accordingly, we define that the basic unit of concur-rency (short BUC) is a set of the executed control flows based on the behavioral properties in the net. The BUC is S-invariant which has one control flow. We show the usefulness of transitive matrix to slice off some subnets from the original net based on BUC-through on an example.

• Journal of Korea Foresty Energy
• /
• v.22 no.3
• /
• pp.1-10
• /
• 2003

The successional status and potential natural vegetation were examined in the natural deciduous forest in Mt. Chombong area. The examination was based on the subsequent process of generation replacement by understory saplings for the dominant canopy trees within 106 20mx20m square sample plots. 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 study forest is still seral, and it is considered to be more than 500 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 Kalopanax pictus from current 42.6% and 8.1% to less than 13.3% and 0.5%, respectively, at the steady state. On the contrary, the proportions of Abies holophylla, Acer mono, Fraxinus mandshurica, Tilia amurensis, and Acer pseudo-sieboldianum will increase at the steady state. The change of predicted composition ratio was generally coincide with the result of tolerance index to be compared with the study model. The hypothesis and sensitivity of the 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 human related interference.

• Journal of Korean Society of Forest Science
• /
• v.94 no.6
• /
• pp.387-396
• /
• 2005

Having employed the transitional probability model based on Markov chain, the study was carried out to examine successional trends for community types in the natural deciduous forest of Mt. Jumbong. The species composition of oncoming generation in overstory was estimated from that of mid-story, and the species composition in mid-story was based upon that of understory. Successional trend for each community was predicted from the reorganized probability matrix of tree replacement by the square of climax index, which was evaluated by the factors of light absorption, reproduction, and wood quality. As the result of analysis, following table shows the oncoming generation of steady state and dominant species in overstory and mid-story by community types. Even though Acer pseudo-sieboldianum and Carpinus cordata could hardly reach the canopy layer due to the intrinsic growth form, these species were predicted to maintain high compositional ratio so as to play an important ecological role in the study forest ecosystem.

• Journal of Information Management
• /
• v.20 no.1
• /
• pp.66-85
• /
• 1989

The purpose of this study is to verify the following two hypotheses by using a test collection of 3.815 documents on the subject of chemistry. First hypothesis is that a Markov chain model can be used t9 describe and predict authors' movements among subareas of a discipline. Second hypothesis is that a transition matrix of the Markov chain can be applied to describ the intellectual structure of a discipline en the multidimensional space. The results of this study have shown that the Markov chain is a good model to be used to study the movement of korean chemists in 7 subtopics in chemistry and understand the intellectual structure of chemistry.