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

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

Broad-Spectral-Range Sustainability and Controllable Excitation of Hyperbolic Phonon Polaritons in α-MoO3

Hyperbolic phonon polaritons (HPhPs) in orthorhombic-phase molybdenum trioxide (α-MoO₃) show in-plane hyperbolicity, great wavelength compression, and ultralong lifetime, therefore holding great potential in nanophotonic applications. However, its polaritonic response in the far-infrared (FIR) range remains unexplored due to challenges in experimental characterization. Here, monochromated electron energy loss spectroscopy (EELS) in a scanning transmission electron microscope (STEM) is used to probe HPhPs in α-MoO₃ in both mid-infrared (MIR) and FIR frequencies and correlate their behaviors with microstructures and orientations. It is found that low structural symmetry leads to various phonon modes and multiple Reststrahlen bands (RBs) over a broad spectral range (over 70 meV) and in different directions (55–63 meV and 119–125 meV along the b-axis, 68–106 meV along the c-axis, and 101–121 meV along the a-axis). These HPhPs can be selectively excited by controlling the direction of swift electrons. These findings provide new opportunities in nanophotonic and optoelectronic applications, such as directed light propagation, hyperlenses, and heat transfer.     

Toxoplasma gondii GRA9 Regulates the Activation of NLRP3 Inflammasome to Exert Anti-Septic Effects in Mice

Dense granule proteins (GRAs) are essential components in Toxoplasma gondii, which are suggested to be promising serodiagnostic markers in toxoplasmosis. In this study, we investigated the function of GRA9 in host response and the associated regulatory mechanism, which were unknown. We found that GRA9 interacts with NLR family pyrin domain containing 3 (NLRP3) involved in inflammation by forming the NLRP3 inflammasome. The C-terminal of GRA9 (GRA9C) is essential for GRA9–NLRP3 interaction by disrupting the NLRP3 inflammasome through blocking the binding of apoptotic speck-containing (ASC)-NLRP3. Notably, Q200 of GRA9C is essential for the interaction of NLRP3 and blocking the conjugation of ASC. Recombinant GRA9C (rGRA9C) showed an anti-inflammatory effect and the elimination of bacteria by converting M1 to M2 macrophages. In vivo, rGRA9C increased the anti-inflammatory and bactericidal effects and subsequent anti-septic activity in CLP- and E. coli- or P. aeruginosa-induced sepsis model mice by increasing M2 polarization. Taken together, our findings defined a role of T. gondii GRA9 associated with NLRP3 in host macrophages, suggesting its potential as a new candidate therapeutic agent for sepsis.     

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

In-situ TEM observation of structural changes in nano-crystalline CoCrCuFeNi multicomponent high-entropy alloy (HEA) under fast electron irradiation by high voltage electron microscopy (HVEM)

The structural changes induced in a CoCrCuFeNi multicomponent nano-crystalline high-entropy alloy (HEA) under fast electron irradiation were investigated by in-situ transmission electron microscopy (TEM) using a high voltage electron microscope (HVEM). A fine-grained face centered cubic (fcc) single phase was obtained in the sputtered specimens. The fcc solid solution showed high phase stability against irradiation over a wide temperature range from 298 to 773 K, and remained as the main constituent phase even when the samples were irradiated up to 40 displacement per atom (dpa). Moreover, the irradiation did not seem to induce grain coarsening. This is the first report on the irradiation damage in 5-component HEA under MeV electron irradiation.     

Thermal and transport properties of as-grown Ni-rich TiNi shape memory alloys

Electrical resistivity, Seebeck coefficient, specific heat and thermal conductivity measurements on the Ti_50−xNi_50+x (x = 0.0–1.6 at.%) shape memory alloys are performed to investigate their thermal and transport properties. In this study, anomalous features are observed in both cooling and heating cycles in all measured physical properties of the slightly Ni-rich TiNi alloys (x ≤ 1.0), corresponds to the transformation between the B19′ martensite and B2 austenite phases. Besides, the transition temperature is found to decrease gradually with increasing Ni content, and the driving force for the transition is also found to diminish slowly with the addition of excess Ni, as revealed by specific heat measurements. While the signature of martensitic transformation vanishes for the Ni-rich TiNi alloys with x ≥ 1.3, the characteristics of strain glass transition start to appear. The Seebeck coefficients of these TiNi alloys were found to be positive, suggesting the hole-type carriers dominate the thermoelectric transport. From the high-temperature Seebeck coefficients, the estimated value of Fermi energy ranges from ∼1.5 eV (Ti_48.4Ni_51.6) to ∼2.1 eV (Ti₅₀Ni₅₀), indicating the metallic nature of these alloys. In addition, the thermal conductivity of the slightly Ni-rich TiNi alloys with x ≤ 1.0 shows a distinct anomalous feature at the B19′ → B2 transition, likely due to the variation in lattice thermal conductivity.     

Lipase‐catalyzed synthesis of aliphatic poly(β‐thioether ester) with various methylene group contents: thermal properties,crystallization and degradation

A series of novel aliphatic poly(β‐thioether ester)s with various methylene group contents were prepared by direct lipase‐catalyzed polycondensation of the monomer with an acid‐labile β‐thiopropionate group. The polycondensation reaction using immobilized lipase B from Candida antarctica was carried out in diphenyl ether at 90 °C. Poly(β‐thioether ester)s with high molecular weights of 20 500–57 000 Da and narrow polydispersities in the range 1.40–1.48 were obtained. Thermogravimetric analysis, differential scanning calorimetry and wide‐angle X‐ray diffraction were used to investigate the thermal properties and crystal structures of these polyesters. All the poly(β‐thioether ester)s were semicrystalline polymers and thermally stable up to at least 200 °C. In vitro degradation studies showed that they can rapidly degrade under acidic conditions by the hydrolysis of the β‐thiopropionate groups, suggesting their potential as acid‐degradable polymeric materials. © 2019 Society of Chemical Industry     

Manganese ferrite-polyaniline hybrid materials: Electrical and magnetic properties

Magnetic MnFe₂O₄ nanopowders were synthesized by an original solvothermal method in the absence and in the presence of tetra-n-butylammonium bromide (TBAB) and Tween 80 (TW) as surfactants. Manganese ferrite/polyaniline (PANI) hybrid materials were synthesized by in situ polymerization of aniline on the surface of MnFe₂O₄ using ammonium persulfate as oxidant. The purpose of the study was to investigate the influence of the two surfactants on the properties of the MnFe₂O₄ powders and of their composites with PANI. The specific surface area, the cumulative surface area of pores and the cumulative volume of pores are influenced by the nature of surfactant in case of MnFe₂O₄ powders and are higher by comparison to those of the MnFe₂O₄/PANI hybrid materials. The values of saturation magnetization in case of MnFe₂O₄ powders are higher than those of the hybrid materials and are not influenced by the surfactant nature. These features revealed that MnFe₂O₄ powders can be efficiently used as adsorbents for the purification of wastewaters. The values of the electrical conductivity of the composites exhibit a significant increase in comparison to the MnFe₂O₄ powders and depend on the surfactant nature. The highest value of electrical conductivity was achieved by the composite obtained using Tween 80 as surfactant (σ_DC = 54.5·10^?5S?m^?1) which was close to that of PANI (σ_DC = 61.2·10^?5 S?m^?1). The fact that the magnetic and electric properties of the synthesized MnFe₂O₄/PANI composites can be changed by design, demonstrate the high potential of these materials to be used in magneto-electric applications.