航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

可展开式辐射器热控对航天器轨道调整的适应性分析

为提高航天器热控系统对轨道调整的适应能力，本文研究了与流体回路耦合的可展开式辐射器热控方案在不同轨道高度下的热控性能，分析了不同轨道高度时辐射器面临的热环境的影响，在不同轨道高度下比较了固定辐射器与可展开辐射器的热控特性。结果表明，随着辐射器展开角度的变化，辐射器吸收的空间热流随之发生变化，从而对热控系统的散热能力带来直接影响，调节辐射器的角度可以扩大其对外散热能力。在工程应用中，基于热控流体回路，通过调节可展开式辐射器的展开角度，可以有效提高航天器的轨道热适应能力。     

"对地观测数据处理与分析国际会议"在中国武汉召开

2008年12月27日至12月29日，“对地观测数据处理与分析国际会议”（International Conference on Earth Observation Data Ptocessing and Analysis）在武汉召开。共有来自中国、美国、瑞士、英国、澳大利亚、中国香港等国家和地区的400多名代表参加了会议。会议由武汉大学主办，中国测绘科学研究院协办，《航天器工程》作为特约媒体参加了会议。     

今日空间探测（上）

近年来，用航天器进行空间探测取得了惊人的成果。例如，欧空局１９９８年４月２８日宣布，太阳与日光层观测卫星（ＳＯＨＯ）发现，在太阳上存在巨大的太阳旋风，宽度大致相当于地球直径，时速高达５０万公里；美国也于同月中旬透露，伽利略探测器发现木卫二上存在有机物...     

一类基于四面体组合单元的模块化构架式可展开天线机构

针对现有基于四面体单元的构架式天线机构结构复杂、收拢率低、运动副数量多等问题，基于3RR-3RRR四面体组合单元和基于3RR-3URU四面体对称组合单元分别提出了两种新型模块化可展结构。以3个组合单元组成的模块化结构为分析对象，首先，详细介绍了模块化结构的组成及虎克铰轴线布置，并利用组合单元本身的自由度数目及性质，采用拆杆-等效-复原的思想，应用螺旋理论和G-K公式分别对提出的两种模块化结构进行了自由度分析，得到了自由度数目及性质。其次，应用Adams动力学仿真软件对两种模块化结构进行运动仿真，仿真结果验证了自由度分析的正确性。以完全展开和完全收拢时机构所占的空间体积比值表征该机构的收拢率，计算现有基于四面体单元的非模块化机构与提出的模块化机构的收拢率。最后，对比分析非模块化机构与模块化机构的自由度数目、运动副数目及收拢率。分析结果表明，基于3RR-3URU四面体对称组合单元的模块化结构既能实现较大收拢率，自由度及运动副数目也相对减少，且组成大型天线时杆件类型较少。研究结果为该类模块化构架式可展天线结构的设计与分析提供一定理论依据。     

现在几点钟?

就读英国伦敦帝国学院二年级的生理系学生,在以规律的间隔连续24小时测量自己的肛温(没有想象中的不舒服)之后,知道了约日节律(约24小时的节律)的重要性.     

可转位刀具典型磨损形式的研究

本文分析了国内外典型的涂层硬质合金可转位刀片在加工时的磨损过程,考察了典型刀具磨损的规律,进行了大量的切削实践活动,最终获得了几种典型磨损的数据。     

地球静止轨道卫星观测

观测地球静止轨道卫星需要一个足够好的天气条件,然后你装备上望远镜或者双筒镜,可以看到一些卫星群聚在地球静止轨道环上(就是所谓的克拉克轨道,阿瑟·查尔斯·克拉克博士最先提出的)。严格的地球静止轨道卫星的轨道倾角是0°,零偏心率,平均每天转0.002701圈     

实用天文观测资料--《世纪天图》和《天文馆研究》

《世纪天图》是我国首次发行的望远镜观天最佳的8．5等星图，是广大天文爱好者寻找和发现彗星、新星，观测梅西耶天体和NGC天体，进行天体摄影必备的完美工具书，被视为是天文同好的宝网。本天图集为8开本大小：4封用157克铜版纸彩色印刷，封面封底贴亮膜；内文共32页．用120克进口高