Polyethylene oxide-polypropylene oxide -polyethylene oxide derived porous carbon materials with different molecular weights as ORR catalyst in alkaline electrolytes

Polyethylene oxide (PEO)-polypropylene oxide (PPO)-polyethylene oxide block copolymer having different molecular weights are used as precursors of carbon materials to prepare Hollow -Derivatives carbon material as an electrocatalyst through block copolymer self-assembly. The composition and microstructure of the prepared catalysts are shown by Raman spectroscopy, X-ray diffraction (XRD), Test of nitrogen adsorption and desorption curves, High resolution transmission electron microscopy (HR-TEM) and scanning electron microscopy (HR-SEM). Oxygen was passed into alkaline electrolyte solution until the solution reached saturation state. With molecular weight increasing, the obtained sample gradually changed from block to hollow and spherical. When the molecular weight was 12600 g mol^?1, the evenly hollow carbon nanocages was acquired (C-12600). In O₂ saturated alkaline electrolyte (0.1 M KOH solution), C-12600's limited current density，half-wave potential and initial potential are 5.23 mA cm^?2@0.4 V, 0.72 V and 0.81 V, respectively. And most important is that half-wave potential and onset potential have barely change after 2000 cycles of cyclic voltammetry. As a result, the porous carbon materials exhibited excellent electrocatalytic activity while maintaining high stability in alkaline KOH solution.     

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

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

A novel temperature-tolerant foamed resin for enhanced oil recovery

The synthesis and performance of a novel temperature-tolerant foamed resin for enhanced oil recovery were investigated using various methods, including infrared, NMR, scanning electron microscopy (SEM), and displacement experiments. Polycondensation of furfuryl alcohol prepolymers was confirmed by the infrared and NMR results. The poor temperature tolerance of furfuryl alcohol prepolymers after gelation at high temperatures is mainly due to the fracture of furan rings. The addition of ester additives is an effective method of increasing the temperature tolerance of the prepared foamed resins and can effectively reduce the weight-loss rate of the polycondensation products. The SEM results show that the skeleton structure of the foamed resin remains intact after high-temperature treatment. Thus, the novel plugging agent system has excellent thermal stability and still has a high strength (>0.8 MPa) after high-temperature aging treatment for 40 days, giving the prepared foamed resin a good plugging performance (plugging rate > 91%) at 250 °C. © 2018 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47161.     

Hydroxyapatite/tricalcium silicate composites cement derived from novel two-step sol-gel process with good biocompatibility and applications as bone cement and potential coating materials

Tricalcium silicate (C₃S) and hydroxyapatite (HAp) composites were fabricated through the sol-gel process. The aim of this research is to improve the biocompatibility of C₃S through HAp addition and study the potential of using this as coating materials. The composites (HAp/C₃S) were characterised by Fourier transform infrared spectrometry, thermal gravity-differential thermal analysis and X-ray diffraction. The working and setting times of cement pastes were tested using Gillmore needle. Mechanical properties were examined by nanoindentation and material testing system. In vitro biocompatibility of the materials were studied by cell attachment and viability of L929 and MG-63 cells. HAp/C₃S as a coating material on gelatin film were measured with the surface roughness and imaged by scanning electron microscope. With the addition of HAp, no undesirable free CaO was detected with the synthesis by the sol-gel preparation. The pH values of HAp added groups were between 7.54 and 8.76, which were much lower than pure C₃S group (pH?=?11.75). For in vitro studies, the presence of HAp could effectively enhance the cell attachment and viability of both L929 and MG-63 cells grown in the extract or directly on the composites. However, the mechanical properties of the composites were impaired as compared to pure C₃S. Lastly, HAp/C₃S cement could be evenly coated on gelatin film. HAp is successfully demonstrated to improve C₃S biocompatibility with this new composites HAp/C₃S. C-75 (75% C₃S and 25% HAp), in particular, has good biocompatibility, relatively high compressive strength and can be uniformly coated onto gelatin film. Thus, C-75 is a promising material for further investigation as a coating on other biopolymers.     

Theoretical investigation of solvent effects on the selective hydrogenation of furfural over Pt(111)

It was well known that solvent effect plays a very important role in the catalytic reaction. There are many theoretical studies on the solvent effect in homogeneous catalysis while there are few theoretical studies on the solvent effect in the heterogeneous catalytic reaction and there has been no work to investigate the solvent effect on furfural transformation in heterogeneous catalysis. In the present work, both the density functional calculations and the microkinetic analysis were performed to study the selective hydrogenation of furfural over Pt(111) in the presence of methanol as well as toluene and compared with that in the gas condition. The present results indicated that the methanol can enhance the adsorption strength of furfural and other oxygen-containing reaction species due to its relatively strong polarity properties and this can be a main reason for solvent-induced high activity and selectivity. Another reason is that reaction paths study showed that the presence of methanol solvent makes the dehydrogenation of furfural less thermochemical due to the fact that furfural is more stabilized than that of dehydrogenation species, and methanol also has an inhibition effect on the dehydrogenation of furfural in the kinetic aspect, and further energetic span theory proves highest activity and selectivity for hydrogenation in methanol solvent of vapor, methanol and toluene. Moreover, microkinetic model simulation demonstrated that the activity and selectivity of hydrogenation in methanol is both higher than that in vapor and toluene. The much higher activity in methanol is due to the stabilized adsorbed reactants in the surface, which leads to a higher surface coverage of furfural. It might be proposed based on the present work that a solvent with relatively strong polarity may be favorable for the high selective hydrogenation of furfural.