• Structural Engineering and Mechanics
• /
• v.65 no.2
• /
• pp.129-139
• /
• 2018

Post-tensioning (PT) tendons are commonly used for the assembly of modularized concrete members, and tension is applied to the tendons during construction to facilitate the integrated behavior of the members. However, the tension in a PT tendon decreases over time due to steel corrosion and concrete creep, and consequently, the stress on the anchor head that secures the PT tendon also diminishes. This study proposes an automatic detection system to identify tension reduction in a PT tendon using pulsed-eddy-current (PEC) measurement. An eddy-current sensor is installed on the surface of the steel anchor head. The sensor creates a pulsed excitation to the driving coil and measures the resulting PEC response using the pick-up coil. The basic premise is that the tension reduction of a PT tendon results in stress reduction on the anchor head surface and a change in the PEC intensity measured by the pick-up coil. Thus, PEC measurement is used to detect the reduction of the anchor head stress and consequently the reduction of the PT tendon force below a certain threshold value. The advantages of the proposed PEC-based tension-reduction-detection (PTRD) system are (1) a low-cost (< $ 30), low-power (< 2 Watts) sensor, (2) a short inspection time (< 10 seconds), (3) high reliability and (4) the potential for embedded sensing. A 3.3 m long full-scale monostrand PT tendon was used to evaluate the performance of the proposed PTRD system. The PT tendon was tensioned to 180 kN using a custom universal tensile machine, and the tension was decreased to 0 kN at 20 kN intervals. At each tension, the PEC responses were measured, and tension reduction was successfully detected.

• Journal of Astronomy and Space Sciences
• /
• v.34 no.4
• /
• pp.315-330
• /
• 2017

Halo coronal mass ejections (CMEs) originating from solar activities give rise to geomagnetic storms when they reach the Earth. Variations in the geomagnetic field during a geomagnetic storm can damage satellites, communication systems, electrical power grids, and power systems, and induce currents. Therefore, automated techniques for detecting and analyzing halo CMEs have been eliciting increasing attention for the monitoring and prediction of the space weather environment. In this study, we developed an algorithm to sense and detect halo CMEs using large angle and spectrometric coronagraph (LASCO) C3 coronagraph images from the solar and heliospheric observatory (SOHO) satellite. In addition, we developed an image processing technique to derive the morphological and dynamical characteristics of halo CMEs, namely, the source location, width, actual CME speed, and arrival time at a 21.5 solar radius. The proposed halo CME automatic analysis model was validated using a model of the past three halo CME events. As a result, a solar event that occurred at 03:38 UT on Mar. 23, 2014 was predicted to arrive at Earth at 23:00 UT on Mar. 25, whereas the actual arrival time was at 04:30 UT on Mar. 26, which is a difference of 5 hr and 30 min. In addition, a solar event that occurred at 12:55 UT on Apr. 18, 2014 was estimated to arrive at Earth at 16:00 UT on Apr. 20, which is 4 hr ahead of the actual arrival time of 20:00 UT on the same day. However, the estimation error was reduced significantly compared to the ENLIL model. As a further study, the model will be applied to many more events for validation and testing, and after such tests are completed, on-line service will be provided at the Korean Space Weather Center to detect halo CMEs and derive the model parameters.

• Journal of KIISE:Information Networking
• /
• v.28 no.3
• /
• pp.377-388
• /
• 2001

An approach for testing multi-protocol Implementation Under Test (IUT) with a single test suite has been proposed in[1]. this paper proposes an algorithm called Multi-protocol Test Method (MPTM) for automatic test case generation based on that approach. With the MPTM, a multi-protocol IUT consisting of two protocol layers is modeled as two Finite State Machines (FSMs), and the relationships between the transitions of the two FSMs are defined as a set of transition relationships pre-execution and carried-by. The proposed algorithm is implemented and applied to a simplified TCP/IP and B-ISDN Signaling/SSCOP. MPTM is able to test the multi-protocol IUT even though the interfaces between the protocol layers are not exposed. It results in that the proposed MPTM allows the same test coverage as conventional test methods even with fewer numbers of test cases.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.34 no.3
• /
• pp.325-331
• /
• 2010

Three-cup anemometers are popular devices for measuring wind speeds in automated weather stations, environmental monitoring systems, and wind turbines. Cup anemometers usually suffer from lack of long-term stability owing to the wear of the bearing systems that support the rotational parts. The bearing systems are susceptible to external pollutants, vibrations, and gusts. Therefore, these anemometers have to be calibrated regularly to maintain the desired characteristics for measuring wind speed. In the present study, a new in-situ calibration system to help reduce cost and save time by calibrating the cup anemometers at the installation site is proposed. A portable in-situ calibrator was fabricated. After the characteristics of this calibrator were verified, it was used to calibrate cup anemometers. Some of the calibration results were compared with the data obtained by wind tunnel testing.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.41 no.6
• /
• pp.43-49
• /
• 2004

Electric pulp test is a method to examine the vitality of dental pulp using physical and chemical stimulation. During the pulp test, the current stimulates intradental nerve, and it makes patients painful. In this paper, we measured each activating response EMG in anterior belly of digastric muscle, voice, and finger movement during the pulp test by increasing stimulus intensity gradually. We also measured excessive stimulus time from the activating responses (EMG, voice, and finger movement) to the end of the stimulation. We measured and analyzed excessive stimulus time for each stimulus detecting method. As a result, we developed automatic stimulus breaker using the human responses to stimulus during electric pulp test. We reduced the excessive stimulus time by disconnecting the pulp tester stimulus output rapidly in 10 ms after activating human response.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.1141-1144
• /
• 2005

In this paper, we propose an automatic displacement system for testing stability of structure. Photogrammetry is a method which can measure accurate 3D data from 2D images taken from different locations and which is suitable for analyzing and measuring the displacement of structure. This paper consists of camera calibration, feature extraction using coded target & retro-reflective circle, 3D reconstruction and analyzing accuracy. Multi-view camera which is used for measuring displacement of structure is placed with different location respectively. Camera calibration calculates trifocal tensor from corresponding points in images, from which Euclidean camera is calculated. Especially, in a step of feature extraction, we utilize sub-pixel method and pattern recognition in order to measure the accurate 3D locations. Scale bar is used as reference to measure. the accurate value of world coordinate..

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.11
• /
• pp.549-554
• /
• 2016

ConceptNet is a common sense knowledge base which is formed in a semantic graph whose nodes represent concepts and edges show relationships between concepts. As it is difficult to make knowledge base integrity, a knowledge base often suffers from incompleteness problem. Therefore the quality of reasoning performed over such knowledge bases is sometimes unreliable. This work presents neural tensor networks which can alleviate the problem of knowledge bases incompleteness by reasoning new assertions and adding them into ConceptNet. The neural tensor networks are trained with a collection of assertions extracted from ConceptNet. The input of the networks is two concepts, and the output is the confidence score, telling how possible the connection between two concepts is under a specified relationship. The neural tensor networks can expand the usefulness of ConceptNet by increasing the degree of nodes. The accuracy of the neural tensor networks is 87.7% on testing data set. Also the neural tensor networks can predict a new assertion which does not exist in ConceptNet with an accuracy 85.01%.

• Journal of the Korean Institute of Gas
• /
• v.12 no.2
• /
• pp.63-68
• /
• 2008

The ubiquitous technology is capable of innovating various area to constructing intelligent and network to all objects. This technology can construct network infrastructure to facilities for applying legacy industry and need to develop intelligent service that analyze context-aware through network. This paper derive and propose the introduction range of ubiquitous technology, which should be testified and analyzed network, and studied the detection and analysis of information for managing gas facilities. We investigate the current status of gas facilities and automatic reading system, testing and analyzing wireless personal area network and mobile communication by scalability, self-configuration, connection in underground. Furthermore, we propose modelization method for intelligent service and derive the introduction range for applying ubiquitous technologies for managing gas facilities.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4509-4514
• /
• 2010

In this thesis, the effect of switch maintenance improvement is confirmed after testing and operating the switch monitoring system that were researched and developed originally in order to improve method of electric switch maintenance. However, as in an automatic interlocking station where a ground crew was not placed, repair and inspection could not be carried out until the maintenance person comes in case of switch problems or maintenance. In order to improve this issue, control module was installed in a monitoring system which can communicate through a data radio to a remote computer. Thus, the monitoring device can receive control information which a remote computer commands during the operation of switches. Afterward, it shows information on the real-time status of swith, in particular, anomaly situation through user interface after the switch is operated. By improving performance of the monitoring system in this way which can be managed and controled at a remote place, the prompt countermeasure system in case of disruption will be built and as a result, efficiency and convenience of maintenance improvement will be expected to increase.

• Journal of KIISE:Software and Applications
• /
• v.29 no.7
• /
• pp.450-464
• /
• 2002

Many modern complex systems, including most object-oriented systems, have dynamic characteristics that their components are dynamical]y configured during run-time. However, few analysis techniques are available that consider the dynamic nature of systems explicitly. We propose a specification and analysis method for these dynamic systems. We design a new temporal logic, called HDTL, to specify the properties of dynamically evolving systems, and tune up the tableau method for this logic. HDTL incorporates variables and quantifiers that enable the automatic analysis. Using HDTL and the analysis method, we can specify the correctness requirements of systems and check whether the system actually agree with the requirements or not. An experiment shows that HDTL is suitable for specifying dynamic properties and the analysis technique works well.