异种铁素体耐热钢接头界面组织及其影响

综述了铁素体与铁素体异种金属焊缝（dissimilar metal welds，DMWs）接头界面组织及其影响。结果表明，在焊后热处理或运行温度下的铁素体钢DMWs接头的不均匀界面组织中，通常会形成脱碳层和增碳层。在铁素体钢DMWs焊接接头界面组织影响因素中，焊缝金属的化学成分有重要影响；焊后热处理规范（温度和时间）、工作温度下运行时间的影响较为突出；焊接工艺参数的影响亦不可忽略。异种钢接头界面处近缝区裂纹的产生，以及接头的蠕变强度随Larson Miller 参数增大而下降等不利影响，均为异种钢界面碳迁移行为所导致。焊缝成分控制法是接头界面组织控制或改善的必要条件，而脱碳层部位转移法能有效防止裂纹发生，亦是接头安全运行的重要工艺措施之一。     

Achieving Rich and Active Alkaline Hydrogen Evolution Heterostructures via Interface Engineering on 2D 1T‐MoS2 Quantum Sheets

Large‐scale production of hydrogen from water‐alkali electrolyzers is impeded by the sluggish kinetics of hydrogen evolution reaction (HER) electrocatalysts. The hybridization of an acid‐active HER catalyst with a cocatalyst at the nanoscale helps boost HER kinetics in alkaline media. Here, it is demonstrated that 1T–MoS₂ nanosheet edges (instead of basal planes) decorated by metal hydroxides form highly active ${\text{edge}}_{{\text{1T‐MoS}}_{\text{2}}}$/ ${\text{edge}}_{\text{Ni}{(\text{OH})}_{\text{2}}}$ heterostructures, which significantly enhance HER performance in alkaline media. Featured with rich ${\text{edge}}_{{\text{1T‐MoS}}_{\text{2}}}$/ ${\text{edge}}_{\text{Ni}{(\text{OH})}_{\text{2}}}$ sites, the fabricated 1T–MoS₂ QS/Ni(OH)₂ hybrid (quantum sized 1T–MoS₂ sheets decorated with Ni(OH)₂ via interface engineering) only requires overpotentials of 57 and 112 mV to drive HER current densities of 10 and 100 mA cm^?2, respectively, and has a low Tafel slope of 30 mV dec^?1 in 1 m KOH. So far, this is the best performance for MoS₂‐based electrocatalysts and the 1T–MoS₂ QS/Ni(OH)₂ hybrid is among the best‐performing non‐Pt alkaline HER electrocatalysts known. The HER process is durable for 100 h at current densities up to 500 mA cm^?2. This work not only provides an active, cost‐effective, and robust alkaline HER electrocatalyst, but also demonstrates a design strategy for preparing high‐performance catalysts based on edge‐rich 2D quantum sheets for other catalytic reactions.     

Liner services network design and fleet deployment with empty container repositioning

Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization.     

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

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

Optimized dual-function varistor-capacitor ceramics of core-shell structured xBi2/3Cu3Ti4O12/(1-x)CaCu3Ti4O12 composites

xBi_2/3Cu₃Ti₄O₁₂/(1-x)CaCu₃Ti₄O₁₂ composites were prepared by traditional solid-state reaction method. Extremely high nonlinear coefficient of 25 and breakdown field of 18.92 kV·cm⁻¹ were obtained in small current range of 0.1−1 mA·cm^-2. In addition, reduced dielectric loss of 0.055 was achieved with high dielectric constant of 1369. Optimized nonlinear and dielectric properties were integrated to make the composites a promising dual-function varistor-capacitor candidate. Microstructure analysis discovered two areas with various Bi/Ca ratio, designated as Bi-H and Bi-L respectively. It was found that the maximum ratio of Bi-H/Bi-L heterogeneous interface corresponded to optimized nonlinear and dielectric performance, which was associated with elevated potential barrier height and huge grain boundary resistance. Combined with relaxation analysis, a core-shell structure was proposed to elaborate microstructure evolution in xBi_2/3Cu₃Ti₄O₁₂/(1-x)CaCu₃Ti₄O₁₂ composite. According to the core-shell model, variation of heterogeneous interface was illustrated on how to influence nonlinear properties, which was well fitted to experimental results.     

Large Area Self-Assembled Ultrathin Polyimine Nanofilms Formed at the Liquid–Liquid Interface Used for Molecular Separation

Separation membranes with higher molecular weight cut-offs are needed to separate ions and small molecules from a mixed feed. The molecular sieving phenomenon can be utilized to separate smaller species with well-defined dimensions from a mixture. Here, the formation of freestanding polyimine nanofilms with thicknesses down to ≈14 nm synthesized via self-assembly of pre-synthesized imine oligomers is reported. Nanofilms are fabricated at the water–xylene interface followed by reversible condensation of polymerization according to the Pieranski theory. Polyimine nanofilm composite membranes are made via transferring the freestanding nanofilm onto ultrafiltration supports. High water permeance of 49.5 L m^-2 h⁻¹ bar⁻¹ is achieved with a complete rejection of brilliant blue-R (BBR; molecular weight = 825 g mol⁻¹) and no more than 10% rejection of monovalent and divalent salts. However, for a mixed feed of BBR dye and monovalent salt, the salt rejection is increased to ≈18%. Membranes are also capable of separating small dyes (e.g., methyl orange; MO; molecular weight = 327 g mol⁻¹) from a mixed feed of BBR and MO. Considering a thickness of ≈14 nm and its separation efficiency, the present membrane has significance in separation processes.     

Impact of adhesive ingredients on adhesion between rubber and brass-plated steel wire in tire

Proficiency on underlying mechanism of rubber-metal adhesion has been increased significantly in the last few decades. Researchers have investigated the effect of various ingredients, such as hexamethoxymethyl melamine, resorcinol, cobalt stearate, and silica, on rubber-metal interface. The role of each ingredient on rubber-metal interfacial adhesion is still a subject of scrutiny. In this article, a typical belt skim compound of truck radial tire is selected and the effect of each adhesive ingredient on adhesion strength is explored. Out of these ingredients, the effect of cobalt stearate is found noteworthy. It has improved adhesion strength by 12% (without aging) and by 11% (humid-aged), respectively, over control compound. For detailed understanding of the effect of cobalt stearate on adhesion, scanning electron microscopy and energy dispersive spectroscopy are utilized to ascertain the rubber coverage and distribution of elements. X-ray photoelectron spectroscopy results helped us to understand the impact of Cu_XS layer depth on rubber-metal adhesion. The depth profile of the Cu_XS layer was found to be one of the dominant factors of rubber-metal adhesion retention. Thus, this study has made an attempt to find the impact of different adhesive ingredients on the formation of Cu_XS layer depth at rubber-metal interface and establish a correlation with adhesion strength simultaneously.     

Adsp-21060的主机接口在实时图像处理中的应用

简要介绍了数字信号处理器Adsp 2 10 6 0和大规模可编程逻辑器件EP1K5 0。详细讨论了Adsp 2 10 6 0的主机接口工作模式以及一个实时图像跟踪处理器的硬件组成原理 ,在这个系统中EP1K5 0充当了主机。调试结果表明 ,所提出的硬件结构设计思想工作效率高 ,完全能够胜任实时图像处理的实际需要。