摘要：研究了配置设计中存在的基本映射单元类型，总结出7种基本映射单元类型；对配置设计的产品特征与。配置变量的映射关系进行了归纳与扩展，建立了功能域、行为域和结构域3个映射域，同时也建立了基于3个映射域的功能求解模型。结合电梯定制产品给出了实际应用，提高了产品配置的功能求解效率。

关键词：配置设计 多层次映射 形式化方法 公理化设计 

单位：浙江大学CADS＆CG国家重点实验室; 杭州810027