• Title/Summary/Keyword: Modeling language

Search Result 1,027, Processing Time 0.029 seconds

Applying Formal Methods to Modeling and Analysis of Real-time Data Streams

  • Kapitanova, Krasimira;Wei, Yuan;Kang, Woo-Chul;Son, Sang-H.
    • Journal of Computing Science and Engineering
    • /
    • v.5 no.1
    • /
    • pp.85-110
    • /
    • 2011
  • Achieving situation awareness is especially challenging for real-time data stream applications because they i) operate on continuous unbounded streams of data, and ii) have inherent realtime requirements. In this paper we showed how formal data stream modeling and analysis can be used to better understand stream behavior, evaluate query costs, and improve application performance. We used MEDAL, a formal specification language based on Petri nets, to model the data stream queries and the quality-of-service management mechanisms of RT-STREAM, a prototype system for data stream management. MEDAL's ability to combine query logic and data admission control in one model allows us to design a single comprehensive model of the system. This model can be used to perform a large set of analyses to help improve the application's performance and quality of service.

A Korean Flight Reservation System Using Continuous Speech Recognition

  • Choi, Jong-Ryong;Kim, Bum-Koog;Chung, Hyun-Yeol;Nakagawa, Seiichi
    • The Journal of the Acoustical Society of Korea
    • /
    • v.15 no.3E
    • /
    • pp.60-65
    • /
    • 1996
  • This paper describes on the Korean continuous speech recognition system for flight reservation. It adopts a frame-synchronous One-Pass DP search algorithm driven by syntactic constraints of context free grammar(CFG). For recognition, 48 phoneme-like units(PLU) were defined and used as basic units for acoustic modeling of Korean. This modeling was conducted using a HMM technique, where each model has 4-states 3-continuous output probability distributions and 3-discrete-duration distributions. Language modeling by CFG was also applied to the task domain of flight reservation, which consisted of 346 words and 422 rewriting rules. In the tests, the sentence recognition rate of 62.6% was obtained after speaker adaptation.

  • PDF

Object -Oriented Simulation Approach for AGV Systems (AGV 시스템에 대한 객체지향 시뮬레이션)

  • 김경섭
    • Journal of the Korea Society for Simulation
    • /
    • v.2 no.1
    • /
    • pp.107-124
    • /
    • 1993
  • This paper presents an object -oriented simulation approach. AgvTalk, to design and analze AGV system configuration and control. Smalltalk-80 is used as an implementation language in AgvTalk. AgvTalk includes 25 object classes and more than 300 object methods in its library. Compared to general purpose simulation languages. AgvTalk provides several important benefits. First, the hierarchical features and modularity create possibilities for the extension and reuse of simulation object components. This extensibility and reusability provide more flexible modeling capabilities for simulation of many alternative AGV systems. Second, detailed behavior of each object in the AGV system can be modeled easily and exactly in AgvTalk because there are no limiting modeling constructs. Third, AgvTalk provides a user -friendly simulation modeling environment through the MVC -triad of Smalltalk-80.

  • PDF

Stochastic Modeling and Concurrent Simulation of the Game of Golf

  • Yoon, Sung-Roh;Lee, Se-Il;Oh, Seong-Jun
    • ETRI Journal
    • /
    • v.31 no.6
    • /
    • pp.809-811
    • /
    • 2009
  • We propose a novel simulation method for modeling the game of golf using SystemC, a system description language that allows modeling of a concurrent system's behavior. Utilizing the proposed simulator, we compare different outing formats of golf, namely, regular and shotgun, in terms of playing time. Our simulation results reveal that the shotgun format can take longer than the regular format if the number of groups in a golf course exceeds 33 for the scenario we tested, confirming the belief that the shotgun format can take longer than the regular format. We also justify our simulation by comparing the simulation and analytical results.

A Hybrid Knowledge Model for Structural Monitoring and Diagnosis (구조물 모니터링 및 진단을 위한 지식모델의 개발)

  • 김성곤
    • Computational Structural Engineering
    • /
    • v.9 no.2
    • /
    • pp.163-171
    • /
    • 1996
  • A hybrid knowledge model which amalgamates an object-oriented modeling approach and logic programming implementation is presented for structural health monitoring and diagnosis of instrumented structures. Domain knowledge in structural monitoring and diagnosis is formalized and represented in a logic-based object-oriented modeling environment. The model and environment have been implemented and illustrated in the context of a laboratory case study of damage detection in a successively damaged steel structure.

  • PDF

Object-Oriented Simulaton of Container Terminal Using a DEVS Formalsim (DEVS형식론을 이용한 컨테이너 터미널의 객체지향 시뮬레이션에 관한 연구)

  • 성경빈;정희균;박용욱;이철영
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 1999.10a
    • /
    • pp.35-42
    • /
    • 1999
  • In order to cope with the changes of container terminal situation in these days, many simulation studies for container terminal have been accomplished. But established simulation studies using simulation language have restrictions in model representation and difficulties in modeling of large scaled container terminal system. To make these problems better, in this paper addresses object-oriented simulation of container terminal system using a DEVS formalism. In a step of system modeling, using a DEVS formalism aim at the exact system modeling that has a basis of semantics and utilizing the object-oriented manner can flexibly cope with the changes of system environment. In this study a model was developed and verified through the simulation of some alternatives.

Microcontroller Modeling for Virtual Experiment in Microprocessor Education (마이크로프로세서 교육을 위한 가상실험용 마이크로컨트롤러 모델링)

  • Ki, Jang-Geun;Kwon, Kee-Young
    • Journal of Software Assessment and Valuation
    • /
    • v.17 no.1
    • /
    • pp.93-99
    • /
    • 2021
  • The demand for online education has rapidly increased due to the influence of COVID-19. One of the biggest challenges in engineering education is how to efficiently conduct experiments online. In this paper, for the virtual experimental system for microcontroller application that is essential for education in the field of electrical, electronic, and control engineering, we described the microcontroller functional modeling and implementation with Java language. The usefulness of the developed microcontroller module has been verified through educational field application.

Computer Aided Bondgraphs Modeling and Simulation of Hydrostatic Transmission (유압 트랜스미션의 본드선도 모델링 및 시뮬레이션)

  • Woo, Seongwoo;Park, Raeseok;Lee, Jongkil
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.13 no.12
    • /
    • pp.54-62
    • /
    • 1996
  • To get the time response characteristics of the hydrostatic transmission, seaborne winch is modelde by using bond graphs. After modeling of its basic elements, it is represented as power flow, and the determination of variable causality. The state equations are derived by using CAMP. As dynamic stabilites and solutions are investigated by perturbation method and direct integration, winch system is stable. Simulations are performed under the conditions of low speed, high speed, and maximum tension. The pressure and flow rate of the hydrostatic transmission have a big overshoot. But when it is comparaed to the empirical data with simulation results, it is similar to each other. When a lead compensator is applied to improve response characteristics of the hydrostatic transmission, rise time and overshoot of the system are improved.

  • PDF

A Study on Water Network Modeling System Based Upon GIS (지리정보시스템 기반의 상수관망 모델링 시스템 연구)

  • Kim, Joon-Hyun;Yakunina, Natalia
    • Journal of Environmental Impact Assessment
    • /
    • v.19 no.3
    • /
    • pp.315-321
    • /
    • 2010
  • ArcView and water network models have been integrated to develop the water network modeling system based upon GIS. To develop this system, pre, main, and post processing systems are required. GIS programming technique was adopted by using the ArcView's script language Avenue. The input data of models have been prepared by using the AutoCAD Map3D through the conversion of modeling input data to GIS data for A city. The modeling has been implemented by using EPANET, WaterCAD, InfoWorks. To develop the post processing system, the modeling results of the water network models have been analyzed by using GIS. During the application process of the developed system to B city with 300,000 population, main problems were found in the constructed GIS DB of that city. Thus, pilot study area of B city has been constructed, and pre-, main, and post-processing techniques were invented based upon GIS. Finally, the problems related to waterworks GIS projects in Korea were discussed and solutions were suggested.

XML Application Design Methodology using Model of UML Class (UML Class 모델을 이용한 XML 응용 설계 방법론)

  • 방승윤;주경수
    • The Journal of Society for e-Business Studies
    • /
    • v.7 no.1
    • /
    • pp.153-166
    • /
    • 2002
  • Nowadays an information exchange on Bn such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to store XML data in object-relational database that support hierarchical structure. Accordingly the modeling methodology for storing XML data in object-relational database is needed. In order to build good quality application systems, modeling is an important first step. In 1997, the OMG adopted the UML as its standard modeling language. Since industry has warmly embraced UML its popularity should become more important in the future. So a design methodology based on UML is need to develop efficiently XML applications. In this paper, we propose a unified design methodology for In applications based on object-relational database using In. To this goal, first we introduce a XML modeling methodology to design W3C XML schema using UML and second we propose data modeling methodology for object-relational database schema to store efficiently XML data in object-relational databases.

  • PDF