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