• Journal of the Korean Geosynthetics Society
• /
• v.21 no.1
• /
• pp.33-48
• /
• 2022

This paper presents illustrative examples of the application of advanced digital image correlation (DIC) technology in the geotechnical laboratory tests, such as shallow footing test, trapdoor test, retaining wall test, and wide width tensile test on geogrid. The theoretical background of the DIC technique is first introduced together with fundamental equations. Relevant reduced-scale model tests were then performed using standard sand while applying the DIC technique to capture the movement of target materials during tests. A number of different approaches were tried to obtain optimized images that allow efficient tracking of material speckles based on the DIC technique. In order to increase the trackability of soil particles, a mix of dyed and regular sand was used during the model tests while specially devised painted speckles were applied to the geogrid. A series of images taken during tests were automatically processed and analyzed using software named VIC-2D that automatically generates displacements and strains. The soil deformation field and associated failure patterns obtained from the DIC technique for each test were found to compare fairly well with the theoretical ones. Also shown is that the DIC technique can also general strains appropriate to the wide width tensile test on geogrid, It is demonstrated in this study that the advanced DIC technique can be effectively used in monitoring the deformation and strain field during a reduced-scale geotechnical model laboratory test.

• Transactions of Materials Processing
• /
• v.4 no.1
• /
• pp.9-16
• /
• 1995

Model material technique, which requires only the small space of experimental set-up and low cost for experiment, is used to estimate the deformed profile and the forging load in rotary forging. The materials and working conditions are determined to satisfy the similitude conditions between the model test and the prototype test. The model material of the so-called plasticine and the mild steel are chosen as specimens, and they represent almost the same value of strain gardening exponent in the stress-strain relationship. Lubricant in the model test is also carefully selected so that it gives the same frictional conditions at the tool-specimen interface. Experiments for two kinds of specimens are carried out in each testing equipment at room temperatue. From the experiments the deformed dimensions and the forging loads are measured and compared with each other by using the simulation coefficients. It is shown that there are good agreements between the model test and the prototype test. Finally, for verifying the availability of the model material technique this mathod is applied to forging of bevel gear product. the good result is obained which can demonstrate that the model material technique is very efficent for estimating or developing a new process.

• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1386-1396
• /
• 2015

Graphical user interface testing (GUI testing) techniques have been widely used to test the functionality of Android applications (apps) and to detect faults for verification of the reliability and usability of apps. To adequately test the behaviors of apps, a number of studies on model-based GUI testing techniques have been performed on Android apps. However, the effectiveness of model-based techniques greatly depends on the quality of the GUI model, because model-based GUI testing techniques generate test inputs based on this model. Therefore, in order to improve testing effectiveness in model-based techniques, accurate and efficient GUI model generation has to be achieved using an improved model generation technique with concrete definition of GUI states. For accurate and efficient generation of a GUI model and test inputs, this study suggests a hierarchical GUI state comparison technique and evaluates this technique through comparison with the existing model-based techniques, considering activities as GUI states. Our results show that the proposed technique outperforms existing approaches and has the potential to improve the performance of model-based GUI testing techniques for Android apps.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.385-390
• /
• 2017

Because of the ever-increasing software complexity, model-based development techniques are becoming an essential technique in software development. However, even if model-based techniques are used, the test case generation for complex software is still a challenge to solve. In this paper, we propose a method to generate automatic test cases based on UML model using custom parser and SMT solver. By proposed technique, a test case can be generated even though the model is described in a platform independent language such as action language, or in a platform dependent language. In addition, a concolic execution technique is applied to efficiently generate test cases in the model. In this paper, we present a case study on the power window switch model of Hyundai Santa Fe through the proposed test case generation technique.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.6
• /
• pp.235-242
• /
• 2019

This paper proposes a reusable test case extraction technique for modified MATLAB Simulink/Stateflow (SL/SF) model. Creating test cases for complicated SL/SF model like ECU(Electrical Control Unit) of automotive, requires a lot of time and effort. An intuitive way to reduce to create new test cases whenever the model changes, is to reuse some test cases which have been generated for the original model. In this paper, we propose a method to define reusable test cases in SL/SF after defining model behavior and judging model equality by test cases. The proposed technique is evaluated using a commercial automotive controller model.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.156-159
• /
• 2008

This paper introduces a remained tensile force estimation method using SI technique based on evolutionary algorithm for externally prestressed tendon. This paper applies the differential evolutionary scheme to SI technique. A virtual model test using ABAQUS 3 dimensional frame model has been made for this work The virtual model is added to the tensile force(28.5kN). Two set of frequencies are extracted respectively from the virtual test and the self-coding FEM 2 dimension model. The estimating tendon tension for the FEM model is 28.31kN. It is that the error in the tendon tension is 1% through the differential evolutionary algorithm. The errors between virtual model and the self-coding FEM model are assumed as the model error.

• Proceedings of the KWS Conference
• /
• 2002.10a
• /
• pp.378-383
• /
• 2002

In previous study, the decrease and recovery of total stiffness in welded structure was discussed on the basis of experimental examination through tensile loading and unloading test of welded specimen. The recovery of structure stiffness was caused by the release of welding residual stress through mechanical loading. In this study, analysis model that is indispensable for the effective application of MSR method was established on the basis of test and measurement result. Thermal elasto-plastic analysis for welding process was performed by non-coupled analysis. Analysis results of welding process were transfer to elasto-plastic model for tensile loading & unloading by restart technique. In elasto-plastic analysis model for mechanical loading & unloading, hardening appearance of weld metal was considered by rezoning technique and tying technique was used for JIG condition of test machine.

• International Journal of Korean Welding Society
• /
• v.2 no.1
• /
• pp.29-32
• /
• 2002

In previous study, the decrease and recovery of total stiffness in welded structure was discussed on the basis of experimental examination through tensile loading and unloading test of welded specimen. The recovery of structure stiffness was caused by the release of welding residual stress through mechanical loading. In this study, analysis model that is indispensable for the effective application of MSR method was established on the basis of test and measurement result. Thermal elasto-plastic analysis for welding process was performed by non- coupled analysis. Analysis results of welding process were transfer to elasto-plastic model for tensile loading & unloading by restart technique. In elasto-plastic analysis model for mechanical loading & unloading, hardening appearance of weld metal was considered by rezoning technique and tying technique was used for JIG condition of test machine.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.305-307
• /
• 1992

This paper presents a technique, which identifies both process noise covariance and sensor noise covariance by using innovation correlation test. A correlation test, which checks whether the square root Kalman filter is workingly optimal or not, is given. The system is stochastic autoregressive moving-average model with auxiliary white noise Input. The linear quadratic Gaussian control is used for minimizing stochastic cost function. This paper indentifies Q, R, and estimates parametric matrics $A(q^{-1}),B(q^{-1}),C(q^{-1})$ by means of extended recursive least squares and model reference control. And The proposed technique has been validated in simulation results on the fourth order system.

• Journal of the Korean Geotechnical Society
• /
• v.22 no.7
• /
• pp.5-12
• /
• 2006

In this study, 2D shallow tunnel model test using close range photogrammetric technique was conducted with aluminium rods simulating continuum granular material. Numerical analysis was also carried out in order to identify the behaviour of subsurface deformations caused by shallow tunnelling. Direction and magnitude of displacement vectors from the model test were identical to the result of numerical analysis based on the model data. In particular, it is shown that the vector direction was toward a point below the tunnel invert level. A narrow "chimney or tulip like" pattern of vertical displacement was confirmed by both the model test and numerical analysis. This behaviour is consistent with the field data. In addition to the qualitative comparison, the quantitative result of subsurface settlements according to 2D volume loss showed good agreement between the model test and numerical analysis. Therefore, close range photogrammetric technique applied in the model test may be used to validate the result from the continuum numerical analysis.