模型检测网络传播干预策略

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户:WPF0731
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
网络广泛存在于自然界和人类生活中,计算机病毒、传染疾病、森林火灾和社会流言等在网络中的传播给经济、社会带来巨大挑战,寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题。对受时间和邻接点影响的网络传播模型进行了重点关注,在已有静态保护工作的基础上,进一步研究了动态保护情况,总结了4类相关的干预策略分析问题;通过将干预目标描述为相应的时序逻辑属性,给出了通过模型检测找出有效的干预策略以抑制传播的方法。针对随机和小世界两种网络,比较分析了NuSMV和SPIN两种模型检测工具在解决具体网络传播干预策略问题
其他文献
以山西省竞技体育可持续发展为研究出发点,从山西省竞技体育的发展现状和发展趋势入手,通过对山西省竞技体育发展的瓶颈现象的原因分析,提出实现山西省竞技体育可持续发展的
针对按传统理论设计制造的汽车零部件自动生产线只适合单一品种加工、设计制造周期长、零部件通用化率低、成本高的缺点。通过对汽车零部件可重构自动化制造系统的特点及其关
本文采用2006~2017年间中国省际面板数据,运用LMDI分解技术识别由技术进步引起的污染排放强度变化,定量评估环境回弹效应(ERE)。研究发现:中国各省份环境回弹效应集中在40%~9
教师专业化是世界教师教育发展的趋势和潮流,也是我国教师教育改革的需要和方向,当然高校辅导员的专业化发展也是我国教育改革的必然趋势。文章对我国高校辅导员队伍专业化建
本文从研究区域技术创新各个环节中的"市场失灵"出发,致力于政府相关区域技术创新政策选择的研究。本文首先基于市场和政府在区域技术创新体系中的不同作用机制,提出了一个基
采购组合拍卖指的是通过组合拍卖的方式进行多物品采购。在进行采购组合拍卖时,拍卖的机制设计不仅要考虑供应商——投标者的利益,同时还要考虑采购商——拍卖者的利益,也即
就茶文化研究的现状而论,儒家思想与茶文化、禅宗与茶文化被研究得比较充分,也比较深入,而对老庄、道教与茶文化的关系则重视不够,至今尚未被全面深入地研究,本文即拟在这方
目的探讨微信平台临床病理讨论会教学效果。方法将66名2015级医学检验技术专业的学生采用信封法随机分成两组,每组各33名,设定第一组为传统教学即为对照组,第二组为微信平台
谈及澳大利亚,人们首先联想到的往往是美丽的景观、丰富的矿产以及上好的羊毛等等,其实澳大利亚的生物科技也不逊色。笔者为澳大利亚驻华大使馆商务处的官员,多年从事澳中生物科
<正>1问题的提出有段时间连续被老师问:何谓抛物线形状相同?如下面几例:例1已知二次函数y=a(x+m)2的形状和y=2x2相同,且顶点坐标为A(-2,0),求二次函数关于y轴对称的图形的解