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

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

空间碎片防护结构设计优化技术研究进展

空间碎片防护结构设计优化技术是航天器防护设计的关键技术之一,在空间碎片超高速撞击风险评估软件研制基础上,国际上已开始了空间碎片防护优化软件的研究开发,而且取得了阶段性的研究成果。丈章首先对防护结构构型方案及其防护材料选择评估技术作了简要介绍；然后重点对防护结构设计优化技术的研究进展从优化模型、优化算法、敏度分析等方面进行了分析综述；最后简要给出了防护结构设计优化流程和研究工作建议。     

柔性航天器自由飞行状态系统基频的估算方法

首先分别采用部件模态和系统模态建立柔性航天器在轨运行状态下的动力学方程；重点推导了航天器系统模态与其部件模态之间的模态恒等式，得到了由部件模态计算系统模态频率的一般公式；然后结合目前航天器的常见构型，对一般公式进行合理简化，得到了估算航天器系统基频的简化公式；最后给出了简化公式的工程应用算例。     

导航星座自主星历更新技术

自主星历更新是导航星座自主导航的关键技术之一,包括卫星轨道精确确定和轨道短时预报两个方面的内容.相比之下,卫星轨道短时外推预报容易实现.因而,本文在系统地论述导航星座自主导航信息处理流程的基础上,重点提出一整套由星间双向伪距和测量方程、卫星受摄轨道系统状态方程、以及协方差匹配自适应Kalman滤波组成的卫星自主轨道确定算法.仿真结果表明：利用星载Kalman滤波器处理星间双向测量数据,卫星自主轨道确定精度和用户测距精度可以分别达到5.40m、1.86m,能够满足用户高精度导航应用需求.初步证明导航星座自主导航信息处理流程及其星历更新算法的合理性和可行性.     

基于LabVIEW的IVI编程

在介绍IVI类驱动程序和专用驱动程序的基础上,针对测量程序控制硬件发生变化时需要耗费大量的时间和精力重新编写程序的问题,以Fluke8840A为例,描述了利用NI公司MAX软件配置IVI仪器的Logical Names和Driver Sessions的过程、方法、步骤和注意事项,及在LabVIEW开发环境下如何利用IVI驱动设计IVI数字电压表测量程序。本文对正确地利用IVI驱动设计测试系统程序、推广利用IVI技术、节省开发时间和维护成本具有重要意义。     

复合材料层合板低速冲击损伤影响因素分析

运用ABAQUS软件对复合材料层合板低速冲击下的损伤状态进行模拟,采用单一变量法,以损伤面积为表征参数,针对影响低速冲击下复合材料层合板损伤性能的诸多因素进行分析,以便在材料研制的初期预见其损伤阻抗.分层损伤是层合板低速冲击下的主要损伤形式之一,基于损伤力学、断裂力学和黏性理论,建立零厚度的三维界面单元来精确模拟层间分...     

军旅格言的美学认知

军旅格言作为格言体系中的一个特殊分支，以其深刻的思想内涵和独特的语言形式给人以强烈的美学感知。从美学的角度对军旅格言进行深入的分析和研究，不仅能提高人们的鉴赏能力，有利于我们准确把握军旅格言的美学特征，更能从中认识治军的经验，并推动军旅格言的不断发展。     

C/C-SiC复合材料的氧化行为与等效弹性性能计算模型研究

结合伴随化学反应的质量传递理论,研究了C/C-SiC复合材料的氧化机理,获得其氧化动力学模型。通过建立各材料组元(碳、碳化硅或其他材料)合理的氧化动力学方程,结合已有的C/C-SiC微结构参数化建模及性能预测技术,将氧化机理与微结构表征建模相结合,建立C/C-SiC复合材料在高温氧化环境下的弹性性能随温度、时间等参数变化动态预测模型,实现对高温环境下各种复杂构型C/C-SiC复合材料的性能预测研究。数值计算结果和实验数据吻合较好,表明该文建立的数值模型,可有效预测高温氧化环境下C/C-SiC的质量变化和等效弹性性能。     

丁羟推进剂吸湿特性

以丁羟推进剂为研究对象，进行了10、30、50℃3种温度多种相对湿度条件下的吸湿试验；采取吸湿率、平衡含湿率作为表征参数，研究了丁羟推进剂吸湿的规律。结果表明，吸湿初期吸湿率随吸湿时间增加而增大，推进剂试样的吸湿在一段时间后可达到平衡，平衡含湿率主要取决于环境相对湿度，受温度的影响较小；通过对吸湿试验所得数据的分析，得到了丁羟推进剂吸湿时的温度和相对湿度条件对其扩散系数的影响规律，给出了扩散系数的温湿度修正模型，用该模型表示扩散系数与温度和相对湿度的关系时，最大相对误差仅为7．11％。     

CFD数学模型的线性化方法及其应用

计算流体力学(CFD)方法不仅仅起到数值模拟的作用,它本身是一个复杂的非线性系统。在流动稳定性分析、气动弹性分析、优化设计以及流动控制等领域,从系统的角度出发,对CFD数学模型线性化后,可以对模型的系统矩阵进行定量分析获得更多的系统特性。但是CFD数学模型往往非常复杂且阶数很高,因此其线性化系统矩阵的获得比较困难。鉴于此,采用人工编程和自动微分相结合,构造有限体积法并行CFD模型的线性化系统矩阵。其中自动微分只被用来得到每个界面通量的局部雅可比矩阵,而采用人工编程方法来实现并行环境下的稀疏雅可比矩阵的组装。线性化系统的并行求解采用了块雅可比预处理的广义最小残量法,每个并行进程内部则采用零填充不完全LU分解预处理。为了验证这种线性化方法,上述方法被用于:① NACA 0012翼型的非定常绕流线性系统构造与求解;② NACA 0012翼型稳态流动的伴随方程构造与求解;③ AGARD wing 445.6机翼颤振问题降阶建模。上述三个算例的结果与CFD模拟的吻合一致。