嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

海绵负载纳米Al2O3复合吸附剂去除水中硒研究

研究制备了海绵负载纳米Al2O3微球的复合吸附剂(NAS),并用于对Se(Ⅳ)和Se(Ⅵ)的吸附。结果表明,合成的纳米Al2O3微球(NAO)的平均尺寸为200~400 nm,在海绵上负载NAO会使其分散性更好。当NAO负载量分别为80 mg/g和60 mg/g时,NAS对Se(Ⅳ)和Se(Ⅵ)的吸附性能为佳,分别需要60、120 min达到平衡,适应pH为2~5;两者均符合准2级动力学模型;NAS对Se(Ⅳ)、Se(Ⅵ)的最大吸附容量分别为137.2、143.9 mg/g,能很好地与Freundlich模型拟合,说明NAS表面不均匀,且属于多层吸附。经过2次的循环,对Se(Ⅳ)和Se(Ⅵ)的去除率有所降低,但均仍保持在一定的水平,说明NAS可再生循环利用。NAS作为一种新型吸附剂去除水中Se具有较好的应用前景。     

基于3D打印技术制造柔性传感器研究进展

与传统的涂覆、沉积等加工手段相比，使用3D打印技术可制造复杂立体功能结构的传感器，将3D打印与柔性传感技术结合可以促进未来生物医疗、人工智能等领域的发展。本文介绍了国内外基于3D打印技术制造柔性传感器的最新进展，其中包括聚酰亚胺等多种基底材料、纳米金属等多种打印传感材料；按照熔融沉积、黏弹性墨水沉积、粉末烧结熔化、还原光聚合和材料喷射的制造原理分别阐述了多种传感器的材料选择、成型特点，并对制造方法进行总结分析。虽然3D打印制造柔性传感器件存在着缺乏行业标准及多种类打印材料等问题，但经过不断创新与发展，3D打印将成为柔性传感领域极佳的制造手段。     

非连续采空区矿柱力学分析的数值模拟

为探讨非连续采空区矿柱力学原理，通过FLAC3D数值模拟技术，对下向水平分层进路式胶结充填采矿法开采形成的非连续采空区中矿柱的受力状态进行了分析。研究表明，非连续采空区中矿柱所受的力主要为覆岩的自重应力，水平应力对其影响不大；随着埋深的增加矿柱承受的垂直方向的力近似呈直线增加；随着非连续采空区跨度的增加（进路数量增加），非连续采空区受垂直方向的应力逐渐由围岩两侧向矿柱中间过渡。     

ER70 S-G钢水可浇性提升研究

针对高Ti合金焊丝ER70S-G可浇性差,连浇炉数少的情况,研究了Ti_2O_3、Al_2O_3及TiN夹杂生成的热力学条件,结果表明,当钢中w[Ti]/w[Al] 4. 33时,一定会生成Ti_2O_3夹杂;控制钢中w[N]0. 005 5%时,可抑制较低过热度浇铸过程中TiN的生成,从而减少絮流现象出现。通过炼钢采用全程吹氩、精炼采用大渣量及全程微正压、连铸采用氩封保护等措施,减少了钢水的二次氧化,连浇炉数由开发之初的2炉提高至6～8炉,实现了优质、低成本生产。     

节能型低导热性内衬耐火材料

为了有效地控制工业窑炉在间歇式操作时的热能损失,降低内衬材料的热容量和导热系数非常重要。开发了低导热性内衬耐火材料,使导热系数降低约30%。新开发的耐火材料在100t的LF炉中应用证实LF处理时间缩短10%、LF耗电量降低8%。在185t钢包中使用,获得了大幅度抑制钢水温度降低的效果。     

关于煤粉炉掺烧褐煤的研究

通过某厂掺烧褐煤的试验,优化了锅炉的运行方式,为机组安全、稳定、经济运行提供了数据和理论基础。试验结果表明,不同比例的掺烧,对排烟温度、灰渣可燃物含量、锅炉热效率会产生不同的影响。掺烧褐煤虽然在一定程度上造成各系统的调整,但从生产管理、安全和技术控制、成本效益和设备利用率等各方面的综合效果远远超过采用单纯优质煤燃烧供应的方法,其综合效果较好,方法可行。     

添加Bi2O3对SiO2-Al2O3-MgO系玻璃结构与性能的影响

采用传统熔体冷却法制备添加不同质量分数(0～3.0%)Bi_2O_3的SiO_2-Al_2O_3-MgO系玻璃,研究Bi_2O_3添加量对玻璃热稳定性、结构稳定性以及物理与力学性能的影响。结果表明:添加Bi_2O_3可有效降低玻璃的软化点;随着Bi_2O_3添加量的增加,玻璃析晶温度与玻璃化转变温度之差先增大后减小,光学带隙先减小后增大,说明玻璃的热稳定性和结构稳定性先提高后降低,同时玻璃的密度、弯曲强度、压缩强度和压缩模量也呈先增大后降低的趋势;当Bi2O3的质量分数为1.5%时,玻璃的结构稳定性、热稳定性、物理与力学性能最优异,此时玻璃析晶温度与玻璃化转变温度之差为244K,光学带隙为3.50eV,密度为2.67g·cm~(-3),弯曲强度为82.72 MPa,压缩强度为236.24MPa,压缩模量为110.06GPa。