期刊文献+
共找到348篇文章
< 1 2 18 >
每页显示 20 50 100
Optimal search path planning of UUV in battlefeld ambush scene
1
作者 Wei Feng Yan Ma +3 位作者 Heng Li Haixiao Liu Xiangyao Meng Mo Zhou 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2024年第2期541-552,共12页
Aiming at the practical application of Unmanned Underwater Vehicle(UUV)in underwater combat,this paper proposes a battlefield ambush scene with UUV considering ocean current.Firstly,by establishing these mathematical ... Aiming at the practical application of Unmanned Underwater Vehicle(UUV)in underwater combat,this paper proposes a battlefield ambush scene with UUV considering ocean current.Firstly,by establishing these mathematical models of ocean current environment,target movement,and sonar detection,the probability calculation methods of single UUV searching target and multiple UUV cooperatively searching target are given respectively.Then,based on the Hybrid Quantum-behaved Particle Swarm Optimization(HQPSO)algorithm,the path with the highest target search probability is found.Finally,through simulation calculations,the influence of different UUV parameters and target parameters on the target search probability is analyzed,and the minimum number of UUVs that need to be deployed to complete the ambush task is demonstrated,and the optimal search path scheme is obtained.The method proposed in this paper provides a theoretical basis for the practical application of UUV in the future combat. 展开更多
关键词 Battlefield ambush Optimal search path planning UUV path Planning Probability of cooperative search
在线阅读 下载PDF
旅客“门到门”城际出行路径规划研究综述
2
作者 李得伟 吕佳晰 +3 位作者 黄悦 徐恩华 杨瑞霞 戴智丞 《铁道运输与经济》 北大核心 2025年第1期1-12,52,共13页
城市群一体化进程加速推进,城际出行需求日益增长。为提高旅客出行服务质量、促进绿色出行,研究全面回顾了近10年旅客“门到门”出行路径规划的国内外研究成果。系统分析了单一出行方式和组合出行方式下的路径规划问题建模,归纳总结了... 城市群一体化进程加速推进,城际出行需求日益增长。为提高旅客出行服务质量、促进绿色出行,研究全面回顾了近10年旅客“门到门”出行路径规划的国内外研究成果。系统分析了单一出行方式和组合出行方式下的路径规划问题建模,归纳总结了最短路径算法、A*算法、Dijkstra算法等路径搜索算法的特点及其适用场景。在出行路径推荐方面,梳理了基于不同数据类型(如问卷数据、历史出行轨迹数据)的路径推荐方法,并详细介绍了人工智能算法,特别是深度学习和强化学习技术在特征提取与推荐模型构建中的应用进展。未来研究应进一步关注多交通方式的智能整合与优化,构建更加精细化的出行服务系统,并推动“端到端”路径规划系统的实现,推动智能交通发展和绿色出行优化。 展开更多
关键词 出行路径规划 路径搜索 路径推荐 个性化 出行即服务
在线阅读 下载PDF
改进粒子群的多无人机协同搜索路径优化
3
作者 赵迅 刘云平 +3 位作者 王炎 还红华 徐梁 吴士林 《兵器装备工程学报》 北大核心 2025年第1期213-220,共8页
粒子群算法具有收敛速度快、结构简单、计算复杂度低等优点广泛应用于搜索领域,然而多无人机采用传统粒子群算法协同搜索时,由于算法具有随机性且群体内共享信息并未进行筛选,会出现搜索路径大量重复的现象,造成额外的资源消耗。针对此... 粒子群算法具有收敛速度快、结构简单、计算复杂度低等优点广泛应用于搜索领域,然而多无人机采用传统粒子群算法协同搜索时,由于算法具有随机性且群体内共享信息并未进行筛选,会出现搜索路径大量重复的现象,造成额外的资源消耗。针对此问题,提出一种改进粒子群的多无人机协同搜索算法。将传统粒子群算法应用于多无人机协同搜索,在此基础上利用蚁群算法对粒子群进行改进,通过蚁群算法对群体内共享的位置信息进行筛选,计算出信息素指引位置,然后将信息素指引位置用于无人机搜索过程中粒子群算法的迭代,从而减少无人机往复搜索的问题。仿真实验表明:该搜索算法可以有效降低搜索的重复路径,减少搜索的总路程。 展开更多
关键词 多无人机 粒子群算法 蚁群算法 协同搜索 路径优化
在线阅读 下载PDF
基于GPSSA算法的复杂地形多无人机航迹规划 被引量:1
4
作者 闫少强 杨萍 +3 位作者 刘卫东 李新其 雷剑 赵超跃 《北京航空航天大学学报》 北大核心 2025年第1期303-313,共11页
针对多无人机协同航迹规划求解时间要求高、收敛难等问题,提出了一种基于博弈夺食机制和自毁机制的改进麻雀搜索算法(GPSSA)的多无人机协同航迹规划方法。利用分层规划思想分别建立单无人机航迹规划模型和多无人机协同航迹规划模型,将... 针对多无人机协同航迹规划求解时间要求高、收敛难等问题,提出了一种基于博弈夺食机制和自毁机制的改进麻雀搜索算法(GPSSA)的多无人机协同航迹规划方法。利用分层规划思想分别建立单无人机航迹规划模型和多无人机协同航迹规划模型,将其转化为优化问题。提出博弈夺食机制和自毁机制用以改进麻雀算法,防止其快速丢失种群多样性,增强原算法逃脱局部极值吸引的能力,使得算法搜索方式更加灵活。利用改进麻雀算法对模型进行求解,仿真结果表明,GPSSA算法能够快速完成满足约束的航迹规划,且具有更好的收敛速度、寻优精度和算法鲁棒性。 展开更多
关键词 多无人机协同航迹规划 麻雀搜索算法 博弈夺食机制 自毁机制
在线阅读 下载PDF
基于障碍密度优先策略改进A^(*)算法的AGV路径规划
5
作者 陈一馨 段宇轩 +2 位作者 刘豪 谭世界 郑天乐 《郑州大学学报(工学版)》 北大核心 2025年第2期26-34,共9页
针对传统A^(*)算法在障碍物较多的实际场景下进行AGV路径规划时,存在路径拐点多、路径冗余节点过多以及易陷入局部最优解等问题,提出一种改进A^(*)算法,采用栅格法进行环境建模。首先,在启发函数中引入障碍物密度函数K(n)改进代价函数,... 针对传统A^(*)算法在障碍物较多的实际场景下进行AGV路径规划时,存在路径拐点多、路径冗余节点过多以及易陷入局部最优解等问题,提出一种改进A^(*)算法,采用栅格法进行环境建模。首先,在启发函数中引入障碍物密度函数K(n)改进代价函数,用于更准确地估计当前节点到目标节点的实际代价;其次,采用动态邻域搜索策略提高算法的搜索效率和运行效率;最后,通过冗余节点处理策略减少路径拐点和删除冗余节点,得到只包含起点、转折点以及终点的路径。采用不同尺寸和复杂度的栅格环境地图进行仿真实验,结果表明:所提改进A^(*)算法与传统A^(*)算法以及其他改进的A^(*)算法相比,路径长度分别缩短了4.71%和2.07%,路径拐点数量分别减少了45.45%和20.54%,路径存在节点分别减少了82.24%和62.45%。 展开更多
关键词 路径规划 栅格地图 改进A^(*)算法 启发函数 动态邻域搜索 冗余节点优化
在线阅读 下载PDF
采摘机器人的路径规划系统动态性优化研究 被引量:1
6
作者 李玉霞 王辉 《农机化研究》 北大核心 2024年第2期55-59,共5页
为进一步改善采摘机器人的工作性能,提出以动态调控为主导的理念,针对整机的路径规划系统展开优化研究。以当前果园采摘机器人的通用性结构组成为前提,将云平台数据处理与路径规划核心算法有效融合后搭建动态控制模型,分别针对路径规划... 为进一步改善采摘机器人的工作性能,提出以动态调控为主导的理念,针对整机的路径规划系统展开优化研究。以当前果园采摘机器人的通用性结构组成为前提,将云平台数据处理与路径规划核心算法有效融合后搭建动态控制模型,分别针对路径规划系统的硬件配置与软件控制进行合理设计,得到可应用于采摘实践且布局完整的路径规划系统。展开动态性优化下的采摘作业试验,结果表明:优化后采摘机器人路径规划系统的整体路径搜索率与路径平滑性得到明显提升,相对提升度分别为10.93%和9.71%,路径偏离率相对降低了50%左右,很好地优化了机器人的避障能力,满足系统稳定性需求,具有较高的实用价值。 展开更多
关键词 采摘机器人 路径规划 动态控制 路径搜索率 避障
在线阅读 下载PDF
Least Squares Support Vector Machine Based Real-Time Fault Diagnosis Model for Gas Path Parameters of Aero Engines 被引量:1
7
作者 王旭辉 黄圣国 +2 位作者 王烨 刘永建 舒平 《Journal of Southwest Jiaotong University(English Edition)》 2009年第1期22-26,共5页
Least squares support vector machine (LS-SVM) is applied in gas path fault diagnosis for aero engines. Firstly, the deviation data of engine cruise are analyzed. Then, model selection is conducted using pattern sear... Least squares support vector machine (LS-SVM) is applied in gas path fault diagnosis for aero engines. Firstly, the deviation data of engine cruise are analyzed. Then, model selection is conducted using pattern search method. Finally, by decoding aircraft communication addressing and reporting system (ACARS) report, a real-time cruise data set is acquired, and the diagnosis model is adopted to process data. In contrast to the radial basis function (RBF) neutral network, LS-SVM is more suitable for real-time diagnosis of gas turbine engine. 展开更多
关键词 Engine diagnosis Gas path Least squares support vector machine Pattern search
在线阅读 下载PDF
灌溉机器人全覆盖路径规划方法
8
作者 王臻卓 陈金林 +2 位作者 任婷婷 杨科科 任宁宁 《节水灌溉》 北大核心 2024年第9期53-58,共6页
灌溉机器人全覆盖行动的各个任务具有较为明显的空间并行性,随着全覆盖范围扩大,在对覆盖区域进行分解阶段,需要充分考虑将整个区域空间分解为哪些区域。但是,灌溉机器人受到视觉感知区域限制,准确匹配和衔接路块间最近端点的难度较大,... 灌溉机器人全覆盖行动的各个任务具有较为明显的空间并行性,随着全覆盖范围扩大,在对覆盖区域进行分解阶段,需要充分考虑将整个区域空间分解为哪些区域。但是,灌溉机器人受到视觉感知区域限制,准确匹配和衔接路块间最近端点的难度较大,导致局部路点的连通和线路衔接出现差错,难以有效全覆盖。为了有效解决这一问题,提出一种灌溉机器人全覆盖路径规划方法。通过快速搜索随机算法展开需要覆盖区域的边界检测,考虑视觉传感器的感知范围受限因素,采用灰度质心法展开区域视图边界提取,根据提取结果建立地图。在地图上建立线段序列,通过曼哈顿最小距离原则连接地图上的部分路径线段,形成多个弓形线路块。使用分治算法匹配和衔接各个弓形线路块间最近端点对,引入改进A*算法对全局以及局部路点的连通和线路衔接,实现灌溉机器人的全覆盖路径规划。实验结果表明:针对简单灌溉区域,该方法的路径重复率为0.041%,灌溉覆盖率为98.90%;针对复杂灌溉区域,该方法的路径重复率为0.017%,灌溉覆盖率为99.87%。这说明针对不同的灌溉环境,该方法均可以实现理想的路径规划,不仅可以最大限度地实现全覆盖,并有效地减少路径冗余程度,可以获取理想的灌溉机器人全覆盖路径规划方案。 展开更多
关键词 灌溉机器人 全覆盖线路 路径规划 快速搜索随机算法 边界提取 分治算法
在线阅读 下载PDF
基于改进DQN算法的应召搜潜无人水面艇路径规划方法 被引量:1
9
作者 牛奕龙 杨仪 +3 位作者 张凯 穆莹 王奇 王英民 《兵工学报》 EI CAS CSCD 北大核心 2024年第9期3204-3215,共12页
针对应召反潜中无人水面艇航向和航速机动的情形,提出一种基于改进深度Q学习(Deep Q-learning,DQN)算法的无人艇路径规划方法。结合应召搜潜模型,引入改进的深度强化学习(Improved-DQN,I-DQN)算法,通过联合调整无人水面艇(Unmanned Surf... 针对应召反潜中无人水面艇航向和航速机动的情形,提出一种基于改进深度Q学习(Deep Q-learning,DQN)算法的无人艇路径规划方法。结合应召搜潜模型,引入改进的深度强化学习(Improved-DQN,I-DQN)算法,通过联合调整无人水面艇(Unmanned Surface Vessel,USV)的动作空间、动作选择策略和奖励等,获取一条最优路径。算法采用时变动态贪婪策略,根据环境和神经网络的学习效果自适应调整USV动作选择,提高全局搜索能力并避免陷入局部最优解;结合USV所处的障碍物环境和当前位置设置分段非线性奖惩函数,保证不避碰的同时提升算法收敛速度;增加贝塞尔算法对路径平滑处理。仿真结果表明,在相同环境下新方法规划效果优于DQN算法、A^(*)算法和人工势场算法,具有更好的稳定性、收敛性和安全性。 展开更多
关键词 无人水面艇 路径规划 深度Q学习算法 应召搜索
在线阅读 下载PDF
基于遗传算法的UUV应召搜潜路径规划 被引量:1
10
作者 付留芳 周明 +1 位作者 李文哲 董晓明 《电光与控制》 CSCD 北大核心 2024年第7期42-47,86,共7页
针对应召搜潜中的两种常见情况,即目标随机机动和已知目标概略航向,建立了目标位置分布模型。针对无人航行器(UUV)对潜应召搜索中目标运动状态难以准确描述的问题,基于隐马尔可夫模型(HMM)建立了目标运动模型,能够在已知目标起始概率分... 针对应召搜潜中的两种常见情况,即目标随机机动和已知目标概略航向,建立了目标位置分布模型。针对无人航行器(UUV)对潜应召搜索中目标运动状态难以准确描述的问题,基于隐马尔可夫模型(HMM)建立了目标运动模型,能够在已知目标起始概率分布、转移概率和探测结果时实时更新目标概率分布。针对传统搜索方法难以保证有限搜索时间内发现概率最大的问题,设计了一种基于改进遗传算法的UUV应召搜潜路径规划方法,在常规遗传算法基础上增加删除和增添等操作,保证搜索路径的连通性;设计保留精英基因操作,使算法快速收敛。通过与扩方搜索、巡逻线搜索、随机搜索等常用搜索方法的对比,验证了该方法的有效性。 展开更多
关键词 UUV 应召搜索 路径规划 遗传算法 隐马尔可夫模型
在线阅读 下载PDF
基于改进跳点搜索和蚁群算法的机器人多目标点巡检规划
11
作者 芮宏斌 李耒 +2 位作者 解晓琳 彭家璇 郭旋 《动力学与控制学报》 2024年第7期70-79,共10页
针对移动机器人的多目标点巡检规划问题,本文提出了一种融合改进跳点搜索算法(JPS)与蚁群算法(ACO)的路径规划算法.首先,在JPS算法的评估函数中引入角度引导因子,使路径具有更强的导向性;然后,综合考虑路径距离、平滑度、安全性对评估... 针对移动机器人的多目标点巡检规划问题,本文提出了一种融合改进跳点搜索算法(JPS)与蚁群算法(ACO)的路径规划算法.首先,在JPS算法的评估函数中引入角度引导因子,使路径具有更强的导向性;然后,综合考虑路径距离、平滑度、安全性对评估函数的影响,以获得综合性能更优的路径;其次,提出了双向的逆向跳点剔除规则,筛除了多余节点,从而进一步降低路径长度并提高路径平滑度;最后,将多目标优化得到的路径综合性能替代传统旅行商问题(TSP)中的距离因子,并使用自适应蚁群算法来实现多巡检点的路径规划问题.仿真结果表明,改进JPS算法与传统JPS算法相比,具有更好的综合性能;同时应用于多巡检点规划时,具有更强的有效性和实用性. 展开更多
关键词 巡检机器人 路径规划 跳点搜索算法 多目标优化 蚁群系统算法
在线阅读 下载PDF
基于图搜索的陆空两栖平台3D路径规划算法 被引量:1
12
作者 孟庆京 司俊德 +3 位作者 张新钰 孙弘麟 王小宇 荣松松 《汽车安全与节能学报》 CAS CSCD 北大核心 2024年第2期253-260,共8页
为了解决陆空两栖平台路径规划能效与寻径效率问题,提出了一种基于图搜索算法的全局路径规划算法。考虑了空中飞行能耗与地面行驶能耗模型的不同,结合起飞阈值、地面移动成本系数、空中移动成本系数等参数决定模态切换机制,在遇到难以... 为了解决陆空两栖平台路径规划能效与寻径效率问题,提出了一种基于图搜索算法的全局路径规划算法。考虑了空中飞行能耗与地面行驶能耗模型的不同,结合起飞阈值、地面移动成本系数、空中移动成本系数等参数决定模态切换机制,在遇到难以越过的障碍时使用逃脱算法脱困,当允许地面通过时优先采用地面行驶的方式到达目标点以提升寻径效率与能效。为验证该算法,分别建立了针对陆空2种模式下的能耗模型,在现有交通规则约束下完成城市场景和虚拟迷宫测试。结果表明:本算法的搜索效率相较于对照组算法提升了30%以上,有效提升搜寻效率的同时降低了能量消耗。 展开更多
关键词 陆空两栖平台 跨模态路径规划 图搜索算法 模态切换策略
在线阅读 下载PDF
时变指向约束下姿态参数空间离散化路径规划方法
13
作者 朱哲 徐瑞 +3 位作者 李朝玉 朱圣英 龙嘉腾 朱雷 《宇航学报》 EI CAS CSCD 北大核心 2024年第3期352-365,共14页
为满足深空探测器在复杂动态环境约束下的姿态机动任务需求,解决时变指向约束下姿态路径规划求解困难、路径优化性能差的问题,提出了一种基于修正罗德里格斯参数(MRP)和动态路径搜索的姿态参数空间离散化路径规划方法。通过MRP空间的笛... 为满足深空探测器在复杂动态环境约束下的姿态机动任务需求,解决时变指向约束下姿态路径规划求解困难、路径优化性能差的问题,提出了一种基于修正罗德里格斯参数(MRP)和动态路径搜索的姿态参数空间离散化路径规划方法。通过MRP空间的笛卡尔网格划分和非奇异空间构建,实现航天器姿态的参数空间离散化和指向约束表征。考虑指向约束的时变动态特性,在三维动态空间中搜索初始到目标姿态的机动路径,并引入路径节点的时间特性,在约束冲突时对路径进行实时修正,设计非奇异空间时变约束路径搜索算法,生成执行路径节点序列。进一步,对生成的路径节点进行插值拟合,基于逆动力学方法计算角速度和控制力矩,完成姿态机动轨迹规划。仿真结果验证了该方法的有效性,可为深空探测器在时变指向约束下规划出姿态机动执行路径。 展开更多
关键词 航天器姿态规划 姿态参数离散化 时变指向约束 路径搜索算法
在线阅读 下载PDF
面向电磁目标探测的无人机集群区域分割方法 被引量:1
14
作者 邓文杰 陈松 +2 位作者 王盛 杨思为 弓晧臣 《指挥控制与仿真》 2024年第1期11-20,共10页
针对电磁目标搜索任务中现有覆盖式路径规划算法存在的无人机初始分布不合理、集群任务起止时间一致性差等问题,依据现实无人机集群集中投放的初始场景,设计了一种等时倾向的区域分割算法。该算法以最小化无人机间最大任务用时差为优化... 针对电磁目标搜索任务中现有覆盖式路径规划算法存在的无人机初始分布不合理、集群任务起止时间一致性差等问题,依据现实无人机集群集中投放的初始场景,设计了一种等时倾向的区域分割算法。该算法以最小化无人机间最大任务用时差为优化目标,通过改变无人机搜索区域大小影响无人机的任务用时。算法具有二级结构,第一级初始粗分割,解决边界点迭代次数过多的问题;第二级以任务时间偏差值作为调整值,保证了各机的任务用时一致性。仿真实验表明:该算法更适用于无人机集中投放的场景,缩短了无人机个体间的任务等待时间,便于资源的二次调度,有利于多阶次任务的同步执行。 展开更多
关键词 无人机集群 目标搜索 覆盖式路径规划 区域分割 集中投放
在线阅读 下载PDF
基于探测概率的UUV搜潜路径规划
15
作者 付留芳 周明 +1 位作者 李文哲 董晓明 《舰船科学技术》 北大核心 2024年第9期82-87,共6页
针对无人航行器(Unmanned UnderwaterVehicle,UUV)在潜搜索中目标运动状态难以准确描述、传统搜索方法难以保证有限搜索时间内发现概率最大的问题,本文提出一种基于探测概率的UUV搜潜路径规划方法。首先,将搜索区域栅格化,建立基于隐马... 针对无人航行器(Unmanned UnderwaterVehicle,UUV)在潜搜索中目标运动状态难以准确描述、传统搜索方法难以保证有限搜索时间内发现概率最大的问题,本文提出一种基于探测概率的UUV搜潜路径规划方法。首先,将搜索区域栅格化,建立基于隐马尔科夫模型(HiddenMarkovModel,HMM)的目标运动模型,可实时更新目标的后验概率分布。然后,以探测概率为目标函数,采用改进的遗传算法对UUV搜索路径进行规划,使得在确定的搜索时间内对潜探测概率最大。在仿真实验中,通过与经典算例对比,验证了方法的正确性;通过与矩形搜索、随机搜索2种常用搜索方法的对比,验证了该方法的有效性。 展开更多
关键词 对潜搜索 路径规划 隐马尔科夫模型 遗传算法
在线阅读 下载PDF
基于混合A^(*)搜索和贝塞尔曲线的船舶进港和靠泊路径规划算法 被引量:7
16
作者 胡智焕 杨子恒 张卫东 《中国舰船研究》 CSCD 北大核心 2024年第1期220-229,共10页
[目的]针对欠驱动无人艇自动进港和靠泊问题,提出一种基于混合A^(*)搜索和贝塞尔曲线的路径规划算法。[方法]该方法通过混合A^(*)搜索在非结构化环境下快速搜索出一条满足无人艇非完整性约束且无碰撞风险的轨迹。在此基础上,基于广义沃... [目的]针对欠驱动无人艇自动进港和靠泊问题,提出一种基于混合A^(*)搜索和贝塞尔曲线的路径规划算法。[方法]该方法通过混合A^(*)搜索在非结构化环境下快速搜索出一条满足无人艇非完整性约束且无碰撞风险的轨迹。在此基础上,基于广义沃罗诺伊图提出曲线优化算法,使得搜索算法得到的轨迹更加平滑且远离环境障碍物,从而引导无人艇在受限水域完成进港任务。同时,针对“最后一公里”靠泊问题,引入四阶贝塞尔曲线,用于生成靠泊路径从而引导船体平稳且精准入泊。[结果]仿真和外场试验结果表明,无人艇能够实现自主避障且精准驶入泊位,靠泊精度指标均小于1.0。[结论]所提路径规划算法能确保欠驱动无人艇实现进港和靠泊任务,可为智能船舶的进一步发展提供思路。 展开更多
关键词 欠驱动船舶 路径规划 自动靠泊 混合A^(*)搜索算法 贝塞尔曲线
在线阅读 下载PDF
基于改进蚁群算法的邮船舱室模块移运路径规划 被引量:2
17
作者 王炬成 赵学涛 《造船技术》 2024年第1期1-7,27,共8页
针对大型邮船舱室模块运输过程中存在的移运路线长、路线混乱、舱室模块易与障碍物发生碰撞等问题,提出应用加入动态搜索模型的蚁群算法对邮船舱室模块进行路线规划,为运输舱室模块提供清晰、便捷的移运路线。对主竖区的障碍物进行分析... 针对大型邮船舱室模块运输过程中存在的移运路线长、路线混乱、舱室模块易与障碍物发生碰撞等问题,提出应用加入动态搜索模型的蚁群算法对邮船舱室模块进行路线规划,为运输舱室模块提供清晰、便捷的移运路线。对主竖区的障碍物进行分析,建立模拟实际工况的栅格地图,采用改进蚁群算法寻找移运路径。对不同位置所经过的栅格地图和蚁群数量进行动态调整。采用模拟退火算法寻找蚁群算法的参数。采用离散点分析确定移运路径的主、支通道。仿真试验结果表明,应用改进蚁群算法建立主、支通道进行舱室模块移运可有效提高舱室模块的运输效率。 展开更多
关键词 邮船 舱室模块 移运路径规划 改进蚁群算法 动态搜索模型 障碍物优化 模拟退火算法
在线阅读 下载PDF
关键路径预搜索的符号执行智能合约漏洞检测 被引量:2
18
作者 王泽旭 文斌 《应用科学学报》 CAS CSCD 北大核心 2024年第2期364-374,共11页
针对传统符号执行在不必要、不相关的路径上消耗大量时间与资源,效率低等问题,提出了利用静态检测预扫描智能合约关键路径优化符号执行验证,避免非必要路径搜索增加的资源消耗,实现基于关键路径预搜索的符号执行。该方法与现有主流检测... 针对传统符号执行在不必要、不相关的路径上消耗大量时间与资源,效率低等问题,提出了利用静态检测预扫描智能合约关键路径优化符号执行验证,避免非必要路径搜索增加的资源消耗,实现基于关键路径预搜索的符号执行。该方法与现有主流检测工具进行对比实验,结果显示:Gas耗尽拒绝服务漏洞覆盖率达98%,检测准确度为84.3%,远高于均值37.2%;对存储覆盖漏洞合约的全覆盖,检测准确率为86.1%,验证了该方法的高效性与稳定性。 展开更多
关键词 智能合约 漏洞检测 符号执行 关键路径预搜索 区块链安全
在线阅读 下载PDF
基于图论的复杂系统潜通路分析方法
19
作者 刘向宏 李志峰 孙仕强 《兵器装备工程学报》 CAS CSCD 北大核心 2024年第6期40-46,共7页
潜通路分析方法是可靠性分析中一种常用的方法,是减少设计问题,提升可靠性的一种重要手段。当前的潜通路分析方法主要是应用于电路系统分析,也有部分包含管路系统的应用,但是还没有适用于复杂系统的潜通路分析方法。针对上述问题,提出... 潜通路分析方法是可靠性分析中一种常用的方法,是减少设计问题,提升可靠性的一种重要手段。当前的潜通路分析方法主要是应用于电路系统分析,也有部分包含管路系统的应用,但是还没有适用于复杂系统的潜通路分析方法。针对上述问题,提出了一种基于图论的系统潜通路分析方法,首先构建基于流的系统模型,然后将模型中不影响分析的连接关系及模型节点简化,最后将系统模型转换为抽象的图模型,并利用节点识别和路径追踪的方法进行分析。最后,将所提方法应用于直升机起落架误收问题的分析,证明了所提方法的有效性。 展开更多
关键词 潜通路分析 复杂系统 系统建模 图论 路径搜索
在线阅读 下载PDF
复杂型腔类零件电火花加工电极运动轨迹搜索算法研究 被引量:1
20
作者 刘雨婷 刘建勇 +3 位作者 罗学科 李殿新 张慧杰 寇鹏远 《航空制造技术》 CSCD 北大核心 2024年第12期93-101,共9页
针对复杂型腔类零件电火花加工中电极无干涉运动路径难规划的问题,提出一种电极运动轨迹搜索算法。使用NURBS参数化曲线曲面建模方法拟合叶片型面,建立叶片精确数学模型并计算流道中心线,基于流道中心线表达式提出轨迹搜索算法,开发了... 针对复杂型腔类零件电火花加工中电极无干涉运动路径难规划的问题,提出一种电极运动轨迹搜索算法。使用NURBS参数化曲线曲面建模方法拟合叶片型面,建立叶片精确数学模型并计算流道中心线,基于流道中心线表达式提出轨迹搜索算法,开发了复杂型腔类零件多轴联动电火花加工专用CAM系统,成功实现4轴、5轴、6轴复杂型腔类零件的电极运动路径规划和无干涉加工过程仿真。进行整体带叶冠涡轮盘的加工试验,结果表明,叶形加工精度≤0.03 mm,总耗时249.3 h,满足闭式整体叶盘类零件指标要求。试验证明该算法可以快速搜索电极无干涉运动轨迹,有效避免电极干涉,从而提高轨迹搜索效率,工况适应能力强,可用于4~6轴各种工况下叶轮、叶盘等复杂型腔类零件的电极运动轨迹搜索。 展开更多
关键词 复杂型腔类零件 电火花加工 轨迹搜索 非均匀有理B样条曲线 流道中心线
在线阅读 下载PDF
上一页 1 2 18 下一页 到第
使用帮助 返回顶部