摘要：对产品信息建模和推理技术的形式化方法进行了研究。将机械产品中存在的约束关系分为3类4种，在功能方法树中以边的形式进行了表示，建立了包含约束信息的功能方法树模型，在此基础上，利用多色集合理论的元素、统一颜色、个人颜色等概念以及多色图，建立了产品概念设计形式化结构模型；从功能分解和约束条件两方面进行了数学形式的描述、推理，给出了实现产品概念设计形式化推理的计算机算法流程；以隔振系统的概念设计为例，应用和验证了以上理论和方法。研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。

关键词：多色集合理论 概念设计 建模与推理 形式化方法 

单位：西安交通大学机械制造系统工程国家重点实验室; 西安710049