高校实验室计算机网络故障诊断技术研究

为了提升高校实验数据处理水平,高校实验室的相关建设工作已经步入正轨,但层出不穷的信息安全问题也向高校实验室计算机网络维护工作提出了新的挑战。文章从现阶段高校实验室计算机网络的相关建设工作出发,简要论述引发网络故障的具体原因,并对其诊断技术进行探讨。     

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

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

Assembly of a DNA Origami Chinese Knot by Only 15% of the Staple Strands

As a giant leap in DNA self-assembly, DNA origami has exhibited an unprecedented ability to construct nanostructures with arbitrary shapes and sizes. In typical DNA origami, hundreds of short DNA staple strands fold a long, single-stranded (ss) DNA scaffold cooperatively into designed nanostructures. However, large numbers of DNA strands are expensive and would hinder applications such as pharmaceutical investigations because of the complicated components. Therefore, one challenge is how to reduce the number of staple strands needed to construct DNA origami. For a DNA origami structure, the scale-free folding pattern of the scaffold strand is determined by staple strands at the branching vertexes. Simple duplex regions help to define the size-related features of the origami geometry. In this study, we hypothesized that a scaffold strand can be correctly folded into a designed topology by using only staple strands involved in branching vertexes. After assembly, any remaining, flexible, single-stranded regions of the scaffold could be converted into rigid duplexes by DNA polymerase to achieve the designed geometric structures. To demonstrate the concept, we used only 18 staple strands (covering 15 % of the scaffold strand) to assemble a porous DNA nanostructure, which was visualized by atomic force microscopy (AFM). This study helps understanding of the role of cooperativity in origami folding, and provides a cost-effective approach for small-scale prototyping DNA origami.     

Dual Inhibition of Pyruvate Dehydrogenase Complex and Respiratory Chain Complex Induces Apoptosis by a Mitochondria-Targeted Fluorescent Organic Arsenical in vitro and in vivo

Based on the potential therapeutic value in targeting mitochondria and the fluorophore tracing ability, a fluorescent mitochondria-targeted organic arsenical PDT-PAO-F16 was fabricated, which not only visualized the cellular distribution, but also exerted anti-cancer activity in vitro and in vivo via targeting pyruvate dehydrogenase complex (PDHC) and respiratory chain complexes in mitochondria. In details, PDT-PAO-F16 mainly accumulated into mitochondria within hours and suppressed the activity of PDHC resulting in the inhibition of ATP synthesis and thermogenesis disorder. Moreover, the suppression of respiratory chain complex I and IV accelerated the mitochondrial dysfunction leading to caspase family-dependent apoptosis. In vivo, the acute promyelocytic leukemia was greatly alleviated in the PDT-PAO-F16 treated group in APL mice model. Our results demonstrated the organic arsenical precursor with fluorescence imaging and target-anticancer efficacy is a promising anticancer drug.     

Flotation Behavior,Collector Adsorption Mechanism of Quartz and Feldspar-Quartz Systems Using PEA as a Novel Green Collector

Silicon - A novel green cationic surfactant Poly (propylene glycol) bis (2-aminopropyl ether) (PEA) with multiple amine groups was utilized as a collector for flotation separation of quartz from...     

Adaptive backstepping repetitive learning control design for nonlinear discrete‐time systems with periodic uncertainties

This paper addresses a tracking problem for uncertain nonlinear discrete‐time systems in which the uncertainties, including parametric uncertainty and external disturbance, are periodic with known periodicity. Repetitive learning control (RLC) is an effective tool to deal with periodic unknown components. By using the backstepping procedures, an adaptive RLC law with periodic parameter estimation is designed. The overparameterization problem is overcome by postponing the parameter estimation to the last backstepping step, which could not be easily solved in robust adaptive control. It is shown that the proposed adaptive RLC law without overparameterization can guarantee the perfect tracking and boundedness of the states of the whole closed‐loop systems in presence of periodic uncertainties. In addition, the effectiveness of the developed controller is demonstrated by an implementation example on a single‐link flexible‐joint robot. Copyright © 2014 John Wiley & Sons, Ltd.