CuO-SiO2气凝胶@TiO2纳米纤维无牺牲剂光催化还原CO2

采用溶胶-凝胶法制备CuO-SiO2复合气凝胶,通过在气凝胶孔道内填充TiCl4,然后将其气相水解,得到了在CuO-SiO2气凝胶表面生长了高结晶度的TiO2纳米纤维(CuO-SiO2@TiO2),纤维直径～16 nm.通过XPS、UPS、UV-Vis DRS、荧光光谱(PL)等表征了材料的结构及光电性能.结果表明,制备的CuO-SiO2@TiO2对可见光有明显吸收,且荧光强度较商用TiO2(P25)大幅降低,光生电子-空穴对更加稳定.再在纳米纤维上负载CuO,所得CuO-SiO2@TiO2/CuO在可见光区的荧光强度进一步增强.以300 W氙灯为光源,分别以CuO-SiO2@TiO2及CuO-SiO2@TiO2/CuO为催化剂,无牺牲剂条件下光催化还原CO2,4 h后甲醇产率分别为1304.0及1589.0μmol/g-cat,转换频率(TOF)分别为0.038及0.046 h–1.循环实验表明,纳米纤维具有较好的光催化稳定性,经过4次光催化循环实验后,CuO-SiO2@TiO2/CuO的保留率～94％,甲醇产率可达1472.0μmol/g-cat,TOF为0.042 h–1.     

优化炭表面氧官能团增强锌离子电容器的电容性能（英文）

锌离子电容器(ZICs)具有能量密度高、倍率性能好、循环寿命长、成本低等优点，近年来得到了广泛的研究。在碳基阴极表面引入氧官能团是提高水系ZICs电容性能的有效策略。然而，氧官能团的存在是否有利于提高乙醇(EtOH)基ZICs的电容性能，目前还没有被深入研究。本文采用硝酸氧化和进一步热处理的方法对阴极活性炭表面的氧官能团进行了优化。在ZnCl₂/EtOH电解液中，优化后的样品在电流密度为1 A g^-1时比电容达到195 F g^-1，比未改性的样品(125 Fg^-1)提高了56%。同时，ZICs也表现出良好的循环稳定性，在3 A g^-1下的稳定循环次数超过16 000次，并且保持100%的库仑效率。这是因为氧官能团，特别是羧基和酯基(―COO)的存在，为Zn²⁺氧化还原反应提供了丰富的电化学活性位点。因此，本研究通过优化氧官能团增强了炭阴极的电容性能，并为EtOH基ZICs的商业应用提供了研究基础。     

LAS微晶玻璃在离子交换后的去结晶相变化及机械性能表征

Li₂O-Al₂O₃-SiO₂(LAS)系微晶玻璃是一种高性能的实用微晶玻璃体系,以Li₂O、Al₂O₃和SiO₂作为主要原料,采用整体析晶法制备了以透锂长石(LiAlSi₄O₁₀)为主晶相的微晶玻璃,并采用低温离子交换单元盐浴的方法,对其进行化学强化。利用X射线衍射仪、扫描电子显微镜等设备研究了LAS系微晶玻璃化学强化后的表面形貌和机械性能。结果表明,化学强化后此体系微晶玻璃表面出现去结晶相,维氏硬度显著降低,但抗弯强度显著提高,强化10 h时,表面出现约740 nm的非晶相层,抗弯强度达到最大值472 MPa。     

基于TDOA算法的差分UWB室内定位系统研究

超宽带UWB定位技术在受到电磁干扰、NLOS等情况影响时,实际定位环境变得复杂,造成实际定位精度不高、定位稳定性差。通过借鉴差分GPS技术,以TDOA-UWB室内定位技术为基础,提出差分UWB定位算法。同时结合权重滑动平均法,研究并提出基于TDOA算法的差分UWB室内定位系统,以Hainan EVK 2.0系统作为实验平台进行相关的测试实验。实验结果表明,基于TDOA算法的差分UWB室内定位系统能有效提高定位精度和定位稳定性,在受到外界干扰的情况下,定位误差整体降低23%。     

浮法玻璃下开口泡形成机理研究

通过对某锡槽槽底温度升高时,玻璃板下开口泡的气体分析,发现该气泡组分主要是氢气;根据气泡形成相关理论计算结合生产实际情况,研究分析表明,浮法玻璃下开口氢气泡形成的主要机理是锡槽槽底温度升高,槽底气体空间中氢气通过耐火砖贯通孔扩散溶入锡液中,形成氢的过饱和溶液,过饱和的氢再向耐火砖表面易于形成气泡的开口孔处聚集、形成气泡并长大、上浮,最终导致玻璃板下开口泡缺陷.     

基于水基淬火介质的42CrMo偏航齿圈的热处理工艺

针对淬火油污染严重、生产不安全因素等问题,介绍一种新型水基淬火介质,及替代传统油淬的工艺。利用光学显微镜、洛氏硬度计、万能试验机和冲击试验机等手段对不同规格的42CrMo钢在无机高分子水基淬火液中淬火再高温回火后的组织及性能进行了研究,并分析了用无机高分子水溶性淬火介质替代淬火油的可能性。结果表明,42CrMo钢在淬火后的硬度值为55～56 HRC;回火后的硬度值为285 HBW;显微组织主要为粒状索氏体。其抗拉强度、屈服强度、伸长率、断面收缩率等力学性能均达到大型合金钢锻件的JB/T6396技术条件要求。因此,改进后的热处理工艺可以更好地应用于42CrMo钢的淬火,显著提高了偏航齿圈综合热处理质量。     

基于信号采样自相关的步进宽带频谱感知方法

采用步进频域能量检测法可以提高在软件无线电平台的频谱感知的带宽范围,但能量检测法易受噪声不确定性的影响,而信号采样自相关检测法对噪声不确定性有很好的鲁棒性。为进一步提高软件无线电的检测性能,提出了基于信号采样自相关的步进宽带频谱感知方法。首先阐述了信号采样自相关检测的原理,然后对基于该原理的步进宽带检测方法的流程进行了分析,最后利用MATLAB软件仿真其检测性能。仿真结果表明,在信噪比（Signal-noise-ratio, SNR）不同的情况下,基于信号采样自相关的步进宽带频谱检测方法能达到所要求的检测性能。此 外,为了兼顾频谱感知的检测速度和频带带宽分辨率之间的关系,进一步提出了在原本固定步进值的步进宽带信号采样自相关的频谱感知方法中采用可变步进值的两阶段检测方法,该方法可 以获得较高的频带带宽检测分辨率和较短的检测时间。     

一种面向CPS的控制应用程序协同验证方法

信息-物理融合系统是一种新型嵌入式系统计算模式,它集成了控制计算过程和受控对象,二者相互影响并有机结合.随着信息技术在现实世界中更加广泛、深入的应用,智能化程度不断提升,在具有信息物理紧密耦合特点的嵌入式系统中,嵌入式控制软件的功能比重急剧上升,作用更加突出.作为安全攸关的系统,需要引入形式化验证方法来保证嵌入式控制应用软件的安全性.本文基于自动机理论建立统一的系统验证模型,并针对系统的可达性、安全性（safety）和活性（liveness）等属性要求,提出了对该模型进行形式化验证的算法：基于有界模型检验方法,基于可达性将对系统模型的相关属性验证问题转换为可满足性判定问题.将活性转换为Büchi自动机,并基于四值语义进行判断.在求解过程中,通过偏序规约等手段化简了问题求解的规模,提高可验证系统的规模.另外结合协同仿真技术,灵活配置验证的场景,提高验证的可用性.实验结果表明,结合仿真,形式化协同验证方法可以有效地对系统进行验证.