• Geophysics and Geophysical Exploration
• /
• v.7 no.3
• /
• pp.157-163
• /
• 2004

In this study, a travel-time tomography software was developed under the MS Windows system and GUI environment for user. The software supports following features: (1) supporting various data input format (2) flexible treatment of shot and receiver coordinate coding (3) flexible first arrival picking and modification (4) easy modification of intermediate tomogram. It is expected that the effort of the user can be minimized in each data processing step.

• Journal of Korean Institute of Industrial Engineers
• /
• v.32 no.2
• /
• pp.91-97
• /
• 2006

The vehicle routing problem with time windows (VRPTW) is an important problem in third party logistics and supply chain management. We extend the VRPTW to the VRPTW with overtime and outsourcing vehicles (VRPTWOV) which allows the overtime of drivers and the possibility of using outsourcing vehicles. This problem can be applied to third party logistics companies for managing central distributor-local distributors, local distributor-retailers (or customers), and a manufacturer. We develop a mixed integer programming model and a genetic algorithm. Computational results demonstrate the efficiency of the developed genetic algorithm. We also develop a decision support system based on this genetic algorithm.

• Journal of Korean Institute of Industrial Engineers
• /
• v.35 no.2
• /
• pp.160-170
• /
• 2009

This paper studies a vehicle routing problem variant which considers customers to require simultaneous delivery and pick-up under time windows(VRPSDP-TW). The objective of this paper is to minimize the total travel distance of routes that satisfy both the delivery and pick-up demand. We propose a heuristic algorithm for solving the VRPSDP-TW, based on the ant colony system(ACS). In route construction, an insertion algorithm based ACS is applied and the interim solution is improved by local search. Through iterative processes, the heuristic algorithm drives the best solution. Experiments are implemented to evaluate a performance of the algorithm on some test instances from literature.

• International Journal of Aeronautical and Space Sciences
• /
• v.1 no.2
• /
• pp.50-67
• /
• 2000

The spacecraft simulator is used for command validation, operational check of the Satellite Operation Subsystem (SOS), spacecraft anomaly analysis support, satellite operator training etc. In this paper, S/W design features and modeling characteristics of the KOMPSAT Spacecraft Simulator Subsystem (SIM) are described. Validation procedures and simulation results are also provided. The SIM provides extensive simulation capabilities by including models for most of the spacecraft subsystems. The software structure of the SIM was designed and implemented so as to support operations not only in real-time but also in non real-time by utilizing the Hewlett Packard (HP) UNIX functions. The SIM incorporates as many user-friendly Man Machine Interface (MMI) windows as possible so that all the SIM normal operations can be executed through the MMI windows.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.591-603
• /
• 2018

Windows Event Log is a format that records system log in Windows operating system and methodically manages information about system operation. An event can be caused by system itself or by user's specific actions, and some event logs can be used for corporate security audits, malware detection and so on. In this paper, we choose actions related to corporate security audit and malware detection (External storage connection, Application install, Shared folder usage, Printer usage, Remote connection/disconnection, File/Registry manipulation, Process creation, DNS query, Windows service, PC startup/shutdown, Log on/off, Power saving mode, Network connection/disconnection, Event log deletion and System time change), which can be detected through event log analysis and classify event IDs that occur in each situation. Also, the existing event log tools only include functions related to the EVTX file parse and it is difficult to track user's behavior when used in a forensic investigation. So we implemented new analysis tool in this study which parses EVTX files and user behaviors.

• KIEAE Journal
• /
• v.14 no.3
• /
• pp.87-95
• /
• 2014

The purpose of this study is to evaluate the correlation coefficients between the airtightness and sound insulation performance of Han-style windows in New Han-ok. To achieve these goals, field measurements were accomplished in 18 bedrooms of 16 Han-oks in which actual residents were living, and then lab measurements were proceeded in the reverberation lab for evaluating the sound insulation performance. Followings are results. The results of the correlation analysis between the airtightness(Air change per hour at 50 Pa, ACH50) and sound insulation performance(Sound reduction index, Rw) in bedrooms of actual Han-oks, it was found that there were no significant correlation between two evaluating values. On the other hand, it was analyzed that the correlation coefficients of total 24 structures(double casement windows, single casement window, casement and sliding windows, single sliding window, 6 types per each structure) were located on 0.6757 exponentially and 0.4154 lineary in the lab evaluating conditions. But, The results of evaluating 4 structure classificatorily, it was found that there were high correlation coefficients(0.8665~0.9273 at ACH50, 0.8414~0.9346 at Rw). These results were signified that the correlation coefficients were changed according to the each structure and case by case analysis were necessary at the same time.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.9 no.5
• /
• pp.568-576
• /
• 2017

With an increase in the usage of LNG, there is a heightened interest about its safety aspects regarding the explosion of LNG carrier tank. The need for a cryogenic explosion-proof camera has increased. The camera has to work in cryogenic environment (below $-160^{\circ}C$) in LNG carrier. This study conducted design and heat transfer analysis of cryogenic camera to secure working time in limitation of heat source. The design with gap width of double pane windows was conducted based on simple vertical cavity model to insulate from cryogenic environment. The optimal gap width was 12.5 mm. For effective analysis considering convection within the camera, equivalent thermal conductivity method was adopted with ABAQUS. The working time of the camera predicted was over 10 h at warm-start condition. In cold-start condition, it required about 5 h of pre-warming time to work. The results of analysis were compared with the ones of the actual cryogenic test.

• Journal of Platform Technology
• /
• v.11 no.4
• /
• pp.35-49
• /
• 2023

Recently, real-time cyber threats are constantly occurring for various reasons. Most companies have the characteristic of digitizing important internal information and storing it centrally, so it can be said that the impact is very high when an Computer Security Incident occurs. All electronic device information collected and analyzed in the process of responding to an Computer Security Incident has the characteristic of being subject to change at any time. Submission of related evidence is required in future investigations and courts. At this time, the basic principles of digital forensics, such as the principle of integrity and the principle of chain of custody, must be followed to ensure legitimacy and accuracy of the evidence. In this paper, we propose a digital forensic-based Computer Security Incident Inspection and Response procedure in the Windows 10 environment to secure the legitimacy and accuracy of digital evidence collected and analyzed when an intrusion occurs, prevent intrusion in advance, and quickly recognize it.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.158-158
• /
• 2000

In this paper, control problems of computer kitchen systems are studied, which are widely used to automate test dyeing processes. To reduce the process time and avoid collision, a simplified real time control scheme Is proposed using Windows 98 environments Using two robots and applying proposed control scheme, the process time was reduced more than 30% for a given recipe in comparison with one robot machine

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1684-1688
• /
• 2003

In this paper, position and speed control algorithm of LSM (Linear Stepping Motor) using general-purpose PCI I/O board is discussed. The main purpose of this paper is to show that LSM controller can be established on the non real time operating system such as Microsoft Win2000 under the assumption that thread priority strategy is well designed. We can guarantee sampling interval less than 5msec based on the Pentium III microprocessor. Therefore this kind of LSM controller development environment makes shorten the prior research period needed to verify the validness of the proposed control strategy. We also introduce the tool of the real-time windows target system of matlab, which also makes shorten the prior research period. The main focus of this paper is on developing general purpose NT device driver which can drive the general purpose PCI board and applying it for implementing the hardware interface for 2- axis linear stepping motor control. From the experimental results show that the developed LSM controller guarantee 2 micrometer resolution in position control with 10cm/sec moving speed