飞行员操作程序的形式化描述

本文提出用状态转移表这种形式化方法描述飞行员操作程序,并在此基础上开发了POP测试用例标准解生成软件。用形式化方法描述飞行员操作程序,可以向系统软件设计者提供完备的、一致的和严密的软件需求规范,可用软件工具进行自动处理。     

用网络表替代网络图

1计量器具配备网络图的缺点在以往企业进行计量定级升级时，要求绘制能源、原材料、工艺控制、质量检测，以及安全防护、环境检测等计量器具配备网络图（以下简称网络图）。其实，除了在计量定级升级检查验收时，为检查组了解企业计量器具配备情况提供方便外，网络图平时并没有什么用途，检查一过，网络图便被打入“冷宫”，束之高阁。究其原因，主要是网络图存在以下不足之处。1．工绘制网络图费时、费力、出图周期长。五份网络图从画草图、画底图、描图到晒出蓝图，环节多，还要有关人员和领导签字，往往要拖很长时间才能完成。1．2正因为…     

LND两年月表辐射剂量测量结果

月球表面的辐射剂量是影响航天员安全和月表驻留时间的重要参数,通过对月表的粒子辐射测量可以为航天员的辐射安全防护提供重要依据.利用嫦娥四号着陆器上搭载的月表中子与辐射剂量探测仪二年的观测数据得到:月表粒子辐射在硅中的平均总吸收剂量率为12.66±0.45μGy·h-1,中性粒子吸收剂量率为2.67±0.16μGy·h-1.辐射剂量率随时间出现缓慢的下降,LET谱的变化则很小.同时观测到了2020年12月太阳活动末期由于银河宇宙线福布斯下降导致的辐射剂量率降低.      

十二表冗余捷联惯导系统数据融合技术研究

针对采用正十二面体冗余仪表构型的十二表冗余捷联惯性导航系统,通过仿真和样机试验,开展了基于最小二乘估计的数据融合算法研究。对不同故障模式下的系统精度进行了分析,并通过Monte Carlo仿真验证了数据融合算法对提高系统导航精度的有效性。设计开展了样机静态导航试验,试验结果表明,理论最优的马尔柯夫估计并不完全适用于脉冲输出形式仪表的数据融合。最后通过优化改进加权系数、构造加权矩阵,显著提升了样机的静态导航精度,使样机位置误差和姿态误差与三表直接解算相比分别降低了78.6%和77.9%。     

热载荷下热障涂层表-界面裂纹间的相互影响

针对高温热载荷条件下APS制热障涂层裂纹失效问题,基于涂层系统热弹、热弹塑性本构关系,考虑陶瓷层/氧化层/粘结层界面凹凸形貌,依据表、界面裂纹位置、性质不同,分别运用断裂力学和损伤力学理论建立裂纹演化模型,结合围线积分和内聚力单元法,分析了热载荷下表、界面裂纹断裂参量及开裂状态,研究了陶瓷层表面裂纹与粘结层/氧化层界面裂纹间的相互影响,揭示了热、力、化多场耦合下的裂纹失效机理。结果表明,表面裂纹大幅改变界面微区域的应力分布状态,靠近界面时能使界面裂纹扩展程度整体增加20%,且相邻凸峰处开裂非均匀性可达81%,表面裂纹断裂参量主要受多层结构热失配及缺陷主导,界面裂纹对其影响相对较小,分析结果与试验结果一致。      

多介质数据库管理系统NAIMDB——模型与方法

采用面向对象的方法构造数据模型,把命名的线性表定义为简单对象。用表可以嵌套的性质构造复杂的多介质对象。对象分为3个层次,即原子对象,简单对象和复杂对象。简单对象在数据库中有实际的物理存贮;复杂对象在数据库中只存贮它的结构描述,即相应嵌套表的结构描述。     

异构数据库集成的研究与实现

对异构数据库集成做了详细的研究并提出了具体的实现方法。通过分析比较了目前已有的集成方案,本文提出集成异构数据库可以有四个步骤,分别是用控制表变化法提取有效数据、用XML定义传输数据格式、用JMS传输数据、用全局数据模式集成数据来实现。     

软件帧格式同步器设计及查找表的运用

帧格式同步是卫星原始数据地面处理前端的必经步骤。软件帧格式同步具有很好的灵活性,易于修改以适应各种情况的变化,缺点是处理速度较硬件慢。文章介绍了在软件帧格式同步程序设计中,应用各种查找表来提高处理速度,快速锁定同步字和还原帧数据的方法。经过实际应用验证,效果很好。     

月球着陆器辐射器安装与散热关系分析

根据月球着陆器初步构型方案,辐射器可采取平行平坦月表安装和倾斜安装两种方式,安装方式不同时辐射器将面临不同的外热流环境。文章通过分析辐射器采取不同安装方式时的散热能力,对辐射器安装方式进行了优化设计。