用形式化方法设计工程智能CAD中的模型-实例库  

作　　者：李曙光[1] 孙林夫[1] 

机构地区：[1]西南交通大学CAD工程中心,四川成都610031

出　　处：《计算机应用》2000年第S1期149-150,共2页journal of Computer Applications

摘　　要：模型 -实例库是基于知识的智能CAD系统的重要组成部分。本文用RAISE规范语言对原型库及实例库的结构及它们之间的关系进行了形式化地描述。通过将形式化规约自动翻译成C ++代码 ,建造了智能CAD系统的一个运行模型。

关 键 词：计算机辅助设计 人工智能 模型库 实例库 RAISE规范语言 

分 类 号：TP391.7[自动化与计算机技术—计算机应用技术]