嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

组合制导弹道导弹无依托快速发射技术研究

具有快速机动发射能力的弹道导弹是现代远程作战武器的重要标志,提出了无依托快速发射的定位、定向方案,设计了基于空中在线诸元计算的摄动制导方法,该方法具有计算量小、制导方法误差小的特点,可满足陆基机动弹道导弹或潜射弹道导弹的快速发射的要求。     

新型含硅芳炔树脂复合材料制备工艺

以含硅芳炔树脂为基体、高强玻璃布为增强材料制备了新型含硅芳炔树脂复合材料,探讨了树脂的固化工艺,研究了树脂含量、成型温度和成型压力对复合材料性能的影响,确定了含硅芳炔树脂复合材料成型的工艺参数:树脂质量分数31%、升温程序170℃/2h+210℃/2h+250℃/4h、成型压力1.0MPa。优化工艺条件下制备的复合材料弯曲强度达278MPa。     

基于零控拦截的EKV末段拦截弹道仿真

为找到一条理想的EKV末段逆轨拦截弹道,基于零控拦截的理想情形进行了相应假设,设计了零控拦截弹道确定过程,完成了EKV末段拦截弹道建模。根据公开的OBV飞行试验资料综合分析了EKV拦截时机和空域,从而为仿真环境的具体构建提供了有益参考,仿真结果与逆轨拦截的实际情形是相符的。     

高温胁迫对岷江百合幼苗耐热指数和理化特性的影响

为了探明岷江百合幼苗在高温胁迫下的生理反应,以离体扩繁的岷江百合幼苗为研究材料,对其进行了不同高温(37 ℃/30 ℃、42 ℃/37 ℃)和不同时间(0、4、8、16、32、48 h)处理,研究了高温胁迫对其耐热指数和有关生理生化指标(叶绿素、丙二醛、游离脯氨酸、可溶性蛋白含量和SOD活性)的影响.结果表明:随着温度的升高和处理时间的延长,植株的耐热指数不断下降,叶绿素含量减少,丙二醛(MDA)含量增加;42 ℃胁迫32 h后,游离脯氨酸、可溶性蛋白含量、SOD活性均达到最大值,分别比对照增加了0.66倍、1.77倍和9.78倍.但胁迫48 h后,指标显著下降,这说明,42 ℃间断胁迫48 h对植株产生了不可逆的的热伤害作用.     

轨道交角与时间偏差对拦截卫星拦截概率的影响

拦截卫星通过均匀分布的微粒网逆轨拦截目标卫星时,需要确定交会轨道与目标轨道的轨道交角。轨道交角和交会时的时间偏差影响着拦截卫星对目标卫星的拦截概率。研究了对目标卫星主体毁伤情况下,轨道交角和交会时间偏差与拦截卫星拦截概率之间的关系;阐述了有一定交会时间偏差时,轨道交角的选择情况,并对其进行了仿真计算。结果表明,当时间偏差足够大时,轨道交角的误差对拦截概率的影响不明显。     

模拟微重力对人骨髓间充质干细胞向成骨细胞分化中细胞信号通路影响的分析

通过模拟来研究微重力对hMSC向成骨细胞分化的影响,并利用相关信号通路的激活剂或抑制剂来调节这一分化过程.研究结果表明,在成骨细胞分化诱导条件下,微重力降低了hMSC向成骨细胞定向分化的能力,并且成骨细胞标记性基因的表达明显降低, Runt相关转录因子2(Ruax2)的表达受到抑制.相反,过氧化物酶体增殖激活受体γ(PPARγ2)的表达则增加.同时,微重力也降低了ERK的磷酸化水平,而增加了p38MAPK的磷酸化水平.使用p38MAPK的抑制剂SB203580能够抑制p38MAPK的磷酸化,但不能降低PPARγ2的表达水平.骨形态发生蛋白(BMP)能增加Runx2的表达水平.成纤维细胞生长因子2(FGF2)增加了ERK的磷酸化水平,但也不能显著增加成骨细胞标记性基因的表达水平.采用BMP,FGF2和SB203580三种因子组合来调控微重力下的成骨细胞分化能力,结果表明三者的协同作用能显著逆转微重力对成骨细胞定向分化的生物学效应.研究结果还说明,模拟微重力应该是通过不同的细胞信号通路来抑制成骨细胞分化和提升脂肪细胞分化的.      

伺服阀充退磁装置实现机理及其试验

介绍并分析了常用充退磁方法及其优缺点,依据相关工作机理完成了伺服阀充退磁装置研制,并进行了各型伺服阀磁钢组件的定压充磁、定流退磁以及温度稳定性考核试验,通过试验数据表明,所研制伺服阀用精密充退磁装置工作性能可靠、充磁和退磁参数稳定、充退磁效率和合格率得到了提高。     

制导工具误差对导弹射击精度的影响分析

探讨了影响导弹射击精度的主要工具误差系数偏差,建立了导弹惯测组合输出仿真和误差补偿仿真的数学模型。在标准弹道基础上将建立的仿真模型加入导航计算过程,建立了惯测组合工具误差的干扰道模型,并计算分析了不同射向,射程下的工具差系数偏差对导弹薄点的影响,为进一步研究减小制导工具误差的途径打下了基础。     

SA和SST湍流模型对高超声速边界层强制转捩的适应性

凸起物是高超声速流动中常用的一种人工转捩装置。采用高阶精度算法模拟了高超声速进气道压缩面上的强制转捩流动,转捩装置为一排高度为1mm的钻石型凸起物和斜坡型凸起物。考察了Spalart-Allmaras(SA)模型和剪切应力输运(SST)湍流模型对该问题的适应性。在考察过程中通过丰富的算例分析了网格规模、可压缩修正和空间离散格式等对计算结果的影响。在层流区,计算能与试验取得非常一致的结果。但在湍流区,计算得到的热流通常高出试验数据。经分析发现其原因是强制转捩的湍流边界层与自然转捩的湍流边界层在涡结构上存在较大差别,使得湍流模型的效果较差。针对高超强制转捩湍流涡结构丰富的特点,对SST湍流模型进行了修改。计算结果表明,该修改方法对提高热流精度具有一定效果。