基于MILP的轻量级密码算法ACE的差分分析 被引量：2

1

作者 刘帅 关杰 +1 位作者 胡斌 马宿东 《通信学报》 EI CSCD 北大核心 2023年第1期39-48,共10页

研究了轻量级密码算法ACE的差分性质。首先定义了n维环形与门组合,充分分析了该结构中与门之间的相互关系,仅利用O(n)个表达式给出其精确的MILP差分刻画,将ACE算法中的非线性操作转化为32维环形与门组合,从而给出了ACE算法的MILP差分模... 研究了轻量级密码算法ACE的差分性质。首先定义了n维环形与门组合,充分分析了该结构中与门之间的相互关系,仅利用O(n)个表达式给出其精确的MILP差分刻画,将ACE算法中的非线性操作转化为32维环形与门组合,从而给出了ACE算法的MILP差分模型。其次根据MILP模型求解器Gurobi的求解特点,给出了快速求解ACE的MILP差分模型的方法。对于3~6步的ACE置换,得到了最优差分链,利用多差分技术给出了更高概率的差分对应,从而给出了ACE置换为3步的认证加密算法ACE-Aε-128的差分伪造攻击与哈希算法ACE-H-256的差分碰撞攻击,成功概率为2^(-90.52),并证明了4步ACE置换达到了128bit的差分安全边界。实际上,n维环形与门组合的MILP差分刻画具有更多的应用场景,可应用于SIMON、Simeck等密码算法的分析中。 展开更多

关键词 轻量级密码算法 混合整数线性规划 环形与门组合 差分分析

在线阅读 下载PDF 职称材料

求解带有阻塞限制的HFSP的MILP模型与改进回溯搜索算法 被引量：8

2

作者 孟磊磊 张超勇 +2 位作者 任彩乐 李振国 任亚平 《中国机械工程》 EI CAS CSCD 北大核心 2018年第22期2647-2658,共12页

针对带有阻塞限制的不相关并行机混合流水车间调度问题,以最小化最长完工时间为目标,依据不同的建模思想,建立了求解该问题的4个混合整数线性规划(MILP)模型;鉴于混合整数线性规划不适合求解中大规模问题,提出了一种改进的回溯搜索算法... 针对带有阻塞限制的不相关并行机混合流水车间调度问题,以最小化最长完工时间为目标,依据不同的建模思想,建立了求解该问题的4个混合整数线性规划(MILP)模型;鉴于混合整数线性规划不适合求解中大规模问题,提出了一种改进的回溯搜索算法以求解中大规模问题,在该算法中,引入了轮盘赌选择策略以及变邻域搜索算法,以提高算法的收敛速度以及局部搜索能力。最后,对所提MILP模型以及算法进行了对比分析,通过对具体实例的求解验证了所提MILP模型以及算法的有效性及优越性。 展开更多

关键词 混合流水车间调度 阻塞 混合整数线性规划 回溯搜索算法 轮盘赌选择策略 变邻域搜索

在线阅读 下载PDF 职称材料

凝聚式层次聚类算法在露天采矿MILP数学模型中的应用实践

3

作者 林炜 《中国矿山工程》 2024年第2期12-16,共5页

本文采用凝聚式层次聚类算法对块体数据进行预处理,显著降低了混合整数线性规划(MILP)数学模型在矿业应用中的复杂度,以解决矿业排产优化中的复杂问题。该方法的核心在于根据块体的地质和采矿相关属性的相似性,将大量小块体合理聚合成... 本文采用凝聚式层次聚类算法对块体数据进行预处理,显著降低了混合整数线性规划(MILP)数学模型在矿业应用中的复杂度,以解决矿业排产优化中的复杂问题。该方法的核心在于根据块体的地质和采矿相关属性的相似性,将大量小块体合理聚合成相对较少的大聚合单元,从而简化了模型的变量和约束条件,减少了求解优化问题所需的计算资源和时间。通过某大型露天金矿采矿联合体的应用案例研究,证明了凝聚式层次聚类算法在实践中的有效性。原始的MILP模型由于块体数量巨大和计算复杂度高无法直接求解。应用聚类算法后,将36183个块体合理减少到5810个聚合单元,显著降低了问题的规模。 展开更多

关键词 混合整数线性规划 聚类算法 采矿 优化

在线阅读 下载PDF 职称材料

基于MILP寻找SM4算法的差分特征 被引量：1

4

作者 潘印雪 王高丽 倪建强 《计算机研究与发展》 EI CSCD 北大核心 2022年第10期2299-2308,共10页

基于混合整数线性规划(mixed integer linear programming, MILP)的自动化搜索方法被广泛用于搜索密码算法的差分特征,已形成一套完整的框架.该框架采用的基本原理是用线性不等式来刻画密码算法的各个操作,该框架适用于搜索采用4-bit S... 基于混合整数线性规划(mixed integer linear programming, MILP)的自动化搜索方法被广泛用于搜索密码算法的差分特征,已形成一套完整的框架.该框架采用的基本原理是用线性不等式来刻画密码算法的各个操作,该框架适用于搜索采用4-bit S盒的密码算法的差分特征.对于采用8-bit S盒的密码算法,基于该框架的搜索模型计算量很大,以致无法高效地找到差分特征.SM4算法于2006年由中国政府发布,于2012年成为国家密码行业标准,于2016年成为国家标准的迭代分组密码算法,其分组状态为128 b,每轮包含4个8-bit的S盒.为了高效地搜索SM4算法的差分特征,研究了对8-bit S盒进行MILP建模的问题,对于采用8-bit S盒的密码算法,改进了搜索高概率差分特征的方法.对于19轮SM4算法,不仅找到了概率为2的差分特征,而且找到了概率为2的差分特征,这是目前基于MILP建模找到的SM4算法轮数最多、概率最高的差分特征. 展开更多

关键词 混合整数线性规划 SM4算法 差分分析 差分特征 8-bit的S盒

在线阅读 下载PDF 职称材料

成品油管道开泵方案优化MILP模型 被引量：3

5

作者 周星远 梁永图 +3 位作者 张昕 段志刚 邱睿 张浩然 《油气储运》 CAS 北大核心 2019年第5期562-567,共6页

成品油管道运行过程中沿线各泵站开泵方案的优化对于降低成品油管道的运行能耗具有重要作用。以往针对此问题大多采用动态规划及人工智能算法进行求解,具有一定的局限性,很少从整体上建立混合整数线性规划(MILP)模型并将启停泵时长限制... 成品油管道运行过程中沿线各泵站开泵方案的优化对于降低成品油管道的运行能耗具有重要作用。以往针对此问题大多采用动态规划及人工智能算法进行求解,具有一定的局限性,很少从整体上建立混合整数线性规划(MILP)模型并将启停泵时长限制问题考虑到所建模型的约束条件中。在此基于已知的批次调度计划,考虑到启停泵时长限制、沿线节点压力约束、过泵流量约束等约束条件,以泵运行费用与启停泵成本总和最小为目标函数,建立MILP数学模型并采用分支定界算法进行求解。以某实际运行成品油管道的输油计划为例,代入成品油管道开泵方案优化模型并进行求解。结果表明:该模型在较大程度上降低了管道的运行能耗,提高了管道的运行稳定性,符合现场操作工艺。(图3,表2,参24) 展开更多

关键词 成品油管道 milp模型 分支定界算法 开泵方案优化 启停泵时长限制

原文传递

ACT、TED算法基于MILP搜索的积分分析

6

作者 熊家琪 袁征 +2 位作者 魏锦鹏 刘宗甫 朱亮 《小型微型计算机系统》 CSCD 北大核心 2022年第9期1976-1983,共8页

ACT和TED算法是近年来相继被提出的,分别基于SPN结构和Feistel结构而设计的两种轻量级分组密码算法.本文根据这两种算法不同的结构特性,分别构建了相关的基于比特可分性的MILP模型,并调用求解工具Gurobi对MILP模型进行求解.实验结果表明... ACT和TED算法是近年来相继被提出的,分别基于SPN结构和Feistel结构而设计的两种轻量级分组密码算法.本文根据这两种算法不同的结构特性,分别构建了相关的基于比特可分性的MILP模型,并调用求解工具Gurobi对MILP模型进行求解.实验结果表明:ACT和TED算法都存在8、9、10轮积分区分器,另外TED算法还存在7轮积分区分器.根据所搜索到的积分区分器,实现了两种算法的11轮密钥恢复攻击方案.利用ACT算法的9轮积分区分器向后扩展2轮进行11轮的密钥恢复攻击时,攻击数据复杂度为2^(36.39),时间复杂度为2^(36.39)次11轮加密,存储复杂度为2^(20).利用TED算法的8轮积分区分器向后扩展3轮进行11轮的密钥恢复攻击时,数据复杂度为2^(60.81),时间复杂度为2^(109.54)次11轮加密,存储复杂度为2^(59). 展开更多

关键词 轻量级分组密码算法 ACT TED 可分性 积分分析 milp(混合线性整数规划)

在线阅读 下载PDF 职称材料

柱塞气举井群错峰开关井调度优化模型研究及应用

7

作者 张昀 孙海桐 +5 位作者 陈晓刚 赵峥延 王哲 白红升 檀朝东 矫欣雨 《钻采工艺》 北大核心 2025年第6期90-97,共8页

针对柱塞气举井群生产过程中,多口气井在同一时段内由关井状态切换为开井状态引发的管线压力波动增大及气井减产问题,提出了基于离散时间描述的柱塞气举井群错峰运行调度协同优化MILP模型。该模型以同一时段内由关井转开井的气井数量最... 针对柱塞气举井群生产过程中,多口气井在同一时段内由关井状态切换为开井状态引发的管线压力波动增大及气井减产问题,提出了基于离散时间描述的柱塞气举井群错峰运行调度协同优化MILP模型。该模型以同一时段内由关井转开井的气井数量最小为目标函数,考虑了气井间压力差、错峰开井时间、开关井状态的调度约束;由于常规求解器难以在短时间内求解出调度方案,故提出使用遗传算法对模型进行求解优化;应用OLGA软件模拟仿真不同开关井调度方案下的生产动态,对比分析不同错峰方案的井间油压标准差和井群产量,从而筛选出管线压力波动小、产气量高的方案作为最佳错峰开关井方案。研究及应用表明:建立的柱塞气举井群错峰开关井调度协同优化模型及求解方法,可以快速制定柱塞气举井群错峰开关井方案。依据该错峰调度方案对集气站所辖井群进行措施优化管理,减少了密集开关井对管网、站场平稳运行的影响,实现了同一时段内由关转开的气井数量明显减少,管线压力波动有效降低,产气量明显增加的目标。 展开更多

关键词 柱塞气举井群 错峰开关井 离散时间milp模型 遗传算法 产气量优化

在线阅读 下载PDF 职称材料

低碳背景下风电与输电网综合协调投资规划模型研究 被引量：9

8

作者 柴大鹏 李钰龙 +2 位作者 马明娟 薛松 曾鸣 《华北电力大学学报（自然科学版）》 CAS 北大核心 2014年第4期107-112,共6页

我国风电基地和负荷中心呈逆向分布,需要通过跨区输送实现异地消纳促进风电可持续发展,目前风电和输电网规划不协调的问题极为突出,提出了风电与输电网综合协调投资规划模型。首先提出了以用户费用、风电及输电网投资总成本最小为目标... 我国风电基地和负荷中心呈逆向分布,需要通过跨区输送实现异地消纳促进风电可持续发展,目前风电和输电网规划不协调的问题极为突出,提出了风电与输电网综合协调投资规划模型。首先提出了以用户费用、风电及输电网投资总成本最小为目标函数的风电与输电网投资混合整数线性规划模型(Mixed-Integer Linear Programming,MILP),以确定最优的风电投资规模以及配套输电网建设,通过改进分支定界方法对模型进行求解,通过算例分析验证所构建模型的科学性和合理性。 展开更多

关键词 输电网投资 风电投资 改进分支定界法 混合整数线性规划 补贴机制

在线阅读 下载PDF 职称材料

回收物流设施多层选址模型及其算法 被引量：17

9

作者 赵宜 尹传忠 蒲云 《西南交通大学学报》 EI CSCD 北大核心 2005年第4期530-534,共5页

针对废弃物品的收集、预处理和再制造问题,建立了回收物流设施选址混合整数规划(MILP)模型,用分枝定界法求解.为提高分枝定界法的收敛速度、减少运算量,先用遗传算法为MILP找到较好的可行解,以其对应的目标函数值为分枝界定法上界,从而... 针对废弃物品的收集、预处理和再制造问题,建立了回收物流设施选址混合整数规划(MILP)模型,用分枝定界法求解.为提高分枝定界法的收敛速度、减少运算量,先用遗传算法为MILP找到较好的可行解,以其对应的目标函数值为分枝界定法上界,从而可以在分枝界定法的搜索中剪去大量分枝.用算例证明了算法的有效性和可行性. 展开更多

关键词 回收物流 多层选址问题 分枝定界 遗传算法 混合整数规划 模型

在线阅读 下载PDF 职称材料

考虑分布式电源不确定性的配电网鲁棒动态重构 被引量：37

10

作者 徐俊俊 吴在军 +3 位作者 周力 成晟 李培帅 窦晓波 《中国电机工程学报》 EI CSCD 北大核心 2018年第16期4715-4725,共11页

间歇性分布式电源并网使得配电网网络重构过程需要考虑更多的不确定因素。在利用仿射数对分布式电源出力的不确定性进行合理分析与建模基础上,建立以重构周期内开关动作耗费与网络有功损耗等综合成本最低为目标函数,以网络安全运行为约... 间歇性分布式电源并网使得配电网网络重构过程需要考虑更多的不确定因素。在利用仿射数对分布式电源出力的不确定性进行合理分析与建模基础上,建立以重构周期内开关动作耗费与网络有功损耗等综合成本最低为目标函数,以网络安全运行为约束条件的配电网鲁棒动态重构模型。为精确求解该数学模型,引入基于最佳等距思想的分段线性逼近方法将原目标函数松弛为线性可解形式,并根据对偶定理将模型进一步等效转化为双层混合整数线性规划问题;最后采用列约束生成算法对模型进行高效求解。修改的PG＆E 69节点系统测试分析结果表明,与现有的配电网确定性动态重构方法比较,所提鲁棒动态重构方法在抗系统不确定性扰动方面具有明显的优势。 展开更多

关键词 分布式电源 鲁棒动态重构 仿射数 双层混合整数线性规划 列约束生成算法

原文传递

考虑退货不确定性的多层次多站点逆向物流网络选址优化研究 被引量：11

11

作者 初良勇 左世萍 阮志毅 《运筹与管理》 CSSCI CSCD 北大核心 2021年第9期73-79,共7页

在退货量不确定情况下,为追求电商企业逆向物流网络成本最小化,建立了多层次多站点的混合整数规划模型。将目标区域进行网格化处理,通过球上距离公式计算相邻备选站点、不同层次备选点间的运输距离,使用蒙特卡罗法模拟退货量,并设计了... 在退货量不确定情况下,为追求电商企业逆向物流网络成本最小化,建立了多层次多站点的混合整数规划模型。将目标区域进行网格化处理,通过球上距离公式计算相邻备选站点、不同层次备选点间的运输距离,使用蒙特卡罗法模拟退货量,并设计了双染色体编码的遗传算法进行求解。算例验证了模型算法的可行性,并且得出了逆向物流网络成本最小时,快递站点和退货处理中心的选址,快递站点的选址与退货量大小存在对应关系,研究客户退货量会使物流网络选址得到优化。 展开更多

关键词 逆向物流 退货回收 蒙特卡罗 混合整数规划 遗传算法

在线阅读 下载PDF 职称材料

供应链订单任务分配模型及其混合遗传算法 被引量：21

12

作者 姬小利 《西南交通大学学报》 EI CSCD 北大核心 2005年第6期811-815,共5页

建立了面向供应链的多产品、多订单、多时段的订单任务分配的混合整数线性规划模型.为缩短求解时间和避免大量非法染色体出现,设计了基于遗传算法和启发式规则相结合的混合遗传算法.通过算例比较了该算法和SAS软件的OR模块.结果表明,与S... 建立了面向供应链的多产品、多订单、多时段的订单任务分配的混合整数线性规划模型.为缩短求解时间和避免大量非法染色体出现,设计了基于遗传算法和启发式规则相结合的混合遗传算法.通过算例比较了该算法和SAS软件的OR模块.结果表明,与SAS/OR模块相比,该算法最优解误差为2.3%,但计算运行时间仅为SAS/OR模块的0.89%. 展开更多

关键词 供应链 订单任务分配 模型 混合遗传算法 混合整数线性规划

在线阅读 下载PDF 职称材料

基于SGRASP-LP算法的混流装配线排序问题 被引量：1

13

作者 刘巍巍 杨浩 刘慧芳 《组合机床与自动化加工技术》 北大核心 2019年第9期148-151,156,共5页

针对实际混流装配线上工作站工作过载过大、无效时间过长导致的装配线运行效率低下问题,在保留基本模型约束条件的基础上引入“保持生产混合”和“作业自主中断”两个约束条件,建立以“最小化工作过载和无效时间”为目标的混流装配线排... 针对实际混流装配线上工作站工作过载过大、无效时间过长导致的装配线运行效率低下问题,在保留基本模型约束条件的基础上引入“保持生产混合”和“作业自主中断”两个约束条件,建立以“最小化工作过载和无效时间”为目标的混流装配线排序问题优化模型。在基本GRASP算法的初始解构造阶段增加阈值参数选择机制,并将改进后的GRASP算法与线性规划方法结合,设计了模型的SGRASP-LP求解算法。以某汽车企业的底盘装配线为例,将SGRASP-LP算法分别与GRASP算法和企业解决该类问题常用的MILP算法相比较。结果表明,SGRASP-LP算法运算速度更快,所求方案更优,是解决相关排序问题的有效算法。 展开更多

关键词 混流装配线 排序 SGRASP-LP算法 GRASP算法 milp算法

在线阅读 下载PDF 职称材料

动态环境下混合生产的Makespan调度方法 被引量：1

14

作者 徐智 席裕庚 韩兵 《应用科学学报》 CAS CSCD 2002年第1期70-76,共7页

针对动态生产环境下混合生产的最小完工时间 ( Makespan)调度问题 ,借鉴于预测控制的思想 ,用滚动优化的原理求解 .提出可操作集的概念 ,将动态环境下的调度问题合理分解 ,并将所得的子问题规范化 ,并给出适用小规模问题的基于混合整数... 针对动态生产环境下混合生产的最小完工时间 ( Makespan)调度问题 ,借鉴于预测控制的思想 ,用滚动优化的原理求解 .提出可操作集的概念 ,将动态环境下的调度问题合理分解 ,并将所得的子问题规范化 ,并给出适用小规模问题的基于混合整数规划的算法 ,对于较大规模的问题给出快速收敛的启发式算法 .仿真算例表明方法的可行性 . 展开更多

关键词 动态环境 Makespan调度方法 混合生产过程 混合整数规划

在线阅读 下载PDF 职称材料

调整时间与顺序相关的flowshop调度的精确算法 被引量：4

15

作者 唐立新 黄琳 《系统工程学报》 CSCD 2002年第4期309-315,共7页

调整时间与顺序相关的流水车间调度问题 (flowshop scheduling with sequence dependent setup times,FSSDST)在过程制造业中有着广泛的应用背景 ,是一类比较复杂的调度问题 .对目标函数是最小化最大流程时间 (makespan)的同排列流水车... 调整时间与顺序相关的流水车间调度问题 (flowshop scheduling with sequence dependent setup times,FSSDST)在过程制造业中有着广泛的应用背景 ,是一类比较复杂的调度问题 .对目标函数是最小化最大流程时间 (makespan)的同排列流水车间 FSSDST调度问题进行了研究 ,建立了 FSSDST的混合整数线性规划模型 (MIL P) ,提出了两种确定原问题的下界方法 :(1)按照第 m台机器 (最后一台机器 )定界 ;(2 )按照全部机器定界 .根据这两个下界 ,提出并实现了分支定界算法 .为了提高分支定界算法的效率 ,提出了两种改进上界的策略 :(1)改进初始上界法 ;(2 )改进动态上界法 .实现了上述所有算法 。 展开更多

关键词 精确算法 流水车间调度 调整时间 顺序相关 分支定界 改进上界 Flowshop调度 NP问题 目标函数

在线阅读 下载PDF 职称材料

Benders计算机程序库的开发及其在环境规划中的应用 被引量：2

16

作者 徐贞元 段宁 +2 位作者 乔琦 孙启宏 薛萍 《环境科学动态》 1992年第2期7-12,共6页

混合整变量线性规划模型在国外许多行业和我国环境规划领域得到广泛应用。Benders分解算法是求解大规模混合整变量线性规划问题的一种先进技术,该技术在国外求解运输问题和网络问题范畴的实际问题得到了成功。我们应用Benders技术研制... 混合整变量线性规划模型在国外许多行业和我国环境规划领域得到广泛应用。Benders分解算法是求解大规模混合整变量线性规划问题的一种先进技术,该技术在国外求解运输问题和网络问题范畴的实际问题得到了成功。我们应用Benders技术研制开发了大型计算机软伴;这是在我国系统工程领域和国际环境规划工作中的首次应用。在程序库开发工作中,引进和采用了当今国际上先进的运筹学方法和计算机技术。程序库在求解实际的环境规划问题中获得了初步的成功。我们应用所开发的程序库和数学模型求解了一个具有635个约束条件,1087个变量(其中0—1整变量为126个)的实际城市综合整冶规划问题。这是至今国内所求解的最大规模的混合整变量线性规划问题,也是国际上用Benders方法求解的最大的环境规划问题。 展开更多

关键词 环境规划 计算机程序 数据库

在线阅读 下载PDF 职称材料

非方阵指派问题的求解 被引量：1

17

作者 杨丽英 韩建达 聂义勇 《信息与控制》 CSCD 北大核心 2009年第6期641-645,652,共6页

本文将2类方阵指派问题——极大极小和总体极小指派问题——的矩阵作业解法推广到非方阵情形,即求解任务与人员数目不等的指派问题,且维持矩阵作业法的效率.假定m>n,则按本文行优先选取算法求解m×n非方阵指派问题的最大逻辑运... 本文将2类方阵指派问题——极大极小和总体极小指派问题——的矩阵作业解法推广到非方阵情形,即求解任务与人员数目不等的指派问题,且维持矩阵作业法的效率.假定m>n,则按本文行优先选取算法求解m×n非方阵指派问题的最大逻辑运算量为O(mn2),其效率通常与执行一轮覆盖的矩阵作业法相当. 展开更多

关键词 极大极小指派问题 总体极小指派问题 混合整数线性规划 矩阵作业法 行优先选取算法

在线阅读 下载PDF 职称材料

基于改进粒子群算法的多无人机任务分配研究 被引量：18

18

作者 国博 王社伟 陶军 《计算机仿真》 CSCD 北大核心 2009年第7期62-64,153,共4页

任务分配问题是多无人机协同控制的关键技术之一。在深入分析多无人机任务分配问题特点的基础上,对现有模型进行了扩展,建立了多无人机协同任务分配的混合整数线性规划(MILP)模型。对现有粒子群算法进行了改进,提出一种具有较强全局搜... 任务分配问题是多无人机协同控制的关键技术之一。在深入分析多无人机任务分配问题特点的基础上,对现有模型进行了扩展,建立了多无人机协同任务分配的混合整数线性规划(MILP)模型。对现有粒子群算法进行了改进,提出一种具有较强全局搜索能力的多子群多阶段粒子群算法,开展了粒子群算法在多无人机协同任务分配问题中的应用研究,主要针对粒子群算法的编码策略、约束处理、算子选取、参数设置等方面进行相应的调整和改进。最后对算法进行了仿真,仿真结果表明了该方法的有效性。 展开更多

关键词 粒子群算法 无人机 任务分配 混合整数线性规划

在线阅读 下载PDF 职称材料

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

19

作者 刘帅 关杰 +1 位作者 胡斌 马宿东 《电子与信息学报》 EI CSCD 北大核心 2023年第7期2537-2545,共9页

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

关键词 认证加密算法 MORUS 混合整数线性规划自动搜索 差分分析

在线阅读 下载PDF 职称材料

基于用户需求时间窗的成品油管道调度优化 被引量：6

20

作者 廖绮 梁永图 +2 位作者 沈允 袁梦 张浩然 《石油科学通报》 2018年第2期205-214,共10页

为精准服务下游市场,成品油管道需要采用基于用户需求时间窗的管道调度模式。目前有较多关于成品油管道调度优化的文献,但缺少基于用户需求时间窗的优化调度研究。本文针对单源多汇成品油管道,考虑批次运移约束、注入约束、卸油约束以... 为精准服务下游市场,成品油管道需要采用基于用户需求时间窗的管道调度模式。目前有较多关于成品油管道调度优化的文献,但缺少基于用户需求时间窗的优化调度研究。本文针对单源多汇成品油管道,考虑批次运移约束、注入约束、卸油约束以及时间节点约束,建立以实际下载时间窗与用户需求时间窗偏差最小为目标的混合整数线性规划(MILP)模型,并采用蚁群算法和分支定界法进行求解。最后将所建立模型应用于国内某条成品油管道并求解出相应的调度计划。从应用可知,该模型计算速度快、生成的调度计划与用户提出的需求时间窗较吻合,因此具有较强的实用性。 展开更多

关键词 成品油管道 调度计划优化 需求时间窗 milp模型 分支定界法 蚁群算法

原文传递