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

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

单位：北京航空航天大学机械学院; 北京; 100083; 成都飞机工业集团有限责任公司; 四川; 成都; 610092