• 한국경영과학회지
• /
• 제19권1호
• /
• pp.201-206
• /
• 1994

The linear search problem is concerned with finding a hiden target on the real line R. The position of the target governed by some probability distribution. It is desired to find the target in the least expected search time. This problem has been formulated as an optimization problem by a number of authors without making use of Markov Decision Process (MDP) theory. It is the aim of the paper to give a (MDP) formulation to the search problem which we feel is both natural and easy to follow.

• 품질경영학회지
• /
• 제21권1호
• /
• pp.65-77
• /
• 1993

Often in a production process, the quality of items is serially dependent. We assume that the quality of items is an attribute which can be classified as good or bad with a Markovian dependence structure. In order to determine sampling inspection plan characteristics such as total inspection cost and average outgoing quality, we design an economic model and illustrate an efficient procedure for design of best inspection plan using graphs based on numerical calculations.

• Communications for Statistical Applications and Methods
• /
• 제28권5호
• /
• pp.477-491
• /
• 2021

The Markov modulated Brownian motion is a substantial generalization of the classical Brownian Motion. On the other hand, the Markovian arrival process (MAP) is a point process whose family is dense for any stochastic point process and is used to approximate complex stochastic counting processes. In this paper, we consider a superposition of the Markov modulated Brownian motion (MMBM) and the Markovian arrival process of jumps which are distributed as the bilateral ph-type distribution, the class of which is also dense in the space of distribution functions defined on the whole real line. In the model, we assume that the inter-arrival times of the MAP depend on the underlying Markov process of the MMBM. One of the subjects of this paper is introducing how to obtain the first passage probabilities of the superposed process using a stochastic doubling algorithm designed for getting the minimal solution of a nonsymmetric algebraic Riccatti equation. The other is to provide eigenvalue and eigenvector results on the superposed process to make it possible to apply the GTH-like algorithm, which improves the accuracy of the doubling algorithm.

• 대한의용생체공학회:의공학회지
• /
• 제9권2호
• /
• pp.159-164
• /
• 1988

This thesis investigates the Quantitative aspect of epidemic phenomena utilizing the analytical method of discrete time systeMs based on the theory of Markov processes. In particular, the pattern on the epidemic character of turberculosis controlled by prophylaxis and BCG vaccinatioll was analyzed by the markovian model of tuberculosis system which is derived according to the ecologic relationship between nine epidemiologic states of individuals. The quantitative aspects of the model were characterized by digital computer simulations.

• 산업경영시스템학회지
• /
• 제22권51호
• /
• pp.231-240
• /
• 1999

A major concern in Concurrent Engineering is the control and management of workload in a period of process. As a general rule, leveling the peak of workload in certain period is difficult because concurrent processing is comprised of various processes, including overlapping, paralleling looping and so on. Therefore, the workload management with resource constraints is so beneficial that effective methods to analyze design process are momentous. This study presents the Timed Petri Nets approach of precedence logic networks, and provides an alternative for users to analyze constraint processes to resolve conflicts of resources. Another approach to Continuous Time Markov Chain using Stochastic Petri Nets is also proposed. These approaches are expected to facilitate resolving resource constrained scheduling problems more systematically in Concurrent Engineering environment.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 추계학술대회 및 정기총회
• /
• pp.7-11
• /
• 1998

ATM 망을 효율적으로 구축하고 여러 가지 형태의 제어를 통하여 망 자원을 안정적으로 관리하기 위해서는 망의 성능에 대한 다양한 관점에서의 분석이 필수적이며, 그 기본이 되는 것이 ATM 다중화기에 대한 성능 분석이다. ATM 다중화기에 입력되는 트래픽을 분석하는데 있어서 MRP(Markov Renewal Processes) 또는 SMP(Semi-Markov Processes)는 자동 상관계수를 계산하기가 비교적 용이해서 높은 양의 상관관계를 가지는 버스티한 트래픽을 표현하기에 적절한 구조를 가지고 있으며, 입력 트래픽의 머무는 시간이 어떠한 분포이든 표현 가능한 장점이 있다. 본 연구에서는 ATM 트래픽을 분석하는데 있어서 입력되는 on/off 소스를 MRP로 모형화하고, 이를 도착과정으로 하는 이산시간 MR/D/1B 대기시스템으로 구성하여 ATM 다중화기의 셀 손실확률 등의 성능분석을 제시한다. 또한 본 연구에서 제시한 방법에 대한 타당성 검증을 위하여 시뮬레이션과 비교 검토한다.

• 대한원격탐사학회지
• /
• 제21권5호
• /
• pp.417-423
• /
• 2005

A fuzzy approach using an EM algorithm for image classification is presented. In this study, a double compound stochastic image process is assumed to combine a discrete-valued field for region-class processes and a continuous random field for observed intensity processes. The Markov random field is employed to characterize the geophysical connectedness of a digital image structure. The fuzzy classification is an EM iterative approach based on mixture probability distribution. Under the assumption of the double compound process, given an initial class map, this approach iteratively computes the fuzzy membership vectors in the E-step and the estimates of class-related parameters in the M-step. In the experiments with remotely sensed data, the MRF-based method yielded a spatially smooth class-map with more distinctive configuration of the classes than the non-MRF approach.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 2001년도 Bulletin of The 5th Asian Design Conference International Symposium on Design Science
• /
• pp.26.2-26
• /
• 2001

• 정보과학회 논문지
• /
• 제42권6호
• /
• pp.748-754
• /
• 2015

본 연구에서는 다중 상태 변수의 인수 HMM을 일반화하여 연속 은닉 변수와 이산 은닉 변수가 결합된 순차 상태 추정 모형을 제안하고 이에 기반한 보행 동작 모형을 설계한다. 유한 상태의 이산변수는 마르코프 연쇄 구조로 보행의 동역학적 특성을 표현하고 각 이산 상태에 대해 연속 변수를 독립변수로 한 가우스 과정을 정의한다. 마르코프 상태 천이는 여러 가우스 과정 사이의 스위칭을 제어하며 각 가우스 과정은 동일한 자세의 회전 또는 다양한 시각을 표현한다. 온라인 필터링 추론을 위해 입자 필터 방식의 추론 알고리듬도 제시한다. 이 알고리듬은 입력 벡터 열이 주어졌을 때 이들 병렬적 가우스 과정을 동적으로 갈아타는 스위칭 궤적을 디코딩 해준다. 실험 결과 비선형적 보행자 비디오 영상을 보행방향과 보행 상태의 열로 분리하며 매우 직관적인 해석을 할 수 있음을 보였다.

• Nuclear Engineering and Technology
• /
• 제19권4호
• /
• pp.279-291
• /
• 1987

현재 원자력발전소의 확률론적 위해도 평가에 사용되는 사상 수목이나 고장수목 기법은 부품이나 계통의 이원적상태와 정적 묘사에 근거하고 있다 이 기법이 대부분의 안전해석에는 적합하지만, 요사이 점차 중요관심사가 되고 있는 발전소의 이용률 측정이나 기술 사양서 평가 같은 문제를 정확하게 다루기 위해서는 마코프 신뢰도 분석과 같은 보다 진보된 기법이 필요하다. 이 논문은 가압경수로의 원자로 보호계통을 위한 마코프 신뢰도 모델을 기술하고 기술사양서의 두 검사 절차를 분석한 결과를 제시한다.