Quantitative Survivability Analysis Using Probability Model Checking:A Study of Cluster-Based Vehicl

来源 :中国通信:英文版 | 被引量 : 0次 | 上传用户:zdf657094142
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
As an important part of future 5G wireless networks,a vehicular network demands safety,reliability and connectivity.In this context,networking survivability is usually considered an important metric to evaluate network performance.In this paper,we propose
其他文献
High peak-to-average power ratio(PAPR) is a concern in orthogonal frequency division multiplexing(OFDM) systems. Hadamard based selected mapping(HSLM) which use
以枇杷为主料,花、果、菜为辅料配制复合果汁,采用正交设计的方法进行研制和精选,对最佳配方的单一果汁与复合果汁进行保鲜过程中的物质变化研究.结果表明:活性物质SOD、POD
With the continuous progress of The Times and the development of technology, the rise of network social media has also brought the "explosive" growth of image data. As one of the main ways of Peoples
卷烟条盒机用白板纸是供卷烟茶盒机械包装之用,目前我国各大烟厂均采用机械包装替代过去的手工包装,在此之前,我国除宁波造纸厂外还没有第二家生产、全靠进口,此产品具有广阔
目的彗星试验(也即单细胞凝胶电泳)是一种简便、灵敏的DNA损伤检测技术,在农药遗传毒理评价应用上有着重要的实用价值,我们采用彗星试验以国内开发的2种新型农药(氟吗啉和异
汽轮鼓风机安装投运后振动不稳定,并呈逐渐放大趋势,无法满足长期安全运行需要。通过振动分析确定故障类型找到问题部位,并通过改造调整使问题得到解决,恢复机组的运行特性。
<正> 近年来,微核试验(Micronucleus Test,MNT)应用得越来越广泛,但仅有小鼠骨髓嗜多染红细胞(Polychromatic erythrocytes,简称PCE)MNT发展为标准试验,得到各权威机构认可,
<正> 抗癌药物丝裂霉素C(Mitomycin C)是在日本发现的一种抗菌素。它的生物学作用象烷化剂,能抑制细胞的快速分裂。关于MMC对小鼠胚胎发育的影响已有报道,但他们的工作是观察
教学成果反映、提高的究竟是什么教育质量邑?文章从全面教育质量观入手对教学成果与教育质量的关系进行了探索。全面教育质量主要包括内适质量、外适质量、人文质量三种质量标
本文主要介绍了莱钢天元气体公司DH71—3型离心式空压机运行中出现的叶轮轴振动值异常超高现象,结合对轴振动的监测分析了故障原因,阐述了相应的处理措施和效果。