https://zbmath.org/atom/cc/90C11 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.90005 2024-04-15T15:10:58.286558Z “科赫，托尔斯滕” https://zbmath.org/authors/？q=ai:koch.thorsten “蒂莫·伯特霍尔德” https://zbmath.org/authors/？q=ai:berthold.timo “贾普·佩德森” https://zbmath.org/authors/？q=ai:pedersen.jaap “瓦纳雷特，查理” https://zbmath.org/authors/？q=ai:vanaret.charlie 摘要：本研究通过比较世纪初的解算器软件与当今可用的代码，研究了过去二十年来\textsc{lp}和\textsc{milp}解算器性能的进展。平均而言，我们发现，对于求解\textsc{lp}/\textsc}milp}，计算机硬件的速度提高了约20倍，算法的改进因子为\textsc{lp}的约9倍和\textsc{milp}的约50倍，这分别给出了约180倍和1000倍的总加速。然而，这些数字有很大的差异，它们大大低估了算法方面的进展：现在许多问题实例可以在几秒钟内解决，而旧代码无法在任何合理的时间内解决。 https://zbmath.org/1530.90009 2024-04-15T15:10:58.286558Z “托马斯·克莱因茨” https://zbmath.org/authors/？q=ai:kleinert.thomas网址 “朱利安·曼斯” https://zbmath.org/authors/？q=ai:manns.julian “施密特，马丁” https://zbmath.org/authors/？q=ai:schmidt.martin “温格，迪特” https://zbmath.org/authors/？q=ai:weninger.dieter 摘要：线性双层优化问题被认为是强NP-hard问题，解决这些问题的计算技术通常受到单层混合整数优化技术的启发。因此，在过去的几年和几十年里，已经提出了许多分支定界方法、切割平面或启发式方法。另一方面，尽管预解是最先进的混合整数优化求解器中的一个非常重要的组成部分，但几乎没有关于预解线性双层问题的文献。在本文中，我们将标准的预求解技术从单层优化推广到双层问题，并表明这需要非常谨慎地进行，因为简单地应用众所周知的技术通常不会得到正确的预求解双层模型。我们的数值研究表明，预解对于双层问题也非常有益，但同时也强调，与单层优化相比，这些方法对求解过程的影响更为异质。另一方面，我们的数值实验表明，迫切需要更好、更异构的测试实例库，以进一步推动计算双层优化领域的发展。 https://zbmath.org/1530.90011 2024-04-15T15:10:58.286558Z “钦塔帕利，普拉尚” https://zbmath.org/authors/？q=ai:chintapalli.prashant 摘要：当买方可以选择从产量不确定且可能相关的多个供应商采购时，我们解决了供应商（或供应商）选择和订购决策的组合问题。我们将此问题建模为一个随机的有追索权的计划，其中买方在第一阶段从供应商处采购，如果需要，在第二阶段选择从现货市场或供应过剩的供应商处采购（以有利者为准），以满足目标采购量。我们使用\textit{sample average approximation}（SAA）技术解决了上述问题，该技术使我们能够在实践中轻松解决问题。我们将我们的解决方案的性能与确定性等价问题进行比较，以评估我们方法的有效性。确定性等价问题被广泛实践，我们将其用作基准。接下来，我们扩展了我们的模型，以纳入买方对采购数量的风险规避。我们将多源问题转化为一个混合整数线性规划（MILP），并采用统计方法来考虑买方的风险规避。因此，我们设计了一种简单的计算技术，当每个供应商的产量在一般概率分布下不确定时，从一组供应商那里提供最优的采购策略。 https://zbmath.org/1530.90019 2024-04-15T15:10:58.286558Z “Farzadnia，Farnaz” https://zbmath.org/authors/？q=ai:farzadnia.farnaz “贝尔塔什，托尔加” https://zbmath.org/authors/？q=ai:bektas.tolga “延斯·里斯加德” https://zbmath.org/authors/？q=ai:lysgaard.jens 摘要：本文介绍了\textit{累积校车路线问题}，该问题涉及使用相同公交车车队从学校运送学生。该问题的目标是为每个学生在一定步行距离内的潜在位置选择一个下车点，并生成路线，以使所有学生从学校到家的总到达时间最小化。本文描述了六种基于原始图和辅助图的多项式混合整数线性规划公式，并通过实例对这些公式进行了数值比较。本文报告了为评估所提出模型的性能而进行的计算实验的结果。｛\ copyright｝2023作者。\威利期刊有限责任公司出版的textit{Networks}。 https://zbmath.org/1530.90022 2024-04-15T15:10:58.286558Z “科茨肖，里科” https://zbmath.org/authors/？q=ai:kotschau.rico “忍者苏菲克” https://zbmath.org/authors/？q=ai:soeffeker.ninja “嗯，简·费边” https://zbmath.org/authors/？q=ai:ehmke.jan-费边 摘要：电子商务交付的持续增长导致最后一刻交付量显著增加。正在研究新技术，以便以客户友好的方式高效地提供这些交付。一种常见的做法是使用固定包裹储物柜（FPL）进行独立于客户的送货，就像有人陪伴的送货上门（AHD）一样。FPL通常安装在城市的关键位置，客户可以在包裹送达该特定位置后随时领取包裹。移动包裹储物柜（MPL）代表了一种新理念：可以将其停放在不同的位置，以便临时收集物品，从而缩短与客户的接送距离，并避免高昂的基础设施成本。然而，客户需要在限定的时间内收集包裹。这项服务应该通过能够以低成本移动MPL的自主运营车辆变得特别高效。在本文中，我们引入了异构储物柜位置问题，以研究车队在一个框架内结合两种服务（FPL、MPL、AHD）的效果，我们认为，客户可能对其最大取货距离以及接受交货的时间灵活性有不同的期望。固定车队用于最大限度地增加服务的客户数量，同时尊重个人客户在接送距离和时间窗口方面的偏好。我们根据管理层对服务质量和效率的见解来评估不同的交付服务。在实验中，我们分析了结构需求差异和不同车队规模的影响，以及运营车队利用率和个人客户体验。结果表明，在考虑个人客户偏好的情况下，通过使用MPL，客户数量可能会增加14%-19%。{\copyright}2023作者。\威利期刊有限责任公司出版的textit{Networks}。 https://zbmath.org/1530.90025 2024-04-15T15:10:58.286558Z “Seimetz Chagas，Rennan Danilo” https://zbmath.org/authors/？q=ai:seimetz-查加斯·伦南·达尼洛 “苏亚雷斯，朱莉安娜·比阿特丽斯·卡瓦略·德·奥利维拉” https://zbmath.org/authors/？q=ai:soarees.juliana-比阿特丽斯·卡瓦尔霍·德奥利维拉 “朗喜，拉斐尔·佩德罗” https://zbmath.org/authors/？q=ai:longhi.rafael-佩德罗 “维埃拉，布鲁诺·费雷拉” https://zbmath.org/authors/？q=ai:vieira.bruno-费雷拉 “de Arruda，Edilson Fernandes” https://zbmath.org/authors/？q=ai:de-arruda.edilson-fernandes公司 “Leite，Laura Silvia Bahiense da Silva” https://zbmath.org/authors/？q=ai:leite.laura-巴西森林 “费雷拉·菲略，维吉利奥·何塞·马丁斯” https://zbmath.org/authors/？q=ai:ferreira-维吉利奥·约瑟夫·马丁斯 摘要：在本研究中，我们处理了一个关于石油和天然气上游物流的现实问题，包括通过平台供应船（PSV）将货物从港口运输到海上单位。我们提出了一种在三阶段框架中定义这些船舶和港口调度的综合方法。在第一阶段，我们使用聚类启发式分解问题，然后解决每个集群的定期供应船舶路由问题。第二阶段采用混合整数规划模型进行港口调度和泊位分配。最后，在第三阶段，给定港口出发时间，对路线进行重新排序，以遵守设施的开放时间限制，目的是减少等待时间并平衡连续服务之间的间隔。考虑到巴西里约热内卢的一个工业伙伴的实际情况，对该框架进行了验证和评估。实验结果表明，就经济成本而言，该框架可以持续且显著地优于该公司采用的解决方案。 https://zbmath.org/1530.90039 2024-04-15T15:10:58.286558Z “G.de Alba，赫克托” https://zbmath.org/authors/？q=ai:g-de-alba.hector公司 “Nucamendi-Guillén，Samuel” https://zbmath.org/authors/？q=ai:nucamendi-吉伦·萨缪尔 “阿瓦洛斯·罗尔斯，奥利弗” https://zbmath.org/authors/？q=ai:avolos-罗萨莱斯·奥利弗 摘要：本文研究了以总拖期最小化为目标的无关并行机调度问题。针对这一问题，提出了一种考虑赋值变量和位置变量的混合整数线性规划（MILP）公式。此外，针对大型实例，提出了一种迭代局部搜索（ILS）算法，该算法能够在合理的时间内生成高质量的解。ILS鲁棒性是通过将其性能与MILP提供的结果进行比较来确定的。本文中使用的实例是在一种新的方法下构造的，这导致与此问题的上一代生成方法相比，到期日更紧。提出的MILP公式能够解决多达150个作业和20台机器的实例。关于ILS，它在合理的时间内产生了高质量的解决方案，解决了多达400个作业和20台机器的实例。实验结果证实了这两种方法的有效性和前景。 https://zbmath.org/1530.90044 2024-04-15T15:10:58.286558Z “邹文强” https://zbmath.org/authors/？q=ai:zou.wenqiang “邹家珍” https://zbmath.org/authors/？q=ai:zou.jiazhen “桑，红颜” https://zbmath.org/authors/？q=ai:sang.hongyan “孟磊” https://zbmath.org/authors/？q=ai:meng.leilei “潘，全科” https://zbmath.org/authors/？q=ai:pan.quanke 摘要：随着自动导引车（AGV）的日益普及，多AGV调度问题成为近年来的研究热点。然而，对于多AGV调度的卸载安全检测却很少受到关注。研究了矩阵制造车间中带卸载安全检测的多AGV调度问题。目标是最小化由出行成本、罚款成本和AGV使用成本组成的总成本。为了解决（mathrm{MAGVS{USD}}）问题，提出了一种混合整数线性规划模型和基于种群的迭代贪婪（PIG）算法。在PIG中，提出了基于邻域算子的超神经网络和基于种群的初始化方法，以获得多个高质量的初始解。两阶段销毁策略旨在避免陷入局部最优解，并增强其探索更大解空间的能力。提出了双选择重建策略，通过切换搜索环境来获得更好的邻域解。提出了基于获胜邻居算子的局部搜索，以动态适应车间中的每种分布情况。大量实验结果表明，在解决所考虑的问题方面，该算法优于现有算法。 https://zbmath.org/1530.90058 2024-04-15T15:10:58.286558Z “杨，郑熙” https://zbmath.org/authors/？q=ai:yang.zhengxi “江，志鹏” https://zbmath.org/authors/？q=ai:jiang.zhipeng “杨文国” https://zbmath.org/authors/？q=ai:yang.wengou “高、穗香” https://zbmath.org/authors/？q=ai:gao.suixiang 摘要：图划分是一个经典的NP问题。绘制分区的目的是使图形中的切割边尽可能少。同时，应满足碎片的容量限制。本文提出了一种图划分模型。然后通过引入变量将模型转化为混合0-1线性规划。为了求解该模型，我们选择了一些变量来设计顶点重定位模型。本文根据顶点重定位对局部边数的影响，设计了一种变量选择策略。为了在大规模图上实现图划分，我们设计了一种迭代算法，通过在每次迭代中选择一些变量来求解模型。该算法根据模型的解重新定位顶点的碎片。在实验中，在五个社交网络数据集上对本文方法进行了仿真，并与BLP及其相关方法在不同碎片大小下进行了比较。仿真结果表明，本文的方法是有效的。此外，我们比较了不同参数值和变量选择策略对分割效果的影响。 https://zbmath.org/1530.90059 2024-04-15T15:10:58.286558Z “Hoch，Benno” https://zbmath.org/authors/？q=ai:hoch.benno “骗子，弗劳克” https://zbmath.org/authors/？q=ai:liers.frauke 摘要：同时规划多种商品是一项具有挑战性的任务，它出现在潜水应用中，包括机器人运动或各种形式的交通管理。必须经常考虑商品之间的分离约束，以确保安全轨迹，即随时间推移的路径。为了确保至少一个可能的分离条件（通常是多个分离条件中的一个）而进行的离散决策使得规划最佳可能的连续轨迹变得更加复杂。因此，产生的不相交轨迹优化问题大多是按顺序或在有限的规划空间内求解的，这可能会导致稀疏资源和系统容量的使用损失。为了解决这些缺点，我们开发了一个基于图形的模型，用于具有一般分离要求的不相交轨迹优化。我们提出了一种新的技术来推导整个可用运动空间的离散化。这可以描述任意的、潜在的非凸的、受限的区域。这就需要求解一个整数线性优化程序，该程序的大小随离散点的数量而变化。因此，即使对于中等大小的实例，空间和时间的充分详细表示也会导致模型对于最先进的硬件和软件来说过于庞大。为了克服这个问题，我们开发了一种自适应重定义算法：该算法从粗离散化中整数程序的最优解开始，在当前解的自适应细化离散邻域中重新优化轨迹。这进一步集成到滚动地平线方法中。我们将该方法应用于机场周边的综合轨迹优化和跑道调度。实际算例的计算实验证明了该方法的有效性。 https://zbmath.org/1530.90063 2024-04-15T15:10:58.286558Z “库苏·基亚武兹，西姆热” https://zbmath.org/authors/？q=ai:kucukyavuz.simge “姜瑞伟” https://zbmath.org/authors/？q=ai:jiang.ruiwei 摘要：机会约束规划（CCP）是自20世纪50年代以来引起研究人员关注的最困难的优化问题之一。在本调查中，我们关注的是只有有限的分布信息可用的情况，例如分布样本或分布时刻。我们首先回顾了由有限离散分布（或样本平均近似）产生的机会约束程序的混合积分线性公式的最新发展。我们重点介绍了能够解决大规模实例的成功的重新制定和分解技术。然后，我们回顾了分布稳健CCP的积极研究，这是一个解决随机数据分布模糊性的框架。我们审查的重点是可扩展配方，这些配方可以用最先进的优化软件轻松实现。此外，我们通过审查跨多个领域的应用来强调CCP的普遍性。 https://zbmath.org/1530.90070 2024-04-15T15:10:58.286558Z “彭博” https://zbmath.org/authors/？q=ai:peng.bo 摘要：最近和同时，提出了两种基于MILP的共阳性检测方法。本说明尝试使用一组包含大量设计实例的测试集进行性能比较。根据数值结果，我们发现当矩阵的定义函数（h）的函数值较大时，一种共正性检测方法性能更好，而当问题的维数适度增加时，另一种方法性能更好。本文还提出了两种方法都难以解决的问题集，可以作为未来竞争方法的测试平台。为了更有效地处理这些硬实例，还提出了其中一种方法的改进变体。 https://zbmath.org/1530.90077 2024-04-15T15:10:58.286558Z “奥拉玛，阿里雷扎” https://zbmath.org/authors/？q=ai:olama.alireza 爱德华多·坎波诺加拉 https://zbmath.org/authors/？q=ai:camponogara.eduardo “门德斯，保罗·R·C” https://zbmath.org/authors/？q=ai:mendes.paulo-r-c公司 摘要：本文提出了一种分布式原始外近似（DiPOA）算法，用于以分散的方式高效地求解具有可分离结构的稀疏凸规划（SCP）问题。DiPOA算法的开发包括将最近提出的松弛混合交替方向乘法器（RH-ADMM）算法嵌入到外近似（OA）算法中。我们还提出了两项主要改进，以控制逼近非线性函数的切割平面的质量和数量。尤其是，RH-ADMM算法在DiPOA算法中充当分布式数值引擎。DiPOA利用现代处理器的多核架构来加速优化算法。所提出的分布式算法从应用方面实现了SCP在学习和控制问题中的求解。本文最后对分布式稀疏logistic回归和二次约束优化问题的DiPOA进行了性能分析。最后，本文与最新的优化求解器进行了数值比较。 https://zbmath.org/1530.90099 2024-04-15T15:10:58.286558Z “Jannik Burre” https://zbmath.org/authors/？q=ai:burre.jannik “多米尼克·邦加兹” https://zbmath.org/authors/？q=ai:bongartz.donik 亚历山大·米索斯 https://zbmath.org/authors/？q=ai:mitsos.alexander 概述：上部结构优化是一项功能强大但需要计算的任务，可用于在单个优化中从多个备选方案中选择最佳结构。在化学工程中，这类问题自然会出现在工艺设计中，需要同时考虑不同的工艺替代方案，以最小化特定的目标函数（例如，生产成本或全球变暖影响）。传统上，上层建筑优化问题要么用Big-M方法，要么用凸壳重计算方法。然而，对于包含非凸函数的问题，尚不清楚这些函数是否产生了计算效率最高的公式。因此，我们通过三个案例研究将传统问题公式与不太常见的问题公式进行了比较（使用平衡约束、阶跃函数或二进制和连续变量的乘法来建模析取）。首先，使用一个最小上层结构优化问题来推导关于其计算性能的猜测。然后通过两个更复杂的文献基准进一步研究这些推测。我们的分析表明，不太常见的方法往往导致较小的问题规模，同时保持相对紧密的放松——尽管引入了额外的非烦恼。对于所考虑的案例研究，我们证明，所有重新计算方法都可以通过缩减空间公式消除优化变量而进一步受益。因此，对于包含非凸函数的上层建筑优化问题，我们鼓励也考虑引入额外非凸但减少优化变量数量的问题公式。 https://zbmath.org/1530.90112 2024-04-15T15:10:58.286558Z “Theurich，Franziska” https://zbmath.org/authors/？q=ai:theurich.franziska 安德烈亚斯·菲舍尔 https://zbmath.org/authors/？q=ai:fischer.andreas.5 “Scheithauer，Guntrame” https://zbmath.org/authors/？q=ai:scheithauer.guntram 小结：铁路养护管理的一个重要方面是夯实行动的安排，其中需要考虑两个方面：第一，减少人员和机械的旅行费用；第二，轨道条件差导致的时间相关成本降低。我们将相应的规划问题建模为带有额外客户成本的车辆路径问题。由于目标函数的特殊性，这类车辆路径问题很难用传统方法求解。因此，我们开发了一种基于分区和置换模型的分枝定界方法。我们提出了两种分支策略，第一种策略在每个分支步骤中的路由末尾附加一个作业，第二种策略在每一分支步骤中包含路由内的一个作业；并分析其利弊。此外，定义并比较了客户成本和差旅成本的不同下限。对分枝定界法的性能进行了分析，并与商业求解器进行了比较。 https://zbmath.org/1530.91238 2024-04-15T15:10:58.286558Z “阿克巴里-莫哈达姆，马里亚姆” https://zbmath.org/authors/？q=ai:akbari-莫哈达姆.马里亚姆 “李娜” https://zbmath.org/authors/？q=ai:li.na.9（中文）|li.na.3|li.na|li.na.2|li.na.4 “Down，Douglas G。” https://zbmath.org/authors/？q=ai:down.douglas-克 “唐纳德·阿诺德” https://zbmath.org/authors/？q=ai:arnold.donald-米 “Callum，Jeannie” https://zbmath.org/authors/？q=ai:callum.jeannie “贝金，菲利普” https://zbmath.org/authors/？q=ai:begin.philippe “南希·M·海德尔” https://zbmath.org/authors/？q=ai:heddle.nancy-米 概要：流行病是严重的公共卫生威胁，减轻其影响的资源通常有限。决策者在预测这些资源的供应和需求方面面临着挑战，因为通常无法获得有关该疾病的事先信息，该疾病的行为可能会定期发生变化（自然变化或公共卫生政策的结果），并且可能因地理区域而异。在这项工作中，我们讨论了一个适用于新爆发疫情期间短期实时供需预测的模型。我们在一项涉及加拿大多个医院中心（魁北克省除外）的国际多地点随机对照试验（RCT）中考虑了一项需求预测和分配稀少数量的新型冠状病毒（COVID-19）恢复期血浆（CCP）的案例研究。我们提出了一个数据驱动的混合整数规划（MIP）资源分配模型，该模型分配可用资源，以最大限度地提高资源需求实体之间的公平性。将我们的MIP模型应用于案例研究的数值结果表明，我们的方法可以帮助平衡CCP等有限产品的供需，并将需求实体的未满足需求比率降至最低。我们分析了模型对不同分配设置的敏感性，并表明我们的模型在实体之间分配公平的分配。 https://zbmath.org/1530.91298 2024-04-15T15:10:58.286558赫兹 “托马斯·德穆恩克” https://zbmath.org/authors/？q=ai:demynck.thomas “约翰·雷贝克” https://zbmath.org/authors/？q=ai:rehbeck.john 摘要：本文发展了混合整数线性规划（MILP）公式，用于计算各种显示的偏好优良度度量。当存在线性预算时，我们提供了MILP公式来计算Houtman-Maks指数、平均Varian指数和最小成本指数。接下来，我们提供MILP来计算支出、价格和数量中的最小“测量误差”。最后，我们将结果扩展到非线性预算。作为概念证明，我们计算了文献中实验选择数据集的各种有效性度量。对于在这些数据集上检查的所有度量，最大计算时间小于3 s。 https://zbmath.org/1530.92063 2024-04-15T15:10:58.286558Z “Rasti，Saeid” https://zbmath.org/authors/？q=ai:rasti.saeid “伏吉亚茨，克莱萨菲斯” https://zbmath.org/authors/？q=ai:vogiatzis.chrysafis网址 摘要：在这项工作中，我们引入了基于群结构的中心性度量，并展示了它们在评估蛋白质相互作用网络（PPIN）重要性方面的性能。引入的中心性度量是已知节点度量的扩展。然而，我们关注的不是单个节点，而是该节点及其周围的节点集。此外，我们需要节点集来诱导特定的模式或结构。所调查的结构范围从“更严格”的恒星和集团，到代表性结构的“更宽松”定义。我们推导了所有度量的计算复杂性，并提供了混合整数规划公式；由于问题的复杂性和PPIN的规模，使用商业解决方案并不总是可行的。因此，我们提出了一种组合分枝定界解方法。最后，我们展示了所提出的指标在识别幽门螺杆菌中的基本蛋白方面的有效性，并将其与节点指标进行了比较。{{\版权}2021威利期刊有限责任公司} https://zbmath.org/1530.93152 2024-04-15T15:10:58.286558Z “Ignatov，A.N.” https://zbmath.org/authors/？q=ai:ignatov.aleksei-尼古拉埃维奇 摘要：研究了无向多图表示的运输网络中的货物运输调度问题。顶点之间的传输以预定义的时间间隔提供。在所考虑的问题中，提出了通过准则值搜索近似最优解的迭代算法。该算法是基于混合整数线性规划问题的解构造的。通过9000多万个二进制变量的实例验证了该算法的适用性。 https://zbmath.org/1530.93181 2024-04-15T15:10:58.286558Z “法尔沙德·梅里赫·巴亚特” https://zbmath.org/authors/？q=ai:merrikhbayat.farshad|默里赫·巴亚特·法沙德 “帕文·米罗塞尼” https://zbmath.org/authors/？q=ai:mirhoseini.parvin 摘要：本文研究了控制输入仿射的多输入多输出（MIMO）混合非线性动态系统的控制问题。假设系统的每个控制输入可以是连续的，也可以是离散的，并且有界约束。还假设控制器是离散时间的，并以恒定频率更新控制器。基于这些假设，给出并证明了系统状态向量样本序列向期望点一致收敛的充分必要条件。根据这个定理，提出了一种用于计算控制的（混合整数）线性规划。利用该方法求解了两个著名的多输入非线性混合控制问题，并给出了结果。