概率模型检测

作品数：37被引量：83H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：董荣胜李晓娟关永王瑞张杰更多>>
相关机构：南京航空航天大学桂林电子科技大学首都师范大学北京化工大学更多>>
相关期刊：《高技术通讯》《计算技术与自动化》《计算机工程与应用》《电脑与信息技术》更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金国际科技合作与交流专项项目北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于概率模型的Raft协议形式化验证
《计算机与现代化》2023年第9期77-81,86,共6页管金平 杨晋吉 杨成龙 
广东省自然科学基金资助项目(2020A1515010445)。
共识协议作为分布式系统的关键要素和核心组件,用于解决分布式场景下可能出现故障的节点间保证同一数据一致的问题,其准确性和高效性直接决定了系统的性能。Raft共识协议是目前分布式系统中常见且有效的算法。本文首先使用概率模型检测...
关键词：分布式系统 Raft共识协议 概率模型检测 形式化验证 属性规约 
5G网络认证与密钥协商协议的形式化验证与分析被引量：1
《计算机系统应用》2022年第12期398-404,共7页杨成龙 杨晋吉 苏桂钿 管金平 
广东省自然科学基金(2020A1515010445)
网络攻击的手段层出不穷,如中间人攻击,重放攻击,DoS攻击等,以此获取不当利益.密钥协商协议的设立是为合法用户提供正确认证入口,并拒绝攻击者的非法接入和攻击.密钥协商协议是保护移动通信提高服务质量的第一道安全防线,5G网络密钥协...
关键词：概率模型检测 5G网络 认证与密钥协商协议 形式化验证 PRISM 
车联网通信协议中随机退避机制的概率模型检测
《南通大学学报（自然科学版）》2022年第2期38-48,共11页金丽 章国安 朱浩 段玮 朱晓军 
国家自然科学基金面上项目(61971245)。
针对车联网IEEE 802.11P通信协议应用于车与车之间的短程通信以提高数据传输效率,提出了该通信协议中随机退避机制的模型检测方法。分析了分布式协调功能的基本接入技术,从多个属性角度对双向握手机制中的随机退避过程进行了深入地分析...
关键词：车联网 IEEE 802.11P 退避机制 模型检测 
概率行为树模型转化为模型检测模型方法研究被引量：2
《机械设计与制造》2020年第8期94-98,共5页侯翌 杨培林 徐凯 
国家自然科学基金—基于形式化技术的复杂机电系统可靠性评价方法研究(51375365)。
将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差...
关键词：机电系统 概率行为树建模 概率模型检测 模型转换 
机电系统的概率行为树建模及可靠性评价被引量：2
《中国机械工程》2020年第14期1639-1646,共8页杨培林 刘青 樊娟妮 侯翌 
国家自然科学基金资助项目(51375365)。
直接利用模型检测工具提供的形式化语言对系统进行形式化建模直观性较差、建模难度大,因此利用概率行为树对机电系统进行形式化建模,并通过概率模型检测对机电系统进行可靠性评价。对机电系统功能执行过程中功能载体的状态及其变迁进行...
关键词：概率行为树 概率模型检测 可靠性评价 机电系统 
基于概率模型的云辅助的轻量级无证书认证协议的形式化验证被引量：2
《计算机科学》2019年第8期206-211,共6页夏奴奴 杨晋吉 赵淦森 莫晓珊 
匿名WBANs通信技术是保护互联网用户和服务器间隐私的最有力手段之一,但匿名WBANs无证书认证协议的形式化验证仍是亟待解决的难题。采用概率模型检测的方法对一种基于云辅助的匿名WBANs的轻量级无证书认证协议建立离散时间马尔科夫链模...
关键词：概率模型检测 WBANs 攻击率 云辅助的轻量级无证书认证协议 PRISM 
基于概率模型检测的移动应用缺陷评估被引量：2
《计算机工程与设计》2019年第7期1908-1914,共7页张国强 殷博 朱静雯 康介恢 
天津市自然科学基金重点基金项目(17JCZDJC30700);天津市科技支撑基金项目(17YFZCGX00610)
为研究移动应用缺陷发生概率对应用缺陷的修复选择、应用程序质量评估的影响,提出一种基于概率模型检测的移动应用程序缺陷评估研究方法。生成移动应用程序的回调序列概率模型,将该模型转换为离散时间链的Markov模型,采用概率模型检测器...
关键词：移动应用 回调序列 应用缺陷 MARKOV模型 概率模型检测 
基于动态故障树的航空发动机可靠性分析方法研究被引量：12
《计算技术与自动化》2019年第2期1-7,共7页宛伟健 谢健 葛晓瑜 
国家自然科学基金资助项目(61772270);国家重点研发计划资助项目(2016YFB1000802)
随着航空发动机技术的不断发展,对其性能要求不断提高,使得航空发动机的安全性和可靠性变得愈发重要。然而,当前针对航空发动机的可靠性分析方法较少考虑系统失效时的动态特性,面向《航空发动机适航规定》(CCAR33-R2),考虑航空发动机危...
关键词：CCAR33-R2.75 动态故障树 离散时间马尔科夫链 概率模型检测 PRISM 
基于概率模型检测的机电系统动态可靠性评价被引量：3
《中国机械工程》2019年第5期549-553,共5页侯翌 杨培林 徐凯 刘青 樊娟妮 
国家自然科学基金资助项目(51375365)
为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单元的状态变迁过程,建立了机电系统的形式化模型。利用连续随...
关键词：动态可靠性 可靠性评价 概率模型检测 机电系统 
基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制被引量：1
《计算机科学》2018年第10期313-319,共7页刘爽 魏欧 郭宗豪 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973计划)(2014CB744904)资助
基因调控网络是一类基本且重要的生物网络,通过对其进行控制可以实现生物系统功能的调节。在生物系统中,通过外部的干预控制构造关于基因调控网络的控制理论成为了非常热门的研究主题。目前,作为一种重要的网络模型,带有干扰且上下文相...
关键词：基因调控网络 优化控制 概率模型检测 遗传算法 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部