• Geomechanics and Engineering
• /
• 제35권1호
• /
• pp.13-27
• /
• 2023

The model production for large-scale (lateral length ≥ 2.0 m) capillary barrier (CB) model tests is time and cost-intensive. To address these limitations, the framework of a small-scale CB (SSCB) model test under the lateral no-flow condition has been established. In this study, to validate the experimental methodology of the SSCB model test, a series of seepage analyses on the SSCB model test and engineered slopes in the same and additional test conditions was performed. First, the seepage behavior and diversion length (L_D) of the CB system were investigated under three rainfall conditions. In the seepage analysis for the engineered slopes with different slope angles and sand layer thicknesses, the L_D increased with the increase in the slope angle and sand layer thickness, although the increase rate of the L_D with the sand layer thickness exhibited an upper limit. The L_D values from the seepage analysis agreed well with the results estimated from the laboratory SSCB mode test. Therefore, it can be concluded that the experimental methodology of the SSCB model test is one of the promising alternatives to efficiently evaluate the water-shielding performance of the CB system for an engineered slope.

• 정보처리학회논문지D
• /
• 제13D권7호
• /
• pp.923-930
• /
• 2006

본 논문에서는 무기체계 임베디드 소프트웨어의 시간 요소를 고려한 TFM(Time Factor Method) 기반의 시스템 테스트 모델을 설계하고, 적용사례를 통하여 결과를 제시한다. 이를 위해 무기체계 임베디드 소프트웨어의 특징과 시스템 테스트 그리고 객체지향 모델의 표현방법인 UML 표기법에 대하여 알아보고, 시스템 테스트 모델 설계를 위한 TFM 접근 방법으로 시간 요소를 고려한 테스트 방법과 시간 요소 측정 방법 그리고 테스트 케이스 선정 알고리즘을 제시한다. 무기체계 임베디드 소프트웨어의 TFM 기반 시스템 테스트 모델은 세 가지 요소 (X,Y,Z) 로 구성되며, 'X' 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, 'Y' 에서는 Sequence Diagram과 관련된 객체를 식별하고, 'Z'에서는 Timing Diagram을 통하여 식별된 각 객체들의 실행시간을 측정한다. 또한 제안한 W:M 기반 시스템 테스트 모델을 '다기능 미사일 방어시스템'에 적용하여 테스트 케이스를 추출하는 방법을 제시한다.

• 한국전기전자재료학회논문지
• /
• 제31권7호
• /
• pp.450-454
• /
• 2018

Because of the rapidly changing environment and high uncertainties, the semiconductor industry is in need of appropriate forecasting technology. In particular, both the cost and time in the test process are increasing because the process becomes complicated and there are more factors to consider. In this paper, we propose a prediction model that predicts a final "good" or "bad" on the basis of preconditioning test data generated in the semiconductor test process. The proposed prediction model solves the classification and regression problems that are often dealt with in the semiconductor process and constructs a reliable prediction model. We also implemented a prediction model through various machine learning algorithms. We compared the performance of the prediction models constructed through each algorithm. Actual data of the semiconductor test process was used for accurate prediction model construction and effective test verification.

• 한국군사과학기술학회지
• /
• 제24권1호
• /
• pp.70-78
• /
• 2021

Naval surface ships and submarines could be exposed to non-contact underwater explosion(UNDEX) environment. Equipment installed on the ships and submarines could be damaged by shock load generated by UNDEX environment. Therefore, shock survivability of equipment generally evaluated by shock tests. Ground based shock test machine such as Light weight shock test machine(LVSM) is developed to simulate shock load caused by UNDEX environment. In this study, linear dynamic model of LVSM is proposed and evaluated to improve shock test design procedure. Parameters of the model are decided by optimizing time domain response compared to zero payload experiment. Proposed model is verified by comparing simulation results and test results of maximum payload experiment. Finally, shock test design using the model is described for various test equipment weight.

• Journal of Information Processing Systems
• /
• 제8권2호
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• Computers and Concrete
• /
• 제32권5호
• /
• pp.465-474
• /
• 2023

The point load test (PLT) is a widely-used alternative method in the field to determine the uniaxial compressive strength due to its simple testing machine and procedure. The point load test index can estimate the uniaxial compressive strength through conversion factors based on the rock types. However, the mechanism correlating these two parameters and the influence of the mechanical properties on PLT results are still not well understood. This study proposed a theoretical model to understand the mechanism of PLT serving as an alternative to the UCS test based on laboratory observation and literature survey. This model found that the point load test is a self-confined compression test. There is a compressive ellipsoid near the loading axis, whose dilation forms a tensile ring that provides confinement on this ellipsoid. The peak load of a point load test is linearly positive correlated to the tensile strength and negatively correlated to the Poisson ratio. The model was then verified using numerical and experimental approaches. In numerical verification, the PLT discs were simulated using flat-joint BPM of PFC3D to model the force distribution, crack propagation and BPM properties' effect with calibrated micro-parameters from laboratory UCS test and point load test of Berea sandstones. It further verified the mechanism experimentally by conducting a uniaxial compressive test, Brazilian test, and point load test on four different rocks. The findings from this study can explain the mechanism and improve the understanding of point load in determining uniaxial compressive strength.

• International Journal of Reliability and Applications
• /
• 제6권1호
• /
• pp.31-39
• /
• 2005

An economic life test sampling plan for products with exponential lifetime distribution is developed. To reduce test time, a test plan with curtailed Type II censoring is considered. A cost model is constructed which involves three cost components; test cost, accept cost, and reject cost. Determination of optimal plan minimizing the expected average cost per lot is discussed with a constraint related to consumer's risk. Some numerical examples are provided.

• Communications for Statistical Applications and Methods
• /
• 제16권2호
• /
• pp.325-334
• /
• 2009

In this research, we propose a nonparametric test procedure for the right censored and grouped data under the additive hazards model. For deriving the test statistics, we use the likelihood principle. Then we illustrate proposed test with an example and compare the performance with other procedure by obtaining empirical powers. Finally we discuss some interesting features concerning the proposed test.

• 경영과학
• /
• 제28권1호
• /
• pp.141-158
• /
• 2011

This study concerns with an applicability of the management science approach to the score adjustment among the College Scholastic Aptitude Test(CSAT) optional subjects. A linear programming model is developed to minimize the sum of score distortions between optional subjects. Based on the analysis of the 377,089 CSAT(2010) applicants' performances in social science test section, this study proposes a new approach for the score equating or linking method of the educational measurement theory. This study makes up for the weak points in the previous linear programming model. First, the model utilize the standard score which we can get. Second, the model includes a goal programming concept which minimizes the gap between the adjusting goal and the result of the adjustment. Third, the objective function of the linear programing is the weighted sum of the score distortion and the number of applicants. Fourth, the model is applied to the score adjustment problem for the whole 11 optional subjects of the social science test section. The suggested linear programming model is a generalization of the multi-tests linking problem. So, the approach is consistent with the measurement theory for the two tests and can be applied to the optional three or more tests which do not have a common anchor test or a common anchor group. The college admission decision with CSAT score can be improved by using the suggested linear programming model.

• 한국산학기술학회논문지
• /
• 제9권2호
• /
• pp.470-474
• /
• 2008

본 연구에서는 실제 현장에서 수행한 피에조콘관입 및 소산시험결과와 변형률 속도를 고려한 구성모델의 이론적 해석을 비교하였다. 이를 위하여 변형률 속도 의존적 구성모델의 수학적 유도과정을 전개하였다. 해석 결과 변형률속도를 무시한 구성모델보다 변형률속도-의존 구성모델을 활용한 지반의 거동 해석이 비의존적 구성모델인 경우의 해석 보다 현장의 시험결과와 잘 일치하므로 변형률속도-의존 구성모델의 적용이 바람직하다.