• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.424-426
• /
• 2002

PATM(Probabilistic Abstract Timed Machine) [1]은 시스템의 진행 중 다양한 환경 요인에 의해 발생하는 불확실성을 명세하기 위해 개발된 정형 명세 기법이다. PATM으로 명세한 시스템은 도달성 그래프를 분석하게 된다. 본 논문에서는 다양한 물리적 환경 요소를 고려하여 시스템을 분석하는 과정에서 발생하는 실행모델의 복잡도를 줄이기 위한 방법을 제시한다.

• Journal of the Korea Safety Management & Science
• /
• v.10 no.1
• /
• pp.155-166
• /
• 2008

During last two decades the transportation system has developed into very intelligent system with GIS, GPS and ITS. The practical transportation management system provides real time response module to manage the customer's order. We have surveyed research papers on the real time vehicle routing problem in last two decades to figure out the dynamic vehicle routing problem. The papers are classified by basic routing algorithms and by managing the dynamic events which are the order management, the routing re-optimization, the routing post-optimization and the waiting strategy.

• Journal of the Korea Safety Management & Science
• /
• v.8 no.4
• /
• pp.109-117
• /
• 2006

This paper deals with the middleware development for real time data processing using ubiquitous RFID(Radio Frequency Identification). This middleware system supports the real time data gathering, filtering, and collaborative operations within SCM. We expect to decrease the data processing cost and to upgrade the status of RTE(Real Time Enterprise) and competitive power of company.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.1
• /
• pp.119-125
• /
• 2008

This paper examines the use of a wireless Fieldbus based on IEEE 802.15.4 MAC protocol. The superframe of IEEE 802.15.4 is applied to a transmission scheme of real-time mixed data. The transmission and bandwidth allocation scheme are proposed for real-time communication using a superframe. The proposed wireless Fieldbus protocol is able to transmit three types of data (periodic data, sporadic data, and non real-time messages), and guarantee realtime transmission simultaneously within a limited timeframe.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.82-84
• /
• 2001

Real-Time Linux는 기존의 Linux에 실시간 기능을 추가한 것으로서, 태스크 스케줄링 방법은 우선순위 기반의 스케줄링 방법을 사용한다. 그러나, 태스크의 개수가 많아지면 가장 높은 우선순위의 태스크를 찾는데 걸리는 시간이 태스크 개수에 비례해서 많이 걸린다. 이러한 이유로 태스크의 개수가 제한적일 수밖에 없다. 본 논문에서는 우선순위별로 서로 다른 목록을 유지하고, Bit Masking 기법을 사용함으로써 가장 높은 우선순위 태스크를 선택하는데 걸리는 시간을 상수시간으로 줄이고 각 태스크들의 시그널을 처리하는 부분을 좀더 효율적으로 처리하도록 함으로써 Real-Time Linux의 실시간 스케줄링 기능을 개선하였다.

• Proceedings of the KIEE Conference
• /
• 2003.11c
• /
• pp.797-801
• /
• 2003

In this paper, a real-time communication method using a PICNET-NP (Plant Instrumentation and Control Network for Nuclear Power plant) is proposed with an analysis of the control network requirements of DCS (Distributed Control System) in nuclear power plants. The method satisfies deadline in case of worst data traffics by considering aperiodic and periodic real-time data and others.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.10
• /
• pp.125-133
• /
• 2016

In this paper, we propose a real-time fault monitoring and dual system design of the countdown time-generating system, which is the main component of the mission control system. The countdown time-generating system produces a countdown signal that is distributed to mission control system devices. The stability of the countdown signal is essential for the main launch-related devices because they perform reserved functions based on the countdown time information received from the countdown time-generating system. Therefore, a reliable and fault-tolerant design is required for the countdown time-generating system. To ensure system reliability, component devices should be redundant and faults should be monitored in real time to manage the device changeover from Active mode to Standby mode upon fault detection. In addition, designing different methods for mode changeover based on fault classification is necessary for appropriate changeover. This study presents a real-time fault monitoring and changeover system, which is based on the dual system design of countdown time-generating devices, as well as experiment on real-time fault monitoring and changeover based on fault inputs.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.4
• /
• pp.71-78
• /
• 2007

Input shaping is known to be a very effective tool for suppressing residual vibration without introducing any complicated sensors and feedback control. Real-time input shaping schemes necessitate a process such that the input command is discretized to deal with non-prescribed, real-time input. Thus parameters associated with input command discretization, such as time spacing and duration time, are unknowns which affect the performance of input shaping schemes, especially for small and fast XY stages. This paper investigates the effects of input command discretization parameters, such as time spacing and duration time, on the dynamic performance of XY stages subjected to real-time input shaping. An experimental system is developed which is equipped with an XY stage driven by servo-motors and real-time user command. Experiments are performed to investigate the dynamic performance of XY stage by changing these parameters and to yield a strategy to gain better performance.

• Journal of Energy Engineering
• /
• v.11 no.3
• /
• pp.230-236
• /
• 2002

In real-time power system control, it is essential to measure the power system variables which are voltage, current, real and reactive power, power factor, system frequency and etc. These variables can be estimated or calculated by the synchronized phasor informations of voltage and current. Therefore, the synchronized phasor measurement of voltage and current is very important to real-time power system control. So, we develop SPMD (Synchronized Phasor Measurement Device) for synchronized phasor measurement of voltage and current. In this paper, we present the design and implementation of SPMD for real-time phasor measurement and the test results of developed SPMD on 380 V 3 phase distribution line in laboratory with resistor load and RTDS (Real Time Digital Simulator).

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.6
• /
• pp.699-703
• /
• 1999

It is known that the LDC(Line-Drop Compensator) becomes to lose the function of proper voltage regulation for its load currents due to the real and reactive power generated by DGS(Dispersed Generation System), when DGS is introduced into the power distribution system of which the voltage is controlled by LDC. Therefore, in that case, it is very difficult to regulate the distribution line voltage properly by using LDC. One possible solution for this problem is the real-time voltage regulation method which is to optimally regulate the sending-end voltage in real-time by collecting the real-time load data of each load data of each load section between measuring points and by calculating the optimal seding-end voltage value from them. For this, we must know the real-time load data of each load section. In this paper, a modeling method of representing a load section on high voltage line with DGSs as an equivalent lumped load is proposed for gaining the real-time load data. In addition a method of locating the measuring points is proposed. Then, these proposed methods are evaluated through computer simulations.