• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.241-247
• /
• 2008

본 연구에서는 하나의 포아송 도착과정(Poisson Arrival Process)과 상수(constant) 서비스 시간을 갖는 유한 버퍼(finite buffer) 대기행렬을 분석 대상으로 한다. 유한 버퍼로 인한 차단현상으로 도착하는 고객이 시스템에 진입하지 못하고 시스템을 떠나게 된다. 이러한 M/D/1/K 대기행렬에서 차단확률(blocking probability)의 계산방법은 이미 연구되어있지만, 계산과정이 매우 복잡하다. 본 연구에서는(max,+)-대수를 이용하여 차단확률을 도출하는 새로운 방법을 제안하고자 한다. 제안된 방법은 기존 연구결과보다 쉽게 차단확률을 계산할 수 있을 뿐만 아니라 보다 복잡한 대기행렬 망에서의 차단확률을 구하는데도 응용 될 수 있을 것이다.

• 한국철도학회논문집
• /
• 제12권2호
• /
• pp.267-275
• /
• 2009

Max-Plus 대수란, 선형 대수(linear algebra)에서의 더하기(addition) 연산과 곱하기(multiplication)연산을 최대값(maximization), 더하기(addition)로 각각 대체한 비선형 시스템을 말한다. Max-Plus 대수는 전통적인 의미의 선형 대수에서 다뤄지는 고유값(eigenvalue), 고유벡터(eigenvector), 안전성(stability) 등의 개념이 Max-Plus 대수에서도 그대로 적용되고, 그것의 의미 또한 실제 시스템의 다양한 해석을 가능케 하고 있어, 최대값 연산과 더하기 연산으로 이루어진 이산 사건 시스템(discrete event system)을 분석할 수 있는 유용한 도구가 된다. 이러한 이산 사건 시스템의 대표적인 예가 바로 환승을 고려한 열차 스케줄이다. 현재 수도권에는 1호선${\sim}$8호선, 인천 1호선, 분당선, 중앙선 등 11개 노선의 도시 철도가 운영되고 있다. 각 노선들은 서울 Metro, 서울도시철도공사, KORAIL 등 서로 다른 운영사에 의해 운영되고 있어서 각 노선의 스케줄 또한 노선간의 환승을 고려하지 않은 채 독립적으로 작성되고 있는 실정이다. 이러한 독립적인 열차 스케줄은 승객들의 긴 환승시간으로 이어진다. 본 연구에서는 Max-flus대수 방법론에 대한 자세한 설명을 기초로 1호선과 2호선, 4호선의 주요 환승역인 사당역과 신도림역, 시청역, 동대문역을 중심으로 Max-Plus 대수 방법론의 적용 가능성을 검토해 보았다.

• Industrial Engineering and Management Systems
• /
• 제11권4호
• /
• pp.397-405
• /
• 2012

This research proposes a framework of buffer management for multi-project systems in the critical chain project management (CCPM) method, expressed in the form of max-plus linear (MPL) representation. Since time buffers are inserted in the projects for absorbing uncertainties in task durations and protecting the completion times, the proposed method provides a procedure for frequently surveying the rates of consumed buffers and the rate of elapsed times. Their relation expresses the performance of the projects which is plotted on a chart through the completed processes. The chart presents the current performance of the projects and their interaction, which alerts managers to make necessary decisions at the right time for managing each project and the entire multi-project system. The proposed framework can analyze the complex system readily, and it enables managers to make an effective decision on scheduling. The effectiveness of the framework is demonstrated through a numerical example.

• 경영과학
• /
• 제24권1호
• /
• pp.25-34
• /
• 2007

In this study, we consider stationary waiting times in finite-buffer 3-node single-server queues in series with a Poisson arrival process and with either constant or non-overlapping service times. We assume that each node has a finite buffer except for the first node. The explicit expressions of waiting times in all areas of the stochastic system were driven as functions of finite buffer capacities. These explicit forms show that a system sojourn time does not depend on the finite buffer sizes, and also allow one to compute and compare characteristics of stationary waiting times at all areas under two blocking rules communication and manufacturing blocking. The goal of this study is to apply these results to an optimization problem which determines the smallest buffer capacities satisfying predetermined probabilistic constraints on stationary waiting times at all nodes. Numerical examples are also provided.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.157.6-157
• /
• 2001

We estimated various neuron functions to construct of engineering neurons, which are the combination of sigmoid, linear, sine, quadric, double/single bended, soft max/minimum functions. These combinations are estimated by the property on the potential surface between the learning points, calculation speed, and learning convergence; because the surface depends on the inference ability of a neuron system; and speed and convergence are depend on the efficiency on the points of engineering applications. After the evaluating discussions, we can select more appropriate combination than original sigmoid function´s, which is single bended function and linear one. The combination ...

• 대한수학회지
• /
• 제36권3호
• /
• pp.567-580
• /
• 1999

We prove two variants of a base-point-free pencil trick, which are similar in the spirit of the proof, and apply them to the study of special divisors on a smooth plane curve involving a theorem of Max Noether.

• 한국경영과학회지
• /
• 제30권1호
• /
• pp.149-159
• /
• 2005

In this study, we consider characteristics of stationary waiting times in single-server 2-node tandem queues with a finite buffer, a Poisson arrival process and deterministic service times. The system has two buffers: one at the first node is infinite and the other one at the second node is finite. We show that the sojourn time or departure process does not depend on the capacity of the finite buffer and on the order of nodes (service times), which are the same as the previous results. Furthermore, the explicit expressions of waiting times at the first node are given as a function of the capacity of the finite buffer and we are able to disclose a relationship of waiting times between under communication blocking and under manufacturing blocking. Some numerical examples are also given.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.11-24
• /
• 2012

이 연구는 상수 공정 시간을 갖는 라인생산시스템에서 CONWIP과 DBR이 각각 max-plus 선형시스템의 특수형태임을 밝히고 max-plus 대수에 기반한 안정대기시간 연구결과를 이용하여 CONWIP와 DBR의 성능을 비교 분석하였다. CONWIP의 경우, 생산시스템 내의 체류시간은 DBR의 경우보다 항상 짧다는 사실이 수학적으로 규명되었고 예제를 통해 계산, 비교되었다. 한편 두 경우에서 모두, 애로공정이후 노드에서의 대기시간은 유한버퍼의 크기와 공정의 순서에 무관함을 확인하였다. CONWIP에서는 시스템 내 평균 대기시간 또는 체류시간이 공정의 순서에 무관하지만, DBR에서는 애로공정이 뒤로 갈수록 감소함을 확인하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.264-267
• /
• 1998

We are dealing with the preliminary diagnosis from the information of headache interview chart. We quantify the qualitative information based on the interview chart by dual scaling. Prototype of fuzzy diagnostic sets and the neural linear regression methods are established with these quantified data, These new methods can be used to classify new patient's tone of diseases with certain degrees of belief and its concerned symptoms. We call these procedures as neural Fuzzy Differential Diagnosis of Headache (NFDDH-1). Also we investigate three measures to medical diagnosis, where relations between symptoms and diseases are described by intutionistic fuzzy set (IFS) data. Two measures are described by nin-max and max-min IFS operators, respectively. Another measure is the similarity degree, i.e., IFS distance between patient's symptoms and prototypes of diseases. We consider some reasonable criteria for three measures in order to determine the label of headache, We will establish hree measures in NFDDH-2 and combine two packages as NFDDH

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
• /
• pp.873-876
• /
• 1993

A fuzzy controller designed by mini-max-gravity(MMG) method is essentially nonlinear with respect to the controller's input and output relationship, and stability analysis is thus needed to construct a stable control system. This paper deals with a design method of a position-type MMG fuzzy controller stable in a sense of Lyapunov when considered is a single-input-single-output linear, stable plant. We first introduce a method to construct a Laypunov function by using an eigen-value of A matrix of the linear, stable plant dynamics and then we derive an asymtotic stability condition in terms of scale factors for fuzzy state variables and controller gain. The stability condition is found reasonably practical through comparing the theoretical stability region with that obtained from simulations.