用于片上无故障且最大并行波长路由光网络的逻辑编程方法（应用论文）
人工智能
2017-07-20 v1
摘要
数字系统集成中的一个有前景的趋势是通过硅光子学提升片上通信性能，从而实现所谓的片上光网络（ONoCs）。其中，波长路由可用于通过将路由路径与光载波的波长唯一关联，将信号路由至目的地。此类波长的选择应使光信道间的干扰最小化，并避免路由故障。因此，此类网络的物理参数选择需要求解复杂的约束优化问题。在之前发表于国际计算机辅助设计会议论文集的工作中，我们提出并求解了在计算任意两个端点间通信可获得的最大并行性的同时避免光信号误路由的问题。该论文中仅简要提及的底层技术是答案集编程（ASP）。在本工作中，我们详述了用于解决该问题的ASP方法。另一个重要的设计问题是选择光载波的波长，使其分布在可用光谱上，以降低由于制造工艺缺陷而导致非预期路由故障的可能性。我们展示了如何在有限域约束逻辑编程（CLP(FD)）中处理该问题。本文正在考虑可能的发表在《Theory and Practice of Logic Programming》上。
引用
@article{arxiv.1707.05858,
title = {Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)},
author = {Marco Gavanelli and Maddalena Nonato and Andrea Peano and Davide Bertozzi},
journal= {arXiv preprint arXiv:1707.05858},
year = {2017}
}
备注
Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. 16 pages, LaTeX, 5 figures