• Atmosphere
• /
• v.29 no.4
• /
• pp.501-509
• /
• 2019

Asian Dust is a meteorological phenomenon that sand particles are raised from the arid and semi-arid regions-Taklamakan Desert, Gobi Desert and Inner Mongolia in China-and transported by westerlies and deposited on the surface. Asian dust results in a negative effect on human health as well as environmental, social and economic aspects. For monitoring of Asian Dust, Korea Meteorological Administration operates 29 stations using a continuous ambient particulate monitor. Kim et al. (2016) developed an automatic quality check (AQC) algorithm for objective and systematic quality check of observed PM₁₀ concentration and evaluated AQC with results of a manual quality check (MQC). The results showed the AQC algorithm could detect abnormal observations efficiently but it also presented a large number of false alarms which result from valid error check. To complement the deficiency of AQC and to develop an AQC system which can be applied in real-time, AQC has been modulated. Based on the analysis of instrument status codes, valid error check process was revised and 6 status codes were further considered as normal. Also, time continuity check and spike check were modified so that posterior data was not referred at inspection time. Two-year observed PM₁₀ concentration data and corresponding MQC results were used to evaluate the modulated AQC compared to the original AQC algorithm. The results showed a false alarm ratio decreased from 0.44 to 0.09 and the accuracy and the probability of detection were conserved well in spite of the exclusion of posterior data at inspection time.

• Geomechanics and Engineering
• /
• v.3 no.1
• /
• pp.1-16
• /
• 2011

Piles passing through sloping liquefiable deposits are prone to lateral loading if these deposits liquefy and flow during earthquakes. These lateral loads caused by the relative soil-pile movement will induce bending in the piles and may result in failure of the piles or excessive pile-head displacement. Whilst the weak nature of the flowing liquefied soil would suggest that only small loads would be exerted on the piles, it is known from case histories that piles do fail owing to the influence of laterally spreading soils. It will be shown, based on dynamic centrifuge test data, that dilatant behaviour of soil close to the pile is the major cause of these considerable transient lateral loads which are transferred to the pile. This paper reports the results of geotechnical centrifuge tests in which models of gently sloping liquefiable sand with pile foundations passing through them were subjected to earthquake excitation. The soil close to the pile was instrumented with pore-pressure transducers and contact stress cells in order to monitor the interaction between soil and pile and to track the soil stress state both upslope and downslope of the pile. The presence of instrumentation measuring pore-pressure and lateral stress close to the pile in the research described in this paper gives the opportunity to better study the soil stress state close to the pile and to compare the loads measured as being applied to the piles by the laterally spreading soils with those suggested by the JRA design code. This test data shows that lateral stresses much greater than one might expect from calculations based on the residual strength of liquefied soil may be applied to piles in flowing liquefied slopes owing to the dilative behaviour of the liquefied soil. It is shown at least for the particular geometry studied that the current JRA design code can be un-conservative by a factor of three for these dilation-affected transient lateral loads.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.615-622
• /
• 2016

Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.10a
• /
• pp.281-284
• /
• 2008

This paper describes ASIC design of multimedia SoC Platform. The implemented Platform consists of 32-bit OpenRISC1200 Microprocessor, WISHBONE on-chip bus, VGA Controller, Debug Interface, SRAM Interface and UART. The 32-bit OpenRISC1200 processor has 5 stage pipeline and Harvard architecture with separated instruction/data bus. The VGA Controller can display RCB data on a CRT or LCD monitor. The Debug Interface supports a debugging function for the Platform. The SRAM Interface supports 18-bit address bus and 32-bit data bus. The UART provides RS232 protocol, which supports serial communication function. The Platform is design and verified on a Xilinx VERTEX-4 XC4VLX80 FPGA board. Test code is generated by a cross compiler' and JTAG utility software and gdb are used to download the test code to the FPGA board through parallel cable. Finally, the Platform is implemented into a single ASIC chip using Chatered 0.18um process and it can operate at 100MHz clock frequency.

• Journal of the Korea Safety Management & Science
• /
• v.9 no.6
• /
• pp.123-135
• /
• 2007

In the recent years, the companies have manually recorded a production status in a work diary or have mainly used a bar code in order to collect each process's progress status, production performance and quality information in the production and logistics process in real time. But, it requires an additional work because the worker's record must be daily checked or the worker must read it with the bar code scanner. At this time, data's accuracy is decreased owing to the worker's intention or mistake, and it causes the problem of the system's reliability. Accordingly, in order to solve such problem, the companies have introduced RFID which comes into the spotlight in the latest automatic identification field. In order to introduce the RFID technology, the process flow must be analyzed, but the ASME sign used by most manufacturing companies has the difficult problem when the aggregation event occurs. Hence, in this study, the RFID logistic flow analysis Modeling Notation was proposed as the signature which can analyze the manufacturing logistic flow amicably, and the manufacturing logistic flow by industry type was analyzed by using the proposed RFID logistic flow analysis signature. Also, to monitor real-time information through EPCglobal network, EPCISEvent template by industry was proposed, and it was utilized as the benchmarking case of companies for RFID introduction. This study suggested to ensure the decision-making on real-time information through EPCglobal network. This study is intended to suggest the Modeling Notation suitable for RFID characteristics, and the study is intended to establish the business step and to present the vocabulary.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.4C
• /
• pp.307-312
• /
• 2012

In this paper, we perform a complexity analysis for implementation of the ISO/IEEE 11073 Personal Health Device (PHD) standards in order to check the required system resources when ISO/IEEE 11073 PHD standards are implemented on the embedded system. Base on the implemented programs complying the PHD standards for a weighing scale, a blood pressure monitor, and a glucose meter among the various personal health devices, we make a pseudo-code. And then from the two different points of view such as program memory space and data memory space, we make a complexity analysis model. Because system resources or capability are strongly restricted in the personal health devices, our research work is very useful to estimate the required system resources.

• The KIPS Transactions:PartC
• /
• v.9C no.2
• /
• pp.149-156
• /
• 2002

Current vaccine program which scans virus code patterns has a difficult to detect the encrypted viruses or polymorphic viruses. The decryption part of polymorphic virus appears to be different every time it replicates. We must monitor the behavior of the decryption code which decrypts the body of the virus in order to detect these kinds of viruses. Specialty, it is not easy for the existing methods to detect the virus if the virus writer has modified the loop count of execution intentionally. In this paper, we propose an advanced emulator using a new algorithm so as to detect various kinds of polymorphic viruses. As a result of experiment using advanced emulator, we found that our proposed method has improved the virus detecting rate about 2%. In addition, our proposed system has a merit that it runs on not only MS-Windows but also Linux, and Unix-like Platform.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.43 no.4
• /
• pp.161-167
• /
• 2020

In the process of cutting large aircraft parts, the tool may be abnormally worn or damaged due to various factors such as mechanical vibration, disturbances such as chips, and physical properties of the workpiece, which may result in deterioration of the surface quality of the workpiece. Because workpieces used for large aircrafts parts are expensive and require strict processing quality, a maintenance plan is required to minimize the deterioration of the workpiece quality that can be caused by unexpected abnormalities of the tool and take maintenance measures at an earlier stage that does not adversely affect the machining. In this paper, we propose a method to indirectly monitor the tool condition that can affect the machining quality of large aircraft parts through real-time monitoring of the current signal applied to the spindle motor during machining by comparing whether the monitored current shows an abnormal pattern during actual machining by using this as a reference pattern. First, 30 types of tools are used for machining large aircraft parts, and three tools with relatively frequent breakages among these tools were selected as monitoring targets by reflecting the opinions of processing experts in the field. Second, when creating the CNC machining program, the M code, which is a CNC auxiliary function, is inserted at the starting and ending positions of the tool to be monitored using the editing tool, so that monitoring start and end times can be notified. Third, the monitoring program was run with the M code signal notified from the CNC controller by using the DAQ (Data Acquisition) device, and the machine learning algorithms for detecting abnormality of the current signal received in real time could be used to determine whether there was an abnormality. Fourth, through the implementation of the prototype system, the feasibility of the method proposed in this paper was shown and verified through an actual example.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.4
• /
• pp.97-110
• /
• 2004

As modem web services become enormously complex, web attacks has become frequent and serious. Existing security solutions such as firewalls or signature-based intrusion detection systems are generally inadequate in securing web services, and analysis of raw web log data is simply impractical for most organizations. Visual display of "interpreted" web logs, with emphasis on anomalous web requests, is essential for an organization to efficiently track web usage patterns and detect possible web attacks. In this paper, we discuss various issues related to effective real-time visualization of web usage patterns and anomalies. We implemented a software tool named SAD (session anomaly detection) Viewer to satisfy such need and conducted an empirical study in which anomalous web traffics such as Misuse attacks, DoS attacks, Code-Red worms and Whisker scans were injected. Our study confirms that SAD Viewer is useful in assisting web security engineers to monitor web usage patterns in general and anomalous web sessions in particular.articular.

• Journal of Aerospace System Engineering
• /
• v.18 no.1
• /
• pp.99-107
• /
• 2024

This paper introduces an emergency response system in urban air mobility scenarios. A biometric responsive smartwatch was designed to monitor passengers' real-time heart rates. When an anomaly was detected, the system would send an alert via Morse code vibration and voice notification. It was integrated with the assumed control system of the ROS environment and communicates to implement a system for generating the shortest path for emergency landing to a nearby vertical port during urban air mobility operations. System stability was verified through high-fidelity simulation environments and testing based on actual geographic locations. Our technology improved the reliability and convenience of urban air mobility, demonstrating its effectiveness through simulations and tests in real-world scenarios.