SUSPECT（怀疑） swMATH ID: 33156 软件作者： 弗朗西斯科·塞肯；约翰·D·西罗拉（John D.Siirola）。；露丝·米塞纳 说明： 怀疑：用于pyomo的MINLP特殊结构探测器。我们介绍了SUSPECT，这是一个开源工具包，它象征性地分析了使用Python代数建模库Pyomo制定的混合整数非线性优化问题。我们介绍了用于实现SUSPECT的数据结构和算法。SUSPECT工作于优化问题的有向非循环图表示，以执行：边界收紧、边界传播、单调性检测和凸性检测。我们展示了SUSPECT中的树行走规则如何平衡轻量级计算和有效的特殊结构检测的需要。SUSPECT可以用作独立工具或Python库，以集成到其他工具或解算器中。我们通过文献中最近的几个凸性检测技巧来强调SUSPECT的易扩展性。我们还报告了MINLPLib 2数据集的实验结果。 主页： https://cog-imperial.github.io/suspect网址/ 源代码： https://github.com/cog-imperial/suspect网站 依赖项： 皮奥莫 关键词： 混合整数非线性优化;凸性;开源软件 相关软件： 米诺塔;安提戈内;MINL库;皮奥莫;JuMP公司;林多;SCIP公司;FEASPUMP公司;LINDO全球;MINLP公司;邦明牌手表;伊波特;穆里奇;Decogo公司;杜松子;技术史学会;铺路机;OSiL公司;艾根;GAMS游戏 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 怀疑：皮奥莫的MINLP特殊结构探测器。 Zbl 1444.90081号弗朗西斯科·塞肯;约翰·D·西罗拉。;露丝·米塞纳 2020 全部的 前5名6位作者引用 2 简·克伦奎斯特 2 安德烈亚斯·伦德尔 1 弗朗西斯科·塞肯 1 露丝·米塞纳 1 约翰·D·西罗拉。 1 塔皮奥·韦斯特伦德 2篇连载文章中引用 2 全球优化杂志 1 优化信函 在1个字段中引用 三 运筹学、数学规划（90-XX） 按年份列出的引文