摘要：

本文结合作者多年的研究实践，对CAD系统功能设计理论和方法进行研究，并在此基础上提出和建立CAD系统功能设计的数学模型，其中包括：(1)介绍需求分析的形式化描述和表示方法，建立需求空间结构；(2)提出复合功能、设计逻辑、功能与参数依赖及交互效率等新概念，并分别建构复合功能的构造和效率命题；(3)阐述这些理论和方法在自行开发的专业化系统中的应用。

关键词: 功能设计 数学模型 CAD系统设计 形式化方法 复合功能