期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
求解带有阻塞限制的HFSP的MILP模型与改进回溯搜索算法 被引量:7
1
作者 孟磊磊 张超勇 +2 位作者 任彩乐 李振国 任亚平 《中国机械工程》 EI CAS CSCD 北大核心 2018年第22期2647-2658,共12页
针对带有阻塞限制的不相关并行机混合流水车间调度问题,以最小化最长完工时间为目标,依据不同的建模思想,建立了求解该问题的4个混合整数线性规划(MILP)模型;鉴于混合整数线性规划不适合求解中大规模问题,提出了一种改进的回溯搜索算法... 针对带有阻塞限制的不相关并行机混合流水车间调度问题,以最小化最长完工时间为目标,依据不同的建模思想,建立了求解该问题的4个混合整数线性规划(MILP)模型;鉴于混合整数线性规划不适合求解中大规模问题,提出了一种改进的回溯搜索算法以求解中大规模问题,在该算法中,引入了轮盘赌选择策略以及变邻域搜索算法,以提高算法的收敛速度以及局部搜索能力。最后,对所提MILP模型以及算法进行了对比分析,通过对具体实例的求解验证了所提MILP模型以及算法的有效性及优越性。 展开更多
关键词 混合流水车间调度 阻塞 混合整数线性规划 回溯搜索算法 轮盘赌选择策略 变邻域搜索
在线阅读 下载PDF
基于混合整数线性规划的MORUS初始化阶段的差分分析 被引量:2
2
作者 刘帅 关杰 +1 位作者 胡斌 马宿东 《电子与信息学报》 EI CSCD 北大核心 2023年第7期2537-2545,共9页
认证加密算法MORUS是凯撒(CAESAR)竞赛的优胜算法,抗差分分析性能是衡量认证加密算法安全性的重要指标之一。该文研究了MORUS算法初始化阶段的差分性质,首先给出了一个差分推导规则,可以快速获得一条概率较大的差分链。在此基础上利用... 认证加密算法MORUS是凯撒(CAESAR)竞赛的优胜算法,抗差分分析性能是衡量认证加密算法安全性的重要指标之一。该文研究了MORUS算法初始化阶段的差分性质,首先给出了一个差分推导规则,可以快速获得一条概率较大的差分链。在此基础上利用混合整数线性规划(MILP)自动搜索技术求解更优的差分链。为了提高搜索速度,结合MORUS初始化阶段的结构特点给出了分而治之策略。根据ΔIV的重量、取值将MILP模型划分为多个子模型并证明了部分子模型的等价性,大大缩减了模型的求解时间,得到了MORUS初始化阶段1~6步状态更新的最优差分链。最后给出了简化版MORUS的差分-区分攻击,该文的结果较之前的工作有较大的提升。 展开更多
关键词 认证加密算法 MORUS 混合整数线性规划自动搜索 差分分析
在线阅读 下载PDF
ACE密码算法的积分分析 被引量:4
3
作者 叶涛 韦永壮 李灵琛 《电子与信息学报》 EI CSCD 北大核心 2021年第4期908-914,共7页
ACE是国际轻量级密码算法标准化征集竞赛第2轮候选算法之一。该算法具有结构简洁,软硬件实现快、适用于资源受限环境等特点,其安全性备受业界广泛关注。该文引入字传播轨迹新概念,构建了一个传播轨迹的描述模型,并给出一个可以自动化评... ACE是国际轻量级密码算法标准化征集竞赛第2轮候选算法之一。该算法具有结构简洁,软硬件实现快、适用于资源受限环境等特点,其安全性备受业界广泛关注。该文引入字传播轨迹新概念,构建了一个传播轨迹的描述模型,并给出一个可以自动化评估分组密码算法抵抗积分攻击能力的方法。基于ACE算法结构特点,将该自动化搜索方法应用于评估ACE算法的安全性。结果表明:ACE置换存在12步的积分区分器,需要的数据复杂度为2^(256),时间复杂度为2^(256)次12步的ACE置换运算,存储复杂度为8 Byte。相比于ACE算法设计者给出的积分区分器,该新区分器的步数提高了4步。 展开更多
关键词 积分区分器 混合整数线性规划 自动化分析方法 ACE置换
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部