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 Bacterial contamination during colonoscopy is a significant concern,yet few studies have evaluated bacterial aerosols.This study aimed to determine whether covering the biopsy hole check valve with enzymoly...BACKGROUND Bacterial contamination during colonoscopy is a significant concern,yet few studies have evaluated bacterial aerosols.This study aimed to determine whether covering the biopsy hole check valve with enzymolysis gauze(refers to sterile gauze soaked in a multi-enzyme cleaning solution)reduces bacterial air pollution in endoscopy rooms.AIM To evaluate the efficacy of an enzymolysis gauze cover in reducing bacterial aerosols from the biopsy valve.METHODS This prospective,single-blind trial included 80 patients undergoing elective diagnostic colonoscopy.During the procedure,the biopsy hole check valve was either covered or left uncovered with enzymolysis gauze.Air samples(100 L)were collected at a distance of 30 cm from the biopsy hole check valve and approximately 140 cm above the floor using a percussive air sampling instrument.Gram-positive bacteria were cultured on standard 90 mm colimycin nalidixic agar blood plates.The primary outcome measures were bacterial load and species identification.RESULTS Covering the biopsy hole check valve with enzymolysis gauze reduced bacterial load near the check valve from 50 colony-forming unit(CFU)/m^(3)[interquartile range(IQR):30-80]to 20 CFU/m^(3)(IQR:10-20).At the end of the procedure each day,covering the valve also decreased bacterial load in the endoscopy room from 35 CFU/m^(3)(IQR:33-85)to 10 CFU/m^(3)(IQR:5-10).The predominant bacteria identified were Gram-positive cocci.CONCLUSION Applying enzymolysis gauze to cover the biopsy hole check valve significantly reduces bacterial aerosol contamination in endoscopy rooms during colonoscopy.展开更多
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.展开更多
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.展开更多
In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge...In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.展开更多
基金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.
基金Supported by the Construction Fund of Key Medical Disciplines of Hangzhou,No.2025HZGF05the Key R and D Program of Zhejiang Province,No.2023C03054 and No.2024C03048+1 种基金the Key Discipline of Integrated Chinese and Western Medicine(Digestive Diseases)in Zhejiang Province,No.2024-XK-61the Zhejiang Province Medical and Health Science and Technology Plan Project,No.2021KY848.
文摘BACKGROUND Bacterial contamination during colonoscopy is a significant concern,yet few studies have evaluated bacterial aerosols.This study aimed to determine whether covering the biopsy hole check valve with enzymolysis gauze(refers to sterile gauze soaked in a multi-enzyme cleaning solution)reduces bacterial air pollution in endoscopy rooms.AIM To evaluate the efficacy of an enzymolysis gauze cover in reducing bacterial aerosols from the biopsy valve.METHODS This prospective,single-blind trial included 80 patients undergoing elective diagnostic colonoscopy.During the procedure,the biopsy hole check valve was either covered or left uncovered with enzymolysis gauze.Air samples(100 L)were collected at a distance of 30 cm from the biopsy hole check valve and approximately 140 cm above the floor using a percussive air sampling instrument.Gram-positive bacteria were cultured on standard 90 mm colimycin nalidixic agar blood plates.The primary outcome measures were bacterial load and species identification.RESULTS Covering the biopsy hole check valve with enzymolysis gauze reduced bacterial load near the check valve from 50 colony-forming unit(CFU)/m^(3)[interquartile range(IQR):30-80]to 20 CFU/m^(3)(IQR:10-20).At the end of the procedure each day,covering the valve also decreased bacterial load in the endoscopy room from 35 CFU/m^(3)(IQR:33-85)to 10 CFU/m^(3)(IQR:5-10).The predominant bacteria identified were Gram-positive cocci.CONCLUSION Applying enzymolysis gauze to cover the biopsy hole check valve significantly reduces bacterial aerosol contamination in endoscopy rooms during colonoscopy.
基金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.
基金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.
基金The National Natural Science Foundation of China (No.10974093)the Scientific Research Foundation for Senior Personnel of Jiangsu University (No.07JDG014)the Natural Science Foundation of Higher Education Institutions of Jiangsu Province (No.08KJD520015)
文摘In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.
