• Journal of the Korean Society for Nondestructive Testing
• /
• v.10 no.1
• /
• pp.91-95
• /
• 1990

Welding residual stress was measured by Barkhausen noise method. The calibration experiment was done for the quantitative analysis. The specimen for the calibration experiment must has the same thermo-mechanical history as the actual material to be tested. The Barkhausen noise were analysed by the pulse-height distribution. The results show that the distribution and magnitude of welding residual stress from Barkhausen noise method are in good agreement with those from blind hole method.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2001.11b
• /
• pp.1384-1387
• /
• 2001

Presented is a method to predict strain responses from displacement measurements on a mechanical structure. The method consists of forming a transformation matrix, which is calculated from displacement and strain modal matrices. The modal matrices can be obtained by either finite element analysis or modal testing. One disadvantage of the method is that it requires displacements on all measuring points be measured simultaneously. The strain prediction method is applied to a simple simulated system.

• Journal of Conservation Science
• /
• v.25 no.4
• /
• pp.431-438
• /
• 2009

We have investigated the suitable measuring method and condition on the hardness testing for the earthenwares excavated from Poongnap mud castle in Hanseong Baekje period. The earthenwares which used on hardness testing have been classified according to Mohs hardness and external form and color. The Ultrasonic and Equotip testing method have used to the hardness testing on the surface of the earthenwares and the Rockwell and Micro-vickers testing methods have used to the hardness testing on the cross section of the earthenwares. As the results, the two methods applied to the surface of the earthenwares were very hard on the precise measurement and the measuring values were incompatible with the tendency classified according to Mohs hardness and external form and color. On the testing for the cross section of earthenware, the Rockwell-superficial hardness testing method was more suitable for the soft texture earthenware and highest reproducibility of the measuring value obtained at the test load and indentor are 15kgf and 1/16 “iron ball, respectively. The Micro-Vickers hardness testing method was suitable for the hard texture earthenware and highest reproducibility and accuracy of the measuring value obtained at the test load is 100gf. This results show strong possibility of progress on the classifying and comparing study for hardness of the earthenware and therefore active studies are expected on the field.

• KIPS Transactions on Software and Data Engineering
• /
• v.11 no.7
• /
• pp.273-282
• /
• 2022

Testing approaches for configurable software product lines differs significantly from a single software testing, as it requires consideration of common parts used by all member products of a product line and variable parts shared by some or a single product. Test coverage is a measure of the adequacy of testing performed. Test coverage measurements are important to evaluate the adequacy of testing at the software product line level, as there can be hundreds of member products produced from configurable software product lines. This paper proposes a method for measuring code coverage at the product line level in configurable software product lines. The proposed method tests the member products of a product line after hierarchizing member products based on the inclusion relationship of the selected features, and quantifies SPL(Software Product Line) test coverage by synthesizing the test coverage of each product. As a result of applying the proposed method to 11 configurable software product line cases, we confirmed that the proposed method could quantitatively visualize how thoroughly the SPL testing was performed to help verify the adequacy of the SPL testing. In addition, we could check whether the newly performed testing for a member product covers the newly added code parts of a feature.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.24 no.2
• /
• pp.151-157
• /
• 2004

Ultrasonic testing is a kind of nondestructive test to detect a crack or discontinuity in materials or on material surfaces by sending ultrasound to it. This conventional ultrasonic technique has some limitations in reliably detecting crack or accurately assessing materials in the case of complex-shaped power plant components such as a turbine blade root. An alternative method for such a difficult inspection is highly needed. In this study, application of a phased array ultrasonic testing (UT) system to a turbine blade, one of the critical power plant components, has been considered, and the particular incident angle has been determined so that the greatest track detectability and the most accurate crack length evaluation nay be achieved. The response of ultrasonic phased array was also analyzed to establish a special method to determine the track )ength without moving the transducer. The result showed that the developed method for crack length assessment is a more accurate and effective method, compared with the conventional method.

• Journal of Mechanical Science and Technology
• /
• v.15 no.4
• /
• pp.441-447
• /
• 2001

Ultrasonic wave generation and propagation were modeled to simulate an ultrasonic test. A ray model was used for the modeling. Actual sound pressure distribution of the incident wave from an angle probe was analyzed using an ultrasonic visualization method to incorporate the actual sound pressure distribution in the model. In this method, the sound pressure was expressed by the density of rays and the reflection coefficient of ultrasonic beams. Reflection and mode conversion of rays were computed by the Snells law. Simulation programs for the problem of ultrasonic testing of a butt joint are built using this ray modeling. Simulation results for ultrasonic wave scattering from a defect and A-scan display in ultrasonic testing agreed with the actual experiment results.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2000.04b
• /
• pp.304-307
• /
• 2000

This paper presents a numerical simulation study for remote parallel pseudo-dynamic testings using Internet. In this testing method, experimental facilities located at different places can be parallelly used for testing a large-scale structure with many components subjected to severe nonlinear behavior. Example analysis is carried out on a base- isolated bridge for earthquake loading. The results indicate that the time required for data communication between two facilities located 250km apart through Internet for t 000 time steps is about 20 minutes, which is fairly equivalent to the time required for pseudo-dynamic testing. This testing method can be more powerful, as the data transmitting technique through Internet improves.

• International Journal of High-Rise Buildings
• /
• v.4 no.4
• /
• pp.227-239
• /
• 2015

This paper discusses the design parameters that are required for the design of high-rise building foundations, and suggests that the method of assessment for these parameters should be consistent with the level of complexity involved for various stages in the design process. Requirements for effective ground investigation are discussed, together with relevant in-situ and laboratory test techniques for deriving the necessary strength and stiffness parameters. Some empirical correlations are also presented to assist in the early stages of design, and to act as a check for parameters that are deduced from more detailed testing. Pile load testing is then discussed and a method of interpreting bi-directional tests to obtain pile design parameters is outlined. Examples of the application of the assessment process are described, including high-rise projects in Dubai and Saudi Arabia.

• Advances in aircraft and spacecraft science
• /
• v.5 no.2
• /
• pp.251-258
• /
• 2018

This work illustrates the progress of a TAS activity at exploring the challenges and the benefits of the Virtual Shaker Testing (VST) approach. The definition and the validation of new computational methodologies with respect to the state of the art were encouraged throughout this activity. The shaker Finite Element (FE) model in lateral configuration was built for the purpose and it was merged with the SpaceCraft (S/C) FE model, together with the S/C-Shaker adapter. FE matrices were reduced through the Craig-Bampton method. The VST transient analysis was performed in MATLAB(R) numerical computing environment. The closed-loop vibration control is accounted for and the solution is obtained through the fourth-order Runge Kutta method. The use of pre-existing built-in functions was limited by authors with the aim of tracing the impact of all the problems' parameters in the solution. Assumptions and limitations of the proposed methodology are detailed throughout this paper. Some preliminary results pertaining to the current progress of the activity are thus illustrated before the conclusions.