A mini review on two-dimensional nanomaterial assembly

Two-dimensional (2D) nanomaterials have attracted a great deal of attention since the discovery of graphene in 2004, due to their intriguing physicochemical properties and wide-ranging applications in catalysis, energy-related devices, electronics and optoelectronics. To maximize the potential of 2D nanomaterials for their technological applications, controlled assembly of 2D nanobulding blocks into integrated systems is critically needed. This mini review summarizes the reported strategies of 2D materials-based assembly into integrated functional nanostructures, from in-situ assembly method to post-synthesis assembly. The applications of 2D assembled integrated structures are also covered, especially in the areas of energy, electronics and sensing, and we conclude with discussion on the remaining challenges and potential directions in this emerging field.

     

Synthesis of Ionic Ultramicroporous Polymers for Selective Separation of Acetylene from Ethylene

The design of highly stable and efficient porous materials is essential for developing breakthrough hydrocarbon separation methods based on physisorption to replace currently used energy-intensive distillation/absorption technologies. Efforts to develop advanced porous materials such as zeolites, coordination frameworks, and organic polymers have met with limited success. Here, a new class of ionic ultramicroporous polymers (IUPs) with high-density inorganic anions and narrowly distributed ultramicroporosity is reported, which are synthesized by a facile free-radical polymerization using branched and amphiphilic ionic compounds as reactive monomers. A covalent and ionic dual-crosslinking strategy is proposed to manipulate the pore structure of amorphous polymers at the ultramicroporous scale. The IUPs exhibit exceptional selectivity (286.1–474.4) for separating acetylene from ethylene along with high thermal and water stability, collaboratively demonstrated by gas adsorption isotherms and experimental breakthrough curves. Modeling studies unveil the specific binding sites for acetylene capture as well as the interconnected ultramicroporosity for size sieving. The porosity-engineering protocol used in this work can also be extended to the design of other ultramicroporous materials for the challenging separation of other key gas constituents.     

75 t/h循环流化床锅炉降低NOx排放技术

近年来,我国对环境保护的要求越来越高,电厂烟气NOx排放指标多次进行了修改。国内绝大多数运行时间超过10年以上的老电厂,尤其是低参数小机组电厂的NOx排放都不达标。文章介绍了五阳热电厂4×75 t/h循环流化床锅炉通过技术改造降低NOx排放指标的成功经验,供同类型机组借鉴。     

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平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

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

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

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

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

交联聚乙烯电缆绝缘老化超低频介损试验及评价规程研究

本文基于通过检测电缆超低频介损值确定电缆老化程度的基本原理,结合某地实测得到的多组数据,通过国际规程IEEE 400.2—2013进行初步判断,分析处于不同状态下的电缆介损值的变化规律及其原因,并得出该规程仅适用于没有局部劣化的电缆.此外,由于我国电缆制造材料、结构和生产工艺与国外产品存在差异,采用国际规程判断电缆老化程度有时会变得不准确.为解决此类问题,本文建立更加全面的判据体系,给出最优判断阈值的确定方法,并对该地区实测得到的数据进行拟合,得到更加准确的分级判断阈值.此方法可为建立符合我国电缆实际情况的评价规程提供参考.