航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

PBT基叠氮型聚氨酯弹性体的形态结构与微相分离

以3,3-双(叠氮甲基)环氧丁烷-四氢呋喃共聚醚(PBT)为软段,以甲苯二异氰酸酯(TDI)、1,4-丁二醇(BDO)和丙三醇为硬段制备了一系列PBT叠氮型聚氨酯弹性体。采用红外光谱法(FTIR)表征了弹性体的结构和氢键化程度,结果表明PBT叠氮聚氨酯弹性体中大部分的氨基形成了氢键,且随着硬段含量的增加,形成氢键的羰基分数增加。当硬段含量为35%时,PBT/TDI/BDO和PBT/TDI/BDO/Glycerol体系的氢键化程度分别增加到80%和82%。采用流变法测定了不同硬段含量叠氮型聚氨酯弹性体的玻璃化转变温度,建立了PBT/TDI/BDO叠氮型聚氨酯弹性体微相分离程度的定量方程,并以此来评估该弹性体的微相分离程度。     

高分四号卫星在溃决型洪水灾害监测评估中的应用

高分四号卫星具有响应速度快、重复观测周期短等优势,是监测溃决型洪水发展变化状况的有效手段。以江西省鄱阳县河堤溃口引发的洪水灾害为例,将灾区灾后多时相的高分四号卫星连续监测图像与灾前高分一号卫星图像结合,提出空间位置关系约束条件下的溃决型洪水范围提取方法。通过构建人口评估模型,实现受灾人口的快速估算。应用结果表明:高分四号卫星能及时监测突发性溃决型洪水,并能根据实际需求实现对灾区的连续监测;基于高分四号卫星图像的洪水范围提取和受灾情况评估方法,简便易行、准确性高,可用于溃决型洪水范围及其变化的监测评估。根据溃决型洪水灾害监测评估的实际应用需求,从多种卫星的组合观测、地球静止轨道卫星性能指标提升等方面提出了高分四号卫星应用和后续卫星研制建议。     

螺距误差与牙型半角误差中径当量的计算

螺纹中径是衡量螺纹互换性重要指标，而螺距误差与牙型半角误差中径当量的计算，对于判断螺纹中经合格性致关重要，本文给出了螺距误差和牙型半角误差中径当量的计算式，并分析了在概念或理解上当而出现的错误计算式，这对于正确贯彻螺纹标准和得到准确的螺纹中径值有着现实实用意义。     

蠕变时效成形回弹预测及工装型面优化

蠕变时效成形是一种将蠕变成形与时效强化同步进行的成形工艺.由于卸载后工件的回弹量较大,因此回弹的预测和成形工装型面的优化很重要.以LY12的蠕变时效成形为研究对象,对经典蠕变本构方程进行了修正并将其开发为ABAQUS/CREEP子程序.对板材的蠕变时效成形特点进行了模拟研究,建立了LY12的回弹预测函数.试验结果表明:其预测准确性较高.将变偏差调节算法与ABAQUS/CREEP相结合用于某蒙皮的成形工装型面的优化,通过7次迭代,型面精度达到97.9％,结果表明该组合算法优化速度快、精度高.     

表达鸡传染性支气管病毒S1蛋白的重组假型杆状病毒的构建

根据鸡传染性支气管炎病毒M41株的基因序列(GenBank:AY851295.1),设计特异性引物,利用 RT-PCR方法扩增其 S1基因,并将扩增产物克隆到杆状病毒转移质粒pFast-VSV-G-CMV中,获得重组质粒pFast-VSV-G-CMV-S1,进一步将该重组质粒转化到DH10Bac感受态细胞中,得到重组穿梭载体Bacmid-CMV-S1,再利用脂质体转染sf9昆虫细胞,获得重组杆状病毒Ac-V-S1.间接免疫荧光试验表明,该重组杆状病毒可以转导哺乳动物细胞并表达S1蛋白.