• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• pp.109-112
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the modeling and control of fixed-time traffic control problem which by way of a DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• 국제학술발표논문집
• /
• The 1th International Conference on Construction Engineering and Project Management
• /
• pp.539-543
• /
• 2005

The research presented in this paper enables real-time 3D modeling to help make construction processes ultimately faster, more predictable and safer. Initial research efforts used an emerging sensor technology and proved its usefulness in the acquisition of range information for the detection and efficient representation of static and moving objects. Based on the time-of-flight principle, the sensor acquires range and intensity information of each image pixel within the entire sensor's field-of-view in real-time with frequencies of up to 30 Hz. However, real-time working range data processing algorithms need to be developed to rapidly process range information into meaningful 3D computer models. This research ultimately focuses on the application of safer heavy equipment operation. The paper compares (a) a previous research effort in convex hull modeling using sparse range point clouds from a single laser beam range finder, to (b) high-frame rate update Flash LADAR (Laser Detection and Ranging) scanning for complete scene modeling. The presented research will demonstrate if the FlashLADAR technology can play an important role in real-time modeling of infrastructure assets in the near future.

• Journal of Korean Society for Atmospheric Environment
• /
• 제18권E4호
• /
• pp.215-221
• /
• 2002

The real-time modeling system, named AirWatch System, has been developed to evaluate the environmental impact from a large source. It consists of stack TMS (TeleMetering System) that measures the emission data from the source, AWS (Automatic Weather Station) that monitors the weather data and computer system with the dispersion modeling software. The modeling theories used in the system are Gaussian plume and puff models. The Gaussian plume model is used for the dispersion in the simple terrain with a point meteorological data while the puff model is for the dispersion in complex terrain with three dimensional wind fields. The AirWatch System predicts the impact of the emitted pollutants from the large source on the near-by environment on the real -time base and the alarm is issued to control the emission rate if the calculated concentrations exceed the modeling significance level.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제50권9호
• /
• pp.439-446
• /
• 2001

This paper considers the design technique of the real-time control algorithm to implement the electronic interlocking system which is the most important station control system in railway signal field. The proposed technique consists of the structure design and the detail design which are based on the ROOM(Real-Time Object-Oriented Modeling). The structure design is designed with a modeling using the heuristic search technique which, at first, catch and make out the specific requested condition, and then, is designed on the requested condition. The detail design can be implemented if it may get the satisfying values through the repetitive modeling after comparing and examining the data obtained from the structure design in order for the more reliable and accurate system to be implemented. The technique proposed in this paper is implemented with C++ language which is easy to be transferred and compatible with the existing interfaces, and also the operating system is designed and simulated on the VRTX which is a real-time operating system. This proposed technique is applied to the typical station model in order to prove the validity as verifying the performance of the modeled station.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 B
• /
• pp.590-592
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.384-389
• /
• 2008

In this paper, we propose a UML modeling of ATO on-board software. An automatic train operation (ATO) system is a real-time control system, which operates a train without a manual operation by a driver. For the safe and comfortable service, real-time embedded software for ATO on-board equipment should have both of high performance and reliability. UML-based object-oriented modeling technique is introduced and used widely to design software that satisfies this requirement. We used Rhapsody, which is a modeling tool for real-time embedded software, to model the construction and the behavior of ATO on-board equipment. As a result, ATO on-board software which performs the profile calculation and the real-time speed control is designed and implemented. The brief modeling result including behavioral characteristics and the simulation results are presented.

• 한국지능시스템학회논문지
• /
• 제8권6호
• /
• pp.91-98
• /
• 1998

A DEDS is a system whose stated change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the system is the lack of appropriate modeling techniques. In this paper, we consider the modeling and control problem for Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have been recently defined. The traditional TLF is enhanced with time functions for real time control of Discrete Event Dynamic Systems. A sequence of event which drive the system from a given initial state to a given final state is generated by pertinently operating the given plants. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. An given example of fixed-time traffic control problem is shown to illustrate our results with Real-time Temporal Logic Framework.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2001년도 Proceedings ICPE 01 2001 International Conference on Power Electronics
• /
• pp.546-551
• /
• 2001

This paper considers the design technique of the real-time control algorithm to implement the electronic interlocking system which is the most important station control system in railway signal field. The proposed technique consists of the structure design and the detail design which are based on the ROOM(Real-Time Object-Oriented Modeling) This proposed technique is applied to the typical station model in order to prove the validity as verifying the performance of the modeled station.

• 한국CDE학회논문집
• /
• 제5권1호
• /
• pp.42-49
• /
• 2000

This paper presents a solid modeling system that enables real time co-operative modeling and discussion on m between geographically separated designers. The modeling system is implemented using CORBA architecture and integrated in WWW with Java technology. The server objects use a commercial solid modeling kernel to provide modeling features and access database including product model data. The client is implemented using Java2 platform so that enables end-users access the system with web-browsers.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권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.