The next-generation optical network is a service oriented network,which could be delivered by utilizing the generalized multiprotocol label switching(GMPLS) based control plane to realize lots of intelligent features ...The next-generation optical network is a service oriented network,which could be delivered by utilizing the generalized multiprotocol label switching(GMPLS) based control plane to realize lots of intelligent features such as rapid provisioning,automated protection and restoration(P&R),efficient resource allocation,and support for different quality of service(QoS) requirements.In this paper,we propose a novel stateful PCE-cloud(SPC)based architecture of GMPLS optical networks for cloud services.The cloud computing technologies(e.g.virtualization and parallel computing) are applied to the construction of SPC for improving the reliability and maximizing resource utilization.The functions of SPC and GMPLS based control plane are expanded according to the features of cloud services for different QoS requirements.The architecture and detailed description of the components of SPC are provided.Different potential cooperation relationships between public stateful PCE cloud(PSPC) and region stateful PCE cloud(RSPC) are investigated.Moreover,we present the policy-enabled and constraint-based routing scheme base on the cooperation of PSPC and RSPC.Simulation results for verifying the performance of routing and control plane reliability are analyzed.展开更多
Memristive stateful logic is one of the most promising candidates to implement an in-memory computing system that computes within the storage unit.It can eliminate the costs for the data movement in the traditional vo...Memristive stateful logic is one of the most promising candidates to implement an in-memory computing system that computes within the storage unit.It can eliminate the costs for the data movement in the traditional von Neumann system.However,the instability in the memristors is inevitable due to the limitation of the current fabrication technology,which incurs a great challenge for the reliability of the memristive stateful logic.In this paper,the implication of device instability on the reliability of the logic event is simulated.The mathematical relationship between logic reliability and redundancy has been deduced.By combining the mathematical relationship with the vector-matrix multiplication in a memristive crossbar array,the logic error correction scheme with high throughput has been proposed.Moreover,a universal design paradigm has been put forward for complex logic.And the circuit schematic and the flow of the scheme have been raised.Finally,a 1-bit full adder(FA)based on the NOR logic and NOT logic is simulated and the mathematical evaluation is performed.It demonstrates the scheme can improve the reliability of the logic significantly.And compared with other four error corrections,the scheme which can be suitable for all kinds of R–R logics and V–R logics has the best universality and throughput.Compared with the other two approaches which also need additional complementary metal–oxide semiconductor(CMOS)circuits,it needs fewer transistors and cycles for the error correction.展开更多
To improve the efficiency and coverage of stateful network protocol fuzzing, this paper proposes a new method, using a rule-based state machine and a stateful rule tree to guide the generation of fuzz testing data. Th...To improve the efficiency and coverage of stateful network protocol fuzzing, this paper proposes a new method, using a rule-based state machine and a stateful rule tree to guide the generation of fuzz testing data. The method first builds a rule-based state machine model as a formal description of the states of a network protocol. This removes safety paths, to cut down the scale of the state space. Then it uses a stateful rule tree to describe the relationship between states and messages, and then remove useless items from it. According to the message sequence obtained by the analysis of paths using the stateful rule tree and the protocol specification, an abstract data model of test case generation is defined. The fuzz testing data is produced by various generation algorithms through filling data in the fields of the data model. Using the rule-based state machine and the stateful rule tree, the quantity of test data can be reduced. Experimental results indicate that our method can discover the same vulnerabilities as traditional approaches, using less test data, while optimizing test data generation and improving test efficiency.展开更多
Metasurfaces are artificial structures that can finely control the characteristics of electromagnetic waves at subwavelength scales,and they are widely used to manipulate the propagation,phase,amplitude,and polariza⁃t...Metasurfaces are artificial structures that can finely control the characteristics of electromagnetic waves at subwavelength scales,and they are widely used to manipulate the propagation,phase,amplitude,and polariza⁃tion of light.In this work,a bound state in the continuum(BIC)structure based on a metallic metasurface is pro⁃posed.By adjusting the metallic structure using CST and COMSOL software,a significant quasi-BIC peak can be achieved at a frequency of 0.8217 terahertz(THz).Through multi-level expansion analysis,it is found that the electric dipole(ED)is the main factor contributing to the resonant characteristics of the structure.By leveraging the characteristics of BIC,an imaging system was created and operated.According to the simulation results,the imaging system demonstrated excellent sensitivity and resolution,revealing the great potential of terahertz imag⁃ing.This research not only provides new ideas for the creation of BIC structures but also offers an effective refer⁃ence for the development of high-performance terahertz imaging technology.展开更多
Objective Sepsis patients exhibit diverse immune states,making it crucial to identify subtypes with distinct inflammatory profiles through Th1/Th2 cytokine data for personalized treatment and improved prognosis.Method...Objective Sepsis patients exhibit diverse immune states,making it crucial to identify subtypes with distinct inflammatory profiles through Th1/Th2 cytokine data for personalized treatment and improved prognosis.Methods We retrieved data from sepsis patients who underwent Th1/Th2 cytokine testing in Nanfang Hospital,Southern Medical University from June 1,2020,to February 1,2022.An unsupervised K-means clustering method classified participants based on Th1/Th2 cytokine levels,with the primary outcome being the 7-day mortality rate post-ICU admission.Cox proportional hazards and Restricted Mean Survival Time(RMST)analyses were utilized to explore survival outcomes.Results A total of 321 sepsis patients were included.IL-6(HR 1.69,95%CI:1.22,2.34)and IL-10(HR 1.81,95%CI:1.37,2.40)emerged as independent predictors of 7-day mortality.Unsupervised K-means clustering revealed 3 inflammatory/immune subgroups:Cluster 1(n=166,low inflammatory response),Cluster 2(n=99,moderate inflammatory response with immune suppression),and Cluster 3(n=56,strong inflammatory and immune suppression).Compared to Cluster 1,Clusters 2 and 3 had higher 7-day mortality risks(14.4%vs 23.2%,HR=4.30,95%CI:1.51-12.26;14.4%vs 35.7%,HR=7.32,95%CI:2.57-20.79).Conclusion Septic patients in a protective immune response state(Cluster 1)exhibit better short-term prognoses,suggesting the importance of understanding inflammatory/immune states for precise treatment and improved outcomes.展开更多
Interplay between topology and magnetism can give rise to exotic properties in topological materials.Two-dimensional bismuth has been extensively studied owing to its topological states with a strong spin-orbit coupli...Interplay between topology and magnetism can give rise to exotic properties in topological materials.Two-dimensional bismuth has been extensively studied owing to its topological states with a strong spin-orbit coupling,and 1T-VTe_(2)monolayer theoretically predicted to host an intrinsic magnetism as experimentally suggested.In this work,we successfully constructed a vertical heterostructure composed of the two-dimensional Bi(110)monolayer and 1T-VTe_(2)monolayer by using molecular beam epitaxy(MBE).Scanning tunneling microscopy(STM)measurements revealed that the growth of Bi preferably occurs along the step edges of the VTe_(2)monolayer,forming a Bi(110)monolayer on top of the VTe_(2)monolayer next to a peripheral Bi bilayer.The Bi(100)/VTe_(2)heterostructure exhibits a specific lattice registry with a well-defined moiréperiodicity.Scanning tunneling spectroscopy(STS)measurements further unveiled an universal suppression in the local density-of-states at the boundary of the Bi(110)/VTe_(2)bilayer.By examining the atomic structures of Bi(110)boundaries,we found this effect does not originate from the previously proposed atomic reconstruction at the step edge of Bi(110),but is likely related to the magnetic properties of the VTe_(2)monolayer.展开更多
High-performance deep-blue emitters that meet the BT.2020 standard proposed by the International Telecommunication Union(ITU)for organic light-emitting diodes(OLEDs)remain highly limited.In this work,four deep-blue em...High-performance deep-blue emitters that meet the BT.2020 standard proposed by the International Telecommunication Union(ITU)for organic light-emitting diodes(OLEDs)remain highly limited.In this work,four deep-blue emitters,PP1M,PP2M,PP3M,and PP4M,are designed and synthesized by connecting methylsubstituted biphenyl groups with classical hot exciton building block of phenanthreneimidazole.The introduction of methyl groups contributes to increase the molecular torsion angle and widen the energy gaps for the four compounds.Through appropriate modulation of substitution site,PP3M achieves the highest photoluminescence quantum yield of 85.3%in neat film.As a result,the PP3M-based device exhibits deep-blue light with external quantum efficiency of 7.2%and suppressed efficiency roll-off.The device also shows a small full width at half maximum of 53 nm and the CIE coordinates locate at(0.16,0.04),meeting well with the BT.2020 standard.The high exciton utilization efficiency is primarily ascribed to the hot exciton pathway.This study provides a reliable insight for the design of efficient deep-blue OLEDs with high color purity.展开更多
Network protocol software is usually characterized by complicated functions and a vast state space.In this type of program,a massive number of stateful variables that are used to represent the evolution of the states ...Network protocol software is usually characterized by complicated functions and a vast state space.In this type of program,a massive number of stateful variables that are used to represent the evolution of the states and store some information about the sessions are prone to potentialflaws caused by violations of protocol specification requirements and program logic.Discovering such variables is significant in discovering and exploiting vulnerabilities in protocol software,and still needs massive manual verifications.In this paper,we propose a novel method that could automatically discover the use of stateful variables in network protocol software.The core idea is that a stateful variable features information of the communication entities and the software states,so it will exist in the form of a global or static variable during program execution.Based on recording and replaying a protocol program’s execution,varieties of variables in the life cycle can be tracked with the technique of dynamic instrument.We draw up some rules from multiple dimensions by taking full advantage of the existing vulnerability knowledge to determine whether the data stored in critical memory areas have stateful characteristics.We also implement a prototype system that can discover stateful variables automatically and then perform it on nine programs in Pro FuzzBench and two complex real-world software programs.With the help of available open-source code,the evaluation results show that the average true positive rate(TPR)can reach 82%and the average precision can be approximately up to 96%.展开更多
This study systematically investigates the cyclization reaction mechanisms between n-C_(4)H_(3)(1-buten-3-yn-1-yl)and i-C_(4)H_(3)(2-buten-3-yn-1-yl)radicals with acetylene(C_(2)H_(2))using density functional theory(D...This study systematically investigates the cyclization reaction mechanisms between n-C_(4)H_(3)(1-buten-3-yn-1-yl)and i-C_(4)H_(3)(2-buten-3-yn-1-yl)radicals with acetylene(C_(2)H_(2))using density functional theory(DFT)and transition state theory(TST).The results reveal that the reaction of n-C_(4)H_(3)with acetylene proceeds via a radical chain mechanism through an additioncyclization pathway,yielding phenyl(sixmembered ring),fulvenyl(five-membered ring),and four-membered ring intermediates.The product formation rates follow the order:fulvenyl(five-membered ring)>phenyl(six-membered ring)>four-membered ring.For i-C_(4)H_(3),the intermediate structures depend on the carbon position of i-C_(4)H_(3)where acetylene addition occurs:addition at the C2 position predominantly generates fulvenyl(five-membered ring)as the primary product,whereas addition at the C4 position may lead to phenyl(six-membered ring),fulvenyl(five-membered ring),or four-membered ring intermediates,with the four-membered ring forming most rapidly and the six-membered ring the slowest.Theoretical analyses demonstrate that the selectivity of reaction pathways is primarily governed by structural differences between the isomers.This work provides atomic-scale insights into the cyclization processes between acetylene and C_(4)H_(3)species,establishing a foundation for refining models of soot precursor formation.展开更多
Classical computation of electronic properties in large-scale materials remains challenging.Quantum computation has the potential to offer advantages in memory footprint and computational scaling.However,general and v...Classical computation of electronic properties in large-scale materials remains challenging.Quantum computation has the potential to offer advantages in memory footprint and computational scaling.However,general and viable quantum algorithms for simulating large-scale materials are still limited.We propose and implement random-state quantum algorithms to calculate electronic-structure properties of real materials.Using a random state circuit on a small number of qubits,we employ real-time evolution with first-order Trotter decomposition and Hadamard test to obtain electronic density of states,and we develop a modified quantum phase estimation algorithm to calculate real-space local density of states via direct quantum measurements.Furthermore,we validate these algorithms by numerically computing the density of states and spatial distributions of electronic states in graphene,twisted bilayer graphene quasicrystals,and fractal lattices,covering system sizes from hundreds to thousands of atoms.Our results manifest that the random-state quantum algorithms provide a general and qubit-efficient route to scalable simulations of electronic properties in large-scale periodic and aperiodic materials.展开更多
Every developing country has plans.Five-year frameworks,industrial master plans and poverty reduction strategies accumulate in ministerial offices year after year.Shelves fill.Expectations rise.Outcomes lag.The proble...Every developing country has plans.Five-year frameworks,industrial master plans and poverty reduction strategies accumulate in ministerial offices year after year.Shelves fill.Expectations rise.Outcomes lag.The problem is rarely vision.It is execution.China’s annual Two Sessions offer a window for the outside world to understand China’s governance system.Formally,they are the concurrent meetings of the National People’s Congress(NPC)and the National Committee of the Chinese People’s Political Consultative Conference.Substantively,they function as the central coordination mechanism of a developmental state that treats governance as an exercise in disciplined delivery.展开更多
Self-trapped excitons(STEs),known for their unique radiative properties,have been harnessed in diverse photonic devices;however,their comprehensive understanding and manipulation remain elusive.In this study,we presen...Self-trapped excitons(STEs),known for their unique radiative properties,have been harnessed in diverse photonic devices;however,their comprehensive understanding and manipulation remain elusive.In this study,we present novel experimental and theoretical evidence revealing the hybrid nature and optical tunability of STE state in Cs_(2)Ag_(0.4)Na_(0.6)InCl_(6).The detection of the Fano resonance in laser energy-dependent Raman and photoluminescence spectra indicates the emergence of an exciton-phonon hybrid state,arising from robust quantum interference between the discrete phonon and continuum exciton states.Moreover,we demonstrate continuous tuning of this hybrid state with the energy and intensity of the laser field.These findings lay the foundation for a comprehensive understanding of the nature of STE and their potential for state control.展开更多
In conventional higher-order topological insulators(HOTIs),the emergence of topological states can be explained by using the nonzero bulk polarization index.However,corner states emerge in HOTIs with incomplete bounda...In conventional higher-order topological insulators(HOTIs),the emergence of topological states can be explained by using the nonzero bulk polarization index.However,corner states emerge in HOTIs with incomplete boundary unit cells(i.e.,boundary defects)even though the bulk polarization is zero,which challenges the conventional understanding of HOTIs.Here,based on a Kekul´e-distorted honeycomb lattice with incomplete unit cells,we reveal that incomplete unit cells exhibit fractional charges through the analysis of Wannier centers by developing a compensation method and creating the concept of Wannier center domain(WCD)which is the smallest region that one Wannier center occupies.This method compensates for the missing parts of these boundary incomplete unit cells with additional WCDs to make them complete.The compensated WCDs automatically carry the corresponding charge,and this charge together with that of the incomplete unit cell constitutes the total charge of the complete unit cell after compensation.We conclude that the emergence of corner states is attributed to the filling anomaly,which is a fundamental mechanism.Our results refresh the understanding of HOTIs,especially those with structural discontinuities,and provide a novel design for topological states which have application value in producing optical functional devices.展开更多
President Xi Jinping Chooses Southeast Asia for First Overseas Visit of 2025 From April 14 to 18,2025,Chinese President Xi Jinping conducted state visits to Vietnam,Malaysia,and Cambodia.China and Vietnam are socialis...President Xi Jinping Chooses Southeast Asia for First Overseas Visit of 2025 From April 14 to 18,2025,Chinese President Xi Jinping conducted state visits to Vietnam,Malaysia,and Cambodia.China and Vietnam are socialist neighbors linked by mountains and rivers,and the China-Vietnam community with a shared future carries strategic significance.展开更多
Apparel exports China:The decline in exports widened from January to September(-2.4%,compared to-0.2%in January-June).Exports to the EU increased(+5.9%),though the growth rate moderated.Exports to the US saw a larger ...Apparel exports China:The decline in exports widened from January to September(-2.4%,compared to-0.2%in January-June).Exports to the EU increased(+5.9%),though the growth rate moderated.Exports to the US saw a larger contraction(January-June:-1.6%,January-September:-8.2%).While exports to ASEAN countries still fell by over 10%(-17.7%),shipments to the Philippines(+6.9%),Indonesia(+19.0%),and Cambodia(+64.9%)demonstrated stronger growth performance within the year.Regarding tariffs,on October 30,China and the US agreed to lower the rates on goods subject to additional duties(effectively reducing the average tariff rate on Chinese imports to the US from about 57%to approximately 47%,though this remains significantly higher than the 19.5%overall average rate applied to other countries).展开更多
Photothermal synergistic catalytic systems for treating volatile organic compounds(VOCs)have attracted signif-icant attention due to their energy efficiency and potential to reduce carbon emissions.However,the mechani...Photothermal synergistic catalytic systems for treating volatile organic compounds(VOCs)have attracted signif-icant attention due to their energy efficiency and potential to reduce carbon emissions.However,the mechanism underlying the synergistic reaction remains a critical issue.This study introduces a photothermal synergistic system for the removal of ethyl acetate(EA)by synthesizing Cu-doped OMS-2(denoted as Cu-OMS-2).Under ultraviolet-visible(UV–Vis)irradiation in a flow system,the Cu-OMS-2 catalyst exhibited significantly enhanced performance in the EA degradation process,nearly doubling the effectiveness of pure OMS-2,and increasing carbon dioxide yield by 20%.This exceptional performance is attributed to the synergistic effect of increased oxygen vacancies(OV)at OMS-2 active sites and Cu doping,as confirmed by H2-TPR,O_(2)-TPD,and CO consump-tion measurements.This study clarifies the catalytic mechanism of light-assisted thermocatalysis and offers a novel strategy for designing photothermal catalysts with homogeneous Cu-doped nanorods for VOC removal.展开更多
Halide solid-state electrolytes have gained significant attention in recent years due to their high ionic conductivity,making them promising candidates for future all-solid-state batteries.Recent studies have identifi...Halide solid-state electrolytes have gained significant attention in recent years due to their high ionic conductivity,making them promising candidates for future all-solid-state batteries.Recent studies have identified numerous crystal structures with the Li_(3)MX_(6)composition,although many remain unexplored across various chemical systems.In this research,we developed a comprehensive method to examine all conceivable space groups and structures within theLi-M-X system,where M includes In,Ga,and La,and X includes F,Cl,Br,and 1.Our findings revealed two metastable structures:Li_(3)InF_(6)with P3c1 symmetry and Li_(3)InI_(6)with C2/c symmetry,exhibiting ionic conductivities of 0.55 and 2.18mS/cm at 300K,respectively.Notably,the trigonal symmetry of Li3InF6 demonstrates that high ionic conductivities are not limited to monoclinic structures but can also be achieved with trigonal symmetries.The electrochemical stability windows,mechanical properties,and reaction energies of these materials with known cathodes suggest their potential for use in all-solid-state batteries.Additionally,we predicted the stability of novel materials,including Li_(5)InCl_(8),Li_(5)InBr_(8),Li_(5)InI_(8),LiIn_(2)Cl_(9),LiIn_(2)Br_(9),and LiIn_(2)I_(9).展开更多
The objective of the current study is to investigate an adaptive predictive observer-based autopilot for a skid-to-turn(STT)missile model with uncertainties and unknown dynamic equations.A predictive control for the S...The objective of the current study is to investigate an adaptive predictive observer-based autopilot for a skid-to-turn(STT)missile model with uncertainties and unknown dynamic equations.A predictive control for the STT missile is designed based on nonlinear model predictive control(NMPC)using Taylor series expansion,after which,via a neural network(NN),unknown functions are approximated.The present study also evaluates an adaptive optimal observer of a new strategy-based nonlinear system.Specifically,to estimate the missile states such as normal acceleration and its derivatives for the future,originally the Taylor series states expansion was gained to any specified order,based on their receding horizons.To address the problem of prediction error,an analytic solution was prepared that led to a closed form regarding the nonlinear optimal observer.Out of the gains resulting from the analytic solution,as developed for the problem of prediction error,the selection of the proposed observer gain was optimally conducted to meet the stability condition.Thus,combining the adaptive predictive autopilot and the adaptive optimal observer scheme was implemented to secure the performance,which needed only estimated normal acceleration and its derivatives.Meanwhile,no angular velocity measurement or wind angle estimation was required.Ultimately,the proposed technique was found effective,as confirmed by the qualitative simulation results.展开更多
Granular materials exhibit complex macroscopic mechanical behaviors closely related to their microscalemicrostructural features.Traditional macroscopic phenomenological elasto-plastic models,however,usually have compl...Granular materials exhibit complex macroscopic mechanical behaviors closely related to their microscalemicrostructural features.Traditional macroscopic phenomenological elasto-plastic models,however,usually have complex formulations and lack explicit relations to these microstructural features.To avoid these limitations,this study proposes a micromechanics-based softening hyperelastic model for granular materials,integrating softening hyperelasticity withmicrostructural insights to capture strain softening,critical state,and strain localization behaviors.The model has two key advantages:(1)a clear conceptualization,straightforward formulation,and ease of numerical implementation(via Abaqus UMAT subroutine in this study);(2)explicit incorporation of micro-scale features(e.g.,contact stiffness,particle size,porosity)to reveal their influences on macroscopic responses.An isotropic directional distribution density of contacts and three specific microstructures are considered,and their softening hyperelastic constitutive modulus tensors are explicitly derived.By introducing a softening factor and critical failure energy density,the model can describe geomaterial behaviors,simulating residual strength,X-shaped shear bands,and strain localization evolution.Numerical validations in comparison with themacro-scale hyperelastic model,Abaqus Drucker-Prager model,and the experiment confirm its accuracy.Parametric studies reveal critical dependencies:a normal to tangential contact stiffness ratio of 2-8(depending on stiffness magnitude),an internal length of 2-4 mm to ensure shear band formation,and a critical failure energy density(≤10 kJ/m^(3))to trigger strain softening and localization.Influences of the specific microstructures on strain localization and softening are investigated.The model also shows mesh independence due to the introduction of an internal length.The model’s applicability is further demonstrated by slope stability analysis,capturing slip surface evolution,and load-displacement characteristics.This study develops a robust microstructure-aware hyperelastic framework to describe the mechanical behaviors of granular materials,providing multiscale insights for geotechnical engineering applications.展开更多
基金supported by National Natural Science Foundation of China(No.61571061)Innovative Research Fund of Beijing University of Posts and Telecommunications (2015RC16)
文摘The next-generation optical network is a service oriented network,which could be delivered by utilizing the generalized multiprotocol label switching(GMPLS) based control plane to realize lots of intelligent features such as rapid provisioning,automated protection and restoration(P&R),efficient resource allocation,and support for different quality of service(QoS) requirements.In this paper,we propose a novel stateful PCE-cloud(SPC)based architecture of GMPLS optical networks for cloud services.The cloud computing technologies(e.g.virtualization and parallel computing) are applied to the construction of SPC for improving the reliability and maximizing resource utilization.The functions of SPC and GMPLS based control plane are expanded according to the features of cloud services for different QoS requirements.The architecture and detailed description of the components of SPC are provided.Different potential cooperation relationships between public stateful PCE cloud(PSPC) and region stateful PCE cloud(RSPC) are investigated.Moreover,we present the policy-enabled and constraint-based routing scheme base on the cooperation of PSPC and RSPC.Simulation results for verifying the performance of routing and control plane reliability are analyzed.
基金Project supported by the National Key Research and Development Plan of the Ministry of Science of Technology of China (Grand Nos.2019YFB 2205100 and 2019YFB2205102)the National Natural Science Foundation of China (Grant Nos.61974164,62074166,61804181,62004219,and 62004220)the Science Support Program of the National University of Defense and Technology (Grand No.ZK20-06)。
文摘Memristive stateful logic is one of the most promising candidates to implement an in-memory computing system that computes within the storage unit.It can eliminate the costs for the data movement in the traditional von Neumann system.However,the instability in the memristors is inevitable due to the limitation of the current fabrication technology,which incurs a great challenge for the reliability of the memristive stateful logic.In this paper,the implication of device instability on the reliability of the logic event is simulated.The mathematical relationship between logic reliability and redundancy has been deduced.By combining the mathematical relationship with the vector-matrix multiplication in a memristive crossbar array,the logic error correction scheme with high throughput has been proposed.Moreover,a universal design paradigm has been put forward for complex logic.And the circuit schematic and the flow of the scheme have been raised.Finally,a 1-bit full adder(FA)based on the NOR logic and NOT logic is simulated and the mathematical evaluation is performed.It demonstrates the scheme can improve the reliability of the logic significantly.And compared with other four error corrections,the scheme which can be suitable for all kinds of R–R logics and V–R logics has the best universality and throughput.Compared with the other two approaches which also need additional complementary metal–oxide semiconductor(CMOS)circuits,it needs fewer transistors and cycles for the error correction.
基金supported by the Key Project of National Defense Basic Research Program of China (No.B1120132031)supported by the Cultivation and Development Program for Technology Innovation Base of Beijing Municipal Science and Technology Commission (No.Z151100001615034)
文摘To improve the efficiency and coverage of stateful network protocol fuzzing, this paper proposes a new method, using a rule-based state machine and a stateful rule tree to guide the generation of fuzz testing data. The method first builds a rule-based state machine model as a formal description of the states of a network protocol. This removes safety paths, to cut down the scale of the state space. Then it uses a stateful rule tree to describe the relationship between states and messages, and then remove useless items from it. According to the message sequence obtained by the analysis of paths using the stateful rule tree and the protocol specification, an abstract data model of test case generation is defined. The fuzz testing data is produced by various generation algorithms through filling data in the fields of the data model. Using the rule-based state machine and the stateful rule tree, the quantity of test data can be reduced. Experimental results indicate that our method can discover the same vulnerabilities as traditional approaches, using less test data, while optimizing test data generation and improving test efficiency.
基金supported by the National Natural Science Foundation of China(61927813,61865009,12104203)Jiangxi Provincial Natu-ral Science Foundation(20212ACB201007)。
文摘Metasurfaces are artificial structures that can finely control the characteristics of electromagnetic waves at subwavelength scales,and they are widely used to manipulate the propagation,phase,amplitude,and polariza⁃tion of light.In this work,a bound state in the continuum(BIC)structure based on a metallic metasurface is pro⁃posed.By adjusting the metallic structure using CST and COMSOL software,a significant quasi-BIC peak can be achieved at a frequency of 0.8217 terahertz(THz).Through multi-level expansion analysis,it is found that the electric dipole(ED)is the main factor contributing to the resonant characteristics of the structure.By leveraging the characteristics of BIC,an imaging system was created and operated.According to the simulation results,the imaging system demonstrated excellent sensitivity and resolution,revealing the great potential of terahertz imag⁃ing.This research not only provides new ideas for the creation of BIC structures but also offers an effective refer⁃ence for the development of high-performance terahertz imaging technology.
文摘Objective Sepsis patients exhibit diverse immune states,making it crucial to identify subtypes with distinct inflammatory profiles through Th1/Th2 cytokine data for personalized treatment and improved prognosis.Methods We retrieved data from sepsis patients who underwent Th1/Th2 cytokine testing in Nanfang Hospital,Southern Medical University from June 1,2020,to February 1,2022.An unsupervised K-means clustering method classified participants based on Th1/Th2 cytokine levels,with the primary outcome being the 7-day mortality rate post-ICU admission.Cox proportional hazards and Restricted Mean Survival Time(RMST)analyses were utilized to explore survival outcomes.Results A total of 321 sepsis patients were included.IL-6(HR 1.69,95%CI:1.22,2.34)and IL-10(HR 1.81,95%CI:1.37,2.40)emerged as independent predictors of 7-day mortality.Unsupervised K-means clustering revealed 3 inflammatory/immune subgroups:Cluster 1(n=166,low inflammatory response),Cluster 2(n=99,moderate inflammatory response with immune suppression),and Cluster 3(n=56,strong inflammatory and immune suppression).Compared to Cluster 1,Clusters 2 and 3 had higher 7-day mortality risks(14.4%vs 23.2%,HR=4.30,95%CI:1.51-12.26;14.4%vs 35.7%,HR=7.32,95%CI:2.57-20.79).Conclusion Septic patients in a protective immune response state(Cluster 1)exhibit better short-term prognoses,suggesting the importance of understanding inflammatory/immune states for precise treatment and improved outcomes.
基金financially supported by the National Key Research and Development Program of China(Grant No.2021YFA1400403)the National Natural Science Foundation of China(Grant Nos.12374183,92165205)+2 种基金the Natural Science Foundation of Jiangsu Province(Grant No.BK20233001)the Innovation Program for Quantum Science and Technology(Grant No.2021ZD0302800)the Fundamental Research Funds for the Central Universities(Grant No.020414380207).
文摘Interplay between topology and magnetism can give rise to exotic properties in topological materials.Two-dimensional bismuth has been extensively studied owing to its topological states with a strong spin-orbit coupling,and 1T-VTe_(2)monolayer theoretically predicted to host an intrinsic magnetism as experimentally suggested.In this work,we successfully constructed a vertical heterostructure composed of the two-dimensional Bi(110)monolayer and 1T-VTe_(2)monolayer by using molecular beam epitaxy(MBE).Scanning tunneling microscopy(STM)measurements revealed that the growth of Bi preferably occurs along the step edges of the VTe_(2)monolayer,forming a Bi(110)monolayer on top of the VTe_(2)monolayer next to a peripheral Bi bilayer.The Bi(100)/VTe_(2)heterostructure exhibits a specific lattice registry with a well-defined moiréperiodicity.Scanning tunneling spectroscopy(STS)measurements further unveiled an universal suppression in the local density-of-states at the boundary of the Bi(110)/VTe_(2)bilayer.By examining the atomic structures of Bi(110)boundaries,we found this effect does not originate from the previously proposed atomic reconstruction at the step edge of Bi(110),but is likely related to the magnetic properties of the VTe_(2)monolayer.
文摘High-performance deep-blue emitters that meet the BT.2020 standard proposed by the International Telecommunication Union(ITU)for organic light-emitting diodes(OLEDs)remain highly limited.In this work,four deep-blue emitters,PP1M,PP2M,PP3M,and PP4M,are designed and synthesized by connecting methylsubstituted biphenyl groups with classical hot exciton building block of phenanthreneimidazole.The introduction of methyl groups contributes to increase the molecular torsion angle and widen the energy gaps for the four compounds.Through appropriate modulation of substitution site,PP3M achieves the highest photoluminescence quantum yield of 85.3%in neat film.As a result,the PP3M-based device exhibits deep-blue light with external quantum efficiency of 7.2%and suppressed efficiency roll-off.The device also shows a small full width at half maximum of 53 nm and the CIE coordinates locate at(0.16,0.04),meeting well with the BT.2020 standard.The high exciton utilization efficiency is primarily ascribed to the hot exciton pathway.This study provides a reliable insight for the design of efficient deep-blue OLEDs with high color purity.
基金Project supported by the National Natural Science Foundation of China(Nos.61902416 and 61902412)the Natural Science Foundation of Hunan Province,China(No.2019JJ50729)。
文摘Network protocol software is usually characterized by complicated functions and a vast state space.In this type of program,a massive number of stateful variables that are used to represent the evolution of the states and store some information about the sessions are prone to potentialflaws caused by violations of protocol specification requirements and program logic.Discovering such variables is significant in discovering and exploiting vulnerabilities in protocol software,and still needs massive manual verifications.In this paper,we propose a novel method that could automatically discover the use of stateful variables in network protocol software.The core idea is that a stateful variable features information of the communication entities and the software states,so it will exist in the form of a global or static variable during program execution.Based on recording and replaying a protocol program’s execution,varieties of variables in the life cycle can be tracked with the technique of dynamic instrument.We draw up some rules from multiple dimensions by taking full advantage of the existing vulnerability knowledge to determine whether the data stored in critical memory areas have stateful characteristics.We also implement a prototype system that can discover stateful variables automatically and then perform it on nine programs in Pro FuzzBench and two complex real-world software programs.With the help of available open-source code,the evaluation results show that the average true positive rate(TPR)can reach 82%and the average precision can be approximately up to 96%.
基金Supported by the National Key Research and Development Program of China(2022YFB4301400)the Basic Science(Natural Science)Research Project for Higher Education Institutions in Jiangsu Province(24KJD580001)。
文摘This study systematically investigates the cyclization reaction mechanisms between n-C_(4)H_(3)(1-buten-3-yn-1-yl)and i-C_(4)H_(3)(2-buten-3-yn-1-yl)radicals with acetylene(C_(2)H_(2))using density functional theory(DFT)and transition state theory(TST).The results reveal that the reaction of n-C_(4)H_(3)with acetylene proceeds via a radical chain mechanism through an additioncyclization pathway,yielding phenyl(sixmembered ring),fulvenyl(five-membered ring),and four-membered ring intermediates.The product formation rates follow the order:fulvenyl(five-membered ring)>phenyl(six-membered ring)>four-membered ring.For i-C_(4)H_(3),the intermediate structures depend on the carbon position of i-C_(4)H_(3)where acetylene addition occurs:addition at the C2 position predominantly generates fulvenyl(five-membered ring)as the primary product,whereas addition at the C4 position may lead to phenyl(six-membered ring),fulvenyl(five-membered ring),or four-membered ring intermediates,with the four-membered ring forming most rapidly and the six-membered ring the slowest.Theoretical analyses demonstrate that the selectivity of reaction pathways is primarily governed by structural differences between the isomers.This work provides atomic-scale insights into the cyclization processes between acetylene and C_(4)H_(3)species,establishing a foundation for refining models of soot precursor formation.
基金supported by the Major Project for the Integration of ScienceEducation and Industry (Grant No.2025ZDZX02)。
文摘Classical computation of electronic properties in large-scale materials remains challenging.Quantum computation has the potential to offer advantages in memory footprint and computational scaling.However,general and viable quantum algorithms for simulating large-scale materials are still limited.We propose and implement random-state quantum algorithms to calculate electronic-structure properties of real materials.Using a random state circuit on a small number of qubits,we employ real-time evolution with first-order Trotter decomposition and Hadamard test to obtain electronic density of states,and we develop a modified quantum phase estimation algorithm to calculate real-space local density of states via direct quantum measurements.Furthermore,we validate these algorithms by numerically computing the density of states and spatial distributions of electronic states in graphene,twisted bilayer graphene quasicrystals,and fractal lattices,covering system sizes from hundreds to thousands of atoms.Our results manifest that the random-state quantum algorithms provide a general and qubit-efficient route to scalable simulations of electronic properties in large-scale periodic and aperiodic materials.
文摘Every developing country has plans.Five-year frameworks,industrial master plans and poverty reduction strategies accumulate in ministerial offices year after year.Shelves fill.Expectations rise.Outcomes lag.The problem is rarely vision.It is execution.China’s annual Two Sessions offer a window for the outside world to understand China’s governance system.Formally,they are the concurrent meetings of the National People’s Congress(NPC)and the National Committee of the Chinese People’s Political Consultative Conference.Substantively,they function as the central coordination mechanism of a developmental state that treats governance as an exercise in disciplined delivery.
基金funding support from the National Natural Science Foundation of China(Grant No.12525405)funding support from the National Natural Science Foundation of China(Grant No.12393831)the CAS Project for Young Scientists in Basic Research(Grant No.YSBR-120)。
文摘Self-trapped excitons(STEs),known for their unique radiative properties,have been harnessed in diverse photonic devices;however,their comprehensive understanding and manipulation remain elusive.In this study,we present novel experimental and theoretical evidence revealing the hybrid nature and optical tunability of STE state in Cs_(2)Ag_(0.4)Na_(0.6)InCl_(6).The detection of the Fano resonance in laser energy-dependent Raman and photoluminescence spectra indicates the emergence of an exciton-phonon hybrid state,arising from robust quantum interference between the discrete phonon and continuum exciton states.Moreover,we demonstrate continuous tuning of this hybrid state with the energy and intensity of the laser field.These findings lay the foundation for a comprehensive understanding of the nature of STE and their potential for state control.
基金supported by the Natural Science Basic Research Program of Shaanxi Province (Grant Nos.2024JC-JCQN-06 and2025JC-QYCX-006)the National Natural Science Foundation of China (Grant No.12474337)Chinese Academy of Sciences Project (Grant Nos.E4BA270100,E4Z127010F,E4Z6270100,and E53327020D)。
文摘In conventional higher-order topological insulators(HOTIs),the emergence of topological states can be explained by using the nonzero bulk polarization index.However,corner states emerge in HOTIs with incomplete boundary unit cells(i.e.,boundary defects)even though the bulk polarization is zero,which challenges the conventional understanding of HOTIs.Here,based on a Kekul´e-distorted honeycomb lattice with incomplete unit cells,we reveal that incomplete unit cells exhibit fractional charges through the analysis of Wannier centers by developing a compensation method and creating the concept of Wannier center domain(WCD)which is the smallest region that one Wannier center occupies.This method compensates for the missing parts of these boundary incomplete unit cells with additional WCDs to make them complete.The compensated WCDs automatically carry the corresponding charge,and this charge together with that of the incomplete unit cell constitutes the total charge of the complete unit cell after compensation.We conclude that the emergence of corner states is attributed to the filling anomaly,which is a fundamental mechanism.Our results refresh the understanding of HOTIs,especially those with structural discontinuities,and provide a novel design for topological states which have application value in producing optical functional devices.
文摘President Xi Jinping Chooses Southeast Asia for First Overseas Visit of 2025 From April 14 to 18,2025,Chinese President Xi Jinping conducted state visits to Vietnam,Malaysia,and Cambodia.China and Vietnam are socialist neighbors linked by mountains and rivers,and the China-Vietnam community with a shared future carries strategic significance.
文摘Apparel exports China:The decline in exports widened from January to September(-2.4%,compared to-0.2%in January-June).Exports to the EU increased(+5.9%),though the growth rate moderated.Exports to the US saw a larger contraction(January-June:-1.6%,January-September:-8.2%).While exports to ASEAN countries still fell by over 10%(-17.7%),shipments to the Philippines(+6.9%),Indonesia(+19.0%),and Cambodia(+64.9%)demonstrated stronger growth performance within the year.Regarding tariffs,on October 30,China and the US agreed to lower the rates on goods subject to additional duties(effectively reducing the average tariff rate on Chinese imports to the US from about 57%to approximately 47%,though this remains significantly higher than the 19.5%overall average rate applied to other countries).
基金supported by the Qilu University of Technology(Shandong Academy of Sciences),the Basic Research Project of Science,Education and Industry Integration Pilot Project(No.2022PY047).
文摘Photothermal synergistic catalytic systems for treating volatile organic compounds(VOCs)have attracted signif-icant attention due to their energy efficiency and potential to reduce carbon emissions.However,the mechanism underlying the synergistic reaction remains a critical issue.This study introduces a photothermal synergistic system for the removal of ethyl acetate(EA)by synthesizing Cu-doped OMS-2(denoted as Cu-OMS-2).Under ultraviolet-visible(UV–Vis)irradiation in a flow system,the Cu-OMS-2 catalyst exhibited significantly enhanced performance in the EA degradation process,nearly doubling the effectiveness of pure OMS-2,and increasing carbon dioxide yield by 20%.This exceptional performance is attributed to the synergistic effect of increased oxygen vacancies(OV)at OMS-2 active sites and Cu doping,as confirmed by H2-TPR,O_(2)-TPD,and CO consump-tion measurements.This study clarifies the catalytic mechanism of light-assisted thermocatalysis and offers a novel strategy for designing photothermal catalysts with homogeneous Cu-doped nanorods for VOC removal.
基金supported by the Higher Education and Science Committee of Armenia in the frames of the research projects 20TTSG-2F010, 23AA-2F033 and ANSEF (EN-matsc-2660) grant.
文摘Halide solid-state electrolytes have gained significant attention in recent years due to their high ionic conductivity,making them promising candidates for future all-solid-state batteries.Recent studies have identified numerous crystal structures with the Li_(3)MX_(6)composition,although many remain unexplored across various chemical systems.In this research,we developed a comprehensive method to examine all conceivable space groups and structures within theLi-M-X system,where M includes In,Ga,and La,and X includes F,Cl,Br,and 1.Our findings revealed two metastable structures:Li_(3)InF_(6)with P3c1 symmetry and Li_(3)InI_(6)with C2/c symmetry,exhibiting ionic conductivities of 0.55 and 2.18mS/cm at 300K,respectively.Notably,the trigonal symmetry of Li3InF6 demonstrates that high ionic conductivities are not limited to monoclinic structures but can also be achieved with trigonal symmetries.The electrochemical stability windows,mechanical properties,and reaction energies of these materials with known cathodes suggest their potential for use in all-solid-state batteries.Additionally,we predicted the stability of novel materials,including Li_(5)InCl_(8),Li_(5)InBr_(8),Li_(5)InI_(8),LiIn_(2)Cl_(9),LiIn_(2)Br_(9),and LiIn_(2)I_(9).
文摘The objective of the current study is to investigate an adaptive predictive observer-based autopilot for a skid-to-turn(STT)missile model with uncertainties and unknown dynamic equations.A predictive control for the STT missile is designed based on nonlinear model predictive control(NMPC)using Taylor series expansion,after which,via a neural network(NN),unknown functions are approximated.The present study also evaluates an adaptive optimal observer of a new strategy-based nonlinear system.Specifically,to estimate the missile states such as normal acceleration and its derivatives for the future,originally the Taylor series states expansion was gained to any specified order,based on their receding horizons.To address the problem of prediction error,an analytic solution was prepared that led to a closed form regarding the nonlinear optimal observer.Out of the gains resulting from the analytic solution,as developed for the problem of prediction error,the selection of the proposed observer gain was optimally conducted to meet the stability condition.Thus,combining the adaptive predictive autopilot and the adaptive optimal observer scheme was implemented to secure the performance,which needed only estimated normal acceleration and its derivatives.Meanwhile,no angular velocity measurement or wind angle estimation was required.Ultimately,the proposed technique was found effective,as confirmed by the qualitative simulation results.
基金supported by the National Natural Science Foundation of China through grant numbers 12002245 and 12172263the Science and Technology Research Program of Chongqing Municipal Education Commission through grant number KJQN202300742+1 种基金the National Natural Science Foundation of ChongqingMunicipality through grant number CSTB2025NSCQ-GPX0841Chongqing Jiaotong University through grant number F1220038.
文摘Granular materials exhibit complex macroscopic mechanical behaviors closely related to their microscalemicrostructural features.Traditional macroscopic phenomenological elasto-plastic models,however,usually have complex formulations and lack explicit relations to these microstructural features.To avoid these limitations,this study proposes a micromechanics-based softening hyperelastic model for granular materials,integrating softening hyperelasticity withmicrostructural insights to capture strain softening,critical state,and strain localization behaviors.The model has two key advantages:(1)a clear conceptualization,straightforward formulation,and ease of numerical implementation(via Abaqus UMAT subroutine in this study);(2)explicit incorporation of micro-scale features(e.g.,contact stiffness,particle size,porosity)to reveal their influences on macroscopic responses.An isotropic directional distribution density of contacts and three specific microstructures are considered,and their softening hyperelastic constitutive modulus tensors are explicitly derived.By introducing a softening factor and critical failure energy density,the model can describe geomaterial behaviors,simulating residual strength,X-shaped shear bands,and strain localization evolution.Numerical validations in comparison with themacro-scale hyperelastic model,Abaqus Drucker-Prager model,and the experiment confirm its accuracy.Parametric studies reveal critical dependencies:a normal to tangential contact stiffness ratio of 2-8(depending on stiffness magnitude),an internal length of 2-4 mm to ensure shear band formation,and a critical failure energy density(≤10 kJ/m^(3))to trigger strain softening and localization.Influences of the specific microstructures on strain localization and softening are investigated.The model also shows mesh independence due to the introduction of an internal length.The model’s applicability is further demonstrated by slope stability analysis,capturing slip surface evolution,and load-displacement characteristics.This study develops a robust microstructure-aware hyperelastic framework to describe the mechanical behaviors of granular materials,providing multiscale insights for geotechnical engineering applications.
