假设某产品有n个零件组成时，其中上式P为节点集，P={p1，p2，…，pn}，C为边集，C={c1，c2，…，cn}，ck∈{AF1ij，AF2ij，…，AFmijij}，i，j∈{p1，p2，…，pn}，其中k∈{1，2，…，}，mij为在零件          Pi和零件Pj之间的装配特征矩阵数目，每一个装配特征对应一个装配约束，n为在CCG中的装配特征的总数。
   根据“可拆即可装”的原则，通过记录零件被拆卸的顺序来描述装配体的拆卸序列，继而确定该装配体的装配工艺顺序，通过装配空间中各零部件的位姿描述矩阵和装配空间中各零部件的位姿变换矩阵来表达、记录及规划装配过程工艺顺序。
3 三维装配工艺路径规划的决策
   在装配工艺规划中，装配顺序规划确定了零部件的装配顺序，但具体的装配路径需要装配路径规划分析与求解。装配路径规划的基本依据是，零件的运动包络体在不和周围物体发生干涉的情况下，装配路径尽量最短。装配路径规划在实现方式上主要是通过装配元件配合面的装配关系以及装配顺序自动计算路径规划，即“可拆即可装”的原则，以及空间方位求解的可视图法，将装配体拆卸路径的逆序作为装配路径，通过记录装配体拆卸过程中各零部件的空间位姿、记录它们在空间中运动的轨迹点来描述整个过程的拆卸路径，继而确定该装配体的整个装配路径。
4 三维装配过程的干涉检查
   在虚拟可视化装配过程中，干涉检查按检查层次上的不同，可分为静态干涉检查、动态干涉检查和机构运动干涉检查三个应用层次，体现了产品装配性能的逐步提高。静态干涉检查的目标是装配体自身的干涉检查和公差分析；动态干涉检查是发现和排除装配过程中的干涉，在产品装配过程中根据零部件的装配路径、装配关系和约束条件进行装配姿态调整、修改，保证零部件能按照一定的顺序和路径装配成具体的产品：机构运动干涉是分析机构运动性能，仿真机构运动，保证产品的运动构件工作时不与周围零部件发生碰撞干涉。根据SolidWorks提供的AssemlyDoc.ToolsChecklnterference2，通过干涉检查算法和干涉检查矩阵来判断装配过程中两个SLDWorks.Solid实体之间是否存在相互干涉的部分，从而提前对可能出现的问题做出准确的预测和改进。
5 三维装配过程的几何推理