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

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

The analysis and comparison of two novel kinds of focusing elements as reflectors

In this article, two novel kinds of focusing elements as reflectors are analyzed and compared. One is the grooved Fresnel zone plate reflector with continuous phase‐correcting. The other called subzone paraboloid reflector, has the profile that consists of a series of paraboloids. Their diffraction efficiencies and bandwidths are described. The two elements still preserve the advantages of Fresnel zone plates, namely, low profile, high efficiency, and simple fabrication. Two dual‐reflector antennas using the proposed focusing elements as the main reflectors are simulated and the results show that these antennas have good radiation performances. © 2014 Wiley Periodicals, Inc. Int J RF and Microwave CAE 25:101–108, 2015.     

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

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

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

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

Study on the removal of olefins from naphtha by clay loaded with trifluoromethanesulfonic acid

Journal of Porous Materials - In this work, a trifluoromethanesulfonic acid (TFOH) modified clay (TFOH-Clay) was developed for the removal of trace olefins in heavy naphtha. 5%TFOH-Clay can...     

Research on phase shift characteristics of electromagnetic wave in plasma

The phase shift characteristics reflect the state change of electromagnetic wave in plasma sheath and can be used to reveal deeply the action mechanism between electromagnetic wave and plasma sheath. In this paper, the phase shift characteristics of electromagnetic wave propagation in plasma were investigated. Firstly, the impact factors of phase shift including electron density,collision frequency and incident frequency were discussed. Then, the plasma with different electron density distribution profiles were employed to investigate the influence on the phase shift characteristics. In a real case, the plasma sheath around the hypersonic vehicle will affect and even break down the communication. Based on the hypersonic vehicle model, we studied the electromagnetic wave phase shift under different flight altitude, speed, and attack angle. The results indicate that the phase shift is inversely proportional to the flight altitude and positively proportional to the flight speed and attack angle. Our work provides a theoretical guidance for the further research of phase shift characteristics and parameters inversion in plasma.     

Specific emitter identification for satellite communication using probabilistic neural networks

Electromagnetic signal emitted by satellite communication (satcom) transmitters are used to identify specific individual uplink satcom terminals sharing the common transponder in real environment, which is known as specific emitter identification (SEI) that allows for early indications and warning (I&W) of the targets carrying satcom furnishment and furthermore the real time electromagnetic situation awareness in military operations. In this paper, the authors are the first to propose the identification of specific transmitters of satcom by using probabilistic neural networks (PNN) to reach the goal of target recognition. We have been devoted to the examination by exploring the feasibility of utilizing the Hilbert transform to signal preprocessing, applying the discrete wavelet transform to feature extraction, and employing the PNN to perform the classification of stationary signals. There are a total of 1000 sampling time series with binary phase shift keying (BPSK) modulation originated by five types of satcom transmitters in the test. The established PNNs classifier implements the data testing and finally yields satisfactory accuracy at 8 dB(±1 dB) carrier to noise ratio, which indicates the feasibility of our method, and even the keen insight of its application in military.     

基于Web的3D模型浏览与交互系统的研究与实现

设计了基于Web的3D模型浏览与交互系统，主要采用基于WebGL的第三方库Three.js来实现。该系统的建立主要包括场景的构建、场景的交互控制和模型的云存储。模型是场景构建的前提，用户可从外部导入所需模型或利用系统自带的简单模型进行模型的构建。场景交互技术主要包括模型的平移、旋转、缩放、拾取、剖切、3D动画模型的播放以及信息的显示等。模型的云存储是指用户可以通过登录账户将3D模型存储到服务器，日后需要时直接从服务器中加载即可。     

Evaluation of bismuth doped La2-xBixNiO4+δ (x = 0, 0.02 and 0.04) as cathode materials for solid oxide fuel cells

Bismuth doped La_2-xBi_xNiO_4+δ (x = 0, 0.02 and 0.04) oxides are investigated as SOFC cathodes. The effects of Bi doping on the phase structure, thermal expansion, electrical conduction behavior as well as electrochemical performance are studied. All the samples exist as a tetragonal Ruddlesden-Popper structure. Bi-doped LBNO-0.02 and LBNO-0.04 have good chemical and thermal compatibility with LSGM electrolyte. The average TEC over 20–900°С was 13.4 × 10^?6 and 14.2 × 10^?6 K^?1 for LBNO-0.02 and LBNO-0.04, respectively. The electrical conductivity was decreasing with the rise of Bi doping content. EIS measurement indicates Bi doping can decrease the ASR values. At 750 °C, the obtained ASR for LBNO-0.04 is 0.18 Ωcm², which is 56% lower than that of the sample without Bi doping, suggesting Bi doping is beneficial to the electrochemical catalytic activity of LBNO cathodes.