An exercise in ontology driven trajectory simulation with MATLAB Simulink (R)

2007-06-06
Durak, Umut
Guler, Serdar
Oğuztüzün, Mehmet Halit S.
Ider, S. Kemal
We demonstrate an application of the ontology driven methodology to develop trajectory simulations in a function-oriented style. We adopt a model based approach to software development, guided by the domain engineering process, to promote knowledge and software reuse. MATLAB Simulink (R) block definitions have been generated from the function specifications in the Trajectory Simulation Ontology, called TSONT. MATLAB implementations of the blocks have been generated from the DAVE-ML definitions of the functions, which are incorporated in TSONT. Finally, the simulation has been put together by manually connecting the blocks.

Suggestions

An exercise in ontology driven trajectory simulation with Matlab Simulink®
Durak, Umut; Güler, Serdar; Oğuztüzün, Mehmet Halit S.; Ider, S. Kemal (2007-01-01)
We demonstrate an application of the ontology driven methodology to develop trajectory simulations in a function-oriented style. We adopt a model based approach to software development, guided by the domain engineering process, to promote knowledge and software reuse. MATLAB Simulink® block definitions have been generated from the function specifications in the Trajectory Simulation Ontology, called TSONT. MATLAB implementations of the blocks have been generated from the DAVE-ML definitions of the functions...
A Methodology for cross-resolution modeling in DEVS using event-B refinement
Kara, Ahmet; Oğuztüzün, Mehmet Halit S.; Alpdemir, Mahmut Nedim; Department of Computer Engineering (2014)
This thesis proposes a software engineering solution for implementing simulations via composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology relies on Event-B as the formal specification language and D...
On the use of model-driven engineering principles for the management of simulation experiments
Dayibas, Orcun; Oğuztüzün, Mehmet Halit S.; Yilmaz, Levent (Informa UK Limited, 2019-04-03)
Simulation experiments are an essential part of computational science and engineering. The use of simulation models is widely adopted by practitioners from diverse areas of applied sciences. Nevertheless, simulations are rarely replicated due to reuse and maintenance challenges related to models and data. In this respect, we propose that crucial and labor intensive parts of simulation experiments could be supported by model transformations. This work focuses on model-driven engineering practices to enable r...
Studies on the perturbation problems in quantum mechanics
Koca, Burcu; Taşeli, Hasan; Department of Mathematics (2004)
In this thesis, the main perturbation problems encountered in quantum mechanics have been studied.Since the special functions and orthogonal polynomials appear very extensively in such problems, we emphasize on those topics as well. In this context, the classical quantum mechanical anharmonic oscillators described mathematically by the one-dimensional Schrodinger equation have been treated perturbatively in both finite and infinite intervals, corresponding to confined and non-confined systems, respectively.
A finite field framework for modeling, analysis and control of finite state automata
Reger, Johann; Schmidt, Klaus Verner (Informa UK Limited, 2004-09-01)
In this paper, we address the modeling, analysis and control of finite state automata, which represent a standard class of discrete event systems. As opposed to graph theoretical methods, we consider an algebraic framework that resides on the finite field F-2 which is defined on a set of two elements with the operations addition and multiplication, both carried out modulo 2. The key characteristic of the model is its functional completeness in the sense that it is capable of describing most of the finite st...
Citation Formats
U. Durak, S. Guler, M. H. S. Oğuztüzün, and S. K. Ider, “An exercise in ontology driven trajectory simulation with MATLAB Simulink (R),” Prague, CZECH REPUBLIC, 2007, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/52963.