https://zbmath.org/atom/cc/15B48 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.90070 2024-04-15T15:10:58.286558Z “彭博” https://zbmath.org/authors/？q=ai:peng.bo 摘要：最近和同时，提出了两种基于MILP的共阳性检测方法。本说明尝试使用一组包含大量设计实例的测试集进行性能比较。根据数值结果，我们发现当矩阵的定义函数（h）的函数值较大时，一种共正性检测方法性能更好，而当问题的维数适度增加时，另一种方法性能更好。本文还提出了两种方法都难以解决的问题集，可以作为未来竞争方法的测试平台。为了更有效地处理这些硬实例，还提出了其中一种方法的改进变体。