基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

BTi-62421S 高温钛合金超塑性能及应用

对BTi-62421S高温钛合金进行了高温超塑性拉伸实验,通过研究超塑条件下的力学性能、金相组织及拉伸断口形貌,确定了该合金高温拉伸条件下的断裂机制及超塑成形最佳变形工艺参数,在此基础上进行了BTi-62421S钛合金框架零件的超塑性成形实验。结果表明:BTi-62421S钛合金在920℃,应变速率10-3/s时具有最佳超塑性能,伸长率达到448.5%;该合金拉伸断裂机制以韧性断裂为主,但在不同变形参数下伴随着不同程度的脆性断裂;在超塑条件下可以成形出满足使用要求的航天用钛合金框架零件。     

一种用于舰船CNS/RLG-SINS组合导航系统校准的分段估计方法研究

分析了“天文测姿+惯性导航”组合导航滤波模型的可观测性问题,在状态不完全可观的条件下,提出采用分段滤波的方法可以分别对加速度计误差和陀螺漂移误差进行有效估计,此方法仅要求每段滤波开始前外部提供一次准确的初始位置和速度信息。结合舰载导航需求背景,设计仿真模型。仿真结果表明：采用分段滤波方法,加速度计常值偏置和陀螺常值漂移均可以得到充分估计;对惯性器件误差进行标校、补偿后,24小时的位置误差可由补偿前的3.6海里减小到补偿后的0.5海里。     

添加难熔金属化合物C/C复合材料的微观结构

利用液相浸渍法制备了含有难熔金属化合物的C/C复合材料,通过金相显微镜、面扫描观察了难熔金属颗粒在材料中的分散状态;并表征了碳纤维、基体碳的微观结构和纤维/基体的界面状态.研究发现,难熔金属化合物在高温下对碳具有催化石墨化和诱导石墨化作用,石墨微晶尺寸大,发育好,取向性高.     

试验任务质量管理系统中数据同步策略的研究与应用

根据海上测控任务准备和实施的特点,研究了试验任务质量管理系统的数据同步策略,针对系统高实时性、有限网络带宽、使用单位多、适应多种工作模式的要求,采用实时差异同步数据同步策略。详细阐述了该系统数据同步的设计和实现,包括系统部署架构、分布式数据库复制技术和XML技术主辅相结合数据同步技术的应用。     

SLT—03型速率转台简介

一、用途飞机、导弹等飞行器和船舰中,广泛使用陀螺仪等惯导元件做为导航和控制元件。速率转台是分析、研制、生产惯导元件的关键测试设备之一。SLT—03型速率转台是一种具有我国自己特点的高精度、低速率转台。主要用于     

基于自适应阈值的粒子滤波非线性系统故障诊断

针对实际非线性系统传统方法难以实现可靠故障诊断的问题,采用粒子滤波算法,利用对数似然函数和作为评价指标,并借助自适应阈值的设计,研究了非线性非高斯系统的故障检测和故障隔离。阈值的选取,是准确判别系统是否发生故障的标准,本文通过分析非线性系统残差的统计特性,在判定残差统计特性成正态分布的基础上,设计了一种基于粒子滤波故障诊断的自适应阈值方法,减少了故障诊断的漏报和误报。通过非恒温连续搅拌水箱式反应堆的仿真实例,验证了该方法在故障诊断中的准确性和有效性。      

针对多个地球静止轨道目标的巡游轨道设计

运行在螺旋巡游轨道上的航天器无需施加控制力就可以长期巡游在指定轨道附近,利用该特点,克服地基目标监视系统的不足,可提高空间目标监视能力.在现有的设计基础之上,改进对地球静止轨道多个目标螺旋巡游轨道的初始轨道设计;通过施加控制提出两种可以对地球静止轨道上多个目标进行绕飞观测的螺旋巡游轨道设计;通过仿真验证,对比二者各自的优势.     

基于AFM调制电信号的矢量式纳米加工系统的开发及其应用

在Digital Instrument(DI)公司多功能SPM仪器的基础上,开发出基于原子力显微镜(AFM)调制电信号的矢量式纳米加工系统,成功地实现了纳米量级结构的加工及对加工电路中微弱电流的精密实时探测,实现了对加工电压的实时精确测量及对电容效应的实时观测等。     

基于最大似然估计法的加速度计误差参数标定方法

为降低捷联惯导系统误差参数标定过程对高精度转台的要求,提出一种基于最大似然估计的模观测标定方法。在考虑噪声影响的情况下建立加速度计的误差参数模型,运用最大似然估计法对误差参数进行标定计算,并将标定结果的精度与所考虑参数模型的克拉美限相比较。结果表明,与传统标定方法相比,该方法标定精度相当,降低了对标定转台的要求,减少了标定时间,有较高的工程应用价值。