• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.26 no.2
• /
• pp.387-396
• /
• 2016

As the number of people using digital devices has increased, the digital forensic, which aims at finding clues for crimes in digital data, has been developed and become more important especially in court. Together with the development of the digital forensic, the anti-forensic which aims at thwarting the digital forensic has also been developed. As an example, with anti-forensic technology the criminal would delete an digital evidence without which the investigator would be hard to find any clue for crimes. In such a case, recovery techniques on deleted or damaged information will be very important in the field of digital forensic. Until now, even though EVTX(event log)-based recovery techniques on deleted files have been presented, but there has been no study to retrieve event log data itself, In this paper, we propose some recovery algorithms on deleted or damaged event log file and show that our recovery algorithms have high success rate through experiments.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.19 no.1
• /
• pp.122-127
• /
• 2009

In this paper, we measured EEG signals on frontal and Broca's area when subjects imagine to speak A or B or C or D. These signals were analyzed by Event-Related Spectral Perturbation (ERSP), Inter-Trial Coherence (ITC) and Event Related Potential (ERP) methods. As a result, high coherences were showed at 1$\sim$13Hz during 0$\sim$300ms after the stimuli of each character and P300 was seen clearly and there are several differences between the ERP results. However, unlike the motivation of this study to classify the characters, it is impossible that we can classify each intention or each character cause these differences. Nevertheless, this paper suggest an application system using this results so BCI can provide various services.

• Journal of Electrical Engineering and Technology
• /
• v.12 no.1
• /
• pp.335-345
• /
• 2017

Recently, location systems using RFID technology have been studied in indoor environments. However, the existing techniques require high computational cost to compute the location of a moving object because they compare the location proximity of all reference tags and objects. In this paper, we propose an RFID based location positioning scheme using event filtering, which reduces the computation cost of calculating the locations of moving objects while maintaining the accuracy of location estimation. In addition, we propose an incremental location update policy to reduce the location update cost for moving objects. We also compare the proposed scheme with one of the localization schemes, LANDMARC using a performance evaluation. As a result, the proposed scheme outperforms LANDMARC in terms of the computational cost of location estimation. The proposed scheme also reduces the cost of location update by using the RFID-based update policy.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.22 no.1
• /
• pp.76-84
• /
• 2014

Heavy Rainfall event accompanying with Mesoscale Convective Systems(MCSs) inducing flash flooding and Kimpo and Inchon International Airport closing over Seoul metropolitan area was investigated this study. This heavy rainfall event was occurred through the synoptic scale boundary of North Pacific Subtropical high, Typhoon and also can predicted by proper analysis of various forecasting parameters such as abundant moisture, instabilities, and synoptic/mesoscale forcing.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.9
• /
• pp.1409-1415
• /
• 2017

The navigation and EDR(Event Data Recorder) have a different roles but also a lot of similar or common functions and elements. A representative element is a GPS. The GPS of navigation is a more higher than the that of EDR in performance. The high performance GPS has a very short initialization time and more accurate than the GPS of EDR. And the informations of OBD(On Board Diagnostics) is able to be shared in navigation and EDR. But these inter-working product between the navigation and EDR has been not yet shown. So, this paper is aimed to show how to interwork in two devices. We utilize USB bulk communication in two devices for inter-working. It is very simple ways and it could interwork in GPS, event video and ODB II data. It could be effective in cost competence and convenience. These was implemented by hardware and software and proved by the standard test.

• The Mathematical Education
• /
• v.4 no.1
• /
• pp.16-28
• /
• 1966

According to the modernization of mathematics education, new abstract concepts such as the concept of sets are introduced in many fields of it. The purpose of this thesis is to adopt the concept of sets to 'probability' which is included in the curriculum of high school matematics education. The considerations of the preceding chapter III, and their obvious generalizations to more complicated experiments, justify the conclusion that probability theory consists of the study of sets. An event is a set, its opposite event is the complementary set; mutually exclusive events are disjoint sets, and an event consisting of the simultaneous occurrence of two other events is a sets obtained by intersecting two other sets it is clear how this glossary, translating physical terminology into set theoretic terminology, may be continued. Furthermore, the important theorems of probability; Additional theorem, multiplication theorem, their applications and so on, are proved by the technical operations of sets. Thinking of the mathematics education introduced by the concept of sets is very important in future.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.7-7
• /
• 1992

Extending discrete event modelling formalisms to facilitate greater symbol manipulation capabilities is important to further their use in intelligent control and design of high autonomy systems. This paper defines an extension to the DEVS formalism that facilitates symbolic expression of discrete event times by extending the time base from the real numbers to the field of linear polynomials over the reals. A simulation algorithm is developed to generate the branching trajectories resulting from the underlying non-determinism. To efficiently manage linear polynomial constraints based on feasibility checking algorithm borrowed from linear programming. The extended formalism offers a convenient means to conduct multiple, simultaneous explorations of model behaviors. Examples of application are given with consideration on fault model analysis.

• Korean Journal of Computational Design and Engineering
• /
• v.17 no.2
• /
• pp.97-110
• /
• 2012

High performance sensors and modern data logging technology with real-time telemetry facilitate system fault diagnosis in a very precise manner. Fault detection, isolation and identification in fault diagnosis systems are typical steps to analyze the root cause of failures. This systematic failure analysis provides not only useful clues to rectify the abnormal behaviors of a system, but also key information to redesign the current system for retrofit. The main barriers to effective failure analysis are: (i) the gathered data (event) logs are too large in general, and further (ii) they usually contain noise and redundant data that make precise analysis difficult. This paper therefore applies suitable pre-processing techniques to data reduction and feature extraction, and then converts the reduced data log into a new format of event sequence information. Finally the event sequence information is decoded to investigate the correlation between specific event patterns and various system faults. The efficiency of the developed pre-filtering procedure is examined with a terminal box data log of a marine diesel engine.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.4
• /
• pp.279-288
• /
• 2010

In this paper, a DEVS(Discrete EVent Systems Specification)-HLA(High Level Architecture) interface was developed in order to perform the simulation using the combined discrete event and discrete time simulation model architecture in a distributed environment. The developed interface connects the combined simulation model with the HLA/RTI(Run-Time Infrastructure) which is an international standard middleware for distributed simulation. The interface consists of an interface model, a model interpreter, and a distributed environment interpreter. The interface model was defined by using the combined simulation architecture in order to easily connect the existing combined simulation model without modification with the HLA/RTI. The model interpreter takes charge of data transmission between the interface model and the combined simulation model. The distributed environment interpreter takes charge of data transmission between the interface model and the HLA/RTI. To evaluate the applicability of the developed interface, it was applied to the diving simulation of a submarine in a distributed environment. The result shows that a simulation result in a distributed environment using the interface is the same to the result in a single computing environment.

• Asian Journal of Atmospheric Environment
• /
• v.10 no.2
• /
• pp.114-123
• /
• 2016

A change in chemical compositions of Asian dust (AD) particles can dramatically alter their optical properties, cloud-forming properties, and health effects. The present study was undertaken to evaluate this aging of AD particles by means of two complementary methods (i.e., the traditional spot test and the most advanced micro-PIXE analytical technique) for single particle analysis. Size-classified particles were sampled at the rural peninsula of Korea (Byunsan, 35.37N; 126.27E) during AD event and non-AD period in 2004. Sulfate was principally enriched on the particles in the size range of $7.65-10.85{\mu}m$ collected during AD event. The average number fraction of coarse particles ($>2.05{\mu}m$) containing chloride was 16.2% during AD event. Relatively low particles containing nitrate compared to those containing sulfate and chloride were found in AD event. Micro-PIXE elemental maps indicated that a large number of AD particles were internally mixed with man-made zinc. The highest peaks of EC and OC concentrations were appeared at $0.01-0.43{\mu}m$ particle aerodynamic diameter. High EC concentration in $PM_1$ was might be caused by the Saemangeum Seawall Project that was being conducted during our field measurement.