An exercise in ontology driven trajectory simulation with Matlab Simulink®

2007-01-01
Durak, Umut
Güler, 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® 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. © 2007 ECMS.

Suggestions

An exercise in ontology driven trajectory simulation with MATLAB Simulink (R)
Durak, Umut; Guler, Serdar; Oğuztüzün, Mehmet Halit S.; Ider, S. Kemal (2007-06-06)
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 functi...
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...
An extension to the variational iteration method for systems and higher-order differential equations
Altıntan, Derya; Uğur, Ömür; Department of Scientific Computing (2011)
It is obvious that differential equations can be used to model real-life problems. Although it is possible to obtain analytical solutions of some of them, it is in general difficult to find closed form solutions of differential equations. Finding thus approximate solutions has been the subject of many researchers from different areas. In this thesis, we propose a new approach to Variational Iteration Method (VIM) to obtain the solutions of systems of first-order differential equations. The main contribution...
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. Güler, M. H. S. Oğuztüzün, and S. K. Ider, “An exercise in ontology driven trajectory simulation with Matlab Simulink®,” 2007, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/57328.