• Geomechanics and Engineering
• /
• v.35 no.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.

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.923-930
• /
• 2006

In this paper we design the system test model for the weapon system embedded software based on the Time Factor Method(TFM) considering time factors and suggest the results through the case study. For doing this, we discuss the features, system tests and the object-oriented model based UML notations of the weapon system embedded software. And we give a test method considering time factors, a measuring method to time factors, and a test case selection algorithm as an approach to the TFM for designing the system test model. The TFM based system test model consists of three factors (X, Y, Z) in the weapon system embedded software. With this model, we can extract test cases through the selection algorithm for a maximum time path in 'X', identify the objects related to the Sequence Diagram in 'Y' and measure the execution time of each objects which is identified by the Timing Diagram in 'Z' Also, we present the method of extracting the system test cases by applying the proposed system test model to the 'Multi-function missile defense system'.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.31 no.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.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.24 no.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
• /
• v.8 no.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
• /
• v.32 no.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
• /
• v.6 no.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
• /
• v.16 no.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.

• Korean Management Science Review
• /
• v.28 no.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.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.2
• /
• pp.470-474
• /
• 2008

The rate-dependent constitutive model and the rate-independent model were analyzed for comparing with the piezocone penetration test and dissipation test. The mathematical expressions of the rate-dependent constitutive model were introduced, and the predictions using the both models were compared with the experimental results of in-situ field test. The rate-dependent model analysis gave better results than the rate-independent model analysis, that is appreciated since the process of the piezocone penetration and dissipation depends on the strain rate. Therefore, it is recommended the concept of the rate-dependent model for the prediction of soil behaviors using the field penetration test.