软错误是高辐照空间环境下影响计算可靠性的主要因素,结果错误(silent data corruption,简称SDC)是软错误造成的一种特殊的故障类型.针对SDC难以检测的问题,提出了一种基于不变量的检测方法.不变量是运行时刻保持不变的程序特征.在软错...
详细信息
软错误是高辐照空间环境下影响计算可靠性的主要因素,结果错误(silent data corruption,简称SDC)是软错误造成的一种特殊的故障类型.针对SDC难以检测的问题,提出了一种基于不变量的检测方法.不变量是运行时刻保持不变的程序特征.在软错误发生后,由于程序受到影响,不变量一般不再满足.根据该原理,在源代码中插入以不变量为内容的断言,利用发生软错误后断言报错来检测软错误.首先,根据错误传播分析确定了检测位置,提取了检测位置的不变量;定义了表征不变量检测能力的渗透率,在同一检测位置依据渗透率将不变量转化为断言.通过错误注入实验,验证了该检测方法的有效性.实验结果表明:该检测方法具备较高的检出率和较低的检测代价,为星载系统的软错误防护提供了新的解决思路.
针对分布式k团社区检测引起的超大社区问题,提出了具有节点退出机制的τ-window社区检测方法,相应提出了τ-、window中心性估计。通过实验发现τ-window社区和τ-window中心性具有周期演化特性,利用该特性,提出TTL(time to live)社区检...
详细信息
针对分布式k团社区检测引起的超大社区问题,提出了具有节点退出机制的τ-window社区检测方法,相应提出了τ-、window中心性估计。通过实验发现τ-window社区和τ-window中心性具有周期演化特性,利用该特性,提出TTL(time to live)社区检测和TTL中心性估计,以更准确预测消息生存期上节点的相遇。随后,利用TTL社区和TTL中心性作为转发测度,设计了新的机会移动网络路由算法PerEvo。实验结果表明,与现有的基于社会特征的路由算法比较,PerEvo在保持基本不变的传输开销的同时,有效提高了机会移动网络消息投递的成功率。
内容共享是实现互联网普惠全民(The Internet is for Everyone)的重要方面,为此,中国工程院李幼平院士提出以Internet为主结构而以播存网络为次结构的双体系结构内容共享网络,简称双结构网络DAN(Dual-Architecture Network),本文首先介...
详细信息
内容共享是实现互联网普惠全民(The Internet is for Everyone)的重要方面,为此,中国工程院李幼平院士提出以Internet为主结构而以播存网络为次结构的双体系结构内容共享网络,简称双结构网络DAN(Dual-Architecture Network),本文首先介绍DAN的实现模型并进行形式化描述,然后定性分析DAN的内容共享机理和内容运营模式,同时采用2ACT模型进行定量分析,最后通过原型系统进行原理性验证.从多个维度综合阐明DAN的内容共享能力.
暂无评论