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

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

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

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

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

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

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

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

• 제어로봇시스템학회논문지
• /
• 제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.

• 응용통계연구
• /
• 제21권6호
• /
• pp.997-1006
• /
• 2008

This paper proposes a new model by combining an infinite-server queueing model for multi-task processing software system with a perfect debugging model based on Markov process with two types of faults suggested by Lee et al. (2001). We apply this model for module and integration testing in the testing process. Also, we compute several measure, such as the expected number of tasks whose processes can be completed and the task completion probability are investigated under the proposed model.

• 한국지능시스템학회논문지
• /
• 제21권1호
• /
• pp.120-127
• /
• 2011

체크포인트 기법은 실시간 시스템의 내고장성을 구현하는 대표적인 방법이다. 본 논문에서는 확률 최적화를 이용하여 체크 포인트 구간을 결정하는 기법을 제시한다. 본 논문에서 다루는 실시간 시스템은 멀티 태스크(multi-task)들로 구성되며 Poisson 분포를 가지는 과도 고장이 발생한다. 또 멀티 태스크들은 비선점형 Rate Monotonic 알고리듬으로 스케줄링된다. 이번 연구에서는 멀티 태스크들의 수행 성공 확률을 체크포인트 삽입 개수로 표현하는 최적화 문제를 설정하고 이 확률값을 최대로 만드는 체크포인트 개수와 구간 길이를 구한다. 제안된 확률 계산 과정은 체크포인트 재수행 횟수에 대한 비선점형 RM 알고리듬의 스케줄링 가능성을 판별하는 방법도 포함한다. 사례 연구를 통해서 제안된 기법의 적용가능성을 입증한다.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2014년도 춘계 학술논문 발표대회
• /
• pp.196-197
• /
• 2014

Low carbon construction is an important operation management goal such as cost, time, and quality in construction community. This paper introduces a system which measures the variability of carbon dioxide amounts. First, this system allows creating construction operation models of which the level of detail is breakdown into the work task level. Second, the system implements sensitivity analysis along with a ranges of resources that are allocated in an operation model. It facilitates to find the optimal resource combination using the operation performances such as the amount of emissions, operation completion time, and cost. Lastly, it identifies the best fit probability distribution functions of performance criteria given a certain resource combination. It allows project manager to query the percentages to complete the operation within a limitation specified by the system users.

• 제어로봇시스템학회논문지
• /
• 제13권12호
• /
• pp.1147-1152
• /
• 2007

This paper deals with a scheme for fault-tolerance improvement of real-time embedded systems, which engages an equidistant checkpointing technique to tolerate transient errors. Transient errors are caused by transient faults which are the most significant type of fault in reliable computer systems. Transient faults are assumed to occur according to a Poisson process and to be detected in a non-concurrent manner (e.g., checked periodically). The probability of the successful real-time task completion in the presence of transient errors is derived with the consideration of the possible effects of the transient errors. Based on this, a condition under which inserting checkpoints improves the fault-tolerance of the system is introduced and an optimal equidistant checkpointing strategy that achieves the highest fault tolerance is presented.