基于谓词逻辑的飞机线束工装图版设计

针对飞机线束工装图版设计效率低、出错率高的问题，研究了各设计阶段的核心内容和谓词逻辑，提出了具备无向图和多叉树双重特征的干枝树(TBT)模型，取代了传统的无向无环图建模方法。基于模拟布线的统计结果，利用大体积优先(LVF)策略实现了1阶主干的辅助决策。基于谓词逻辑，设计了高阶主干推理、基本构型推理和最优空间推理方法，实现了高阶主干的自动决策、线束构型的自动设计和布局空间的自动优化。搭建了线束智能工艺辅助设计系统，并开展了12组实物实验，对于边数大于200的超大型图纸，能够在30 s内完成自动设计过程，设计总时长不超过30 min，未出现1阶主干选择不合理和边长度错误的问题。实验结果表明，所提方法大幅度提高了设计效率和可靠性。