• 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.

• Korean Journal of Optics and Photonics
• /
• v.5 no.1
• /
• pp.25-30
• /
• 1994

We derive a set of formuale which show one-to-one correspondence between the the unitary Jones matrices of transparent anisotropic media and the rotational transformations on the Poincare sphere. By using the formuale one can determine the vectorial representation of the rotational transformation on the Poincare sphere which specifies the direction of the axis and the angle of the rotation in terms of the three parameters specific to the corresponding unitary Jones matrix, and conversely the the three parameters of the uniatry Jones matrix in terms of the vectorial representation of the corresponding rotational transformation on the Poincare sphere. To understand the polarization transmission characteristics of an optical system consisting of transparent linear anisotropic media, start with the Jones calculus to get the unitary Jones matrix for the whole system and then convert it to a rotational transformation on the Poincare sphere, from which we can intuitively understand the effect of the optical system on the polarization state of the light passing through the system.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.371-378
• /
• 2002

The EMFG (Extended Mark Flow Graph) is known as a graph model for representing the discrete event systems. In this paper, we introduce input/output matrixes representing the marking variance of input/output boxes when each transition fires in an EMFG, and compute an incidence matrix. We represent firing conditions of transitions to a firing condition matrix for computing a firable vector, and introduce the firing completion vector to decide completion of each transition’s firing. By using them, we improve an analysis algorithm of the EMFG’s operation to be represented all the process of EMFG’s operation mathematically. We apply the proposed algorithm to the system repeating the forward and reverse revolution, and then confirm that it is valid. The proposed algorithm is useful to analysis the variant discrete event systems.

• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.4
• /
• pp.239-246
• /
• 2009

In this study, we analyze the mean waiting time on the nested open queueing network, where the population within each subnetwork is controlled by a semaphore queue. The queueing network can be transformed into a simpler queueing network in terms of customers waiting time. A major characteristic of this model is that the lower layer flow is halted by the state of higher layer. Since this type of queueing network does not have exact solutions for performance measure, the lower bound and upper bound on the mean waiting time are checked by comparing them with the mean waiting time in the transformed nested queueing network. Simulation estimates are obtained assuming Poisson arrivals and other phase-type arrival process, i.e., Erlang and hyper-exponential distributions. The bounds obtained can be applied to get more close approximation using the suitable approach.

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

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.773-776
• /
• 2001

본 논문에서는 캘리브레이션 패턴을 카메라와 평행한 평면에 위치시켜 카메라의 회전 요소를 없게 하여 회전 행렬이 단위 행렬이 되게 한 상태에서 카메라를 캘리브레이션 하였다. 카메라의 투영중심에 대한 투영면과 프레임 버퍼에서의 영상 중심 위치($C_x,\;C_y$), 촛점거리(f) 등의 내부 파라메타와 세계 좌표의 원점에 대한 카메라의 상대 위치($T_x,\;T_y,\;T_z$)를 서로 다른 거리에서 획득한 두 장의 패턴 영상을 이용하여 효과적으로 계산하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.210-213
• /
• 2003

본 연구에서는 뉴우턴법의 고정점 알고리즘에 적응 조정이 가능한 학습파라미터를 이용한 신경망 기반 독립성분분석기법을 제안하였다. 이는 고정점 알고리즘의 1차 미분을 이용하는 뉴우턴법에서 역혼합행렬의 경신 상태에 따라 학습율과 모멘트가 적응조정되도록 함으로써 분리속도와 분리성능을 개선시키기 위함이다. 제안된 기법을 512$\times$512 픽셀의 10개 영상으로부터 임의의 혼합행렬에 따라 발생되는 영상들의 분리에 적용한 결과, 기존의 고정점 알고리즘에 의한 결과보다 우수한 분리성능과 빠른 분리속도가 있음을 확인하였다.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.11 no.4
• /
• pp.231-237
• /
• 1999

A geometric non-linear finite element formulation of spatial ocean cable under currents is presented using multiple noded curved cable elements. Tangent stiffness and mass matrices for the isoparametric cable ele¬ment are derived and the initial equilibrium state of ocean cable subjected to self-weights, buoyancy, and current as well as support motions is determined using the load incremental method. Free vibration analysis of ocean cables is performed based on the initial equilibrium configuration. Numerical examples are presented and discussed in order to demonstrate the feasibility of the present finite element method and investigate dynamic characteristics of ocean cables.

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

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

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2008.04a
• /
• pp.618-621
• /
• 2008

Most hard disk drives that apply the ramp load/unload technology unload the heads at the outer edge of the disk while the disk is rotating. During the unloading process, slider-disk contacts may occur by lift-off force and rebound of the slider. The main issue of this paper is to prevent the slider-disk contact by changing the state matrix. Because the state matrix is related to the suspension and slider, to change the state matrix means the structural change of the suspension and slider. We investigate influence for variation of the state matrix components and analyze the relation between the state matrix and the suspension/slider.