基于任务单元模型的研发流程验证

为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.     

专家解读世界最大规模射电望远镜阵列

目前,由中国、澳大利亚、意大利、新西兰、荷兰、南非、英国等全球20个国家的科学家们筹划建造的,全世界最大规模的射电望远镜阵列(SKA)已经进入倒计时。据悉,SKA由3300个15米口径抛物面天线和250个直径约60米AA(Aperture Array)低频孔径阵组成,分布在3000千米范围形成旋臂阵列望远镜,为人类认知宇     

锂离子电池用PMMA凝胶/LLZT复合电解质的原位制备

固态电池具有高能量密度和高安全性等潜力,是未来航天器电源的重要解决方案。本文利用原位聚合方法,制备了聚甲基丙烯酸甲酯(PMMA)凝胶/Li_(6.5)La_3Zr_(1.5)Ta_(0.5)O_(12)(LLZT)复合电解质。通过选择与陶瓷相润湿性好的甲基丙烯酸甲酯单体(MMA)进行原位聚合,改善了电解质内部陶瓷与凝胶的两相界面。室温下,此复合电解质具有6.6×10~(-4)S·cm~(-1)的离子导电率。进一步采用原位聚合法,制备了Li/复合电解质/Li对称电池。与非原位方法相比,原位聚合将电解质与金属锂的界面比电阻从1 572Ω·cm~2降至367Ω·cm~2,对称电池在0.085 mA·cm~(-2)下能够稳定循环400圈,显示出良好的循环稳定性。     

满足网络测控的小卫星星座组网与路由方法研究

给出一种不依赖于中高轨道卫星作中继而只依赖星座自身星际链路实现卫星组网的方法,以满足通过星座自身完成网络测控;使用STK进行了星座设计,使用OPNET进行了星座与地面测控站的仿真建模;给出满足网络测控路由算法;并通过仿真实验验证了组网方法和路由算法,能够满足小卫星星座网络测控功能.     

增材制造钛合金微桁架夹芯板低速冲击响应

增材制造技术能够制造复杂点阵结构。相比于传统的加工工艺,可以一次成型,克服了低速冲击下传统工艺芯层与面层在连接点处易发生脱粘的问题。利用低速落锤试验装置对增材制造面心立方（FCC）夹芯板和体心立方（BCC）夹芯板进行了低速冲击试验,获得了两种微桁架点阵夹芯板的破坏模式和冲击响应曲线。低速冲击下,微桁架夹芯板上面层在冲击部位产生局部凹坑,并出现裂纹,其余部位没有大变形。试验结果表明在相同能量冲击下,BCC夹芯板的凹坑深度要小于FCC夹芯板,BCC夹芯板的抗冲击性能要优于FCC夹芯板;建立有限元模型,较好地表征了低速冲击过程中微桁架结构的损伤。发现在低速冲击过程中,对于两种微桁架点阵夹芯板,冲击能量主要由上面层和芯层吸收;冲击能量改变,夹芯板各部分吸能百分比变化较小。BCC夹芯板和FCC夹芯板结构稳定,整体性好;低速冲击下,FCC夹芯板最先发生破坏的部位是上面层与芯层连接处;而BCC夹芯板最先发生破坏的部位是中间竖直桁架。     

低仰角大气折射误差对初轨精度的影响分析

针对在交会对接任务中测量船使用的电波折射经验模型存在低仰角跟踪测量修正精度差的问题提出改进思路,在模型中引入基于天顶延迟的拟合算法优化修正模型,提高了船载雷达低仰角跟踪时距离的修正精度,满足了测量船数据处理的精度需求。用新方法处理数据,计算的轨道根数半长轴外符合误差平均降低了605m,有效提高了测量船定轨精度。     

某型尾吊高平尾飞机失速特性试飞方法研究

某型尾吊高平尾飞机通过安装失速保护系统改善失速特性,满足了适航条例的要求。介绍了失速保护系统的设计,从保障试飞安全的失速试飞准备工作、失速保护系统研制试飞与失速特性验证试飞三个方面研究了安装失速保护系统飞机的失速试飞方法。