Exploring a Stable and Dense 3D Lead Chloride Hybrid with Emission of Self-Trapped Excitons toward X-Ray Scintillation

The exceptional photophysical properties of 3D organic–inorganic lead halide hybrids (OILHs) endow their significant potential for usage in optoelectronics, which has sparked intense research on novel 3D OILHs and associated applications. However, constructing new 3D OILHs based on large organic cations suffers from tough challenges due to the limitation of the Goldschmidt tolerance factor rule, let alone further explorations of their practical applications. Herein, a brand-new 3D lead chloride hybrid, (1MPZ)Pb₄Cl₁₀·H₂O ( 1 , 1MPZ = 1-methylpiperazine) is reported, featuring a dense 3D lead chloride framework made of the corner-, edge-, and face-shared lead chloride polyhedra. 1 presents a broadband white light emission with a large Stokes shift and a nanosecond photoluminescence lifetime, which originates from radiative recombination of self-trapped excitons (STEs) induced by the highly distorted structure. Such a reabsorption-free and fast-decayed STEs emission coupling with the dense 3D architecture further enables 1 with effective X-ray scintillation with good sensitivity. Impressively, 1 also shows superior environmental and radiation stability. This study provides a new 3D OILH with appealing luminescence, not only expanding the 3D OILH family but also inspiring the exploitation of their optoelectronic applications.     

Marine-Derived Hydrogels for Biomedical Applications

Marine organisms provide novel and broad sources for the preparations and applications of biomaterials. Since the urgent requirement of bio-hydrogels to mimic tissue extracellular matrix (ECM), the natural biomacromolecule hydrogels derived from marine sources have received increasing attention. Benefiting from their outstanding bioactivity and biocompatibility, many attempts have been made to reconstruct ECM components by applying marine-derived natural hydrogels. Moreover, marine hydrogels have been successfully applied in biomedicine by means of microfluidics, electrospray, and bioprinting. In this review, the classification and characteristics of marine-derived hydrogels are summarized. In particular, their role in the development of biomaterials is also introduced. Then, the recent advances in bio-fabrication strategies for various hydrogel materials are focused upon. Besides, the influences of hydrogel types on their functions in biomedical applications are discussed in depth. Finally, critical reflections on the limitations and future development of marine-derived hydrogels are presented.     

Recent Development of Jumping Motions Based on Soft Actuators

Drawing inspiration from the jumping motions of living creatures in nature, jumping robots have emerged as a promising research field over the past few decades due to great application potential in interstellar exploration, military reconnaissance, and life rescue missions. Early reviews mainly focused on jumping robots made of lightweight and rigid materials with mechanical components, concentrating on jumping control and stability. Herein, attention is paid to the jumping mechanisms of soft actuators assembled from various soft smarting materials and powered by different stimulus sources. The challenges and prospects of soft jumping actuators are also discussed. It is hoped that this review will contribute to the further development of soft jumping actuators and broaden their practical applications.     

High-Performing Quasi-2D Perovskite Photodetectors with Efficient Charge Transport Network Built from Vertically Orientated and Evenly Distributed 3D-Like Phases

Quasi-two-dimensional (Q-2D) perovskites are emerging as one of the most promising materials for photodetectors. However, a significant challenge to Q-2D perovskites for photodetection is their insufficient charge transport ability, which is mainly attributed to their hybrid low-dimensional n-phase structure. This study demonstrates that evenly-distributed 3D-like phases with vertical orientation throughout the film can greatly facilitate charge transport and suppress charge recombination, outperforming the prevalent phase structure with a vertical dimension gradient. Based on such a phase structure, a Q-2D Ruddlesden−Popper perovskite self-powered photodetector achieving a combination of exceptional figures-of-merit is realized, including a responsivity of 0.45 AW⁻¹, a peak specific detectivity of 2.3 × 10¹³ Jones, a 156 dB linear dynamic range, and a rise/fall time of 2.89 µs/1.93 µs. The desired phase structure is obtained by utilizing a double-hole transport layer (HTL), combining hydrophobic PTAA and hydrophilic PEDOT: PSS. Besides, the dependence of the hybrid low-dimensional phase structure is also identified on the surface energy of the buried HTL substrate. This study gives insight into the correlation between Q-2D perovskites’ phase structure and performance, providing a valuable design guide for Q-2D perovskite-based photodetectors.     

A Polymer Defect Passivator for Efficient Hole-Conductor-Free Printable Mesoscopic Perovskite Solar Cells

Due to the low cost and excellent potential for mass production, printable mesoscopic perovskite solar cells (p-MPSCs) have drawn a lot of attention among other device structures. However, the low open-circuit voltage (V_OC) of such devices restricts their power conversion efficiency (PCE). This limitation is brought by the high defect density at perovskite grain boundaries in the mesoporous scaffold, which results in severe nonradiative recombination and is detrimental to the V_OC. To improve the perovskite crystallization process, passivate the perovskite defects, and enhance the PCE, additive engineering is an effective way. Herein, a polymeric Lewis base polysuccinimide (PSI) is added to the perovskite precursor solution as an additive. It improves the perovskite crystallinity and its carbonyl groups strongly coordinate with Pb²⁺, which can effectively passivate defects. Additionally, compared with its monomer, succinimide (SI), PSI serves as a better defect passivator because the long-chained macromolecule can be firmly anchored on those defect sites and form a stronger interaction with perovskite grains. As a result, the champion device has a PCE of 18.84%, and the V_OC rises from 973 to 1030 mV. This study offers a new strategy for fabricating efficient p-MPSCs.     

Kinetically Accelerating Elementary Steps via Bridged Ru-H State for the Hydrogen-Evolution in Anion-Exchange Membrane Electrolyzer

Designing hydrogen evolution reaction (HER) electrocatalysts for facilitating its sluggish adsorption kinetics is crucial in generating green hydrogen via sustainable water electrolysis. Herein, a high-performance ultra-low Ruthenium (Ru) catalyst is developed consisting of atomically-layered Ru nanoclusters with adjacent single Ru sites, which executs a bridging-Ru-H activation strategy to kinetically accelerate the HER elementary steps. Owing to its optimal electronic structure and unique adsorption configuration, the hybrid Ru catalyst simultaneously displayed a drastically reduced overpotential of 16 mV at 10 mA cm⁻² as well as a low Tafel slope of 35.2 mV dec⁻¹ in alkaline electrolyte. When further coupled with a commercial IrO₂ anode catalyst, the ensembled anion-exchange membrane water electrolyzer achievs a current density of 1.0 A cm⁻² at a voltage of only 1.70 V_cell. In situ spectroscopic analysis verified that Ru single atom and atomically-layered Ru nanoclusters in the hybrid materials play a critical role in facilitating water dissociation and weakening *H adsorption, respectively. Theoretical calculations further elucidate the underlaying mechanism, suggesting that the dissociated proton at the single atom Ru site orients itself adjacently with Ru nanoclusters in a bridged structure through targeted charge transfer, thus promoting Volmer-Heyrovsky dynamics and boosting the HER activity.     

基于SMT的区域控制器同步反应式模型的形式化验证

在安全关键系统的软件开发过程中,形式化验证是一种经检验的提高软件质量的技术.然而,无论从理论上还是从应用角度来看,软件的验证都必须是完整的,数据流验证应该是对实现层软件模型进行验证的必要体现.因此,环境输入、泛型函数、高阶迭代运算和中间变量对于分析形式化验证的可用性至关重要.为了验证同步反应式模型,工程师很容易验证控制流模型(即安全状态机).现有工作表明,这类工作无法全面地验证安全关键系统的同步反应式模型,尤其是数据流模型,导致这些方法没有达到工业应用的要求,这成为对工业安全软件进行形式化验证的一个挑战.提出了一种自动化验证方法.该方法可以实现对安全状态机和数据流模型的集成进行验证.采用了一种基于程序综合的方法,其中,SCADE模型描述了功能需求、安全性质和环境输入,可以通过对Lustre模型的程序综合,采用基于SMT的模型检查器进行验证.该技术将程序合成作为一种通用原理来提高形式化验证的完整性.在轨道交通的工业级应用(近200万行Lustre代码)上评估了该方法.实验结果表明,该方法在大规模同步反应式模型长期存在的复杂验证问题上是有效的.     

GC-MCR:有向图约束指导的并发缺陷检测方法

约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程运行的不确定性导致的线程交织爆炸问题,给并发缺陷的检测带来了一定挑战.已有并发缺陷检测算法通过约减无效线程交织,以降低在并发程序状态空间内的探索开销.比如,最大因果模型算法把并发程序状态空间的探索问题转换成约束求解问题.然而,其在约束构建过程中会产生大量冗余和冲突的约束,大幅度增加了约束求解的时间以及约束求解器的调用次数,降低了并发程序状态空间的探索效率.针对上述问题,提出了一种有向图约束指导的并发缺陷检测方法 GC-MCR (directed graph constraint-guided maximal causalityreduction).该方法旨在通过使用有向图对约束进行过滤和约减,从而提高约束求解速度,并进一步提高并发程序状态空间的探索效率.实验结果表明:GC-MCR方法构建的有向图可以有效优化约束的表达式,从而提高约束求解器的求解速度并减少求解器的调用次...     

基于双重信息检索的Bash代码注释生成方法

Bash是Linux默认的shell命令语言.它在Linux系统的开发和维护中起到重要作用.对不熟悉Bash语言的开发人员来说,理解Bash代码的目的和功能具有一定的挑战性.针对Bash代码注释自动生成问题提出了一种基于双重信息检索的方法 ExplainBash.该方法基于语义相似度和词法相似度进行双重检索,从而生成高质量代码注释.其中,语义相似度基于CodeBERT和BERT-whitening操作训练出代码语义表示,并基于欧式距离来实现;词法相似度基于代码词元构成的集合,并基于编辑距离来实现.以NL2Bash研究中共享的语料库为基础,进一步合并NLC2CMD竞赛共享的数据以构造高质量语料库.随后,选择了来自代码注释自动生成领域的9种基准方法,这些基准方法覆盖了基于信息检索的方法和基于深度学习的方法.实证研究和人本研究的结果验证了ExplainBash方法的有效性.然后设计了消融实验,对ExplainBash方法内设定(例如检索策略、BERT-whitening操作等)的合理性进行了分析.最后,基于所提方法开发出一个浏览器插件,以方便用户对Bash代码的理解.     

高阶条件随机场引导的多分支极化SAR图像分类

目的 针对极化合成孔径雷达（polarimetric synthetic aperture radar,PolSAR）小样本分类问题,基于充分挖掘有限样本的极化、空间特征考虑,提出一种由高阶条件随机场（conditional random field,CRF）引导的多分支分类网络模型。方法 利用Yamaguchi非相干目标分解方法,构建每个像素的极化特征向量。设计了由高阶CRF能量函数引导的多卷积分支特征提取网络,将像素点极化特征向量作为输入,分别提取像素点的像素特征、邻域特征和位置特征信息。将以上特征进行加和融合,并输入到softmax分类器中得到预分类结果。利用超像素方法对预分类结果图进行进一步修正和调优,平滑相邻像素之间的特异性和相似性。结果 采用1%的采样率对两组真实的极化SAR数据进行测试。同时,为了更好地模拟实际应用中训练样本位置分布不均匀的情况,考虑了空间不相交采样方法作为对比实验。综合两种采样策略的实验结果表明,相较于只利用像素级特征或简单利用空间特征的方法,本文方法总分类精度平均提升7%～10%,不同地物类别的分类精准度均在90%以上,运行速度相比于支持向量机（support vector machine,SVM）提高了2.5倍以上。结论 通过构建高阶CRF引导的卷积神经网络,将像素特征信息、同质区域特征和地理位置信息进行融合,有效建立了像素级和对象级数据之间的尺度关联,进一步扩充了像素点之间的空间依赖性,提取到了更强大更准确的表征特征,显著提高了标记样本数量较少情况下的卷积网络模型的分类性能,进一步保证了地物目标散射机制表征的全面性和可靠性。