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

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

双模冗余网络服务器仲裁子系统设计

传统的双模冗余容错计算系统具有故障定位不准的致命缺点。本文在传统双模冗余系统的基础上设计了一个高可用的仲裁子系统进行故障定位。该子系统采用高可靠的三模表决的系统结构 ,采用非相似余度三总线进行子系统内部同步通信 ,并且应用SOC芯片和CPLD技术 ,采用热插拔的设计方案 ,从而保证子系统的可靠性和可用性     

一种低成本纳卫星星载计算机容错方法

为了提高纳卫星星载计算机系统的可靠性,减少体积、质量及功耗等多方面因素的影响,文章提出了一种软硬件结合的低成本容错设计方法。将星载计算机硬件采用双机冗余冷备份方案,通过现场可编程门阵列(FPGA)对故障处理器进行仲裁切换;软件容错通过错误检测与纠正(EDAC)信息容错技术的实现,对星载计算机整体程序进行纠错检错,以对抗单粒子翻转事件。结果表明:该方法能够对星载计算机系统进行有效的故障切换处理,并降低单粒子事件的不良影响,可以在纳卫星系统中推广应用。     

容错箭载计算机的硬件故障注入方法研究

容错机制和设计方案的正确性验证是容错箭载计算机研制的重要环节,验证方法有理论计算、软件模拟和硬件模拟等3种。硬件故障注入法采用人为引入故障方法可加速系统的失效,并通过观察系统在出现故障之后的行为反应对容错计算机系统的容错能力进行评价,更适合工程应用。本文研究采用硬件故障注入方法和特定容错测试仪,对容错箭载计算机的容错机制和设计方案进行了正确性验证,为容错箭载计算机的工程应用奠定技术基础。     

小卫星星务计算机的容错体系结构设计

介绍了一种小卫星的星务计算机系统硬件设计方案,并结合应用的要求给出了容错体系结构的设计方案,从冗余结构到容错管理模式,从故障检测和诊断到系统重构,多视角多层面地展现了小卫星容错体系的设计思路,最后还利用模型计算了系统的可靠度指标。     

高可靠航天计算机的容错设计方法

本文根据星载计算机研制和飞行试验的经验,从理论和实践相结合的角度对高可靠航天计算机的容错设计方法作了分析综合。其中着重对容错结构的选择、故障检测和诊断方法、故障处理对策和容错管理进行了论述。最后提出了几个值得重视的容错课题。     

故障容错机械臂运动学可靠性设计

从机械臂运动学的角度，定义了故障容错机械臂、故障容错机械臂的阶、通用故障容错机械臂、特定任务故障容错机械臂，论证了通过运动学关节冗余也同样可以提高机械臂系统的可靠性、故障容错机械臂应该具备的自由度数、以及针对不同的任务要求来设计故障容错机械臂的方法。通过将任务空间抽象简化为一系列的特征点，建立与机械臂参数向理想值接近程度相关的罚函数，选择有效的优化算法，设计出了通用一阶故障容错平面位置机械臂、通用一阶故障容错空间位置机械臂、以及特定任务一阶故障容错平面位置机械臂。建立起完整的故障容错机械臂设计方法，对航天机器人的研究具有一定价值。     

分布式容错计算机系统在航天器上的应用

计算机容错技术是提高系统可靠性的强有力手段，卫星星上数据管理系统是高可靠性的分布式容错计算机技术系统，在硬件和软件的设计中，应用了故障检测、故障屏蔽和动态冗余等多种容错技术，本文从理论和工程实践两个方面介绍了各种容错技术在航天器上的应用。     

斜装陀螺系统及其故障检测

分析了陀螺系统构型对卫星可靠性和姿态控制系统性能的影响，基于６个陀螺全部斜装的八面体构型，设计了等价空间故障检测算法。仿真结果表明，采用这种陀螺构型和故障检测算法，系统可检测较小幅度的软故障，从而获得优良的容错性能。     

基于快速终端滑模的航天器自适应容错控制

针对存在不确定的执行机构部分失效故障和未知外界扰动的航天器姿态跟踪控制问题,提出了一种基于自适应快速终端滑模控制的容错控制方法。在没有故障检测与诊断信息的情况下,采用快速终端滑模控制原理,利用自适应算法在线估计得到的故障信息,设计具有鲁棒性的容错控制器,使系统在执行机构故障发生时,能在有限时间内以指数收敛,实现系统有限时间渐近稳定,以及对航天器的容错控制和干扰的抑制。仿真结果表明,与基于普通滑模控制器的容错控制相比,该方法在保证系统鲁棒性和可靠性的同时,具有更快的收敛速率,实现执行机构故障时有效的航天器姿态跟踪控制。     

基于照射箔条云的复合干扰原理分析

针对某些舰艇因雷达反射面积较大而实施质心干扰效果不明显的问题,提出了有源照射箔条云的复合干扰方法,增大了导弹末制导雷达接收到的箔条云回波信号强度,相当于增大了箔条云的散射面积,并通过仿真计算验证了此方法的可行性.     

VxWorks下设备驱动技术研究

讨论了实时多任务操作系统VxWorks下驱动程序原理及实现.在深入分析VxWorks操作系统的I/O系统及驱动程序调用过程的基础上,介绍了PCI/ISA设备驱动的实现,重点给出了驱动程序实现的关键代码,同时对提高驱动程序的性能进行了讨论.     

Magnetotactic bacteria on Earth and on Mars

Continued interest in the possibility of evidence for life in the ALH84001 Martian meteorite has focused on the magnetite crystals. This review is structured around three related questions: is the magnetite in ALH84001 of biological or non-biological origin, or a mixture of both? does magnetite on Earth provide insight to the plausibility of biogenic magnetite on Mars? could magnetotaxis have developed on Mars? There are credible arguments for both the biological and non-biological origin of the magnetite in ALH84001, and we suggest that more studies of ALH84001, extensive laboratory simulations of non-biological magnetite formation, as well as further studies of magnetotactic bacteria on Earth will be required to further address this question. Magnetite grains produced by bacteria could provide one of the few inorganic traces of past bacterial life on Mars that could be recovered from surface soils and sediments. If there was biogenic magnetite on Mars in sufficient abundance to leave fossil remains in the volcanic rocks of ALH84001, then it is likely that better-preserved magnetite will be found in sedimentary deposits on Mars. Deposits in ancient lakebeds could contain well-preserved chains of magnetite clearly indicating a biogenic origin.     

基于全相位的OFDM系统实现

OFDM是下一代无线通信的关键技术之一，而频率偏移会使OFDM的子载波失去正交性，同时给系统带来ICI，引起系统性能严重下降。针对这一情况，文章提出利用全相位FFT来解决频偏问题。全相位FFT利用自身的频谱分析功能来实现对信号相位和振幅的判决。经理论证明它的相位误差得到减少，且由频偏引起的泄漏远小于基于FFT的OFDM系统，同时振幅和频率通过全相位校正可以得到弥补；该技术还可以降低信道噪声对系统的影响。最后，通过实例仿真验证了该系统的性能是高于传统OFDM系统的。     

基于ATML的分布式ATS架构研究

自动测试系统ATS通用化是测试与诊断技术的重要发展方向,直接决定了系统的设计维护成本、技术寿命和测试诊断性能。现有的通用ATS主要采用集中式系统架构,系统维护成本和难度较高,信息互通性和通用化程度不理想。针对集中式ATS架构的局限性,设计并验证了一种基于自动测试标记语言ATML标准集、以网络为中心的分布式通用ATS架构。经验证演示实验,该架构较好地解决了仪器和系统的互换性问题,并通过发掘仪器的智能性,缓解了网络的延时问题和带宽压力,对构建通用ATS具有重要工程意义。     

包带式星箭解锁装置预紧力影响因素分析

分析了温度和外载荷对包带式星箭解锁装置预紧力的影响,推导出包带预紧力变化的计算公式。结合某卫星的星箭解锁装置静力试验,对包带式星箭解锁装置在不同温度和外载荷情况下的包带预紧力进行了测试。结果表明:在温度变化时,包带预紧力变化计算值与实测值相差2.8%～4.3%;在外载荷作用下,对接面上的压力越大,预紧力增加越大,计算值与试验结果相差11.5%～23.5%。上述分析结果对包带预紧力的计算具有一定的参考价值。     

干部绩效考核中几个关键要素的思考

绩效是指工作人员在工作过程中所取得或形成的客观结果和能力的体现.管理学基本原理表明,绩效考核是以一定的量或度为标准对客观结果和能力进行综合系统的分析考核评价.本文以建立干部绩效考核评价指标体系为目标,以科学化、制度化、规范化为方向,探讨考核中的关键要素,即"德、能、勤、绩、廉、健"的内涵和相互关系.从而实现对干部绩效考核在理论与实践上的指导.     

NPBA在黑索金表面的吸附研究

建立了中性聚合物键合剂NPBA在RDX颗粒表面吸附的定量检测方法.实验结果表明,RDX对NPBA的吸附量随平衡吸附时NPBA在硝化甘油中的质量百分含量Ce增加而迅速增加,当Ce达到0.275%时出现一平台,此平台一直延伸到0.837%处,随后吸附量随Ce增加而继续缓慢增加;吸附理论研究分析表明,Ce较小时形成单分子层吸附,随Ce的增加,转化成多分子层吸附;BET多分子层吸附模型能对吸附等温线作出较好描述.     

行星表面巡视探测器遥操作技术研究

行星表面巡视探测器的遥操作,是整个行星遥科学探测过程的重要组成部分。文章首先对遥操作的基本概念和行星表面巡视探测器遥操作的基本特性做了初步的分析,然后对成功发射到月球和火星表面并进行巡视探测的8个巡视探测器进行了归纳与总结,最后对行星表面巡视探测器的遥操作技术进行了总结与展望,并建议在我国首次登陆的月面巡视探测器上采用以遥操作为主,同时设置遥操作加半自主的操作模式。     

SAR欺骗干扰工程化设计研究

对SAR雷达的欺骗干扰研究在理论模型方面已经有了大量深入的研究,但对该领域在工程化设计方面的研究报道很少.首先给出了SAR欺骗干扰机的系统组成,然后分析了大数据量卷积模块的分段分相流水处理方法.在此基础上,给出了DRFM模块的硬件实现方案.结合硬件,提出了一种简单有效的闭环等效验证方法,并采集实际数据做了验证试验.试验效果证明了该硬件方案的有效性.最后,分析了SAR欺骗干扰机走向实用化所需的进一步研究的内容和方向.