面向源代码可信证据的航天软件可信度量评估方法

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提...     

连续磁活动对等离子体层演化的影响

利用嫦娥三号极紫外相机观测的2014年2月21日等离子体层极紫外对数图像,分析了一系列磁活动状态下等离子体层晨侧视角的演化.由等离子体层质子的相空间分布,模拟了2014年2月18—22日发生一系列磁暴事件时等离子体层在磁赤道面的演化.通过观测与模拟发现,等离子体层实际的填充速度大于模拟时等离子体层的填充速度.推测昏侧与日侧之间的羽结构对侧面视角下向阳侧等离子体层顶的位置会造成影响.模拟中等离子体层整体对磁暴的响应在3h内,大磁暴对等离子体层的影响时间较长,可以达到1～2天.连续的磁暴事件对等离子体层的影响有叠加的效果.等离子体层的回填比侵蚀需要更长的时间.     

细编穿刺3DC／C材料双向应力试件的设计研究

通过有限元计算对细编穿刺三向碳／碳材料双向应力试件的设计进行了研究，完善了中心标定区大致为均匀应力场的结论，对中心标定区应力计算公式进行了改进，并对厚度比的影响、旁路的影响做了分析。对今后类似材料的强度准则工作提供重要的设计依据。     

硝酸酯增塑醚推进剂工艺县剂研究

通过在实验配方中筛选，发现钛酸酯ＰＡ－４、ＡＰ－５、ＰＡ－１５和聚合物ＰＣ－１可使硝酸酯增塑聚醚推进剂药浆屈服值降低１７％～４５％，着重考查ＰＡ－４对药浆适用期和动态粘弹性的影响。     

基于UKF的姿态无关GPS双差整周模糊度确定

基于运动的GPS双差整周模糊度确定方法需要预先知道载体的姿态,为了消除对姿态的依赖,研究了一种新的整周模糊度确定方法。首先将多天线载波双差相位矢量观测方程转化为标量观测方程,消去了对载体姿态矩阵的依赖。经过短时离线观测,以中心估计算法和协方差白化算法估计和修正双差整周模糊度的近似解及协方差矩阵。再以该近似解和协方差矩阵为初值,由无迹卡尔曼滤波(UKF)实时估计双差整周模糊度的精确解。最后对该方法进行了仿真,仿真结果表明经过离线批处理算法的预处理UKF可准确收敛于真实解,证明了方法的正确和有效性。     

叶片数对跨音速涡轮性能影响的试验研究

一、导叶叶片数变化对跨音速涡轮性能的影响基本级涡轮 A具有动叶 47片 ,导叶 2 9片。为了增大涡轮排气面积 ,将导叶减为 1 6片 ,动图 1　 A、 B涡轮 π=f (π*T)曲线叶叶片数不变 ,称涡轮 B。将 A、 B涡轮进行试验对比。1 .在设计膨胀比状态下的试验结果　从表 1看出 ,涡轮 A的效率高出设计值 1 .0 33% ,表 1　主要试验结果 (π*T=3.17)η*T G L设计值 0 .8711.0 2 9.36A 0 .880 .95 42 9.36B 0 .876 2 1.0 187 2 9.2 1折合功达到设计值 ,而折合流量比设计值小 4.6 %。B的流量高出设计值 1 .87% ,效率高出设计值0 .5 97% ,而折合…     

基于CAN总线的虚拟仪器在多电机控制中的应用

将虚拟仪器的概念应用到多电机控制系统中,对电机的运动轨迹、电流特性进行实时监控以达到最优控制.采用基于CAN(Controller Area Network)总线的主从式分布结构,在产品研发过程中虚拟仪器取代电机控制中心成为主节点,完成对各个电机控制单元的调试和测量.利用CAN卡和Visual Basic完成了虚拟仪器系统的开发,实现了电机控制算法的实时调节、控制效果的数字化和图形化评估、DSP(Digital Signal Processor)和FPGA(Field Programmable Gate Array)程序的在系统升级以及各种测试环境的模拟,显著提高了某型号X光机的研发效率和产品质量.     

基于频响函数模型修正影响因素的仿真

首先推导了基于频响函数模型修正的理论公式,在此基础上通过平面桁架模型修正的仿真算例,比较研究了基于频响函数模型修正方法具体实现过程中数据测量噪声、频率点选择以及频段选择等因素对修正结果的影响。研究表明,频率点的选择是基于频响函数模型修正的关键因素,合理的频率点选择既能够减小计算量,降低修正方程的条件数,同时还能够抑制测量噪声的影响;此外,提高实测数据的精度,增加修正频段的宽度也是改善模型修正效果的有效手段。     

应急轨道机动变轨方案快速设计算法

为了满足应急轨道机动过程中测控约束和时间、燃料资源等各方面的要求 ,提出了一种变轨方案快速设计算法.给出了适用于变量搜索的轨道机动变轨模式,将变轨 方案快速设计问题转化成了约束优化问题;建立了完整的测控约束数学模型和对测控约束的 处理算法;然后利用遗传算法搜索出了同时满足测控约束条件和优化目标的变轨方案.算例 表明,利用此算法设计得到的变轨方案,能够满足应急轨道机动任务的需要.      

免疫遗传算法在百叶窗最优化热设计中的应用

考虑优化过程中辐射能量交换的特殊性,为了加速优化过程的进行,通过引入漫反射系统单元表面间辐射传递系数与角系数之间的关系来处理百叶窗的辐射能量交换;同时为了克服传统优化算法存在的缺陷,提出了一种免疫遗传算法,并且应用于百叶窗最优化热设计中。优化设计表明,与标准遗传算法相比,该优化算法具有较强收敛度与全局寻优能力,可以较好地用于最优化热设计中。