• Title/Summary/Keyword: temporal modeling

Search Result 367, Processing Time 0.032 seconds

A Formal Modeling of Managed Object Behaviour with Dynamic Temporal Properties (동적 시간지원 특성을 지원하는 망관리 객체의 정형적 모델링)

  • Choi, Eun-Bok;Lee, Hyung-Hyo;Noh, Bong-Nam
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.1
    • /
    • pp.166-180
    • /
    • 2000
  • Recommendations of ITU-T and ISO stipulate the managerial abstraction of static and dynamic characteristics of network elements, management functions as well as management communication protocol. The current recommendations provide the formal mechanism for the structural parts of managed objects such as managed object class and attributes. But the current description method does not provide the formal mechanism for the behavioral characteristics of managed objects in clear manner but in natural language form, the complete specification of managed objects is not fully described. Also, the behaviour of managed objects is affected by their temporal and active properties. While the temporal properties representing periodic or repetitive internals are to describe managed objects behaviour in rather strict way, it will be more powerful if more dynamic temporal properties determined by external conditions are added to managed objects. In this paper, we added dynamic features to scheduling managed objects, and described, in GDMO, scheduling managed objects that support dynamic features. We also described behaviour of managed objects in newly defined BDL that has dynamic temporal properties. This paper showed that dynamic temporal managed objects provide a systematic and formal method in agent management function model.

  • PDF

Longitudinal Relationship between Addictive Use of Mobile Phones and Learning Activities for Elementary School Students : Multiple and Complex Group Analysis across Gender (초등학생의 휴대전화 중독적 사용과 학습활동의 종단적 관계 검증 : 성별 간 다집단 복합 분석)

  • Jun, Sang-Min
    • Journal of Digital Convergence
    • /
    • v.13 no.8
    • /
    • pp.267-279
    • /
    • 2015
  • The study aimed to examine the longitudinal relationship between addictive use of mobile phones and learning activities for elementary school students and to analyze (1)temporal changes of the addictive use of mobile phones and learning activities, (2)temporal relationship between them, and (3)multiple and complex group analysis across gender on the relationship. For the study, 3-year longitudinal data(2010-2012) of the Korean Children and Youth Panel Survey and autoregressive cross-lagged modeling were used. The findings showed that the addictive use of mobile phones and learning activities had a significant positive effect on the future selves of children over time. The addictive use of mobile phones influenced positively subsequent learning activities, but, the learning activities did not affect the addictive use of mobile phones. Further, there were no significant gender differences in the longitudinal relationship. The study provided the useful data to make guidelines on how to protect mobile phone addiction for elementary school students.

Korea Emissions Inventory Processing Using the US EPA's SMOKE System

  • Kim, Soon-Tae;Moon, Nan-Kyoung;Byun, Dae-Won W.
    • Asian Journal of Atmospheric Environment
    • /
    • v.2 no.1
    • /
    • pp.34-46
    • /
    • 2008
  • Emissions inputs for use in air quality modeling of Korea were generated with the emissions inventory data from the National Institute of Environmental Research (NIER), maintained under the Clean Air Policy Support System (CAPSS) database. Source Classification Codes (SCC) in the Korea emissions inventory were adapted to use with the U.S. EPA's Sparse Matrix Operator Kernel Emissions (SMOKE) by finding the best-matching SMOKE default SCCs for the chemical speciation and temporal allocation. A set of 19 surrogate spatial allocation factors for South Korea were developed utilizing the Multi-scale Integrated Modeling System (MIMS) Spatial Allocator and Korean GIS databases. The mobile and area source emissions data, after temporal allocation, show typical sinusoidal diurnal variations with high peaks during daytime, while point source emissions show weak diurnal variations. The model-ready emissions are speciated for the carbon bond version 4 (CB-4) chemical mechanism. Volatile organic carbon (VOC) emissions from painting related industries in area source category significantly contribute to TOL (Toluene) and XYL (Xylene) emissions. ETH (Ethylene) emissions are largely contributed from point industrial incineration facilities and various mobile sources. On the other hand, a large portion of OLE (Olefin) emissions are speciated from mobile sources in addition to those contributed by the polypropylene industry in point source. It was found that FORM (Formaldehyde) is mostly emitted from petroleum industry and heavy duty diesel vehicles. Chemical speciation of PM2.5 emissions shows that PEC (primary fine elemental carbon) and POA (primary fine organic aerosol) are the most abundant species from diesel and gasoline vehicles. To reduce uncertainties in processing the Korea emission inventory due to the mapping of Korean SCCs to those of U.S., it would be practical to develop and use domestic source profiles for the top 10 SCCs for area and point sources and top 5 SCCs for on-road mobile sources when VOC emissions from the sources are more than 90% of the total.

Formalization of Object-Oriented Dynamic Modeling Technique (객체지향 동적 모델링 기법의 정형화)

  • Kim, Jin-Soo;Kim, Jeong-A;Lee, Gyeong-Hwan
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.4
    • /
    • pp.1013-1024
    • /
    • 1997
  • In the traditional object modeling methodologies, the object model can be said as formal since it has been based on rich semantic model. But almost of all methodolgies lack in formality the dyamic model and modeling process. Dynamic model cannot represent exctly the timing constraints and the interaction among the objects, which are very important features in real-time and multimedia system. In this paper, we formalize the synamic moedl and modeling proxess based on object behavior and state. This model defines the object state space using the concepts in algebra stucture and defines the object behavior func-tion. Also this model can formalize object kifecycle and conurrency among the objects usint the temporal logiction. Also this model can frlmaize object lifecycle and conurrency among the objects using the tempral logic and behavior founction. We apply firing rules to behacior function for modeling the dependency of interaction among the objescts.

  • PDF

Auto-Analysis of Traffic Flow through Semantic Modeling of Moving Objects (움직임 객체의 의미적 모델링을 통한 차량 흐름 자동 분석)

  • Choi, Chang;Cho, Mi-Young;Choi, Jun-Ho;Choi, Dong-Jin;Kim, Pan-Koo
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.8 no.6
    • /
    • pp.36-45
    • /
    • 2009
  • Recently, there are interested in the automatic traffic flowing and accident detection using various low level information from video in the road. In this paper, the automatic traffic flowing and algorithm, and application of traffic accident detection using traffic management systems are studied. To achieve these purposes, the spatio-temporal relation models using topological and directional relations have been made, then a matching of the proposed models with the directional motion verbs proposed by Levin's verbs of inherently directed motion is applied. Finally, the synonym and antonym are inserted by using WordNet. For the similarity measuring between proposed modeling and trajectory of moving object in the video, the objects are extracted, and then compared with the trajectories of moving objects by the proposed modeling. Because of the different features with each proposed modeling, the rules that have been generated will be applied to the similarity measurement by TSR (Tangent Space Representation). Through this research, we can extend our results to the automatic accident detection of vehicle using CCTV.

  • PDF

Development of Multiscale Modeling Methods Coupling Molecular Dynamics and Stochastic Rotation Dynamics (분자동역학과 확률회전동역학을 결합한 멀티스케일 모델링 기법 개발)

  • Cha, Kwangho;Jung, Youngkyun
    • KIISE Transactions on Computing Practices
    • /
    • v.20 no.10
    • /
    • pp.534-542
    • /
    • 2014
  • Multiscale modeling is a new simulation approach which can manage different spatial and temporal scales of system. In this study, as part of multiscale modeling research, we propose the way of combining two different simulation methods, molecular dynamics(MD) and stochastic rotation dynamics(SRD). Our conceptual implementations are based on LAMMPS, one of the well-known molecular dynamics programs. Our prototype of multiscale modeling follows the form of the third party implementation of LAMMPS. It added MD to SRD in order to simulate the boundary area of the simulation box. Because it is important to guarantee the seamless simulation, we also designed the overlap zones and communication zones. The preliminary experimental results showed that our proposed scheme is properly worked out and the execution time is also reduced.

Design and Implementation of an Integrated CA-GIS System (CA-GIS 통합시스템의 설계와 구현)

  • 박수홍
    • Spatial Information Research
    • /
    • v.9 no.2
    • /
    • pp.185-206
    • /
    • 2001
  • Cellular Automata(CA) have been investigated and utilized as a theoretical framework and/or methodology for analyzing and simulating the properties and behaviors of many complex systems in various physical science and engineering field. Due to the conceptual elegance and effectiveness of implementing spatio-temporal dynamic models and the compatibility with raster GISs, recently a variety of modeling works using both CA and GIS have been published in GIS fields Most of spatial dynamic models introduced in previous research, however, were very limited and furthermore integrated CA-GIS system for practical modeling purpose are not developed yet. This study aims to develop an integrated CA-GIS system in which a CA simulator is used as an analytical engine for GIS providing a multipurpose spatial dynamic modeling functionalities. This integrated CA-GIS system is anticipated radically enhancing the current lacking dynamic modeling functionalities of GIS and being utilized as an powerful and effective tool for practical spatial dynamic modeling research.

  • PDF

Exercising The Traditional Four-Step Transportation Model Using Simplified Transport Network of Mandalay City in Myanmar (미얀마 만달레이시의 단순화된 교통망을 이용한 전통적인 4단계 교통 모델에 관한 연구)

  • Wut Yee Lwin;Byoung-Jo Yoon;Sun-Min Lee
    • Journal of the Society of Disaster Information
    • /
    • v.20 no.2
    • /
    • pp.257-269
    • /
    • 2024
  • Purpose: The purpose of this study is to explain the pivotal role of the travel forecasting process in urban transportation planning. This study emphasizes the use of travel forecasting models to anticipate future traffic. Method: This study examines the methodology used in urban travel demand modeling within transportation planning, specifically focusing on the Urban Transportation Modeling System (UTMS). UTMS is designed to predict various aspects of urban transportation, including quantities, temporal patterns, origin-destination pairs, modal preferences, and optimal routes in metropolitan areas. By analyzing UTMS and its operational framework, this research aims to enhance an understanding of contemporary urban travel demand modeling practices and their implications for transportation planning and urban mobility management. Result: The result of this study provides a nuanced understanding of travel dynamics, emphasizing the influence of variables such as average income, household size, and vehicle ownership on travel patterns. Furthermore, the attraction model highlights specific areas of significance, elucidating the role of retail locations, non-retail areas, and other locales in shaping the observed dynamics of transportation. Conclusion: The study methodically addressed urban travel dynamics in a four-ward area, employing a comprehensive modeling approach involving trip generation, attraction, distribution, modal split, and assignment. The findings, such as the prevalence of motorbikes as the primary mode of transportation and the impact of adjusted traffic patterns on reduced travel times, offer valuable insights for urban planners and policymakers in optimizing transportation networks. These insights can inform strategic decisions to enhance efficiency and sustainability in urban mobility planning.

Experimental Study and Numerical Modeling of Keyhole Behavior during CO2 Laser Welding

  • Kim, Jong-Do;Oh, Jin-Seok;Kil, Byung-Lea
    • Journal of Advanced Marine Engineering and Technology
    • /
    • v.31 no.3
    • /
    • pp.282-292
    • /
    • 2007
  • The present paper describes the results of high speed photography, acoustic emission (AE) detection and plasma light emission (LE) measurement during $CO_2$ laser welding of 304 stainless steel in different processing conditions. Video images with high spatial and temporal resolution allowed to observe the melt dynamics and keyhole evolution. The existence of keyhole was confirmed by the slag motion on the weld pool. The characteristic frequencies of flow instability and keyhole fluctuations at different welding speed were measured and compared with the results of Fourier analyses of temporal AE and LE spectra. The experimental results were compared with the newly developed numerical model of keyhole dynamics. The model is based on the assumption that the propagation of front part of keyhole into material is due to the melt ejection driven by laser induced surface evaporation. The calculations predict that a high speed melt flow is induced at the front part of keyhole when the sample travel speed exceeds several 10 mm/s. The numerical analysis also shows the hump formation on the front keyhole wall surface. Experimentally observed melt behavior and transformation of the AE and LE spectra with variation of welding speed are qualitatively in good agreement with the model predictions.

A Simple Syntax for Complex Semantics

  • Lee, Kiyong
    • Proceedings of the Korean Society for Language and Information Conference
    • /
    • 2002.02a
    • /
    • pp.2-27
    • /
    • 2002
  • As pact of a long-ranged project that aims at establishing database-theoretic semantics as a model of computational semantics, this presentation focuses on the development of a syntactic component for processing strings of words or sentences to construct semantic data structures. For design arid modeling purposes, the present treatment will be restricted to the analysis of some problematic constructions of Korean involving semi-free word order, conjunction arid temporal anchoring, and adnominal modification and antecedent binding. The present work heavily relies on Hausser's (1999, 2000) SLIM theory for language that is based on surface compositionality, time-linearity arid two other conditions on natural language processing. Time-linear syntax for natural language has been shown to be conceptually simple and computationally efficient. The associated semantics is complex, however, because it must deal with situated language involving interactive multi-agents. Nevertheless, by processing input word strings in a time-linear mode, the syntax cart incrementally construct the necessary semantic structures for relevant queries and valid inferences. The fragment of Korean syntax will be implemented in Malaga, a C-type implementation language that was enriched for both programming and debugging purposes arid that was particluarly made suitable for implementing in Left-Associative Grammar. This presentation will show how the system of syntactic rules with constraining subrules processes Korean sentences in a step-by-step time-linear manner to incrementally construct semantic data structures that mainly specify relations with their argument, temporal, and binding structures.

  • PDF