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

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

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

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

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

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

Preparation and characterization of calcium phosphate cement with enhanced tissue adhesion for bone defect repair

Anti-washout and tissue adhesion properties are essential for the clinical application of injectable bone materials. In this study, we prepared calcium phosphate cement (CPC) with anti-washout and tissue adhesion properties and attempted to build covalent bonds between CPC and the amino groups in bone tissue under a self-regulating pH system in the CPC (acidic to basic). The results of push-out tests demonstrated that a significant enhancement (from 6.42 ± 0.76 N to 61.5 ± 4.09 N) in tissue adhesion was obtained with the addition of 6% (w/w) oxidized sodium alginate (OSA) in CPC. The FTIR, XRD, anti-washout test, XPS, pH test, and SEM results suggested that the synergistic effect of OSA-citric acid (CA) led to the formation of a three-dimensional gel network structure in the CPC, and the Schiff base reaction between aldehyde and amino groups induced adhesion between CPC and the bone tissue. Further, the addition of less OSA had no significant negative effect on the hydration properties of CPC. Our work aims to promote the development of injectable bone material in clinical applications.     

渣油催化临氢热转化钼铁双金属催化剂的研究

Replacement of precious single metal catalysts with cost-effective, highly-dispersed composite catalysts for catalytic hydrothermal conversion of residue holds tremendous promise for the residue upgrading technologies. Organic metals were added to the feed as the oil-soluble precursors, and transformed into the catalytic active phases in this work. Physical properties and structures of the composite catalysts had been investigated by X-ray fluorescence spectroscopy, X-ray photoelectron spectroscopy, X-ray diffraction, scanning electron microscope and transmission electron microscopy. The composite catalysts were found to be highly efficient in the catalytic hydrothermal conversion of both model compound and residue. Increased metal dispersion and synergistic effects of two metals played indispensable roles in such catalytic system. Results showed that under the test conditions in the article, the catalyst had the best catalytic performance when the mass ratio of molybdenum to iron was 1.5.     

Adaptive compensation of persistent actuator failures of nonlinear systems

In this article, adaptive compensation designs are developed for nonlinear systems with uncertainties from the system functions and persistent actuator failures of characterizations that (i) some unknown system inputs are stuck at some unknown fixed or varying values at unknown time instants and (ii) the failure pattern always switches from one to another and the switching does not stop. Such a controlled plant is described by an uncertain time-varying nonlinear system, and some robust adaptive feedback linearization based failure compensation results are studied for closed-loop system stabilization and bounded output tracking for some specific conditions. To improve the tracking performance in the presence of persistent actuator failures, a new adaptive control scheme is developed, using the failure indicator function which contains the failure pattern and failure time in the formulation. Detailed stability and tracking performance are shown. Simulation results are shown to verify the effectiveness of the proposed adaptive actuator failure compensation method.     

Evolution of Local Structural Ordering and Chemical Distribution upon Delithiation of a Rock Salt–Structured Li1.3Ta0.3Mn0.4O2 Cathode

Lithium‐rich disordered rock‐salt oxides have attracted great interest owing to their promising performance as Li‐ion battery cathodes. While experimental and theoretical efforts are critical in advancing this class of materials, a fundamental understanding of key property changes upon Li extraction is largely missing. In the present study, single‐crystal synthesis of a new disordered rock‐salt cathode material, Li_1.3Ta_0.3Mn_0.4O₂ (LTMO), and its use as a model compound to investigate Li concentration–driven evolution of local cationic ordering, charge compensation, and chemical distribution are reported. Through the combined use of 2D and 3D X‐ray nanotomography, it is shown that Li removal accompanied by oxygen oxidation is correlated with the development of morphological defects such as particle cracking. Chemical heterogeneity, quantified by subparticle level distribution of Mn valence state, is minimal during Mn redox, which drastically increases upon the formation of cracks during oxygen redox. Density functional theory and bond valence sum mismatch calculations reveal the presence of local short‐range ordering in the pristine oxide, which gradually disappears along with the extraction of Li. The study suggests that with cycling the transformation into true cation–disordered state can be expected, which likely impacts the voltage profile and obtainable energy density of the oxide cathodes.     

应用膨胀算法提取目标的直接定位算法

为了解决被动雷达系统中的多发射源定位问题，提出了一种基于多重信号分类(MUSIC)算法和图像膨胀(IE)算法的直接定位方法。该方法结合了谱分析中的MUSIC思想，通过对接收量测协方差矩阵进行特征分析求解目标的位置。首先，在目标个数未知的前提下，利用Akaike信息准则(AIC)来确定模型阶数；然后，推导了基于MUSIC的定位代价函数；之后，利用图像膨胀算法处理得到的代价函数平面；最后，膨胀处理后的输出为目标个数及目标位置的估计值。提出的算法有效地解决了目标检测及提取的问题，能够确定多个目标的位置坐标，为后续的定位性能分析提供可能性，也保证了算法的完整性。进一步地分析了多个临近目标情况下影响目标提取性能的主要因素。     

Three‐dimensional color prediction modeling of single‐ and double‐layered woven fabrics

In this research, the three‐dimensional structural and colorimetric modeling of three‐dimensional woven fabrics was conducted for accurate color predictions. One‐hundred forty single‐ and double‐layered woven samples in a wide range of colors were produced. With the consideration of their three‐dimensional structural parameters, three‐dimensional color prediction models, K/S‐, R‐, and L*a*b*‐based models, were developed through the optimization of previous two‐dimensional models which have been reported to be the three most accurate models for single‐layered woven structures. The accuracy of the new three‐dimensional models was evaluated by calculating the color differences ΔL*, ΔC*, Δh°, and ΔE_CMC(2:1) between the measured and the predicted colors of the samples, and then the error values were compared to those of the two‐dimensional models. As a result, there has been an overall improvement in color predictions of all models with a decrease in ΔE_CMC(2:1) from 10.30 to 5.25 units on average after the three‐dimensional modeling.     

Ferroelastic domain structure and phase transition in single-crystalline [PbZn1/3Nb2/3O3]1-x[PbTiO3]x observed via in situ x-ray microbeam

(1-x)Pb(Zn_1/3Nb_2/3)O₃-xPbTiO₃ ((1-x)PZN-xPT in short) is one of the most important piezoelectric materials. In this work, we extensively investigated (1-x)PZN-xPT (x = 0.07–0.11) ferroelectric single crystals using in-situ synchrotron μXRD, complemented by TEM and PFM, to correlate microstructures with phase transitions. The results reveal that (i) at 25 °C, the equilibrium state of (1-x)PZN-xPT is a metastable orthorhombic phase for x = 0.07 and 0.08, while it shows coexistence of orthorhombic and tetragonal phases for x = 0.09 and x = 0.11, with all ferroelectric phases accompanied by ferroelastic domains; (ii) upon heating, the phase transformation in x = 0.07 is Orthorhombic → Monoclinic → Tetragonal → Cubic. The coexistence of ferroelectric tetragonal and paraelectric cubic phases was in-situ observed in x = 0.08 above Curie temperature (T_C), and (iii) phase transition can be explained by the evolution of the ferroelectric and ferroelastic domains. These results disclose that (1-x)PZN-xPT are in an unstable regime, which is possible factor for its anomalous dielectric response and high piezoelectric coefficient.