A framework for constructing agent-based aerospace simulations using model to text transformation

2020-11-15

Suggestions

A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B
Kara, Ahmet; Oğuztüzün, Mehmet Halit S.; Alpdemir, M. Nedim (2015-11-01)
This paper proposes a software engineering solution for implementing simulations via the 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 uses Event-B as the formal specification language and Dis...
A logical framework for scheduling workflows under resource allocation constraints
Karagöz, Pınar; Toroslu, İsmail Hakkı (null; 2002-08-22)
This chapter presents a framework for workflows whose correctness is given by a set of resource allocation constraints and develops techniques for scheduling such systems. A workflow consists of a collection of coordinated tasks designed to carry out a well-defined complex process, such as catalog ordering, trip planning, or a business process in an enterprise. Scheduling of workflows is a problem of finding a correct execution sequence for the workflow tasks, that is, execution that obeys the constraints t...
A METHOD FOR COMPARATIVE-EVALUATION OF EIT ALGORITHMS USING A STANDARD DATA SET
IDER, YZ; EYUBOGLU, BM; KUZUOGLU, M; Leblebicioğlu, Mehmet Kemal; BAYSAL, U; CAGLAR, BK; BIRGUL, O (IOP Publishing, 1995-08-01)
The point spread function (PSF) is the most widely used tool for quantifying the spatial resolution of imaging systems. However, prerequisites for the proper use of this tool are linearity and space invariance. Because EIT is non-linear it is only possible to compare different reconstruction algorithms using a standard data set. In this study, the FEM is used to generate simulation data, which are used to investigate the non-linear behaviour of EIT, the space dependence of its PSF and its capability of reso...
A method for decentralized business process modeling
Türetken, Oktay; Demirörs, Onur; Department of Information Systems (2007)
This thesis study proposes a method for organizations to perform business process modeling in a decentralized and concurrent manner. The Plural method is based on the idea that organizations’ processes can be modeled by individuals actually performing the processes. Instead of having a central and devoted group of people to understand, analyze, model and improve processes, individuals are held responsible to model and improve their own processes concurrently. These individual models are then integrated to f...
A generic framework for optimizing performance metrics by tuning parameters of clustering protocols in WSNs
Alchihabi, Abdullah; Dervis, Ates; Ever, Enver; Al-Turjman, Fadi;( Abstracts: Wireless sensor network (WSN) is a key technology trend in emerging internet of things paradigms which are commonly used for application areas such as smart-cities, smart-grids, wearables, and connected health. There is a wealth of literature which considers various cluster-based routing protocols such as LEACH, HEED, and UHEED where these protocols are compared in terms of the network lifetime and/or the total number of packets successfully received by the base station under various operational conditions. While existing studies present various approaches to form WSN clusters in the most efficient way, various parameters are manually-assigned their values such as the radius of the cluster, the number of nodes in the cluster, and the number of clusters that should be formed to reach the base station. The choice of correct parameters is essential for reaching the most efficient configuration, however existing studies do not specify a systematic way for tuning these parameters. In other words, the optimization of cluster-based WSNs through fine tuning of related system parameters is not considered in the existing studies. We believe that presenting a generic approach to tune the parameters of clustering algorithms in order to optimize the performance metrics of WSNs is a significant contribution. In this study a systematic and an efficient method is presented to tune the parameters of clustering and routing protocols. Instead of brute force, or trial and error approaches, simulated annealing and K-beams algorithms are adopted together with discrete event system simulator OMNET++ with Castalia Framework. Results are presented comparatively with brute force approach in order to show the efficiency of the new approach in finding the optimum configuration in terms of energy efficiency as well as the rate of successfully received packets.; 2019-04-01)
Wireless sensor network (WSN) is a key technology trend in emerging internet of things paradigms which are commonly used for application areas such as smart-cities, smart-grids, wearables, and connected health. There is a wealth of literature which considers various cluster-based routing protocols such as LEACH, HEED, and UHEED where these protocols are compared in terms of the network lifetime and/or the total number of packets successfully received by the base station under various operational conditions....
Citation Formats
B. E. Dere, B. K. GÖRÜR, and M. H. S. Oğuztüzün, “A framework for constructing agent-based aerospace simulations using model to text transformation,” presented at the 2020 Summer Simulation Conference, Madrid, İspanya, 2020, Accessed: 00, 2022. [Online]. Available: https://dl.acm.org/doi/abs/10.5555/3427510.3427520.