基于仲裁的高可用服务器故障检测机制的研究

故障检测是设计高可用系统的一项关键技术,本文研究了双模高可用容错服务器的故障检测机制.首先,通过马尔科夫模型对服务器系统进行了分析,指出设计高覆盖率和高成功率的故障检测机制对系统可用性的重要影响.针对传统使用的故障检测机制成功率较低的问题,提出了一种仲裁检测机制,仲裁系统采用容错方案设计,具有较高的可靠性,在双机无法对故障做出正确判断时,可作为可信的第三方对故障做出准确的定位,有效地提高了系统的检测成功率.在此基础上,一种基于仲裁的多层心跳检测机制被应用到了实际系统的设计中,并通过试验证明了其可满足可用性设计要求.     

美、俄航天器与"国际空间站"交会的轨道分析

发射航天器与"国际空间站"进行交会对接是美国和俄罗斯两国常规性的航天活动,在每次这类飞行的全过程中因特网的有关网站都将北美航天防空司令部(NORAD)追踪测量得到的航天器的轨道根数予以公布。据此对2005年7月美国航天飞机与"国际空间站"的交会对接以及2006年3-4月俄罗斯的联盟TMA-8载人飞船与"国际空间站"的交会对接过程的轨道进行了分析。     

返回式遥感卫星有效载荷

文章介绍了返回式遥感卫星有效载荷的分类和特点、返回式相机系统组成、返回式国土普查相机、星相机和测绘相机;重点介绍国土普查相机的设计要求、工作原理,组成及功能等设计考虑。     

交流载波系统的等效直流方法在旋转导弹自动驾驶仪中的应用

根据交流载波系统理论，把旋转导弹自动驾驶仪变换成等效直流系统以简化其数学模型。通过数字仿真，比较了交流载波系统和其等效直流系统，验证了交流载波系统等效直流方法的可行性。     

奔月轨道的一种求解方法

月球探测器转移轨道的计算通常归结为对商点边值问题的求解，而找到一种计算效率高、迭代次数少、同时具有较好收敛性的算法对于设计者来说是一件很重要的事。本文采用建立在B平面上的参数作为目标轨道参数，改进了状态转移矩阵迭代方法，并与状态转移矩阵方法相结合使用，给出了一种奔月轨道的求解方法。该方法具有计算效率高、迭代次数少的特点，并且对轨道状态量具有良好的线性关系(即对初始条件具有良好的收敛性)。计算算例表明了这种方法的有效性。     

基于SCL的航天器遥控操作平台设计与实现

为了实现对航天器的透明控制，航天器控制中心开发设计了遥控操作平台。首先提出了遥控操作平台的硬件组成及运行环境；其次结合航天器测控任务的需求，进行了软件功能设计，将遥控操作平台分为四个层次、六大功能，并详细描述了其数据流图；最后明确了遥控操作平台的内部、外部接口以及安全性措施。该遥控操作平台已成功地完成了我国同步和近地卫星早期以及长期管理阶段的测控任务，极大地提高了我国航天器测控能力和测控网资源的运行效率。     

飞行振动环境随机试验模拟的载荷等效

研究飞行振动环境载荷地面试验模拟的等效性问题。基于模态质量的振型叠加方法应用于结构随机振动的响应分析,导出了随机振动载荷等效的一般表达式。针对小阻尼稀疏模态结构,得出了随机振动载荷等效的一种工程设计方法,并通过数值模拟验证了方法的可行性。     

低温热水分户计量采暖系统共用立管水力平衡分析

本文分析了重力作用压头对低温热水计量采暖系统共用立管形式的影响,通过运用基尔霍夫定律分析了下分异程式双管系统和下分同程式双管系统的水力平衡状况,得出了下分异程式双管系统更适用于低温热水采暖系统的结论,并确定了立管经济比摩阻的范围和下分异程式双管可以负担的楼层数。     

稀疏孔径成像系统发展概况

介绍了稀疏孔径成像系统的发展现状。重点介绍了系统的成像原理和种类，国外的研究进展以及系统实现的关键技术和应用前景。     

景象匹配正确定位概率的实验研究

景象匹配的理论分析结果揭示了景象匹配正确定位概率与实时图的信噪比和独立像元数的关系。文中通过对真实影像数据的景象匹配的结果统计给出了正确定位概率与信噪比和独立像元数的关系，并将该结果与理论结果进行了比较，对其中差异进行了分析解释。文中的结论可以用于景象匹配系统性能的精确分析。