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.展开更多
The design mechanisms and methods of the invention are intended to minimize problems related to the safety of structures in the event of natural phenomena such as earthquakes, tornadoes, and strong winds. It is achiev...The design mechanisms and methods of the invention are intended to minimize problems related to the safety of structures in the event of natural phenomena such as earthquakes, tornadoes, and strong winds. It is achieved by controlling the deformations of the structure. Damage and deformation are closely related concepts since the control of deformations also controls the damage. The design method of applying artificial compression to the ends of all longitudinal reinforced concrete walls and, at the same time, connecting the ends of the walls to the ground using ground anchors placed at the depths of the boreholes, transfers the inertial stresses of the structure in the ground, which reacts as an external force in the structure’s response to seismic displacements. The wall with the artificial compression acquires dynamic, larger active cross-section and high axial and torsional stiffness, preventing all failures caused by inelastic deformation. By connecting the ends of all walls to the ground, we control the eigenfrequency of the structure and the ground during each seismic loading cycle, preventing inelastic displacements. At the same time, we ensure the strong bearing capacity of the foundation soil and the structure. By designing the walls correctly and placing them in proper locations, we prevent the torsional flexural buckling that occurs in asymmetrical floor plans, and metal and tall structures. Compression of the wall sections at the ends and their anchoring to the ground mitigates the transfer of deformations to the connection nodes, strengthens the wall section in terms of base shear force and shear stress of the sections, and increases the strength of the cross-sections to the tensile at the ends of the walls by introducing counteractive forces. The use of tendons within the ducts prevents longitudinal shear in the overlay concrete, while anchoring the walls to the foundation not only dissipates inertial forces to the ground but also prevents rotation of the walls, thus maintaining the structural integrity of the beams. The prestressing at the bilateral ends of the walls restores the structure to its original position even inelastic displacements by closing the opening of the developing cracks.展开更多
Earthquakes pose a significant threat to people’s property and personal safety.Improving the teaching of civil engineering and building structure anti-seismic design courses can enable students to do a good job in an...Earthquakes pose a significant threat to people’s property and personal safety.Improving the teaching of civil engineering and building structure anti-seismic design courses can enable students to do a good job in anti-seismic design in the future and effectively reduce the damage on buildings caused by earthquakes.In this paper,we analyzed the basic characteristics of a course in civil engineering major,which is Anti-Seismic Design of Building Structures,and the shortcomings of traditional teaching.It is proposed that the 3-degrees and 8-combinations teaching mode of anti-seismic design of building structures can effectively improve students’autonomy and enthusiasm in learning,helps to cultivate professional ethics among students,and improve their ability to apply what they have learned.展开更多
Anti-Seismic Design of Building Structures is an important course in civil engineering majors,and it is also a course that pays equal attention to theory and practice.Therefore,by establishing a case base for Anti-Sei...Anti-Seismic Design of Building Structures is an important course in civil engineering majors,and it is also a course that pays equal attention to theory and practice.Therefore,by establishing a case base for Anti-Seismic Design of Building Structures,the obscure theoretical knowledge can be taught to students in the form of examples,and the knowledge becomes intuitive.In this way,the students’understanding of anti-seismic design theory and the efficiency of teaching can be improved,and the students’interest in learning can be stimulated.展开更多
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.展开更多
Through the survey of ancient residences on the Central Plain of China, several ancient residences have been selected as typical cases. By combining with residential features of watchtower, characteristics of these re...Through the survey of ancient residences on the Central Plain of China, several ancient residences have been selected as typical cases. By combining with residential features of watchtower, characteristics of these residences have been analyzed carefully. In order to reasonably illustrate anti-seismic value of watchtower-like residences, their characteristics have been concluded in the perspective of plane form, structural arrangement, and anti-seismic construction measures. The plane form is of tower; the plane and vertical surfaces are regular and even; the wall's thickness is reasonable, and doors and windows are few and small; and bonded stone has been set in the wall, resisting compression.展开更多
The properties of anti-seismic HRB400 steel bars with 25 mm diameter were systematically investigated. The results showed that the properties of the HRB400 reinforced steel bars had been greatly enhanced comparing wit...The properties of anti-seismic HRB400 steel bars with 25 mm diameter were systematically investigated. The results showed that the properties of the HRB400 reinforced steel bars had been greatly enhanced comparing with HRB335 steel bars, i.e. coordination of strength and ductility, strain-aging sensibility, low temperature impact toughness, weld ability and high strain low cycle fatigue. The ductile-brittle transit temperatures of hot-rolled and strain-aged steel bars were evaluated as –17 °C and ?8 °C respectively, and the low temperature impact toughness of HRB400 steel bars remains to be improved. Transmission electron microscopy (TEM) and electron diffraction showed little vanadium existed in ferrite as VN, most of which existed in pearlite as alloy cementite which resulted in the declination of impact toughness. Methods were suggested to improve the anti- seismic properties of steel bars.展开更多
Check-dam construction is an effective and widely used method for sediment trapping in the Yellow River Basin and other places over the world that are prone to severe soil erosion.Quantitative estimations of the dynam...Check-dam construction is an effective and widely used method for sediment trapping in the Yellow River Basin and other places over the world that are prone to severe soil erosion.Quantitative estimations of the dynamic sediment trapped by check dams are necessary for evaluating the effects of check dams and planning the construction of new ones.In this study,we propose a new framework,named soil and water assessment tool(SWAT)–dynamic check dam(DCDam),for modeling the sediment trapped by check dams dynamically,by integrating the widely utilized SWAT model and a newly developed module called DCDam.We then applied this framework to a typical loess watershed,the Yan River Basin,to assess the time-varying effects of check-dam networks over the past 60 years(1957–2016).The DCDam module generated a specific check-dam network to conceptualize the complex connections at each time step(monthly).In addition,the streamflow and sediment load simulated by using the SWAT model were employed to force the sediment routing in the check-dam network.The evaluation results revealed that the SWAT-DCDam framework performed satisfactorily,with an overestimation of 11.50%,in simulating sediment trapped by check dams,when compared with a field survey of the accumulated sediment deposition.For the Yan River Basin,our results indicated that the designed structural parameters of check dams have evolved over the past 60 years,with higher dams(37.14%and 9.22%increase for large dams and medium dams,respectively)but smaller controlled areas(46.03%and 10.56%decrease for large dams and medium dams,respectively)in recent years.Sediment retained by check dams contributed to approximately 15.00%of the total sediment load reduction in the Yan River during 1970–2016.Thus,our developed framework can be a promising tool for evaluating check-dam effects,and this study can provide valuable information and support to decision-making for soil and water conservation and check-dam planning and management.展开更多
Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be v...Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be valid for some products but spurious for others.In this paper,we found that spurious products are primarily due to the failure states,which correspond to the spurious counterexamples.The violated products correspond to the real counterexamples.Hence,identifying counterexamples is a critical problem in detecting violated products.In our approach,we obtain the violated products through the genuine counterexamples,which have no failure state,to avoid the tedious computation of identifying spurious products dealt with by the existing algorithm.This can be executed in parallel to improve the efficiency further.Experimental results showthat our approach performswell,varying with the growth of the system scale.By analyzing counterexamples in the abstract model,we observed that spurious products occur in the failure state.The approach helps in identifying whether a counterexample is spurious or genuine.The approach also helps to check whether a failure state exists in the counterexample.The performance evaluation shows that the proposed approach helps significantly in improving the efficiency of abstraction-based SPL model checking.展开更多
In general, of construction projects, utility anti-seismic technologies, such as hydraulic tie rod or tie rod structural vibration control system, assess efficiency and safety in node structures from earthquakes risk....In general, of construction projects, utility anti-seismic technologies, such as hydraulic tie rod or tie rod structural vibration control system, assess efficiency and safety in node structures from earthquakes risk. According the building construction framework, we exanimate, with experiments, the mechanism of reaction and a patent idea of anti-seismic system with potential conclusions, through using different methods, such as of horizontal seismic insulation, design with elongated rigid columns and design columns without ductility. We provide that we made strong foundation in earthquakes, solar-wind and utility power structural systems and tornados effects in lightweight constructions. We suggest that may fix to existing or under design construction like bridges.展开更多
Nuclear engineering belongs to significant project;there is higher requirement on sitings.The study has discussed basic factors of selecting sites,anti-seismic research on sitings including the seismic ground motion,p...Nuclear engineering belongs to significant project;there is higher requirement on sitings.The study has discussed basic factors of selecting sites,anti-seismic research on sitings including the seismic ground motion,probability methods of seismic hazard analysis as well as interaction about structure and foundation,meanwhile provide the reason for nuclear engineering selecting sites.展开更多
Check dams have been widely used in China’s Loess Plateau region due to their effectiveness in erosion and flood control.However,the safety and stability of the check dam decrease with the operation process,which inc...Check dams have been widely used in China’s Loess Plateau region due to their effectiveness in erosion and flood control.However,the safety and stability of the check dam decrease with the operation process,which increases the probability of dam failure during flood events and threatens local residents’ life and property.Thus,this study simulated flood process of the check dam failure in the Wangmaogou watershed in Yulin City,Shaanxi Province,China,calculated different types of inundation losses based on the flood inundation area within the watershed,and determined the number of key flood protection check dams by classifying the flood risk levels of the check dams.The results showed that 5 dams in the watershed were subject to overtopping during different rainfall return periods,which was related to their flood discharge capacity.Dam failure flood process showed a rapid growth trend followed by slow decrease,and the time of flood peak advanced with increase in the return period.After harmonization of evaluation scales,the magnitude of flood inundation losses can be ranked as:economic losses(212.409 million yuan) > life losses(10.368 million yuan) > ecological losses(6.433 million yuan).The risk value for both individual dams and the whole dam system decreases as the return period increases.The number of key flood protection check dams in the Wangmaogou watershed was 2,3,3,3,4,and 5 for floods with return periods of 10,20,30,50,100,and 200 years,respectively.The results provided a theoretical basis for the safe operation and risk evaluation of check dams in the Loess Plateau Hills watershed.展开更多
Check dams are widely used on the Loess Plateau in China to control soil and water losses,develop agricultural land,and improve watershed ecology.Detailed information on the number and spatial distribution of check da...Check dams are widely used on the Loess Plateau in China to control soil and water losses,develop agricultural land,and improve watershed ecology.Detailed information on the number and spatial distribution of check dams is critical for quantitatively evaluating hydrological and ecological effects and planning the construction of new dams.Thus,this study developed a check dam detection framework for broad areas from high-resolution remote sensing images using an ensemble approach of deep learning and geospatial analysis.First,we made a sample dataset of check dams using GaoFen-2(GF-2)and Google Earth images.Next,we evaluated five popular deep-learning-based object detectors,including Faster R-CNN,You Only Look Once(version 3)(YOLOv3),Cascade R-CNN,YOLOX,and VarifocalNet(VFNet),to identify the best one for check dam detection.Finally,we analyzed the location characteristics of the check dams and used geographical constraints to optimize the detection results.Precision,recall,average precision at intersection over union(IoU)threshold of 0.50(AP_(50)),IoU threshold of 0.75(AP_(75)),and average value for 10 IoU thresholds ranging from 0.50-0.95 with a 0.05 step(AP_(50-95)),and inference time were used to evaluate model performance.All the five deep learning networks could identify check dams quickly and accurately,with AP_(50-95),AP_(50),and AP_(75)values higher than 60.0%,90.0%,and 70.0%,respectively,except for YOLOv3.The VFNet had the best performance,followed by YOLOX.The proposed framework was tested in the Yanhe River Basin and yielded promising results,with a recall rate of 87.0%for 521 check dams.Furthermore,the geographic analysis deleted about 50%of the false detection boxes,increasing the identification accuracy of check dams from 78.6%to 87.6%.Simultaneously,this framework recognized 568 recently constructed check dams and small check dams not recorded in the known check dam survey datasets.The extraction results will support efficient watershed management and guide future studies on soil erosion in the Loess Plateau.展开更多
Soil erosion is a major issue in Loess Plateau,China,and quantitative analyses of sediment sources are crucial for soil erosion control.In this study,a combination of flood couplet analysis and composite fingerprint i...Soil erosion is a major issue in Loess Plateau,China,and quantitative analyses of sediment sources are crucial for soil erosion control.In this study,a combination of flood couplet analysis and composite fingerprint identification was used for historical reconstructions of soil erosion in sediment source areas in Loess Plateau.Each flood couplet was constructed based on sediment 137Cs activity,and past soil erosion was calculated using soil bulk density and storage capacity curves.The contribution rates of the sediment sources were calculated using the fingerprinting method,and the amount of erosion in the sediment source areas was estimated.The best fingerprint combination(Cr,Ni,V,and TOC)enabled a 97.2%recognition of sediment sources from 29 flood events(1956–1990)in the Loess Plateau.The contribution rates of gullies,farmland,grassland,and shrubland were 44.89%,26.38%,10.49%,and 18.24%,respectively.These four land use types contributed 1,227,751,512,and 279 tons of sediments,respectively.Re-vegetation decreased soil erosion(1966–1983),whereas deforestation increased soil erosion(1956–1965 and 1984–1990).Rational soil and water conservation measures on slopes and check dam construction in gullies are therefore suggested to mitigate erosion.展开更多
Driftwood is one of the important physical components in mountainous rivers which causes severe hazards due to the clogging of bridges,culverts,and narrow sections during floods.Therefore,the understanding of driftwoo...Driftwood is one of the important physical components in mountainous rivers which causes severe hazards due to the clogging of bridges,culverts,and narrow sections during floods.Therefore,the understanding of driftwood dynamics and mitigation measures are crucial for managing wood in rivers.Open check dams are the most commonly used engineering measure for preventing driftwood from reaching downstream areas.Nevertheless,these open check dams frequently lose their sediment transport function when they are blocked by sediment and driftwood,especially during major flood events.This paper proposes a new type of open check dam for preventing from clogging.Thus,flume experiments were conducted to examine the influence of different types of open check dams on the characteristics of driftwood deposition.For the model with wood length(LWD)=16.5 cm,wood diameter(D)=15 mm,and wood number(N)=172,the highest trapping efficiency was observed with 90.1%and 87.2%retention rates for the classical debris flow breaker and curved footed open check dams,respectively.Laboratory tests showed that through this proposed design,woody debris blockage in a very short time was prevented from the accumulation of woods beside the dam.In addition to this,most of the sediment passed through the check dam and most of the driftwood got trapped.It can be briefly stated that the geometrical design of the structure plays an important role and can be chosen carefully to optimize trapping efficiency.By designing this type of open check dams in mountain river basins,it may provide a better understanding of the driftwood accumulation and basis for the optimal design of these structures.Further development of the solution proposed in this work can pave the way for designing different types of open check dams for effective flood management.展开更多
Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is f...Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.展开更多
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.展开更多
文摘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 design mechanisms and methods of the invention are intended to minimize problems related to the safety of structures in the event of natural phenomena such as earthquakes, tornadoes, and strong winds. It is achieved by controlling the deformations of the structure. Damage and deformation are closely related concepts since the control of deformations also controls the damage. The design method of applying artificial compression to the ends of all longitudinal reinforced concrete walls and, at the same time, connecting the ends of the walls to the ground using ground anchors placed at the depths of the boreholes, transfers the inertial stresses of the structure in the ground, which reacts as an external force in the structure’s response to seismic displacements. The wall with the artificial compression acquires dynamic, larger active cross-section and high axial and torsional stiffness, preventing all failures caused by inelastic deformation. By connecting the ends of all walls to the ground, we control the eigenfrequency of the structure and the ground during each seismic loading cycle, preventing inelastic displacements. At the same time, we ensure the strong bearing capacity of the foundation soil and the structure. By designing the walls correctly and placing them in proper locations, we prevent the torsional flexural buckling that occurs in asymmetrical floor plans, and metal and tall structures. Compression of the wall sections at the ends and their anchoring to the ground mitigates the transfer of deformations to the connection nodes, strengthens the wall section in terms of base shear force and shear stress of the sections, and increases the strength of the cross-sections to the tensile at the ends of the walls by introducing counteractive forces. The use of tendons within the ducts prevents longitudinal shear in the overlay concrete, while anchoring the walls to the foundation not only dissipates inertial forces to the ground but also prevents rotation of the walls, thus maintaining the structural integrity of the beams. The prestressing at the bilateral ends of the walls restores the structure to its original position even inelastic displacements by closing the opening of the developing cracks.
文摘Earthquakes pose a significant threat to people’s property and personal safety.Improving the teaching of civil engineering and building structure anti-seismic design courses can enable students to do a good job in anti-seismic design in the future and effectively reduce the damage on buildings caused by earthquakes.In this paper,we analyzed the basic characteristics of a course in civil engineering major,which is Anti-Seismic Design of Building Structures,and the shortcomings of traditional teaching.It is proposed that the 3-degrees and 8-combinations teaching mode of anti-seismic design of building structures can effectively improve students’autonomy and enthusiasm in learning,helps to cultivate professional ethics among students,and improve their ability to apply what they have learned.
文摘Anti-Seismic Design of Building Structures is an important course in civil engineering majors,and it is also a course that pays equal attention to theory and practice.Therefore,by establishing a case base for Anti-Seismic Design of Building Structures,the obscure theoretical knowledge can be taught to students in the form of examples,and the knowledge becomes intuitive.In this way,the students’understanding of anti-seismic design theory and the efficiency of teaching can be improved,and the students’interest in learning can be stimulated.
基金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.
基金Supported by Project of Department of Education of Henan Province of 2008 (20008A560007)~~
文摘Through the survey of ancient residences on the Central Plain of China, several ancient residences have been selected as typical cases. By combining with residential features of watchtower, characteristics of these residences have been analyzed carefully. In order to reasonably illustrate anti-seismic value of watchtower-like residences, their characteristics have been concluded in the perspective of plane form, structural arrangement, and anti-seismic construction measures. The plane form is of tower; the plane and vertical surfaces are regular and even; the wall's thickness is reasonable, and doors and windows are few and small; and bonded stone has been set in the wall, resisting compression.
文摘The properties of anti-seismic HRB400 steel bars with 25 mm diameter were systematically investigated. The results showed that the properties of the HRB400 reinforced steel bars had been greatly enhanced comparing with HRB335 steel bars, i.e. coordination of strength and ductility, strain-aging sensibility, low temperature impact toughness, weld ability and high strain low cycle fatigue. The ductile-brittle transit temperatures of hot-rolled and strain-aged steel bars were evaluated as –17 °C and ?8 °C respectively, and the low temperature impact toughness of HRB400 steel bars remains to be improved. Transmission electron microscopy (TEM) and electron diffraction showed little vanadium existed in ferrite as VN, most of which existed in pearlite as alloy cementite which resulted in the declination of impact toughness. Methods were suggested to improve the anti- seismic properties of steel bars.
基金funded by the Strategic Priority Research Program of Chinese Academy of Sciences(XDB40020205)the National Natural Science Foundation of China(U2243210,42041006,42207401,42271025,and 31961143011)+8 种基金Key Laboratory of Degraded and Unused Land Consolidation Engineering of the Ministry of Natural Resources of the People’s Republic of China(SXDJ2019-5)the Key Research and Development Program of Shaanxi Province(2022ZDLSF06-04)the Innovation Team of Shaanxi Province(2021TD-52)the Technology Innovation Center for Land Engineering and Human Settlements,Shaanxi Land Engineering Construction Group Co.,Ltd.and Xi’an Jiaotong University(201912131-B2)the Foundation of Development on Science and Technology by Yellow River Institute of Hydraulic Research(HKF202205)the Scientific Research Foundation of Yellow River Institute of Hydraulic Research(HKY-JBYW-2022-09)the"Light of the West"talent program of the Chinese Academy of Science,the Key Research and Development Project in Shaanxi Province(S2020-YF-GHZD-0061)the National Thousand Youth Talent Program of Chinathe Shaanxi Hundred Talent Program。
文摘Check-dam construction is an effective and widely used method for sediment trapping in the Yellow River Basin and other places over the world that are prone to severe soil erosion.Quantitative estimations of the dynamic sediment trapped by check dams are necessary for evaluating the effects of check dams and planning the construction of new ones.In this study,we propose a new framework,named soil and water assessment tool(SWAT)–dynamic check dam(DCDam),for modeling the sediment trapped by check dams dynamically,by integrating the widely utilized SWAT model and a newly developed module called DCDam.We then applied this framework to a typical loess watershed,the Yan River Basin,to assess the time-varying effects of check-dam networks over the past 60 years(1957–2016).The DCDam module generated a specific check-dam network to conceptualize the complex connections at each time step(monthly).In addition,the streamflow and sediment load simulated by using the SWAT model were employed to force the sediment routing in the check-dam network.The evaluation results revealed that the SWAT-DCDam framework performed satisfactorily,with an overestimation of 11.50%,in simulating sediment trapped by check dams,when compared with a field survey of the accumulated sediment deposition.For the Yan River Basin,our results indicated that the designed structural parameters of check dams have evolved over the past 60 years,with higher dams(37.14%and 9.22%increase for large dams and medium dams,respectively)but smaller controlled areas(46.03%and 10.56%decrease for large dams and medium dams,respectively)in recent years.Sediment retained by check dams contributed to approximately 15.00%of the total sediment load reduction in the Yan River during 1970–2016.Thus,our developed framework can be a promising tool for evaluating check-dam effects,and this study can provide valuable information and support to decision-making for soil and water conservation and check-dam planning and management.
基金supported by the Fund of ExcellentYouth Scientific and Technological Innovation Team of Hubei’s Universities(Project No:T201818)Science and Technology Research Program of Hubei Provincial Education Department(Project No:Q20143005)Guiding project of scientific research plan of Hubei Provincial Department of Education(Project No:B2021261).
文摘Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be valid for some products but spurious for others.In this paper,we found that spurious products are primarily due to the failure states,which correspond to the spurious counterexamples.The violated products correspond to the real counterexamples.Hence,identifying counterexamples is a critical problem in detecting violated products.In our approach,we obtain the violated products through the genuine counterexamples,which have no failure state,to avoid the tedious computation of identifying spurious products dealt with by the existing algorithm.This can be executed in parallel to improve the efficiency further.Experimental results showthat our approach performswell,varying with the growth of the system scale.By analyzing counterexamples in the abstract model,we observed that spurious products occur in the failure state.The approach helps in identifying whether a counterexample is spurious or genuine.The approach also helps to check whether a failure state exists in the counterexample.The performance evaluation shows that the proposed approach helps significantly in improving the efficiency of abstraction-based SPL model checking.
文摘In general, of construction projects, utility anti-seismic technologies, such as hydraulic tie rod or tie rod structural vibration control system, assess efficiency and safety in node structures from earthquakes risk. According the building construction framework, we exanimate, with experiments, the mechanism of reaction and a patent idea of anti-seismic system with potential conclusions, through using different methods, such as of horizontal seismic insulation, design with elongated rigid columns and design columns without ductility. We provide that we made strong foundation in earthquakes, solar-wind and utility power structural systems and tornados effects in lightweight constructions. We suggest that may fix to existing or under design construction like bridges.
文摘Nuclear engineering belongs to significant project;there is higher requirement on sitings.The study has discussed basic factors of selecting sites,anti-seismic research on sitings including the seismic ground motion,probability methods of seismic hazard analysis as well as interaction about structure and foundation,meanwhile provide the reason for nuclear engineering selecting sites.
基金supported by the National Natural Science Foundation of China (Grant 42077073, 42373063, 42307447)Natural Science Basic Research Plan in Shaanxi Province of China (2022KJXX-62)。
文摘Check dams have been widely used in China’s Loess Plateau region due to their effectiveness in erosion and flood control.However,the safety and stability of the check dam decrease with the operation process,which increases the probability of dam failure during flood events and threatens local residents’ life and property.Thus,this study simulated flood process of the check dam failure in the Wangmaogou watershed in Yulin City,Shaanxi Province,China,calculated different types of inundation losses based on the flood inundation area within the watershed,and determined the number of key flood protection check dams by classifying the flood risk levels of the check dams.The results showed that 5 dams in the watershed were subject to overtopping during different rainfall return periods,which was related to their flood discharge capacity.Dam failure flood process showed a rapid growth trend followed by slow decrease,and the time of flood peak advanced with increase in the return period.After harmonization of evaluation scales,the magnitude of flood inundation losses can be ranked as:economic losses(212.409 million yuan) > life losses(10.368 million yuan) > ecological losses(6.433 million yuan).The risk value for both individual dams and the whole dam system decreases as the return period increases.The number of key flood protection check dams in the Wangmaogou watershed was 2,3,3,3,4,and 5 for floods with return periods of 10,20,30,50,100,and 200 years,respectively.The results provided a theoretical basis for the safe operation and risk evaluation of check dams in the Loess Plateau Hills watershed.
基金This research was supported by the National Natural Science Foundation of China(41977064)the National Key R&D Program of China(2021YFD1900700).
文摘Check dams are widely used on the Loess Plateau in China to control soil and water losses,develop agricultural land,and improve watershed ecology.Detailed information on the number and spatial distribution of check dams is critical for quantitatively evaluating hydrological and ecological effects and planning the construction of new dams.Thus,this study developed a check dam detection framework for broad areas from high-resolution remote sensing images using an ensemble approach of deep learning and geospatial analysis.First,we made a sample dataset of check dams using GaoFen-2(GF-2)and Google Earth images.Next,we evaluated five popular deep-learning-based object detectors,including Faster R-CNN,You Only Look Once(version 3)(YOLOv3),Cascade R-CNN,YOLOX,and VarifocalNet(VFNet),to identify the best one for check dam detection.Finally,we analyzed the location characteristics of the check dams and used geographical constraints to optimize the detection results.Precision,recall,average precision at intersection over union(IoU)threshold of 0.50(AP_(50)),IoU threshold of 0.75(AP_(75)),and average value for 10 IoU thresholds ranging from 0.50-0.95 with a 0.05 step(AP_(50-95)),and inference time were used to evaluate model performance.All the five deep learning networks could identify check dams quickly and accurately,with AP_(50-95),AP_(50),and AP_(75)values higher than 60.0%,90.0%,and 70.0%,respectively,except for YOLOv3.The VFNet had the best performance,followed by YOLOX.The proposed framework was tested in the Yanhe River Basin and yielded promising results,with a recall rate of 87.0%for 521 check dams.Furthermore,the geographic analysis deleted about 50%of the false detection boxes,increasing the identification accuracy of check dams from 78.6%to 87.6%.Simultaneously,this framework recognized 568 recently constructed check dams and small check dams not recorded in the known check dam survey datasets.The extraction results will support efficient watershed management and guide future studies on soil erosion in the Loess Plateau.
基金supported by the Project of Creating Ordos National Sustainable Development Agenda Innovation Demonstration Zone(Grant 2022EEDSKJXM005)Natural Science Foundation of China(Grant 42077073)+3 种基金Natural Science Basic Research Plan in Shaanxi Province of China(2022KJXX-62)the Project of Shaanxi Coal and Chemical Industry Group Co.,Ltd(2022SMHKJ-A-J07-02,2022SMHKJ-B-J-54)the Project of AnHui Water Resources Development Co.,Ltd(KY-2021-13)。
文摘Soil erosion is a major issue in Loess Plateau,China,and quantitative analyses of sediment sources are crucial for soil erosion control.In this study,a combination of flood couplet analysis and composite fingerprint identification was used for historical reconstructions of soil erosion in sediment source areas in Loess Plateau.Each flood couplet was constructed based on sediment 137Cs activity,and past soil erosion was calculated using soil bulk density and storage capacity curves.The contribution rates of the sediment sources were calculated using the fingerprinting method,and the amount of erosion in the sediment source areas was estimated.The best fingerprint combination(Cr,Ni,V,and TOC)enabled a 97.2%recognition of sediment sources from 29 flood events(1956–1990)in the Loess Plateau.The contribution rates of gullies,farmland,grassland,and shrubland were 44.89%,26.38%,10.49%,and 18.24%,respectively.These four land use types contributed 1,227,751,512,and 279 tons of sediments,respectively.Re-vegetation decreased soil erosion(1966–1983),whereas deforestation increased soil erosion(1956–1965 and 1984–1990).Rational soil and water conservation measures on slopes and check dam construction in gullies are therefore suggested to mitigate erosion.
文摘Driftwood is one of the important physical components in mountainous rivers which causes severe hazards due to the clogging of bridges,culverts,and narrow sections during floods.Therefore,the understanding of driftwood dynamics and mitigation measures are crucial for managing wood in rivers.Open check dams are the most commonly used engineering measure for preventing driftwood from reaching downstream areas.Nevertheless,these open check dams frequently lose their sediment transport function when they are blocked by sediment and driftwood,especially during major flood events.This paper proposes a new type of open check dam for preventing from clogging.Thus,flume experiments were conducted to examine the influence of different types of open check dams on the characteristics of driftwood deposition.For the model with wood length(LWD)=16.5 cm,wood diameter(D)=15 mm,and wood number(N)=172,the highest trapping efficiency was observed with 90.1%and 87.2%retention rates for the classical debris flow breaker and curved footed open check dams,respectively.Laboratory tests showed that through this proposed design,woody debris blockage in a very short time was prevented from the accumulation of woods beside the dam.In addition to this,most of the sediment passed through the check dam and most of the driftwood got trapped.It can be briefly stated that the geometrical design of the structure plays an important role and can be chosen carefully to optimize trapping efficiency.By designing this type of open check dams in mountain river basins,it may provide a better understanding of the driftwood accumulation and basis for the optimal design of these structures.Further development of the solution proposed in this work can pave the way for designing different types of open check dams for effective flood management.
文摘Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.
文摘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.