Automatic Revision of Simulation Models
Automatic Revision of Simulation Models
复制标题
仿真模型自动修正
DOI：
10.1109/5254.671095
复制
发表时间：
1998
影响因子：
6.4
通讯作者：
J. Top
中科院分区：
文献类型：
--
作者：
A. Pos;H. Akkermans;J. Top
我们已经开发了007，智能建模助手，协助人类建模师在三个主要的修订任务：（i）表示的物理模型，（ii）明确的目标和制定明确的要求，（iii）修改的物理模型。007帮助用户制定明确的、可测试的需求，并评估当前的模型。然后，它执行通用维修计划并修改模型，直到满足要求。
We have developed 007, an intelligent modeling assistant that assists a human modeler in three main revision tasks: (i) representation of the physical models, (ii) clarification of goals and formulation of explicit requirements, and (iii) modification of the physical model. 007 helps users to formulate explicit, testable requirements and to assess the current model. It then executes generic repair plans and revises the model until the requirements are met.