• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권7호
• /
• pp.605-614
• /
• 2006

성공적인 소프트웨어 개발은 QCD에 의해 결정되며, 그 중 Quality는 Cost와 Delivery를 결정하는 핵심요소이기도 하다. 그리고 소프트웨어의 규모와 복잡도가 증가함에 따라 quality의 조기 확보의 중요성이 점차 커지고 있다. 이러한 관점에서 개발 후 결함을 찾아내고 수정하는 것보다 결함예방을 위해 더 많은 노력을 기울여야 할 것이다. 결함 예방을 위해서는 peer review, testing과 같은 결함 식별활동과 함께 기존에 발생된 defect 에 대한 분석을 통해 발생 가능한 결함의 주업을 차단하는 활동이 필요하며, 이를 위해 기존의 품질 데이타의 조직화 및 활용이 필요하다. 소프트웨어의 품질 예방을 위한 방법으로 system safety 확보를 위해 사용되고 있는 FMEA를 활용할 수 있다. SW-FMEA(Software Fault Mode Effect Analysis)는 예측을 통해 결함을 예방하는 방법으로, 기존에는 요구사항 분석 및 설계 시 많이 활용되어 왔다 이러한 SW-FMEA는 개발 활동을 통해 측정되는 정보를 활용하여, 분석, 설계, 나아가 peer review나 testing 둥 개발 및 관리 활동에 적용하여 결함예방 (defect prevention) 의 수단으로 활용 할 수 있다. 본 논문에서는 기존에 시스템 분석, 설계에 focusing된 SW-FMEA를 변형하여 product 결합뿐 아니라, 개발과정 중 발생할 수 있는 fault를 줄일 수 있는 결함 예방 model을 제안한다.

• 한국도로학회논문집
• /
• 제19권1호
• /
• pp.73-80
• /
• 2017

PURPOSES : This paper presents a comparison study between dynamic and static analyses of falling weight deflectometer (FWD) testing, which is a test used for evaluating layered material stiffness. METHODS: In this study, a forward model, based on nonlinear subgrade models, was developed via finite element analysis using ABAQUS. The subgrade material coefficients from granular and fine-grained soils were used to represent strong and weak subgrade stiffnesses, respectively. Furthermore, the nonlinearity in the analysis of multi-load FWD deflection measured from intact PCC slab was investigated using the deflection data obtained in this study. This pavement has a 14-inch-thick PCC slab over fine-grained soil. RESULTS: From case studies related to the nonlinearity of FWD analysis measured from intact PCC slab, a nonlinear subgrade model-based comparison study between the static and dynamic analyses of nondestructive FWD tests was shown to be effectively performed; this was achieved by investigating the primary difference in pavement responses between the static and dynamic analyses as based on the nonlinearity of soil model as well as the multi-load FWD deflection. CONCLUSIONS : In conclusion, a comparison between dynamic and static FEM analyses was conducted, as based on the FEM analysis performed on various pavement structures, in order to investigate the significance of the differences in pavement responses between the static and dynamic analyses.

• 산업경영시스템학회지
• /
• 제35권1호
• /
• pp.124-131
• /
• 2012

This paper presents a spreadsheet-based reliability prediction simulation framework for the conceptual product design stage to acquire system reliability information in timely manner. During early stage, reliability performance deals with both known and unknown failure rates and component-level and subsystem-level failure estimate to predict system reliability. A technique for performing life testing simulation using Excel spreadsheet has been developed under the such circumstances. This paper also discuss the results obtainable from this method such as reliability estimate, mean and variance of failures and confidence intervals. The resultant of this reliability prediction system is mainly benefitting small and medium-sized enterprise's field engineers.

• Journal of the Korean Data and Information Science Society
• /
• 제12권1호
• /
• pp.41-50
• /
• 2001

독립이면서 지수분포를 따르는 K개 모집단의 평균차이에 대한 가설 검정방법으로 Beregr와 Perrichi (1996, 1998)가 제안한 내재적 베이즈 요인을 이용한 베이지안 방법을 제안한다. 이 때 모수에 대한 사전분포로는 무정보적 사전분포를 사용한다. 모의실험을 통하여 제안한 검정방법의 유용성을 알아본다.

• Journal of the Korean Data and Information Science Society
• /
• 제12권1호
• /
• pp.51-59
• /
• 2001

독립이면서 로그정규분포를 따르는 두 모집단의 평균 차이에 대한 검정으로 O'Hagan (1995)이 제안한 부분 베이즈요인을 이용한 베이지안 방법을 제안한다. 이 때 모수에 대한 사전분포로는 무정보적 사전분포를 사용한다. 제안한 검정 방법의 유용성을 알아보기 위하여 실제 자료의 분석과 모의실험을 이용하여 고전적인 검정방법과 그 결과를 비교한다.

• 품질경영학회지
• /
• 제26권2호
• /
• pp.27-38
• /
• 1998

Consider a life testing experiment in which multiple two-component shared parallel systems are put on test, and the test is terminated at a specified number of system failures. The bivariate data obtained from such a system-level life testing can be classified into three classes: 1) the case of failed two components with known failure times, 2) the case of censored two components, and 3) the case of one censored component and the other failed component of which the failure time might be known or unknown. Under this censoring scheme and the assumption of Freund's bivariate exponential life distribution, the maximum likelihood estimators are obtained. Results of comparative studies based on Monte Carlo simulation are presented.

• ETRI Journal
• /
• 제21권4호
• /
• pp.52-64
• /
• 1999

QoS monitoring is a kind of real-time systems which allows each level of the system to track the ongoing QoS levels achieved by the lower network layers. For these systems, real-time communications between corresponding transport protocol objects is essential for their correct behavior. When two or more entities are employed to perform a certain task as in the case of communication protocols, the capability to do so is called interoperability and considered as the essential aspect of correctness of communication systems. This paper describes a formal approach on modeling and interoperability test case generation of a real-time QoS monitoring protocol. For this, we specify the behavior of flow monitoring of transport layer QoS protocol, i.e., METS protocol, which is proposed to address QoS from an end-to-end's point of view, based on QoS architecture model which includes ATM net work in lower layers. We use a real-time Input/Output finite State Machine to model the behavior of real-time flow monitoring over time. From the modeled real-time I/OFSM, we generate interoperability test cases to check the correctness of METS protocol's flow monitoring behaviors for two end systems. A new approach to efficient interoperability testing is described and the method of interoperability test cases generation is shown with the example of METS protocol's flow monitoring. The current TTCN is not appropriate for testing real-time and multimedia systems. Because test events in TTCN are for message-based system and not for stream-based systems, the real-time in TTCN can only be approximated. This paper also proposes the notation of real-time Abstract Test Suite by means of real-time extension of TTCN. This approach gives the advantages that only a few syntactical changes are necessary, and TTCN and real-time TTCN are compatible. This formal approach on interoperability testing can be applied to the real-time protocols related to IMT-2000, B-ISDN and real-time systems.

• 한국구조물진단유지관리공학회 논문집
• /
• 제12권4호
• /
• pp.195-202
• /
• 2008

현존하는 교량의 실제적인 거동에 대한 보다 정확한 예측방법의 개발은 보수보강이 필요한 교량에 예산이 집중될 수 있도록 하여 교량운영의 경제성 및 안전성 측면에서 매우 중요하다. 특히 교량의 형태와 설치 지역의 활하중의 특성을 고려하며 활하중에 교량이 반응하는 실제적인 거동을 파악하여 실제적인 교량의 내하력 평가 이외에도 평가대상 교량의 선정 및 평가의 우선순위를 결정하여 교량의 유지 보수에 사용되는 예산의 보다 효율적인 집행을 가능하게 할 수 있다. 이 연구에서는 교량 현장실험에서 얻어지는 결과를 신뢰성 해석에 반영하여 보다 실제적인 교량 안전성 평가의 방법론을 연구하였다. 17개의 강거더 교량에 대해 기존의 교량 실험 결과를 토대로 교량의 내하력을 평가하기 위하여 2단계의 신뢰성 해석을 수행하였다. 우선 대상교량에 대해 설계에 사용된 계수 및 공칭강도를 이용하여 신뢰성 해석을 수행하였으며 2단계 신뢰성 해석에서는 교량 실험 결과를 신뢰성 해석에 포함하였다. 해석 결과를 비교해 본 결과 교량실험을 통한 각종 구조적 계수의 불확실성 제거를 통해 교량의 안전성을 저해하지 않고도 대상 교량의 신뢰성이 대폭 증가하는 결과를 얻을 수 있었다.

• Safety and Health at Work
• /
• 제8권4호
• /
• pp.364-370
• /
• 2017

Background: Labeled noise reduction (NR) data presented by manufacturers are considered one of the main challenging issues for occupational experts in employing hearing protection devices (HPDs). This study aimed to determine the actual NR data of typical HPDs using the objective fit testing method with a microphone in real ear (MIRE) method. Methods: Five available commercially earmuff protectors were investigated in 30 workers exposed to reference noise source according to the standard method, ISO 11904-1. Personal attenuation rating (PAR) of the earmuffs was measured based on the MIRE method using a noise dosimeter (SVANTEK, model SV102). Results: The results showed that means of PAR of the earmuffs are from 49% to 86% of the nominal NR rating. The PAR values of earmuffs when a typical eyewear was worn differed statistically (p < 0.05). It is revealed that a typical safety eyewear can reduce the mean of the PAR value by approximately 2.5 dB. The results also showed that measurements based on the MIRE method resulted in low variability. The variability in NR values between individuals, within individuals, and within earmuffs was not the statistically significant (p > 0.05). Conclusion: This study could provide local individual fit data. Ergonomic aspects of the earmuffs and different levels of users experience and awareness can be considered the main factors affecting individual fitting compared with the laboratory condition for acquiring the labeled NR data. Based on the obtained fit testing results, the field application of MIRE can be employed for complementary studies in real workstations while workers perform their regular work duties.

• Smart Structures and Systems
• /
• 제14권6호
• /
• pp.1081-1103
• /
• 2014

Real-time hybrid simulation (RTHS) has emerged as an important tool for testing large and complex structures with a focus on rate-dependent specimen behavior. Due to the real-time constraints, accurate dynamic control of servo-hydraulic actuators is required. These actuators are necessary to realize the desired displacements of the specimen, however they introduce unwanted dynamics into the RTHS loop. Model-based actuator control strategies are based on linearized models of the servo-hydraulic system, where the controller is taken as the model inverse to effectively cancel out the servo-hydraulic dynamics (i.e., model-based feedforward control). An accurate model of a servo-hydraulic system generally contains more poles than zeros, leading to an improper inverse (i.e., more zeros than poles). Rather than introduce additional poles to create a proper inverse controller, the higher order derivatives necessary for implementing the improper inverse can be calculated from available information. The backward-difference method is proposed as an alternative to discretize an improper continuous time model for use as a feedforward controller in RTHS. This method is flexible in that derivatives of any order can be explicitly calculated such that controllers can be developed for models of any order. Using model-based feedforward control with the backward-difference method, accurate actuator control and stable RTHS are demonstrated using a nine-story steel building model implemented with an MR damper.