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

作     者：乔晓利 李林 刘贡平 高洁 程佳敏 田春林 QIAO Xiaoli;LI Lin;LIU Gongping;GAO Jie;CHENG Jiamin;TIAN Chunlin

作者机构：长春理工大学机电工程学院长春130022 长春理工大学重庆研究院重庆401135 中航西安飞机工业集团股份有限公司西安710089 

基　　金：国家重点研发计划(2019YFB1707505) 吉林省科技发展计划(20190802006ZG,20200401128GX) 

出 版 物：《北京航空航天大学学报》 (Journal of Beijing University of Aeronautics and Astronautics)

年 卷 期：2021年第47卷第9期

页      码：1756-1764页

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

主 题 词：飞机线束 工装图版设计 干枝树(TBT) 谓词逻辑 大体积优先(LVF)策略 

学科分类：081203[081203] 08[工学] 0903[农学-动物生产类] 0901[农学-植物生产类] 0835[0835] 0701[理学-数学类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13700/j.bh.1001-5965.2020.0343

馆 藏 号：203104996...