Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Formal specification of hypotheses for assisting computer simulation studies

Proceeding TMS/DEVS '17 Proceedings of the Symposium on Theory of Modeling & Simulation ; Virginia Beach, Virginia — April 23 - 26, 2017 - SpringSim 2017. San Diego, CA: Society for Modeling & Simulation International 2017 S. 18

Erscheinungsjahr: 2017

Publikationstyp: Buchbeitrag (Konferenzband)

Sprache: Englisch

Doi/URN: http://scs.org/wp-content/uploads/2017/06/42_Final_Manuscript.pdf

Volltext über DOI/URN

GeprüftBibliothek

Inhaltszusammenfassung


The aim of computer simulation studies is to answer research questions by means of experiments. For providing reliable evidence, the procedure of the study needs to be aligned with the question and the steps of the study need to be adjusted and combined accordingly. Supporting this process is challenging as the identification, customization, and combination of adequate tools and techniques for the systematic design of simulation experiments with respect to a hypothesis is...The aim of computer simulation studies is to answer research questions by means of experiments. For providing reliable evidence, the procedure of the study needs to be aligned with the question and the steps of the study need to be adjusted and combined accordingly. Supporting this process is challenging as the identification, customization, and combination of adequate tools and techniques for the systematic design of simulation experiments with respect to a hypothesis is not trivial. Hence, for providing computer-aided assistance, a language for the specification of hypotheses with respect to the credible and reproducible testing of research questions in computer simulation is needed. In this paper, we propose an approach for formally specifying hypotheses that allows for automated hypothesis testing. Based on specified hypotheses, we demonstrate the assistance of simulation studies in terms of model parametrization and analysis of results with respect to the statistically sound evaluation of hypotheses.» weiterlesen» einklappen

  • Formal Specification, Hypothesis Testing, Assistance System, Parametrization

Autoren


Lorig, Fabian (Autor)
Becker, Colja A. (Autor)

Klassifikation


DDC Sachgruppe:
Informatik

Verknüpfte Personen


Beteiligte Einrichtungen