锚栓用量对纯锚固岩棉保温系统抗风压性能的影响

采用ETAG 004:2013《外墙外保温薄抹灰系统欧洲技术认证指南》中规定的静态泡沫块法,测试在单位面积上使用不同数量锚栓的岩棉板外保温系统的抗风压性能。通过试验可以得出:在混凝土墙体上单纯采用敲击式锚栓锚固岩棉板外保温系统时,拉伸强度可达12.9 k Pa;单位面积增加锚栓的使用量可以提高系统的抗拉承载力,但在不同条件下增加相同数量锚栓对系统抗风载能力提高的程度不同;在普通混凝土墙中,单纯锚固岩棉板保温系统破坏时,单个锚栓承载力平均值的最大值约为其拉拔承载力的50.3%。     

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

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

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.     

Two-step pyrolytic engineering to form porous nitrogen-rich carbons with a 3D network structure for Zn-air battery oxygen reduction electrocatalysis

It is of great urgency to design inexpensive and high-performance oxygen reduction reaction (ORR) electrocatalysts derived from biowastes as substitutes for Pt-based materials in electrochemical energy-conversion devices. Here we propose a strategy to synthesize three-dimensional (3D) porous nitrogen-doped network carbons to catalyze the ORR from two-step pyrolysis engineering of biowaste scale combined with the use of a ZnCl₂ activator and a FeCl₂ promotor. Electrochemical tests show that the synthesized network carbons have exhibited comparable ORR catalytic activity with a half-wave potential (~0.85 V vs. RHE) and outstanding cyclical stability in comparison to the Pt/C catalyst. Beyond that, a high electron transfer number (~3.8) and a low peroxide yield (<7.6%) can be obtained, indicating a four-electron reaction pathway. The maximum power density is ~68 mW cm^?2, but continuous discharge curves (at a constant potential of ~1.30 V) for 12 h are not obviously declined in Zn-air battery tests using synthesized network carbons as the cathodic catalyst. The formation of 3D porous structures with high BET surface area can effectively expose the surface catalytic sites and promote mass transportation to boost the ORR activity. This work may open a new idea to prepare porous carbon-based catalysts for some important reactions in new energy devices.     

Triphenylphosphonium (TPP)-Based Antioxidants: A New Perspective on Antioxidant Design

Mitochondrial oxidative damage and dysfunction contribute to a wide range of human diseases. Considering the limitation of conventional antioxidants and that mitochondria are the main source of reactive oxygen species (ROS) which induce oxidative damage, mitochondria-targeted antioxidants which can selectively block mitochondrial oxidative damage and prevent various types of cell death have been widely developed. As a lipophilic cation, triphenylphosphonium (TPP) has been commonly used in designing mitochondria-targeted antioxidants. Conjugated with the TPP moiety, antioxidants can achieve more than 1000-fold higher mitochondrial concentration depending on cell membrane potentials and mitochondrial membrane potentials. Herein we discuss the deficiencies of conventional antioxidants and the advantages of mitochondrial targeting, and review various types of TPP-based mitochondria-targeted antioxidants. These provide theoretical and background support for the design of new anti-oxidant.     

CAN总线的输送控制系统集成化研究

针对现有技术中输送系统控制不稳定、控制能力低下等问题,本文提出基于工业CAN总线的输送系统集成化控制.在控制系统CAN通信节点利用代码进行数据的转化,通过emit关键字将数据绘制成显示曲线,由输入的代码不断对系统数据进行刷新,实现了输送系统的实时监控,提高了系统运行的安全性.通过时间同步技术将SAEAS6802时钟同步协议与时钟修正算法相结合,有效地对数据处理时间和接收时间进行校正,减少了数据接收误差,提高了时间同步精度.实验结果表明,本文研究方法提高了输送控制系统的运行安全性和可靠性.