几何推理方法相关论文
该文提出一种增强谓词逻辑法，用于简化变量几何设计几何推理方法中的约束描述，提高描述信息的抽象层次，且使模型定义语言更加直观，使尺......
分析基于约束参数化设计的研究现状,介绍在线参数化和离线参数化两种设计方法,比较各种参数化方法的优缺点,指出目前参数化设计中......
