论文部分内容阅读
为确保载人航天器的安全可靠，载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论，提出一种拜占庭容错计算机实现的原理性方案，然后对这种拜占庭容错方案进行了原型实现和验证，实验结果表明了方案的可行性和有效性。
星载计算机拜占庭容错设计与验证
【摘 要】
：
为确保载人航天器的安全可靠，载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论，提出一种拜占庭容错计算机实现的原理性方案，然后对这种拜占庭容错方案
【机 构】
：
北京控制工程研究所,中国空间技术研究院
【出 处】
：
空间控制技术与应用
【发表日期】
：
2008年4期
其他文献
2009年,巴中市努力提高服务科学发展、实现自身科学发展的水平,围绕市委重大发展战略,制定实施"一体两翼、双争双引"工作思路。在充分发挥党外干部作用、建立完善党内外合作
期刊
近日，针对本地过彝族年比较混乱的状况，金阳县采取三条措施，规范彝族年时间。一是统一时间。根据有关规定，彝族年统一定为每年公历11月20日至26日。二是强化宣传。采取悬挂标语、
本文对并发下载技术进行了研究，并在此基础上实现了基于Chord算法的并发下载机制。现在，大多数结构化P2P网络都构建于基于DHT的覆盖式网络之上。文中分析了DHT算法的基本原理、
原美国总统尼克松在其著作《领袖们》一书中，形容周恩来与蒋介石之间的关系，“就像在公园里乘坐滑车一样，时起时落”。曾经共事黄埔军校的二人最终分道扬镳，走上不同的道路。
本文提出一种基于定性模糊网络的强化学习知识传递方法。该方法通过建立系统的定性模型,并用定性模糊网络抽取基于定性动作的次优策略的共同特征获得与系统参数无关知识。这
3月16日，仁寿县委统战部举行村（社区）干部民族宗教知识培训会。会上，县委统战部常务副部长、县民宗局局长李文清就民族宗教政策法规，全县民族宗教工作基本情况和面临的形势任务、
2月22日，广元市召开统战工作电视电话会议，市委副书记邹自景出席会议并讲话。会议传达贯彻全省统战部长会议精神，安排部署2013年统战工作。邹自景指出，全市统一战线要围绕中心，凝
嫦娥一号卫星首发成功，是我国航天事业发展的第三个里程碑。信息化技术在嫦娥一号卫星的管理、设计、加工及测试等各个环节都得到了充分应用，为确保高效、高质量地完成嫦娥一号
近日，福建省委书记尤权在福州检查惩防体系建设工作时强调：如果说制度建设的目的是把权力关进笼子里，教育的目的就是把欲望关进笼子里，不能让欲望过度膨胀。尤权的一番话，可谓入木
针对信息检索领域存在的用词歧义和检索词简短的问题,本文提出了一种基于TF-IQF模型和图聚类的个性化查询建议方法。对于用户的查询请求,提供查询建议,帮助用户进行查询修正,