iconic model的用法和樣例：
例句
- Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.
象模型檢查程序這種完全自動(dòng)化的定理證明程序是在問(wèn)題的一個(gè)抽象上操作。 - The images will be zoomed in by interpolatory subdivision and no intermediate continuous surface model should be established.
該算法無(wú)須建立中間連續圖像模型，能自適應地插值，而且插值系數可為任意正實(shí)數。
