计算机辅助设计 水工王双向门式启闭机 门架结构 几何约束 参数化建模 布尔运算 消除隐蔽线 参数化绘图