检索结果-内蒙古大学图书馆

小型微型计算机系统 2017年第6期38卷 1175-1180页

作者：李宙洲魏欧郭宗豪余鹏韩兰胜南京航空航天大学计算机科学与技术学院南京211100 华中科技大学计算机科学与技术学院武汉430074

网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播... 详细信息

网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播模型,将干预目标描述为相应的概率时序逻辑属性,提出了概率情况下的网络传播干预策略问题;进一步,以离散的邮件病毒传播模型为研究对象,重点分析了安装防护,定期防护两种防护措施,给出了相应的干预策略分析问题;并且,采用概率模型检测工具PRISM,结合近似模型检测方法,进行了实验分析.

关键词：概率模型检测网络传播干预策略近似模型检测方法形式化方法

来源：评论

学校读者我要写书评

暂无评论

概率模型检测在动态能耗管理中的应用

引用

计算机科学 2018年第1期45卷 261-266,291页

作者：杜伊何洋洪玫四川大学计算机学院成都610065

如何平衡嵌入式设备的能耗和性能表现,成为了一个热门话题。动态能耗管理是一种在保证系统性能的基础上降低其能耗的有效方法,其关键点是如何生成有效的动态能耗管理策略。在概率模型检测技术的基础上,提出了一种生成和验证动态能耗管... 详细信息

如何平衡嵌入式设备的能耗和性能表现,成为了一个热门话题。动态能耗管理是一种在保证系统性能的基础上降低其能耗的有效方法,其关键点是如何生成有效的动态能耗管理策略。在概率模型检测技术的基础上,提出了一种生成和验证动态能耗管理策略的方法。首先对目标系统和能耗管理目标建模,然后利用PRISM-games工具进行动态能耗管理策略的合成,同时利用模型检测工具PRISM对合成的动态能耗管理策略进行验证。实验表明,该方法具备可行性和有效性。

关键词：动态能耗管理概率模型检测策略合成策略验证

来源：评论

学校读者我要写书评

暂无评论

概率模型检测技术在机器人路径规划中的应用

引用

计算机仿真 2015年第3期32卷 364-369页

作者：夏春蕊王瑞李晓娟关永首都师范大学信息工程学院北京100048

在机器人路径规划的实际应用中,针对机器人移动行为可能会受到外界环境影响的难题,提出了一种采用概率模型检测技术进行路径规划的新方法。首先,分析环境中的主要影响因素,将机器人的移动行为看作一个不确定事件,构建马尔可夫决策过程(M... 详细信息

在机器人路径规划的实际应用中,针对机器人移动行为可能会受到外界环境影响的难题,提出了一种采用概率模型检测技术进行路径规划的新方法。首先,分析环境中的主要影响因素,将机器人的移动行为看作一个不确定事件,构建马尔可夫决策过程(MDP)模型。然后,采用概率计算树逻辑(PCTL)公式描述模型属性,表达机器人复杂多样的目标任务。最后,运用PRISM平台对模型进行分析和验证,得到满足属性的全局优化路径和定量数据。仿真结果表明,上述方法不仅能够保障机器人在障碍物环境中无碰撞移动,而且可以避开环境相对复杂的区域,保证机器人以最大概率完成任务。对比试验证明上述方法的正确性和有效性。

关键词：移动机器人路径规划概率模型检测马尔可夫决策过程概率计算树逻辑

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检测的机电系统动态可靠性评价

引用

中国机械工程 2019年第5期30卷 549-553页

作者：侯翌杨培林徐凯刘青樊娟妮西安交通大学机械工程学院西安710049 西北工业集团有限公司计量理化一中心西安710043

为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单元的状态变迁过程,建立了机电系统的形式化模型。利用连续随... 详细信息

为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单元的状态变迁过程,建立了机电系统的形式化模型。利用连续随机逻辑对机电系统可靠性评价指标进行形式化描述,建立了可靠性指标的规约表达式,借助概率模型检测工具自动解算可靠性指标,实现了基于概率模型检测的机电系统动态可靠性评价。所提方法建模过程简单,能有效提高机电系统动态可靠性分析的效率。

关键词：动态可靠性可靠性评价概率模型检测机电系统

来源：评论

学校读者我要写书评

暂无评论

概率模型检测在自主移动机器人方面的应用研究

概率模型检测在自主移动机器人方面的应用研究

引用

作者：张琦广西民族大学

学位级别：硕士

随着人工智能技术的不断进步,自主移动机器人的应用前景也越来越广阔。然而,自主移动机器人缺乏人类决策的干预,面临着相关危险问题。为确保自主移动机器人按预期运行,验证不确定因素对机器人的影响是至关重要的。此外,为确保机器人能... 详细信息

随着人工智能技术的不断进步,自主移动机器人的应用前景也越来越广阔。然而,自主移动机器人缺乏人类决策的干预,面临着相关危险问题。为确保自主移动机器人按预期运行,验证不确定因素对机器人的影响是至关重要的。此外,为确保机器人能够高效地完成搜索任务,需要设计搜索策略。因此,本文提出了一种使用概率模型检测技术构建的自主行为模型,用于分析系统参数和故障信息对机器人完成任务的影响。同时,将概率模型检测技术用于搜索策略的生成,以满足自主移动机器人执行搜索任务的需求。本文主要研究内容如下:(1)研究了如何使用概率模型检测技术构建自主移动机器人的行为模型,以自主移动抓取机器人完成任务的场景为例,提出了以机器人行为为中心的算法,该算法分为行为选择子算法、路径选择子算法、时间电量控制子算法,三个子算法可以描述机器人的行为转化及在任务中的运行情况。使用马尔科夫决策过程去描述三个子算法,利用PRISM模型检测器对马尔科决策过程进行形式化描述,构建自主行为的形式化模型。使用模型去分析系统参数以及故障对机器人的影响,将已知的系统定量信息和故障信息纳入模型,使用概率模型检测技术对任务成功率等重要属性进行形式化验证。(2)研究了如何使用概率模型检测技术生成自主移动机器人的搜索策略。重点关注搜索模式,以机器人在实际应用中的情况为启发,设计了四种简化的搜索场景,分别是单独搜索模式下的搜索控制和传感器控制,多机器人协作搜索模式下的普通多机器人搜索和闲置控制搜索的场景。基于固定搜索方式下的自主行为模型,采用马尔科夫决策过程对每个搜索场景进行建模,使用PRISM对模型进行描述并属性验证,根据验证结果得出最大任务成功率下所需要的最小电池容量,以及在最小电池容量下成功完成任务的最小预期任务时间。最终,PRISM根据最小电池容量、最小预期任务时间和最大成功率生成每个场景下的最优搜索策略。

关键词：概率模型检测马尔科夫决策过程形式化验证自主移动机器人

来源：评论

学校读者我要写书评

暂无评论

非确定性环境中移动机器人实时避障的概率模型检测

引用

小型微型计算机系统 2014年第9期35卷 2104-2109页

作者：王铭王瑞李晓娟关永张杰魏洪兴高可靠嵌入式系统技术北京市工程研究中心电子系统可靠性技术北京市重点实验室首都师范大学信息工程学院北京100048 北京化工大学信息科学与技术学院北京100029 北京航空航天大学机械工程及自动化学院北京100191

移动机器人的避障问题是机器人学的重要问题,实时避障是移动机器人安全导航的关键.针对移动机器人存在的制动机误差和传感器噪声等不确定因素,采用概率模型检测的方法对实时避障控制策略进行验证和定量分析.首先,将目标机器人的避障运... 详细信息

移动机器人的避障问题是机器人学的重要问题,实时避障是移动机器人安全导航的关键.针对移动机器人存在的制动机误差和传感器噪声等不确定因素,采用概率模型检测的方法对实时避障控制策略进行验证和定量分析.首先,将目标机器人的避障运动及动态障碍物的非确定运动建模为马尔科夫决策过程,其中避障策略包括等待避障、减速避障和加速避障.然后,运用概率计算树逻辑语言描述目标机器人运动的关键属性并使用概率模型检测工具进行验证.最后,分析得到目标机器人与动态障碍物发生碰撞的最大概率值;目标机器人采取减速(加速)避障时,减速(加速)行驶的最佳时间;目标机器人的控制误差对避障运动的影响等.实验结果表明某些参数影响目标机器人的避障效果,并为参数值的选择提供参考依据.

关键词：移动机器人控制误差实时避障概率模型检测马尔科夫决策过程

来源：评论

学校读者我要写书评

暂无评论

一种高效的动态概率广播算法及其概率模型检测分析

引用

小型微型计算机系统 2008年第3期29卷 417-421页

作者：文英董荣胜桂林电子科技大学计算机系广西桂林541004

在AdHoc网络中,广播有着相当广泛的应用,其算法的效率极大地影响着网络的性能.本文基于DP算法提出了BN-DP算法,考虑了节点分布、计数器值以及收发节点间距离对广播算法的影响,赋予处于接收边缘的节点更高的转发概率.然后使用概率模型检... 详细信息

在AdHoc网络中,广播有着相当广泛的应用,其算法的效率极大地影响着网络的性能.本文基于DP算法提出了BN-DP算法,考虑了节点分布、计数器值以及收发节点间距离对广播算法的影响,赋予处于接收边缘的节点更高的转发概率.然后使用概率模型检测工具PRISM,分析了计数器值和节点分布对BN-DP算法性能的影响.结果表明:在相同可达率的情况下,所提出的BN-DP算法与FP、DP算法相比,减少了转发分组的数量,提高了广播效率.

关键词： Ad Hoc网络 BN—DP算法概率模型检测 PRISM

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检测的Web服务组合验证

引用

计算机科学 2012年第1期39卷 120-123页

作者：王晶戎玫张广泉祝义苏州大学计算机科学与技术学院苏州215006 暨南大学深圳旅游学院深圳518053 中国科学院软件研究所计算机科学国家重点实验室北京100080 徐州师范大学计算机科学与技术学院徐州221116

Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采... 详细信息

Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性。

关键词： Web服务组合有限自动机 Markov模型概率模型检测

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检测的移动应用缺陷评估

引用

计算机工程与设计 2019年第7期40卷 1908-1914页

作者：张国强殷博朱静雯康介恢国网天津市电力公司电力科学研究院天津300384 国网天津市电力公司天津300010 南开大学软件学院天津300350 南开大学计算机与控制工程学院天津300350

为研究移动应用缺陷发生概率对应用缺陷的修复选择、应用程序质量评估的影响,提出一种基于概率模型检测的移动应用程序缺陷评估研究方法。生成移动应用程序的回调序列概率模型,将该模型转换为离散时间链的Markov模型,采用概率模型检测器... 详细信息

为研究移动应用缺陷发生概率对应用缺陷的修复选择、应用程序质量评估的影响,提出一种基于概率模型检测的移动应用程序缺陷评估研究方法。生成移动应用程序的回调序列概率模型,将该模型转换为离散时间链的Markov模型,采用概率模型检测器PRISM计算移动应用缺陷的发生概率,通过统计分析和对比实验分析研究方法的可行性和有效性。

关键词：移动应用回调序列应用缺陷 Markov模型概率模型检测

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检测的Web服务组合多目标验证

引用

计算机科学 2018年第8期45卷 288-294页

作者：周女琪周宇南京航空航天大学计算机科学与技术学院南京210016 江苏省软件新技术与产业化协同创新中心南京210023

Web服务组合是服务计算领域的重要研究内容。用户的非功能性需求是Web服务组合中衡量服务的标准之一,然而开放环境下用户的需求具有一定的不确定性和多目标性特点。为了解决此种不确定性,提出了一种基于概率模型检测的多目标验证方法。... 详细信息

Web服务组合是服务计算领域的重要研究内容。用户的非功能性需求是Web服务组合中衡量服务的标准之一,然而开放环境下用户的需求具有一定的不确定性和多目标性特点。为了解决此种不确定性,提出了一种基于概率模型检测的多目标验证方法。首先,将Web服务组合过程建立为定量多目标马尔可夫决策过程,并将该模型转换为PRISM模型。同时,将不同的用户需求建模成多目标时序逻辑公式,使用概率模型检测器PRISM对其进行验证,获得多个目标约束下关键目标的期望值,并导出相关策略。最后,通过实例来进一步说明该方法的有效性与可行性。

关键词： Web服务组合概率模型检测多目标验证用户需求

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：