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

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

Silver-plated polyamide fabrics with high electromagnetic shielding effectiveness performance prepared by in situ reduction of polydopamine and chemical silvering

In this article, the silver-plated polyamide fabrics (SPPAFs) with high electroconductibility and shielding effectiveness were fabricated by using in situ reduction of polydopamine and chemical silvering. The effects of SPPAFs dopamine (C₈H₁₁O₂N) and silver nitrate (AgNO₃) concentration on surface resistivity and electromagnetic interference shielding effectiveness were studied. The results showed that the surface resistivity of SPPAFs can reach a minimum value of 0.06 ± 0.014 Ω cm⁻¹, when C₈H₁₁O₂N concentration is 4 g L⁻¹ and the AgNO₃ concentration is 120 g L⁻¹. The shielding effectiveness of SPPAFs in the wide frequency range of 10–3000 MHz increases with the increase in the concentration of AgNO₃, and increases first and stabilizes afterward with increasing C₈H₁₁O₂N concentration. When the concentration of C₈H₁₁O₂N and AgNO₃ is 3 and 120 g L⁻¹, respectively, mean shielding effectiveness values in the low-, medium-, and high-frequency bands are 71.3, 73.8, and 76.1 dB, respectively. Moreover, the mean shielding effectiveness values is 83.79 dB in the frequency range of 1.2–2.3 GHz. The dominant shielding mechanism of SPPAFs is the reflected electromagnetic waves and the absorption shielding effectiveness is less than 2 dB. The average electromagnetic shielding values of SPPAFs are above 67 dB after 16 weeks of storage, when C₈H₁₁O₂N concentration is 4 g L⁻¹ and the AgNO₃ concentration is 80 and 100 g L⁻¹. The prepared SPPAFs show promising applications in military textiles and smart wearable clothing. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 48227.     

尿素装置液位仪表失真分析及处理

介绍了尿素装置中3起液位仪表失真案例,分析了故障现象和设备工况,确定失真原因,采取了相应的处理措施,解决了仪表故障。     

离子膜电解反向电流及其消除

探讨反向电流的形成、反向电流的危害、极化整流器消除反向电流的若干方式、C-DCDS装置构成及其与极化整流器匹配应用于电解槽的情况,以及单独使用极化整流器或C-DCDS和两者匹配使用的方法。     

电信运营商信息安全管控架构及集中策略研究

本文对运营商信息安全集中管控架构演进和信息安全管控策略面临的问题进行了深入分析，提出了信息安全集中管控架构的演进方向建议及对信息安全监控策略工作优化的若干意见。     

原子吸收光谱法测定保护渣中锰含量

采用原子吸收光谱法测定保护渣中锰含量,进行了酸度对测定的影响、试样分解、共存离子干扰、加标回收、精密度分析等试验。结果表明,锰可完全溶解于混合酸溶液中;加入氯化锶,可以消除钠、钙对锰测定的干扰;锰质量浓度在0~12.0μg/mL的范围,工作曲线线性关系良好;加标回收率较高,在97%~102%;测定结果准确度较高,与高碘酸钠光度法分析结果一致性较好。     

钚及其裂变产物钯 、银 、镉 、锡 、锑 、锆的系统分离方法

描述了钚及其6种裂变产物钯、银、镉、锡、锑、锆的系统分离方法：在强碱性阴离子交换树脂柱上将盐酸介质的辐照靶溶解液中的这些元素分为5组，然后再针对各组目标元素进行分离和纯化，可简便快速地从同一份靶溶解液中分离以上7种元素。采用辐照铀靶对分离方法进行了验证，结果表明，分离流程对6种裂变产物的化学回收率均大于70%，对γ谱仪测量干扰的主要核素去污因子均大于1.0×10³，可满足²³⁹Pu裂变谷区核素裂变产额测量对化学分离的要求。     

Effect of Li2O on the crystallization behavior of CaO-Al2O3-SiO2-Li2O-Ce2O3 mold slags

The effect of Li₂O on the crystallization properties of CaO-Al₂O₃-SiO₂-Li₂O-Ce₂O₃ slags was investigated. With increasing the Li₂O content, LiAlO₂ and CaCeAlO₄ were the main crystalline phases. LiAlO₂ formed for the charge compensating of Li⁺ ions to [AlO₄^5?]-tetrahedrons, and CaCeAlO₄ formed as a result of the charge balance of Ce³⁺ ions, Ca²⁺ ions, and [AlO₆^9?]-octahedrons. Increasing the content of Li₂O to 10%, the crystallization temperature was the highest, and the incubation time was the shortest. The crystallization ability was strong due to the three factors of strengthening the interaction between ions and ion groups, decreasing the polymerization degree, and increasing the melting temperature. Further increasing the content of Li₂O, the crystallization performance was obviously suppressed, because the melting temperature and the force between the cations and the anion groups decreased.