三维有序介孔镍铁磷化物的制备及电解水析氢性能研究

利用三维SiO₂纳米球阵列作为介孔模板,通过高温磷化合成了不同镍与铁物质的量比的三维有序介孔镍铁磷化物(3DOM Ni_XFe_1-XP);利用透射电子显微镜(TEM)、氮气吸脱附测试(BET)、X射线衍射(XRD)、X射线光电子能谱(XPS)等物理表征方法对所制备材料的形貌和结构进行分析,并通过电化学测试在0.5 mol/L H₂SO₄中系统评价了其电解水析氢(HER)性能。结果表明：3DOM Ni_XFe_1-XP成功地反向复制了SiO₂模板的有序介孔结构,孔道之间排列整齐且相互连通;随着Fe含量的增加,3DOM Ni_XFe_1-XP的HER性能呈现先升高后下降的趋势,在Ni与Fe物质的量比为7∶3时HER性能达到最优;当电流密度达到10 mA/cm²时,3DOM Ni_0.7Fe_0.3P所需过电位为132 mV...     

不完美排错下测试覆盖相关的软件可靠性模型

准确的建模软件可靠性并对可靠性趋势进行有效地度量与预测,对于软件开发至关重要,越靠近软件测试的真实过程,所提出的不完美排错模型就应该考虑并融入更多具体的影响因素,建立构成要素间更加精准的软件可靠性增长模型SRGM.考虑故障检测、修复与引入三个子过程之间的内在联系,建立统一的、柔韧的不完美排错框架模型TCM-ID,对累积检测、修复与引入的故障数量之间的关联实施研究,从故障检测率、故障修复率、故障引入率角度衡量软件测试的整体功效.进一步,从测试覆盖的角度,建立测试覆盖函数相关的可靠性模型,以便于研究其对模型的扰动影响,用以评测模型的性能.最后,在真实的应用场景下进行验证所提出模型的有效性与合理性,模型具有较好的拟合与预测性能,整体上优于其他模型.本文所提出的模型,对于选择合适的不完美排错下测试覆盖相关的软件可靠性增长模型,以及提高测试效率与软件可靠性具有重要意义.