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

이산사건 시뮬레이션에서의 미래사건 리스트 관리에 요구되는 우선순위 큐의 성능을 평가하기 위하여 사건의 삽입과 삭제패턴을 묘사한 성능 모델이 필요하다. 성능 모델을 이용하여 다양한 우선순위 큐 구조를 시간 복잡성 측면에서 비교 평가할 수 있다. 본 연구는 대상이 되는 시뮬레이션 모델이 반복적으로 운용되고, 실행 시간이 유한적인 경우에 보다 정확한 성능모델을 작성하는 방안을 제시한다. 제안된 성능모델은 다단계 마코브 프로세스 모델에 기반을 두어 확정적인 순서에 의한 삽입과 삭제를 하기 보다는 확률적인 패턴에 의해 연산 순서를 결정한다. 대한민국 육군의 전쟁 연습 모델인 창조 모델을 운영한 결과를 바탕으로 다단계 마코브 프로세스 모델을 작성한 사례연구를 포함하였다.

• 한국철도학회논문집
• /
• 제14권2호
• /
• pp.87-93
• /
• 2011

본 연구는 Five-9's 가용도를 달성하기 위한 고가용도 시스템의 가용도 모델을 기술한다. 현대의 철도시스템은 지속적으로 서비스가 제공되어야 하는 고가용도 시스템으로 이러한 고가용도 서비스의 중요한 특성은 이동통신, 철도시스템, 정보운영 및 웹기반 사업 등 많은 현대의 사업에 필수적이며, 아키텍처 기반의 시스템 가용도 모델은 고가용도 목표의 만족여부를 평가하는 데 매우 유용하다. 마코브 모델 접근은 관련 시스템엔지니어가 시스템고장 및 고장복구 프로세스를 모델링할 때 직관적으로 적용가능하다. 본 연구는 UML2.0을 사용하여 개선된 가용도 모델을 제시하였다. 이러한 아키텍처기반의 시스템 가용도 모델은 철도시스템에 매우 의미있게 적용될 수 있다.

• 한국철도학회논문집
• /
• 제20권3호
• /
• pp.349-355
• /
• 2017

철도시스템의 고장은 운행지연 또는 철도사고의 원인이 될 수 있으며, 철도안전을 확보하기 위하여 높은 신뢰성이 요구된다. 철도시스템은 신뢰도 및 가용도를 높이기 위하여 동일 시스템을 다중으로 구성하여 동작 중인 시스템에 고장이 발생한 경우에 대기 시스템이 정상 동작을 수행하도록 설계한다. 일반적으로 시스템의 신뢰도는 시스템을 구성하는 각 요소의 신뢰도를 사용하여 분석하며, 시스템간의 물리적, 기능적, 프로세스적 독립이 보장되지 않는 다중 시스템의 경우는 다중 시스템에 동시에 고장을 유발하는 공통원인고장을 고려하여야 한다. 본 논문에서는 철도 시스템에서 사용되고 있는 대기 이중계 시스템에 대하여 각 시스템이 독립일 경우와 공통원인고장을 고려한 종속일 경우에 대한 신뢰도를 분석하였다. 신뢰도 분석을 위하여 다중계 구조의 다양성과 시스템 상태 전이별로 모델링이 가능한 마코브 모델을 사용하였으며, 공통고장모드의 분석 유무의 차이점 평가를 통해 시스템 신뢰도평가의 정확도 향상 방안을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.877-880
• /
• 2007

이 논문에서는 에너지 제한이 엄격한 환경에서 동작하는 무선 센서 네트워크를 위한 기회적 전송 전략을 제안한다. 본 연구는 무선 센서 네트워크의 호스트 지연에 민감한 어플리케이션을 고려하였다. 우리가 제안한 전송 전략은 시변 채널에서 지연의 제약을 받으면 채널상태가 좋을 때 전송을 시도하는 이진-결정 기반 전송 방식이다. 마코브 결정 프로세스가 전송 결정을 위한 최적 임계치를 찾는데 사용되었다. 우리의 이진-결정 기반 전송 방식은 에너지 소모의 원인인 전송실패를 가능하면 피하기 위해 채널의 질이 최적 임계 치를 넘을 때만 전송을 시작한다. 우리가 제안한 방식의 성능을 검증하기 위해 무선 페이딩 채널에서 광범위한 시뮬레이션을 수행하였다. 시뮬레이션 결과는 이진-결정 기반 전송 방식이 다른 방식보다. 35% 놓은 에너지 효율을 가지고 이로인해 네트워크 수명이 연장된다는 것을 보여준다.

• 한국지능시스템학회논문지
• /
• 제11권6호
• /
• pp.459-464
• /
• 2001

본 논문에서는 마코비안 압력 지연을 갖는 TS 퍼지 시스템의 확률적 안정화 방법을 제안한다. 유한 마코브프로세스는 전체 제어 시스템의 이력 시간 지연을 모델링하기 위해 채용된다. 또한, ZOH 장치는 제어 입력의 이산화에 이용된다고 가정한다. 마코프 입력 지연을 갖는 연속 시간 TS 퍼지 시스템은 지연을 쉽게 조작하기 위해 이산화 된다. 따라서 이산화된 TS 퍼지시스템은 점프 파라미터를 갖는 이산 시간 TS 퍼지시스템을 나타내어 진다. 점프 TS 퍼지시스템의 확륙적 안장화는 선형 행렬 부등식에 의해 유도되고 공식화된다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권1호
• /
• pp.34-43
• /
• 2000

중복 데이타는 분산 시스템에서 결함을 포용하는 방법 중 하나로 여러 복사본들의 일관성을 유지하기 위하여 복제 제어 프로토콜(replica control protocol)을 필요로 한다. 복제 제어 프로토콜 중 정 족수 동의 기법(quorum consensus method)은 정족수 이상의 동의를 얻어서 데이타에 접근하는 방법이다. 그런데 사이트나 통신 링크의 실패로 인하여 정족수 이상의 동의를 얻을 수 없으면 데이타 접근이 불가능하게 되므로 부족한 정족수를 고스트(ghost)로 대치하는 방법이 필요하다. 고스트는 메타 데이타(meta data)에 상태 정보만을 저장한 프로세스이기 때문에 생성과 관리의 비용을 줄이려면 메타 데이타를 간략화 시키는 것이 중요하다. 따라서 본 논문에서는 동료 집합을 이용하여 메타 데이타를 구성하는 방법을 제안한다. 제안된 방법은 2N+logN 비트만으로 메타 데이타를 구성할 수 있게 하고 동료 집합만을 이용하는 프로토콜이나 동적 선형 보우팅 프로토콜보다 향상된 가용성을 나타낸다. 제안된 방법의 가용성은 마코브 모델(Markov model)을 이용하여 측정하고 그 결과를 다른 프로토콜들과 비교 분석한다.