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

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（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.     

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     

Fabrication of 3D structures via direct ink writing of kaolin/graphene oxide composite suspensions at ambient temperature

Kaolin/graphene oxide composite has been widely utilized in aero-space and architectural engineering applications due to its excellent mechanical property. Direct ink writing (DIW) is a freeform rapid prototyping technology that could be used to accurately fabricate the resulting size with complex shapes. In this study, we reported the DIW of kaolin/graphene oxide (GO) composite suspensions (KGCS) to assemble 3D structures at ambient temperature for the first time. The effects of GO on the chemical constitution and microstructure of kaolin suspensions were investigated. Rheology was characterized to ensure printability of KGCS. The addition of GO in kaolin suspensions quickened a flocculation structure, which dramatically changed their rheology properties. The DIW of 3D structures from the optimal KGCS sample maintained their initial shape without spreading. The flexural and compressive strengths of the dried optimal KGCS samples were obviously enhanced due to the improvement and reduction of the micro-defects compared from cured kaolin matrix.     

Burkholderia thailandensis E264/pBMTL3-tdpR发酵生产抗癌药物ThailandepsinA的研究

在伯克氏菌Bth264野生株产新型抗癌药物Thailandepsin A以及调节基因tdp R正向调控Thailandepsin A生物合成的基础上,利用基因工程菌Bth264/p BMTL3-tdp R发酵生产Thailandepsin A,以提高产量。以0.5%乳糖为诱导剂,确定最佳诱导条件:发酵15 h添加乳糖,诱导时间6 h;通过单因素实验,确定葡萄糖和胰蛋白胨作为碳氮源、装液量65/250 m L以及接种量1%;同时结合优化发酵培养基进行发酵,Thailandepsin A产量达到252.14 mg·L-1,比优化前的产量提高56%;另外在发酵过程中,添加大孔树脂HP-20原位吸附产物,Thailandepsin A产量可达283.75 mg·L-1,比不加树脂提高13.8%;最后,基于RT-PCR和比较Ct值法,基因工程菌和野生菌相比,Thailandepsin A生物合成基因tdp B、tdp C1的转录水平分别提高11.4倍和6.0倍,对应的产量增加4.6倍,从而在很大程度上说明调节基因tdp R的过表达促进生物合成基因转录水平的提高以及产量的增加。     

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.     

Effect of steel slag on 3D concrete printing of geopolymer with quaternary binders

A new type of 3D-printable ‘one-part’ geopolymer was synthesized with fly ash (FA), granulated blast furnace slag (GBFS), steel slag (SS) and flue gas desulfurization gypsum (FGD). The effects of SS content (0–40%) on the rheological properties, 3D-printability, mechanical anisotropy and reaction kinetics of geopolymer were investigated. The yield stress and plastic viscosity monotonically decreased with the increasing SS content. Contrarily, the geopolymer with 10% of SS presented better extrudability, buildability and mechanical strength than those with 0, 20%, 30% and 40% of SS. This was mainly attributed to the conflicting influence of SS on geopolymerization, of which the OH^? produced by hydration of SS raised the alkalinity of the reaction system and accelerated the dissolution of SiO₄^4? and AlO₄^5?, while the low reactivity prohibited the following polymerization process. Furthermore, the 3D-printed geopolymer presented more compact microstructure and less mechanical anisotropy thanks to the crosslinking of morphologically complementary products, including N(C)-A-S-H, C–S–H, AFt and CH, formed via synergistic reaction of FA-GBFS-SS-FGD system.     

Omega-6支撑身体，Omega-3支撑大脑：均衡摄入对儿童大脑发育的影响（网络首发、推荐阅读）

人体大脑和身体的发育，需要从食物中摄取均衡的营养物质。人类大脑是区分人类和其他动物的特征。食物中的必需脂肪酸是机体组织结构和功能的必要组成部分。Omega-6（O6）亚油酸（LA6）是皮肤组织的组成成分，且是炎症、血栓形成、免疫和其他信号分子的前体；Omega-3（O3）α-亚麻酸（ALA3），特别是其长链代谢产物——二十二碳六烯酸（DHA3），是大脑、视网膜和部分神经组织中的关键组分。从富含LA6脂肪酸（缺乏O3脂肪酸）的植物籽中提取出的廉价而优质油脂，是20世纪的西方国家食品工业生产的主要脂肪来源。在代谢通路中，高浓度的LA6脂肪酸可拮抗O3脂肪酸代谢，造成O3脂肪酸不足，因此，在给怀孕动物的饲料中，只提供富含LA6但缺乏O3脂肪酸的油脂作为唯一的脂肪来源，会导致幼崽大脑发育不良。过去20~30年的研究表明，低含量LA6且含DHA3的油脂可改善大脑的功能。近年来的研究较多集中在营养因素对大脑发育的影响，最新研究数据表明，脂肪酸平衡对营养不良儿童的大脑发育尤为重要。世界卫生组织（WHO）越来越重视大脑的营养健康，通过其下属的食品法典委员会，建议用于治疗严重急性营养不良儿童的即食治疗食品中，使用含有均衡脂肪酸组成/构成的脂肪。同样，脂肪酸均衡对老年人可能也很重要。目前，业界已经有了调整油脂成分的方法，以确保脂肪酸均衡，从而维持人体整个生命周期的大脑健康。     

Red-shift and improved afterglow of Sr3Al2-xBxO5Cl2:Eu2+, Dy3+ phosphors via a cation substitution strategy

Sr₃Al_2-xB_xO₅Cl₂:Eu²⁺, Dy³⁺ (x = 0, 0.2, 0.4) long persistent phosphors were prepared via solid-state process. The pristine Sr₃Al₂O₅Cl₂:Eu²⁺, Dy³⁺ phosphor exhibits orange/red broad band emission around 609 nm, which can be attributed to the electric radiation transitions 4f⁶5 d¹→4f⁷ of Eu²⁺. Upon the same excitation, the B³⁺-doped Sr₃Al_2-xB_xO₅Cl₂:Eu²⁺, Dy³⁺ phosphors display red-shift from 609 nm to 625 nm with increasing B³⁺ concentrations. The XRD patterns show that Al³⁺ can be replaced by B³⁺ in the host lattice at the tetrahedral site, which causes lattice contraction and crystal field enhancement, and thereafter achieves the red-shift on the emission spectrum. The XPS investigation provides direct evidence of the dominant 2-valent europium in the phosphor, which can be ascribed for the broad band emission of the prepared phosphors. The afterglow of all phosphors show standard double exponential decay behavior, and the afterglow of Sr₃Al₂O₅Cl₂:Eu²⁺, Dy³⁺is rather weak, while the sample co-doped with B³⁺shows longer and stronger afterglow, as confirmed after the curve simulation. The analysis of thermally stimulated luminescence showed that, when B³⁺ is introduced, a much deeper trap is created, and the density of the electron trap is also significantly increased. As a result, B³⁺ ions caused redshift and enhanced afterglow for the Sr₃Al_2-xB_xO₅Cl₂:Eu²⁺, Dy³⁺ phosphor.