• Journal of Information Processing Systems
• /
• 제7권3호
• /
• pp.435-446
• /
• 2011

Microprocessors are becoming increasingly vulnerable to soft errors due to the current trends of semiconductor technology scaling. Traditional redundant multi-threading architectures provide perfect fault tolerance by re-executing all the computations. However, such a full re-execution technique significantly increases the verification workload on the processor resources, resulting in severe performance degradation. This paper presents a pro-active verification management approach to mitigate the verification workload to increase its performance with a minimal effect on overall reliability. An anomaly-speculation-based filter checker is proposed to guide a verification priority before the re-execution process starts. This technique is accomplished by exploiting a value similarity property, which is defined by a frequent occurrence of partially identical values. Based on the biased distribution of similarity distance measure, this paper investigates further application to exploit similar values for soft error tolerance with anomaly speculation. Extensive measurements prove that the majority of instructions produce values, which are different from the previous result value, only in a few bits. Experimental results show that the proposed scheme accelerates the processor to be 180% faster than traditional fully-fault-tolerant processor with a minimal impact on overall soft error rate.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• pp.1093-1100
• /
• 2006

본 연구는 D-정책을 갖는 BMAP/G/1 대기행렬 시스템의 일량(workload) 및 대기시간(waiting time)을 분석한다. 유휴한 서버는 도착하는 고객들의 서비스 시간의 총합이 주어진 임계점 D를 넘어야만 서비스를 시작한다. 고객의 도착과정은 집단마코비안도착과정(BMAP, Batch Markovian Arrival Process)을 따른다. 본 논문에서는 이러한 시스템의 일량 및 대기시간에 대한 LST를 구하고, 이로부터 평균일량 및 평균대기시간을 유도한다. 또한 BMAP/G/1의 특별한 경우인 $M^X/G/1$인 경우와 대기시간의 비교를 행한다.

• Nuclear Engineering and Technology
• /
• 제42권1호
• /
• pp.115-124
• /
• 2010

According to wide-spread experience in many industries, a procedure is one of the most effective countermeasures to reduce the possibility of human related problems. Unfortunately, a systematic framework to evaluate the complexity of procedural tasks seems to be very scant. For this reason, the TACOM measure, which can quantify the complexity of procedural tasks, has been developed. In this study, the appropriateness of the TACOM measure is investigated by comparing TACOM scores regarding the procedural tasks of high speed train drivers with the associated workload scores measured by the NASA-TLX technique. As a result, it is observed that there is a meaningful correlation between the TACOM scores and the associated NASA-TLX scores. Therefore, it is expected that the TACOM measure can properly quantify the complexity of procedural tasks.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.268-271
• /
• 2010

TSP(Team Software Process)의 계획 단계에서는 계획된 프로젝트 일정에 맞춘 업무를 팀 리더 또는 계획관리자(plan manager)가 각 팀원에 할당하고, 업무수행 시에는 각 팀원이 할당된 업무를 적시에 수행하는지를 추적하여 일정지연을 방지해야 한다. 하지만 업무 할당에 있어 팀원의 능력, 일정 및 업무의 논리적인 순서가 고려되어야 하고, 업무 수행 시에도 수시로 변화하는 업무 일정으로 인해 할당된 업무를 일정에 맞추지 못하는 상황이 발생하며 이는 결국 일정지연으로 이어진다. 이러한 문제를 해결하기 위해 본 논문은 TSP 가 지원하는 업무 균등 분배(workload balancing)를 적용하여 해결하고자 하였으며, 이 활동을 지원하는 도구에 대해 소개한다.

• 정보기술응용연구
• /
• 제2권1호
• /
• pp.139-160
• /
• 2000

본 논문은 작업그룹이 과업을 수행하는 인지적 과정을 분석하는 방안을 제시한다. 먼저, 그룹의 인지현상을 연구하는 분산인지이론을 검토하고, 기존의 개인 과업 분석 방법론중의 하나인 GOMS를 확장하여 그룹에 적용할 수 있는 분산형 GOMS 방법론을 제안한다. 제안한 분산형 GOMS 방법론을 따르면 각 구성원의 업무 수행 시간, 의사소통시간, 최대 인지 부하등을 기초로 작업그룹의 업무 수행시간과 인지부하의 균형도를 계산하여 그룹의 과업에 대해 분석할 수 있다. 분산형 GOMS 방법론은 정보시스템을 활용하여 업무를 수행하는 작업그룹의 인지적 과정을 분석하는데 적용할 수 있다.

• 한국기계가공학회지
• /
• 제18권4호
• /
• pp.69-75
• /
• 2019

Since gasoline engines are based on a combination of a cast iron liner and an aluminum block, which have different thermal properties and stiffnesses, bore shape distortion is likely to occur during honing due to uneven thermal deformation. To solve this problem, many tests and evaluations are needed to support the development of a high-performance honing stone with low heat generation. Moreover, performance evaluation, which depends on inspection and observation after work, often requires much trial and error to optimize tool design, due to challenges in the accurate interpretation of results. This study confirmed that the assessment of grinding capability was clarified by evaluating performance under severe work conditions and by in-situ measurement and recording of current consumption (workload) and heat generation during operation. As a result of using a honing stone with excellent grinding performance in engine block manufacture-in which cylinder bore distortion caused by thermal deformation during manufacture is a problem-a noticeable improvement in the degree of cylindricity was observed.

• 한국BIM학회 논문집
• /
• 제2권1호
• /
• pp.18-26
• /
• 2012

2000년대 초반까지의 주택공급 정책은 국민들이 살 수 있는 최소한의 주거공간을 확보한다는 의미를 가지고 있어 질보다는 양에 충실한다는 정책이었으며, 인간 생활의 다양성을 고려하지 않은 획일적인 배치의 대규모 아파트를 대량 생산하는 결과를 초래하게 되었다. 이후 경제 성장과 더불어 국민 의식이 높아지고, 생활주기의 변화와 함께 주거수준도 크게 향상되면서 인간 생활의 다양성을 고려하지 않은 획일적 설계에 대한 불만은 더욱 높아지게 되었으며, 이에 따라 거주자의 라이프 스타일을 고려한 맞춤형 설계가 나타나게 되었다. 그러나 고객의 요구사항에 따라 발생되는 다양한 정보를 관리해야 하는 맞춤형 설계에서는 참여자들간의 의사소통, 대량의 자재정보처리, 자재원가관리 등에 대한 현장관계자들의 업무량이 증가된다. 따라서 본 연구에서는 정보관리를 효율적으로 수행할 수 있는 BIM기술을 적용시켜 맞춤형 설계에서 발생될 수 있는 다양한 문제점들을 저감시키고자 하며, 이를 위해 공사참여자들의 업무프로세스를 설계하고자 한다.

• 한국융합학회논문지
• /
• 제13권4호
• /
• pp.613-623
• /
• 2022

환의를 포함한 병원 직물은 입원하는 환자가 반드시 접하게 되는 재고 물품으로 매일 일정량 이상의 공급과 소모가 지속적으로 이루어진다. 하지만 직물을 공급 및 이용하는 과정이 비효율적으로 운영되어 그 개선에 대한 요구도는 높으나 상대적 관심도는 낮은 실정이다. 병원 내 직물 소비, 제공 과정에 대한 프로세스 청사진 기법을 적용하여 분석한 결과 간호사의 직물에 대한 업무 부담, 환자의 만족도 저하, 감염의 위험성 등의 문제가 발생할 수 있는 취약점이 확인되었다. 임상실무자 설문, 델파이 기법을 통한 자료 분석을 기반으로 서비스 청사진 기법을 통하여 자동화된 프로세스 개선안을 개발하였다. 직물 소비 제공 프로세스의 개선안을 도입하였을 때 기대효과는 자동화 서비스를 이용한 환자들의 평균적 대기시간의 감소, 간호사의 직물 관련 행정적 업무 부담 감소, 체계적인 직물 수량관리를 통한 프로세스 효율성 상승, 직물 보관소 내 접촉 주체 제한에 따른 감염 관리 효율성 상승을 기대할 수 있다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2003년도 추계학술대회
• /
• pp.55-63
• /
• 2003

Workflow Management System (WFMS) is a software system to support an efficient execution, control and management of complex business processes. Since traditional commercial systems mainly focus on automating processes, they don't have methods for enhancing the task performer's efficiency. In this paper, we propose a new method of executing business processes more efficiently in that a whole process is scheduled considering the degree of the participants' workload. The method allows managing the largest constraints among constituent resources of the process. We utilize DBR scheduling techniques to develop the method. We first consider the differences between workflow process models and DBR application models, and then develop the modified drum, buffer and rope. This leads us to develop WF-DBR (WorkFlow-DBR) that can control the proper size of the task performers' work list and arrival rate of process instances. Use of WF-DBR improves the efficiency of the whole process as well as the participants' working condition. We then carry out a set of simulation experiments and compare the effectiveness of our approach with that of scheduling techniques used in existing systems.

• 대한간호학회지
• /
• 제28권1호
• /
• pp.17-25
• /
• 1998

This study was done to evaluate the quality of clinical nursing care using the variables of structure, process, and outcome and to analyze the relationship between the variables. This study also explored which variables are validating indicators to evaluate the quality of nursing care. The results analyzed by multiple regression showed that, generally structural variables did not contribute to the variance in outcome scores, but process variables of nursing care contributed significantly to the outcome variable of patient satisfaction. A combination of structure and process variables explained outcome variables more than structural variables alone. Also, patient satisfaction and hospital preference were significantly related to each other. Therefore, if nursing quality evaluation relies solely upon on structural variables such as number of available nurses and workload, it would be inaccurate because process variables of nursing care are strongly related to outcome variables and the two categories of structure and process variables helped to strengthen the relationships. Thus, it is important to focus on variables of structure, process, ant outcome together in evaluating nursing care quality.