顺序编码方法优化与SAT搜索应用

1

作者 颜国华 张凤荣 +2 位作者 崔笑 韦永壮 王保仓 《密码学报(中英文)》 北大核心 2025年第4期894-910,共17页

自动搜索技术在密码分析中起着越来越重要的作用,SAT搜索技术是目前常用的搜索技术之一.为了更好地使得SAT搜索方法应用于密码分析领域并提高搜索效率,本文提出新的构造SAT模型方法.首先,提出一种新的k输入异或模型,在产生4·(k−1)&... 自动搜索技术在密码分析中起着越来越重要的作用,SAT搜索技术是目前常用的搜索技术之一.为了更好地使得SAT搜索方法应用于密码分析领域并提高搜索效率,本文提出新的构造SAT模型方法.首先,提出一种新的k输入异或模型,在产生4·(k−1)·n个句子情况下,引入变量减少至[(k−3)2]·n.其次,对约束目标函数的顺序编码方法改进,提出了两种新的顺序编码方法,两种方法引入的辅助变量分别减少至(n−k−1/2)·k和(n−k)·k.进一步地,根据新的顺序编码方法提出新的定界条件编码方法,将Matsui定界条件引入SAT模型加速搜索.最后,本文将新的构造SAT模型方法应用于FBC、SMS4和PRESENT等密码算法的最小活跃S盒搜索,给出相应缩减轮密码算法的最小活跃S盒数量. 展开更多

关键词 分组密码 差分分析 自动搜索 SAT方法

在线阅读 下载PDF 职称材料

输电线路山火卫星监测与告警算法研究 被引量：35

2

作者 陆佳政 刘毓 +2 位作者 吴传平 张红先 周特军 《中国电机工程学报》 EI CSCD 北大核心 2015年第21期5511-5519,共9页

输电线路走廊附近的山火容易引起线路跳闸。使用卫星监测山火技术可及时发现输电线路山火,为现场处置提供指导。与大面积森林火灾不同,输电线路山火具有面积小、过火迅速等特点,监测的时空精度要求高,为此,文中提出一种基于卫星热点粗... 输电线路走廊附近的山火容易引起线路跳闸。使用卫星监测山火技术可及时发现输电线路山火,为现场处置提供指导。与大面积森林火灾不同,输电线路山火具有面积小、过火迅速等特点,监测的时空精度要求高,为此,文中提出一种基于卫星热点粗判、火点细判的综合阈值火点判识方法,可准确识别较小面积山火。为求取不同地理、气候、天气等条件下的判识阈值,提出相应的求取试验方法。针对火点与输电线路杆塔告警计算繁琐的问题,提出几种基于卫星监测火点的输电线路山火告警计算方法：圆形缓冲区法、邻近网格法和区域分块查找法。通过测试,几种方法运算速度比传统的遍历算法提高2～3倍,其中,速度相对最快的为区域分块查找法,其次为邻近网格法,再次为圆形缓冲区法。此外,区域分块查找法和临近网格法的数据存储更方便、高效。因此在实际应用中,推荐使用区域分块查找法或临近网格法。 展开更多

关键词 输电线路山火 卫星监测 告警计算方法 圆形缓冲区法 邻近网格法 区域分块查找法

原文传递

粒子图像测速技术互相关算法研究进展 被引量：12

3

作者 张伟 葛耀君 杨詠昕 《力学进展》 EI CSCD 北大核心 2007年第3期443-452,共10页

粒子图像测速技术(particle image velocimetry,PIV)中采用的互相关算法就是需要从独立存在的两幅图像通过一定的判别方法得到流场中各点的流速矢量的计算方法.互相关算法的具体实现步骤包括图像前处理、区域离散、匹配原则选取、搜索... 粒子图像测速技术(particle image velocimetry,PIV)中采用的互相关算法就是需要从独立存在的两幅图像通过一定的判别方法得到流场中各点的流速矢量的计算方法.互相关算法的具体实现步骤包括图像前处理、区域离散、匹配原则选取、搜索方法选取和变形预测,最后对结果进行后处理.文中从上述几个方面总结了国内外近年来互相关算法的发展过程,并通过对各种方法精度和效率的比较对其应用发展进行了归纳. 展开更多

关键词 PIV 互相关算法 区域离散 匹配原则 变形预测

在线阅读 下载PDF 职称材料

运动补偿在等离子体显示屏中的应用 被引量：2

4

作者 夏军 陈娟 尹涵春 《电子器件》 EI CAS 2006年第4期1359-1362,共4页

等离子体显示屏在显示运动画面时会出现伪轮廓线等动态失真现象。一种解决方法是对子场显示信息进行运动补偿,但它需要对连续视频流进行准确运动估计。本文提出一种MPEG码流中运动矢量提取算法,并对运动矢量提取方法和全搜索块匹配法进... 等离子体显示屏在显示运动画面时会出现伪轮廓线等动态失真现象。一种解决方法是对子场显示信息进行运动补偿,但它需要对连续视频流进行准确运动估计。本文提出一种MPEG码流中运动矢量提取算法,并对运动矢量提取方法和全搜索块匹配法进行了比较。利用提取的运动矢量,讨论了部分子场运动补偿方法对等离子体显示屏图像质量的改进。仿真结果表明将运动矢量提取方法和部分子场补偿方法相结合可以明显的消除等离子体显示屏上的动态失真现象。 展开更多

关键词 等离子体显示屏 动态伪轮廓线 运动补偿 全搜索块匹配法

在线阅读 下载PDF 职称材料

基于Windows CE下大像素图像分块显示算法的研究 被引量：2

5

作者 朱亚奇 刘维亭 《科学技术与工程》 2008年第15期4170-4173,4183,共5页

Windows CE是一种典型的嵌入式系统,由于其配置的硬件资源的瓶颈,内存资源比一般的PC相对紧张。所以在安装Windows CE的设备下显示大像素图像文件比在一般的PC(Windows2000系统)上更加困难。介绍在Windows CE环境下如何利用分块显示法,... Windows CE是一种典型的嵌入式系统,由于其配置的硬件资源的瓶颈,内存资源比一般的PC相对紧张。所以在安装Windows CE的设备下显示大像素图像文件比在一般的PC(Windows2000系统)上更加困难。介绍在Windows CE环境下如何利用分块显示法,对大像素图像进行分块显示。提出首先在PC机上利用网格分块法将一幅大像素图像文件BMP,JPEG图像文件分割压缩成多块像素量小的BMP,JPEG图像文件,对每个小图像文件进行编号,存放到Windows CE PDA上;然后在Windows CE PDA上利用网格检索的方法进行检索所需要的像素块的索引号;最后利用多线程的方法在显示区分块显示,实现大像素图像在Windows CE下的显示。 展开更多

关键词 Windows CE 嵌入式系统 JPEG 大像素图像 网格分块法 网格检索 多线程

在线阅读 下载PDF 职称材料

结合暗通道先验和MRF理论的单幅图像去雾算法 被引量：1

6

作者 吴翠先 左星 《电讯技术》 北大核心 2018年第6期714-720,共7页

针对在雾霾环境下获取的图像降质严重、现有算法去雾图结构细节信息丢失较多的问题,提出了一种结合暗通道先验(DCP)和马尔可夫随机场(MRF)的单幅图像去雾算法。该算法先采用子块部分重叠局部直方图均衡(POSHE)对原始雾图进行增强,以提... 针对在雾霾环境下获取的图像降质严重、现有算法去雾图结构细节信息丢失较多的问题,提出了一种结合暗通道先验(DCP)和马尔可夫随机场(MRF)的单幅图像去雾算法。该算法先采用子块部分重叠局部直方图均衡(POSHE)对原始雾图进行增强,以提高其对比度,并通过DCP算法获取优化后的透射率;利用MRF模型对图像结构细节信息的约束特性,对透射率进行建模,以进一步细化透射率;由天空域的显著特征,通过分块搜索法求取大气光值。与传统去雾算法相比,该算法能得到更精确的透射率图,有效保持图像结构信息,去雾后的图呈现出丰富的细节和较真实的色彩视觉效果。 展开更多

关键词 图像去雾 暗通道先验 马尔可夫随机场 分块搜索法 直方图均衡

在线阅读 下载PDF 职称材料

地基承载力上限分析中的Monte Carlo搜索技术 被引量：3

7

作者 秦会来 黄茂松 王玉杰 《岩土力学》 EI CAS CSCD 北大核心 2010年第10期3145-3150,共6页

Greco提出的临界滑裂面搜寻的Monte Carlo搜索技术具有原理简单、适应性强、搜索性能好及容易编程实现等优点,目前该类方法已在边坡稳定的优化计算中有许多成功的应用。为能够在多块体上限法求解地基极限承载力的优化计算中应用Monte Ca... Greco提出的临界滑裂面搜寻的Monte Carlo搜索技术具有原理简单、适应性强、搜索性能好及容易编程实现等优点,目前该类方法已在边坡稳定的优化计算中有许多成功的应用。为能够在多块体上限法求解地基极限承载力的优化计算中应用Monte Carlo搜索技术,基于上限法相容速度场的要求及地基承载力问题的特点,对Monte Carlo搜索技术实现中的目标函数、几何约束条件、初始破坏面的产生以及收敛准则等重新进行了设置。由于Monte Carlo搜索技术随机性的特点,某一次的搜索优化往往存在陷入局部极值的危险,为解决这一不足,采取了随机设置多次初始破坏面分别进行搜索优化的办法,计算表明,优化效果很好。通过对实际问题的计算以及对比发现,Monte Carlo搜索技术在此处多块体上限法求解地基承载力问题中的优化应用是相当成功的。此外,由于此处的优化是以破坏面上的节点为对象的,因此,不但可以方便地考虑三角形块体的优化,而且也可以方便地考虑四边形块体的优化问题,其适用性更强。 展开更多

关键词 MONTE Carlo搜索技术 多块体上限法 地基承载力 极限分析

原文传递

基于二维裂隙网络模拟的岩块搜索与岩层追踪方法 被引量：5

8

作者 李爱华 朱江 《水利水运工程学报》 CSCD 北大核心 2014年第6期65-70,共6页

脉动压力在岩石河床裂隙中的传播是导致大坝下游基岩冲刷破坏的主要原因之一。岩体裂隙网络作为水体的赋存空间,其结构特性决定了水流脉动压力波的传播规律。应用蒙特卡洛模拟方法,编译Fortran程序语言,模拟得出与天然岩体裂隙网络在统... 脉动压力在岩石河床裂隙中的传播是导致大坝下游基岩冲刷破坏的主要原因之一。岩体裂隙网络作为水体的赋存空间,其结构特性决定了水流脉动压力波的传播规律。应用蒙特卡洛模拟方法,编译Fortran程序语言,模拟得出与天然岩体裂隙网络在统计上完全等效的、具有相似结构特性的仿真裂隙网络,实现管网线元和节点的自动编号存储。借助矩阵理论定义了衔接矩阵和回路矩阵,从数学意义上精确描述裂隙网络。提出了基岩冲刷破坏过程中,孤立岩块的自动搜索和逐层追踪的新方法。文中以10 m×10 m范围内的两组裂隙为例,依据裂隙网络的统计分布规律,通过蒙特卡洛模拟,给出由两组裂隙组成裂隙网络的模拟结构图以及块体逐层自动追踪的结果。研究结果为高坝下游基岩冲刷过程的模拟研究奠定基础。 展开更多

关键词 裂隙网络 蒙特卡洛模拟方法 块体搜索 逐层追踪

在线阅读 下载PDF 职称材料

求解高维非线性优化的并行分块对角拟牛顿法 被引量：2

9

作者 李亮 孙秦 《南昌航空大学学报（自然科学版）》 CAS 2013年第1期90-95,共6页

在拟牛顿法的基础上提出了一种并行分块对角拟牛顿法.该方法在当前迭代点处用一个分块对角阵作为Hesse阵逆的近似,并在多个不同处理器中利用拟牛顿校正公式同时并行求解各个子矩阵,进而构造各个子方向.将各个子方向进行组合得到当前迭... 在拟牛顿法的基础上提出了一种并行分块对角拟牛顿法.该方法在当前迭代点处用一个分块对角阵作为Hesse阵逆的近似,并在多个不同处理器中利用拟牛顿校正公式同时并行求解各个子矩阵,进而构造各个子方向.将各个子方向进行组合得到当前迭代点处的搜索方向,再利用并行Armijo线性搜索策略,将求解函数值的任务分配给多个不同处理器同时并行执行,求得搜索步长,从而求得下一个迭代点,直到收敛.数值算例结果表明该方法对高维非线性无约束优化问题具有良好的收敛性,并在保证计算精度的同时,显著地提高了计算效率,减少了计算时间. 展开更多

关键词 并行计算 分块对角阵 拟牛顿法 Armijo线性搜索

在线阅读 下载PDF 职称材料

基于GA-SVR算法的顺北区块固井质量预测 被引量：10

10

作者 郑双进 程霖 +2 位作者 龙震宇 刘洋 赫英状 《石油钻采工艺》 CAS 北大核心 2021年第4期467-473,共7页

为了准确预测西北油田顺北区块固井质量,在固井质量影响因素分析的基础上,采用机器学习方法,建立基于支持向量回归(SVR)模型的固井质量预测模型,并分别利用网格搜索法(GS)、贝叶斯优化算法(BOA)、遗传算法(GA)优选模型惩罚系数C和核函... 为了准确预测西北油田顺北区块固井质量,在固井质量影响因素分析的基础上,采用机器学习方法,建立基于支持向量回归(SVR)模型的固井质量预测模型,并分别利用网格搜索法(GS)、贝叶斯优化算法(BOA)、遗传算法(GA)优选模型惩罚系数C和核函数参数g,以提高SVR预测精度。基于优化的模型结合顺北区块某井进行了实例计算,研究结果表明:相比SVR、GSSVR、BOA-SVR算法,运用GA-SVR算法预测固井质量的均方根误差(RMSE)和平均相对误差(MRE)最低,分别为2.318和7.30%,具有较高的预测精度,可用于该区块固井质量预测。该方法为固井质量预测提供了一种有效手段,有助于固井前开展施工方案优化,提高固井质量。 展开更多

关键词 顺北区块 固井质量 支持向量回归 网格搜索法 贝叶斯优化算法 遗传算法

在线阅读 下载PDF 职称材料

约束最优化设计中初始可行点的搜索

11

作者 刘信恩 张声军 张小龙 《西安建筑科技大学学报（自然科学版）》 CSCD 2001年第4期340-343,共4页

建立了坐标轮换调整法的理论 ,分析了搜索过程 ,对约束最优化设计问题中初始可行点进行快速逼近搜索 .该方法编程简单 ,搜索速度快 。

关键词 装载机 坐标轮换调整法 程序框图 最优化设计

在线阅读 下载PDF 职称材料

一种新的全姿态指示画面填充算法 被引量：1

12

作者 唐波 李成贵 《电光与控制》 北大核心 2008年第6期79-82,共4页

现代飞机座舱主飞行仪显示系统中,全姿态指示天地区域的填充是件非常费时的工作。提出了一种新的区域填充算法。该算法第一步引入分块查找的思想以及基于填充区域的特点确定采用水平线或者竖直线扫描方式,并且对区域轮廓中满足关键码字... 现代飞机座舱主飞行仪显示系统中,全姿态指示天地区域的填充是件非常费时的工作。提出了一种新的区域填充算法。该算法第一步引入分块查找的思想以及基于填充区域的特点确定采用水平线或者竖直线扫描方式,并且对区域轮廓中满足关键码字段的像素点建立坐标数组;第二步根据已确定的扫描方式进行区域填充。此外,求取新旧地平线交点并没有采用通过大量数值计算直接求取的方法,而是采用了比较法。实验结果表明该算法显著提高了填充速度和显示效果,降低了数据存储空间量。 展开更多

关键词 座舱显示器 填充算法 全姿态指示仪 分块查找 比较法

在线阅读 下载PDF 职称材料

双层束搜索算法优化机器人制造单元调度问题 被引量：1

13

作者 赵晓飞 郭秀萍 《计算机工程与应用》 CSCD 北大核心 2019年第4期56-61,共6页

针对混流生产阻塞机器人制造单元调度问题,给出了可行机器人运动插入法,构建可行解。依据可行机器人运动插入法,提出双层过滤变宽度束搜索算法进行求解。搜索过程利用局部评价函数和全局评价函数对节点进行两次择优选取。通过计算随机... 针对混流生产阻塞机器人制造单元调度问题,给出了可行机器人运动插入法,构建可行解。依据可行机器人运动插入法,提出双层过滤变宽度束搜索算法进行求解。搜索过程利用局部评价函数和全局评价函数对节点进行两次择优选取。通过计算随机生成算例,仿真结果表明,相对于以分支定界算法产生的可行解进行变邻域搜索、分支定界算法、局部评价函数束搜索算法、全局评价函数束搜索算法和双层过滤定宽度束搜索算法,双层过滤变宽度束搜索算法不但能显著提高搜索效率,而且解的平均改进度分别为3.07%、6.07%、7.79%、12.62%、14.47%。 展开更多

关键词 机器人制造单元 双层过滤变宽度束搜索 混流生产 阻塞 可行机器人运动插入法

在线阅读 下载PDF 职称材料

压力机八杆内滑块机构的优化设计

14

作者 王晓丽 周天源 《重型机械科技》 2007年第4期17-20,共4页

提出用拉深区速度波动量、拉深速度、拉深深度、拉深角为评价压力机八杆内滑块机构性能优劣的指标。根据机构优化设计理论,用步长搜索法对其进行了优化设计,优化出多组以上指标均好于原机构的方案,并且最大压力角比原机构减小很多,其运... 提出用拉深区速度波动量、拉深速度、拉深深度、拉深角为评价压力机八杆内滑块机构性能优劣的指标。根据机构优化设计理论,用步长搜索法对其进行了优化设计,优化出多组以上指标均好于原机构的方案,并且最大压力角比原机构减小很多,其运动学性能超过原机构水平。 展开更多

关键词 优化设计 步长搜索法 八杆内滑块机构

在线阅读 下载PDF 职称材料

基于联盟区块链的新能源企业智能电动汽车充电系统 被引量：4

15

作者 王浩柱 谢秦 +1 位作者 邓方明 杨阳 《电气传动》 2022年第20期63-69,共7页

新能源电动车需求的日益扩增进一步提升了电动车充电的需求,然而各运营公司之间的间隙导致充电桩信息无法全面并切实地面向需求大众。针对上述问题,介绍了一种基于联盟区块链的新型智能电动汽车充电系统。首先,通过联盟区块链使得系统... 新能源电动车需求的日益扩增进一步提升了电动车充电的需求,然而各运营公司之间的间隙导致充电桩信息无法全面并切实地面向需求大众。针对上述问题,介绍了一种基于联盟区块链的新型智能电动汽车充电系统。首先,通过联盟区块链使得系统具备防篡改、多中心化等特点;之后,提出了生物目标混合整数规划模型(BOMILP)来平衡企业和电动汽车用户之间的利益,并在此基础上,引入一种支持智能合约实现的有限领域记忆搜索算法(LNSM),以进一步提升智能合约运行速度及性能;最后,以天津地区的电动车充电数据为例,验证了所提出系统的有效性和可行性。 展开更多

关键词 新能源 区块链 有限领域记忆搜索算法 生物目标混合整数规划模型 智能合约

在线阅读 下载PDF 职称材料

基于块存储结构的彩虹表时空折中方法 被引量：2

16

作者 罗江石 祝跃飞 顾纯祥 《计算机工程》 CAS CSCD 2012年第15期111-113,共3页

Thing提出的基于彩虹表的时空折中方法(Digital Investigation,2009,No.6)不能对存储数据进行排序及去重,导致假警出现概率和表搜索代价过高。为此,设计一种基于块存储结构的彩虹表,给出相应的表搜索方法,在此基础上提出一种新的时空折... Thing提出的基于彩虹表的时空折中方法(Digital Investigation,2009,No.6)不能对存储数据进行排序及去重,导致假警出现概率和表搜索代价过高。为此,设计一种基于块存储结构的彩虹表,给出相应的表搜索方法,在此基础上提出一种新的时空折中方法,通过在预计算阶段合并终结点相同的链,降低假警率、提高表搜索效率。分析结果表明,与同类方法相比,该方法在成功率、存储空间利用率及搜索代价方面更具优势。 展开更多

关键词 时空折中 彩虹表 Thing方法 块存储结构 表搜索代价

在线阅读 下载PDF 职称材料

渐近搜索算法在软土基坑基底抗隆起上限分析中的应用 被引量：5

17

作者 洪利 仉文岗 《土木与环境工程学报（中英文）》 CSCD 北大核心 2020年第6期46-53,共8页

潜在破坏面的确定是软土基坑基底抗隆起上限分析的难点与重点。在传统的上限分析法中,破坏面仅假设与基坑开挖宽度有关。而采用渐进搜索算法确定破坏面,无需假设破坏面具体形状,通过多次迭代计算即可确定临界破坏面,且该算法已在边坡稳... 潜在破坏面的确定是软土基坑基底抗隆起上限分析的难点与重点。在传统的上限分析法中,破坏面仅假设与基坑开挖宽度有关。而采用渐进搜索算法确定破坏面,无需假设破坏面具体形状,通过多次迭代计算即可确定临界破坏面,且该算法已在边坡稳定与可靠度分析中成功应用。介绍了应用多块体上限法分析基坑抗隆起稳定性的基本步骤,并详细介绍了渐进搜索算法的流程,针对基坑抗隆起分析问题的特点,对渐进搜索算法中的初始破坏面生成、搜索边界、收敛准则等重新进行了设置;针对搜索过程中遇到的问题,给出了解决方法。通过实例分析检验渐近搜索算法的实际应用效果,并围绕算法中的初始搜索步长、破坏面结点个数、搜索次数等关键参数进行讨论,给出建议取值。案例分析表明,渐近搜索算法在软土基坑基底抗隆起上限分析中应用效果很好,且相比于其他的上限分析方法,渐近搜索算法计算简单,无需假设破坏面形状参数。 展开更多

关键词 Monte Carlo方法 渐近搜索算法 多块体上限法 基坑稳定性 极限分析

在线阅读 下载PDF 职称材料

关于树形分叉查询法的几点注记

18

作者 张兴令 王子玉 沈国敏 《甘肃工业大学学报》 1989年第1期89-95,共7页

本文讨论了顺序文件的树形分叉查询法与分块分叉查询法的最大查询次数和平均查询次数。给出了分块分叉查询法的最大查询次数和平均查询次数为极小值时的条件。

关键词 树形查询法 分叉询法 数据结构

在线阅读 下载PDF 职称材料