• Journal of the Korean Recycled Construction Resources Institute
• /
• v.8 no.1
• /
• pp.134-142
• /
• 2020

In this study, in order to evaluate the self-healing performance of cement composites the self-healing test method and the analysis method were suggested by applying constant water head permeability test, chloride migration test and repeated bending test. The method of making a cracked specimen and controlling crack width are also proposed. Constant head water permeability test can evaluate the healing performance by using the decreasing rate of water flow passing through the crack zone of a specimen. Furthermore, the equivalent crack width can be used to intuitively investigate the healing effect with healing period. The chloride migration test can evaluate the healing rate by the decreasing rate of the diffusion coefficient obtained by ASTM C 1202. Mechanical healing performance can be evaluated using ISR and IDR estimated from load vs. CMOD relationship graph obtained through the repeated bending test. Finally, the applicability of proposed self-healing evaluation methods was examined by testing mortar specimens with or without self-healing agents.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.26 no.2
• /
• pp.186-194
• /
• 2020

In this study, spectral analysis was conducted to identify environmental factors af ecting short-term changes in water temperature in the East, West and South coasts of Korea. The data used in the spectrum analysis is the 2016 summer water temperature, air temperature, tide level and wind data provided by Korea Hydrographic & Oceanographic Agency. In power spectrum results, peaks of water temperature and tide level were observed at same periods in West Sea (Incheon, Pyeungteak, Gunsan and Mokpo) and South Sea (Wando, Goheung, Yeosu, Tongyeong and Masan) where mean tidal range was more than 100 cm. On the other hand, periodicity of water temperature did not appear in East Sea and Busan where the mean tidal range was small. Coherence analysis showed that water temperature was highly correlated with tide in West Sea and three stations(Wando, Goheung and Tongyeong) of South Sea. Especially, correlation between water temperature and tide level in Wando and Tongyeong presented 0.96 at semi-diurnal period. Water temperature in Yeosu seems to have influenced by tide and inflow of fresh water. In Masan, water temperature is influenced by south wind, tide and inflow of fresh water. In East Sea, influence of tide on water temperature is small due to current and small tidal range. As a result of comparing the time series graph, stations where the correlation between water temperature and tide is high show that relatively cold water was inputted at flood tide and flow out at ebb tide. short-term variation of water temperature was affected by tide, but long-term variation over a month was affected by air temperature.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.3
• /
• pp.185-197
• /
• 2001

Recently, the design method by VHDL coding and synthesis has been used widely. As the integration ratio increases, the amount design by VHDL at a time also increases so many coding errors occur in a design. Thus, lots of time and effort is dissipated to detect those coding errors. This paper proposed a method to verify the coding errors in VHDL behavioral-level designs. As the methodology, we chose the method to detect the coding error by applying the generated set of verifying patterns and comparing the responses from the error-free case(gold unit) and the real design. Thus, we proposed an algorithm to generate the verifying pattern set for the coding errors. Verifying pattern generation is peformed for each code and the coding errors are classified as two kind: condition errors and assignment errors. To generate the patterns, VHDL design is first converted into the corresponding CDFG(Control & Data Flow Graph) and the necessary information is extracted by searching the paths in CDFG. Path searching method consists of forward searching and backward searching from the site where it is assumed that coding error occurred. The proposed algorithm was implemented with C-language. We have applied the proposed algorithm to several example VHDL behavioral-level designs. From the results, all the patterns for all the considered coding errors in each design could be generated and all the coding errors were detectable. For the time to generate the verifying patterns, all the considered designed took less than 1 ［sec］ of CPU time in Pentium-II 400MHz environments. Consequently, the verification method proposed in this paper is expected to reduce the time and effort to verify the VHDL behavioral-level designs very much.

• Journal of the Korea Convergence Society
• /
• v.9 no.1
• /
• pp.419-431
• /
• 2018

In this paper, we propose a novel method for monitoring mood trend of Twitter users by analyzing their daily tweets for a long period. Then, to more accurately understand their tweets, we analyze all types of content in tweets, i.e., texts and emoticons, and images, thus develop a multimodal sentiment analysis method. In the proposed method, two single-modal analyses first are performed to extract the users' moods hidden in texts and images: a lexicon-based and learning-based text classifier and a learning-based image classifier. Thereafter, the extracted moods from the respective analyses are combined into a tweet mood and aggregated a daily mood. As a result, the proposed method generates a user daily mood flow graph, which allows us for monitoring the mood trend of users more intuitively. For evaluation, we perform two sets of experiment. First, we collect the data sets of 40,447 data. We evaluate our method via comparing the state-of-the-art techniques. In our experiments, we demonstrate that the proposed multimodal analysis method outperforms other baselines and our own methods using text-based tweets or images only. Furthermore, to evaluate the potential of the proposed method in monitoring users' mood trend, we tested the proposed method with 40 depressive users and 40 normal users. It proves that the proposed method can be effectively used in finding depressed users.

• Journal of the Economic Geographical Society of Korea
• /
• v.11 no.3
• /
• pp.459-475
• /
• 2008

This study analyzes the network structure of the Metropolitan Seoul subway system by applying complex network analysis methods. For the purpose, we construct the Metropolitan Seoul subway system as a network graph, and then calculate various indices introduced in complex network analysis. Structural characteristics of Metropolitan Seoul subway network are discussed by these indices. In particular, this study determines the shortest paths between nodes based on the weighted distance (physical and time distance) as well as topological network distance, since urban travel movements are more sensitive for them. We introduce an accessibility measurement based on the shortest distance both in terms of physical distance and network distance, and then compare the spatial structure between two. Accessibility levels of the system have been getting up overall, and thus the accessibility gaps have been getting lessen between center located subway stops and remote ones during the last 10 years. Passenger traffic volumes are explored from real passenger transaction databases by utilizing data mining techniques, and mapped by GIS. Clear differences reveal between the spatial patterns of real passenger flows and accessibility. That is, passenger flows of the Metropolitan Seoul subway system are related with population distribution and land use around subway stops as well as the accessibility supported by the subway network.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.5
• /
• pp.346-353
• /
• 2016

In the design conditions of some research reactors, the siphon phenomenon can cause continuous efflux of water during pipe rupture. A siphon breaker is a safety device that can prevent water efflux effectively. However, the analysis of the siphon breaking is complicated because many variables must be included in the calculation process. For this reason, a simulation program was developed with a user-friendly GUI to analyze the siphon breaking easily. The program was developed by MFC programming using Visual Studio 2012 in Windows 8. After saving the input parameters from a user, the program proceeds with three steps of calculation using fluid mechanics formulas. Bernoulli's equation is used to calculate the velocity, quantity, water level, undershooting, pressure, loss coefficient, and factors related to the two-phase flow. The Chisholm model is used to predict the results from a real-scale experiment. The simulation results are shown in a graph, through which a user can examine the total breaking situation. It is also possible to save all of the resulting data. The program allows a user to easily confirm the status of the siphon breaking and would be helpful in the design of siphon breakers.

• Journal of Hospice and Palliative Care
• /
• v.7 no.1
• /
• pp.49-63
• /
• 2004

Purpose: The Hospice Oriented Medical Record (HOMR) was developed for assessing the pain and symptoms of terminal cancer patients. Methods and Results: The HOMR consists of an instruction for users and 2 assessment pages which include the graph showing vital signs (temperature, blood pressure, pulse, respiration rate and pain score), current problem lists, performance status, laboratory data, pain characteristics and management, sedation score, associated symptoms and drug side effects, etc. Pilot study was performed in the inpatient Hospice Care Unit in Guro Hospital, Korea University Medical Center. Because an one-week progress data was recorded in HOMR as a flow sheet, the patient's condition and pain control status could be seen at a glance. Conclusion: The HOMR is useful for assessing the terminal cancer patients because it is simple and convenient to use. Further research is needed before it can be universally used in the clinical settings.

• Journal of Korea Water Resources Association
• /
• v.52 no.10
• /
• pp.719-728
• /
• 2019

Valve in water distribution network (WDN), that controls the flow in pipes, is used to isolate a segment (a part of WDN) under abnormal water supply conditions (e.g., pipe breakage, water quality failure event). The segment isolation degrades pressure and water serviceability in neighboring area during the water service outage of the segment. Recent hydraulic and water quality failure events reported encouraging WDN valve installation based on various abnormal water supply scenarios. This study introduces a scenario-based optimal valve installation approach to optimize the number of valves, the amount of undelivered water, and a shortest water supply path indicator (i.e., Hydraulic Geodesic Index). The proposed approach is demonstrated in the valve installation of Pescara network, and the optimal valve sets are obtained under multiple scenarios and compared to the existing valve set. Pressure-driven analysis (PDA) scheme is used for a network hydraulic simulation. The optimal valve set derived from the proposed method has 19 fewer valves than the existing valve set in the network and the amount of undelivered water was also lower for the optimal valve set. Reducing the reservoir head requires a greater number of valves to achieve the similar functionality of the WDN with the optimal valve set of the original reservoir head. This study also compared the results of demand-driven analysis (DDA) and the PDA and confirmed that the latter is required for optimal valve installation.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.19 no.1
• /
• pp.203-209
• /
• 2019

In this work, a new land-specific resistance measuring device (GM) and a measuring probe (Grounding Rod) are connected to the WENNER quadrant as power-line communication (PLC). In groups of two (P1,P2) probes, five to ten probes are installed in series on the ground at intervals of 1m, 2m, 4m, 8m, and 16m, respectively. If the PLC signal from the GMD is detected by the receiver of the Probe 1 (P1) for measurement, the minute voltage and current for measurement flow from the PSD (power supply) attached to the probe to the ground, and then, through the soil between P1 and P2, enters the Probe 1 (P2). The resistance value is then measured by the principle of voltage drop due to ground resistance. Measure the earth resistance every T seconds up to 1 trillion and store the measured data on the Arduino Server mounted on the main equipment. Stored measurement data can be derived from formulas by Ohm's Law and from inherent resistance (here,). Data obtained in real time will be linked to CDGES programs installed on Main PC, enabling data analysis and real-time monitoring of the ground environment on land. In addition, a three-dimensional display is possible with 3D graph support by identifying seasonal characteristics such as temperature and humidity of land (soils). The limitations of the study will require specific application measures of Test Bed for commercial access to a model that has been developed and operated experimentally.

• Journal of Software Assessment and Valuation
• /
• v.16 no.1
• /
• pp.65-79
• /
• 2020

As Programmable Logic Controllers (PLCs), popular components in industrial control systems (ICS), are incorporated with the technologies such as micro-controllers, real-time operating systems, and communication capabilities. As the latest PLCs have been connected to the Internet, they are becoming a main target of cyber threats. This paper proposes two sanitizers that improve the security of uC/OS-II based firmware for a PLC. That is, we devise BU sanitizer for detecting out-of-bounds accesses to buffers and UaF sanitizer for fixing use-after-free bugs in the firmware. They can sanitize the binary firmware image generated in a desktop PC before downloading it to the PLC. The BU sanitizer can also detect the violation of control flow integrity using both call graph and symbols of functions in the firmware image. We have implemented the proposed two sanitizers as a prototype system on a PLC running uC/OS-II and demonstrated the effectiveness of them by performing experiments as well as comparing them with the existing sanitizers. These findings can be used to detect and mitigate unintended vulnerabilities during the firmware development phase.