星载计算机拜占庭容错设计与验证

 为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论,提出一种拜占庭容错计算机实现的原理性方案,然后对这种拜占庭容错方案进行了原型实现和验证,实验结果表明了方案的可行性和有效性。     

辉煌、没落的背后

人们经常说,土耳其人拥有的古希腊遗址比希腊人拥有的古希腊遗址还要多。帕塔拉既是古希腊遗址,同时又是古罗马遗址。这里还有拜占庭遗址。这些遗址埋在沙漠中长达数个世纪之久,直到最近才成为土耳其重要的考古遗址,其重要性可与特洛伊、以弗所等遗址相提并论。据史书记载,公元     

四模冗余拜占庭容错计算机可靠性分析

为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力.采用马尔可夫链分析四模冗余拜占庭容错计算机几种可能容错方案的可靠性,可以看出系统采用何种容错方案取决于系统停机失效概率和不安全失效概率之间的关系.该方法可以为四模冗余拜占庭容错计算机设计提供参考.     

“质子”出现之前的故事

正俄罗斯和苏联是现代火箭技术的起源之地,我们之所以能下这样的定义,是因为齐奥尔科夫斯基。除他以外,还有一位叫做弗雷德里克·赞德尔的人不能被遗忘。这个名字听起来并不是俄国人,赞德尔确实是在德国出生的,但1931年,他在苏联创建了最早的火箭研究机构"反作用推进研究组"。GIRD与GDL这个"反作用推进研究组",简写为GIRD。赞德尔是齐奥尔科夫斯基和德国火箭科学家赫尔曼·奥伯特的崇拜者,苏联第一枚现代意义     

趣味航天币——阿波罗7号

纪念章正面:顶部(FIRSTAPOLLOFLIGHT)第一次阿波罗载人飞行;底部(SCHIRRA-EISELE-CUNNINGHAM)希拉、艾西尔、坎宁安。中间图案为希拉、艾西尔、坎宁安三人在飞船指令舱内工作的情景。纪念章背面:顶部(APOLLOⅦ)阿波罗七号;底部(OCTOBER11,1968)时间:1968年10月11日。第一行:(MI     

基于拜占庭容错体系构架的航天器控制系统测试性设计与分析

摘要： 飞行控制系统作为航天飞行器的关键机载系统,其运行情况直接关系到飞行任务的成败.通过良好的测试性设计,可以提高系统的可靠性和安全性,减少维修人力及其他保障资源,降低寿命周期费用.对拜占庭容错体系结构的航天器控制系统和分层多信号流图模型的测试性设计和建模方法进行了详细的叙述,并对基于拜占庭容错体系结构的航天器控制系统进行了测试性建模,通过测试性建模和分析系统（TMAS软件）验证控制系统测试性设计的正确性和有效性.     

植物的道德与情感

<正>植物对人有感情。有人做过这样的实验:取两片植物的叶子分别放在两个相同的器皿里,人对其中一片经常温柔地说话,对另一片经常尖声怪叫。过一段时间就会发现,被经常怪叫的那片叶子要比被温柔地说话的那片叶子枯萎得早得多。美国歌剧演员杜罗茜·丽多莱克热衷于种花,她深信植物是有精神生活的。她和她的老师勃尔曼教授在一些花盆里播下了观赏植物的种子,花盆中的     

世界十大飞行员目击UFO经典案例

NO.1阿诺德事件 “这类飞行物这些年来一直为人们所见。有人说我是第一个发现飞碟的人，显然这种说法是不对的，我只不过是把我所看到的真实情况说了出来……我们的人已经登上了月球，如果外星有生命存在的话，它们是会到我们这里来的。发现这些飞碟说明我们不是孤单的，标志着我们进入了一个新的时代。“——肯尼思&#183;阿诺德     

利未记(三)

<正>由于《圣经》的核心是闪族人,并且是犹太人保存和续写了《圣经》,看起来《圣经》更像是一本犹太人的族谱,但按照《圣经》的推测,苏美尔人很可能也属于闪族,或者我们说,他们直接属于诺亚之后,但绝对不能说他们是犹太人。     

她从"太空花园"归来

星瀚浩渺,宇宙无穷。自1961年苏联航天员加加林乘宇宙飞船进入太空以来,越来越多的人开始实现太空邀游之梦。但能够连续2次进入太空且在著名的和平号及国际空间站工作过的女性,却是屈指可数。克劳迪·艾涅尔就是这样一位幸运儿,这位法国女性凭借着自身不懈的努力,成为法国乃至欧洲在太空工作时间最长的女性。     

飞碟:在是与非之间(上)

飞碟奇迹般地坠毁之后，外星人横尸周围，而政府对此却是百般遮掩。当初发生在美国新墨西哥州罗斯韦尔附近的这件事，在今天看来，似乎是一个精心编织的故事。随着时间的推移，加之人们丰富的想象力，这件事就更成为一个编造的故事了。但是，当时它实际发生时，人们却几乎感觉不出它是故事。在２００米宽的一个地带内，散落着失事飞碟的残骸，主要包括橡胶带、锡箔纸、木棍、苏格兰线带以及另外一种带有花卉图案的线带。牧场主W．布拉泽尔（“麦克”）把这种线带说成是一种相当结实的纸。在１９４７年６月１４日这一天，正当布拉泽尔到位于…     

伊朗核危机唤醒沉睡的波斯雄狮

伊拉克战争结束以来，美、英将于何时对伊朗采取军事行动，便成为全球关注的焦点，特别是美军向阿塞拜疆、格鲁吉亚等伊朗周边地区集结，早已触动外高加索地区的神经，并直接影响到俄罗斯的利益，外高加索、里海地区情势未来将如何发展，值得特别注意。近年来，伊朗核问题一波三折、危机不断，除了核问题本身的敏感性以及核里的复杂性外，[编者按]     

最数字

正60倍近日,澳大利亚科学家在特殊材料领域实现了重大突破,成功在人工条件下制造出了蓝丝黛尔石,这是迄今世界上最坚硬的晶体。天然的蓝丝黛尔石于1967年在陨石碎片当中被发现,其最大的特点是拥有神秘的六角形结构,这让其分子结构更加稳定,硬度超过地球钻石60倍。     

天秤座

传说主管农业的女神得墨忒尔还是兼司真理和正义的女神。她常用天秤来衡量人的善恶，给以公正的评判。因而当她升到天界成为室女座后，天神就将她那把称量善恶的天秤也升到天上，那便是紧靠室女座的天秤座。     

太空艺术家唐·戴维斯

正记得有一次我跟主任聊天说起申请项目的问题,我们说,你要申请做一个东西,申请书上一定要配有图;黑白的不行就彩色的;彩色的不行就上视频。有了视频上面领导就觉得是真的了,于是项目就批下来了。说完之后,我们哈哈大笑。这话当然只是说的某种现象,但也多少反映了人类的一种心理活动。最近有民意调查显示,民众认为电影《火星救援》里说的是真事,而对有40万美国人参与     

苏宇航员在宇宙空间飞行175个昼夜后返回地面

说这是创造了在宇宙空间停留时间最长的世界纪录;宇航员在空间进行了广泛的科学研究;下一步苏的计划是把“礼炮—6号”搞的更加舒适,这就可以保证“礼炮—6号”上永远有人。     

思维潜能与古代文明

人类起源、生命起源和宇宙起源,是人类一直关注的三大问题.达尔文学说认为,人是由猿进化来的;恩格斯说,劳动创造了人,考古科学似乎也证实了这一点、因此.多数人也就接受了这两位伟人的观点.但是,近代生物科学研究发现,人的生活习性更接近于海豚,这就促使我们开始了对人类起源的新探索.     

美方表示愿与中方合作探索太空

<正>美国航宇局(NASA)局长查尔斯·博尔登11月17日宣布,NASA愿意与中国在太空探索方面展开合作。博尔登在访问东京时对有关记者说:"我非常愿意在任何太空探索中与中国人合作,我想他们是一个非常有能     

苏联考虑20—30人的空间站

苏联科学院空间研究所所长说,苏联已解决长时间载人空间飞行问题并且正在考虑20—30人的空间站。展望将来,空间复合体将容纳10,000人。苏联院士乔治·彼特洛夫指出,苏联宇航员柳明在礼炮-6空间站中共飞行362天,这个记录不久将难以打破。由于扩大载人空间飞行的结果,他说,“我们今天可以有把握地说,维持人延长外空停留的基本技术和身体问题已经解决。我们正着手设计大型空间站的问题,这些空间站载20—30人可以在轨道上停留几年甚至十几年。将来将研制载     

云南潞南陨石的穆斯堡尔谱研究

本文分析和讨论了潞南陨石的穆斯堡尔谱的测量结果.实验数据表明,潞南陨石属于普里阿-马逊分类中的平衡的橄榄石-古铜辉石球粒陨石.