• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.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.

• Advances in Computational Design
• /
• v.8 no.3
• /
• pp.219-236
• /
• 2023

In this paper, finite element modeling of the laser ultrasonics (LU) process in ablation regime is of interest. The momentum resulting from the removal of material from the specimen surface by the laser beam radiation in ablation regime is modeled as a pressure pulse. To model this pressure pulse, two equations are required: one for the spatial distribution and one for the temporal distribution of the pulse. Previous researchers have proposed various equations for the spatial and temporal distributions of the pressure pulse in different laser applications. All available equations are examined and the best combination of the temporal and spatial distributions of the pressure pulse that provides the most accurate results is identified. This combination of temporal and spatial distributions has never been used for modeling laser ultrasonics before. Then by using this new model, the effects of variations in pulse duration and laser spot radius on the shape, amplitude, and frequency spectrum of ultrasonic waves are studied. Furthermore, the LU in thermoelastic regime is simulated by this model and compared with LU in ablation regime. The interaction of ultrasonic waves with a defect is also investigated in the LU process in ablation regime. Good agreement of the results obtained from the new finite element model and available experimental data confirms the accuracy of the proposed model.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.838-840
• /
• 1999

In this paper, modeling and analysis of discrete event systems by temporal logic frame works and petri net is considered. The reachability tree of the petri net can be used to solve the safeness, boundedness, conservation and coverability problems of discrete event systems. But the reachability tree of the petri net do not solve reachability and liveness problems in general. We proposed a method that synthesised the petri net and the temporal logic frameworks. This method slove some problems of petri net by logical representation of temporal logic frameworks.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.4
• /
• pp.352-357
• /
• 2007

This paper deals with modeling method and application of Fuzzy Discrete Event System(FDES). FDES have characteristics which Crisp Discrete Event System(CDES) can't deals with and is constituted with the events that is determined by vague and uncertain judgement like biomedical or traffic control. We proposed Real-time Fuzzy Temporal Logic Framework(RFTLF) to model Fuzzy Discrete Event System. It combines Temporal Logic Framework with Fuzzy Theory. We represented the model of traffic signal systems for intersection to have the property of Fuzzy Discrete Event System with Real-time Fuzzy Temporal Logic Framework and designed a traffic signal controller for smooth traffic flow. Moreover, we proposed the method to find the minimum-time route to reach the desired destination with information obtained in each intersection. In order to evaluate the performance of Real-time Fuzzy Temporal Logic Framework model proposed in this paper, we simulated unit-time extension traffic signal controller model of the latest signal control method on the same condition.

• Nuclear Engineering and Technology
• /
• v.45 no.5
• /
• pp.653-664
• /
• 2013

The design of computer-based instrumentation and control (I&C) systems is determined by the allocation of I&C functions to I&C systems and components. Due to the characteristics of computer-based technology, component failures can negatively affect several I&C functions, so that the reliability proof of the I&C systems requires the accomplishment of I&C system design analyses throughout the I&C life-cycle. On one hand, this paper proposes the restructuring of the sequential IEC 61513 I&C life-cycle according to the V-model, so as to adequately integrate the concept of verification and validation. On the other hand, based on a metamodel for the modeling of I&C systems, this paper introduces a method for the modeling and analysis of the effects with respect to the superposition of failure combinations and event sequences on the I&C system design, i.e. the temporal change of physical structure is analyzed. In the first step, the method is concerned with the modeling of the I&C systems. In the second step, the method considers the analysis of temporal change of physical structure, which integrates the concepts of the diversity and defense-in-depth analysis, fault tree analysis, event tree analysis, and failure mode and effects analysis.

• Asian Journal of Atmospheric Environment
• /
• v.7 no.1
• /
• pp.25-37
• /
• 2013

Open biomass burning (excluding biofuels) is an important contributor to air pollution in the Asian region. Estimation of emissions from fires, however, has been problematic, primarily because of uncertainty in the size and location of sources and in their temporal and spatial variability. Hence, more comprehensive tools to estimate wildfire emissions and that can characterize their temporal and spatial variability are needed. Furthermore, an emission processing system that can generate speciated, gridded, and temporally allocated emissions is needed to support air-quality modeling studies over Asia. For these reasons, a biomass-burning emissions modeling system based on satellite imagery was developed to better account for the spatial and temporal distributions of emissions. The BlueSky Framework, which was developed by the USDA Forest Service and US EPA, was used to develop the Asian biomass-burning emissions modeling system. The sub-models used for this study were the Fuel Characteristic Classification System (FCCS), CONSUME, and the Emissions Production Model (EPM). Our domain covers not only Asia but also Siberia and part of central Asia to assess the large boreal fires in the region. The MODIS fire products and vegetation map were used in this study. Using the developed modeling system, biomass-burning emissions were estimated during April and July 2008, and the results were compared with previous studies. Our results show good to fair agreement with those of GFEDv3 for most regions, ranging from 9.7 % in East Asia to 52% in Siberia. The SMOKE modeling system was combined with this system to generate three-dimensional model-ready emissions employing the fire-plume rise algorithm. This study suggests a practicable and maintainable methodology for supporting Asian air-quality modeling studies and to help understand the impact of air-pollutant emissions on Asian air quality.

• Korean Management Science Review
• /
• v.14 no.1
• /
• pp.87-105
• /
• 1997

There have been lots of research on temporal data management for the past two decades. Most of them are based on some logical data model, especially on the relational data model, although there are some conceptual data models which are independent of logical data models. Also, many properties or issues regarding temporal data models and temporal query languages have been studied. But some of them were shown to be incompatible, which means there could not be a complete temporal data model, satisfying all the desired properties at the same time. Many modeling issues discussed in the papers, do not have to be done so, if they take object-oriented data model as a base model. Therefore, this paper proposes a temporal data model, which is based on the object-oriented data model, mainly discussing the most essential issues that are common to many temporal data models. Our new temporal data model and query language will be illustrated with a small database, created by a set of sample transaction.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.14 no.1
• /
• pp.87-87
• /
• 1989

There have been lots of research on temporal data management for the past two decades. Most of them are based on some logical data model, especially on the relational data model, although there are some conceptual data models which are independent of logical data models. Also, many properties or issues regarding temporal data models and temporal query languages have been studied. But some of them were shown to be incompatible, which means there could not be a complete temporal data model, satisfying all the desired properties at the same time. Many modeling issues discussed in the papers, do not have to be done so, if they take object-oriented data model as a base model. Therefore, this paper proposes a temporal data model, which is based on the object-oriented data model, mainly discussing the most essential issues that are common to many temporal data models. Our new temporal data model and query language will be illustrated with a small database, created by a set of sample transaction.

• Journal of Information Processing Systems
• /
• v.19 no.1
• /
• pp.130-138
• /
• 2023

The traffic flow in an urban area is affected by the date, weather, and regional traffic flow. The existing methods are weak to model the dynamic road network features, which results in inadequate long-term prediction performance. To solve the problems regarding insufficient capacity for dynamic modeling of road network structures and insufficient mining of dynamic spatio-temporal features. In this study, we propose a novel traffic flow prediction framework called shared spatio-temporal attention convolution optimization network (SSTACON). The shared spatio-temporal attention convolution layer shares a spatio-temporal attention structure, that is designed to extract dynamic spatio-temporal features from historical traffic conditions. Subsequently, the graph optimization module is used to model the dynamic road network structure. The experimental evaluation conducted on two datasets shows that the proposed method outperforms state-of-the-art methods at all time intervals.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.5
• /
• pp.1881-1903
• /
• 2015

With the fast-developing of mobile terminals, positioning techniques based on fingerprinting method draws attention from many researchers even world famous companies. To conquer some shortcomings of the existing fingerprinting systems and further improve its performance, we propose a radio map building and updating technique, which is able to customize the spatial and temporal dependency of radio maps. The method includes indoor propagation and penetration modeling and the analysis of human traffic. Based on the combination of Ray-Tracing Algorithm, Finite-Different Time-Domain and Rough Set Theory, the approach of indoor propagation modeling accurately represents the spatial dependency of the radio map. In terms of temporal dependency, we specifically study the factor of moving people in the interest area. With measurement and statistics, the factor of human traffic is introduced as the temporal updating component. We improve our existing indoor positioning system with the proposed building and updating method, and compare the localization accuracy. The results show that the enhanced system can conquer the influence caused by moving people, and maintain the confidence probability stable during week, which enhance the actual availability and robustness of fingerprinting-based indoor positioning system.