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.展开更多
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.展开更多
Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term...Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.展开更多
check,check on 和 check up on 都包含“检查”、“核对”的意义。例如:1.checkI have checked your answers and none of them are correct.我检查了你的答案,没有一个正确。When I checked my shopping list I found I’d forgotten ...check,check on 和 check up on 都包含“检查”、“核对”的意义。例如:1.checkI have checked your answers and none of them are correct.我检查了你的答案,没有一个正确。When I checked my shopping list I found I’d forgotten to buy eggs.我核对购物单时发现忘记买蛋了。展开更多
Objective To provide suggestions for optimizing the sampling management of Chinese herbal pieces and improving the quality Chinese herbal pieces.Methods Logical reasoning method was used to analyze the problems in the...Objective To provide suggestions for optimizing the sampling management of Chinese herbal pieces and improving the quality Chinese herbal pieces.Methods Logical reasoning method was used to analyze the problems in the drug spot check of Chinese herbal pieces based on the data of drug quality published by the National Medical Products Administration from 2013 to 2021,combined with the current provisions and implementation of drug spot check management in China.Results and Conclusion At present,there are some problems in the drug spot check of Chinese herbal pieces,such as fewer varieties of Chinese herbal pieces in the national drug spot check,the unreasonable sampling links,the insufficient territorial management in some areas,and error-prone sample extraction.It is suggested that the actual quantity and overall quality of Chinese herbal pieces should be fully considered in the formulation of sampling plan.Besides,the variety coverage of drug spot check of traditional Chinese medicine should be strengthened.In the planning,the sampling links shall be made as a whole,and the credit rating and distribution of drug production,operation and use units within the jurisdiction shall be fully combined.While strengthening the sampling management at the production end in areas with concentrated industries,regional special drug spot check should be carried out or the administrative forces at the provincial,municipal and county levels should be fully mobilized to avoid local protection.In the assigned tasks,the name of Chinese herbal pieces should be accurately expressed to avoid the sampling errors of Chinese herbal pieces with the same original medicinal materials and different processing methods.展开更多
In this paper, we conclude five kinds of methods for construction of the regular low-density parity matrix H and three kinds of methods for the construction of irregular low-density parity-check matrix H. Through the ...In this paper, we conclude five kinds of methods for construction of the regular low-density parity matrix H and three kinds of methods for the construction of irregular low-density parity-check matrix H. Through the analysis of the code rate and parameters of these eight kinds of structures, we find that the construction of low-density parity-check matrix tends to be more flexible and the parameter variability is enhanced. We propose that the current development cost should be lower with the progress of electronic technology and we need research on more practical Low-Density Parity-Check Codes (LDPC). Combined with the application of the quantum distribution key, we urgently need to explore the research direction of relevant theories and technologies of LDPC codes in other fields of quantum information in the future.展开更多
基金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.
文摘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.
基金National Natural Science Foundation ofChina(No.70 2 710 3 8)
文摘Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.
文摘check,check on 和 check up on 都包含“检查”、“核对”的意义。例如:1.checkI have checked your answers and none of them are correct.我检查了你的答案,没有一个正确。When I checked my shopping list I found I’d forgotten to buy eggs.我核对购物单时发现忘记买蛋了。
文摘Objective To provide suggestions for optimizing the sampling management of Chinese herbal pieces and improving the quality Chinese herbal pieces.Methods Logical reasoning method was used to analyze the problems in the drug spot check of Chinese herbal pieces based on the data of drug quality published by the National Medical Products Administration from 2013 to 2021,combined with the current provisions and implementation of drug spot check management in China.Results and Conclusion At present,there are some problems in the drug spot check of Chinese herbal pieces,such as fewer varieties of Chinese herbal pieces in the national drug spot check,the unreasonable sampling links,the insufficient territorial management in some areas,and error-prone sample extraction.It is suggested that the actual quantity and overall quality of Chinese herbal pieces should be fully considered in the formulation of sampling plan.Besides,the variety coverage of drug spot check of traditional Chinese medicine should be strengthened.In the planning,the sampling links shall be made as a whole,and the credit rating and distribution of drug production,operation and use units within the jurisdiction shall be fully combined.While strengthening the sampling management at the production end in areas with concentrated industries,regional special drug spot check should be carried out or the administrative forces at the provincial,municipal and county levels should be fully mobilized to avoid local protection.In the assigned tasks,the name of Chinese herbal pieces should be accurately expressed to avoid the sampling errors of Chinese herbal pieces with the same original medicinal materials and different processing methods.
文摘In this paper, we conclude five kinds of methods for construction of the regular low-density parity matrix H and three kinds of methods for the construction of irregular low-density parity-check matrix H. Through the analysis of the code rate and parameters of these eight kinds of structures, we find that the construction of low-density parity-check matrix tends to be more flexible and the parameter variability is enhanced. We propose that the current development cost should be lower with the progress of electronic technology and we need research on more practical Low-Density Parity-Check Codes (LDPC). Combined with the application of the quantum distribution key, we urgently need to explore the research direction of relevant theories and technologies of LDPC codes in other fields of quantum information in the future.
