• Communications for Statistical Applications and Methods
• /
• 제17권6호
• /
• pp.891-898
• /
• 2010

소프트웨어는 독립적으로 개발된 모듈들을 통합하는 개발과정을 거치며, 통합된 소프트웨어는 가용도, 소프트웨어에 내재된 결함의 제거 수 및 주어진 업무(task)들의 처리능력에 의하여 성능이 평가된다. 본 연구에서는 Lee와 Park (2003)의 마코프 불완전 수리모형을 기반으로 모듈들로 구성된 소프트웨어의 업무처리 능력을 평가할 수 있는 업무의 완전처리확률(completion probability)을 유도하며, 이와함께 개발된 소프트웨어가 출하되는 최적의 시점을 결정하는 방안을 제시하고자 한다.

• 한국산업정보학회논문지
• /
• 제27권2호
• /
• pp.61-69
• /
• 2022

다수 에이전트 시스템(Multi-agent system)은 에이전트 각자의 결정으로 최상의 조직화 된 결정을 달성하는 것을 목표로 하는 시스템으로 본 논문에서는 다수 에이전트-다수 작업의 할당 문제를 제시한다. 본 문제는 각 에이전트가 하나의 작업에 할당이 되어 수행하고, 작업 수행에 대한 작업 완료 확률(completion probability)이 있으며 모든 작업의 수행 확률을 최대화하는 할당을 결정한다. 비선형(non-linearity)의 목적함수와 조합 최적화(combinatorial optimization)로 표현되는 본 문제는 NP-hard로, 효과적이면서 효율적인 문제 해결 방법론 제시가 필요하다. 본 연구에서는 한계 이익(marginal gain)의 감소를 의미하는 하위모듈성(submodularity)을 활용한 근사 알고리즘(approximation algorithm)을 제안하고, 확장성(scalability)과 강건성(robustness) 측면에서 우수한 알고리즘임을 이론 및 실험적으로 제시한다.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2007년도 정기학술발표대회 논문집
• /
• pp.327-330
• /
• 2007

기존의 시뮬레이션 일정기법은 최종공사기간(Project Completion Times: PCTs)이 정규분포를 따른다는 가정을 전제로 한다. 그러나 본 논문에서는 이 가정이 항상 옳은 것이 아니며, 이것이 잘못된 결과를 초래할 수 있다는 것을 검증한다. 이처럼 의문이 제기되지 않고 받아들여져 온 가정이 시뮬레이션 분석 결과에 어떠한 영향을 줄 수 있는지를 밝혀내는 리키스 정량화기법(risk Quantification method)을 MATLAB 알고리즘으로 구현하였으며, 네트워크의 모델링에서부터 시뮬레이션 출력 값들로 구성된 샘플집단들에 대한 분석에 이르기까지 전 단계를 MATLAB 프로그래밍으로 구현된 알고리즘을 사용하여 제기된 의문에 대한 답을 제시하였다. 특정 네트워크를 구성하는 엑티비티 기간 값들을 정의하는 확률분포함수의 종류를 다양하게 변화시켜 시뮬레이션 결과 값들 - 최종공사기간 값들 - 을 생성하고, 이처럼 생성된 시뮬레이션 출력 값들로 구성된 샘플집단들의 확률 통계적 특성을 분석하였다. 본 연구는 시뮬레이션을 기반으로 하는 일정관리기법의 신뢰성을 향상시키며, 일정관련 리시크 분석의 정확성을 향상시키는데 기여할 것이다.

• Management Science and Financial Engineering
• /
• 제15권2호
• /
• pp.1-21
• /
• 2009

We consider an $M^x/G/1$ queueing system with a random setup time under Bernoulli vacation schedule, where the service of the first unit at the completion of each busy period or a vacation period is preceded by a random setup time, on completion of which service starts. However, after each service completion, the server may take a vacation with probability p or remain in the system to provide next service, if any, with probability (1-p). This generalizes both the $M^x/G/1$ queueing system with a random setup time as well as the Bernoulli vacation model. We carryout an extensive analysis for the queue size distributions at various epochs. Further, attempts have been made to unify the results of related batch arrival vacation models.

• 한국산학기술학회논문지
• /
• 제15권9호
• /
• pp.5652-5659
• /
• 2014

소프트웨어를 구성하는 모듈들은 각 모듈에 주어지는 업무들이 동시에 처리될 수 있도록 멀티태스킹이 가능하도록 개발되며, 또한 처리중인 업무들은 완전처리된 업무들과 처리중 모듈고장으로 완전처리 되지 않는 불완전 처리업무로 세분화한다. 이러한 경우 여러 모듈에 동시에 업무가 주어졌을 때, Farlie [11]의 결합확률분포를 기반으로 모듈간의 의존성을 고려하여 업무의 완전처리확률을 평가할 수 있는 모형을 제안하며, 이를 통하여 모듈의존성 모수 값이 커질수록 소프트웨어에 주어진 업무의 완전처리확률은 점점 커짐을 보이고자 한다.

• 한국산업정보학회논문지
• /
• 제28권1호
• /
• pp.27-34
• /
• 2023

최상의 에이전트-작업 할당을 결정하는 문제는 조합 최적화(combinatorial optimization)의 대표적인 문제이자 NP-난해(NP-hard)임이 알려져 있다. 본 연구에서는 에이전트와 작업의 할당 시 결정되는 작업 수행 확률(completion probability)이 불확실한 상황에서의 문제를 다룬다. 에이전트나 작업 내부의 요인 혹은 시스템 외적인 요소로 인한 작업 수행 확률은 고정적이기보다 불확실성을 갖는 것이 일반적이다. 불확실성을 고려하지 않은 할당 결정은 변동성이 있는 현실 상황에서 효과적이지 않은 결정이 될 수 있다. 작업 수행 확률의 불확실성을 수학적으로 반영하기 위해 본 연 구에서는 추계적 계획법(stochastic programming)을 활용한 수리 모형을 제시한다. 본 연구에서는 효율적으로 문제를 풀기 위해 표본 평균 근사법(sample average approximation)을 활용한 알고리즘을 제안한다. 본 문제 해결 방법론을 이용해 효과적인 할당 결정과 상한값과 하한값을 구할 수 있고, 결과의 성능을 확인하기 위해 최적 격차(optimality gap)와 분산을 실험을 통해 제시한다. 이를 통해 알고리즘으로 구한 할당 결정의 우수성 및 강건성을 보인다.

• 대한전자공학회논문지TC
• /
• 제47권9호
• /
• pp.29-36
• /
• 2010

하나의 reader가 tag의 군집에 둘러싸여 있는 별 형태의 RFID 망을 고려한다. 이러한 RFID 망에서 reader는 tag에 저장된 정보를 얻기 전에 tag의 응답 간 충돌을 중재하면서 tag를 인식하여야 한다. 이러한 목적으로 tag가 응답하도록 프레임마다 정적으로 일정 수의 슬롯을 마련해 주는 프레임화 및 슬롯화된 ALOHA에 기반한 tag 인식 방식을 제안한다. 제안 방식의 인식성능을 평가하기 위해 주요 성능 척도로 인식 완료 확률과 기대 인식 완료 시간을 선정한다. 이어서 이러한 성능 척도를 계량적으로 계산할 수 있는 방법을 제안한다. 특히 tag가 많지 않은 경우 성능 척도를 closed form으로 도출한다. 다음 인식 시간에 대한 제약 하에서 인식 완료 확률을 최대화하거나 기대 인식 완료 시간을 최소화하는 최적의 시간 구조를 찾는 문제를 구성한다. 마지막으로 이러한 문제를 풀어서 프레임 당 tag가 응답하기 위한 슬롯의 최적 수를 구한다. 계량적 결과로부터 tag가 응답하기 위한 슬롯의 유한한 최적 수가 존재함을 확인한다. 또한 인식 완료 확률을 최대화하는 최적 슬롯 수는 인식 시간에 대한 제약이 약해지면서 기대 인식 완료 시간을 최소화하는 최적의 슬롯 수로 접근하는 경향을 보임을 관찰한다.

• Communications for Statistical Applications and Methods
• /
• 제19권4호
• /
• pp.571-577
• /
• 2012

Modules that consist of software are respectively coded in the early development phase and the modules are unified as a software. After unification, the software is repeatedly tested with a given taskset (the set of module tasks that are tested simultaneously) until a required performance level is satisfied. In this paper, we expand the one-module software debugging model of Jang and Lee (2011) to a multi-module debugging model and derive the taskset completion probability and the mean of the completed tasksets under the assumption that the processing times of module tasks given in a taskset are mutually dependent.

• 제어로봇시스템학회논문지
• /
• 제14권4호
• /
• pp.376-380
• /
• 2008

This paper deals with a performance analysis of real-time control systems, which engages DMR(dual modular redundancy) to detect transient errors and checkpointing technique to tolerate transient errors. Transient errors are caused by transient faults and the most significant type of errors in reliable computer systems. Transient faults are assumed to occur according to a Poisson process and to be detected by a dual modular redundant structure. In addition, an equidistant checkpointing strategy is considered. The probability of the successful task completion in a real-time control system where periodic checkpointing operations are performed during the execution of a real-time control task is derived. Numerical examples show how checkpoiniting scheme influences the probability of task completion. In addition, the result of the analysis is compared with the simulation result.

• 전기학회논문지
• /
• 제61권1호
• /
• pp.148-154
• /
• 2012

For a successful checkpointing strategy, we should place checkpoints so as to optimize fault-tolerance capability of real-time systems. This paper presents a novel scheme of checkpoint placement for real-time systems with periodic multi-tasks. Under the influence of transient faults, multi-tasks are scheduled by the Rate Monotonic (RM) algorithm. The optimal checkpoint intervals are derived to maximize the probability of task completion. In particular, this paper is concerned about the general case that the deadline of a task is longer than the period. Compared with the special condition that the deadline is equal to or less than the period, this general case causes a more complicate test procedure for schedulability of the RM algorithm with respect to a given set of checkpoint re-execution vectors. The probability of task completion is also derived in a more complex form. A case study is given to show the applicability of the proposed scheme.