期刊文献+
共找到438篇文章
< 1 2 22 >
每页显示 20 50 100
基于Branch & Bound方法MIQP问题的求解及应用 被引量:6
1
作者 张聚 李平 王万良 《系统仿真学报》 CAS CSCD 2003年第4期488-491,共4页
研究基于 Branch & Bound (B&B) 方法的混合整数二次规划(Mixed Integer Quadratic Programming, MIQP)问题的求解,以及在一类混杂系统优化控制中的应用。B & B算法求解MIQP问题的过程,可视为对于一个二叉树的搜索。影响B &... 研究基于 Branch & Bound (B&B) 方法的混合整数二次规划(Mixed Integer Quadratic Programming, MIQP)问题的求解,以及在一类混杂系统优化控制中的应用。B & B算法求解MIQP问题的过程,可视为对于一个二叉树的搜索。影响B & B算法寻优效率的两个主要方面是:分支变量的选择规则,以及树搜索策略。通过设定控制变量QPmax, 用以限制寻优过程求解QP问题的最大数目,可以在较短的时间内获得MIQP问题的满足整数约束条件次优解。利用MATLAB编制MIQP问题的求解程序,并在混杂系统优化控制中的应用,做了仿真计算。 展开更多
关键词 混合整数二次规划 MIQP问题 branch&bound方法 二叉树
在线阅读 下载PDF
Lower Bounds and a Nearly Fastest General Parallel Branch-and-Bound Algorithm 被引量:2
2
作者 Wu, Jigang Xie, Xing +1 位作者 Wan, Yingyu Chen, Guoliang 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2000年第3期65-73,共9页
In this paper, it is supposed that the B&B algorithm finds the first optimal solution after h nodes have been expanded and m active nodes have been created in the state-space tree. Then the lower bound Ω(m+h log ... In this paper, it is supposed that the B&B algorithm finds the first optimal solution after h nodes have been expanded and m active nodes have been created in the state-space tree. Then the lower bound Ω(m+h log h) of the running time for the general sequential B&B algorithm and the lower bound Ω(m/p+h log p) for the general parallel best-first B&B algorithm in PRAM-CREW are proposed, where p is the number of processors available. Moreover, the lower bound Ω(M/p+H+(H/p) log (H/p)) is presented for the parallel algorithms on distributed memory system, where M and H represent total number of the active nodes and that of the expanded nodes processed by p processors, respectively. In addition, a nearly fastest general parallel best-first B&B algorithm is put forward. The parallel algorithm is the fastest one as p = max{hε, r}, where ε = 1/ rootlogh, and r is the largest branch number of the nodes in the state-space tree. 展开更多
关键词 branch-AND-bound State-space tree Active list Parallel algorithm Combinatorial search.
在线阅读 下载PDF
风火联合发电系统日前-日内两阶段协同优化调度 被引量:2
3
作者 叶林 张步昇 +3 位作者 郭凯蕾 裴铭 夏雪 谢欢 《中国电机工程学报》 北大核心 2025年第7期2527-2539,I0007,共14页
风火联合发电系统协同调度过程受风电不确定性和风火协同特性的影响显著。为此,该文提出一种基于改进风电不确定集鲁棒优化的风火联合发电系统日前-日内两阶段协同优化调度方法。首先,建立日前-日内两阶段风火协同调度模型,构建基于“... 风火联合发电系统协同调度过程受风电不确定性和风火协同特性的影响显著。为此,该文提出一种基于改进风电不确定集鲁棒优化的风火联合发电系统日前-日内两阶段协同优化调度方法。首先,建立日前-日内两阶段风火协同调度模型,构建基于“闭环反馈型”数据驱动鲁棒优化的风电不确定集合;其次,提出考虑改进风电功率历史预测误差不确定集的风火协同鲁棒调度方法,实现日前-日内两阶段风、火协同调度计划的动态随机筛选;然后,采用鲁棒对偶理论将不确定调度模型进行转换,并基于反馈流松弛和有效不确定域空间辨识约束的改进分支定界法对转换后的数学模型进行求解;最后,在IEEE-39节点系统上进行算例验证。结果表明:相比传统风火打捆调度模式,所提方法更好地提升风火协同调度能力和经济效益,有效促进风电消纳。 展开更多
关键词 风火协同调度 风电不确定集 鲁棒优化 改进分支定界法 动态潮流约束
在线阅读 下载PDF
飞行器系统动作聚类一体化设计方法
4
作者 刘哲 韦常柱 +1 位作者 魏承 浦甲伦 《系统工程与电子技术》 北大核心 2025年第8期2558-2569,共12页
针对飞行器系统设计过程中功能需求繁多且存在交叉导致设计结果存在大量功能冗余、设计空间难以充分利用的问题,提出一种飞行器系统动作聚类一体化设计方法。基于公理设计框架,通过模型化表征分系统、物理域部件的设计过程,深入分析功... 针对飞行器系统设计过程中功能需求繁多且存在交叉导致设计结果存在大量功能冗余、设计空间难以充分利用的问题,提出一种飞行器系统动作聚类一体化设计方法。基于公理设计框架,通过模型化表征分系统、物理域部件的设计过程,深入分析功能需求、系统行为、动作间的交互关系,对相似动作进行聚类得到若干动作子集,并通过分枝定界法得到动作集合对应的一体化物理域部件,以实现一体化设计,从而提升设计空间利用率。以入轨航天器顶层分系统架构一体化设计以及其中的动力分系统一体化设计为例,验证了方法的合理性。设计结果表明,所提方法能有效减少分系统及物理域部件数量,从而降低飞行器系统设计冗余。 展开更多
关键词 一体化飞行器 公理设计 动作聚类 分枝定界
在线阅读 下载PDF
基于BAB算法的ECG身份识别解析特征选择方法 被引量:6
5
作者 杨向林 严洪 +3 位作者 任兆瑞 许志 张煜 姚宇华 《仪器仪表学报》 EI CAS CSCD 北大核心 2010年第10期2394-2400,共7页
ECG作为一种新的活体生物特征用于身份识别有着广阔的应用前景。针对目前不同学者用于ECG身份识别的解析特征种类多、差异大问题。提出了ECG身份识别的特征选择问题,并提出了基于分支定界法的ECG身份识别解析特征选择方法,将所提出的解... ECG作为一种新的活体生物特征用于身份识别有着广阔的应用前景。针对目前不同学者用于ECG身份识别的解析特征种类多、差异大问题。提出了ECG身份识别的特征选择问题,并提出了基于分支定界法的ECG身份识别解析特征选择方法,将所提出的解析特征与Gahi最新提出的解析特征送入神经网络进行比较。实验表明该算法所提特征稳定性高、特异性强,优于Gahi算法所提特征,可有效用于ECG身份识别。 展开更多
关键词 解析特征 心电图 分支定界法 特征选择 身份识别
在线阅读 下载PDF
基于BAB策略与SVM的虹膜块状纹理检测 被引量:6
6
作者 朱立军 苑玮琦 《仪器仪表学报》 EI CAS CSCD 北大核心 2016年第11期2438-2444,共7页
块状纹理是虹膜表面上一种重要的特征纹理。对于可见光虹膜图像而言,由于受眼睑、光斑及光照不均匀等因素影响,如何准确地提取出该特征纹理仍然是目前一个亟待解决的难题。提出一种基于分枝定界(BAB)策略和支持向量机(SVM)的可见光虹膜... 块状纹理是虹膜表面上一种重要的特征纹理。对于可见光虹膜图像而言,由于受眼睑、光斑及光照不均匀等因素影响,如何准确地提取出该特征纹理仍然是目前一个亟待解决的难题。提出一种基于分枝定界(BAB)策略和支持向量机(SVM)的可见光虹膜块状纹理检测方法。首先使用线性模板来提取虹膜上所有目标纹理;然后,采用BAB策略定位所有目标纹理并计算每个目标纹理的特征向量;最后,使用SVM实现对块状纹理的检测。通过实验证明,该方法对于虹膜块状纹理的检出率和检测时间均优于同类方法。 展开更多
关键词 块状纹理 线性模板 分支限界 支持向量机 虹膜识别
在线阅读 下载PDF
智能叉车密集仓储系统料框出库翻箱问题研究
7
作者 李子龙 程天健 +3 位作者 金波 程文明 曹轶伦 郭鹏 《浙江大学学报(工学版)》 北大核心 2025年第10期2023-2033,共11页
为了提高智能叉车密集仓储系统作业效率,针对出库作业时的料框翻箱问题,以最小化料框翻箱次数为目标,定义相关约束条件并构建数学规划模型,提出快速求解料框翻箱方案的启发式方法.给出该问题下界的计算方法,构建分支定界算法以求得理论... 为了提高智能叉车密集仓储系统作业效率,针对出库作业时的料框翻箱问题,以最小化料框翻箱次数为目标,定义相关约束条件并构建数学规划模型,提出快速求解料框翻箱方案的启发式方法.给出该问题下界的计算方法,构建分支定界算法以求得理论最优解.在堆料区布局和出库量不同的情况下,随机生成大量算例进行数值分析.计算结果表明,在小规模算例中,启发式方法和分支定界算法都具有高效求解能力;在中大规模算例中,启发式方法能够快速获得较为合理的可行解,分支定界算法能够在较短时间内对初始翻箱方案进行优化并给出近似最优解.相比随机翻箱策略,分支定界算法在翻箱次数上平均减少了43.32%,验证了该算法的有效性和实用性.通过对比不同仓储设备的性能发现,前移式叉车比普通叉车平均减少了8.59%的翻箱次数. 展开更多
关键词 智能叉车密集仓储系统 料框翻箱问题 数学规划模型 启发式方法 分支定界算法
在线阅读 下载PDF
序定车辆路径问题:模型与算法研究
8
作者 文若霖 陈峰 《运筹与管理》 北大核心 2025年第2期9-15,共7页
本文提出并研究一类新的序定车辆路径问题。首先,提出序定线路的新概念,并对考虑容积、载重与时间窗约束且带有序定线路特征的优化问题进行精准数学描述,并归约证明了所研究问题的NP-难解性。其次,建立序定车辆路径问题的混合整数线性... 本文提出并研究一类新的序定车辆路径问题。首先,提出序定线路的新概念,并对考虑容积、载重与时间窗约束且带有序定线路特征的优化问题进行精准数学描述,并归约证明了所研究问题的NP-难解性。其次,建立序定车辆路径问题的混合整数线性规划模型。进一步,提出序定NF、序定FF、序定BF、序定节约与序定插入等5类启发式算法,并提出基于分支定界方法的精确算法。最后,数值实验验证了所提出模型的有效性及所提出算法的高效性,结果表明所提出分支定界算法和启发式算法能够获得27.53%和17.93%的成本节约。基于汽车售后物流企业真实线路数据的案例分析表明所提出的问题、模型与算法能够较好匹配真实的运作场景,并且能够直接运用于面向实践的优化决策。 展开更多
关键词 序定约束 车辆路径问题 启发式算法 分支定界法
在线阅读 下载PDF
求解一类线性多乘积规划问题的自适应分支定界算法
9
作者 梁雨欣 申培萍 尹建菲 《应用数学》 北大核心 2025年第1期217-223,共7页
本文针对一类线性多乘积规划问题(LMP)提出一种具有自适应分支规则的分支定界算法.首先将问题(LMP)转化为等价问题,然后利用分段线性近似逼近其非凸约束的凹部分,通过所提出的自适应分支规则分割盒子并迭代细化分段线性近似,将问题(LMP... 本文针对一类线性多乘积规划问题(LMP)提出一种具有自适应分支规则的分支定界算法.首先将问题(LMP)转化为等价问题,然后利用分段线性近似逼近其非凸约束的凹部分,通过所提出的自适应分支规则分割盒子并迭代细化分段线性近似,将问题(LMP)的求解过程转化为求解一系列二阶锥松弛问题(SOCR).此外,证明算法的收敛性和复杂度.最后,数值结果表明了该算法的有效性和可行性. 展开更多
关键词 线性多乘积规划 全局最优解 自适应分支定界 二阶锥松弛
在线阅读 下载PDF
基于策略搜索算法的出口集装箱翻箱作业优化
10
作者 陈逸飞 韩晓龙 牛雅凡 《计算机工程》 北大核心 2025年第9期362-372,共11页
随着港口物流在集装箱码头的高速发展,在自动化集装箱码头中,堆场出口集装箱贝位翻箱问题备受关注。考虑堆场出口集装箱贝位翻箱问题,设计不同集装箱分布下的启发式翻箱规则,并在处理空栈与特殊栈时进行细致的优化,提出基于策略的快速... 随着港口物流在集装箱码头的高速发展,在自动化集装箱码头中,堆场出口集装箱贝位翻箱问题备受关注。考虑堆场出口集装箱贝位翻箱问题,设计不同集装箱分布下的启发式翻箱规则,并在处理空栈与特殊栈时进行细致的优化,提出基于策略的快速求解算法。基于该算法引入规则得分,构建基于规则排序的分支定界算法和定向搜索算法,分支定界算法可求得该问题最优解,而定向搜索算法可在较短时间内求得较优可行解。算例结果表明,基于规则排序的分支定界算法与定向搜索算法在小规模算例上均能高效求解,并且在大规模算例中,通过与现有研究求解算法对比,基于规则排序的分支定界算法与定向搜索算法求解效率提升近47.78%和56.59%。 展开更多
关键词 翻箱问题 启发式算法 分支定界算法 定向搜索算法 自动化集装箱码头
在线阅读 下载PDF
基于列生成和分支定界算法的两阶段二次装箱问题
11
作者 杨玉冰 杨松坡 《计算机集成制造系统》 北大核心 2025年第1期341-354,共14页
为将切割和装箱问题作为一条完整的生产物流链进行研究,设计考虑将两者契合在一起,构建了两阶段二次装箱模型,第一阶段为二维切割问题,第二阶段为二维装箱问题。为求解上述问题,提出了两阶段基于列生成和分支定界算法的求解方式。利用... 为将切割和装箱问题作为一条完整的生产物流链进行研究,设计考虑将两者契合在一起,构建了两阶段二次装箱模型,第一阶段为二维切割问题,第二阶段为二维装箱问题。为求解上述问题,提出了两阶段基于列生成和分支定界算法的求解方式。利用列生成算法对问题的线性松弛主问题进行求解后,使用分支定界进行后续问题的求解,最终原整数规划问题通过该方法得到了最优解。通过二次装箱策略将装箱问题分解为一次装箱和二次装箱,进而简化其求解复杂度。一次装箱类似于快递包装,在箱子上进行标记,记录箱子内装载货物的规格和数量位置,二次装箱类似于包裹的转载运输。二次装箱策略可以对货物进行分类包装,能够跟踪货物的后续搬运过程,进而减少物流企业在各需求地的搬运成本,帮助物流企业在后续配送过程中提高工作效率。通过对实例的测试,结果表明列生成和分支定界算法适用于所提出模型的求解,研究成果为二维切割和装箱组合问题的求解提供了有效途径。 展开更多
关键词 物流工程 二维装箱问题 二次装箱策略 列生成算法 分支定界 两阶段求解
在线阅读 下载PDF
四重底线下模糊多目标可持续供应链网络规划 被引量:1
12
作者 邱云飞 于智龙 +2 位作者 金海波 刘雨诗 张文文 《计算机集成制造系统》 EI CSCD 北大核心 2024年第9期3354-3387,共34页
针对可持续供应链网络多基于经济、环境、社会三重底线进行模型构建,未能充分描述企业自身治理能力与供应链模型的关联程度,同时为了更加准确地表示模型中不确定参数的真实状态,在《CITI评价指南8.0》的基础上,提出一种对经济成本、环... 针对可持续供应链网络多基于经济、环境、社会三重底线进行模型构建,未能充分描述企业自身治理能力与供应链模型的关联程度,同时为了更加准确地表示模型中不确定参数的真实状态,在《CITI评价指南8.0》的基础上,提出一种对经济成本、环境污染、社会影响与企业治理能力四重底线协同建模的模糊多目标可持续供应链网络模型,并设计了一种结合禁忌搜索与分支定界的混合式元启发算法(TSA-BB)对模型进行求解。首先,综合考虑四重底线的各项指标特征,建立相应的模糊层次分析结构模型表示各指标间的相对重要程度。然后,根据相对重要程度依次构建直接影响矩阵、综合影响矩阵,并依据二者计算各指标的加权中心度作为整合多目标函数的综合权重。最后,在TSA-BB中设计多种算法规则对模型进行高效求解,并基于大量算例仿真验证了模型与算法的可行性及有效性。实验结果表明,模糊指标与四重底线协同建模可更好地拟合供应链的真实状态,同时企业治理能力应成为各层级决策者均衡优化供应链网络模型需考虑的重要决策依据。 展开更多
关键词 四重底线 可持续供应链 企业治理能力 禁忌搜索 分支定界
在线阅读 下载PDF
基于分枝约界法的复材加筋板多模式多位置可靠性分析
13
作者 冯蕴雯 宋祉岑 +2 位作者 曹一哲 路成 薛小锋 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第5期783-792,共10页
为了解决复合材料结构失效呈现多模式、多位置并发式,探究了分枝约界方法(BBM)在复合材料多模式、多位置可靠性分析中的应用,并结合蒙特卡罗方法对多模式可靠度进行了求解。结合结构组成、承载状态“分枝”,识别所有可能的潜在失效模式... 为了解决复合材料结构失效呈现多模式、多位置并发式,探究了分枝约界方法(BBM)在复合材料多模式、多位置可靠性分析中的应用,并结合蒙特卡罗方法对多模式可靠度进行了求解。结合结构组成、承载状态“分枝”,识别所有可能的潜在失效模式,再结合结构特征、应力状态“约界”,确定主要失效模式和失效位置,建立多模式可靠性分析模型;通过复合材料独有的失效准则向安全边界方程进行转化,探索复合材料可靠性分析的方法和流程框架,并采用蒙特卡罗求解多模式、多位置失效的可靠度;开展T型复合材料加筋板在轴压载荷下的可靠性分析案例验证,通过使用分枝约界法计算规模减少75%,轴压载荷下加筋板多模式可靠度为0.998。 展开更多
关键词 多模式可靠性分析 复合材料可靠性分析 分枝约界法 加筋 多失效模式
在线阅读 下载PDF
CPS中面向区间任务的多类资源分配方法 被引量:1
14
作者 周浩浩 马武彬 +1 位作者 吴亚辉 邓苏 《运筹与管理》 CSSCI CSCD 北大核心 2024年第9期106-112,共7页
随着数字孪生、物联网等技术的快速发展,对于信息物理融合系统(Cyber-Physical System,CPS)的相关研究变得愈发重要。本文针对CPS中作业调度的特点,以获取最大作业收益为目标,基于多类资源探讨面向区间作业的CPS资源分配方法。作为一类... 随着数字孪生、物联网等技术的快速发展,对于信息物理融合系统(Cyber-Physical System,CPS)的相关研究变得愈发重要。本文针对CPS中作业调度的特点,以获取最大作业收益为目标,基于多类资源探讨面向区间作业的CPS资源分配方法。作为一类新的资源分配问题,其相比以往研究的相关问题复杂度更高,本文区分收益与成本关系提出了两类子问题:VCC和VCN,并构建了整数规划模型。针对模型中存在的非线性约束条件,使用预处理算法将相关非线性约束条件进行转换,在此基础上应用贪婪算法、分支定界算法和遗传算法求解该VCC和VCN问题。实验通过设置大量算例验证了三种算法的有效性,并分析了作业到达率、作业规模等参数对三种算法的影响,对区间调度问题的研究提供了可参考的理论和方法。 展开更多
关键词 资源分配 作业调度 CPS 分支定界 遗传算法
在线阅读 下载PDF
基于Benders分解和分枝定界的随机交期批量流流水车间调度 被引量:2
15
作者 石亚东 刘冉 +1 位作者 王铖恺 吴泽锐 《上海交通大学学报》 EI CAS CSCD 北大核心 2024年第8期1271-1281,I0001,I0002,共13页
针对交期随机的批量流车间调度问题,以最小化工件延期期望之和为目标,推导出工件交期符合3类经典随机分布条件下问题目标的闭式计算表达式.建立考虑换模时间与随机交期的问题数学模型,针对模型高度非线性特征对其线性化.设计一种基于逻... 针对交期随机的批量流车间调度问题,以最小化工件延期期望之和为目标,推导出工件交期符合3类经典随机分布条件下问题目标的闭式计算表达式.建立考虑换模时间与随机交期的问题数学模型,针对模型高度非线性特征对其线性化.设计一种基于逻辑的Benders分解(LBBD)与分枝定界相结合的优化算法,提出两种有效加速策略提升算法求解效率.数值实验结果验证了算法的有效性,通过随机交期与确定交期结果的比较,验证了考虑随机的必要性. 展开更多
关键词 随机交期 批量流 Benders分解 分枝定界
在线阅读 下载PDF
基于图卷积和注意力神经网络的旅行商问题新解法 被引量:1
16
作者 韦念念 韩曙光 《计算机科学》 CSCD 北大核心 2024年第S01期210-217,共8页
旅行商问题是一个经典的组合优化问题。为快速求解旅行商问题,设计了由图嵌入网络、图卷积神经网络、注意力神经网络和多层感知机组合而成的深度学习模型的学习分支规则,通过改进传统的分支定界算法提高算法性能。对15个城市的旅行商问... 旅行商问题是一个经典的组合优化问题。为快速求解旅行商问题,设计了由图嵌入网络、图卷积神经网络、注意力神经网络和多层感知机组合而成的深度学习模型的学习分支规则,通过改进传统的分支定界算法提高算法性能。对15个城市的旅行商问题实例进行监督训练,并在SCIP求解器上分别测试10,15,20,25和30个城市的旅行商问题实例。发现:基于学习分支规则的分支定界算法的求解时间比基于传统分支规则的分支定界算法的求解时间分别快-0.0022 s,0.0178 s,1.7643 s,2.3074 s和2.0538 s。因此,基于图神经网络的分支变量选择对传统分支规则的改进是有效的,可以较好地泛化到训练规模更大的旅行商问题实例中。 展开更多
关键词 旅行商问题 图卷积神经网络 注意力网络 分支定界算法 监督学习
在线阅读 下载PDF
一类加工需要额外资源的平行机调度问题的算法设计
17
作者 江明月 简苏平 +2 位作者 崔晓龙 万龙 董建明 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2024年第3期321-327,335,共8页
给出了一类加工需要额外资源的平行机调度问题的精确算法。针对在平行机上加工的工件,除需要机器资源外,还需要一个单位额外资源的问题,考虑额外资源的种类和数量有限,以给出问题的最优调度使工件的完工时间最小为目标。该问题源于地球... 给出了一类加工需要额外资源的平行机调度问题的精确算法。针对在平行机上加工的工件,除需要机器资源外,还需要一个单位额外资源的问题,考虑额外资源的种类和数量有限,以给出问题的最优调度使工件的完工时间最小为目标。该问题源于地球观测卫星的数据下载,在智能制造和信息处理等领域亦有广泛应用。给出了该问题的整数规划模型、最优解下界和分支定界算法;给出了一种有效的分支策略以避免重复分支,设计了相应的定界方法以提高算法的收敛速度。通过小规模实例和大量的数值仿真实验,验证了算法的正确性和在不同参数配置下的有效性。 展开更多
关键词 平行机调度问题 额外资源 整数规划模型 分支定界算法
在线阅读 下载PDF
多无人机平滑巡检路径规划算法 被引量:4
18
作者 徐小玲 雷高伟 刘美 《科学技术与工程》 北大核心 2024年第19期8346-8355,共10页
针对石化中多无人机巡检路径问题,利用Dubins曲线并采用提出的滚动式分支定界算法实现最短的平滑轨迹规划。算法将多无人机巡检路径规划问题描述为基于Dubins的多旅行商问题,以实现最优巡检路径规划为目标,提出滚动式分支定界算法不断... 针对石化中多无人机巡检路径问题,利用Dubins曲线并采用提出的滚动式分支定界算法实现最短的平滑轨迹规划。算法将多无人机巡检路径规划问题描述为基于Dubins的多旅行商问题,以实现最优巡检路径规划为目标,提出滚动式分支定界算法不断预估并更新路径长度,并利用上界及下界的不断迭代优化寻求最优路径。此外,算法利用最小插入算法对贪婪算法的改进获得优质的候选解从而剔除更多分支来优化巡检路径。最后,通过离散化各监测点位置的航向角及滑动窗口的限制来规划Dubins路径,实现路径平滑。实验仿真结果表明与现有的巡检路径规划算法相比,该算法在路径长度方面具有更好的性能。 展开更多
关键词 路径规划 无人机 Dubins 滚动式分支定界
在线阅读 下载PDF
基于分支定界技术的分组密码新型积分区分器搜索
19
作者 曾凡洋 田甜 《密码学报(中英文)》 CSCD 北大核心 2024年第4期861-877,共17页
积分攻击是一种针对分组密码的重要攻击技术.传统上,积分区分器是在一组给定明文下的平衡比特,即零和积分区分器.然而,一些带密钥的区分器往往被忽略,实际上对积分攻击也有一定帮助.本文提出一种新型分组密码积分区分器,称为基于密钥的... 积分攻击是一种针对分组密码的重要攻击技术.传统上,积分区分器是在一组给定明文下的平衡比特,即零和积分区分器.然而,一些带密钥的区分器往往被忽略,实际上对积分攻击也有一定帮助.本文提出一种新型分组密码积分区分器,称为基于密钥的积分区分器,以及关于该区分器的搜索技术.本文的主要想法是首先恢复某个输出比特关于轮子密钥的超多项式作为积分区分器,然后猜测最后几轮的部分轮子密钥,通过密钥调度算法来简化超多项式.如果超多项式关于密钥变量是平衡的,则可以恢复1比特轮子密钥信息,一般情况下,可以转换为1比特的主密钥信息.为了有效搜索基于密钥的积分区分器,本文提出一种结合可分性和分支定界的方法,并将其应用到SIMON和Simeck算法中.针对15轮SIMON32、18轮SIMON64和15轮Simeck32,分别恢复了12、8和9个密钥超多项式,并且利用其中一个超多项式,给出了一个25轮SIMON32的密钥恢复攻击.此外,利用新的搜索技术,给出了18轮SIMON64的两个新的平衡比特.据我们所知,这是第一次使用与密钥相关的积分区分器对分组密码实施密钥恢复攻击. 展开更多
关键词 积分攻击 可分性质 分支定界 MILP
在线阅读 下载PDF
一种整数线性乘积规划问题的分支定界算法 被引量:1
20
作者 李敏敏 高岳林 《应用数学》 北大核心 2024年第1期1-14,共14页
本文为了求解整数线性乘积规划(ILMP)问题的全局最优解,提出一种新的线性松弛分支定界算法.该算法利用对数函数的单调性及凹凸性,得到(ILMP)全局最小值的下界,并利用区域缩减技术以最大限度地删除不可行区域,加快该算法的收敛速度.最后... 本文为了求解整数线性乘积规划(ILMP)问题的全局最优解,提出一种新的线性松弛分支定界算法.该算法利用对数函数的单调性及凹凸性,得到(ILMP)全局最小值的下界,并利用区域缩减技术以最大限度地删除不可行区域,加快该算法的收敛速度.最后数值实验表明,本文提出的算法是有效并且可行的. 展开更多
关键词 整数规划 全局优化 分支定界 线性乘积规划 区域缩减
在线阅读 下载PDF
上一页 1 2 22 下一页 到第
使用帮助 返回顶部