面向工程设计领域的基于知识的分析计算程序生成系统

本文介绍了面向工程（产品）设计领域的基于知识的分析计算程序生成系统ＫＥＣＰＧ。提出了公式逻辑相依性概念，并讨论了它的性质以及如何依据这种概念来自动生成公式计算程序设计规格说明。