期刊文献+
共找到94篇文章
< 1 2 5 >
每页显示 20 50 100
燃料电池电动拖拉机能量管理研究
1
作者 刘静 孙闫 +3 位作者 王柯 夏长高 尹超 邹金龙 《中国农机化学报》 北大核心 2025年第6期236-241,共6页
为解决纯电动拖拉机持续作业时间短的问题,提出一种以燃料电池为主电源,动力电池为辅助电源的混合动力拖拉机。首先,建立燃料电池、动力电池和拖拉机模型。然后,提出融合功率跟随策略和模糊逻辑策略,利用禁忌搜索算法进行优化的能量管... 为解决纯电动拖拉机持续作业时间短的问题,提出一种以燃料电池为主电源,动力电池为辅助电源的混合动力拖拉机。首先,建立燃料电池、动力电池和拖拉机模型。然后,提出融合功率跟随策略和模糊逻辑策略,利用禁忌搜索算法进行优化的能量管理策略。设计功率跟随策略实现燃料电池输出功率以需求功率为基础,以电池SOC值为自变量进行调节;设计模糊逻辑策略约束燃料电池功率变化率,避免燃料电池输出功率的频繁波动。最后,构建考虑能耗和燃料电池耐久性的综合能耗评估函数,利用禁忌搜索算法对模糊控制策略的隶属函数和权重系数进行迭代优化,提高纯电动拖拉机的经济性和燃料电池的耐久性。仿真结果表明,所提出的能量管理策略可以在不同的SOC状态下很好地工作,并减少燃料电池的功率波动,在600 s仿真试验中,与模糊控制和功率跟随策略相比,所提策略可分别降低1.2%、1.5%的等效氢耗,燃料电池寿命衰退分别减少46%、15%。 展开更多
关键词 电动拖拉机 燃料电池 能量管理 禁忌搜索 模糊控制
在线阅读 下载PDF
A Fuzzy Logical MPPT Control Strategy for PMSG Wind Generation Systems
2
作者 Xing-Peng Li Wen-Lu Fu +2 位作者 Qing-Jun Shi Jian-Bing Xu Quan-Yuan Jiang 《Journal of Electronic Science and Technology》 CAS 2013年第1期72-77,共6页
Making full use of wind power is one of the main purposes of the wind turbine generator control. Conventional hill climbing search (HCS) method can realize the maximum power point tracking (MPPT). However, the ste... Making full use of wind power is one of the main purposes of the wind turbine generator control. Conventional hill climbing search (HCS) method can realize the maximum power point tracking (MPPT). However, the step size of HCS method is constant so that it cannot consider both steady-state response and dynamic response. A fuzzy logical control (FLC) algorithm is proposed to solve this problem in this paper, which can track the maximum power point (MPP) quickly and smoothly. To evaluate MPPT algorithms, four performance indices are also proposed in this paper. They are the energy captured by wind turbine, the maximum power-point tracking time when wind speed changes slowly, the fluctuation magnitude of real power during steady state, and the energy captured by wind turbine when wind speed changes fast. Three cases are designed and simulated in MATLAB/Simulink respectively. The comparison of the three MPPT strategies concludes that the proposed fuzzy logical control algorithm is more superior to the conventional HCS algorithms. 展开更多
关键词 Fuzzy logical control hill climbing search maximum power point tracking permanent magnet synchronous generator wind generation system.
在线阅读 下载PDF
硅橡胶表面湿空气滴状冷凝数值模拟与试验验证
3
作者 舒胜文 占兆璇 +3 位作者 黄雯桦 张丽娜 卞志文 林一泓 《高电压技术》 北大核心 2025年第4期1980-1992,共13页
运行在沿海或山区的硅橡胶复合绝缘子常年处于高湿度、大温差的恶劣环境中,由凝露诱发的沿面放电问题给复合绝缘子的运行可靠性带来了极大挑战。为深入研究硅橡胶表面凝露产生与发展机理,该文首先在现有滴状冷凝模型的基础上,构建出考... 运行在沿海或山区的硅橡胶复合绝缘子常年处于高湿度、大温差的恶劣环境中,由凝露诱发的沿面放电问题给复合绝缘子的运行可靠性带来了极大挑战。为深入研究硅橡胶表面凝露产生与发展机理,该文首先在现有滴状冷凝模型的基础上,构建出考虑不凝气体作用的湿空气滴状冷凝全周期数值仿真模型,并采用相邻液滴逻辑搜索算法提高该模型的运行效率;然后通过硅橡胶湿空气冷凝试验验证模型的有效性;最后探讨环境温湿度、冷凝基底物化性质等因素对冷凝发展的影响规律。得到以下结论:冷凝前期液滴主要通过直接冷凝生长,后期则以聚结生长为主导,冷凝后期聚结生长对最大液滴半径的贡献占比已超过70%;冷凝生长速率与相对湿度、温差呈正相关关系,而与材料厚度、静态接触角呈现负相关关系。该研究有助于揭示湿空气滴状冷凝机理,可以为绝缘材料抗凝露性能提升和电气设备预防凝露提供相应的理论基础和技术支持。 展开更多
关键词 硅橡胶 滴状冷凝 逻辑搜索法 液滴尺寸分布 聚结生长 冷凝生长
原文传递
从经验到规律:搜救指挥思维框架的建构——以建筑物倒塌场景中的搜索定位为例
4
作者 刘旋 《中国应急救援》 2025年第6期32-38,共7页
在灾害现场的搜救行动中,如何在复杂、信息不完整的环境下确定受困人员位置,是决定救援成效的关键环节。长期以来,这一过程的思维路径主要依赖指挥员的经验判断,存在碎片化、不可复制、难以传授等局限。本文聚焦于搜索定位的环节,不涉... 在灾害现场的搜救行动中,如何在复杂、信息不完整的环境下确定受困人员位置,是决定救援成效的关键环节。长期以来,这一过程的思维路径主要依赖指挥员的经验判断,存在碎片化、不可复制、难以传授等局限。本文聚焦于搜索定位的环节,不涉及营救与转运,提出构建搜救指挥思维框架的必要性。借鉴刑侦学由经验走向学科化的启示,结合一线实践,总结出五个核心要素:场景重构、线索整合、痕迹物证分析、行为推演与系统研判。该框架实质上是对传统非技术手段的系统化、结构化与逻辑化处理,旨在为指挥员提供可复制、可传授的推理路径。研究认为,这一思维框架不仅能够提升定位判断的科学性与稳定性,也为搜救训练体系建设、跨部门协同以及智能辅助决策平台研发提供了方法论支撑。 展开更多
关键词 搜救指挥 思维框架 逻辑推理 非技术手段 经验规律化
在线阅读 下载PDF
新产品绩效偏离与知识搜索响应——创新困境下决策逻辑的调节作用
5
作者 蒋舒阳 刘宁 庄亚明 《科技进步与对策》 北大核心 2025年第3期107-117,共11页
随着商业竞争的不断加剧,依靠新产品持续迭代成为企业维持竞争优势的重要方式,现有研究广泛关注新产品绩效的多种前因,但绩效反馈及其响应逻辑背后的深层机理仍有待进一步探讨。以组织行为与管理认知理论为基础,结合259份有效问卷探究... 随着商业竞争的不断加剧,依靠新产品持续迭代成为企业维持竞争优势的重要方式,现有研究广泛关注新产品绩效的多种前因,但绩效反馈及其响应逻辑背后的深层机理仍有待进一步探讨。以组织行为与管理认知理论为基础,结合259份有效问卷探究新产品开发与转化绩效偏离、决策逻辑与企业知识搜索响应间的复杂关系。研究发现:新产品绩效正偏离与负偏离分别正向影响前摄式搜索和反应式搜索;管理者秉持因果逻辑在新产品绩效正偏离与前摄式搜索之间发挥负向调节作用,在绩效负偏离与反应式搜索之间发挥正向调节作用,而效果逻辑则相反;前摄式搜索导向下的进一步研究表明,当面临绩效正偏离时,相较于民营企业,国有企业的前摄式搜索更积极。此外,当管理者具备双元逻辑时,效果逻辑并不会随着因果逻辑增强而被抑制,相反两者形成的双元理性是互补的。 展开更多
关键词 新产品开发绩效 新产品转化绩效 知识搜索响应 决策逻辑
在线阅读 下载PDF
基于自适应模糊理论的四旋翼无人机集群搜索控制方法
6
作者 罗小军 赖刘生 《山东航空学院学报》 2025年第6期11-19,共9页
针对四旋翼无人机集群在复杂环境中执行搜索任务时面临的环境适应性不足、智能决策能力有限、协调机制欠缺及能耗优化不足的问题,提出了一种基于自适应模糊理论的搜索控制方法。该方法将自适应控制与模糊逻辑相结合,通过动态调整模糊控... 针对四旋翼无人机集群在复杂环境中执行搜索任务时面临的环境适应性不足、智能决策能力有限、协调机制欠缺及能耗优化不足的问题,提出了一种基于自适应模糊理论的搜索控制方法。该方法将自适应控制与模糊逻辑相结合,通过动态调整模糊控制规则参数,提升无人机集群在不确定环境中的任务执行能力。结果表明,在60条搜索任务下,自适应模糊控制器的搜索时间为12.7 s,控制精度为0.90;统计分析显示,自适应模糊控制器的搜索效率为0.96,稳定性为0.97,能耗为25.1 J。室外复杂场景测试中,自适应模糊控制器的目标捕获率为98.2%,覆盖效率为352 m^(2)/s,避障成功率为100%,任务耗时为126.3 s,均优于强化学习的分布式、多智能体协同优化以及改进人工势场法等控制方法。自适应模糊控制策略提高了无人机集群在动态环境中的搜索效率、稳定性和能效,为复杂任务场景下的无人机集群应用提供了有效的控制方案。 展开更多
关键词 自适应控制 模糊逻辑 四旋翼无人机 集群 搜索控制
在线阅读 下载PDF
异步电机用混合式模糊搜索效率优化控制研究 被引量:30
7
作者 张立伟 温旭辉 郑琼林 《中国电机工程学报》 EI CSCD 北大核心 2007年第27期83-87,共5页
运行在额定工况的异步电机效率较高,但在轻载运行时效率会显著下降,因此进行异步电机的效率优化研究,对于节约能源、控制环境污染具有重要意义。基于损耗模型控制(LMC)的研究成果以及在线搜索控制(SC)的研究成果,提出了一种新型混合在... 运行在额定工况的异步电机效率较高,但在轻载运行时效率会显著下降,因此进行异步电机的效率优化研究,对于节约能源、控制环境污染具有重要意义。基于损耗模型控制(LMC)的研究成果以及在线搜索控制(SC)的研究成果,提出了一种新型混合在线式直流最小功率模糊搜索效率优化控制算法(FLSC),算法对模糊集合所作的不对称隶属度函数设计,解决了系统在效率最优点处的振荡问题。仿真以及电机台架实验表明,FLSC算法兼有LMC算法和SC算法的双重优点,能够显著提高系统的控制性能。 展开更多
关键词 异步电机 效率优化 损耗模型控制 搜索控制 模糊搜索控制
在线阅读 下载PDF
基于模糊逻辑的自寻优感应电机能量优化控制 被引量:4
8
作者 常进 张曾科 +1 位作者 李阳 李文元 《电机与控制学报》 EI CSCD 北大核心 2005年第3期246-249,共4页
为了反映出不同负载和不同转速下各种电机运行状态对能量优化寻优过程的影响,提出了一种基于模糊逻辑的自寻优感应电机能量优化控制算法,引入了电压改变系数和最大调整电压,计算出最终的电压调整量,并给出仿真结果。该方法用于恒压频比(... 为了反映出不同负载和不同转速下各种电机运行状态对能量优化寻优过程的影响,提出了一种基于模糊逻辑的自寻优感应电机能量优化控制算法,引入了电压改变系数和最大调整电压,计算出最终的电压调整量,并给出仿真结果。该方法用于恒压频比(VVVF)感应电机驱动系统,取得了很好的节能效果。 展开更多
关键词 感应电机 模糊逻辑 能量优化控制 自寻优 优化控制算法 电机驱动系统 寻优过程 运行状态 仿真结果 恒压频比 节能效果 电压 系数和 调整量
在线阅读 下载PDF
异步电机效率优化算法设计 被引量:2
9
作者 张立伟 胡广艳 +1 位作者 温旭辉 郑琼林 《中国铁道科学》 EI CAS CSCD 北大核心 2008年第1期82-88,共7页
针对异步电机效率优化问题,提出混合在线式直流最小功率模糊搜索效率优化控制算法(FLSC)。算法利用损耗模型控制(LMC)的研究成果,设计新型比例因子提取策略,可以实时在线获得电机各稳态工况下FLSC输入和输出变量的比例因子,预先规划了... 针对异步电机效率优化问题,提出混合在线式直流最小功率模糊搜索效率优化控制算法(FLSC)。算法利用损耗模型控制(LMC)的研究成果,设计新型比例因子提取策略,可以实时在线获得电机各稳态工况下FLSC输入和输出变量的比例因子,预先规划了算法搜索控制的方向,保证了算法的快速收敛性。根据异步电机的特性及先期的综合实验数据分析,对模糊控制用模糊集合及其隶属度函数进行系统化设计,对输入变量的ZE模糊集进行梯形隶属度函数设计,对输出变量进行正负不对称隶属度函数设计,从而解决了系统在效率最优点处的振荡问题。对小功率异步电机系统的计算机仿真及台架实验表明:针对异步电机的轻载运行工况,FLSC算法能显著提高异步电机系统的控制性能;对于异步电机转子电阻参数变化的工况也具有很好的鲁棒性。 展开更多
关键词 异步电机 效率优化 损耗模型控制 搜索控制 模糊搜索控制
在线阅读 下载PDF
基于CNFET的三值内容寻址存储器单元设计 被引量:2
10
作者 康耀鹏 汪鹏君 +1 位作者 张会红 李刚 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2018年第5期724-729,共6页
通过对三值静态随机存储器(Static Random Access Memory,SRAM)单元和数据比较电路结构以及碳纳米场效应晶体管(Carbon Nanotube Field Effect Transistor,CNFET)的研究,提出了基于CNFET的三值内容寻址存储器单元设计方案。首先利用CNFE... 通过对三值静态随机存储器(Static Random Access Memory,SRAM)单元和数据比较电路结构以及碳纳米场效应晶体管(Carbon Nanotube Field Effect Transistor,CNFET)的研究,提出了基于CNFET的三值内容寻址存储器单元设计方案。首先利用CNFET阈值可调特性和开关信号理论设计三值缓冲器,采用反馈控制连接技术实现三值SRAM存储;然后结合三值SRAM单元和三值逻辑原理设计三值内容寻址存储器单元;最后实验验证,所设计的三值内容寻址存储器单元具有正确的逻辑功能,且与三态内容寻址存储器单元相比功耗延时积(Power-Delay Product,PDP)降低约83%。 展开更多
关键词 CNFET 三值数据比较 CAM 三值逻辑
在线阅读 下载PDF
全局最优导向模糊布谷鸟搜索算法及应用 被引量:6
11
作者 秦强 冯蕴雯 薛小锋 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第1期94-100,共7页
针对标准布谷鸟搜索算法探索能力强而开发能力较弱、收敛速度慢及计算精度较差等问题,提出了具有全局最优导向的模糊布谷鸟搜索算法。在鸟窝更新公式中引入全局最优导向策略,在产生新的鸟窝位置时利用到当前最优鸟窝位置信息,以保持鸟... 针对标准布谷鸟搜索算法探索能力强而开发能力较弱、收敛速度慢及计算精度较差等问题,提出了具有全局最优导向的模糊布谷鸟搜索算法。在鸟窝更新公式中引入全局最优导向策略,在产生新的鸟窝位置时利用到当前最优鸟窝位置信息,以保持鸟窝的多样性并提高算法的开发能力。另外,采用模糊逻辑规则对布谷鸟算法中的搜索步长和外来鸟蛋被发现概率这2个重要参数进行自适应调整,以提高算法的全局收敛性能和求解精度。通过2个经典结构可靠性分析极限状态方程测试该算法的性能,并将其应用于某飞机舱门锁定机构可靠性分析中。实验结果表明,与粒子群算法、标准布谷鸟搜索算法和改进布谷鸟搜索算法相比,所提出的全局最优导向模糊布谷鸟搜索算法在进行可靠性分析中,能够有效地提高解的精度并增加收敛速度,寻优效果更优。 展开更多
关键词 布谷鸟搜索算法 模糊逻辑 全局最优导向 可靠性分析 飞机舱门
原文传递
量子遗传算法在多输出Reed-Muller逻辑电路最佳极性搜索中的应用 被引量:16
12
作者 汪鹏君 李辉 +3 位作者 吴文晋 王伶俐 张小颖 戴静 《电子学报》 EI CAS CSCD 北大核心 2010年第5期1058-1063,共6页
量子遗传算法是一种融合量子计算和遗传算法优点的智能算法,常用于求解组合优化问题.本文给出多输出RM(Reed-Muller)逻辑电路最佳极性搜索方案,将量子遗传算法应用到多输出固定极性RM电路逻辑优化中.针对量子遗传算法易陷入局部极值的缺... 量子遗传算法是一种融合量子计算和遗传算法优点的智能算法,常用于求解组合优化问题.本文给出多输出RM(Reed-Muller)逻辑电路最佳极性搜索方案,将量子遗传算法应用到多输出固定极性RM电路逻辑优化中.针对量子遗传算法易陷入局部极值的缺陷,结合群体灾变思想,提出一种基于量子遗传算法的多输出RM逻辑电路最佳极性搜索算法.最后对多个大规模PLA格式基准电路测试表明:该算法与基于遗传算法的最佳极性搜索相比,在优化能力、寻优性能和收敛速度等方面都有不同程度的提高. 展开更多
关键词 量子遗传算法 极性搜索 多输出RM电路 逻辑优化
在线阅读 下载PDF
基于描述逻辑的概念检索模型 被引量:2
13
作者 裘江南 王磊 王宁 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2009年第3期435-438,共4页
针对当前的概念检索模型存在没有语义特征的词典和缺乏知识库层面上的推理机制等问题,采用具有很强的表达能力和可判定推理功能的描述逻辑来实现概念的扩展检索。设计了一个基于描述逻辑的概念检索模型,并对其核心的推理算法作了进一步... 针对当前的概念检索模型存在没有语义特征的词典和缺乏知识库层面上的推理机制等问题,采用具有很强的表达能力和可判定推理功能的描述逻辑来实现概念的扩展检索。设计了一个基于描述逻辑的概念检索模型,并对其核心的推理算法作了进一步扩展,给出了相应算法的数学定义及其知识库的逻辑描述,并据此采用Jena和Racer推理引擎实现了一个基于描述逻辑的汽车导购的概念检索系统,可向用户提供有关汽车的分类、性能、报价等信息。实验结果表明:基于描述逻辑的概念检索模型实现了有效的隐含语义的检索,并通过关联概念联想实现了良好的用户启发和信息导航。 展开更多
关键词 描述逻辑 概念检索 推理算法
在线阅读 下载PDF
司法鉴定制度改革的逻辑反思与路径探究 被引量:14
14
作者 霍宪丹 郭华 《法律科学(西北政法大学学报)》 CSSCI 北大核心 2010年第1期143-149,共7页
司法制度改革是以消解影响司法公正的体制性因素作为逻辑进路的。然而,这些消极性的体制性因素在司法鉴定制度改革过程中并未因改革而消退,法律所型构的目标不仅没有达到,而改革的成果又被改革中出现的新问题所遮蔽,致使司法鉴定制度的... 司法制度改革是以消解影响司法公正的体制性因素作为逻辑进路的。然而,这些消极性的体制性因素在司法鉴定制度改革过程中并未因改革而消退,法律所型构的目标不仅没有达到,而改革的成果又被改革中出现的新问题所遮蔽,致使司法鉴定制度的改革陷入了治丝益棼的窘境。因此,有必要对司法鉴定制度改革的原有逻辑进路进行反思,从中寻找出能够保障司法鉴定可靠性和可信性的路径,保障接续而来制度本身的改革以及其他制度改革得以顺利进行。 展开更多
关键词 司法鉴定制度 逻辑反思 路径探究
在线阅读 下载PDF
大气环境剧情生成技术研究 被引量:2
15
作者 蔡军 赵黎明 +1 位作者 许丽人 许瑞 《计算机工程与设计》 CSCD 北大核心 2012年第3期1085-1089,1144,共6页
在基于模糊逻辑搜索原理的基础上,针对人类自然语言表述的大气环境信息需求,研究了面向仿真应用的大气环境剧情生成技术,快速自动地生成满足建模与仿真用户需要且物理一致的大气环境综合剧情。以剧情生成引擎为总体,分析了模糊逻辑搜索... 在基于模糊逻辑搜索原理的基础上,针对人类自然语言表述的大气环境信息需求,研究了面向仿真应用的大气环境剧情生成技术,快速自动地生成满足建模与仿真用户需要且物理一致的大气环境综合剧情。以剧情生成引擎为总体,分析了模糊逻辑搜索技术的原理与在环境剧情生成中的应用技术。针对建模与仿真用户用人类语言表述的大气环境信息条件,研究了大气环境剧情所需的语义规范和物理规则。实现了剧情数据产品的生成与可视化,为建模与仿真应用对大气环境剧情的需求提供了技术支持。 展开更多
关键词 综合自然环境 剧情生成引擎 模糊逻辑搜索 语义规范 物理规则
在线阅读 下载PDF
具有混沌搜索策略的蝙蝠优化算法及性能仿真 被引量:76
16
作者 刘长平 叶春明 《系统仿真学报》 CAS CSCD 北大核心 2013年第6期1183-1188,1195,共7页
蝙蝠算法是受自然界中的蝙蝠通过回声定位进行搜寻、捕食行为的启发演变而来的一种新颖的仿生群智能优化算法。在分析基本算法仿生原理和局限性的基础上,提出一种改进蝙蝠局部搜索能力的优化算法,通过逻辑自映射函数产生混沌序列,引入... 蝙蝠算法是受自然界中的蝙蝠通过回声定位进行搜寻、捕食行为的启发演变而来的一种新颖的仿生群智能优化算法。在分析基本算法仿生原理和局限性的基础上,提出一种改进蝙蝠局部搜索能力的优化算法,通过逻辑自映射函数产生混沌序列,引入到蝙蝠算法中对精英个体进行混沌优化,同时动态收缩搜索空间以加快收敛速度。改进算法有效结合了基本蝙蝠算法的全局优化能力和混沌算法的局部搜索能力,对经典函数的仿真测试表明,改进算法显著提高了优化性能,在寻优精度和全局收敛能力方面优于基本蝙蝠算法,是解决工程应用中复杂函数优化问题的一种有效方法。 展开更多
关键词 蝙蝠算法 仿生原理 逻辑自映射 混沌搜索 仿真测试
原文传递
束搜索算法的候选选取方法研究 被引量:1
17
作者 许中卫 李炜 吴建国 《计算机工程》 CAS CSCD 北大核心 2007年第4期223-224,227,共3页
在假设空间中进行爬山搜索是机器学习算法中常用的策略,爬山算法不能保证得到全局最优解,为了减少收敛到局部最优解的风险,束搜索应用而生。宽度为k的束搜索,在每一步以k个最佳候选为入口进行搜索(产生分支),并从结果集中再次选取k个候... 在假设空间中进行爬山搜索是机器学习算法中常用的策略,爬山算法不能保证得到全局最优解,为了减少收敛到局部最优解的风险,束搜索应用而生。宽度为k的束搜索,在每一步以k个最佳候选为入口进行搜索(产生分支),并从结果集中再次选取k个候选作为下一步的搜索入口。但目前多数算法只是在结果集中简单选取具有最大启发式性能量度值的k个成员。该文讨论了束搜索算法,提出了几种合理的候选选取方法,并在UCI数据库上进行对比实验测试,给出了实验结果。 展开更多
关键词 机器学习 束搜索 聚类 归纳逻辑程序设计
在线阅读 下载PDF
无后台服务器的射频识别标签安全查询协议 被引量:1
18
作者 周景贤 李昊 +2 位作者 周亚建 李国友 张淼 《电子与信息学报》 EI CSCD 北大核心 2012年第11期2582-2586,共5页
在许多射频识别(RFID)应用中,经常需要在多个标签中确定某个特定标签是否存在。在这种环境下,标签查询协议必不可少。然而,已有的协议要么存在安全漏洞,要么查询效率低下。利用Hash函数和时间戳,提出一个无后台服务器的RFID标签查询协议... 在许多射频识别(RFID)应用中,经常需要在多个标签中确定某个特定标签是否存在。在这种环境下,标签查询协议必不可少。然而,已有的协议要么存在安全漏洞,要么查询效率低下。利用Hash函数和时间戳,提出一个无后台服务器的RFID标签查询协议。GNY逻辑被用于证明新协议的正确性。分析显示提出的协议可以高效的实现特定标签的查询,且能够抵抗一些主要攻击,实现对标签隐私的保护。 展开更多
关键词 射频识别 查询协议 GNY逻辑 追踪攻击
在线阅读 下载PDF
IEEE802.11中WEP认证协议的SPIN模型检测 被引量:4
19
作者 金秀 张大方 缪力 《计算机工程与设计》 CSCD 北大核心 2008年第3期590-591,600,共3页
用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语... 用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语言,最后利用SPIN工具分析WEP认证协议。实验的结果说明WEP认证协议存在漏洞。 展开更多
关键词 WEP协议 模型检测 认证 协议分析 逻辑验证 状态搜索 协议漏洞
在线阅读 下载PDF
基于GATS的电网无功电压综合控制 被引量:3
20
作者 周晖 谈顺涛 《继电器》 CSCD 北大核心 2004年第6期1-5,共5页
简述了无功电压综合控制的必要性及其设计思想和主要功能。根据电力系统实际运行情况及本系统自身特点,就PV节点给定电压,适应度函数的构造,交叉率、变异率的取值及禁忌搜索(TS)算法与遗传算法(GA)的结合等主要问题,详细介绍了GATS混合... 简述了无功电压综合控制的必要性及其设计思想和主要功能。根据电力系统实际运行情况及本系统自身特点,就PV节点给定电压,适应度函数的构造,交叉率、变异率的取值及禁忌搜索(TS)算法与遗传算法(GA)的结合等主要问题,详细介绍了GATS混合优化策略的具体实现形式,以实现逆调压要求,保证电压合格,避免早熟收敛,同时加速搜索进程。在IEEE118节点系统的计算中,混合优化算法与简单遗传算法相比,有效降低了计算时间,提高了优化效果,从而证明了GATS混合优化策略的实用性。 展开更多
关键词 电网 电力系统 自动化系统 无功电压综合控制 GATS 混合优化策略
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部