• 한국철도학회논문집
• /
• 제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 대수 방법론의 적용 가능성을 검토해 보았다.

• 한국시뮬레이션학회논문지
• /
• 제24권2호
• /
• pp.11-17
• /
• 2015

유한버퍼를 갖는 시스템에 대한 분석은 광범위하게 연구되어 왔다. 하지만, 상수 공정시간을 갖는 시스템에 대해서도 안정 대기시간에 대한 고차평균과 꼬리확률에 대한 간결한 표현식은 소개된 적이 없다. 유한버퍼로 인한 차단현상으로 유발되는 복잡성 때문에 일반적인 대기행렬이론은 이를 적절히 다루지 못한다. 본 연구에서는 max-plus 대수를 활용한 기존 연구결과로 부터 상수 공정시간과 DBR (Drum-Buffer-Rope) 재고규칙을 따르는 라인생산시스템에서의 대기시간에 대한 간결한 표현식을 도출하였다.

• 한국시뮬레이션학회논문지
• /
• 제28권2호
• /
• pp.119-129
• /
• 2019

유한 버퍼를 갖는 라인 생산시스템은 오랜 기간 동안 연구되어왔지만, 몇몇 특별한 경우 외에는 대기시간(체류시간), 차단 확률과 같은 시스템 성능 값에 대한 분석 결과는 많지 않다. 최근에, max-plus 대수를 활용하여 상수 공정시간을 갖고 버퍼 완전 공유 정책을 따르는 시스템에서 대기시간의 고차평균과 꼬리확률에 대한 분석 결과가 소개되었다. 이와 같은 max-plus 대수를 활용한 분석이 이론적으론 일반 공정시간 모형에도 응용 가능하지만, 도출된 표현식에 대한 적절한 계산방법을 제공하지 못한다. 이러한 이유로, 본 연구에서는 max-plus 대수로 도출된 표현식과 @RISK 소프트웨어를 활용하여 스프레드시트 시뮬레이션 모형을 개발하고, 두 가지 차단정책(통신차단과 제조차단) 하에서 시스템 특성값인 대기시간(또는 체류시간)과 차단확률을 비교 분석하였다. 또한 차단확률에 대한 제약을 만족하는 공유 버퍼의 크기를 결정하는 최적화 문제도 분석하였다.

• 한국시뮬레이션학회논문지
• /
• 제28권3호
• /
• pp.65-74
• /
• 2019

분기-접합 생산시스템은 오랜 기간 동안 연구되어왔지만, 개별 또는 공유 유한 버퍼를 갖고 일반공정시간 분포를 따르는 시스템에 대한 분석은 제한적이다. 일반적으로 대기행렬 이론적 분석법은 유한 버퍼를 갖는 시스템에 대한 분석에는 어려움이 있다. 본 연구에서는 max-plus 대수적 분석법을 활용하여 일반 공정시간을 갖는 버퍼 공유 분기-접합 생산시스템을 분석하였다. 하지만, 이러한 분석법은 특성치 계산의 관점에서는 적절한 방법을 제공하지 못하기 때문에 max-plus 대수로 도출된 표현식과 @RISK 소프트웨어를 활용하여 스프레드시트 시뮬레이션 모형을 개발하였다. 시뮬레이션 실험을 통해 유한 버퍼와 두 가지 차단규칙인 BBS(통신차단)과 BAS(제조차단) 하에서 시스템 대기시간에 대한 몇몇 특성을 비교 분석하였다.

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

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