• 정보처리학회논문지D
• /
• 제10D권2호
• /
• pp.187-194
• /
• 2003

주기억장치 자료저장 시스템은 실시간 트랜젝션에 충분한 여유 시간을 부여하여 실시간 트랜잭션의 성능을 높혀준다. 이런 특성으로 인하여 주기억장치를 이용한 데이터관리 시스템들이 이동 통신 관리 시스템의 가입자 위치 관리와 같은 여유시간의 급박한 실시간 트랜잭션에 많이 활용되고 있다. 본 논문에서는 다중 사용자용 멀티쓰레드 방식의 실시간 검색시스템 개발의 일환으로 대량의 실시간 검색 트랜잭션과 자료 변경 트랜잭션이 주기억장치 자료저장 시스템의 자료를 검색, 변경하는 환경에서 주기억장치 자료저장 시스템을 설계 구현하였다. 구현된 시스템은 기존의 디스크 데이터베이스 시스템과 상호 보완적인 형태로 사용되는 내장형 방식으로 다중 쓰레드 방식으로 동작되며, 동시성 제어는 주기억장치의 특성을 살려 복잡한 잠금방식이 아닌 래치를 사용한다. 주기억장치 자료저장 시스템에는 가장 최근의 데이터만을 저장하며, 동기화 기법으로는 디스크 데이터베이스 시스템에서 변경 트랜잭션이 발생하는 경우에 구현 시스템의 데이터를 갱신하는 방법을 사용한다. 시스템은 검색 및 변경 쓰레드의 비율을 제한하여 실시간 검색의 최소성능을 보장할 수 있게 하였다.

• 한국경영과학회지
• /
• 제38권3호
• /
• pp.13-22
• /
• 2013

Queueing system with scheduled arrivals is useful in many fields where both customers' waiting time and servers' operation time (utilization) are important, and arrival time of customers is possible to be controlled. In this paper, we analyzed the operation of ship maintenance with the queueing system with scheduled arrival. Based on the model presented by Pegden and Rosenshine [8], who dealt with exponential service time, we extended the service time distributions to phase-type distribution which is able to include a wide range of real stochastic phenomena. Since most activities in the military are carried out under tight control and schedule, scheduled arrival queue has quite good applicability in this area. In this context, we applied queue with scheduled arrival to the optimal booking time decision for the ship maintenance in the navy.

• 대한산업공학회지
• /
• 제34권3호
• /
• pp.296-307
• /
• 2008

A semiconductor production system has sophisticated manufacturing operations and needs high capital investment for its expensive equipment, which warrants efficient real-time flow control for wafers. In the bay, we consider material handling equipment that can handle multiple carriers of wafers. The dispatching logic first determines the transportation time of each carrier to its destination by each unit of transportation equipment and uses this information to determine the destination machine and target carrier. When there is no available buffer space at the machine tool, the logic allows carriers to stay at the buffer of a machine tool and determine the delay time, which is used to determine the destination of carriers in URL. A simulation study shows this dispatching logic performs better than the procedure currently in use to reduce the mean flow time and average WIP of wafers and increase efficiency of material handling equipment.

• 한국CDE학회논문집
• /
• 제14권6호
• /
• pp.424-433
• /
• 2009

In order to improve productivity and efficiency of ship production process, production technology converged with Information Technology can be considered. Mid-term scheduling based on long-term schedule of ship building and execution planning based on short-term production schedule have an important role in ship production processes and techniques. However, data used in the scheduling are from the experiences of the past, cognitive, and often inaccurate, moreover the updates of the data by formatted documents are not being performed efficiently. This paper designs the tracking and monitoring system for the curved plates forming process with shop level. At first step to it, we redefine and analyze the curved plates forming process by using SysML. From the definition and analysis of the curved plates forming process, we design the system with respect to operational view considering operational environment and interactions between systems included and scenario about operation, and with respect to system view considering functionalities and interfaces of the system. In order to study the feasibility of the system designed, a prototype of the system has been implemented with 13.56 MHz RHD hardware and application software.

• International Journal of Automotive Technology
• /
• 제6권1호
• /
• pp.71-77
• /
• 2005

This paper presents a systematic approach which determines the optimal period to minimize performance measure subject to the schedulability constraints of a real-time control system by formulating the scheduling problem as an optimal problem. The performance measure is derived from the summation of end-to-end response times of processed I/Os scheduled by the static cyclic method. The schedulability constraint is specified in terms of allowable resource utilization. At first, a uniprocessor case is considered and then it is extended to a distributed system connected through a communication link, local-inter network, UN. This approach is applied to the design of an automotive body control system in order to validate the feasibility through a real example. By using the approach, a set of optimal periods can easily be obtained without complex and advanced methods such as branch and bound (B&B) or simulated annealing.

• 인터넷정보학회논문지
• /
• 제5권1호
• /
• pp.67-84
• /
• 2004

실시간 데이터베이스 시스템의 트랜잭션은 마감시간과 같은 시간 제약조건을 갖는다. 따라서 트랜잭션은 마감시간 내에 완료되어야 하며 동시에 데이터 일관성 제약조건을 만족해야 한다. 빠른 평균 응답시간 제공을 목표로 하는 기존 데이터베이스 시스템과 달리 실시간 데이터베이스 시스템은 트랜잭션의 마감시간 초과 비율과 마감시간을 초과한 트랜잭션에 의해 발생되는 비용에 의해 평가된다. 따라서 실시간 트랜잭션은 공정성과 시스템 처리율의 저하를 발생시킨다 하더라도 트랜잭션의 중요도 및 마감시간에 따라 스케줄링 되어야 하고, 항상 높은 우선 순위 트랜잭션의 선행 처리가 보장되어야 한다. 본 논문에서는 기존 실시간 스케줄링 알고리즘들이 갖는 문제점을 개선시킬 수 있는 새로운 스케줄링 알고리즘(Multi-level EFDF)과 펌, 소프트 실시간 트랜잭션온 고려한 병행실행제어 알고리즘(2PL-FT)을 제안한다. 또한 성능평가를 통해 2PL-FT와 AVCC방법에 대한 트랜잭션의 재시작 비율 및 마감시간 초과 비율을 비교한다. 이 실험들을 통해 제안하는2PL-FT알고리즘이 기존에 제안된 방법들보다 더 우수함을 보인다.

• International Journal of Aeronautical and Space Sciences
• /
• 제17권1호
• /
• pp.89-100
• /
• 2016

Given the unpredictability of the space environment, satellite communications are manually performed by exchanging telecommands and telemetry. Ground support for orbiting satellites is given only during limited periods of ground antenna visibility, which can result in conflicts when multiple satellites are present. This problem can be regarded as a scheduling problem of allocating antenna support (task) to limited visibility (resource). To mitigate unforeseen errors and costs associated with manual scheduling and mission planning, we propose a novel method based on a genetic algorithm to solve the ground support problem of multiple satellites and antennae with visibility conflicts. Numerous scheduling parameters, including user priority, emergency, profit, contact interval, support time, remaining resource, are considered to provide maximum benefit to users and real applications. The modeling and formulae are developed in accordance with the characteristics of satellite communication. To validate the proposed algorithm, 20 satellites and 3 ground antennae in the Korean peninsula are assumed and modeled using the satellite tool kit (STK). The proposed algorithm is applied to two operation modes: (i) telemetry, tracking, and command and (ii) payload. The results of the present study show near-optimal scheduling in both operation modes and demonstrate the applicability of the proposed algorithm to actual mission control systems.

• Journal of Electrical Engineering and Technology
• /
• 제13권5호
• /
• pp.1864-1873
• /
• 2018

Energy shifting is an innovative method used to obtain the highest profit from the operation of energy storage systems (ESS) by controlling the charge and discharge schedules according to the electricity prices in a given period. Therefore, in this study, we propose an optimal charge and discharge scheduling method that performs energy shift operations derived from an ESS efficiency model. The efficiency model reflects the construction of power conversion systems (PCSs) and lithium battery systems (LBSs) according to the rated discharge time of a MWh-scale ESS. The PCS model was based on measurement data from a real system, whereas for the LBS, we used a circuit model that is appropriate for the MWh scale. In addition, this paper presents the application of a genetic algorithm to obtain the optimal charge and discharge schedules. This development represents a novel evolutionary computation method and aims to find an optimal solution that does not modify the total energy volume for the scheduling process. This optimal charge and discharge scheduling method was verified by various case studies, while the model was used to realize a higher profit than that realized using other scheduling methods.

• Journal of Information Processing Systems
• /
• 제18권3호
• /
• pp.428-442
• /
• 2022

A reliable automatic passenger counting (APC) system is a key point in transportation related to the efficient scheduling and management of transport routes. In this study, we introduce a lightweight head detection network using deep learning applicable to an embedded system. Currently, object detection algorithms using deep learning have been found to be successful. However, these algorithms essentially need a graphics processing unit (GPU) to make them performable in real-time. So, we modify a Tiny-YOLOv3 network using certain techniques to speed up the proposed network and to make it more accurate in a non-GPU environment. Finally, we introduce an APC system, which is performable in real-time on embedded systems, using the proposed head detection algorithm. We implement and test the proposed APC system on a Samsung ARTIK 710 board. The experimental results on three public head datasets reflect the detection accuracy and efficiency of the proposed head detection network against Tiny-YOLOv3. Moreover, to test the proposed APC system, we measured the accuracy and recognition speed by repeating 50 instances of entering and 50 instances of exiting. These experimental results showed 99% accuracy and a 0.041-second recognition speed despite the fact that only the CPU was used.

• 산업경영시스템학회지
• /
• 제31권3호
• /
• pp.117-124
• /
• 2008

Ultra-high voltage transformer industry has characteristic of small quantity batch production system by other order processing unlike general mass production systems. In this industry, observance of time deadline is very important in market competitive power security and company continued existence. The transformer winding is a process that rolls a coil is coated with an electric insulation material in order to generate the required voltage using the voltage fluctuation. The winding process is very important production process in the extra-high voltage transformer manufacturing industry because winding process is core process that occupy weight about half of whole process and is process that decide current ratio of transformer. This paper proposes a statistical calculation and control method of planned leadtime on the basis of real data and informations for the A company in transformer winding process. Moreover, we develop unit process scheduling system.