【作者】 蒋庆； 孙林夫；
【机构】 西南交通大学CAD工程中心!四川成都610031；
【摘要】 利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更好的理解系统结构 ,及早排除系统缺陷 ,维护知识项之间的一致性。更多还原
