基于多特征融合的智能合约缺陷检测方法

智能合约是区块链技术最成功的应用之一,随着其广泛应用,智能合约的安全问题也引起了研究人员的关注。尽管已有一些针对智能合约缺陷检测的研究,但对于智能合约代码特征的挖掘还不充分。提出一种采用多特征融合方式的智能合约缺陷检测方法。首先,对智能合约代码进行预处理,其中包括颜色标记、词汇提取、ASCII字符转换以及合约之间继承关系的提取;然后,将颜色标记、词汇提取、ASCII字符转换得到的处理信息输入到由BERT、卷积神经网络(CNN)以及双向长短期记忆(BiLSTM)网络构建的融合模型中进行特征提取,同时将合约之间的继承关系信息输入node2vec随机游走算法,以获得合约关系的特征向量;最后,将所有特征向量连接并输入分类器进行缺陷分类。使用真实的Solidity智能合约数据集对该方法进行验证,实验结果表明,相比其他模型,所提多特征融合模型在F1值实现了6%~12%的改进,在准确度方面实现了4%~11%的提升,该方法能够更好地挖掘智能合约代码的深层特征,提高缺陷检测性能,对智能合约的安全性具有一定的应用价值。

Recent progresses in the development of tubular segmented-in-series solid oxide fuel cells:Experimental and numerical study

Solid oxide fuel cells(SOFCs)have attracted a great deal of interest because they have the highest efficiency without using any noble metal as catalysts among all the fuel cell technologies.However,traditional SOFCs suffer from having a higher volume,current leakage,complex connections,and difficulty in gas sealing.To solve these problems,Rolls-Royce has fabricated a simple design by stacking cells in series on an insulating porous support,resulting in the tubular segmented-in-series solid oxide fuel cells(SIS-SOFCs),which achieved higher output voltage.This work systematically reviews recent advances in the structures,preparation methods,perform-ances,and stability of tubular SIS-SOFCs in experimental and numerical studies.Finally,the challenges and future development of tubular SIS-SOFCs are also discussed.The findings of this work can help guide the direction and inspire innovation of future development in this field.

A defective iron-based perovskite cathode for high-performance IT-SOFCs:Tailoring the oxygen vacancies using Nb/Ta co-doping

The sluggish kinetics of the electrochemical oxygen reduction reaction(ORR)in intermediatetemperature solid oxide fuel cells(IT-SOFCs)greatly limits the overall cell performance.In this study,an efficient and durable cathode material for IT-SOFCs is designed based on density functional theory(DFT)calculations by co-doping with Nb and Ta the B-site of the SrFeO_(3-δ)perovskite oxide.The DFT calculations suggest that Nb/Ta co-doping can regulate the energy band of the parent SrFeO_(3-δ)and help electron transfer.In symmetrical cells,such cathode with a SrFe_(0.8)Nb_(0.1)Ta_(0.1)O_(3-δ)(SFNT)detailed formula achieves a low cathode polarization resistance of 0.147Ωcm^(2) at 650℃.Electron spin resonance(ESR)and X-ray photoelectron spectroscopy(XPS)analysis confirm that the co-doping of Nb/Ta in SrFeO_(3-δ)B-site increases the balanced concentration of oxygen vacancies,enhancing the electrochemical performance when compared to 20 mol%Nb single-doped perovskite oxide.The cathode button cell with NiSDC|SDC|SFNT configuration achieves an outstanding peak power density of 1.3 W cm^(-2)at 650℃.Moreover,the button cell shows durability for 110 h under 0.65 V at 600℃ using wet H_(2) as fuel.

Highly Efficient Aligned Ion‑Conducting Network and Interface Chemistries for Depolarized All‑Solid‑State Lithium Metal Batteries

Improving the long-term cycling stability and energy density of all-solid-state lithium(Li)-metal batteries(ASSLMBs)at room temperature is a severe challenge because of the notorious solid–solid interfacial contact loss and sluggish ion transport.Solid electrolytes are generally studied as two-dimensional(2D)structures with planar interfaces,showing limited interfacial contact and further resulting in unstable Li/electrolyte and cathode/electrolyte interfaces.Herein,three-dimensional(3D)architecturally designed composite solid electrolytes are developed with independently controlled structural factors using 3D printing processing and post-curing treatment.Multiple-type electrolyte films with vertical-aligned micro-pillar(p-3DSE)and spiral(s-3DSE)structures are rationally designed and developed,which can be employed for both Li metal anode and cathode in terms of accelerating the Li+transport within electrodes and reinforcing the interfacial adhesion.The printed p-3DSE delivers robust long-term cycle life of up to 2600 cycles and a high critical current density of 1.92 mA cm^(−2).The optimized electrolyte structure could lead to ASSLMBs with a superior full-cell areal capacity of 2.75 mAh cm^(−2)(LFP)and 3.92 mAh cm^(−2)(NCM811).This unique design provides enhancements for both anode and cathode electrodes,thereby alleviating interfacial degradation induced by dendrite growth and contact loss.The approach in this study opens a new design strategy for advanced composite solid polymer electrolytes in ASSLMBs operating under high rates/capacities and room temperature.

Unique double-layer solid electrolyte interphase formed with fluorinated ether-based electrolytes for high-voltage lithium metal batteries

Li metal batteries using high-voltage layered oxides cathodes are of particular interest due to their high energy density.However,they suffer from short lifespan and extreme safety concerns,which are attributed to the degradation of layered oxides and the decomposition of electrolyte at high voltage,as well as the high reactivity of metallic Li.The key is the development of stable electrolytes against both highvoltage cathodes and Li with the formation of robust interphase films on the surfaces.Herein,we report a highly fluorinated ether,1,1,1-trifluoro-2-[(2,2,2-trifluoroethoxy)methoxy]ethane(TTME),as a cosolvent,which not only functions as a diluent forming a localized high concentration electrolyte(LHCE),but also participates in the construction of the inner solvation structure.The TTME-based electrolyte is stable itself at high voltage and induces the formation of a unique double-layer solid electrolyte interphase(SEI)film,which is embodied as one layer rich in crystalline structural components for enhanced mechanical strength and another amorphous layer with a higher concentration of organic components for enhanced flexibility.The Li||Cu cells display a noticeably high Coulombic efficiency of 99.28%after 300 cycles and Li symmetric cells maintain stable cycling more than 3200 h at 0.5 mA/cm^(2) and 1.0m Ah/cm^(2).In addition,lithium metal cells using LiNi_(0.8)Co_(0.1)Mn_(0.1)O_(2) and Li CoO_(2) cathodes(both loadings~3.0 m Ah/cm^(2))realize capacity retentions of>85%over 240 cycles with a charge cut-off voltage of 4.4 V and 90%for 170 cycles with a charge cut-off voltage of 4.5 V,respectively.This study offers a bifunctional ether-based electrolyte solvent beneficial for high-voltage Li metal batteries.

Lignin-derived hard carbon anode with a robust solid electrolyte interphase for boosted sodium storage performance

Hard carbon is regarded as a promising anode candidate for sodium-ion batteries due to its low cost,relatively low working voltage,and satisfactory specific capacity.However,it still remains a challenge to obtain a high-performance hard carbon anode from cost-effective carbon sources.In addition,the solid electrolyte interphase(SEI)is subjected to continuous rupture during battery cycling,leading to fast capacity decay.Herein,a lignin-based hard carbon with robust SEI is developed to address these issues,effectively killing two birds with one stone.An innovative gas-phase removal-assisted aqueous washing strategy is developed to remove excessive sodium in the precursor to upcycle industrial lignin into high-value hard carbon,which demonstrated an ultrahigh sodium storage capacity of 359 mAh g^(-1).It is found that the residual sodium components from lignin on hard carbon act as active sites that controllably regulate the composition and morphology of SEI and guide homogeneous SEI growth by a near-shore aggregation mechanism to form thin,dense,and organic-rich SEI.Benefiting from these merits,the as-developed SEI shows fast Na+transfer at the interphases and enhanced structural stability,thus preventing SEI rupture and reformation,and ultimately leading to a comprehensive improvement in sodium storage performance.

Solid Bi_(2)O_(3)-derived nanostructured metallic bismuth with high formate selectivity for the electrocatalytic reduction of CO_(2)

CO_(2) electrochemical reduction(CO_(2)ER)is an important research area for carbon neutralization.However,available catalysts for CO_(2) reduction are still characterized by limited stability and activity.Recently,metallic bismuth(Bi)has emerged as a promising catalyst for CO_(2) ER.Herein,we report the solid cathode electroreduction of commercial micronized Bi2O3as a straightforward approach for the preparation of nanostructured Bi.At-1.1 V versus reversible hydrogen electrode in a KHCO3aqueous electrolyte,the resulting nanostructure Bi delivers a formate current density of~40 mA·cm^(-2) with a current efficiency of~86%,and the formate selectivity reaches97.6% at-0.78 V.Using nanosized Bi2O3as the precursor can further reduce the primary particle sizes of the resulting Bi,leading to a significantly increased formate selectivity at relatively low overpotentials.The high catalytic activity of nanostructured Bi is attributable to the ultrafine and interconnected Bi nanoparticles in the nanoporous structure,which exposes abundant active sites for CO_(2) electrocatalytic reduction.

Advancements,strategies,and prospects of solid oxide electrolysis cells(SOECs):Towards enhanced performance and large-scale sustainable hydrogen production

Solid oxide electrolysis cells(SOECs)represent a crucial stride toward sustainable hydrogen generation,and this review explores their current scientific challenges,significant advancements,and potential for large-scale hydrogen production.In SOEC technology,the application of innovative fabrication tech-niques,doping strategies,and advanced materials has enhanced the performance and durability of these systems,although degradation challenges persist,implicating the prime focus for future advancements.Here we provide in-depth analysis of the recent developments in SOEC technology,including Oxygen-SOECs,Proton-SOECs,and Hybrid-SOECs.Specifically,Hybrid-SOECs,with their mixed ionic conducting electrolytes,demonstrate superior efficiency and the concurrent production of hydrogen and oxygen.Coupled with the capacity to harness waste heat,these advancements in SOEC technology present signif-icant promise for pilot-scale applications in industries.The review also highlights remarkable achieve-ments and potential reductions in capital expenditure for future SOEC systems,while elaborating on the micro and macro aspects of sOECs with an emphasis on ongoing research for optimization and scal-ability.It concludes with the potential of SOEC technology to meet various industrial energy needs and its significant contribution considering the key research priorities to tackle the global energy demands,ful-fillment,and decarbonization efforts.

Electrolyte Design for Low‑Temperature Li‑Metal Batteries:Challenges and Prospects

Electrolyte design holds the greatest opportunity for the development of batteries that are capable of sub-zero temperature operation.To get the most energy storage out of the battery at low temperatures,improvements in electrolyte chemistry need to be coupled with optimized electrode materials and tailored electrolyte/electrode interphases.Herein,this review critically outlines electrolytes’limiting factors,including reduced ionic conductivity,large de-solvation energy,sluggish charge transfer,and slow Li-ion transportation across the electrolyte/electrode interphases,which affect the low-temperature performance of Li-metal batteries.Detailed theoretical derivations that explain the explicit influence of temperature on battery performance are presented to deepen understanding.Emerging improvement strategies from the aspects of electrolyte design and electrolyte/electrode interphase engineering are summarized and rigorously compared.Perspectives on future research are proposed to guide the ongoing exploration for better low-temperature Li-metal batteries.

Challenges in Li-ion battery high-voltage technology and recent advances in high-voltage electrolytes

The electrolyte directly contacts the essential parts of a lithium-ion battery,and as a result,the electrochemical properties of the electrolyte have a significant impact on the voltage platform,charge discharge capacity,energy density,service life,and rate discharge performance.By raising the voltage at the charge/discharge plateau,the energy density of the battery is increased.However,this causes transition metal dissolution,irreversible phase changes of the cathode active material,and parasitic electrolyte oxidation reactions.This article presents an overview of these concerns to provide a clear explanation of the issues involved in the development of electrolytes for high-voltage lithium-ion batteries.Additionally,solidstate electrolytes enable various applications and will likely have an impact on the development of batteries with high energy densities.It is necessary to improve the high-voltage performance of electrolytes by creating solvents with high thermal stabilities and high voltage resistance and additives with superior film forming performance,multifunctional capabilities,and stable lithium salts.To offer suggestions for the future development of high-energy lithium-ion batteries,we conclude by offering our own opinions and insights on the current development of lithium-ion batteries.

From concept to commercialization:A review of tubular solid oxide fuel cell technology

The reduced sealing difficulty of tubular solid oxide fuel cells(SOFCs)makes the stacking of tubular cell groups relatively easy,and the thermal stress constraints during stack operation are smaller,which helps the stack to operate stably for a long time.The special design of tubular SOFC structures can completely solve the problem of high-temperature sealing,especially in the design of multiple single-cell series integrated into one tube,where each cell tube is equivalent to a small electric stack,with unique characteristics of high voltage and low current output,which can significantly reduce the ohmic polarization loss of tubular cells.This paper provides an overview of typical tubular SOFC structural designs both domestically and internationally.Based on the geometric structure of tubular SOFCs,they can be divided into bamboo tubes,bamboo flat tubes,single-section tubes,and single-section flat tube structures.Meanwhile,this article provides an overview of commonly used materials and preparation methods for tubular SOFCs,including commonly used materials and preparation methods for support and functional layers,as well as a comparison of commonly used preparation methods for microtubule SOFCs,It introduced the three most important parts of building a fuel cell stack:manifold,current collector,and ceramic adhesive,and also provided a detailed introduction to the power generation systems of different tubular SOFCs,Finally,the development prospects of tubular SOFCs were discussed.

Optimizing support performances of bolt reaming and anchoring in a coal drift

In current practice of bolt reaming and anchoring of roadways in soft coal and rock mass,resin cartridges bend easily under the strong pushing and stirring of bolts,and the resin accumulates in the bolt-reamed area and does not participate in the stirring.As a result,bolts encounter high drilling resistance and cannot reach the bottom of drillholes.The effective anchorage length is far less than the actual anchorage length.Bolts are not centered,and the shear is misaligned at the joint surface in the reaming area,which leads to cracking of the whole anchoring solid and large shear deformation of bolts.This study systematically analyzes the characteristics of roadway bolt reaming and anchoring.The influences of resin stirring force,bolt pull-out force,and reamingeanchoring solid strength on reamingeanchoring performance were analyzed theoretically.The main purpose is to develop a device that enhances reaming and anchoring.The mechanism through which the device strengthens the reamingeanchoring solid was analyzed theoretically.Numerical simulation and experiments were carried out to verify the improved performance of the small-pore reaming and anchoring using the proposed technology.The results showed that the stirring migration rate of the resin cartridge is greatly improved by adding the device to bolts.The reaction rate of the anchoring mixture,stirring pressure,pull-out force of the reaming and anchoring system,bolt concentricity,and shear and compressive strengths of the anchoring solid are also enhanced in the reaming area.This ensures that the resin cartridge in the reaming area is completely stirred,which greatly improves the shear resistance of the reamingeanchoring solid.Meanwhile,the drilling performance,torsional force,and stirring efficiency of bolts are maximized and prevail over those of conventional bolts.

In-situ interfacial passivation and self-adaptability synergistically stabilizing all-solid-state lithium metal batteries

The function of solid electrolytes and the composition of solid electrolyte interphase(SEI)are highly significant for inhibiting the growth of Li dendrites.Herein,we report an in-situ interfacial passivation combined with self-adaptability strategy to reinforce Li_(0.33)La_(0.557)TiO_(3)(LLTO)-based solid-state batteries.Specifically,a functional SEI enriched with LiF/Li_(3)PO_(4) is formed by in-situ electrochemical conversion,which is greatly beneficial to improving interface compatibility and enhancing ion transport.While the polarized dielectric BaTiO_(3)-polyamic acid(BTO-PAA,BP)film greatly improves the Li-ion transport kinetics and homogenizes the Li deposition.As expected,the resulting electrolyte offers considerable ionic conductivity at room temperature(4.3 x 10~(-4)S cm^(-1))and appreciable electrochemical decomposition voltage(5.23 V)after electrochemical passivation.For Li-LiFePO_(4) batteries,it shows a high specific capacity of 153 mA h g^(-1)at 0.2C after 100 cycles and a long-term durability of 115 mA h g^(-1)at 1.0 C after 800 cycles.Additionally,a stable Li plating/stripping can be achieved for more than 900 h at 0.5 mA cm^(-2).The stabilization mechanisms are elucidated by ex-situ XRD,ex-situ XPS,and ex-situ FTIR techniques,and the corresponding results reveal that the interfacial passivation combined with polarization effect is an effective strategy for improving the electrochemical performance.The present study provides a deeper insight into the dynamic adjustment of electrode-electrolyte interfacial for solid-state lithium batteries.

Multistate transition and coupled solid-liquid modeling of motion process of long-runout landslide

The recognition,repetition and prediction of the post-failure motion process of long-runout landslides are key scientific problems in the prevention and mitigation of geological disasters.In this study,a new numerical method involving LPF3D based on a multialgorithm and multiconstitutive model was proposed to simulate long-runout landslides with high precision and efficiency.The following results were obtained:(a)The motion process of landslides showed a steric effect with mobility,including gradual disintegration and spreading.The sliding mass can be divided into three states(dense,dilute and ultradilute)in the motion process,which can be solved by three dynamic regimes(friction,collision,and inertial);(b)Coupling simulation between the solid grain and liquid phases was achieved,focusing on drag force influences;(c)Different algorithms and constitutive models were employed in phase-state simulations.The volume fraction is an important indicator to distinguish different state types and solid‒liquid ratios.The flume experimental results were favorably validated against long-runout landslide case data;and(d)In this method,matched dynamic numerical modeling was developed to better capture the realistic motion process of long-runout landslides,and the advantages of continuum media and discrete media were combined to improve the computational accuracy and efficiency.This new method can reflect the realistic physical and mechanical processes in long-runout landslide motion and provide a suitable method for risk assessment and pre-failure prediction.

Borohydride Ammoniate Solid Electrolyte Design for All-Solid-State Mg Batteries

Searching for novel solid electrolytes is of great importance and challenge for all-solid-state Mg batteries.In this work,we develop an amorphous Mg borohydride ammoniate,Mg(BH_(4))_(2)·2NH_(3),as a solid Mg electrolyte that prepared by a NH_(3)redistribution between 3D framework-γ-Mg(BH_(4))_(2)and Mg(BH_(4))_(2)·6NH_(3).Amorphous Mg(BH_(4))_(2)·2NH_(3)exhibits a high Mg-ion conductivity of 5×10^(-4)S cm^(-1)at 75℃,which is attributed to the fast migration of abundant Mg vacancies according to the theoretical calculations.Moreover,amorphous Mg(BH_(4))_(2)·2NH_(3)shows an apparent electrochemical stability window of 0-1.4 V with the help of in-situ formed interphases,which can prevent further side reactions without hindering the Mg-ion transfer.Based on the above superiorities,amorphous Mg(BH_(4))_(2)·2NH_(3)enables the stable cycling of all-solid-state Mg cells,as the critical current density reaches 3.2 mA cm^(-2)for Mg symmetrical cells and the reversible specific capacity reaches 141 mAh g^(-1)with a coulombic efficiency of 91.7%(first cycle)for Mg||TiS_(2)cells.

Construction of Dynamic Alloy Interfaces for Uniform Li Deposition in Li-Metal Batteries

It is well accepted that a lithiophilic interface can effectively regulate Li deposition behaviors,but the influence of the lithiophilic interface is gradually diminished upon continuous Li deposition that completely isolates Li from the lithiophilic metals.Herein,we perform in-depth studies on the creation of dynamic alloy interfaces upon Li deposition,arising from the exceptionally high diffusion coefficient of Hg in the amalgam solid solution.As a comparison,other metals such as Au,Ag,and Zn have typical diffusion coefficients of 10-20 orders of magnitude lower than that of Hg in the similar solid solution phases.This difference induces compact Li deposition pattern with an amalgam substrate even with a high areal capacity of 55 mAh cm^(-2).This finding provides new insight into the rational design of Li anode substrate for the stable cycling of Li metal batteries.

Boosting oxygen reduction activity and CO_(2) resistance on bismuth ferrite-based perovskite cathode for low-temperature solid oxide fuel cells below 600℃

Developing efficient and stable cathodes for low-temperature solid oxide fuel cells(LT-SOFCs) is of great importance for the practical commercialization.Herein,we propose a series of Sm-modified Bi_(0.7-x)Sm_xSr_(0.3)FeO_(3-δ) perovskites as highly-active catalysts for LT-SOFCs.Sm doping can significantly enhance the electrocata lytic activity and chemical stability of cathode.At 600℃,Bi_(0.675)Sm_(0.025)Sr_(0.3)FeO_(3-δ)(BSSF25) cathode has been found to be the optimum composition with a polarization resistance of 0.098 Ω cm^2,which is only around 22.8% of Bi_(0.7)Sr_(0.3)FeO_(3-δ)(BSF).A full cell utilizing BSSF25 displays an exceptional output density of 790 mW cm^(-2),which can operate continuously over100 h without obvious degradation.The remarkable electrochemical performance observed can be attributed to the improved O_(2) transport kinetics,superior surface oxygen adsorption capacity,as well as O_(2)p band centers in close proximity to the Fermi level.Moreover,larger average bonding energy(ABE) and the presence of highly acidic Bi,Sm,and Fe ions restrict the adsorption of CO_(2) on the cathode surface,resulting in excellent CO_(2) resistivity.This work provides valuable guidance for systematic design of efficient and durable catalysts for LT-SOFCs.

Unraveling the enigma:A comprehensive review of solid pseudopapillary tumor of the pancreas

Solid pseudopapillary tumor of the pancreas(SPTP)is a rare neoplasm predom-inantly observed in young females.Pathologically,CTNNB1 mutations,β-catenin nuclear accumulation,and subsequent Wnt-signaling pathway activation are the leading molecular features.Accurate preoperative diagnosis often relies on imaging techniques and endoscopic biopsies.Surgical resection remains the mainstay treatment.Risk models,such as the Fudan Prognostic Index,show promise as predictive tools for assessing the prognosis of SPTP.Establishing three types of metachronous liver metastasis can be beneficial in tailoring individu-alized treatment and follow-up strategies.Despite advancements,challenges persist in understanding its etiology,establishing standardized treatments for unresectable or metastatic diseases,and developing a widely recognized grading system.This comprehensive review aims to elucidate the enigma by consolidating current knowledge on the epidemiology,clinical presentation,pathology,molecular characteristics,diagnostic methods,treatment options,and prognostic factors.

基于Solid Edge自动生成数控加工图的二次开发研究

基于Solid Edge软件平台,利用C#进行二次开发,设计出一款利用三维设计模型和组件图生成数控加工工艺图纸的批量设计软件,并详细展示了软件的工作流程、原理和关键技术。经应用验证,该软件具有出图快、信息匹配度高、适用模型范围广、操作灵活、界面友好等优点,以此实现了车间的无纸化高效数据传输和敏捷生产。

基于ADAMS的多关节机械手手抓部分的运动学仿真研究

利用虚拟样机技术验证多关节机械手的机构设计是否正确,能否实现每分钟的抓取以及其载荷。运用Solid Edge ST5完成虚拟样机三维模型的建立,导入ADAMS中进行机械手机械系统的运动学分析。运用ADAMS对其中一个工作周期内的运动过程进行运动学的仿真,得出其各个关节在一个工作周期的位移特性曲线以及速度加速度曲线。本文介绍了多关节机械手具体的虚拟样机几何模型的建立,以及利用ADAMA/View提供的Parasolid模型数据交换接口导入模型,在添加约束时需要关键注意的细节也有介绍。在计算机广泛普及的今天,利用三维设计以及ADAMS软件进行机械手手抓部分的运动学分析,可以大大缩短设计周期,提高设计精度,降低产品开发成本。