参数化的设计方法有多种，利用专家系统对图中的几何关系和约束进行形式化定义，运用几何原理推导出新的约束属于哪种设计方法（ ）。