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

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

Predicate logic based tooling drawing design of aircraft harness

Aimed at the problems of low efficiency and high error rate of aircraft harness tooling drawing design, the core content and predicate logic of each design phase were studied. The Trunk-Branch Tree (TBT) model, which has the characteristics of undirected graph and multi-way tree, was proposed to replace the traditional undirected acyclic graph modeling method. Based on the simulative wiring statistical results, the Large Volume First (LVF) policy was used to realize the auxiliary decision making of the 1-order trunk. The higher-order trunk reasoning, the basic structure reasoning and the best space reasoning based on predicate logic were used to realize the automatic higher-order trunks' decision making, the automatic harness structure design and the automatic space optimization. The harness intelligent process aided design system was developed and used successfully in 12 actual experiments. The tooling drawings can always be designed automatically in 30 seconds, and total design time is no more than 30 minutes for the super-large design drawings with more than 200 edges, excluding the problems of the incorrect 1-order trunk selection and the incorrect edge length. The experimental results show that the design efficiency and reliability are improved significantly by the proposed method.