• 지구물리와물리탐사
• /
• 제7권3호
• /
• pp.157-163
• /
• 2004

본 연구에서는 일관성 있고 용이한 자료처리 과정을 가지는 윈도우 기반 주시 토모그래피 소프트웨어를 개발하였다. 개발된 소프트웨어는 (1) 다양한 포맷의 탄성파 자료 입력 (2) 용이한 송수신 좌표 입력 (3) 사용자 편의를 고려한 초동 발췌 및 검토 (4) 중간 토모그램 수정 기능 지원 등을 제공함으로써 자료처리 과정에서 사용자 환경 상의 편의를 극대화 할 수 있도록 하였다.

• 대한산업공학회지
• /
• 제32권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.

• 대한산업공학회지
• /
• 제35권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
• /
• 제1권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.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.591-603
• /
• 2018

윈도우 이벤트 로그는 윈도우 운영체제에서 시스템 로그를 기록하는 형식이며, 시스템 운영에 대한 정보를 체계적으로 관리한다. 이벤트는 시스템 자체 또는 사용자의 특정 행위로 인해 발생할 수 있고, 특정 이벤트 로그는 기업 보안 감사, 악성코드 탐지 등에 사용될 수 있다. 본 논문에서는 기업 보안 감사 및 악성코드 탐지와 관련된 이벤트 로그(외부장치 연결, 응용 프로그램 설치, 공유 폴더 사용, 프린터 사용, 원격 연결/해제, PC 시작/종료, 로그온/오프, 절전모드, 네트워크 연결/해제, 이벤트 로그 삭제, 시스템 시간 변경, 파일/레지스트리 조작, 프로세스 생성, DNS 질의, 윈도우 서비스 추가)들을 선정하고, 발생하는 이벤트 ID를 분류 및 분석하였다. 또한, 기존의 이벤트 로그 분석도구는 EVTX 파싱 기능만을 포함하고 있어 이를 포렌식 수사에 이용할 경우 사용자의 행적을 추적하기 어렵다. 이에 본 연구에서 새로운 분석도구를 구현하였으며, EVTX 파싱과 행위 분석이 가능하다.

• KIEAE Journal
• /
• 제14권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
• /
• 제9권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
• /
• 제11권4호
• /
• pp.35-49
• /
• 2023

최근 다양한 원인으로 실시간 사이버 위협이 지속적으로 발생하고 있다. 대부분의 기업들이 내부 중요정보를 디지털화해 중앙집중식으로 저장하고 있는 특성을 가지고 있어 침해사고 발생 시 영향도가 매우 높다고 할 수 있다. 침해사고 대응 과정에서 수집 및 분석하는 모든 전자기기의 정보들은 수시로 변경이 일어날 수 있는 특성을 가지고 있다. 향후 수사 및 법정에서 관련 증거 자료의 제출이 필요하게 되는데 이때 무결성의 원칙, 절차 연속성(Chain of Custody) 원칙 등 디지털 포렌식의 기본원칙들을 지켜 증거자료의 정당성, 정확성 등을 확보해야 한다. 또한 내부 기밀자료, 개인정보가 유출되어도 모르는 경우가 있으며 디지털 포렌식 기반의 침해사고 진단도 주기적으로 진행해 침해사고의 사전 방지 또는 사고 후에 빠른 인지가 가능하도록 해야 한다. 본 논문에서는 침해사고 발생 시 수집 및 분석한 디지털 증거자료의 정당성 및 정확성 확보, 침해사고 사전 방지 및 사고 후 빠른 인지를 목표로 하는 윈도우10 환경의 디지털 포렌식 기반 침해사고 진단 및 대응 절차를 제안한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• 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년도 ICCAS
• /
• 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