scholarly journals Model Driven Combat Effectiveness Simulation Systems Engineering

2020 ◽  
Vol 70 (1) ◽  
pp. 54-59
Author(s):  
Zhi Zhu ◽  
Yonglin Lei ◽  
Yifan Zhu
Keyword(s):  
Decision Making ◽  
Simulation Model ◽  
Conceptual Model ◽  
Systems Engineering ◽  
Simulation Models ◽  
Proof Of Concept ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Combat Effectiveness ◽  
Simulation Systems

Model-driven engineering has become popular in the combat effectiveness simulation systems engineering during these last years. It allows to systematically develop a simulation model in a composable way. However, implementing a conceptual model is really a complex and costly job if this is not guided under a well-established framework. Hence this study attempts to explore methodologies for engineering the development of simulation models. For this purpose, we define an ontological metamodelling framework. This framework starts with ontology-aware system conceptual descriptions, and then refines and transforms them toward system models until they reach final executable implementations. As a proof of concept, we identify a set of ontology-aware modelling frameworks in combat systems specification, then an underwater targets search scenario is presented as a motivating example for running simulations and results can be used as a reference for decision-making behaviors.

Guiding Simulation Model Verification by Model Checking

2010 ◽  
Vol 44-47 ◽  
pp. 3508-3513
Author(s):  
Wei Xia ◽  
Yi Ping Yao ◽  
Xiao Dong Mu ◽  
Fei Xing
Keyword(s):  
Model Checking ◽  
Simulation Model ◽  
Formal Methods ◽  
Important Determinant ◽  
Simulation Models ◽  
Systems Development ◽  
Model Verification ◽  
Model Driven ◽  
Simulation Speed ◽  
Simulation Systems

The accuracy and credibility of model is the most important determinant of development of Modeling and Simulation (M&S). There is a desperate need for an immediate practical solution to the problem of VV&A (Validation, Verification and Accreditation) of simulation systems. A discussion and experiment of the relative merits of informal methods and formal methods are provided in this paper. In spite of increasing simulation speed via parallelization, the number of problem cases that can be covered is not highly increased. On the other hand, formal methods have proven to be valuable techniques, but they require detailed specifications of systems and requirements, therefore they are not very accessible in practical simulation systems development. According to the exhaustiveness of formal methods, a Model Driven Architecture (MDA) based simulation VV&A framework guided by model checking is presented in this paper. This framework combines scalability of simulation with exhaustiveness of formal methods in order to get the best of both worlds for simulation model verification. It can provide more confidence in simulation models and increase the use of formal methods in the context of M&S by people that are not trained in formal techniques.

Construction of Multi-Domain System Simulation Model for Trade Studies in System Design Considering Multiple Scenes

2019 ◽  
Author(s):  
Kazuya Oizumi ◽  
Keita Ishida ◽  
Yoshihiro Uchibori ◽  
Kazuhiro Aoyama
Keyword(s):  
Simulation Model ◽  
System Design ◽  
Systems Engineering ◽  
System Simulation ◽  
Cognitive Model ◽  
Simulation Models ◽  
Modelling Method ◽  
Variable Transmission ◽  
Physical Phenomena ◽  
Model Based Systems Engineering

Abstract As a product is sold globally, usages of the product have much wider variety. Thus, a product needs to be designed considering multiple scenes. To certify that the product performs properly in any scene, industries started to apply Model Based Systems Engineering (MBSE). Whereas multi-domain system simulations are regarded as a prominent approach for the system design of a product, construction of model depends on knowledge and sense modelers. This paper proposes a modelling method to construct appropriate multi-domain system simulation models while reducing dependencies to senses of modelers. The proposed method comprises two parts. First, significant tradeoffs to be studied by the simulation are specified. Second, features of simulation models are deliberated for specified tradeoffs. To specify significant tradeoffs, product and scenes where the product is used are integrated into a model. Further, to deliberate features of simulation model, cognitive model of physical phenomena in a product is employed as well. The proposed method was applied to the development of continuously variable transmission to verify its validity.

The Uncertainty and Uncoordination of Mariners' Behaviour in Collision Avoidance at Sea

1995 ◽  
Vol 48 (3) ◽  
pp. 425-435 ◽  
Author(s):  
J. Zhao ◽  
W. G. Price ◽  
P. A. Wilson ◽  
M. Tan
Keyword(s):  
Decision Making ◽  
Simulation Model ◽  
Collision Avoidance ◽  
Simulation Models ◽  
Fuzzy Programming ◽  
Assessment Model ◽  
The Other ◽  
Entropy Theory ◽  
Close Proximity ◽  
Decision Making Model

It is well known that many collisions occur because one ship turns right whilst the other turns left when in close proximity to one another. Little is known as to why this occurs and, although some simulation models have been established using entropy theory, the problem remains unsolved.In this paper, an assessment model for uncertainty is reviewed briefly. The concepts of uncertainty and uncoordination of mariners' behaviour in collision avoidance are discussed. A simulation model in conjunction with a DCPA (distance to the closest point of approach) decision-making model using fuzzy programming is introduced to discuss coordination.

scholarly journals XRTSDIC: model transformation from PIM to PSM

2018 ◽  
Vol 7 (1.8) ◽  
pp. 92
Author(s):  
G Ramesh
Keyword(s):  
Software Design ◽  
Model Transformation ◽  
Source Code ◽  
Object Oriented ◽  
Proof Of Concept ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Relationship Analysis ◽  
Uml Class Diagram ◽  
Computer Aided Software Engineering

Computer Aided Software Engineering (CASE) has been growing faster in software industry. As part of it Model Driven Engineering (MDE) has been around for focusing on models and transforming them from one model to other model. The tool named Extensible Real Time Software Design Inconsistency Checker (XRTSDIC) proposed by us in previous paper supports UML modelling, design inconsistency checking and model transformation from UML to ERD to SQL. In this paper it is extended further to facilitate model transformation from PIM (UML class diagram) to PSM (source code). We proposed an algorithm and defined model transformation and consistency rules. The extended framework has provision for class relationship analysis and support for choosing different object oriented languages like C#, C++ and Java. While transforming the model, we used the concept of dialects. Dialect is the class with transformation functionality which has ability to adapt to syntax and semantics of chosen language. Different dialects are made available for different languages. Thus the proposed system is capable of transforming models and the prototype application we built and extended demonstrates the proof of concept. The empirical results revealed that the model transformation is consistent and accurate.

Simulation Model Refinement for Decision Making Via a Value-of-Information Based Metric

2006 ◽  
Author(s):  
Jitesh H. Panchal ◽  
Christiaan J. J. Paredis ◽  
Janet K. Allen ◽  
Farrokh Mistree
Keyword(s):  
Decision Making ◽  
Simulation Model ◽  
Value Of Information ◽  
Design Space ◽  
Simulation Models ◽  
Model Refinement ◽  
Physical Behavior ◽  
Additional Information ◽  
A Value ◽  
The Difference

Since no simulation model is perfect, any simulation model for modeling a system’s physical behavior can be refined further. Hence, the question faced by a designer is — “How much refinement of a simulation model is adequate for a particular design problem?” To answer this question, we present a value-of-information based approach for determining the appropriate extent of refinement of simulation models. The value of additional information obtained via refinement of simulation models is measured as the difference between the maximum payoff that could possibly be achieved throughout the design space and the minimum possible payoff at the point in the design space selected using the simple model. The approach is presented using two examples — design of a pressure vessel and the design of a material.

scholarly journals THE MOST REALISTIC SURGICAL SIMULATION MODEL TO GAIN SKILLS IN LAPAROSCOPIC SURGERY IS THE CADAVERIC MODEL THIEL, ACCORDING TO OPINIONS OF DIFFERENT SPECIALIST SURGEONS

2021 ◽  
Vol 108 (Supplement_3) ◽  
Author(s):  
A Soler Silva ◽  
A Sanchís López ◽  
L Sánchez Guillén ◽  
D Triguero Cánovas ◽  
F López Rodríguez Arias ◽  
...  
Keyword(s):  
Laparoscopic Surgery ◽  
Simulation Model ◽  
Surgical Simulation ◽  
Simulation Models ◽  
Operation Room ◽  
Young Surgeon ◽  
General Surgeons ◽  
Conventional Models ◽  
Simulation Systems ◽  
Surgical Learning

Abstract INTRODUCTION Laparoscopic procedures are still a challenge for the surgeon residents and young surgeon physicians. Different learning systems have been used without achieving a realism faithful to the lived in the operation room. All existing surgical simulation systems should be compared, with the aim of identifying the most realistic of them, for improving the surgical learning. MATERIAL AND METHODS An 18-item survey was sent to different specialized surgeons (general surgeons, gynecologists and urologists) who participated in international postgraduate laparoscopic surgery courses on cadavers embalmed by Thiel method. Participants were asked to the differences and improving skills in each surgical procedure, about the different surgical simulation models that the participants had already used. Surgeons were asked if they would recommend doing it during residency to improve their confidence in the operating room. RESULTS Attendees (n = 104) had a response rate of 92% (96 replies). The 91.8% surgeons recognized that Thiel model was more realistic than others simulation methods. The 97.9 % of respondents believed that had improved their surgical skills. Globally, 96.9% (93) of the participants surveyed recommended the conducting of these courses with Thiel cadavers to different colleagues of other specialties as a reliable simulation measure during the residency period. CONCLUSIONS Participants in the laparoscopic surgery course on the cadaver Thiel recognized that this is more realistic surgical simulation model than conventional models, one of the best ways to gain confidence and improve laparoscopic skills in operation room for inexperienced surgeons.

scholarly journals Model Driven Integrated Decision-Making in Manufacturing Enterprises

2012 ◽  
Vol 2012 ◽  
pp. 1-29 ◽  
Author(s):  
Richard H. Weston
Keyword(s):  
Decision Making ◽  
Reference Model ◽  
Discrete Event ◽  
Simulation Models ◽  
Levels Of Abstraction ◽  
Model Driven ◽  
Manufacturing Enterprises ◽  
Distributed Decision Making ◽  
Integrated Decision Making ◽  
Model Driven Approach

Decision making requirements and solutions are observed in four world class Manufacturing Enterprises (MEs). Observations made focus on deployed methods of complexity handling that facilitate multi-purpose, distributed decision making. Also observed are examples of partially deficient “integrated decision making” which stem from lack of understanding about how ME structural relations enable and/or constrain reachable ME behaviours. To begin to address this deficiency the paper outlines the use of a “reference model of ME decision making” which can inform the structural design of decision making systems in MEs. Also outlined is a “systematic model driven approach to modelling ME systems” which can particularise the reference model in specific case enterprises and thereby can “underpin integrated ME decision making”. Coherent decomposition and representational mechanisms have been incorporated into the model driven approach to systemise complexity handling. The paper also describes in outline an application of the modelling method in a case study ME and explains how its use has improved the integration of previously distinct planning functions. The modelling approach is particularly innovative in respect to the way it structures the coherent creation and experimental re-use of “fit for purpose” discrete event (predictive) simulation models at the multiple levels of abstraction.

Sign in / Sign up

Export Citation Format

Share Document