定制化求解机组组合混合整数线性规划模型的固定——推断法

为了突破机组组合算法的自主可控问题,基于开源混合整数线性规划求解器CBC,提出一种快速获取机组组合问题可行解的固定—推断法。首先将机组组合模型转换为推断标准模型,然后按重要性对所有整数变量进行排序。并利用约束违反函数依次确定整数变量的值,实现整数变量的固定,利用约束关系推断出与其相关的整数变量值。最后经过多轮的固定—推断可以实现所有整数变量的取值,从而求解一个线性规划问题即可得到各机组的出力。仿真结果表明,所述算法能有效求解大规模机组组合问题,可在更短时间内获取质量较好的可行解。与CBC求解器结合,能显著提升CBC求解器对于机组组合问题的求解效率。此外,所述算法还具备在其他求解器上进行定制的潜力。

基于混合整数线性规划模型的SPONGENTS盒紧凑约束分析

应用基于混合整数线性规划(MILP)模型的S盒紧凑约束计算方法,可以较好地解决SPONGENT在差分密码分析过程中差分路径搜索效率低下的问题;为寻找S盒的最优描述,提出一种紧凑性验证算法从约束条件存在必要性的角度验证S盒的不等式约束的紧凑性问题。首先,引入MILP模型分析SPONGENT S盒的不等式约束,得到了由23个不等式组成的约束;然后,提出一种用于评价约束不等式存在必要性的指标,并基于该指标提出了一种验证约束不等式组紧凑程度的紧凑性验证算法;最后,使用所提算法验证所求得的SPONGENT S盒约束的紧凑性。计算分析表明,23个不等式都具有唯一可以排除的不可能差分模式,即每个不等式都有存在的必要性;同时,对于同一案例,与利用贪心算法原理筛选的不等式相比,数量减少了20%。因此,所得到的SPONGENT的S盒不等式约束是紧凑的,且所提紧凑性验证算法的效果要优于对比的贪心算法。

技术站配流与调机运用综合问题的混合整数线性规划模型

为进一步提高铁路技术站作业计划编制效果,针对采用一台调车机车解体和一台调车机车编组的技术站配流与调机运用的综合问题,作者确定了出发列车的编组内容和解体(编组)调车机车的解体(编组)任务,使得出发列车满足列车编组要求,且车辆在站总停留时间最小。基于单机器调度理论和资源分配理论,在将原问题分解为解体子问题、配流子问题和编组子问题的基础上,首次建立原问题的混合整数线性规划模型。最后,采用既有文献中普遍采用的算例对该模型进行计算分析,并与其他研究方法进行比较。计算结果验证了该模型在问题描述上的正确性以及在消耗更多计算时间前提下计算质量上的优越性。

一种含四类0-1变量的机组组合混合整数线性规划模型

提出一种含四类0-1变量更为简洁一紧凑的机组组合混合整数线性规划（mixed—integerlinearprogramming，MILP）模型，有效提高了求解效率。通过引入辅助变量表示冷启动状态，提出一种启动费用的线性表达，同时增强了MILP模型的简洁性和紧凑性；利用爬坡速度和最小运行时间限制，提出新的机组出力约束表达，极大地压缩了机组出力的可行域，进一步增强了紧凑性。更简洁的模型，提高了线性规划松弛的求解效率；更紧凑的模型，缩小了最优解的寻优空间，使线性规划松弛解更接近MILP最优解。对10～1000机24时段系统计算的结果表明，所提模型在获得高质量解的同时，可提高求解效率数十倍，尤其适合于大规模系统。

考虑电量可实现性和启停功率轨迹的火电机组组合混合整数线性规划模型

为解决传统模型过于简化以致调度计划存在电量不可交付、产生系统频率偏差的问题,提出一种考虑电量可实现性和启停功率轨迹的火电机组组合混合整数线性规划（mixed-integer linear programming,MILP）模型,该模型引入一类0-1变量表示燃煤机组的运行状态,便于在其加热、升负荷、调度和降负荷4个阶段的逻辑判断和发电量计算;根据燃气燃油机组启停迅速的特点,对其运行状态重新建模;并支持冷、温、热等多种启动类型和1 h、15 min等多种调度时段长度。10～1 000机24时段系统的计算结果表明：所提模型更符合实际运行情况,可很好地解决电量不可交付问题,且具有较高的求解效率。

配电系统开关优化配置的混合整数线性规划模型

配电系统中的开关设备可以有效提高系统的运行可靠性,而开关的种类以及安装的位置对配电系统运行可靠性的影响有所不同。在此背景下,研究了计及可靠性的配电系统中开关优化配置策略。首先介绍了在不同预想故障条件下用户停电时间的计算方法。之后构建了以开关投资费用、运行维修费用和用户停电损失费用之和最小,以可靠性指标在给定阈值内为约束条件的开关优化配置模型。通过对用户停电损失函数线性化处理,将所提出的模型转换为混合整数线性模型,并通过高效商业求解器进行求解。最后,对IEEE RBTS-Bus 4系统和某实际中压配电系统进行测试分析,算例结果说明了所提出的模型与求解方法的基本特征。

基于混合整数线性规划模型的水电站日优化调度研究

利用分段线性模型描述水电机组出力特性曲线,通过设置最短运转时间与最短停机时间等机组启闭约束构建了水电站日优化调度的混合整数线性规划模型,采用GAMS编程调用CPLEX模块求解,并以隔河岩水电站为例对模型进行了验证。实例结果表明,该模型可在考虑水头变化影响、满足开停机约束等条件下,显著提高水电站的水能资源利用率。

油品应急调度的混合整数线性规划模型

针对油品应急调度突发性、弱经济性、强时间性、广地域性等特点,提出以油品短缺对社会造成的影响最小和运输总费用最低为优化目标,以物质守恒、生产能力、运输时间限制等为约束的油品应急调度的混合整数线性规划(MILP)模型。该模型求解简便快捷,能够协助决策人员根据调度优化结果迅速制定出最优方案,以满足应急调度的需要。

基于混合整数线性规划的新能源电解水制氢项目容量配置优化建模

为指导电解水制氢设备在新能源发电项目中的容量配置,根据电解水制氢流程特点,考虑氢气用量的连续性和稳定性,建立基于混合整数规划的电解水制氢设备优化计算模型,并以全寿命周期成本最小为目标,对含风、光以及制氢负荷的新能源电解水制氢项目进行优化计算,求取制氢设备配置规模。通过在某项目仿真应用,证明所建模型的有效性和实用性。

基于混合整数线性规划的分组密码安全性分析

分组密码算法分析中需评估其抵抗差分和线性攻击的能力,而这一能力往往是通过算法的最小差分/线性活跃S盒个数体现的。论文给出基于混合整数线性规划的方法自动分析活跃S盒的原理及一般过程,并应用在I型广义Feistel结构的最小活跃S盒分析中,详细介绍了具体算法分析及应用的过程,该方法通用强、简单易行,可以提高分组密码算法分析的效率。

基于整数线性规划的物流配送优化模型与求解算法研究

1.设计物流配送整数线性规划优化模型1.1问题描述通常情况下,物流配送的路径以及时间均是计算好的,形成一个完整的配送链条,便于日常的调度以及整改处理,所以,结合整数线性规划原理,进行初始问题的描述。可以将配送路径描述为一个整体,搭配不同种类的商用车辆,设置规划好对应的载重量,构建定向的配送单元。

洪水过程线同频放大混合整数规划模型

当设计洪水峰、量关系较差时,设计洪水过程线同频放大会出现明显的畸形。构建了设计洪水过程线同频放大混合整数规划模型,以洪水过程线各时段流量作为决策变量,提出了时序系列光滑度函数,并以此作为目标函数,以设计洪峰流量、不同时段设计洪量作为约束条件,首次加入了涨落同向约束条件,保证设计和典型洪水过程线具备相近模式。实例研究表明,当设计洪水峰、量关系不协调时,此模型计算的设计洪水过程线顺滑、各频率之间无交叉,与典型洪水过程线(特别在洪峰附近时段保持)相近模式。研究成果为设计洪水过程线同频放大提供了新的、可行的方法。

基于混合整数线性规划的MORUS初始化阶段的差分分析

认证加密算法MORUS是凯撒(CAESAR)竞赛的优胜算法,抗差分分析性能是衡量认证加密算法安全性的重要指标之一。该文研究了MORUS算法初始化阶段的差分性质,首先给出了一个差分推导规则,可以快速获得一条概率较大的差分链。在此基础上利用混合整数线性规划(MILP)自动搜索技术求解更优的差分链。为了提高搜索速度,结合MORUS初始化阶段的结构特点给出了分而治之策略。根据ΔIV的重量、取值将MILP模型划分为多个子模型并证明了部分子模型的等价性,大大缩减了模型的求解时间,得到了MORUS初始化阶段1~6步状态更新的最优差分链。最后给出了简化版MORUS的差分-区分攻击,该文的结果较之前的工作有较大的提升。

基于混合整数线性规划的配电网在线自愈方案

现有配电网自愈方案无法达到在线要求。为此,提出一种基于混合整数线性规划的配电网在线自愈方案。首先,构建一种集中式的5G通信网络架构,解决在线自愈方案实现的通信阻碍;其次,分别构建一种基于混合整数线性规划的故障定位模型和供电恢复模型,有效解决配电网规模较大时自愈计算时间过长问题;最后,将故障定位和供电恢复整合成一个自愈模型,故障发生后只需进行一次自愈运算,就可以同时发出故障隔离和供电恢复命令。配电网算例表明:基于混合整数线性规划的故障定位模型和供电恢复模型求解速度明显提高,在所提5G通信架构下,所提配电网自愈方案能够满足在线自愈要求。

求解水电站日负荷优化分配的混合整数非线性规划模型

考虑水电调度复杂非线性关系,提出水电站日负荷优化分配的混合整数非线性规划(MINLP)模型。采用多项式拟合技术处理MINLP模型中的水位、库容、流量、出力等多变量耦合函数关系,分析确定了适合的多项式阶数和描述方式,构建了水位与库容、尾水位与出库流量的一元四次多项式,提出表征机组出力的水头和发电流量二元二次拟合方法,得到了水头—流量—出力关系三维拟合曲面,可以满足变化水头下机组出力的精细化计算要求。最后,采用成熟的MINLP求解器实现高效计算。提出的模型通过溪洛渡18台机组日负荷分配问题得到验证,从模型应用复杂度和结果精度两方面与经典混合整数线性规划(MILP)模型进行比较,表明MINLP模型应用便捷且精度较高,与实际耗水量的误差较MILP模型减少91%,更能反映水电站实际情况。

基于混合整数线性规划的八阵图不可能差分分析

八阵图(ESF)是基于LBlock改进的轻量级分组密码,具有优良的软硬件实现效率。针对ESF算法的安全性,该文借助自动化搜索工具,利用不可能差分分析方法,对算法进行安全性评估。首先结合ESF的结构特性和S盒的差分传播特性,建立了基于混合整数线性规划(MILP)的不可能差分搜索模型;其次利用算法S盒的差分传播特性和密钥扩展算法中轮子密钥间的相互关系,基于一条9轮不可能差分区分器,通过向前扩展2轮向后扩展4轮,实现了对ESF算法的15轮密钥恢复攻击。分析结果表明,该攻击的数据复杂度和时间复杂度分别为260.16和267.44,均得到有效降低,且足够抵抗不可能差分分析。

基于混合整数线性规划和强化学习的微电网经济优化调度

针对微电网中可再生能源的不确定性和波动性,以及负荷的动态变化带来的复杂性问题,提出了一种将混合整数线性规划(MILP)和强化学习(RL)相结合的MILP-RL算法。首先,在算例分析中,采用粒子群优化(PSO)算法和MILP对微电网的负荷、风机、光伏预测数据进行经济调度策略求解;然后,将求解的结果作为RL的初始调度策略,构建了PSO-RL和MILP-RL两种组合算法;最后,为了模拟可再生能源的不确定性和波动性以及负荷的动态变化,在预测数据的基础上添加了扰动并采用PSO、RL及组合算法PSO-RL、MILP-RL对扰动数据进行求解。结果表明,相比PSO算法和RL,所提出的MILP-RL组合算法在应对可再生能源的不确定性和负荷的动态变化方面表现出更高的经济性和更快的收敛速度。

基于混合整数线性规划的气电联合循环系统经济调度

热力系统和电力系统形成气电联合循环系统,可以充分发挥电气之间的转换效率,解决能源需求问题。为此,针对气电联合循环系统的结构和作用进行了分析。建立了包括热力和电力在内的联合调度模型,以二氧化碳排放为目标,考虑相应的热力网约束和电网约束。提出利用混合整数线性规划作为模型求解的方法,同时增加离散变量和连续变量约束。最后对所提出的模型进行仿真分析,说明了所提模型和方法的有效性。

基于混合整数线性规划模型的冷热电联供系统分析与优化

针对冷热电联供系统因设备容量不合适导致系统经济性变差的问题,提出一种经济最优的冷热电联供系统设备比选方法。首先建立了关于冷热电联供系统的混合整数线性规划模型,在此基础上以系统的年成本费用最低作为目标函数进行优化求解,然后以江苏某工业园区为例进行验证,最后分析电价和气价对配置结果的影响。结果表明,文中提出的优化方案可行、有效且适用范围广。