Numerical methods for scientists and engineers (2nd ed.)
Numerical methods for scientists and engineers (2nd ed.)
Introduction to Simulation: Programming Techniques and Methods Analysis
Introduction to Simulation: Programming Techniques and Methods Analysis
Introduction to Computer Simulation: The System Dynamics Approach
Introduction to Computer Simulation: The System Dynamics Approach
Model diagnosis using the condition specification: from conceptualization to implementation
WSC '94 Proceedings of the 26th conference on Winter simulation
Redundancy in model representation: a blessing or a curse?
WSC '96 Proceedings of the 28th conference on Winter simulation
Explanation systems for computer simulations
WSC '86 Proceedings of the 18th conference on Winter simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
| Hi-index | 0.02 |
An intelligent system is developed to help the user in building models which can disclose their operation, learn, verify and check their own operations. The knowledge necessary for this is represented using the knowledge representation language SRL and this allows the user to enter the necessary information at different levels of abstraction. In addition to automatic verification, some important debugging aids like selective tracing of any collection of model elements under different conditions are also developed.