期刊文献+
共找到209篇文章
< 1 2 11 >
每页显示 20 50 100
基于MILP的轻量级密码算法ACE与SPIX的线性分析 被引量:1
1
作者 刘帅 任小广 +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对轻量级密码算法FBC-128的差分分析 被引量:1
2
作者 赵琪 樊婷 韦永壮 《电子学报》 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
基于FT-MILP算法的大规模水电中长期优化调度研究
3
作者 吕孟冉 朱燕梅 +3 位作者 张帅 苏韵掣 黄炜斌 马光文 《水电能源科学》 北大核心 2024年第11期194-198,共5页
随着国内水利事业的快速发展,水电系统规模不断扩大,已有的模型设计通用性不强,优化调度维数灾问题日益凸显。为此,采用森林结构(FT)描述水电站群拓扑结构,利用混合整数线性规划算法(MILP)对模型中非线性函数进行分段线性插值处理,构建... 随着国内水利事业的快速发展,水电系统规模不断扩大,已有的模型设计通用性不强,优化调度维数灾问题日益凸显。为此,采用森林结构(FT)描述水电站群拓扑结构,利用混合整数线性规划算法(MILP)对模型中非线性函数进行分段线性插值处理,构建了基于FT-MILP算法的大规模水电系统中长期优化调度模型。以我国四川地区大型水电基地277座水电站为例,将所提FT-MILP算法与传统POA算法进行优化调度计算,并将优化调度结果与实际运行结果相比。结果表明,在丰、平、枯水年,大规模水电场景下,FT-MILP算法的水库群总发电量分别为传统POA算法的99.27%、99.14%、99.55%,计算效率约为传统POA算法的20倍,丰枯电量比分别由实际运行的2.26∶1、2.13∶1、1.98∶1减少为1.79∶1、1.70∶1、1.62∶1。因此FT-MILP算法在牺牲少量理论发电效益的同时,大幅缩短了计算耗时,且优化了丰枯出力结构,对于研究我国巨大规模的水电优化调度问题有一定的借鉴意义。 展开更多
关键词 拓扑结构 混合整数线性规划 大规模水电系统 优化调度
在线阅读 下载PDF
SAILFISH-I、ASD算法基于MILP的积分分析
4
作者 吴铜 申龙 《北京电子科技学院学报》 2024年第1期60-71,共12页
SAILFISH-I、ASD算法是近些年提出的基于Feistel和SPN结构的轻量级分组密码。根据密码的结构特点,分别构造了基于比特的混合整数线性规划(MILP)可分性质模型,并使用求解器Gurobi对MILP模型求解。本文首次得到SAILFISH-I算法的8、9、10... SAILFISH-I、ASD算法是近些年提出的基于Feistel和SPN结构的轻量级分组密码。根据密码的结构特点,分别构造了基于比特的混合整数线性规划(MILP)可分性质模型,并使用求解器Gurobi对MILP模型求解。本文首次得到SAILFISH-I算法的8、9、10轮积分区分器,ASD算法的7、8、9轮积分区分器。在SAILFISH-I的9轮积分区分器的基础上,向后扩展3轮,进行12轮积分攻击,攻击的数据复杂度约为2^(59.58)个选择明文,时间复杂度约为2^(109.99)次12轮加密,存储复杂度约为2^(57)个储存单元。在ASD的8轮积分区分器的基础上向后扩展2轮,进行10轮积分攻击,攻击的数据复杂度约为2^(57.39)个选择明文,时间复杂度约为2^(70.07)次10轮加密,存储复杂度约为2^(20)个储存单元。 展开更多
关键词 SAILFISH-I ASD 可分性质 milp 积分攻击
在线阅读 下载PDF
基于MILP的多无人机对敌防空火力压制 被引量:6
5
作者 颜骥 李相民 +1 位作者 刘波 刘立佳 《海军航空工程学院学报》 2014年第4期369-373,384,共6页
建立了基于混合整数线性规划(Mixed Integer LinearProgram,MILP)的多无人机编队对敌防空火力压制协同任务分配模型,以0-1决策变量表征无人机—任务指派关系,引入连续时间决策变量来表示任务的执行时间,并通过对决策变量之间的线性等式... 建立了基于混合整数线性规划(Mixed Integer LinearProgram,MILP)的多无人机编队对敌防空火力压制协同任务分配模型,以0-1决策变量表征无人机—任务指派关系,引入连续时间决策变量来表示任务的执行时间,并通过对决策变量之间的线性等式和不等式的数学描述,建立无人机之间和无人机执行任务之间合理的协同约束关系。采用商用软件CPLEX对模型求解,仿真验证了模型的合理性。 展开更多
关键词 对敌防空火力压制 任务分配 混合整数线性规划 多机协同
在线阅读 下载PDF
多产品批处理过程调度的MILP建模 被引量:1
6
作者 陈昌领 袁德成 邵惠鹤 《上海交通大学学报》 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
基于强化学习与遗传算法的机器人并行拆解序列规划方法
7
作者 汪开普 马晓艺 +2 位作者 卢超 殷旅江 李新宇 《国防科技大学学报》 北大核心 2025年第2期24-34,共11页
在拆解序列规划问题中,为了提高拆解效率、降低拆解能耗,引入了机器人并行拆解模式,构建了机器人并行拆解序列规划模型,并设计了基于强化学习的遗传算法。为了验证模型的正确性,构造了混合整数线性规划模型。算法构造了基于目标导向的... 在拆解序列规划问题中,为了提高拆解效率、降低拆解能耗,引入了机器人并行拆解模式,构建了机器人并行拆解序列规划模型,并设计了基于强化学习的遗传算法。为了验证模型的正确性,构造了混合整数线性规划模型。算法构造了基于目标导向的编解码策略,以提高初始解的质量;采用Q学习来选择算法迭代过程中的最佳交叉策略和变异策略,以增强算法的自适应能力。在一个34项任务的发动机拆解案例中,通过与四种经典多目标算法对比,验证了所提算法的优越性;分析所得拆解方案,结果表明机器人并行拆解模式可以有效缩短完工时间,并降低拆解能耗。 展开更多
关键词 拆解序列规划 机器人并行拆解 混合整数线性规划模型 遗传算法 强化学习
在线阅读 下载PDF
考虑存车条件的动车组交路计划优化方法
8
作者 牛家鑫 赵鹏 +2 位作者 乔珂 张璞 魏利亨 《铁道学报》 北大核心 2025年第1期11-20,共10页
动车组交路计划是高速铁路运输生产计划的核心问题之一。在研究编制动车组交路计划时充分考虑夜间停放、到发线运用条件等以确保计划的可实施性。以一级检修周期为时间跨度构建动车组运用接续网络,考虑夜间存放地点、车站到发线运用、... 动车组交路计划是高速铁路运输生产计划的核心问题之一。在研究编制动车组交路计划时充分考虑夜间停放、到发线运用条件等以确保计划的可实施性。以一级检修周期为时间跨度构建动车组运用接续网络,考虑夜间存放地点、车站到发线运用、检修里程和检修时间等约束,建立以动车组使用数量最小为目标的混合整数线性规划模型,开发两阶段分支定界算法进行求解。以某动车运用所担当的列车为案例,分析结果表明:在动车组夜间存放地点和到发线运用合理的情况下,构建的模型相比既有人工编制方法可以有效节省动车组使用数量,同时能编制动车组车站到发线运用方案及夜间存放方案,节约铁路部门运营成本,为相关人员编制动车组交路计划提供辅助参考。 展开更多
关键词 动车组 动车组交路计划 混合整数线性规划 到发线运用
在线阅读 下载PDF
基于MILP的云计算数据中心扩张策略优化模型 被引量:10
9
作者 宋俊锋 《湘潭大学自然科学学报》 CAS 北大核心 2015年第4期105-110,共6页
随着云计算系统的日益发展,云服务提供商需要对大规模数据中心进行不断扩张,为此,提出一种基于混合整数线性规划(MILP)的数据中心扩张策略优化模型.综合考虑了流量负载、能耗、电力成本、土地成本、税率、服务器利用率等多种约束,构建M... 随着云计算系统的日益发展,云服务提供商需要对大规模数据中心进行不断扩张,为此,提出一种基于混合整数线性规划(MILP)的数据中心扩张策略优化模型.综合考虑了流量负载、能耗、电力成本、土地成本、税率、服务器利用率等多种约束,构建MILP模型,在满足用户的服务级别协议(SLA)下,求解最优扩张策略,使服务商利润最大化.其中,扩张策略包括扩建现有数据中心和在何时何地新建数据中心等措施.仿真实验结果表明,该模型能够根据实际情况获得最优扩张策略,提高了利润. 展开更多
关键词 云计算 数据中心扩张 混合整数线性规划 优化模型 服务级别协议
在线阅读 下载PDF
基于MILP的PHEV入网效益评估模型求解及应用
10
作者 左郑敏 欧阳邵杰 +2 位作者 杨涛举 李晨 曾鸣 《水电能源科学》 北大核心 2013年第6期243-246,127,共5页
插入式混合电动汽车(PHEV)已成为解决能源和环境问题的重要手段,为探讨未来大规模入网能否给电网与用户带来额外效益,以电力系统运行总成本最小化为目标,以区域电能供需平衡、电池电量平衡、机组爬坡率等条件为约束,建立了新的PHEV入网... 插入式混合电动汽车(PHEV)已成为解决能源和环境问题的重要手段,为探讨未来大规模入网能否给电网与用户带来额外效益,以电力系统运行总成本最小化为目标,以区域电能供需平衡、电池电量平衡、机组爬坡率等条件为约束,建立了新的PHEV入网效益评估模型,并利用新的混合整数线性规划求解思路,使用分支和分割算法对建立的效益评估模型进行求解,通过算例对模型进行了模拟分析。结果表明,通过V2G技术,PHEV入网可为电网和PHEV用户带来显著效益。 展开更多
关键词 PHEV 效益评估模型 混合整数线性规划 入网价值
在线阅读 下载PDF
考虑电压调节设备和微电网的主动配电网最优供电恢复方法
11
作者 刘铠滢 豆朋 +2 位作者 吴添权 余克光 王杰鑫 《太阳能学报》 北大核心 2025年第1期391-401,共11页
一方面,为提高主动配电网供电恢复过程中的孤岛运行模式的供电可靠性,另一方面,为充分协调调压设备和网络重构以提高电能质量,本文综合考虑调压设备、微电网、网络重构等作用,建立基于混合整数线性规划(mixed integer linear programmin... 一方面,为提高主动配电网供电恢复过程中的孤岛运行模式的供电可靠性,另一方面,为充分协调调压设备和网络重构以提高电能质量,本文综合考虑调压设备、微电网、网络重构等作用,建立基于混合整数线性规划(mixed integer linear programming,MILP)模型的主动配电网供电恢复模型。该模型以开关操作的动作成本、电压调节设备的调节成本、失负荷成本组成的总成本为目标,以线性化潮流约束、DG模型、ZIP负荷模型、电压调节设备模型等为约束条件,建立了主动配电网供电恢复优化的MILP模型。在53节点配电系统的仿真结果验证了电压调节设备控制和微电网对配电网供电恢复的改善作用。 展开更多
关键词 微电网 分布式电源 电压调节设备 混合整数线性规划(milp) 供电恢复
在线阅读 下载PDF
基于现货电能量市场与一次调频市场联合优化模型的独立储能项目经济性分析
12
作者 王雷 闫瑞涛 +5 位作者 张凡 闫娜 岳芬 傅旭 刘梦晨 杨韵彰 《储能科学与技术》 北大核心 2025年第2期834-845,共12页
独立储能仅参与现货电能量市场难以回收成本,同时参与现货电能量市场和调频辅助服务市场将成为未来趋势。由于两个市场存在耦合,独立储能运营商需要制定合理的市场参与策略以实现收益最大化。考虑当前独立储能的损耗电量相关的价格机制... 独立储能仅参与现货电能量市场难以回收成本,同时参与现货电能量市场和调频辅助服务市场将成为未来趋势。由于两个市场存在耦合,独立储能运营商需要制定合理的市场参与策略以实现收益最大化。考虑当前独立储能的损耗电量相关的价格机制和结算机制,基于现货电能量市场和一次调频辅助服务市场规则,提出了独立储能同时参与现货电能量和一次调频辅助服务市场的联合优化模型,并通过混合整数线性规划进行求解。采用PJM某节点日前现货市场价格、山西独立储能参与一次调频试运行数据,设计算例分析了独立储能在参与不同市场、不同调频申报功率上限情况下的成本及收益构成,分析了不同调频申报功率下储能日循环次数的变化趋势,研究了损耗电量引起的输配电价及基金附加对成本的影响。结果表明,在当前市场规则下,对当前普遍采用2h以上的独立储能电站来说,同时参与现货电能量市场和一次调频两个市场,可在显著提升其收益水平的同时,降低寿命损耗,损耗电量引起的输配电价、政府性基金及附加成本最高可占储能运行成本的20%以上。 展开更多
关键词 独立储能 一次调频 经济性分析 混合整数线性规划
在线阅读 下载PDF
基于航班网络的货运航班综合恢复
13
作者 任轩禾 史晓红 唐锐 《航空计算技术》 2025年第2期23-27,32,共6页
为缓解货运航班中断带来的不利影响,并降低恢复成本,提出了一种货运航班网络的表示方法。方法能够系统化分析飞机、机组和货物之间的关联性,并将货运航班中断恢复问题构建为混合整数线性规划模型,同时实现航班与机组的重新排班,以及飞... 为缓解货运航班中断带来的不利影响,并降低恢复成本,提出了一种货运航班网络的表示方法。方法能够系统化分析飞机、机组和货物之间的关联性,并将货运航班中断恢复问题构建为混合整数线性规划模型,同时实现航班与机组的重新排班,以及飞机与货物的重新路由。基于国内货运航空公司的实际运行数据进行测试,结果显示所提出的一体化恢复模型能够在短时间内获取精确解,平均优化差距为3.6%,可为货运航班恢复的网络表示与模型构建提供了理论基础,亦可为货运航空公司制定应对策略提供参考。 展开更多
关键词 航空货运 航班恢复 综合恢复 混合整数线性规划
在线阅读 下载PDF
基于MILP模型的多无人机对地攻击任务分配 被引量:9
14
作者 倪谣 周德云 +1 位作者 马云红 贺宝财 《火力与指挥控制》 CSCD 北大核心 2008年第11期62-65,共4页
针对多无人机空对地攻击优化问题,给出了基于时序的混合整数线性规划(MILP)任务分配模型,该模型不仅描述简洁、直接,而且可以通过对约束条件的修正来满足实际问题需要。同时,利用LINGO软件进行了仿真求解,仿真结果表明,该模型不仅可以... 针对多无人机空对地攻击优化问题,给出了基于时序的混合整数线性规划(MILP)任务分配模型,该模型不仅描述简洁、直接,而且可以通过对约束条件的修正来满足实际问题需要。同时,利用LINGO软件进行了仿真求解,仿真结果表明,该模型不仅可以找到最短的任务执行时间,而且能够合理安排任务时序,使任务能够紧凑而有序地进行,有助于提高无人机任务执行效率和生存能力。 展开更多
关键词 无人机 任务分配 混合整数线性规划
在线阅读 下载PDF
计及调峰充裕度的多源系统机组检修与机组组合协同优化
15
作者 谈一洋 李黄强 +2 位作者 舒征宇 王灿 姚钦 《水力发电》 2025年第2期93-98,共6页
随着具有反调峰特性的风电并入电网,发电机组的定期检修计划会影响系统的调峰能力。针对于此,提出了调峰充裕度指标,构建了多源系统机组检修与机组组合的协同优化模型,并且考虑了调峰过剩或缺额的惩罚成本,协调检修与组合过程中调峰能... 随着具有反调峰特性的风电并入电网,发电机组的定期检修计划会影响系统的调峰能力。针对于此,提出了调峰充裕度指标,构建了多源系统机组检修与机组组合的协同优化模型,并且考虑了调峰过剩或缺额的惩罚成本,协调检修与组合过程中调峰能力与调峰需求的平衡。以机组运行成本、检修成本和调峰过剩或缺额惩罚成本之和最小为目标,优化机组检修与组合计划。采用混合整数线性规划方法,利用Yalmip+Gurobi求解器求解。经某地区电力系统测试验证,该模型能够有效地优化发电机组的检修计划,提高经济性和增强调峰能力,并且减少弃风以及切负荷的发生。 展开更多
关键词 调峰充裕度 机组检修计划 机组组合 协同优化 混合整数线性规划
在线阅读 下载PDF
风光火储系统储能容量优化配置及电力外送模式研究
16
作者 杜洪博 汤宇杨 +1 位作者 李驰 寇彩霞 《湘潭大学学报(自然科学版)》 2025年第1期53-65,共13页
随着我国大规模新能源基地建设的不断增加以及特高压直流送电技术的不断发展,基地清洁电力通过特高压直流外送通道送出实现消纳将是未来的常见形式,协调优化基地储能容量配置与特高压直流外送通道运行模式是提高系统经济性和清洁性的关... 随着我国大规模新能源基地建设的不断增加以及特高压直流送电技术的不断发展,基地清洁电力通过特高压直流外送通道送出实现消纳将是未来的常见形式,协调优化基地储能容量配置与特高压直流外送通道运行模式是提高系统经济性和清洁性的关键.提出了一种基于时序生产模拟的新能源基地储能容量配置与特高压直流外送通道运行模式的优化方法.考虑新能源发电量占比、新能源利用率、常规火电运行、储能电站运行、直流调节与外送电量等约束条件,以系统净收益最大为目标建立风光火储系统储能容量配置及外送通道运行优化模型,针对模型中的非线性约束进行了线性化处理.最后,以我国西北地区某新能源基地数据验证了所提模型和方法的有效性. 展开更多
关键词 电力系统优化 混合整数线性规划 新能源基地 特高压直流 运行模式 时序生产模拟
在线阅读 下载PDF
雅砻江流域水风光多能互补优化运行研究
17
作者 冯紫曦 《水电与新能源》 2025年第1期41-44,共4页
雅砻江清洁能源基地的水电、风电、光伏、抽水蓄能规划装机容量达7 800万kW,有必要开展水风光多能互补优化运行以获得最佳效益。在对水、风、光、蓄电源进行精细化模拟基础上,以水风光互补总收益最大和剩余负荷峰值最小为目标,构建水、... 雅砻江清洁能源基地的水电、风电、光伏、抽水蓄能规划装机容量达7 800万kW,有必要开展水风光多能互补优化运行以获得最佳效益。在对水、风、光、蓄电源进行精细化模拟基础上,以水风光互补总收益最大和剩余负荷峰值最小为目标,构建水、风、光、蓄多能互补运行模型,根据模型特点,提出采用混合整数线性规划方法进行求解,旨在为雅砻江流域多能互补优化运行提供可借鉴的方法。 展开更多
关键词 雅砻江清洁能源基地 梯级水电站 抽水蓄能电站 多能互补协同运行 混合整数线形规划
在线阅读 下载PDF
基于MILP模型和QPSO算法的绿色物流调度方法 被引量:7
18
作者 刘岚 兰小毅 《湘潭大学自然科学学报》 CAS 2018年第1期77-81,共5页
针对物流网络中绿色且经济的物流调度问题,提出一种基于混合整数线性规划(MILP)模型和量子粒子群优化(QPSO)算法的物流调度方法 .首先,根据实际情况设定物流网络中的各种元素属性,如制造商、分销商和经销商的能力以及运输方式.然后,构... 针对物流网络中绿色且经济的物流调度问题,提出一种基于混合整数线性规划(MILP)模型和量子粒子群优化(QPSO)算法的物流调度方法 .首先,根据实际情况设定物流网络中的各种元素属性,如制造商、分销商和经销商的能力以及运输方式.然后,构建一个综合考虑交付时间最小化和碳排放量最小化的目标函数,并根据网络属性约束构建一个物流调度的MILP模型.最后,通过一种QPSO算法来求解该MILP模型.在一个汽车销售物流网络上的实验结果表明,提出的方法能够很好地均衡交付时间和碳排放量. 展开更多
关键词 物流调度 交付时间 碳排放量 混合整数线性规划 量子粒子群优化
在线阅读 下载PDF
过失误差识别和数据校正的MILP模型的新视角 被引量:1
19
作者 孙少超 黄道 宫艳雪 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第1期95-99,共5页
混合整数线性规划(MILP)方法成功地应用于同时识别过失误差和协调数据,使过程数据满足物料平衡、能量平衡和其他约束条件。然而,在混合整数线性规划的框架下,模型的扩展十分困难。采用公式推导的方式证明了数据校正的MILP模型可以等价... 混合整数线性规划(MILP)方法成功地应用于同时识别过失误差和协调数据,使过程数据满足物料平衡、能量平衡和其他约束条件。然而,在混合整数线性规划的框架下,模型的扩展十分困难。采用公式推导的方式证明了数据校正的MILP模型可以等价地表示成非线性规划模型,因而该模型不仅可以用混合整数线性规划算法求解而且可以用非线性迭代算法求解,两种算法求解的一致性也验证了该结论的正确性。此外,在非线性规划的框架下,模型容易进行扩展,在不增加算法复杂度的前提下,扩展模型保证了在不存在过失误差的情况下模型为最大似然估计。两个应用实例验证了本文的观点。 展开更多
关键词 数据校正 过失误差 混合整数线性规划 鲁棒估计 非线性
在线阅读 下载PDF
基于MILP搜索的PUFFIN算法积分分析 被引量:6
20
作者 尚方舟 沈璇 +1 位作者 刘国强 李超 《密码学报》 CSCD 2019年第5期627-638,共12页
积分分析是针对分组密码十分有效的分析方法之一,其通常利用密文某些位置的零和性质构造积分区分器,并据此进行密钥恢复攻击.在ASIACRYPT 2016上,向泽军等人首次运用混合整数线性规划(MILP)模型对积分分析可分性质进行刻画,并对六种轻... 积分分析是针对分组密码十分有效的分析方法之一,其通常利用密文某些位置的零和性质构造积分区分器,并据此进行密钥恢复攻击.在ASIACRYPT 2016上,向泽军等人首次运用混合整数线性规划(MILP)模型对积分分析可分性质进行刻画,并对六种轻量级分组密码积分区分器进行搜索.本文针对轻量级分组密码PUFFIN算法,运用基于比特可分性质的MILP模型搜索可分路径,得到PUFFIN算法最长9轮积分区分器.但由于该9轮区分器区分优势不够明显且攻击数据复杂度较高,攻击效果不佳.为取得更好的攻击效果,本文选择搜索8轮积分区分器对PUFFIN算法进行10轮密钥恢复攻击.该攻击能够恢复PUFFIN算法100比特轮密钥,攻击的数据复杂度为254.81个选择明文,时间复杂度为267.49次10轮算法加密,存储复杂度为220个存储单元. 展开更多
关键词 积分分析 混合整数线性规划 可分性质 PUFFIN算法
在线阅读 下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部