基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

重油临氢/供氢剂减黏裂化技术专利分析

借助Derwent Innovation国际专利分析数据库,从专利申请趋势、地区分布、技术布局、申请人、专利价值等角度,对重油临氢/供氢剂减黏裂化技术的相关专利(共计2 454件)进行了分析,构建了相应的全球专利数据库。结果表明:临氢/供氢剂减黏裂化技术集中在中国、美国、法国和日本的专利商手中;中国石化虽然起步较晚,但申请量大,综合实力不容小觑;目前,该技术已处于衰退期,传统和新兴技术已进入狭窄的发展瓶颈区。     

铠装硅酸钾胶黏剂在特殊工况下的绝缘失效分析

为探索铠装硅酸盐胶黏剂在特殊环境下的绝缘特性，本文制备不同碱金属离子含量及固液配比的硅酸钾胶黏剂样品，将其固封于不锈钢管体中，在潮湿环境与高温条件下分析其绝缘性能并进行失效分析。结果表明：在潮湿环境中，胶体中的固液配比及碱金属（K⁺）含量会影响铠装试样的整体绝缘性能，当固液配比为2∶1时，硅酸钾与硅溶胶质量比在（2～1）∶1之间时，其绝缘效果较佳；在高温条件下，随着温度的升高及保温时间的延长，铠装壳体中部分合金元素渗入胶体表面，造成样品绝缘性能较大幅度的下降。     

块菌天然复配保鲜剂的配方优化及货架期预测

以橄榄叶提取物和壳聚糖制作复配保鲜剂,探究其对印度块菌(又名松露)的保鲜效果。以块菌的失重率、总糖含量、Vc含量、呼吸强度为测定指标,筛选最佳浓度的壳聚糖和橄榄叶提取物,并利用滤纸片法考察橄榄叶提取物的抑菌能力。在此基础上,开展复配试验以确定最佳保鲜剂配方和预测货架期。复合保鲜剂的最佳配方为:橄榄叶粗提物20 g/L、壳聚糖15 g/L。与未做保鲜剂处理的块菌相比,该配方能较好地降低块菌的失重率,维持总糖和Vc含量,对呼吸强度具有一定抑制作用。对块菌进行货架期预测显示,其中以质量保留率下降3%为终点的货架期预计可达44 d,以Vc含量下降50%为终点的货架期为21 d。     

应用于钠冷快堆的超临界二氧化碳动力转换系统研究

超临界二氧化碳（SCO₂）布雷顿循环由于高效、紧凑和可避免钠水反应等特性而成为钠冷快堆的理想动力转换系统。本文以1 200 MWe大型池式钠冷快堆为系统热源，钠回路温度及热负荷为循环系统运行边界，对比研究了不同SCO₂布雷顿循环系统性能和关键设备性能的变化规律。研究发现，级间冷却再压缩循环与钠冷快堆热源特性匹配性最佳，且循环效率最高（40.7%）。进而研究了不同运行参数对级间冷却再压缩循环效率的影响规律，给出了循环系统效率对各关键影响因素的敏感度，发现循环系统效率对冷端参数的敏感度最强，其次为分流比和透平入口参数，对主压缩机级间压比的敏感度最弱。     

换热网络优化中换热单元生成频次的影响分析及策略改进

换热单元的生成频次对换热网络优化有直接的影响，分析其机理可以指导求解算法的改进。本文采用节点非结构模型及强制进化随机游走算法，通过设置不同的换热单元生成概率与生成个数以改变换热单元的生成频次，观察并记录个体在优化过程中产生的年综合费用变化情况。发现不同生成频次下整型变量和连续变量的相对优化频率发生了变化，从而改变了整体优化过程，并且与个体当前优化状态不适应的生成频次会造成相对优化频率不平衡、优化结果较差。基于此，本文提出了一种具有生成参数动态调节策略的换热单元生成方式，在优化过程中根据个体状态实时调整换热单元的生成概率与生成个数，平衡整型变量与连续变量的相对优化频率。最后，采用15SP、10SP和20SP算例进行验证，换热网络的年综合费用较文献结果分别下降了1.06%、0.16%、0.68%，验证了该策略使得换热单元的生成频次更为合理，有效地提高了算法的优化效率。     

二氧化碳加氢制甲醇铜基催化剂性能的研究进展

二氧化碳（CO₂）加氢制甲醇对于解决CO₂排放和能源紧缺问题具有重要意义，催化剂的研究是这项技术的关键。铜基催化剂因高效廉价而被广泛研究，但目前的生产效率离实现工业化仍有距离。本文针对铜基催化剂，首先探讨了活性中心的存在形式，然后从活性组分负载量、载体、助剂、制备方法及条件、预处理条件这5个方面，分别分析其对催化剂的活性、选择性以及稳定性等的影响，以期为CO₂高值转化为甲醇的铜基催化剂的制备和筛选提供参考。按照广泛接受的双位点机理可知，CO₂转化率与铜表面积密切相关，甲醇选择性与强碱位点含量密切相关。因此，各方面因素通过影响催化剂比表面积、铜表面积、铜分散度、碱性位点、铜与载体的协同作用等物理化学参数，进而影响CO₂转化率与甲醇选择性。     

利用KH560和纳米SiO2采用“一步法”反应挤出增黏PET

以KH560（3-缩水甘油基氧基丙基三甲氧基硅烷）和纳米SiO₂颗粒复配作为扩链剂，采用“一步法”反应挤出增黏聚对苯二甲酸乙二醇酯（PET）。KH560和SiO₂的添加量均为PET质量分数的2.5%时，增黏效果最好。并且在PET不干燥的情况下，KH560和SiO₂复配也可增加PET的黏度，可用作PET的扩链剂和防水解剂。经透射电镜观察，发现SiO₂在PET中的分散状况良好。用FTIR研究了KH560、SiO₂、PET三者之间的反应机理。用TGA分析了SiO₂的接枝率，发现接枝率高达72.0%。用DSC对PET/纳米SiO₂复合材料的结晶行为进行了研究，并讨论了结晶行为对力学性能的影响。当KH560和SiO₂的添加量均为PET质量分数的2.5%时，结晶度最低，综合力学性能最好。