论文部分内容阅读
为确保载人航天器的安全可靠，载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论，提出一种拜占庭容错计算机实现的原理性方案，然后对这种拜占庭容错方案进行了原型实现和验证，实验结果表明了方案的可行性和有效性。
星载计算机拜占庭容错设计与验证
【摘 要】
：
为确保载人航天器的安全可靠，载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论，提出一种拜占庭容错计算机实现的原理性方案，然后对这种拜占庭容错方案
【机 构】
：
北京控制工程研究所,中国空间技术研究院
【出 处】
：
空间控制技术与应用
【发表日期】
：
2008年4期
其他文献
本文对并发下载技术进行了研究，并在此基础上实现了基于Chord算法的并发下载机制。现在，大多数结构化P2P网络都构建于基于DHT的覆盖式网络之上。文中分析了DHT算法的基本原理、
本文提出一种基于定性模糊网络的强化学习知识传递方法。该方法通过建立系统的定性模型,并用定性模糊网络抽取基于定性动作的次优策略的共同特征获得与系统参数无关知识。这
嫦娥一号卫星首发成功，是我国航天事业发展的第三个里程碑。信息化技术在嫦娥一号卫星的管理、设计、加工及测试等各个环节都得到了充分应用，为确保高效、高质量地完成嫦娥一号
针对信息检索领域存在的用词歧义和检索词简短的问题,本文提出了一种基于TF-IQF模型和图聚类的个性化查询建议方法。对于用户的查询请求,提供查询建议,帮助用户进行查询修正,