电力系统混合整数线性规划问题的运筹决策关键技术综述与展望 被引量：7

1

作者 高倩 杨知方 李文沅 《电工技术学报》 EI CSCD 北大核心 2024年第11期3291-3307,共17页

机组组合、检修计划、拓扑运行优化、电力系统规划等电力系统混合整数线性规划(MILP)问题旨在实现电力资源的最佳配置,应用广泛,其精准性与高效性直接影响了电力系统的安全性与经济性。随着“双碳”目标的提出,新型电力系统MILP问题模... 机组组合、检修计划、拓扑运行优化、电力系统规划等电力系统混合整数线性规划(MILP)问题旨在实现电力资源的最佳配置,应用广泛,其精准性与高效性直接影响了电力系统的安全性与经济性。随着“双碳”目标的提出,新型电力系统MILP问题模型复杂度更高、计算效率要求更严格,对当前运筹决策技术提出了更严峻的挑战。然而,现有依赖于国外进口求解器的电力系统运筹决策技术面临“组合爆炸”,且求解器依赖进口面临“卡脖子”困境,亟须实现技术突破。为此,该文系统地梳理了电力系统MILP问题的运筹决策技术,以及近年来通用MILP问题的最新进展,并展望了电力系统MILP问题运筹决策关键技术未来的研究方向,旨在为我国相关研究工作提供参考和思路。 展开更多

关键词 电力系统优化 混合整数线性规划 运筹决策 混合整数线性规划(milp)求解器

在线阅读 下载PDF 职称材料

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

2

作者 李佩杰 万海涛 +2 位作者 赵晓慧 韦化 杨明 《电力系统保护与控制》 EI CSCD 北大核心 2023年第2期11-21,共11页

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

关键词 机组组合 混合整数线性规划 CBC求解器 固定—推断法

在线阅读 下载PDF 职称材料

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

3

作者 杜小妮 梁丽芳 +1 位作者 贾美纯 李锴彬 《电子与信息学报》 EI CSCD 北大核心 2023年第12期4391-4398,共8页

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

关键词 八阵图(ESF) 不可能差分分析 混合整数线性规划(milp)

在线阅读 下载PDF 职称材料

基于MILP的轻量级密码算法ACE与SPIX的线性分析 被引量：1

4

作者 刘帅 任小广 +4 位作者 王世雄 关杰 张啸川 谭捷 王军 《电子学报》 EI CAS CSCD 北大核心 2024年第9期3065-3074,共10页

研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解... 研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解模型得到了2至4步ACE置换与2至5步SLISCP置换最优的线性迹.证明了7步、12步ACE置换分别达到了128比特与320比特的安全目标,7步、13步SLISCP置换分别达到了128比特与256比特的安全目标.对于任意步数的ACE置换与SLISCP置换,认证加密算法ACE-AE-128与SPIX均能够抵抗明文处理阶段的线性区分攻击. 展开更多

关键词 混合整数线性规划 约束求解 轻量级密码算法 线性分析

在线阅读 下载PDF 职称材料

分组密码复杂线性层可分性传播的MILP刻画方法 被引量：2

5

作者 黄明 张莎莎 +2 位作者 洪春雷 曾乐 向泽军 《软件学报》 EI CSCD 北大核心 2024年第4期1980-1992,共13页

混合整数线性规划(MILP)作为一种自动化搜索工具,被广泛地应用于搜索分组密码的差分、线性、积分等密码性质.提出一种基于动态选取策略构建MILP模型的新技术,该技术在不同的条件下采用不同的约束不等式刻画密码性质的传播.具体地,从可... 混合整数线性规划(MILP)作为一种自动化搜索工具,被广泛地应用于搜索分组密码的差分、线性、积分等密码性质.提出一种基于动态选取策略构建MILP模型的新技术,该技术在不同的条件下采用不同的约束不等式刻画密码性质的传播.具体地,从可分性出发根据输入可分性汉明重量的不同,分别采用不同的方法构建线性层可分性传播的MILP模型.最后,将该技术应用于搜索uBlock和Saturnin算法的积分区分器.实验结果表明:对于uBlock128算法,该技术可以搜索到比之前最优区分器多32个平衡比特的8轮积分区分器.除此之外,搜索到uBlock128和uBlock256算法比之前最优区分器更长一轮的9和10轮积分区分器.对于Saturnin256算法,同样搜索到比之前最优区分器更长一轮的9轮积分区分器. 展开更多

关键词 混合整数线性规划 可分性 线性层 汉明重量 积分区分器

在线阅读 下载PDF 职称材料

基于MILP算法的风光水火储多电源协同配置优化研究

6

作者 马骏 《中国煤炭》 北大核心 2025年第7期71-85,共15页

随着新能源大基地的规模化开发以及跨区域外送通道的持续完善,含高比例可再生能源的电力系统面临风光水火与储能协同优化配置的难题。针对传统启发式算法在多能源联合电源优化配置中存在的寻优效率低、精度不足等问题,创新提出了基于混... 随着新能源大基地的规模化开发以及跨区域外送通道的持续完善,含高比例可再生能源的电力系统面临风光水火与储能协同优化配置的难题。针对传统启发式算法在多能源联合电源优化配置中存在的寻优效率低、精度不足等问题,创新提出了基于混合整数线性规划(MILP)的风光水火储联合电源优化配置模型。该模型通过引入松弛变量将复杂约束条件标准化,采用基变量迭代更新策略压缩可行解空间,最终实现多电源出力的全局最优配置。通过9个抽水蓄能机组、9个电化学机组及不同装机容量下的风光水火的多情景仿真模拟,系统分析火电机组燃煤成本、新能源弃电量与抽水蓄能装机容量之间的影响机制。结果表明,随着抽水蓄能装机容量的增加,新能源弃电量、火电装机容量和煤耗均呈下降趋势。但抽水蓄能装机容量与系统总费用现值呈非线性关系,存在一个最优配置规模,根据2030年青海电网各电源和特高压路线的建设规划,抽水蓄能合理需求规模(经济规模)在800万~1200万kW之间较为合理。同时根据抽水蓄能与电化学储能的对比分析可知,抽水蓄能在一定规模范围内具有更好的经济效益,当抽水蓄能装机容量达到1200万kW时,其容量效益与边际成本达到最优平衡点,超过该阈值后,抽水蓄能的容量效益衰减速率加快,叠加电化学储能技术成本下降的影响,导致系统总成本呈现上升趋势。综上所述,抽水蓄能在平抑风电波动、优化火电和新能源运行经济性方面具有显著效果,且不同抽水蓄能配置方案下的调节特性存在明显差异。该模型验证了其在协调新能源大基地出力特性、外送通道输送、水资源约束与储能调节能力方面的有效性,为“源网荷储”一体化系统的电源优化配置提供了高效解决方案。 展开更多

关键词 混合整数线性规划(milp)仿真模拟 风光水火储 协同配置 多约束多目标优化

在线阅读 下载PDF 职称材料

基于MILP对轻量级密码算法FBC-128的差分分析 被引量：1

7

作者 赵琪 樊婷 韦永壮 《电子学报》 EI CAS CSCD 北大核心 2024年第6期1896-1902,共7页

FBC(Feistel-based Block Cipher)是入围全国密码算法设计竞赛第二轮的轻量级分组密码.由于它具备算法结构简洁、安全性高及软硬件实现性能卓越等优点,备受业界广泛关注.FBC密码算法的数据分组长度和密钥长度至少为128比特,记为FBC-128... FBC(Feistel-based Block Cipher)是入围全国密码算法设计竞赛第二轮的轻量级分组密码.由于它具备算法结构简洁、安全性高及软硬件实现性能卓越等优点,备受业界广泛关注.FBC密码算法的数据分组长度和密钥长度至少为128比特,记为FBC-128.目前对FBC-128算法差分攻击的最好结果是12轮,时间复杂度为293.41次加密,数据复杂度为2122个选择明文对.然而,FBC算法是否存在更长的差分区分器,能否对其进行更高轮数的密钥恢复攻击仍有待解决.本文基于混合整数线性规划(MILP)的自动化搜索方法,提出了“分段统计法”来求解FBC-128的差分特征.实验测试结果表明:FBC-128存在15轮差分区分器,其概率为2-121.然后将其向后扩展1轮,对16轮FBC-128算法发起密钥恢复攻击,其数据复杂度为2121个选择明文数据量,时间复杂度为292.68次加密.与已有结果相比,差分区分器和密钥恢复攻击都提升了4轮,并且所需的数据复杂度和时间复杂度更低. 展开更多

关键词 自动化分析 混合整数线性规划 分组密码算法 差分区分器 密钥恢复攻击 FBC算法

在线阅读 下载PDF 职称材料

基于参数规划的电网侧储能容量价值评估方法

8

作者 郑波珅 魏韡 +2 位作者 于骏 赵海吉 梅生伟 《电力工程技术》 北大核心 2024年第1期21-31,共11页

在新能源大规模接入电力系统的背景下,电网侧储能作为一种灵活资源可以支撑电力系统运行。评估储能应用价值是进行储能容量配置的必要准备工作。文中首先定义3个评估指标,体现出储能对新能源消纳、电力系统灵活性和系统调度经济性的价值... 在新能源大规模接入电力系统的背景下,电网侧储能作为一种灵活资源可以支撑电力系统运行。评估储能应用价值是进行储能容量配置的必要准备工作。文中首先定义3个评估指标,体现出储能对新能源消纳、电力系统灵活性和系统调度经济性的价值;然后基于多参数混合整数线性规划理论,提出一种储能容量价值评估方法,并应用到所提评估指标中,每个评估指标都能得到以储能功率容量和能量容量为参数的分段线性函数;最后使用东北电网数据仿真验证所提模型和方法。结果显示所提方法可以解析刻画储能容量对其应用价值的影响,并将结果进行可视化展示;解析表达式中包含的灵敏度信息揭示了储能容量价值的关键瓶颈参数,并可为不同应用场景储能容量配置提供参考。 展开更多

关键词 储能容量 价值评估 新能源消纳 灵活性 多参数规划 混合整数线性规划(milp)

在线阅读 下载PDF 职称材料

高原铁路列车运行图与维修天窗协调优化研究 被引量：1

9

作者 邓智文 刘斌 +2 位作者 田志强 董傲冉 李和壁 《深圳大学学报(理工版)》 北大核心 2025年第2期216-225,共10页

针对高原铁路列车运行图与维修天窗之间的冲突问题,对高原铁路列车运行图与维修天窗进行协调优化.综合考虑列车服务水平约束、列车运行约束、列车运行图均衡性约束及维修天窗时间约束,建立列车总旅行时间最小和维修天窗开设总时长最大... 针对高原铁路列车运行图与维修天窗之间的冲突问题,对高原铁路列车运行图与维修天窗进行协调优化.综合考虑列车服务水平约束、列车运行约束、列车运行图均衡性约束及维修天窗时间约束,建立列车总旅行时间最小和维修天窗开设总时长最大的多目标混合整数规划模型.设计基于分层序列的多目标求解算法,运用Python编程调用杉数求解器(Cardinal optimizer,COPT)求解模型,并以高原铁路某区段为案例,验证模型有效性.结果表明,在考虑列车服务水平和列车运行图均衡性等约束前提下,本模型能够兼顾列车总旅行时间最短和维修天窗开设时长最长.基于最优解绘制的列车运行图表明,列车运行图和维修天窗的协调优化结果更符合高原铁路实际旅客运输生产作业需要.研究结果为铁路运营管理部门进一步优化列车运行图编制与维修天窗开设提供科学依据. 展开更多

关键词 高原铁路 列车运行图 维修天窗 列车运行约束 均衡性 混合整数规划 分层序列法 COPT求解器

在线阅读 下载PDF 职称材料

多产品批处理过程调度的MILP建模 被引量：1

10

作者 陈昌领 袁德成 邵惠鹤 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第8期1132-1137,共6页

基于时间间隙的概念和连续时间描述 ,将设备、产品分配给时间间隙分别表达为两类 0 - 1变量 .采用一个时间轴 ,建立了具有并行生产线的单阶段多产品批处理过程的调度数学模型 .模型表达为一个混合整数规划 ( Mixed Integer Linear Progr... 基于时间间隙的概念和连续时间描述 ,将设备、产品分配给时间间隙分别表达为两类 0 - 1变量 .采用一个时间轴 ,建立了具有并行生产线的单阶段多产品批处理过程的调度数学模型 .模型表达为一个混合整数规划 ( Mixed Integer Linear Programming,MILP)问题 .相对于已有的基于时间间隙描述的调度模型 ,该模型 0 - 1变量少 ,且能处理顺序相关建立时间 .求解采用分支定界法( BAB) .计算表明 ,该模型求解速度快 ,松弛线性规划和 MILP的最优解之差 ( Integrality Gap)小 。 展开更多

关键词 milp建模 短期调度 多产品批处理过程 混合整数线性规划 生产时间 化学工业 数学模型

在线阅读 下载PDF 职称材料

无重叠区的双抓钩周期性排序问题的求解 被引量：1

11

作者 周支立 李怀祖 《运筹与管理》 CSCD 2006年第2期1-7,共7页

在当今的自动化制造系统中,计算机控制的抓钩的排序直接影响系统的生产率。本文研究了产品在系统的一边装载、而在另一边卸载的电镀线周期性排序问题。工件在每个工作站的处理时间在给定时间范围内,工作站之间没有缓冲槽,相同轨道上的... 在当今的自动化制造系统中,计算机控制的抓钩的排序直接影响系统的生产率。本文研究了产品在系统的一边装载、而在另一边卸载的电镀线周期性排序问题。工件在每个工作站的处理时间在给定时间范围内,工作站之间没有缓冲槽,相同轨道上的两个抓钩用于工作站之间工件的运送,目标是对运送进行排序以极小化生产周期。为了求解这个问题,本文提出一个求解方法,所提出的方法首先将生产线分为两个无重叠的区域,并且为每个区域分配一个抓钩,然后,提出了一个给定抓钩分配下的混合整数线性规划模型。通过求解不同抓钩分配下模型的最优解,并且选择这些解中最好的一个,以便得到最优解,一个标杆示例被运行,以表明该方法的应用。另外,给出有多重处理槽工序问题的模型和求解方法。 展开更多

关键词 工业工程 抓钩排序 混合整数线性规划 求解

在线阅读 下载PDF 职称材料

考虑电压调节设备和微电网的主动配电网最优供电恢复方法

12

作者 刘铠滢 豆朋 +2 位作者 吴添权 余克光 王杰鑫 《太阳能学报》 北大核心 2025年第1期391-401,共11页

一方面,为提高主动配电网供电恢复过程中的孤岛运行模式的供电可靠性,另一方面,为充分协调调压设备和网络重构以提高电能质量,本文综合考虑调压设备、微电网、网络重构等作用,建立基于混合整数线性规划(mixed integer linear programmin... 一方面,为提高主动配电网供电恢复过程中的孤岛运行模式的供电可靠性,另一方面,为充分协调调压设备和网络重构以提高电能质量,本文综合考虑调压设备、微电网、网络重构等作用,建立基于混合整数线性规划(mixed integer linear programming,MILP)模型的主动配电网供电恢复模型。该模型以开关操作的动作成本、电压调节设备的调节成本、失负荷成本组成的总成本为目标,以线性化潮流约束、DG模型、ZIP负荷模型、电压调节设备模型等为约束条件,建立了主动配电网供电恢复优化的MILP模型。在53节点配电系统的仿真结果验证了电压调节设备控制和微电网对配电网供电恢复的改善作用。 展开更多

关键词 微电网 分布式电源 电压调节设备 混合整数线性规划(milp) 供电恢复

在线阅读 下载PDF 职称材料

单油罐修理线的天车运送周期性排序问题的求解

13

作者 周支立 《运筹与管理》 CSCD 2008年第2期11-14,共4页

作为机车油罐修理中的一个重要资源,天车的排序直接影响系统的生产率。本文研究了产品在系统的一边装载、而在另一边卸载的油罐单修理线的天车周期性排序问题。工件在每个工作台需要加工一定的时间,工作台之间没有缓冲工作台,一台天车... 作为机车油罐修理中的一个重要资源,天车的排序直接影响系统的生产率。本文研究了产品在系统的一边装载、而在另一边卸载的油罐单修理线的天车周期性排序问题。工件在每个工作台需要加工一定的时间,工作台之间没有缓冲工作台,一台天车用于工作站之间工件的运送,目标是对运送进行排序以极小化生产周期。为了求解这个问题,本文提出了一个混合整数线性规划模型,量化示例表明所提出的方法是有效的。 展开更多

关键词 企业管理 混合整数线性规划 求解 天车排序

在线阅读 下载PDF 职称材料

基于MILP搜索的ANU算法积分分析

14

作者 袁征 朱亮 +1 位作者 赵晨曦 刘宗甫 《计算机应用研究》 CSCD 北大核心 2021年第4期1171-1174,共4页

ANU算法是由Bansod等人发表在SCN 2016上的一种超轻量级的Feistel结构的分组密码算法。截至目前,没有人提出针对该算法的积分攻击。为了研究ANU算法抗积分攻击的安全性,根据ANU算法的结构建立起基于比特可分性的MILP模型。对该模型进行... ANU算法是由Bansod等人发表在SCN 2016上的一种超轻量级的Feistel结构的分组密码算法。截至目前,没有人提出针对该算法的积分攻击。为了研究ANU算法抗积分攻击的安全性,根据ANU算法的结构建立起基于比特可分性的MILP模型。对该模型进行求解,首次得到ANU算法的9轮积分区分器;利用搜索到的9轮区分器以及轮密钥之间的相关性,对128 bit密钥长度的ANU算法进行12轮密钥恢复攻击,能够恢复43 bit轮密钥。该攻击的数据复杂度为2^(63.58)个选择明文,时间复杂度为2^(88.42)次12轮算法加密,存储复杂度为2^(33)个存储单元。 展开更多

关键词 ANU算法 积分区分器 比特可分性 混合整数线性规划

在线阅读 下载PDF 职称材料

KNOT认证加密算法的零和区分器分析 被引量：2

15

作者 叶涛 韦永壮 李灵琛 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2021年第1期76-86,共11页

KNOT认证加密算法是国际轻量级密码算法征集竞赛活动第2轮入围的候选算法之一。该算法具有软硬件实现快、资源消耗低等特点,其安全性受到了全球广泛的关注。基于标志位技术,提出了密码S盒的新可分性模型构建方法。同时,利用KNOT-256的... KNOT认证加密算法是国际轻量级密码算法征集竞赛活动第2轮入围的候选算法之一。该算法具有软硬件实现快、资源消耗低等特点,其安全性受到了全球广泛的关注。基于标志位技术,提出了密码S盒的新可分性模型构建方法。同时,利用KNOT-256的算法结构,构建了KNOT-256密码算法新的可分性的混合整数线性规划模型,并由此设计了该算法零和区分器的自动化新搜索方法。研究结果表明:KNOT-256置换存在30轮的零和区分器,尽管该区分器对KNOT认证加密算法(分组长度为256的版本的初始化轮数是52轮)的安全性没有造成实际的威胁,但得到的结果证实了新的零和区分器构造方法是有效的。 展开更多

关键词 分组密码 零和区分器 KNOT认证加密算法 混合整数线性规划

在线阅读 下载PDF 职称材料

基于“两步法”的飞行冲突解脱问题求解策略 被引量：2

16

作者 温乾 陈伟锋 《高技术通讯》 EI CAS 北大核心 2020年第3期268-273,共6页

本文针对混合整数规划方法求解飞行冲突解脱较慢的问题,提出一种分步求解方法,以此来提升求解效率。该方法在确保解决冲突问题的同时,实现求解效率和解脱成本的优化。具体包括:使用混合整数线性规划方法在角度变量离散化模型中求解得到... 本文针对混合整数规划方法求解飞行冲突解脱较慢的问题,提出一种分步求解方法,以此来提升求解效率。该方法在确保解决冲突问题的同时,实现求解效率和解脱成本的优化。具体包括:使用混合整数线性规划方法在角度变量离散化模型中求解得到一个较好的可行解,将此可行解作为非线性模型的初值,再使用非线性规划方法进一步求解。实验结果表明,针对飞行冲突解脱问题,使用混合整数规划和非线性规划的“两步法”求解策略切实可行,实验效果良好。 展开更多

关键词 冲突解脱 分步求解 混合整数规划 非线性规划 线性规划

在线阅读 下载PDF 职称材料

ANU,ANU-II和LiCi算法的积分区分器搜索 被引量：2

17

作者 王红艳 韦永壮 刘文芬 《小型微型计算机系统》 CSCD 北大核心 2020年第7期1470-1475,共6页

ANU,ANU-II和LiCi算法是近几年相继被提出的新轻量级分组密码算法.由于采用比特级的设计理念,相比于传统字节级更具有结构轻巧、扩散灵活和实现效率高等优点,因而其安全性备受关注.基于以上三个算法的结构特性,构建了新的比特可分性MIL... ANU,ANU-II和LiCi算法是近几年相继被提出的新轻量级分组密码算法.由于采用比特级的设计理念,相比于传统字节级更具有结构轻巧、扩散灵活和实现效率高等优点,因而其安全性备受关注.基于以上三个算法的结构特性,构建了新的比特可分性MILP模型,并给出了ANU,ANU-II和LiCi算法的积分区分器自动化搜索方法.通常而言,区分器轮数的高低能够较好的衡量密码算法的安全性.研究结果表明:ANU,ANU-II和LiCi算法分别存在9轮、8轮和12轮的积分区分器,所需的数据复杂度为263,260和261个选择明文,这是目前已知分析方法中轮数最高和选择明文量最优的区分器结果.另外,提出了一种新的LiCi算法的等价结构. 展开更多

关键词 轻量分组密码算法 ANU ANU-II LiCi 可分性 milp(混合线性整数规划) 积分区分器

在线阅读 下载PDF 职称材料

基于改进MILP算法的甘油发酵产1,3-丙二醇最优可行代谢路径分析

18

作者 禹超 郭通 +1 位作者 李永磊 张青瑞 《化学与生物工程》 CAS 2018年第6期21-24,共4页

针对混合整数线性规划(MILP)算法求解所有最优可行解时变量搜索范围过大的问题,提出了用通量可变性分析(FVA)改进MILP算法;并以克雷伯氏杆菌发酵甘油产1,3-丙二醇(1,3-PD)为研究对象,以1,3-PD产率最大为优化目标,利用改进MILP算法得到... 针对混合整数线性规划(MILP)算法求解所有最优可行解时变量搜索范围过大的问题,提出了用通量可变性分析(FVA)改进MILP算法;并以克雷伯氏杆菌发酵甘油产1,3-丙二醇(1,3-PD)为研究对象,以1,3-PD产率最大为优化目标,利用改进MILP算法得到不同氧气消耗下所有最优代谢路径;进一步通过ATP消耗总量分析,确定ATP消耗最小的最优代谢路径。 展开更多

关键词 混合整数线性规划(milp)通量可变性分析(FVA)克雷伯氏杆菌 发酵 l 3-丙二醇 最优代谢路径

在线阅读 下载PDF 职称材料

CRAFT算法基于比特可分性的积分区分器搜索

19

作者 刘宗甫 袁征 +1 位作者 段晓庆 朱亮 《计算机应用与软件》 北大核心 2021年第8期343-349,共7页

CRAFT算法是一种新型SPN结构的类AES型轻量级可调分组密码算法,可以有效地抵抗差分故障攻击。为了对CRAFT算法抵抗积分攻击的能力进行评估,采用基于混合整数线性规划(MILP)的方法自动化搜索比特可分性的工具,对CRAFT算法的积分区分器进... CRAFT算法是一种新型SPN结构的类AES型轻量级可调分组密码算法,可以有效地抵抗差分故障攻击。为了对CRAFT算法抵抗积分攻击的能力进行评估,采用基于混合整数线性规划(MILP)的方法自动化搜索比特可分性的工具,对CRAFT算法的积分区分器进行搜索,搜索到了最长为12轮的积分区分器,同时得到一条平衡比特数最多的9轮积分区分器。这是目前为止对该算法获得的最长区分器,同时利用这些积分区分器可以对算法进行更多轮的密钥恢复攻击。 展开更多

关键词 CRAFT算法 混合整数线性规划 比特可分性 积分区分器

在线阅读 下载PDF 职称材料

基于神经区分器的KATAN48算法条件差分分析方法

20

作者 林东东 李曼曼 陈少真 《计算机应用》 CSCD 北大核心 2023年第8期2462-2470,共9页

针对KATAN48算法的安全性分析问题,提出了一种基于神经区分器的KATAN48算法条件差分分析方法。首先,研究了多输出差分神经区分器的基本原理,并将它应用于KATAN48算法,根据KATAN48算法的数据格式调整了深度残差神经网络的输入格式和超参... 针对KATAN48算法的安全性分析问题,提出了一种基于神经区分器的KATAN48算法条件差分分析方法。首先,研究了多输出差分神经区分器的基本原理,并将它应用于KATAN48算法,根据KATAN48算法的数据格式调整了深度残差神经网络的输入格式和超参数;其次,建立了KATAN48算法的混合整数线性规划(MILP)模型,并用该模型搜索了前加差分路径及相应的约束条件;最后,利用多输出差分神经区分器,至多给出了80轮KATAN48算法的实际密钥恢复攻击结果。实验结果表明,在单密钥下,KATAN48算法的实际攻击的轮数提高了10轮,可恢复的密钥比特数增加了22比特,数据复杂度和时间复杂度分别由2^(34)和2^(34)降至2^(16.39)和2^(19.68)。可见,相较于前人单密钥下的实际攻击,所提方法能够有效增加攻击轮数和可恢复的密钥比特数,同时降低攻击的计算复杂度。 展开更多

关键词 分组密码 混合整数线性规划 KATAN算法 条件差分分析 神经区分器

在线阅读 下载PDF 职称材料