状态搜索

作品数：7被引量：12H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：韩芳溪姜志坚谷文李杰韩继红更多>>
相关机构：三星电子株式会社清华大学山东大学解放军信息工程大学更多>>
相关期刊：《计算机工程与设计》《清华大学学报（自然科学版）》《西安电子科技大学学报》《煤矿机械》更多>>
相关基金：国家自然科学基金国防基础科研计划国家教育部博士点基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
考虑连锁跳闸的电网临界状态搜索被引量：2
《福建工程学院学报》2020年第4期343-348,共6页邓慧琼 罗杰 李钦彬 郑荣进 李培强 
福建工程学院科研与发展基金项目(GY-Z17149)。
针对在电网连锁跳闸场景下,提出一种对电网临界初始运行状态的搜索方法。首先,根据系统在连锁跳闸时的具体表现,结合线路电流型后备保护的动作行为,给出判断电网连锁跳闸的数学表示形式,并对支路在连锁跳闸时的临界状态进行全面分析。其...
关键词：电力系统 连锁跳闸 临界状态 关键节点 粒子群算法 
收缩候选回溯集的有状态动态偏序归约方法被引量：1
《计算机工程》2015年第5期70-76,共7页赵璐 张健沛 杨静 
国家自然科学基金资助项目(61370083;61073043;61073041);教育部高等学校博士学科点专项科研基金资助项目(20112304110011;20122304110012);哈尔滨市科技创新人才研究专项基金资助项目(2011RFXXG015)
在验证多线程并发程序时,将基于无状态或有状态搜索的软件模型检测与动态偏序归约方法相结合,能大幅缩减待验证程序的状态空间,而动态偏序归约需不断利用当前候选回溯集更新相应回溯集,导致更新回溯集的计算成本过高。为此,形式化定义...
关键词：软件模型检测 动态偏序归约 有状态搜索 回溯集 收缩候选集 
IEEE802.11中WEP认证协议的SPIN模型检测被引量：4
《计算机工程与设计》2008年第3期590-591,600,共3页金秀 张大方 缪力 
国家自然科学基金项目(60673155);国防基础科研“十一五”基金项目(A1420060162)
用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语...
关键词：WEP协议 模型检测 认证 协议分析 逻辑验证 状态搜索 协议漏洞 
QoS网络最优节点状态搜索算法研究被引量：1
《西安电子科技大学学报》2005年第6期973-976,共4页韩琳娜 马正新 胡捍英 
863资助项目(2001AA115126)
提出最优节点状态搜索算法,证明能够以最小的代价在网络单节点状态搜索图中找到最符合某种特定网络QoS要求的单节点状态,作为本节点在此次业务传输中的最优状态.则可根据某种网络业务的具体QoS要求,适当选取算法中的代价函数,达到分别...
关键词：节点状态 服务质量 最优搜索 
一种基于Strand空间的认证协议检测方法
《计算机应用》2004年第1期76-79,共4页姜志坚 韩芳溪 
山东省科技厅基金资助项目 (0 0 30 90 30 9)
Strand空间是一种安全协议分析模型 ,使用图的形式来描述协议 ,证明协议的正确性。通过分析研究 ,本文建立了攻击者知识模型 ,在此基础上提出了一种基于Strand空间的认证协议检测方法 ,该方法产生状态少 ,避免了状态空间的爆炸。并以Nee...
关键词：STRAND空间 BUNDLE 攻击者知识模型 状态搜索 
二维不规则图形排样算法的优化被引量：2
《煤矿机械》2003年第3期39-41,共3页林海鹏 
寻求二维不规则图形零件在排样区域上的最优排列 ,也就是对二维不规则图形的计算机自动排样算法进行优化 ,将在工业应用中有很广阔的前景。采用矩形包络和状态搜索相结合的排样算法对二维不规则图形零件进行排样 。
关键词：排样算法 二维排样 矩形包络 状态搜索 计算机图形学 计算机辅助技术 
改进的加密协议形式化验证模型和算法被引量：2
《清华大学学报（自然科学版）》2002年第1期48-51,共4页桑田 黄连生 张磊 
国家自然科学基金资助项目 ( 6 9872 0 19)
状态搜索技术是分析加密协议安全属性的最流行的形式化验证方法之一 ,Mur是一种常用的能分析一般性协议的模型工具 ,它的原理简明 ,但缺点是容易产生状态爆炸。为了克服这一问题 ,针对加密协议的特点 ,提出了改进模型和算法。根据协...
关键词：状态搜索 形式化验证 加密协议 攻击者 Murφ 网络安全 验证模型 搜索算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部