Check dams are widely constructed on China's Loess Plateau,which had a total number of 58,776 by the end of 2019.Great achievements in check dam construction have been gained regarding the economic and environment...Check dams are widely constructed on China's Loess Plateau,which had a total number of 58,776 by the end of 2019.Great achievements in check dam construction have been gained regarding the economic and environmental impacts.This study reviews the remarkable benefits of check dams on the land reclamation and environmental improvement on the Loess Plateau,and sediment reduction entering the Yellow River.However,the flood incidents on check dams have been frequently reported for the past decades,which has attracted more attention in the context of climate change and extreme rainfall events recently.Advances in the flood migration techniques achieved by the research group led by the first author have been highlighted to migrate the breach risk of check dams due to floods.The“family tree method”has been proposed to determine the survival status and critical rainfall threshold of each check dam in the complicated dam system.An updated dam breach flood evaluation framework and the corresponding numerical algorithm(i.e.,DB-IWHR)have been developed.Moreover,innovative types of water-release facilities for check dams,including geobag stepped spillway and prestressed concrete cylinder pipe in the underlying conduit,have been proposed and developed.Finally,the perspectives concerning the check dam construction on the Loess Plateau have been put forward.展开更多
Peng et al.in[Phys.Rev.Research,2020,2(3):033089,11 pp.]formulated one-way fluxes for a general chemical reaction far from equilibrium,with arbitrary complex mechanisms,multiple intermediates,and internal kinetic cycl...Peng et al.in[Phys.Rev.Research,2020,2(3):033089,11 pp.]formulated one-way fluxes for a general chemical reaction far from equilibrium,with arbitrary complex mechanisms,multiple intermediates,and internal kinetic cycles.They defined the limit of the ratio of mesoscopic one-way fluxes and the volume of the tank reactor when the volume tends to infinity as macroscopic one-way fluxes,but a rigorous proof of existence of the limit is still awaiting.In this article,we fill this gap under a mild hypothesis:the Markov chain associated with the chemical master equation has finite states and any two columns in the stoichiometric matrices are not identical.In fact,an explicit expression of the limit is obtained.展开更多
We theoretically demonstrate that multipartite entanglement and one-way Einstein-Podolsky-Rosen(EPR)steering in a magnon frequency comb(MFC)can be generated in a hybrid magnon-skyrmion system.When the system is driven...We theoretically demonstrate that multipartite entanglement and one-way Einstein-Podolsky-Rosen(EPR)steering in a magnon frequency comb(MFC)can be generated in a hybrid magnon-skyrmion system.When the system is driven by two microwave fields at the magnonic whispering gallery mode(m WGM)and the skyrmion,the skyrmion can be simultaneously entangled with three magnon modes of the MFC and the entanglement of the first-order magnon pair in the MFC also appears.The results show that the perfect one-way steering between the skyrmion and the three magnons can be obtained.Interestingly,the steering direction can be manipulated by controlling the amplitudes of two drive fields,which provides flexibility in controlling the asymmetry of the EPR steering and may well have practical applications.Moreover,the genuine tripartite entanglement among the skyrmion and the first-order magnon pair can be achieved with appropriate parameters in the steady state.Our work exhibits that the MFC has great potential in preparing multi-mode entanglement resources,with promising applications in quantum communication.展开更多
As vehicular networks become increasingly pervasive,enhancing connectivity and reliability has emerged as a critical objective.Among the enabling technologies for advanced wireless communication,particularly those tar...As vehicular networks become increasingly pervasive,enhancing connectivity and reliability has emerged as a critical objective.Among the enabling technologies for advanced wireless communication,particularly those targeting low latency and high reliability,time synchronization is critical,especially in vehicular networks.However,due to the inherent mobility of vehicular environments,consistently exchanging synchronization packets with a fixed base station or access point is challenging.This issue is further exacerbated in signal shadowed areas such as urban canyons,tunnels,or large-scale indoor hallswhere other technologies,such as global navigation satellite system(GNSS),are unavailable.One-way synchronization techniques offer a feasible approach under such transient connectivity conditions.One-way schemes still suffer from long convergence times to reach the required synchronization accuracy in these circumstances.In this paper,we propose a WLAN-based multi-stage clock synchronization scheme(WMC)tailored for vehicular networks.The proposed method comprises an initial hard update stage to rapidly achieve synchronization,followed by a high-precision stable stage based on Maximum Likelihood Estimation(MLE).By implementing the scheme directly at the network driver,we address key limitations of hard update mechanisms.Our approach significantly reduces the initial period to collect high-quality samples and offset estimation time to reach sub-50μs accuracy,and subsequently transitions to a refined MLE-based synchronization stage,achieving stable accuracy at approximately 30μs.The windowed moving average stabilized(reaching 90%of the baseline)in approximately 35 s,which corresponds to just 5.1%of the baseline time accuracy.Finally,the impact of synchronization performance on the localization model was validated using the Simulation of Urban Mobility(SUMO).The results demonstrate that more accurate conditions for position estimation can be supported,with an improvement about 38.5%in the mean error.展开更多
The implementation of the cascade check dam system, which integrates beam and closed-type dams, has been extensively adopted as a pivotal engineering measure for mitigating debris flow in Southwest China. In the post-...The implementation of the cascade check dam system, which integrates beam and closed-type dams, has been extensively adopted as a pivotal engineering measure for mitigating debris flow in Southwest China. In the post-debris flow events, it is imperative to quantitatively assess the volume of sediment volume captured by the cascade check dams and to monitor their impact on sediment dynamics. This study investigates the cascade check dams in Guanmenzi Gully, Beichuan County, Sichuan Province in Southwest China, surveying the reservoir topography of the dams on two occasions over a fiveyear period. The #3 closed-type dam, located in the upper upstream, the #2 closed-type dam, located in the middle stream(which was manually cleaned), and the beam dam, located in the downstream were all surveyed. A simplified yet accurate method was developed to estimate sediment volume within check dam reservoirs under complex topographic conditions. A combination of terrestrial surveys and Unmanned Aerial Vehicle(UAV) based surveys was employed, resulting in the acquisition of two high-resolution Digital Elevation Models(DEMs) at different temporal intervals. The utilization of DEMs of Difference(DoD) facilitated the quantification of terrain variations and the sediment transport. The following conclusions were obtained: firstly, it was found that the volume of sediment trapped in the reservoirs of #2 closed-type dam and #1 beam dam were almost the same, with #3 closed-type dam being the smallest. The validation of the results in conjunction with the geometric method demonstrated that the percentage error was less than 7%, proving the reliability of the results. In addition, an analysis of changes in the detailed topography of the reservoirs revealed that the sediment deposit occurred in areas distant from the structures, while erosion exhibited concentration in specific areas close to the dams. The percentage volume of sediment deposit was found to be significantly higher than that of erosion(all higher than 85%). Furthermore, the excessive sediment deposition reduces the storage capacity of closed-type check dams, whereas in the case of beam dams, the maximum erosion amount in the reservoir is 35.8 m~3 and the percentage of the maximum erosion amount is 14.00%. This suggests that the self-cleaning of beam dam can effectively slow down the sediment deposition process. Finally, the current study proposes an expression for storage capacity composition and suggests that, in engineering practice, emphasis should be placed on maintenance programs that synergize manual cleaning and self-cleaning of open-type check dams. The conclusions may facilitate the refinement of maintenance strategies of cascade check dams, thereby effectively preventing and mitigating debris flows.展开更多
BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychologi...BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychological problems.AIM To investigate the effectiveness of the initial check,information exchange,final accuracy check,reaction(IIFAR)information care model on the mental health status of elderly patients with lung cancer.METHODS This study is a single-centre study.We randomly recruited 60 elderly patients with lung cancer who attended our hospital from January 2021 to January 2022.These elderly patients with lung cancer were randomly divided into two groups,with the control group taking the conventional propaganda and education and the observation group taking the IIFAR information care model based on the conventional care protocol.The differences in psychological distress,anxiety and depression,life quality,fatigue,and the locus of control in psychology were compared between these two groups,and the causes of psychological distress were analyzed.RESULTS After the intervention,Distress Thermometer,Hospital Anxiety and Depression Scale(HADS)for anxiety and the HADS for depression,Revised Piper’s Fatigue Scale,and Chance Health Locus of Control scores were lower in the observation group compared to the pre-intervention period in the same group and were significantly lower in the observation group compared to those of the control group(P<0.05).After the intervention,Quality of Life Questionnaire Core 30(QLQ-C30),Internal Health Locus of Control,and Powerful Others Health Locus of Control scores were significantly higher in the observation and the control groups compared to the pre-intervention period in their same group,and QLQ-C30 scores were significantly higher in the observation group compared to those of the control group(P<0.05).CONCLUSION The IIFAR information care model can help elderly patients with lung cancer by reducing their anxiety and depression,psychological distress,and fatigue,improving their tendencies on the locus of control in psychology,and enhancing their life qualities.展开更多
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.展开更多
The self-rotating motion of the earth makes it possible to test the constancy of the speed of light in all directions by measuring the one-way speed of light. The review of the implemented experiments to test the cons...The self-rotating motion of the earth makes it possible to test the constancy of the speed of light in all directions by measuring the one-way speed of light. The review of the implemented experiments to test the constancy of the speed of light, based on the theory of the absolute system of reference, yields some indications that the speed of light is affected by the self-rotational motion of the earth. The newest experiments based either on the methodology of standing waves or on the Compton edge effect cannot contribute in this field of research. A proposed experiment to measure the one-way speed of light, and the corresponding relativistic predictions, are discussed.展开更多
由于不同时期的录波数据记录标准有所不同,以及各个生产厂家对标准的解读存在偏差,造成同源录波数据的通道名称存在个性化差异,且通道索引号不同,难以进行录波数据的同源匹配。针对上述问题,提出基于句向量掩码纠错双向编码器表征语言模...由于不同时期的录波数据记录标准有所不同,以及各个生产厂家对标准的解读存在偏差,造成同源录波数据的通道名称存在个性化差异,且通道索引号不同,难以进行录波数据的同源匹配。针对上述问题,提出基于句向量掩码纠错双向编码器表征语言模型(sentence-masked language model as correction bidirectional encoder representations from transformers,Sentence-MacBERT)的同源录波数据匹配方法。首先,分析录波文件的记录格式特点,根据录波文件的格式特点完成核查信息表的构建。然后,通过构建的核查信息表进行录波文件自动校核。最后,在双向编码器表征(bidirectional encoder representations from transformers,BERT)模型的基础上构建Sentence-MacBERT同源通道匹配模型,完成同源录波数据匹配。算例分析表明,根据核查信息表能够完成录波文件的自动校核,并对解析失败的录波文件发出告警信息。利用Sentence-MacBERT模型进行通道名称匹配的效果良好,能够有效地完成录波数据的同源匹配,帮助运行人员进行故障分析。展开更多
基金National Natural Science Foundation of China,Grant/Award Number:42330719National Natural Science Foundation of China,Grant/Award Number:U2443228+1 种基金Power Construction Corporation of China,Grant/Award Number:DJ-ZDXM-2021-51China Institute of Water Resources and Hydropower Research,Grant/Award Number:GE121003A0042022。
文摘Check dams are widely constructed on China's Loess Plateau,which had a total number of 58,776 by the end of 2019.Great achievements in check dam construction have been gained regarding the economic and environmental impacts.This study reviews the remarkable benefits of check dams on the land reclamation and environmental improvement on the Loess Plateau,and sediment reduction entering the Yellow River.However,the flood incidents on check dams have been frequently reported for the past decades,which has attracted more attention in the context of climate change and extreme rainfall events recently.Advances in the flood migration techniques achieved by the research group led by the first author have been highlighted to migrate the breach risk of check dams due to floods.The“family tree method”has been proposed to determine the survival status and critical rainfall threshold of each check dam in the complicated dam system.An updated dam breach flood evaluation framework and the corresponding numerical algorithm(i.e.,DB-IWHR)have been developed.Moreover,innovative types of water-release facilities for check dams,including geobag stepped spillway and prestressed concrete cylinder pipe in the underlying conduit,have been proposed and developed.Finally,the perspectives concerning the check dam construction on the Loess Plateau have been put forward.
基金partially supported by NSFC(Nos.11701265,11961033).
文摘Peng et al.in[Phys.Rev.Research,2020,2(3):033089,11 pp.]formulated one-way fluxes for a general chemical reaction far from equilibrium,with arbitrary complex mechanisms,multiple intermediates,and internal kinetic cycles.They defined the limit of the ratio of mesoscopic one-way fluxes and the volume of the tank reactor when the volume tends to infinity as macroscopic one-way fluxes,but a rigorous proof of existence of the limit is still awaiting.In this article,we fill this gap under a mild hypothesis:the Markov chain associated with the chemical master equation has finite states and any two columns in the stoichiometric matrices are not identical.In fact,an explicit expression of the limit is obtained.
基金supported by the National Key R&D Program of China(Grant No.2022YFA1402802)the National Natural Science Foundation of China(Grant Nos.12374103,12434003,and 12074057)。
文摘We theoretically demonstrate that multipartite entanglement and one-way Einstein-Podolsky-Rosen(EPR)steering in a magnon frequency comb(MFC)can be generated in a hybrid magnon-skyrmion system.When the system is driven by two microwave fields at the magnonic whispering gallery mode(m WGM)and the skyrmion,the skyrmion can be simultaneously entangled with three magnon modes of the MFC and the entanglement of the first-order magnon pair in the MFC also appears.The results show that the perfect one-way steering between the skyrmion and the three magnons can be obtained.Interestingly,the steering direction can be manipulated by controlling the amplitudes of two drive fields,which provides flexibility in controlling the asymmetry of the EPR steering and may well have practical applications.Moreover,the genuine tripartite entanglement among the skyrmion and the first-order magnon pair can be achieved with appropriate parameters in the steady state.Our work exhibits that the MFC has great potential in preparing multi-mode entanglement resources,with promising applications in quantum communication.
基金supported by Korea Institute of Energy Technology Evaluation and Planning(KETEP)grant funded by the Korea government(MOTIE)(No.20224B10300090)supported by the MSIT(Ministry of Science and ICT),Republic of Korea,under the ITRC(Information Technology Research Center)support program(IITP-2025-RS-2021-II211835)supervised by the IITP(Institute of Information&Communications Technology Planning&Evaluation).
文摘As vehicular networks become increasingly pervasive,enhancing connectivity and reliability has emerged as a critical objective.Among the enabling technologies for advanced wireless communication,particularly those targeting low latency and high reliability,time synchronization is critical,especially in vehicular networks.However,due to the inherent mobility of vehicular environments,consistently exchanging synchronization packets with a fixed base station or access point is challenging.This issue is further exacerbated in signal shadowed areas such as urban canyons,tunnels,or large-scale indoor hallswhere other technologies,such as global navigation satellite system(GNSS),are unavailable.One-way synchronization techniques offer a feasible approach under such transient connectivity conditions.One-way schemes still suffer from long convergence times to reach the required synchronization accuracy in these circumstances.In this paper,we propose a WLAN-based multi-stage clock synchronization scheme(WMC)tailored for vehicular networks.The proposed method comprises an initial hard update stage to rapidly achieve synchronization,followed by a high-precision stable stage based on Maximum Likelihood Estimation(MLE).By implementing the scheme directly at the network driver,we address key limitations of hard update mechanisms.Our approach significantly reduces the initial period to collect high-quality samples and offset estimation time to reach sub-50μs accuracy,and subsequently transitions to a refined MLE-based synchronization stage,achieving stable accuracy at approximately 30μs.The windowed moving average stabilized(reaching 90%of the baseline)in approximately 35 s,which corresponds to just 5.1%of the baseline time accuracy.Finally,the impact of synchronization performance on the localization model was validated using the Simulation of Urban Mobility(SUMO).The results demonstrate that more accurate conditions for position estimation can be supported,with an improvement about 38.5%in the mean error.
基金jointly funded by the National Key R&D Program of China (2024YFC3012705)the CAS Light of West China Program (Grant Recipient:Wanyu Zhao)+1 种基金the National Natural Science Foundation of China (Grant No.42201095)the Postdoctoral Research Project Special Funding of Sichuan (Grant No.TB2023028)。
文摘The implementation of the cascade check dam system, which integrates beam and closed-type dams, has been extensively adopted as a pivotal engineering measure for mitigating debris flow in Southwest China. In the post-debris flow events, it is imperative to quantitatively assess the volume of sediment volume captured by the cascade check dams and to monitor their impact on sediment dynamics. This study investigates the cascade check dams in Guanmenzi Gully, Beichuan County, Sichuan Province in Southwest China, surveying the reservoir topography of the dams on two occasions over a fiveyear period. The #3 closed-type dam, located in the upper upstream, the #2 closed-type dam, located in the middle stream(which was manually cleaned), and the beam dam, located in the downstream were all surveyed. A simplified yet accurate method was developed to estimate sediment volume within check dam reservoirs under complex topographic conditions. A combination of terrestrial surveys and Unmanned Aerial Vehicle(UAV) based surveys was employed, resulting in the acquisition of two high-resolution Digital Elevation Models(DEMs) at different temporal intervals. The utilization of DEMs of Difference(DoD) facilitated the quantification of terrain variations and the sediment transport. The following conclusions were obtained: firstly, it was found that the volume of sediment trapped in the reservoirs of #2 closed-type dam and #1 beam dam were almost the same, with #3 closed-type dam being the smallest. The validation of the results in conjunction with the geometric method demonstrated that the percentage error was less than 7%, proving the reliability of the results. In addition, an analysis of changes in the detailed topography of the reservoirs revealed that the sediment deposit occurred in areas distant from the structures, while erosion exhibited concentration in specific areas close to the dams. The percentage volume of sediment deposit was found to be significantly higher than that of erosion(all higher than 85%). Furthermore, the excessive sediment deposition reduces the storage capacity of closed-type check dams, whereas in the case of beam dams, the maximum erosion amount in the reservoir is 35.8 m~3 and the percentage of the maximum erosion amount is 14.00%. This suggests that the self-cleaning of beam dam can effectively slow down the sediment deposition process. Finally, the current study proposes an expression for storage capacity composition and suggests that, in engineering practice, emphasis should be placed on maintenance programs that synergize manual cleaning and self-cleaning of open-type check dams. The conclusions may facilitate the refinement of maintenance strategies of cascade check dams, thereby effectively preventing and mitigating debris flows.
文摘BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychological problems.AIM To investigate the effectiveness of the initial check,information exchange,final accuracy check,reaction(IIFAR)information care model on the mental health status of elderly patients with lung cancer.METHODS This study is a single-centre study.We randomly recruited 60 elderly patients with lung cancer who attended our hospital from January 2021 to January 2022.These elderly patients with lung cancer were randomly divided into two groups,with the control group taking the conventional propaganda and education and the observation group taking the IIFAR information care model based on the conventional care protocol.The differences in psychological distress,anxiety and depression,life quality,fatigue,and the locus of control in psychology were compared between these two groups,and the causes of psychological distress were analyzed.RESULTS After the intervention,Distress Thermometer,Hospital Anxiety and Depression Scale(HADS)for anxiety and the HADS for depression,Revised Piper’s Fatigue Scale,and Chance Health Locus of Control scores were lower in the observation group compared to the pre-intervention period in the same group and were significantly lower in the observation group compared to those of the control group(P<0.05).After the intervention,Quality of Life Questionnaire Core 30(QLQ-C30),Internal Health Locus of Control,and Powerful Others Health Locus of Control scores were significantly higher in the observation and the control groups compared to the pre-intervention period in their same group,and QLQ-C30 scores were significantly higher in the observation group compared to those of the control group(P<0.05).CONCLUSION The IIFAR information care model can help elderly patients with lung cancer by reducing their anxiety and depression,psychological distress,and fatigue,improving their tendencies on the locus of control in psychology,and enhancing their life qualities.
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.
文摘The self-rotating motion of the earth makes it possible to test the constancy of the speed of light in all directions by measuring the one-way speed of light. The review of the implemented experiments to test the constancy of the speed of light, based on the theory of the absolute system of reference, yields some indications that the speed of light is affected by the self-rotational motion of the earth. The newest experiments based either on the methodology of standing waves or on the Compton edge effect cannot contribute in this field of research. A proposed experiment to measure the one-way speed of light, and the corresponding relativistic predictions, are discussed.
文摘由于不同时期的录波数据记录标准有所不同,以及各个生产厂家对标准的解读存在偏差,造成同源录波数据的通道名称存在个性化差异,且通道索引号不同,难以进行录波数据的同源匹配。针对上述问题,提出基于句向量掩码纠错双向编码器表征语言模型(sentence-masked language model as correction bidirectional encoder representations from transformers,Sentence-MacBERT)的同源录波数据匹配方法。首先,分析录波文件的记录格式特点,根据录波文件的格式特点完成核查信息表的构建。然后,通过构建的核查信息表进行录波文件自动校核。最后,在双向编码器表征(bidirectional encoder representations from transformers,BERT)模型的基础上构建Sentence-MacBERT同源通道匹配模型,完成同源录波数据匹配。算例分析表明,根据核查信息表能够完成录波文件的自动校核,并对解析失败的录波文件发出告警信息。利用Sentence-MacBERT模型进行通道名称匹配的效果良好,能够有效地完成录波数据的同源匹配,帮助运行人员进行故障分析。
