Enabling heterogeneous catalysis to achieve carbon neutrality: Directional catalytic conversion of CO_(2) into carboxylic acids

The increase in anthropogenic carbon dioxide(CO_(2))emissions has exacerbated the deterioration of the global environment,which should be controlled to achieve carbon neutrality.Central to the core goal of achieving carbon neutrality is the utilization of CO_(2) under economic and sustainable conditions.Recently,the strong need for carbon neutrality has led to a proliferation of studies on the direct conversion of CO_(2) into carboxylic acids,which can effectively alleviate CO_(2) emissions and create high-value chemicals.The purpose of this review is to present the application prospects of carboxylic acids and the basic principles of CO_(2) conversion into carboxylic acids through photo-,electric-,and thermal catalysis.Special attention is focused on the regulation strategy of the activity of abundant catalysts at the molecular level,inspiring the preparation of high-performance catalysts.In addition,theoretical calculations,advanced technologies,and numerous typical examples are introduced to elaborate on the corresponding process and influencing factors of catalytic activity.Finally,challenges and prospects are provided for the future development of this field.It is hoped that this review will contribute to a deeper understanding of the conversion of CO_(2) into carboxylic acids and inspire more innovative breakthroughs.

Safety and effectiveness of butorphanol in epidural labor analgesia:A protocol for a systematic review and meta-analysis

BACKGROUND Epidural analgesia is the most effective analgesic method during labor.Butorphanol administered epidurally has been shown to be a successful analgesic method during labor.However,no comprehensive study has examined the safety and efficacy of using butorphanol as an epidural analgesic during labor.AIM To assess butorphanol's safety and efficacy for epidural labor analgesia.METHODS The PubMed,Cochrane Library,EMBASE,Web of Science,China National Knowledge Infrastructure,and Google Scholar databases will be searched from inception.Other types of literature,such as conference abstracts and references to pertinent reviews,will also be reviewed.We will include randomized controlled trials comparing butorphanol with other opioids combined with local anesthetics for epidural analgesia during labor.There will be no language restrictions.The primary outcomes will include the visual analog scale score for the first stage of labor,fetal effects,and Apgar score.Two independent reviewers will evaluate the full texts,extract data,and assess the risk of bias.Publication bias will be evaluated using Egger's or Begg's tests as well as visual analysis of a funnel plot,and heterogeneity will be evaluated using the Cochran Q test,P values,and I2 values.Meta-analysis,subgroup analysis,and sensitivity analysis will be performed using RevMan software version 5.4.This protocol was developed in accordance with the Preferred Reporting Items for Systematic Reviews and Meta-Analyses(PRISMA)Protocols statement,and the PRISMA statement will be used for the systematic review.RESULTS This study provides reliable information regarding the safety and efficacy of using butorphanol as an epidural analgesic during labor.CONCLUSION To support clinical practice and development,this study provides evidence-based findings regarding the safety and efficacy of using butorphanol as an epidural analgesic during labor.

Corneal collagen cross-linking in patients with keratoconus from the Dresden protocol to customized solutions:theoretical basis

Keratoconus is an ectatic condition characterized by gradual corneal thinning,corneal protrusion,progressive irregular astigmatism,corneal fibrosis,and visual impairment.The therapeutic options regarding improvement of visual function include glasses or soft contact lenses correction for initial stages,gas-permeable rigid contact lenses,scleral lenses,implantation of intrastromal corneal ring or corneal transplants for most advanced stages.In keratoconus cases showing disease progression corneal collagen crosslinking(CXL)has been proven to be an effective,minimally invasive and safe procedure.CXL consists of a photochemical reaction of corneal collagen by riboflavin stimulation with ultraviolet A radiation,resulting in stromal crosslinks formation.The aim of this review is to carry out an examination of CXL methods based on theoretical basis and mathematical models,from the original Dresden protocol to the most recent developments in the technique,reporting the changes proposed in the last 15y and examining the advantages and disadvantages of the various treatment protocols.Finally,the limits of non-standardized methods and the perspectives offered by a customization of the treatment are highlighted.

Pathologically successful conversion hepatectomy for advanced giant hepatocellular carcinoma after multidisciplinary therapy:A case report and review of literature

BACKGROUND Hepatocellular carcinoma(HCC)is one of the leading causes of death due to its complexity,heterogeneity,rapid metastasis and easy recurrence after surgical resection.We demonstrated that combination therapy with transcatheter arterial chemoembolization(TACE),hepatic arterial infusion chemotherapy(HAIC),Epclusa,Lenvatinib and Sintilimab is useful for patients with advanced HCC.CASE SUMMARY A 69-year-old man who was infected with hepatitis C virus(HCV)30 years previously was admitted to the hospital with abdominal pain.Enhanced computed tomography(CT)revealed a low-density mass in the right lobe of the liver,with a volume of 12.9 cm×9.4 cm×15 cm,and the mass exhibited a“fast-in/fast-out”pattern,with extensive filling defect areas in the right branch of the portal vein and an alpha-fetoprotein level as high as 657 ng/mL.Therefore,he was judged to have advanced HCC.During treatment,the patient received three months of Epclusa,three TACE treatments,two HAIC treatments,three courses of sintilimab,and twenty-one months of lenvatinib.In the third month of treatment,the patient developed severe side effects and had to stop immunotherapy,and the Lenvatinib dose had to be halved.Postoperative pathological diagnosis indicated a complete response.The patient recovered well after the operation,and no tumor recurrence was found.CONCLUSION Multidisciplinary conversion therapy for advanced enormous HCC caused by HCV infection has a significant effect.Individualized drug adjustments should be made during any treatment according to the patient's tolerance to treatment.

Two-photon live imaging of direct glia-to-neuron conversion in the mouse cortex

Over the past decade,a growing number of studies have reported transcription factor-based in situ reprogramming that can directly conve rt endogenous glial cells into functional neurons as an alternative approach for n euro regeneration in the adult mammalian central ne rvous system.Howeve r,many questions remain regarding how a terminally differentiated glial cell can transform into a delicate neuron that forms part of the intricate brain circuitry.In addition,concerns have recently been raised around the absence of astrocyte-to-neuron conversion in astrocytic lineage-tra cing mice.In this study,we employed repetitive two-photon imaging to continuously capture the in situ astrocyte-to-neuron conversion process following ecto pic expression of the neural transcription factor NeuroD1 in both prolife rating reactive astrocytes and lineage-tra ced astrocytes in the mouse cortex.Time-lapse imaging over several wee ks revealed the ste p-by-step transition from a typical astrocyte with numero us short,tapered branches to a typical neuro n with a few long neurites and dynamic growth cones that actively explored the local environment.In addition,these lineage-converting cells were able to migrate ra dially or to ngentially to relocate to suitable positions.Furthermore,two-photon Ca2+imaging and patch-clamp recordings confirmed that the newly generated neuro ns exhibited synchronous calcium signals,repetitive action potentials,and spontaneous synaptic responses,suggesting that they had made functional synaptic connections within local neural circuits.In conclusion,we directly visualized the step-by-step lineage conversion process from astrocytes to functional neurons in vivo and unambiguously demonstrated that adult mammalian brains are highly plastic with respect to their potential for neuro regeneration and neural circuit reconstruction.

Dealuminated Hβ zeolite for selective conversion of fructose to furfural and formic acid

The fructose-to-furfural transformation is facing major challenges in the selectivity and high efficiency. Herein, we have developed a simple and effective approach for the selective conversion of fructose to furfural using Hβ zeolite modified by organic acids for dealuminization to regulate its textural and acidic properties. It was found that citric acid-dealuminized Hβ zeolite possessed high specific surface areas, wide channels and high Brønsted acid amount, which facilitated the selective conversion of fructose to furfural with a maximum yield of 76.2% at433 K for 1 h in the γ-butyrolactone(GBL)-H_(2)O system, as well as the concomitant formation of 83.0% formic acid. The^(13)C-isotope labelling experiments and the mechanism revealed that the selective cleavage of C1–C2 or C5–C6 bond on fructose was firstly occurred to form pentose or C5 intermediate by weak Brønsted acid, which was then dehydrated to furfural by strong Brønsted acid. Also this dealuminized Hβ catalyst showed the great recycling performance and was active for the conversion of glucose and mannose.

Falcon Optimization Algorithm-Based Energy Efficient Communication Protocol for Cluster-Based Vehicular Networks

Rapid development in Information Technology(IT)has allowed several novel application regions like large outdoor vehicular networks for Vehicle-to-Vehicle(V2V)transmission.Vehicular networks give a safe and more effective driving experience by presenting time-sensitive and location-aware data.The communication occurs directly between V2V and Base Station(BS)units such as the Road Side Unit(RSU),named as a Vehicle to Infrastructure(V2I).However,the frequent topology alterations in VANETs generate several problems with data transmission as the vehicle velocity differs with time.Therefore,the scheme of an effectual routing protocol for reliable and stable communications is significant.Current research demonstrates that clustering is an intelligent method for effectual routing in a mobile environment.Therefore,this article presents a Falcon Optimization Algorithm-based Energy Efficient Communication Protocol for Cluster-based Routing(FOA-EECPCR)technique in VANETS.The FOA-EECPCR technique intends to group the vehicles and determine the shortest route in the VANET.To accomplish this,the FOA-EECPCR technique initially clusters the vehicles using FOA with fitness functions comprising energy,distance,and trust level.For the routing process,the Sparrow Search Algorithm(SSA)is derived with a fitness function that encompasses two variables,namely,energy and distance.A series of experiments have been conducted to exhibit the enhanced performance of the FOA-EECPCR method.The experimental outcomes demonstrate the enhanced performance of the FOA-EECPCR approach over other current methods.

Oxygen functionalization-assisted anionic exchange toward unique construction of flower-like transition metal chalcogenide embedded carbon fabric for ultra-long life flexible energy storage and conversion

The metal-organic framework(MOF)derived Ni–Co–C–N composite alloys(NiCCZ)were“embedded”inside the carbon cloth(CC)strands as opposed to the popular idea of growing them upward to realize ultrastable energy storage and conversion application.The NiCCZ was then oxygen functionalized,facilitating the next step of stoichiometric sulfur anion diffusion during hydrothermal sulfurization,generating a flower-like metal hydroxysulfide structure(NiCCZOS)with strong partial implantation inside CC.Thus obtained NiCCZOS shows an excellent capacity when tested as a supercapacitor electrode in a three-electrode configuration.Moreover,when paired with the biomass-derived nitrogen-rich activated carbon,the asymmetric supercapacitor device shows almost 100%capacity retention even after 45,000 charge–discharge cycles with remarkable energy density(59.4 Wh kg^(-1)/263.8μWh cm^(–2))owing to a uniquely designed cathode.Furthermore,the same electrode performed as an excellent bifunctional water-splitting electrocatalyst with an overpotential of 271 mV for oxygen evolution reaction(OER)and 168.4 mV for hydrogen evolution reaction(HER)at 10 mA cm−2 current density along with 30 h of unhinged chronopotentiometric stability performance for both HER and OER.Hence,a unique metal chalcogenide composite electrode/substrate configuration has been proposed as a highly stable electrode material for flexible energy storage and conversion applications.

Reversible solid-liquid conversion enabled by self-capture effect for stable non-flow zinc-bromine batteries

Non-flow aqueous zinc-bromine batteries without auxiliary components(e.g.,pumps,pipes,storage tanks)and ion-selective membranes represent a cost-effective and promising technology for large-scale energy storage.Unfortunately,they generally suffer from serious diffusion and shuttle of polybromide(Br^(-),Br^(3-))due to the weak physical adsorption between soluble polybromide and host carbon materials,which results in low energy efficiency and poor cycling stability.Here,we develop a novel self-capture organic bromine material(1,10-bis[3-(trimethylammonio)propyl]-4,4'-bipyridinium bromine,NVBr4)to successfully realize reversible solid complexation of bromide components for stable non-flow zinc-bromine battery applications.The quaternary ammonium groups(NV^(4+)ions)can effectively capture the soluble polybromide species based on strong chemical interaction and realize reversible solid complexation confined within the porous electrodes,which transforms the conventional“liquid-liquid”conversion of soluble bromide components into“liquid-solid”model and effectively suppresses the shuttle effect.Thereby,the developed non-flow zinc-bromide battery provides an outstanding voltage platform at 1.7 V with a notable specific capacity of 325 mAh g^(-1)NVBr4(1 A g^(-1)),excellent rate capability(200 mAh g^(-1)NVBr4 at 20 A g^(-1)),outstanding energy density of 469.6 Wh kg^(-1)and super-stable cycle life(20,000 cycles with 100%Coulombic efficiency),which outperforms most of reported zinc-halogen batteries.Further mechanism analysis and DFT calculations demonstrate that the chemical interaction of quaternary ammonium groups and bromide species is the main reason for suppressing the shuttle effect.The developed strategy can be extended to other halogen batteries to obtain stable charge storage.

Conversion therapy of a giant hepatocellular carcinoma with portal vein thrombus and inferior vena cava thrombus:A case report and review of literature

BACKGROUND The prognosis of hepatocellular carcinoma(HCC)combined with portal and hepatic vein cancerous thrombosis is poor,for unresectable patients the combination of targeted therapy and immune therapy was the first-line recommended treatment for advanced HCC,with a median survival time of only about 2.7-6 months.In this case report,we present the case of a patient with portal and hepatic vein cancerous thrombosis who achieved pathologic complete response after conversion therapy.CASE SUMMARY In our center,a patient with giant HCC combined with portal vein tumor thrombus and hepatic vein tumor thrombus was treated with transcatheter arterial chemoembolization(TACE),radiotherapy,targeted therapy and immunotherapy,and was continuously given icaritin soft capsules for oral regulation.After 7 months of conversion therapy,the patient's tumor shrank and the tumor thrombus subsided significantly.The pathology of surgical resection was in complete remission,and there was no progression in the postoperative follow-up for 7 months,which provided a basis for the future strategy of combined conversion therapy.CONCLUSION In this case,atezolizumab,bevacizumab,icaritin soft capsules combined with radiotherapy and TACE had a good effect.For patients with hepatocellular carcinoma combined with hepatic vein/inferior vena cava tumor thrombus,adopting a high-intensity,multimodal proactive strategy under the guidance of multidisciplinary team(MDT)is an important attempt to break through the current treatment dilemma.

Cell replacement with stem cell-derived retinal ganglion cells from different protocols

Glaucoma,characterized by a degenerative loss of retinal ganglion cells,is the second leading cause of blindness worldwide.There is currently no cure for vision loss in glaucoma because retinal ganglion cells do not regenerate and are not replaced after injury.Human stem cell-derived retinal ganglion cell transplant is a potential therapeutic strategy for retinal ganglion cell degenerative diseases.In this review,we first discuss a 2D protocol for retinal ganglion cell differentiation from human stem cell culture,including a rapid protocol that can generate retinal ganglion cells in less than two weeks and focus on their transplantation outcomes.Next,we discuss using 3D retinal organoids for retinal ganglion cell transplantation,comparing cell suspensions and clusters.This review provides insight into current knowledge on human stem cell-derived retinal ganglion cell differentiation and transplantation,with an impact on the field of regenerative medicine and especially retinal ganglion cell degenerative diseases such as glaucoma and other optic neuropathies.

Home Monitoring of Estrone-3-Glucuronide (E1-3G) Levels in Two Different Ovarian Stimulation Protocols: A Pilot Study

Background: Studies have shown a strong correlation between the growth of E2 in serum and estrone-3-glucuronide (E1-3G) in urine during ovarian stimulation. Thus, we developed theoretical models for using urinary E1-3G in ovarian stimulation and focused on their experimental verification and analysis. Methods: A prospective, observational pilot study was conducted involving 54 patients who underwent 54 cycles of ovarian stimulation. The goal was to establish the growth rate of urinary E1-3G during the course of stimulation and to determine the daily upper and lower limits of growth rates at which stimulation is appropriate and safe. Controlled ovarian stimulation was performed using two different stimulation protocols—an antagonist protocol in 25 cases and a progestin-primed ovarian stimulation protocol (PPOS) in 29 cases, with fixed doses of gonadotropins. From the second day of stimulation, patients self-measured their daily urine E1-3G levels at home using a portable analyzer. In parallel, a standard ultrasound follow-up protocol accompanied by a determination of E2, LH, and P levels was applied to optimally control stimulation. Results: The average daily growth rates in both groups were about 50%. The daily increase in E1-3G for the antagonist protocol ranged from 14% to 79%, while they were 28% to 79% for the PPOS protocol. Conclusion: This is the first study to analyze the dynamics of E1-3G in two different protocols and to estimate the limits of its increase during the entire course of the stimulation. The results confirm our theoretical model for the viability of using urinary E1-3G for monitoring ovarian stimulation.

Design of an Efficient and Provable Secure Key Exchange Protocol for HTTP Cookies

Cookies are considered a fundamental means of web application services for authenticating various Hypertext Transfer Protocol(HTTP)requests andmaintains the states of clients’information over the Internet.HTTP cookies are exploited to carry client patterns observed by a website.These client patterns facilitate the particular client’s future visit to the corresponding website.However,security and privacy are the primary concerns owing to the value of information over public channels and the storage of client information on the browser.Several protocols have been introduced that maintain HTTP cookies,but many of those fail to achieve the required security,or require a lot of resource overheads.In this article,we have introduced a lightweight Elliptic Curve Cryptographic(ECC)based protocol for authenticating client and server transactions to maintain the privacy and security of HTTP cookies.Our proposed protocol uses a secret key embedded within a cookie.The proposed protocol ismore efficient and lightweight than related protocols because of its reduced computation,storage,and communication costs.Moreover,the analysis presented in this paper confirms that proposed protocol resists various known attacks.

Enhancing Network Design through Statistical Evaluation of MANET Routing Protocols

This paper contributes a sophisticated statistical method for the assessment of performance in routing protocols salient Mobile Ad Hoc Network(MANET)routing protocols:Destination Sequenced Distance Vector(DSDV),Ad hoc On-Demand Distance Vector(AODV),Dynamic Source Routing(DSR),and Zone Routing Protocol(ZRP).In this paper,the evaluation will be carried out using complete sets of statistical tests such as Kruskal-Wallis,Mann-Whitney,and Friedman.It articulates a systematic evaluation of how the performance of the previous protocols varies with the number of nodes and the mobility patterns.The study is premised upon the Quality of Service(QoS)metrics of throughput,packet delivery ratio,and end-to-end delay to gain an adequate understanding of the operational efficiency of each protocol under different network scenarios.The findings explained significant differences in the performance of different routing protocols;as a result,decisions for the selection and optimization of routing protocols can be taken effectively according to different network requirements.This paper is a step forward in the general understanding of the routing dynamics of MANETs and contributes significantly to the strategic deployment of robust and efficient network infrastructures.

Ultra-broadband and wide-angle reflective terahertz polarization conversion metasurface based on topological optimization

Terahertz polarization conversion devices have significant potential applications in various fields such as terahertzimaging and spectroscopy.In this paper,we utilize genetic algorithms to topologically optimize the metasurface unit cellsand design a reflective linear polarization conversion metasurface with ultra-broadband and wide-angle characteristics.By partitioning the metallic pattern layer into quadrants,the encoding length is effectively reduced,resulting in a shorteroptimization time.The research results indicate that the converter possesses a polarization conversion efficiency ratio higherthan 90%and a relative bandwidth ratio of 125%in a range of 0.231-0.995 THz.Meanwhile,it can maintain excellentpolarization conversion properties when the incident angle of terahertz waves is less than 45°and the polarization angle isless than 15°,demonstrating excellent practicality.New insights are provided for the design of terahertz wide-angle ultrawidebandpolarization conversion devices,and the proposed metasurfce has potential applications in terahertz polarizationimaging,spectroscopy and communication fields.

1.42-fold enhancement of formate selectivity by linker conversion on the Zn-based metal organic framework catalyst

Electro-reduction of carbon dioxide(ERCO_(2)) is considered an effective method to alleviate the greenhouse effect and produce value-added chemicals.Achieving the dominant selectivity of Zn-based catalysts for formate remains a challenge.In this article,the ZnIn-E_(12) catalyst is successfully prepared by solvent assisted ligand exchange(SALE) method to convert organic ligands,achieving a Faradaic efficiency of 72.28% for formate at-1.26 V vs.RHE(V_(RHE)),which is 1.42 times higher than the original catalyst.Evidence shows that the successful conversion of organic ligands can transform the catalyst from the original large size polyhedron to cross-linked network of particles with a diameter of about 30 nm.The increased specific surface area can expose more active sites and facilitate the electrocatalytic conversion of CO_(2) to formate.This work is expected to provide inspiration for the regulation of formate selectivity and catalyst size in Zn-based catalysts.

Designing Proportional-Integral Consensus Protocols for Second-Order Multi-Agent Systems Using Delayed and Memorized State Information

This paper is concerned with consensus of a secondorder linear time-invariant multi-agent system in the situation that there exists a communication delay among the agents in the network.A proportional-integral consensus protocol is designed by using delayed and memorized state information.Under the proportional-integral consensus protocol,the consensus problem of the multi-agent system is transformed into the problem of asymptotic stability of the corresponding linear time-invariant time-delay system.Note that the location of the eigenvalues of the corresponding characteristic function of the linear time-invariant time-delay system not only determines the stability of the system,but also plays a critical role in the dynamic performance of the system.In this paper,based on recent results on the distribution of roots of quasi-polynomials,several necessary conditions for Hurwitz stability for a class of quasi-polynomials are first derived.Then allowable regions of consensus protocol parameters are estimated.Some necessary and sufficient conditions for determining effective protocol parameters are provided.The designed protocol can achieve consensus and improve the dynamic performance of the second-order multi-agent system.Moreover,the effects of delays on consensus of systems of harmonic oscillators/double integrators under proportional-integral consensus protocols are investigated.Furthermore,some results on proportional-integral consensus are derived for a class of high-order linear time-invariant multi-agent systems.

Intrinsic polarization conversion and avoided-mode crossing in X-cut lithium niobate microrings

Compared with well-developed free space polarization converters, polarization conversion between TE and TM modes in the waveguide is generally considered to be caused by shape birefringence, like curvature, morphology of waveguide cross section and scattering. Here, we study the polarization conversion mechanism in 1-THz-FSR X-cut lithium niobate microrings with multiple-resonance condition, that is the conversion can be implemented by birefringence of waveguides,which will also introduce an avoided-mode crossing. In the experiment, we find that this mode crossing results in severe suppression of one sideband in local nondegenerate four-wave mixing and disrupts the cascaded four-wave mixing on this side. Simultaneously, we propose one two-dimensional method to simulate the eigenmodes(TE and TM) in X-cut microrings, and the mode crossing point. This work will provide one approach to the design of polarization converters and simulation for monolithic photonics integrated circuits, and may be helpful to the studies of missed temporal dissipative soliton formation in X-cut lithium niobate rings.

Hollow Metal-Organic Framework/MXene/Nanocellulose Composite Films for Giga/Terahertz Electromagnetic Shielding and Photothermal Conversion

With the continuous advancement of communication technology,the escalating demand for electromagnetic shielding interference(EMI)materials with multifunctional and wideband EMI performance has become urgent.Controlling the electrical and magnetic components and designing the EMI material structure have attracted extensive interest,but remain a huge challenge.Herein,we reported the alternating electromagnetic structure composite films composed of hollow metal-organic frameworks/layered MXene/nanocellulose(HMN)by alternating vacuum-assisted filtration process.The HMN composite films exhibit excellent EMI shielding effectiveness performance in the GHz frequency(66.8 dB at Kaband)and THz frequency(114.6 dB at 0.1-4.0 THz).Besides,the HMN composite films also exhibit a high reflection loss of 39.7 dB at 0.7 THz with an effective absorption bandwidth up to 2.1 THz.Moreover,HMN composite films show remarkable photothermal conversion performance,which can reach 104.6℃under 2.0 Sun and 235.4℃under 0.8 W cm^(−2),respectively.The unique micro-and macrostructural design structures will absorb more incident electromagnetic waves via interfacial polarization/multiple scattering and produce more heat energy via the local surface plasmon resonance effect.These features make the HMN composite film a promising candidate for advanced EMI devices for future 6G communication and the protection of electronic equipment in cold environments.

A Formal Model for Analyzing Fair Exchange Protocols Based on Event Logic

Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.