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

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

澳门融入粤港澳大湾区世界机场群路向研究

粤港澳大湾区世界城市群与世界机场群相伴而生、联动发展.建设世界级机场群，需要5大机场错位发展和良性互动.澳门国际机场是澳门融入粤港澳大湾区重要一极，但机场发展存在与澳门定位、香港珠海空域空运矛盾、澳门土地和环境现状等相关的问题.因此，澳门国际机场今后发展需在葡语国家航线、珠澳密切合作、公务机产业方面努力实现跨越式发展.然而，澳门国际机场改扩建问题争议不断，本文就原址扩建、填海区新建、飞地黄茅岛新建3种模式进行比较分析，探索符合澳门长远利益之方案.     

In situ characterization of LiY(WO4)2 nanotubes for electrochemical energy storage

Here, LiY(WO₄)₂ nanotubes are prepared via a feasible electrospinning technique. This new anode material shows excellent electrochemical properties. The capacity loss of LiY(WO₄)₂ nanotubes is as low as 6.9% after 156 cycles, while bulk LiY(WO₄)₂ presents the capacity loss higher than 55.0%. Even after 600 long-life cycles, the capacity loss of the nanotubes is only 9%. It can be seen that the hollow structure with a rough surface and a porous morphology contributes to the improvement of electrochemical performance. Furthermore, online X-ray diffraction (XRD) method is firstly applied to understand the lithium ions insertion/extraction mechanism of LiY(WO₄)₂ nanotubes. It can be concluded that it is an asymmetrical two-phase reaction. A phase transformation from LiY(WO₄)₂ to Li₃Y(WO₄)₂ can be obviously seen from the in situ XRD during discharge process. While Li₂Y(WO₄)₂ appears as an intermediate phase with a reverse charge reaction. In addition, in situ XRD also demonstrates that LiY(WO₄)₂ nanotubes have surprised electrochemical reversibility. All the above results indicate that LiY(WO₄)₂ nanotubes can be expected to be anode candidate for rechargeable lithium ion batteries (LIBs).     

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

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

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.     

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.     

Disease Ionomics: Understanding the Role of Ions in Complex Disease

Ionomics is a novel multidisciplinary field that uses advanced techniques to investigate the composition and distribution of all minerals and trace elements in a living organism and their variations under diverse physiological and pathological conditions. It involves both high-throughput elemental profiling technologies and bioinformatic methods, providing opportunities to study the molecular mechanism underlying the metabolism, homeostasis, and cross-talk of these elements. While much effort has been made in exploring the ionomic traits relating to plant physiology and nutrition, the use of ionomics in the research of serious diseases is still in progress. In recent years, a number of ionomic studies have been carried out for a variety of complex diseases, which offer theoretical and practical insights into the etiology, early diagnosis, prognosis, and therapy of them. This review aims to give an overview of recent applications of ionomics in the study of complex diseases and discuss the latest advances and future trends in this area. Overall, disease ionomics may provide substantial information for systematic understanding of the properties of the elements and the dynamic network of elements involved in the onset and development of diseases.     

Distributed De La Garza algorithm for load-balancing routing in wireless sensor networks

Large scale wireless sensor networks raise many challenges in the design of efficient and effective routing algorithm due to their complexity and hardware constraints. However, the scalability challenge may be mitigated from a macroscopic perspective. One example is the distributed De la Garza iteration (DDLGI) algorithm for global routing load-balancing, based on a set of partial differential equations iteratively solved by the De la Garza method. We theoretically analyze the parallelism of DDLGI and illustrate that the region of interest may impact the degree of parallelism and error. Furthermore, though DDLGI always converges, the slow convergence and long-range information exchange problems may lead to excess energy consumption in communication. Thus, we propose various enhanced De la Garza routing (E-DLGR) algorithms to alleviate the energy consumption problem by which nodes may exchange less information and only need to exchange information with closer nodes to complete each iteration. Our theoretical analysis and simulation results show that the proposed E-DLGR algorithms may have less transmission overhead, thus further reducing energy consumption, and converge faster while still maintaining adequate accuracy.