• Journal of the Korean Society for Precision Engineering
• /
• v.32 no.7
• /
• pp.619-625
• /
• 2015

There is a large interest to find reliable and automatic methods for crack detection and quantification in the railway bogie frame. The non-destructive inspection of railway bogie frame has been performed by ultrasonic and magnetic particle testing in general inspection. The magnetic particle method has been utilized in the defect inspection of the bogie frame but the grinding process is required before inspection and the dust is developed resulting from the processing. The objective of this paper is to apply the inspection method of bogie frame using infra-red thermography. The infra-red thermography system using the excitation of eddy current was performed for the defect evaluation of weld specimen inserted artificial defects. The result shows that the infra-red thermography method can detect the surface and inner defects in weld specimen for bogie frame.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.16 no.5
• /
• pp.8-14
• /
• 2008

For nondestructive inspection of electron beam (EB) welding part in automotive power transmission assembly, a pulse-echo ultrasonic testing apparatus in water immersion has been applied using the ultrasonic waves with a frequency of 10MHz. However various problems have appeared during the ultrasonic inspection, which led to some significant mistakes in automatic quality evaluation of the welding parts. Experimental study showed that the state of water couplant medium containing some amount of contaminants, rusts and anti-corrosion agents had considerable influences on the reduction of ultrasonic amplitudes during wave propagation. The amplitude reduction depending on the coupling medium state could bring about some mis-diagnoses for defects in the welding parts. The results proposed that for a reliable inspection of defects in welds the state of water medium should be kept in about 15 volume fractions (vol.%) of anti-corrosion agents and in minimized contaminants.

• The Journal of Korean Academy of Orthopedic Manual Physical Therapy
• /
• v.7 no.2
• /
• pp.23-39
• /
• 2001

Dysfunction of the anterior and dorsal muscles of the trunk have been studied in relation to low back pain of many years. Many muscles of the trunk are capable of contributing to the stabilization and protection of the lumbar spine, recent evidence has suggested that transversus abdominis may be critically involved and has been the focus of rehabilitation. The delay in onset of contraction of trunk muscles associated with movement of the upper or lower limb in patients with low back pain indicates a significant deficit in the automatic motor command for control of disturbance to the spine. The function of transversus abdominis has been largely ignored in the evaluation of spinal stabilization and protection. The most essential stabilizing muscles for the lumbar column are the transversus abdominis and the multifidus. Sling exercise therapy(SET) concept consists of a system of diagnosis and treatment. The system of diagnosis involves testing the muscle's tolerance through progressive loading in open and close kinetic chains. The SET system contains elements such as relaxation, increasing the range of movement, traction, training the stabilizing musculature, sensorimotor exercises, training in open and close kinetic chains, dynamic training of the mobilizing musculature, cardiovasc+ular exercises, group exercise, personal exercise at home. Sensorimotor training is an essential element of the SET concept. The emphasis is on closed kinetic chain exercises on an unstable surface, thereby achieving optimum stimulation of the sensorimotor apparatus.

• Journal of Applied Reliability
• /
• v.7 no.1
• /
• pp.23-29
• /
• 2007

Probe card is a test component which is to classify the known good die with electrical contact before the packaging in the ATE (automatic testing equipment). Conventional probe tip was mostly needle type, it has been difficult to meet with conventional type, because of decreasing chip size, pad to pad pitch and pads size increasingly. For that reason, probe cards using MEMS (micro electro mechanical system) technology have been developed for various semiconductor chips. In this paper, Area Array type MEMS Probe tip was designed,, fabricated, and characterized its mechanical and electrical properties. The authors found that good electrical characteristics under $1{\Omega}$ were acquired with gold (Au) and aluminium (Al) pad contact test over 0.5gf and 4gf respectively. And, contact resistance variation under $0.1{\Omega}$ were achieved with 100,000 times of repetition test. And, insertion loss (IS) for high frequency operation was ascertained over 300MHz at -3dB loss.

• Nuclear Engineering and Technology
• /
• v.46 no.5
• /
• pp.667-674
• /
• 2014

One of the largest problems for tokamak devices such as Kazakhstan Tokamak for Material Testing (KTM) is the operation scenarios' development and execution. Operation scenarios may be varied often, so a convenient hardware and software solution is required for scenario management and execution. Dozens of diagnostic and control subsystems with numerous configuration settings may be used in an experiment, so it is required to automate the subsystem configuration process to coordinate changes of the related settings and to prevent errors. Most of the diagnostic and control subsystems software at KTM was unified using an extra software layer, describing the hardware abstraction interface. The experiment sequence was described using a command language. The whole infrastructure was brought together by a universal communication protocol supporting various media, including Ethernet and serial links. The operation sequence execution infrastructure was used at KTM to carry out plasma experiments.

• Journal of Electrical Engineering and Technology
• /
• v.7 no.1
• /
• pp.109-114
• /
• 2012

In this paper, we utilize training strategy of hidden Markov model (HMM) to use in versatile issues such as classification of time-series sequential data such as electric transient disturbance problem in power system. For this, an automatic means of optimizing HMMs would be highly desirable, but it raises important issues: model interpretation and complexity control. With this in mind, we explore the possibility of using genetic algorithm (GA) and harmony search (HS) algorithm for optimizing the HMM. GA is flexible to allow incorporating other methods, such as Baum-Welch, within their cycle. Furthermore, operators that alter the structure of HMMs can be designed to simple structures. HS algorithm with parameter-setting free technique is proper for optimizing the parameters of HMM. HS algorithm is flexible so as to allow the elimination of requiring tedious parameter assigning efforts. In this paper, a sequential data analysis simulation is illustrated, and the optimized-HMMs are evaluated. The optimized HMM was capable of classifying a sequential data set for testing compared with the normal HMM.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.1A
• /
• pp.66-72
• /
• 2002

In this paper, we implemented the GenJTAG, a CAD tool, which generates a code of boundary scan circuit supporing a board level testing and d BIST(Built-In Self Test) written in verilog-HDL. A boundary scan circuit code that supports user's own BIST instructions is generated based on the informations from the users. Most CAD tools hardly allow users to add their own BIST instructions because the generated code described in gate-level. But the GenJTAG generates a behavioral boundary scan circuit code so users can easily make a change on the generated code.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.9
• /
• pp.1854-1866
• /
• 1997

This paper proposes a new test case generation technique for a nondeterministic finite state machine by improving the existing UIO sequence generation method. First, a new conformance relationis defined, which is one of prerequisites for automatic test case generation. Because fof the nondeterministic property of torpocols, the output of the systems under test is not known deterministically to the tester. Therefore, tree-like test case generation method is introduced for adaptive testing, in which the next input is selected after observing the previous output. Since the test cases are generated with regarding the inputs and outputs as separate events and are represented in tree notation, the test cases are easily converted into TTCN, the international standard test suite specification language.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.10
• /
• pp.59-68
• /
• 1998

The goal of data mining is to develop the automatic and intelligent tools and technologies that can find useful knowledge from databases. To meet this goal, we propose an efficient data mining algorithm based on the fuzzy decision tree. The proposed method combines comprehensibility of decision tree such as ID3 and C4.5 and representation power of fuzzy set theory. So, it can generate simple and comprehensive rules describing data. The proposed algorithm consists of two stages: the first stage generates the fuzzy membership functions using histogram analysis, and the second stage constructs a fuzzy decision tree using the fuzzy membership functions. From the testing of the proposed algorithm on the IRIS data and the Wisconsin Breast Cancer data, we found that the proposed method can generate a set of fuzzy rules from data efficiently.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.