• 제목/요약/키워드: Model-Based Testing

검색결과 1,604건 처리시간 0.032초

NHPP에 기초한 소프트웨어 신뢰도 모형에 대한 베이지안 추론에 관한 연구 (The Bayesian Inference for Software Reliability Models Based on NHPP)

  • 이상식;김희철;송영재
    • 정보처리학회논문지D
    • /
    • 제9D권3호
    • /
    • pp.389-398
    • /
    • 2002
  • 본 논문에서는 비동질 포아송 과정에 기초한 소프트웨어 오류 현상에 대한 신뢰도 모형을 고려하고 사전정보를 이용한 베이지안 추론을 시행하였다. 고장 패턴은 NHPP에 대한 강도함수와 평균값 함수로서 나타낼 수 있다. 따라서 본 논문에서는 기존의 모형인 Goel이 제시한 모형과 신뢰성 분포로 많이 사용되는 와이블 분포의 특수형태인 레일리분포와 라플라스 분포를 이용한 모형을 제시하여 베이지안 추론을 시행하고 또, 효율적 모형을 위한 모형선택으로서 편차자승합을 이용하여 비교하였다. 모수의 추정을 위해서 마코브체인 몬테카를로 기법중에 하나인 깁스샘플링을 이용한 근사추정 기법이 사용되었다. 수치적인 예에서는 실측자료인 NTDS 자료를 이용하여 모수 및 신뢰도를 추정하였고 편차자승합을 이용한 모형비교의 결과를 나열하였다.

IPMN-LEARN: A linear support vector machine learning model for predicting low-grade intraductal papillary mucinous neoplasms

  • Yasmin Genevieve Hernandez-Barco;Dania Daye;Carlos F. Fernandez-del Castillo;Regina F. Parker;Brenna W. Casey;Andrew L. Warshaw;Cristina R. Ferrone;Keith D. Lillemoe;Motaz Qadan
    • 한국간담췌외과학회지
    • /
    • 제27권2호
    • /
    • pp.195-200
    • /
    • 2023
  • Backgrounds/Aims: We aimed to build a machine learning tool to help predict low-grade intraductal papillary mucinous neoplasms (IPMNs) in order to avoid unnecessary surgical resection. IPMNs are precursors to pancreatic cancer. Surgical resection remains the only recognized treatment for IPMNs yet carries some risks of morbidity and potential mortality. Existing clinical guidelines are imperfect in distinguishing low-risk cysts from high-risk cysts that warrant resection. Methods: We built a linear support vector machine (SVM) learning model using a prospectively maintained surgical database of patients with resected IPMNs. Input variables included 18 demographic, clinical, and imaging characteristics. The outcome variable was the presence of low-grade or high-grade IPMN based on post-operative pathology results. Data were divided into a training/validation set and a testing set at a ratio of 4:1. Receiver operating characteristics analysis was used to assess classification performance. Results: A total of 575 patients with resected IPMNs were identified. Of them, 53.4% had low-grade disease on final pathology. After classifier training and testing, a linear SVM-based model (IPMN-LEARN) was applied on the validation set. It achieved an accuracy of 77.4%, with a positive predictive value of 83%, a specificity of 72%, and a sensitivity of 83% in predicting low-grade disease in patients with IPMN. The model predicted low-grade lesions with an area under the curve of 0.82. Conclusions: A linear SVM learning model can identify low-grade IPMNs with good sensitivity and specificity. It may be used as a complement to existing guidelines to identify patients who could avoid unnecessary surgical resection.

용존산소 농도모의시 상태공간모형과 승법 ARIMA모형의 시계열 분석 (Time series Analysis of State-space Model and Multiplication ARIMA Model in Dissolved Oxygen Simulation)

  • 이원호;서인석;한양수
    • 환경위생공학
    • /
    • 제15권2호
    • /
    • pp.65-74
    • /
    • 2000
  • The purpose of this study is to develop the stochastic stream water quality model for the intake station of Chung-Ju city waterworks in the Han river system. This model was based on the theory of Box-Jenkins Multiplicative ARIMA(SARIMA) and the state space model to simulate changes of water qualities. Variable of water qualities included in the model are temperature and dissolved oxygen(DO). The models development were based on the data obtained from Jan. 1990 to Dec. 1997 and followed the typical procedures of the Box-Jenkins method including identification and estimation. The seasonality of DO and temperature data to formulate for the SARIMA model are conspicuous and the period of revolution was twelve months. Both models had seasonality of twelve months and were formulates as SARIMA {TEX}$(2,1,1)(1,1,1)_{12}${/TEX} for DO and temperature. The models were validated by testing normality and independency of the residuals. The prediction ability of SARIMA model and state space model were tested using the data collected from Jan. 1998 to Oct. 1999. There were good agreements between the model predictions and the field measurements. The performance of the SARIMA model and state space model were examined through comparisons between the historical and generated monthly dissolved oxygen series. The result reveal that the state space model lead to the improved accuracy.

  • PDF

모사 와전류 탐상신호를 이용한 비대칭 단면을 갖는 축대칭 결함의 형상분류 (Classification of Axis-symmetric Flaws with Non-Symmetric Cross-Sections using Simulated Eddy Current Testing Signals)

  • 송성진;김창환;신영길;이향범;박윤원;임창재
    • 비파괴검사학회지
    • /
    • 제21권5호
    • /
    • pp.510-517
    • /
    • 2001
  • 본 연구는 와전류 형상인식 기법을 증기발생기 세관의 보다 실제적인 결함 평가 문제에 적용하기 위한 목적으로 시도되었다. 이를 위해 증기발생기 세관에 발생하는 실제적인 결함을 보다 사실적으로 모사하는 다섯 가지 형태의 외벽 결함을 선택하고, 이들 결함의 크기 인자와 시험주파수를 변화시켜 가면서, 유한요소 수치해석 프로그램을 이용하여 이론적인 결함신호를 생성하였다. 그리고, 이들 결함신호의 분석을 효율적으로 수행하기 위한 도구로서, '와전류 특징추출 프로그램', '와전류 특징분석 프로그램', 그리고 'PNN 결함분류 프로그램'을 자체적으로 개발하였다. 비대칭 단면을 갖는 결함의 신호는 교점이 원점으로부터 이격되는 현상이 관찰되었는데, 이러한 특성을 반영하는 특징을 추가하여 총 18개의 특징을 시험주파수 별로 정의하였다. 이 특징들을 이용하여 결함을 분류하는 확률신경회로망을 구성하고 결함 분류를 수행한 결과, 결함단면의 대칭성 여부를 결정하는 문제에서는 비교적 높은 정확도를 얻었으나, 결함선단의 첨도를 판단하는 문제에서는 낮은 정확도를 얻었다.

  • PDF

PBL을 기반으로 한 건축구조공학 교육시스템의 개발 (A Study on Development of Education System based on PBL for Architectural Structure Engineering)

  • 강종
    • 한국산학기술학회논문지
    • /
    • 제13권1호
    • /
    • pp.51-58
    • /
    • 2012
  • 이 논문에서는 건축구조공학의 창의성 교육을 활성화하기 위한 대안으로 문제기반학습(PBL : Problem-Based Learning) 교육시스템을 개발하였다. 이러한 시스템의 개발에서는 먼저 건축구조공학 교육의 PBL에 대한 고찰을 통하여 과제도출 및 교육 프로세스를 제시하였다. 개발된 교육시스템은 크게 구조 모형의 하드웨어 시스템과 교육 시스템상에서 활용 가능한 코스웨어로 구성되어 있다.

Modelling and simulation of a closed-loop electrodynamic shaker and test structure model for spacecraft vibration testing

  • Waimer, Steffen;Manzato, Simone;Peeters, Bart;Wagner, Mark;Guillaume, Patrick
    • Advances in aircraft and spacecraft science
    • /
    • 제5권2호
    • /
    • pp.205-223
    • /
    • 2018
  • During launch a spacecraft is subjected to a variety of dynamical loads transmitted through the launcher to spacecraft interface or air-born transmission excitations in the acoustic pressure field inside the fairing. As a result, spacecraft are tested on ground to ensure and demonstrate the global integrity of the structure against these loads, to screen the flight hardware for quality of workmanship and to validate mathematical models. This paper addresses the numerical modelling and simulation of the low frequency sine and random vibration tests performed on electrodynamic shaker facilities to comprise the mechanical-borne transmission loads through the launcher to spacecraft interface. Consequently, the paper reviews techniques and methodologies to derive a reliable and representative coupled virtual vibration testing simulation environment based on experimental data. These technologies are explored with the main objectives to ensure a stable, reliable and accurate control while testing. As a result, the use of the derived simulation models in combination with the added value of improved control and signal processing algorithms can lead to a safer and smoother vibration test control of the entire environmental test campaign.

Bridge load testing and rating: a case study through wireless sensing technology

  • Shoukry, Samir N.;Luo, Yan;Riad, Mourad Y.;William, Gergis W.
    • Smart Structures and Systems
    • /
    • 제12권6호
    • /
    • pp.661-678
    • /
    • 2013
  • In this paper, a wireless sensing system for structural field evaluation and rating of bridges is presented. The system uses a wireless platform integrated with traditional analogue sensors including strain gages and accelerometers along with the operating software. A wireless vehicle position indicator is developed using a tri-axial accelerometer node that is mounted on the test vehicle, and was used for identifying the moving truck position during load testing. The developed software is capable of calculating the theoretical bridge rating factors based on AASHTO Load and Resistance Factor Rating specifications, and automatically produces the field adjustment factor through load testing data. The sensing system along with its application in bridge deck rating was successfully demonstrated on the Evansville Bridge in West Virginia. A finite element model was conducted for the test bridge, and was used to calculate the load distribution factors of the bridge deck after verifying its results using field data. A confirmation field test was conducted on the same bridge and its results varied by only 3% from the first test. The proposed wireless sensing system proved to be a reliable tool that overcomes multiple drawbacks of conventional wired sensing platforms designed for structural load evaluation of bridges.

체적성형공정에서의 새로운 마찰시험법 제안 (Proposal of Novel Friction Testing Method in Bulk Metal Forming)

  • 강성훈;윤여웅;이영선
    • 한국소성가공학회:학술대회논문집
    • /
    • 한국소성가공학회 2009년도 춘계학술대회 논문집
    • /
    • pp.445-449
    • /
    • 2009
  • With the recent increase in the demand for the net-shape forming, numerical simulations are being commonly adopted to increase the efficiency and effectiveness of design of bulk metal forming processes. Proper consideration of tribological problems at the contact interface between the tool and workpiece is crucial in such simulations. In other words, lubrication and friction play important roles in metal forming by influencing the metal flow, forming load and die wear. In order to quantitatively estimate such friction condition or lubricant characteristic, the constant shear friction model is widely used for bulk deformation analyses. For this, new friction testing method based on the forward or backward extrusion process is proposed to predict the shear friction factor in this work. In this method, the tube-shaped punch pressurizes the workpiece so that the heights at the center and outer of punch (or mandrel) become different according to the friction condition. That is, the height at the center of punch is higher than that at the outer of the punch when the friction condition at the contact interface is severe. From this founding, the proposed friction testing method can be applied to effectively evaluate the friction condition in bulk metal forming processes.

  • PDF

Multinomial Group Testing with Small-Sized Pools and Application to California HIV Data: Bayesian and Bootstrap Approaches

  • 김종민;허태영;안형진
    • 한국조사연구학회:학술대회논문집
    • /
    • 한국조사연구학회 2006년도 춘계학술대회 발표논문집
    • /
    • pp.131-159
    • /
    • 2006
  • This paper consider multinomial group testing which is concerned with classification each of N given units into one of k disjoint categories. In this paper, we propose exact Bayesian, approximate Bayesian, bootstrap methods for estimating individual category proportions using the multinomial group testing model proposed by Bar-Lev et al (2005). By the comparison of Mcan Squre Error (MSE), it is shown that the exact Bayesian method has a bettor efficiency and consistency than maximum likelihood method. We suggest an approximate Bayesian approach using Markov Chain Monte Carlo (MCMC) for posterior computation. We derive exact credible intervals based on the exact Bayesian estimators and present confidence intervals using the bootstrap and MCMC. These intervals arc shown to often have better coverage properties and similar mean lengths to maximum likelihood method already available. Furthermore the proposed models are illustrated using data from a HIV blooding test study throughout California, 2000.

  • PDF

풍력 발전용 블레이드 접합부의 결함 검출을 위한 일정가압 메커니즘 설계 및 실험 (A Design and Experiment of Pressure and Shape Adaptive Mechanism for Detection of Defects in Wind Power Blade)

  • 임선;임승환;정예찬;지수정;남문호
    • 한국신뢰성학회지:신뢰성응용연구
    • /
    • 제17권3호
    • /
    • pp.224-235
    • /
    • 2017
  • Purpose: Reliability is the most important factor to detect defects as wind turbines are deployed in large blades. The methods of detecting defects are various, such as non-destructive inspection and thermal imaging inspection. We propose the phased array ultrasonic testing method of non-destructive testing. Methods: We propose the active pressure mechanism for wind power blade. The phase array ultrasonic inspection method is used for fault detection inner blade surface. Controlled pressure of mechanism with respect to z-axis is important for guarantee the result of phase array ultrasonic inspection. The model based control and proposed mechanism are utilized for overall system stability and effectiveness of system. Result: The result of proposed pressure mechanism B is more stable than A. Convergence speed is also faster than A. Conclusion: We confirmed the performance of the proposed constant pressure mechanism through experiments. Non-destructive testing was applied to the specimen to confirm the reliability of detecting defects.