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

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