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

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

Precise Extraction of Charge Carrier Mobility for Organic Transistors

Unreliable mobility values, and particularly greatly overestimated values and severely distorted temperature dependences, have recently hampered the development of the organic transistor field. Given that organic field‐effect transistors (OFETs) have been routinely used to evaluate mobility, precise parameter extraction using the electrical properties of OFETs is thus of primary importance. This review examines the origins of the various mobilities that must be determined for OFET applications, the relevant extraction methods, and the data selection limitations, which help in avoiding conceptual errors during mobility extraction. For increased precision, the review also discusses device fabrication considerations, calibration of both the specific gate‐dielectric capacitance and the threshold voltage, the contact effects, and the bias and temperature dependences, which must actually be handled with great care but have mostly been overlooked to date. This review serves as a systematic overview of the OFET mobility extraction process to ensure high precision and will also aid in improving future research.     

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.     

改进HSR-FCN的服装图像识别分类算法研究

目前网络上的服装图像数量增长迅猛，对于大量服装图像实现智能分类的需求日益增加。将基于区域的全卷积网络（Region-Based Fully Convolutional Networks，R-FCN）引入到服装图像识别中，针对服装图像分类中网络训练时间长、形变服装图像识别率低的问题，提出一种新颖的改进框架HSR-FCN。新框架将R-FCN中的区域建议网络和HyperNet网络相融合，改变图片特征学习方式，使得HSR-FCN可以在更短的训练时间内达到更高的准确率。在模型中引入了空间转换网络，对输入服装图像和特征图进行了空间变换及对齐，加强了对多角度服装和形变服装的特征学习。实验结果表明，改进后的HSR-FCN模型有效地加强了对形变服装图像的学习，且在训练时间更短的情况下，比原来的网络模型R-FCN平均准确率提高了大约3个百分点，达到96.69%。     

李楼铁矿溜井料位监测系统的设计与应用

李楼铁矿主溜井未加装料位监测装置时,生产调度部门主要依靠经验和统计计算指挥控制溜井料位,其效率低并存在安全隐患。结合井下通信现状,采用Optech激光物位计设计了一套成本低廉、简单实用、稳定可靠的料位监测系统。该系统经煤矿现场应用,取得了良好的监测效果,提供了准确的信号,为生产科学调度提供了依据。     

Review on zirconate-cerate-based electrolytes for proton-conducting solid oxide fuel cell

The performance of low-to-intermediate temperature (400–800?°C) solid oxide fuel cells (SOFCs) depends on the properties of electrolyte used. SOFC performance can be enhanced by replacing electrolyte materials from conventional oxide ion (O^2-) conductors with proton (H⁺) conductors because H⁺ conductors have higher ionic conductivity and theoretical electrical efficiency than O^2- conductors within the target temperature range. Electrolytes based on cerate and/or zirconate have been proposed as potential H⁺ conductors. Cerate-based electrolytes have the highest H⁺ conductivity, but they are chemically and thermally unstable during redox cycles, whereas zirconate-based electrolytes exhibit the opposite properties. Thus, tailoring the properties of cerate and/or zirconate electrolytes by doping with rare-earth metals has become a main concern for many researchers to further improve the ionic conductivity and stability of electrolytes. This article provides an overview on the properties of four types of cerate and/or zirconate electrolytes including cerate-based, zirconate-based, single-doped cerate–zirconate and hybrid-doped cerate–zirconate. The properties of the proton electrolytes such as ionic conductivity, chemical stability and sinterability are also systematically discussed. This review further provides a summary of the performance of SOFCs operated with cerate and/or zirconate proton conductors and the actual potential of these materials as alternative electrolytes for proton-conducting SOFC application.     

苯乳酸抑制链格孢霉作用靶位的分析

以从自然腐败的樱桃上分离的链格孢霉（Alternaria sp.）LD3.0086为指示菌，研究苯乳酸对链格孢霉的主要抑制作用靶位。应用分光光度法测定苯乳酸对链格孢霉的最小抑菌浓度，通过卡尔科弗卢尔荧光增白剂染液（calcofluor white，CFW）染色观察苯乳酸对菌丝顶端生长的破坏作用，利用扫描电子显微镜和透射电子显微镜观察链格孢霉的超微结构变化，通过测定苯乳酸作用前后链格孢霉上清液中N-乙酰葡萄糖胺质量浓度变化研究苯乳酸对菌丝细胞壁的破坏作用，应用荧光双染色法观察苯乳酸对链格孢霉菌丝细胞膜的损伤作用。结果表明，12.5 mmol/L的苯乳酸能有效抑制链格孢霉的生长；与对照组（无菌水处理）相比，苯乳酸处理后链格孢霉顶端生长细胞无明显形变，经12.5 mmol/L苯乳酸处理的链格孢霉上清液中N-乙酰葡萄糖胺质量浓度基本不变；苯乳酸处理24 h，链格孢霉菌丝细胞壁表面无明显损伤，细胞内结构发生明显变化；苯乳酸短时间（4 h）处理链格孢霉，菌丝细胞膜仍较为完整，加入苯乳酸较长时间（8 h）后细胞膜发生破裂。综合分析可知，苯乳酸对链格孢霉的主要作用靶位应不是菌丝体的细胞壁和细胞膜，而是在菌丝体内部，通过破坏菌丝内部细胞器结构或引起细胞内的生化反应，从而抑制链格孢霉的生长和繁殖，发挥抑菌活性。