用逻辑编程自动设计紧凑可制造的电路板布局。
Declarative Synthesis and Multi-Objective Optimization of Stripboard Circuit Layouts Using Answer Set Programming
- 用ASP形式化电路布局的几何与电气约束。
- 两阶段求解生成紧凑且无交叉的可行布局。
- 适合电子原型制作与教学，展现逻辑编程优势。
本文提出一种基于答案集编程（ASP）的自动化条形电路板布局设计方法。该方法将布局问题建模为合成与多目标优化任务，同时生成可行布局并最小化板面积及元件跨接。利用ASP的声明式特性，以自然简洁的方式表达复杂的几何与电气约束。采用两阶段求解策略，先保证可行性再优化布局质量。实验结果表明，该方法能为多种电路复杂度生成紧凑且可制造的布局。本工作显著推进了自动化条形电路板布局技术，为电子原型设计与教育提供实用工具，展示了声明式编程在复杂设计自动化中的强大能力。
原文摘要 · Abstract (English)
This paper presents a novel approach to automated stripboard circuit layout design using Answer Set Programming (ASP). The work formulates the layout problem as both a synthesis and multi-objective optimization task that simultaneously generates viable layouts while minimizing board area and component strip crossing. By leveraging ASP's declarative nature, this work expresses complex geometric and electrical constraints in a natural and concise manner. The two-phase solving methodology first ensures feasibility before optimizing layout quality. Experimental results demonstrate that this approach generates compact, manufacturable layouts for a range of circuit complexities. This work represents a significant advancement in automated stripboard layout, offering a practical tool for electronics prototyping and education while showcasing the power of declarative programming for solving complex design automation problems.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。