.png){kind=icon}
.png){kind=icon}
Return
REASONING ABOUT MODEL ACCURACY
.png){kind=icon}
PRE
AI
DOI：10.1016/0004-3702(92)90029-W.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains a difficult job with only a small number of computer tools for support. Our goal is to mechanize this process by building an automated model management system that evaluates simplifying assumptions and selects appropriate perspectives. In this paper we present our initial results: a framework for dynamically changing model accuracy based on model sensitivity analysis. We show how to perform model sensitivity analysis efficiently when one model is a fitting approximation of the other. Finally, we discuss two implementations of our technique in programs that perform query-directed simplification by adding bounding abstractions, and discrepancy-driven refinement. Our programs use a mixture of qualitative and quantitative techniques with both symbolic and numeric computations.
Keywords:
CIRCUITS
ABSTRACTION
SIMULATION
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
13.9
Papers:
6.1K
Citations:
1.9W
Organization
No organization information available