期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
12
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
分布式WSN系统中的拜占庭故障算法研究
被引量:
2
1
作者
张晓霞
张凤登
+1 位作者
陈悫
张大庆
《工业控制计算机》
2014年第1期70-72,共3页
在分布式WSN系统中,簇内有相当多的无线传感器节点,这些节点可能会部署在各种环境中,采用从单个传感器上所获取信息可靠性不高。为了提高系统的可靠性,需要对多个传感器节点采集数据进行综合,这样就可以有效地提高所获得数据的精度和可...
在分布式WSN系统中,簇内有相当多的无线传感器节点,这些节点可能会部署在各种环境中,采用从单个传感器上所获取信息可靠性不高。为了提高系统的可靠性,需要对多个传感器节点采集数据进行综合,这样就可以有效地提高所获得数据的精度和可信度。研究了在系统节点发生拜占庭故障的情况下,利用现有WSN的数据融合方法以及安全系统中的拜占庭将军问题,提出了一种新的基于OM算法与贝叶斯检测算法的容错检测算法,合理而有效的进行数据融合,减小拜占庭故障对系统的影响,从而使所有节点做出一致决定。通过仿真得出该算法可以保证节点决策具有较高一致性的情况下仍有较高的故障节点减少率。
展开更多
关键词
无线传感网络
拜占庭故障
容错检测
下载PDF
职称材料
基于拜占庭故障模式的空天飞行器GNC系统架构研究
2
作者
石庆峰
梁君
+2 位作者
郎鹏飞
李然
李艳美
《计算机测量与控制》
2017年第5期29-31,55,共4页
针对空天飞行器对GNC系统的高可靠性需求,开展了基于拜占庭故障模式的GNC系统架构研究,采用四机三总线架构设计方案,通过系统内总线实现输入数据及输出数据多机冗余比对,防止拜占庭故障的发生,提升了系统可靠性,实现了系统自检测和故障...
针对空天飞行器对GNC系统的高可靠性需求,开展了基于拜占庭故障模式的GNC系统架构研究,采用四机三总线架构设计方案,通过系统内总线实现输入数据及输出数据多机冗余比对,防止拜占庭故障的发生,提升了系统可靠性,实现了系统自检测和故障的准确定位及隔离,并具有在线故障诊断、故障自修复功能,同时解决了高动态、强干扰环境下系统自主性较差的问题,提升了GNC系统可靠性和容错性;经分析,该系统架构能够满足空天飞行器在轨、再入复杂任务需求。
展开更多
关键词
空天飞行器
拜占庭故障
GNC系统
容错设计
下载PDF
职称材料
FlexRay时钟同步拜占庭故障容错算法研究
被引量:
4
3
作者
刘让
张凤登
《软件导刊》
2020年第1期68-74,共7页
为了解决FlexRay分布式实时系统中时钟同步可能出现拜占庭故障,从而导致系统时钟崩溃的问题,提出一种有效的解决算法FlexRayBFT(FlexRay Byzantine-Fault-Tolerant)。该算法在传统拜占庭容错算法基础上引入消息认证码技术,对报文进行加...
为了解决FlexRay分布式实时系统中时钟同步可能出现拜占庭故障,从而导致系统时钟崩溃的问题,提出一种有效的解决算法FlexRayBFT(FlexRay Byzantine-Fault-Tolerant)。该算法在传统拜占庭容错算法基础上引入消息认证码技术,对报文进行加密处理,相比指数型算法,其性能提高了3个数量级。FlexRayBFT执行分为准备阶段与回复执行阶段,分析不同阶段的消息具体通信过程,同时证明了算法的一致性与正确性。通过使用Truetime工具箱搭建FlexRay线控转向分布式实时系统,对系统使用FlexRayBFT算法前后分别进行仿真实验验证。结果表明,FlexRayBFT算法可以有效克服FlexRay分布式实时系统中时钟同步的拜占庭故障,保障时钟同步的稳定性。
展开更多
关键词
FLEXRAY
分布式实时系统
时钟同步
拜占庭故障
下载PDF
职称材料
Nova-BFT:一种支持多种故障模型的副本状态机协议
被引量:
4
4
作者
王永剑
裴翔
+2 位作者
李涛
栾钟治
钱德沛
《计算机研究与发展》
EI
CSCD
北大核心
2011年第7期1134-1145,共12页
云计算在简化用户访问资源方式的同时导致了支撑系统开发部署的复杂,软件错误、部署管理失误导致的拜占庭故障已经成为影响系统可靠性的重要原因.对于在大部分运行周期都满足良性故障模型的系统,拜占庭容错协议在通信复杂度、安全等方...
云计算在简化用户访问资源方式的同时导致了支撑系统开发部署的复杂,软件错误、部署管理失误导致的拜占庭故障已经成为影响系统可靠性的重要原因.对于在大部分运行周期都满足良性故障模型的系统,拜占庭容错协议在通信复杂度、安全等方面的开销以及其在攻击场景下性能鲁棒性方面的缺陷都限制了其在实际系统中的使用.如何满足实际系统对多种故障模型的需求,已经成为系统设计的一个重要问题.针对这一现状,设计了Nova-BFT,一种有效支持多种故障模型的副本状态机协议,通过牺牲部分峰值吞吐率的方式满足拜占庭容错协议对性能鲁棒性的要求,采用配置参数方式自适应满足良性故障的性能需求.实验表明,Nova-BFT在拜占庭故障模型下吞吐率为4~5kop/s,同时其对良性故障模型的支持可以有效满足大多数实际应用的需求.
展开更多
关键词
云计算
副本状态机
拜占庭故障
良性
故障
鲁棒性
下载PDF
职称材料
时间触发以太网拜占庭容错方法的形式化验证
被引量:
4
5
作者
汤雪乾
李峭
+1 位作者
孔韵雯
何锋
《载人航天》
CSCD
北大核心
2018年第2期273-278,共6页
对于时间触发以太网的拜占庭容错方法,已有的推理性论证表明网络的分布式时钟同步机制有利于容错过程中实现交互一致性。为对该容错方法的正确性进行严格验证,进一步采用模型检查的形式化分析手段,通过符号分析实验室(SAL)形式化工具,...
对于时间触发以太网的拜占庭容错方法,已有的推理性论证表明网络的分布式时钟同步机制有利于容错过程中实现交互一致性。为对该容错方法的正确性进行严格验证,进一步采用模型检查的形式化分析手段,通过符号分析实验室(SAL)形式化工具,构建了网络节点模型,建立了时间触发体系结构下的拜占庭容错场景,设定了容错操作活性、一致性和有效性等属性的形式化定理。模型检查的结果表明:在三冗余独立路径条件下,该方法可以容忍一个拜占庭故障,且在存在指令/监视对(COM/MON pair)的条件下可以容忍2个高完整性配置节点的"不一致遗漏"故障。与推理论证手段相比,SAL模型检查为时间触发交换式网络在航空航天高安全关键等级系统中的容错配置提供了更规范的依据。
展开更多
关键词
故障
容忍
形式化方法
时间触发以太网
拜占庭故障
SAL
下载PDF
职称材料
基于灰色预测容错时钟同步算法
6
作者
陆禹
张力
张凤登
《电子科技》
2023年第3期29-35,共7页
针对分布式实时系统中无主式时钟同步存在时钟拜占庭故障和节点通信链路丢失故障的问题,文中提出一种基于灰色预测容错时钟同步算法。该算法基于广播式通信网络LL模型,使用GM(1,1)的灰色预测方法对前轮次的校正偏差值进行分析,从而预测...
针对分布式实时系统中无主式时钟同步存在时钟拜占庭故障和节点通信链路丢失故障的问题,文中提出一种基于灰色预测容错时钟同步算法。该算法基于广播式通信网络LL模型,使用GM(1,1)的灰色预测方法对前轮次的校正偏差值进行分析,从而预测出该节点在故障伦次中的校正偏差值,再通过计算得到修正值。实验结果表明,文中提出的灰色预测算法能够容忍拜占庭故障,同时可克服节点通信链路丢失故障带来的问题,提升了FTA算法的普适性。通过数据对比分析结果表明,该算法的时钟同步精密度相比于原始算法提高了24.3%;相较于其他算法,文中算法在复杂度上也有一定的优势。
展开更多
关键词
分布式实时系统
无主式
时钟同步
拜占庭故障
通信链路丢失
故障
灰色预测
容错
校正偏差值
下载PDF
职称材料
RTEthernet中改进的FTA时钟同步算法研究
7
作者
张宇辉
张凤登
张海涛
《电子科技》
2023年第1期67-74,共8页
针对以太网存在节点时钟漂移、网络链路延迟、同步能力差等问题,文中基于RTEthernet协议的通信原理,构建了时钟同步系统的模型。文中研究了RTEthernet的组成、工作原理,考虑了影响实时以太网时钟同步精密度的三大因素:漂移率、网络传输...
针对以太网存在节点时钟漂移、网络链路延迟、同步能力差等问题,文中基于RTEthernet协议的通信原理,构建了时钟同步系统的模型。文中研究了RTEthernet的组成、工作原理,考虑了影响实时以太网时钟同步精密度的三大因素:漂移率、网络传输延迟和时钟拜占庭故障,并基于此分析了原始的FTA时钟同步算法,发现它在拜占庭故障增多的情况下容错性能明显降低,进而引入“容错中值”的思想进行改进并提出了RTE-FTM算法。通过CANoe仿真平台,对系统(7个节点)中存在2个拜占庭故障与不存在拜占庭故障进行对比分析。结果表明系统的精密度损失率降低了3.1%,并由此验证了该算法的收敛性和有效性。
展开更多
关键词
以太网
RTEthernet
漂移率
网络传输延迟
时钟
拜占庭故障
容错中值
RTE-FTM
收敛性
下载PDF
职称材料
纠删码分片验证技术研究
被引量:
2
8
作者
王宝林
杨明
张永辉
《电脑知识与技术》
2010年第02X期1321-1323,共3页
纠删码分片验证技术在拜占庭环境中非常重要。分析了现有的纠删码分片验证技术。基于同态指纹技术提出了一种新的验证方法。分析结果表明,新的方法具有更好的效率。
关键词
纠删码
同态指纹
指纹交叉校验和
延迟验证
拜占庭故障
下载PDF
职称材料
处理器Lockstep技术研究
被引量:
5
9
作者
陈浩
《数字技术与应用》
2012年第8期56-58,共3页
文章介绍了处理器Lockstep技术的概念和包含的内容,分析了该技术对计算机系统的故障检测、隔离、以及余度管理的影响,最后对三种Lockstep实现方式的差异进行了分析和研究。
关键词
Lockstep(锁步)
BYZANTINE
Faul(t
拜占庭故障
)
故障
检测与隔离
余度管理
下载PDF
职称材料
时间触发分布式实时系统容错时钟同步算法设计
被引量:
1
10
作者
关博文
朱长昊
张凤登
《软件导刊》
2021年第10期143-149,共7页
分布式实时系统应用越来越广。为解决时间触发分布式实时系统的时钟同步问题,首先提出一种基于LL模型的确定性容错算法——容错最值算法,该同步算法不局限于某一种具体的总线通信结构,理论上可适用于所有满足LL模型假设的系统;然后对提...
分布式实时系统应用越来越广。为解决时间触发分布式实时系统的时钟同步问题,首先提出一种基于LL模型的确定性容错算法——容错最值算法,该同步算法不局限于某一种具体的总线通信结构,理论上可适用于所有满足LL模型假设的系统;然后对提出的算法容错性和有效性进行理论证明,求出其同步精密度的理论值;最后通过CANoe工具搭建符合LL模型的仿真系统,对容错最值算法和基于该模型的FTM算法进行对比仿真实验。实验结果表明,容错最值时钟同步算法可以克服时钟拜占庭故障,具有容错性,保证了系统在拜占庭故障情况下仍能维持理论精密度下的同步。
展开更多
关键词
分布式实时系统
确定性容错算法
时钟同步
拜占庭故障
下载PDF
职称材料
基于RTEthernet改进的时钟同步算法
11
作者
陈佳佳
张凤登
张宇辉
《计算机测量与控制》
2022年第3期229-233,271,共6页
以太网其庞大的网络系统在复杂的环境中存在网络链路延迟,节点时钟的漂移,同步能力差等问题;通过研究RTEthernet协议的起源和工作原理,考虑到影响实时以太网时间同步精密度的时钟拜占庭故障、网络传输延迟和漂移率等3个因素,建立了符合R...
以太网其庞大的网络系统在复杂的环境中存在网络链路延迟,节点时钟的漂移,同步能力差等问题;通过研究RTEthernet协议的起源和工作原理,考虑到影响实时以太网时间同步精密度的时钟拜占庭故障、网络传输延迟和漂移率等3个因素,建立了符合RTEthernet协议的通信模型;对FTA时钟同步算法在故障下时钟同步精密度损失率提升较少的问题进行了研究,引入了滑动窗口技术,提出了容错滑动窗口(FTSW,fault tolerant sliding window)算法;容错滑动窗口算法能进一步提高分布式系统在进行时钟同步是对故障节点的容错能力;最后,使用CANoe仿真工具对FTSW算法进行仿真验证,FTSW算法的容错性优于FTA时钟同步算法算法,且在系统(7个节点)中存在两个拜占庭故障的情况下,同步后的精密度损失率降低了7.1%。
展开更多
关键词
RTEthernet
FTSW
以太网
拜占庭故障
时钟同步
下载PDF
职称材料
支持完整性检测的安全日志
12
作者
王永剑
金波
董健
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2016年第3期237-245,共9页
随着大数据处理系统日趋复杂,软件错误、软件兼容性、管理失误甚至恶意入侵等导致的拜占庭故障对系统可用性影响日趋严重。拜占庭故障节点可能采用含糊行为欺骗正确节点,因此检测节点是否存在含糊行为是兼顾安全性和效率的一种有效手段...
随着大数据处理系统日趋复杂,软件错误、软件兼容性、管理失误甚至恶意入侵等导致的拜占庭故障对系统可用性影响日趋严重。拜占庭故障节点可能采用含糊行为欺骗正确节点,因此检测节点是否存在含糊行为是兼顾安全性和效率的一种有效手段。该文提出了一种支持完整性检测的安全日志Log-Keeper,通过创建完整性证据支持存在性和一致性检测,证明状态的完整性。为了支持分布式环境下的频繁检测,基于IndexTree实现了Log-Keeper,支持O(lbn)规模证据。测试表明,Log-Keeper创建的证据规模是AASL(authenticated append-only skip list)的25%~50%。
展开更多
关键词
拜占庭故障
检测
完整性检测
篡改可察
原文传递
题名
分布式WSN系统中的拜占庭故障算法研究
被引量:
2
1
作者
张晓霞
张凤登
陈悫
张大庆
机构
上海理工大学光电信息与计算机工程学院
出处
《工业控制计算机》
2014年第1期70-72,共3页
基金
国家自然科学基金资助项目(71271138)
文摘
在分布式WSN系统中,簇内有相当多的无线传感器节点,这些节点可能会部署在各种环境中,采用从单个传感器上所获取信息可靠性不高。为了提高系统的可靠性,需要对多个传感器节点采集数据进行综合,这样就可以有效地提高所获得数据的精度和可信度。研究了在系统节点发生拜占庭故障的情况下,利用现有WSN的数据融合方法以及安全系统中的拜占庭将军问题,提出了一种新的基于OM算法与贝叶斯检测算法的容错检测算法,合理而有效的进行数据融合,减小拜占庭故障对系统的影响,从而使所有节点做出一致决定。通过仿真得出该算法可以保证节点决策具有较高一致性的情况下仍有较高的故障节点减少率。
关键词
无线传感网络
拜占庭故障
容错检测
Keywords
wireless sensor networks,byzantine fault,fult-tolerant detection algorithm
分类号
TP212.91 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
基于拜占庭故障模式的空天飞行器GNC系统架构研究
2
作者
石庆峰
梁君
郎鹏飞
李然
李艳美
机构
中国运载火箭技术研究院研究发展中心
出处
《计算机测量与控制》
2017年第5期29-31,55,共4页
文摘
针对空天飞行器对GNC系统的高可靠性需求,开展了基于拜占庭故障模式的GNC系统架构研究,采用四机三总线架构设计方案,通过系统内总线实现输入数据及输出数据多机冗余比对,防止拜占庭故障的发生,提升了系统可靠性,实现了系统自检测和故障的准确定位及隔离,并具有在线故障诊断、故障自修复功能,同时解决了高动态、强干扰环境下系统自主性较差的问题,提升了GNC系统可靠性和容错性;经分析,该系统架构能够满足空天飞行器在轨、再入复杂任务需求。
关键词
空天飞行器
拜占庭故障
GNC系统
容错设计
Keywords
aerospace vehicle
Byzantine fault
GNC system
fautt tolerance design
分类号
TM93 [电气工程—电力电子与电力传动]
下载PDF
职称材料
题名
FlexRay时钟同步拜占庭故障容错算法研究
被引量:
4
3
作者
刘让
张凤登
机构
上海理工大学光电信息与计算机工程学院
出处
《软件导刊》
2020年第1期68-74,共7页
基金
上海市自然科学基金项目(15ZR1429300)
文摘
为了解决FlexRay分布式实时系统中时钟同步可能出现拜占庭故障,从而导致系统时钟崩溃的问题,提出一种有效的解决算法FlexRayBFT(FlexRay Byzantine-Fault-Tolerant)。该算法在传统拜占庭容错算法基础上引入消息认证码技术,对报文进行加密处理,相比指数型算法,其性能提高了3个数量级。FlexRayBFT执行分为准备阶段与回复执行阶段,分析不同阶段的消息具体通信过程,同时证明了算法的一致性与正确性。通过使用Truetime工具箱搭建FlexRay线控转向分布式实时系统,对系统使用FlexRayBFT算法前后分别进行仿真实验验证。结果表明,FlexRayBFT算法可以有效克服FlexRay分布式实时系统中时钟同步的拜占庭故障,保障时钟同步的稳定性。
关键词
FLEXRAY
分布式实时系统
时钟同步
拜占庭故障
Keywords
FlexRay
distributed real-time system
clock synchronization
Byzantine fault
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Nova-BFT:一种支持多种故障模型的副本状态机协议
被引量:
4
4
作者
王永剑
裴翔
李涛
栾钟治
钱德沛
机构
北京航空航天大学中德联合软件研究所
北京航空航天大学北京市网络技术重点实验室
北京航空航天大学计算机学院
信息网络安全公安部重点实验室公安部第三研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第7期1134-1145,共12页
基金
国家"八六三"高技术研究发展计划基金项目(2006AA01A124
2009AA01Z144
+2 种基金
2009AA01A131
2010AA012404)
自然科学基金项目(90812001)
文摘
云计算在简化用户访问资源方式的同时导致了支撑系统开发部署的复杂,软件错误、部署管理失误导致的拜占庭故障已经成为影响系统可靠性的重要原因.对于在大部分运行周期都满足良性故障模型的系统,拜占庭容错协议在通信复杂度、安全等方面的开销以及其在攻击场景下性能鲁棒性方面的缺陷都限制了其在实际系统中的使用.如何满足实际系统对多种故障模型的需求,已经成为系统设计的一个重要问题.针对这一现状,设计了Nova-BFT,一种有效支持多种故障模型的副本状态机协议,通过牺牲部分峰值吞吐率的方式满足拜占庭容错协议对性能鲁棒性的要求,采用配置参数方式自适应满足良性故障的性能需求.实验表明,Nova-BFT在拜占庭故障模型下吞吐率为4~5kop/s,同时其对良性故障模型的支持可以有效满足大多数实际应用的需求.
关键词
云计算
副本状态机
拜占庭故障
良性
故障
鲁棒性
Keywords
cloud computing
replicated state machine
Byzantine fault tolerance
benign faulttolerance
robustness
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
时间触发以太网拜占庭容错方法的形式化验证
被引量:
4
5
作者
汤雪乾
李峭
孔韵雯
何锋
机构
北京航空航天大学电子信息工程学院
出处
《载人航天》
CSCD
北大核心
2018年第2期273-278,共6页
基金
国家自然科学基金(61073012)
国防科技基金(0101070)
文摘
对于时间触发以太网的拜占庭容错方法,已有的推理性论证表明网络的分布式时钟同步机制有利于容错过程中实现交互一致性。为对该容错方法的正确性进行严格验证,进一步采用模型检查的形式化分析手段,通过符号分析实验室(SAL)形式化工具,构建了网络节点模型,建立了时间触发体系结构下的拜占庭容错场景,设定了容错操作活性、一致性和有效性等属性的形式化定理。模型检查的结果表明:在三冗余独立路径条件下,该方法可以容忍一个拜占庭故障,且在存在指令/监视对(COM/MON pair)的条件下可以容忍2个高完整性配置节点的"不一致遗漏"故障。与推理论证手段相比,SAL模型检查为时间触发交换式网络在航空航天高安全关键等级系统中的容错配置提供了更规范的依据。
关键词
故障
容忍
形式化方法
时间触发以太网
拜占庭故障
SAL
Keywords
fault-tolerance
formal method
time-triggered ethernet
Byzantine fault
SAL
分类号
V243 [航空宇航科学与技术—飞行器设计]
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于灰色预测容错时钟同步算法
6
作者
陆禹
张力
张凤登
机构
上海理工大学光电信息与计算机工程学院
出处
《电子科技》
2023年第3期29-35,共7页
基金
国家自然科学基金(71840003)
上海市自然科学基金(15ZR1429300)。
文摘
针对分布式实时系统中无主式时钟同步存在时钟拜占庭故障和节点通信链路丢失故障的问题,文中提出一种基于灰色预测容错时钟同步算法。该算法基于广播式通信网络LL模型,使用GM(1,1)的灰色预测方法对前轮次的校正偏差值进行分析,从而预测出该节点在故障伦次中的校正偏差值,再通过计算得到修正值。实验结果表明,文中提出的灰色预测算法能够容忍拜占庭故障,同时可克服节点通信链路丢失故障带来的问题,提升了FTA算法的普适性。通过数据对比分析结果表明,该算法的时钟同步精密度相比于原始算法提高了24.3%;相较于其他算法,文中算法在复杂度上也有一定的优势。
关键词
分布式实时系统
无主式
时钟同步
拜占庭故障
通信链路丢失
故障
灰色预测
容错
校正偏差值
Keywords
distributed real-time system
non-master
clock synchronization
Byzantine failure
communication link loss failure
gray prediction
fault-tolerant
correction deviation
分类号
TN913 [电子电信—通信与信息系统]
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
RTEthernet中改进的FTA时钟同步算法研究
7
作者
张宇辉
张凤登
张海涛
机构
上海理工大学光电信息与计算机工程学院
出处
《电子科技》
2023年第1期67-74,共8页
基金
国家自然科学基金(71840003)
上海市自然科学基金(15ZR1429300)。
文摘
针对以太网存在节点时钟漂移、网络链路延迟、同步能力差等问题,文中基于RTEthernet协议的通信原理,构建了时钟同步系统的模型。文中研究了RTEthernet的组成、工作原理,考虑了影响实时以太网时钟同步精密度的三大因素:漂移率、网络传输延迟和时钟拜占庭故障,并基于此分析了原始的FTA时钟同步算法,发现它在拜占庭故障增多的情况下容错性能明显降低,进而引入“容错中值”的思想进行改进并提出了RTE-FTM算法。通过CANoe仿真平台,对系统(7个节点)中存在2个拜占庭故障与不存在拜占庭故障进行对比分析。结果表明系统的精密度损失率降低了3.1%,并由此验证了该算法的收敛性和有效性。
关键词
以太网
RTEthernet
漂移率
网络传输延迟
时钟
拜占庭故障
容错中值
RTE-FTM
收敛性
Keywords
Ethernet
RTEthernet
drift rate
network transmission delay
clock for Byzantine failure
fault-tolerant midpoint
RTE-FTM
convergence
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
纠删码分片验证技术研究
被引量:
2
8
作者
王宝林
杨明
张永辉
机构
解放军理工大学指挥自动化学院
中国人民解放军
出处
《电脑知识与技术》
2010年第02X期1321-1323,共3页
文摘
纠删码分片验证技术在拜占庭环境中非常重要。分析了现有的纠删码分片验证技术。基于同态指纹技术提出了一种新的验证方法。分析结果表明,新的方法具有更好的效率。
关键词
纠删码
同态指纹
指纹交叉校验和
延迟验证
拜占庭故障
Keywords
erasure code
homomorphic fingerprint
fingerprinted cross-checksum
lazy verification
byzantine fault
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
处理器Lockstep技术研究
被引量:
5
9
作者
陈浩
机构
中航工业西安飞行自动控制研究所
出处
《数字技术与应用》
2012年第8期56-58,共3页
文摘
文章介绍了处理器Lockstep技术的概念和包含的内容,分析了该技术对计算机系统的故障检测、隔离、以及余度管理的影响,最后对三种Lockstep实现方式的差异进行了分析和研究。
关键词
Lockstep(锁步)
BYZANTINE
Faul(t
拜占庭故障
)
故障
检测与隔离
余度管理
Keywords
Lockstep Byzantine Fault Error detection and fault isolation Redundance arrangement
分类号
TP2 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
时间触发分布式实时系统容错时钟同步算法设计
被引量:
1
10
作者
关博文
朱长昊
张凤登
机构
上海理工大学光电信息与计算机工程学院
出处
《软件导刊》
2021年第10期143-149,共7页
基金
上海市自然科学基金项目(15ZR1429300)。
文摘
分布式实时系统应用越来越广。为解决时间触发分布式实时系统的时钟同步问题,首先提出一种基于LL模型的确定性容错算法——容错最值算法,该同步算法不局限于某一种具体的总线通信结构,理论上可适用于所有满足LL模型假设的系统;然后对提出的算法容错性和有效性进行理论证明,求出其同步精密度的理论值;最后通过CANoe工具搭建符合LL模型的仿真系统,对容错最值算法和基于该模型的FTM算法进行对比仿真实验。实验结果表明,容错最值时钟同步算法可以克服时钟拜占庭故障,具有容错性,保证了系统在拜占庭故障情况下仍能维持理论精密度下的同步。
关键词
分布式实时系统
确定性容错算法
时钟同步
拜占庭故障
Keywords
distributed real-time system
deterministic fault-tolerance algorithm
clock synchronization
Byzantine failure
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于RTEthernet改进的时钟同步算法
11
作者
陈佳佳
张凤登
张宇辉
机构
上海理工大学光电信息与计算机工程学院
出处
《计算机测量与控制》
2022年第3期229-233,271,共6页
基金
国家自然科学基金(71840003)
上海市自然科学基金项目(15ZR1429300)。
文摘
以太网其庞大的网络系统在复杂的环境中存在网络链路延迟,节点时钟的漂移,同步能力差等问题;通过研究RTEthernet协议的起源和工作原理,考虑到影响实时以太网时间同步精密度的时钟拜占庭故障、网络传输延迟和漂移率等3个因素,建立了符合RTEthernet协议的通信模型;对FTA时钟同步算法在故障下时钟同步精密度损失率提升较少的问题进行了研究,引入了滑动窗口技术,提出了容错滑动窗口(FTSW,fault tolerant sliding window)算法;容错滑动窗口算法能进一步提高分布式系统在进行时钟同步是对故障节点的容错能力;最后,使用CANoe仿真工具对FTSW算法进行仿真验证,FTSW算法的容错性优于FTA时钟同步算法算法,且在系统(7个节点)中存在两个拜占庭故障的情况下,同步后的精密度损失率降低了7.1%。
关键词
RTEthernet
FTSW
以太网
拜占庭故障
时钟同步
Keywords
RTEthernet
FTSW
ethernet
byzantine failure
clock synchronization
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
支持完整性检测的安全日志
12
作者
王永剑
金波
董健
机构
公安部第三研究所信息网络安全公安部重点实验室
出处
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2016年第3期237-245,共9页
基金
国家"九七三"重点基础研究项目(2014CB340406)
文摘
随着大数据处理系统日趋复杂,软件错误、软件兼容性、管理失误甚至恶意入侵等导致的拜占庭故障对系统可用性影响日趋严重。拜占庭故障节点可能采用含糊行为欺骗正确节点,因此检测节点是否存在含糊行为是兼顾安全性和效率的一种有效手段。该文提出了一种支持完整性检测的安全日志Log-Keeper,通过创建完整性证据支持存在性和一致性检测,证明状态的完整性。为了支持分布式环境下的频繁检测,基于IndexTree实现了Log-Keeper,支持O(lbn)规模证据。测试表明,Log-Keeper创建的证据规模是AASL(authenticated append-only skip list)的25%~50%。
关键词
拜占庭故障
检测
完整性检测
篡改可察
Keywords
Byzantine fault detection
integrity verification
tamper evidence
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
原文传递
题名
作者
出处
发文年
被引量
操作
1
分布式WSN系统中的拜占庭故障算法研究
张晓霞
张凤登
陈悫
张大庆
《工业控制计算机》
2014
2
下载PDF
职称材料
2
基于拜占庭故障模式的空天飞行器GNC系统架构研究
石庆峰
梁君
郎鹏飞
李然
李艳美
《计算机测量与控制》
2017
0
下载PDF
职称材料
3
FlexRay时钟同步拜占庭故障容错算法研究
刘让
张凤登
《软件导刊》
2020
4
下载PDF
职称材料
4
Nova-BFT:一种支持多种故障模型的副本状态机协议
王永剑
裴翔
李涛
栾钟治
钱德沛
《计算机研究与发展》
EI
CSCD
北大核心
2011
4
下载PDF
职称材料
5
时间触发以太网拜占庭容错方法的形式化验证
汤雪乾
李峭
孔韵雯
何锋
《载人航天》
CSCD
北大核心
2018
4
下载PDF
职称材料
6
基于灰色预测容错时钟同步算法
陆禹
张力
张凤登
《电子科技》
2023
0
下载PDF
职称材料
7
RTEthernet中改进的FTA时钟同步算法研究
张宇辉
张凤登
张海涛
《电子科技》
2023
0
下载PDF
职称材料
8
纠删码分片验证技术研究
王宝林
杨明
张永辉
《电脑知识与技术》
2010
2
下载PDF
职称材料
9
处理器Lockstep技术研究
陈浩
《数字技术与应用》
2012
5
下载PDF
职称材料
10
时间触发分布式实时系统容错时钟同步算法设计
关博文
朱长昊
张凤登
《软件导刊》
2021
1
下载PDF
职称材料
11
基于RTEthernet改进的时钟同步算法
陈佳佳
张凤登
张宇辉
《计算机测量与控制》
2022
0
下载PDF
职称材料
12
支持完整性检测的安全日志
王永剑
金波
董健
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2016
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部