A novel algorithm named randomized binary gravita- tional search (RBGS) algorithm is proposed for the set covering problem (SCP). It differs from previous SCP approaches because it does not work directly on the SC...A novel algorithm named randomized binary gravita- tional search (RBGS) algorithm is proposed for the set covering problem (SCP). It differs from previous SCP approaches because it does not work directly on the SCP matrix. In the proposed algo- rithm, the solution of SCP is viewed as multi-dimension position of objects in the binary search space. All objects in the space attract each other by the gravity force, and this force causes a global movement of all objects towards the objects with heavier masses which correspond to good solutions. Computation results show that the proposed algorithm is very competitive. In addition, the proposed aigodthm is extended for SCP to solve the fault diagno- sis problem in graph-based systems.展开更多
Thirty one cases of the achalasia underwent myotomywith omentum covering and cardio-valvoplasty from 1983to 1988 at our hospital. Follow-up study, one to 4 yearspostoperatively, showed that 29 cases (93.5%) of themwit...Thirty one cases of the achalasia underwent myotomywith omentum covering and cardio-valvoplasty from 1983to 1988 at our hospital. Follow-up study, one to 4 yearspostoperatively, showed that 29 cases (93.5%) of themwith excellent results, only 2 cases(6.5%)showed slightdysphagia. The advantages of this procedure are as fol-lows: 1. relief of obstruction at lower end of esophagusand cardia preventing the recurrence of stenosis; 2. pre-vention of occurence of reflux esophagitis; 3. no altera-tion of normal anatomy of the esophagocardia region andno intervention of mucosa; 4. simplicity and safety ofthis procedure.展开更多
This paper proposes a novel pair of induced IF covering approximation operators in an IF covering approximation space,and discusses some basic properties about definable IFSs.A measure is defined to describe the uncer...This paper proposes a novel pair of induced IF covering approximation operators in an IF covering approximation space,and discusses some basic properties about definable IFSs.A measure is defined to describe the uncertainty of IFSs in IF covering approximation spaces.Finally,we study the properties of reductions of an IF covering respectively based on induced IF covering approximation operators and IF covering approximation operators.展开更多
Covering rough sets are improvements of traditional rough sets by considering cover of universe instead of partition.In this paper,we develop several measures based on evidence theory to characterize covering rough se...Covering rough sets are improvements of traditional rough sets by considering cover of universe instead of partition.In this paper,we develop several measures based on evidence theory to characterize covering rough sets.First,we present belief and plausibility functions in covering information systems and study their properties.With these measures we characterize lower and upper approximation operators and attribute reductions in covering information systems and decision systems respectively.With these discussions we propose a basic framework of numerical characterizations of covering rough sets.展开更多
Since the beginning of the 21st century,advances in big data and artificial intelligence have driven a paradigm shift in the geosciences,moving the field from qualitative descriptions toward quantitative analysis,from...Since the beginning of the 21st century,advances in big data and artificial intelligence have driven a paradigm shift in the geosciences,moving the field from qualitative descriptions toward quantitative analysis,from observing phenomena to uncovering underlying mechanisms,from regional-scale investigations to global perspectives,and from experience-based inference toward data-and model-enabled intelligent prediction.AlphaEarth Foundations(AEF)is a next-generation geospatial intelligence platform that addresses these changes by introducing a unified 64-dimensional shared embedding space,enabling-for the first time-standardized representation and seamless integration of 12 distinct types of Earth observation data,including optical,radar,and lidar.This framework significantly improves data assimilation efficiency and resolves the persistent problem of“data silos”in geoscience research.AEF is helping redefine research methodologies and fostering breakthroughs,particularly in quantitative Earth system science.This paper systematically examines how AEF’s innovative architecture-featuring multi-source data fusion,high-dimensional feature representation learning,and a scalable computational framework-facilitates intelligent,precise,and realtime data-driven geoscientific research.Using case studies from resource and environmental applications,we demonstrate AEF’s broad potential and identify emerging innovation needs.Our findings show that AEF not only enhances the efficiency of solving traditional geoscientific problems but also stimulates novel research directions and methodological approaches.展开更多
Background Agroecological cropping systems are recognised as an alternative way to ensure the sustainability of cotton(Gossypium hirsutum L.) production in the context of climate change and degradation of soil fertili...Background Agroecological cropping systems are recognised as an alternative way to ensure the sustainability of cotton(Gossypium hirsutum L.) production in the context of climate change and degradation of soil fertility. A study was conducted in Benin from 2020 to 2023 to compare six different cotton cultivars in three agroecological cropping systems in two cotton-growing zones. Plough-based tillage plus incorporation of cover crop biomass(PTI), conservation agriculture with strip tillage(CA_ST), and conservation agriculture with no tillage(CA_NT) were compared with the reference plough-based tillage(PT). The objective was to identify morpho-physiological traits of cotton that increase yield in agroecological cropping systems. Our approach combined a field experiment and crop simulation model(CSM) of CROPGRO-Cotton to evaluate the effects of genotype(G) × environment(E) × management(M) interactions on seed cotton yield(SCY).Results Cultivars Tamcot_camde and Okp768 and simulated ideotypes performed best in CA systems. Increased seed mass, large and thick leaves, and later maturity were identified as beneficial for yield enhancement in CA systems. Cultivars and ideotypes that combine these traits also resulted in better nitrogen and water use efficiencies in CA systems. Under different climate scenarios up to 2050, ideotypes designed could increase SCY in Benin.Conclusion A set of morpho-physiological traits associated with vegetative vigour is required to ensure a good SCY in agroecological cropping systems. These results provide scientific evidence and useful knowledge for breeders and research programmes on cropping systems focused on the adaptation of cotton to climate change.展开更多
Existed evidences show that airborne transmission of human respiratory droplets may be related with the spread of some infectious disease, such as severe acute respiratory syndrome (SARS) and H1N1 pandemic. Non-phar...Existed evidences show that airborne transmission of human respiratory droplets may be related with the spread of some infectious disease, such as severe acute respiratory syndrome (SARS) and H1N1 pandemic. Non-pharmaceutical approaches, including ventilation system and personal protection, are believed to have certain positive effects on the reduction of co-occupant's inhalation. This work then aims to numerically study the performances of mouth covering on co-occupant's exposure under mixing ventilation (MV), under-floor air distribution (UFAD) and displacement ventilation (DV) system, using drift-flux model. Desk partition, as one generally employed arrangement in plan office, is also investigated under MV. The dispersion of 1, 5 and 10 grn droplet residuals are numerically calculated and CO2 is used to represent tracer gas. The results show that using mouth covering by the infected person can reduce the co-occupant's inhalation greatly by interrupting direct spread of the expelled droplets, and best performance can be achieved under DV since the coughed air is mainly confined in the microenvironment of the infected person. The researches under MV show that the two interventions, mouth covering and desk partition, achieve almost the sarae inhalation for fine droplets while the inhalation of the co-occupant is lower when using mouth covering for large droplets.展开更多
According to the compound packing problem in ammunition supply system in our army, the non-standard pallet series design model is proposed, and the original problem that can be solved as a set cover problem with a nes...According to the compound packing problem in ammunition supply system in our army, the non-standard pallet series design model is proposed, and the original problem that can be solved as a set cover problem with a nested bin-packing problem, is analyzed, then two heuristic algorithms are applied to solve the problem.展开更多
由于静态代码审计工具具有自动化、不容易出错的特点,开发人员经常使用它来检测代码漏洞,但是检测出的代码漏洞的结果会产生大量的警告信息,开发人员必须手动进行检查和纠正。此工具的缺点是浪费开发人员大量的时间。通过对用户的输入...由于静态代码审计工具具有自动化、不容易出错的特点,开发人员经常使用它来检测代码漏洞,但是检测出的代码漏洞的结果会产生大量的警告信息,开发人员必须手动进行检查和纠正。此工具的缺点是浪费开发人员大量的时间。通过对用户的输入以及敏感数据流的追踪来确定警告的缺陷是否真的被利用,从而减少静态检测工具产生的大量警告数量。同时提供给开发者更多真正能对软件产生威胁的警告信息。针对静态代码审计工具的缺点,研究三种不同的方法来提高静态代码审计工具的性能。第一,对于商业性的静态代码分析工具Coverity,重新分析它的结果,并且从安全的角度创建一组具体的相关警告。第二,对开放的源代码分析工具Findbugs进行修改,并只对被用户输入所污染的代码进行分析。第三,研发灰盒代码审计工具,此工具侧重于Java代码中的跨站脚本攻击XSS(Cross Site Scripting),使用数据流分析的方法来确定漏洞的切入点。实验结果证明工程B使警告数量降低了20%,工程E只产生了2%的警告,降低了工具产生警告的数量,为开发人员提供更多的信息来区分此警告是否是真正的安全威胁。展开更多
Earth Science Frontiers is a bi-monthly publication in Chinese with English abstracts for most papers; a few articles are published entirely in English. It is a medium for the publication of original and forefront res...Earth Science Frontiers is a bi-monthly publication in Chinese with English abstracts for most papers; a few articles are published entirely in English. It is a medium for the publication of original and forefront research and high quality reviews covering recent advances in all fields of Earth Sciences. Each issue is devoted to a single topic and edited by an authority in that field.展开更多
The water quality of many karst formations in southern Zagros macrotectonical unit is related to natural geological and hydrogeological conditions and ground water mismanagement. Evaporatic sediments inciuding: gypsum...The water quality of many karst formations in southern Zagros macrotectonical unit is related to natural geological and hydrogeological conditions and ground water mismanagement. Evaporatic sediments inciuding: gypsum, anhydrite, salt, marl, and marly limestone are existed in some formations such as: Kazhdomi, Pabdeh-Gurpi, Gachsaran, Mishan and Agha Jari formations. This situation makes the covering layers of the karst formations changing the water quality by rainfall and runoff infiltration The most important factors that strikingly differ the water quality are the distribution of innumerable salt domes (180 diapirs between 6-200 km^2) and the out gassing of oil reservoir and geothermal effects in the karst cerranes of southern Zagros range.展开更多
基金supported by the National Natural Science Foundation of China (4100605850909096)
文摘A novel algorithm named randomized binary gravita- tional search (RBGS) algorithm is proposed for the set covering problem (SCP). It differs from previous SCP approaches because it does not work directly on the SCP matrix. In the proposed algo- rithm, the solution of SCP is viewed as multi-dimension position of objects in the binary search space. All objects in the space attract each other by the gravity force, and this force causes a global movement of all objects towards the objects with heavier masses which correspond to good solutions. Computation results show that the proposed algorithm is very competitive. In addition, the proposed aigodthm is extended for SCP to solve the fault diagno- sis problem in graph-based systems.
文摘Thirty one cases of the achalasia underwent myotomywith omentum covering and cardio-valvoplasty from 1983to 1988 at our hospital. Follow-up study, one to 4 yearspostoperatively, showed that 29 cases (93.5%) of themwith excellent results, only 2 cases(6.5%)showed slightdysphagia. The advantages of this procedure are as fol-lows: 1. relief of obstruction at lower end of esophagusand cardia preventing the recurrence of stenosis; 2. pre-vention of occurence of reflux esophagitis; 3. no altera-tion of normal anatomy of the esophagocardia region andno intervention of mucosa; 4. simplicity and safety ofthis procedure.
基金supported by the National Natural Science Foundation of China(Nos.60773174 and 60963006)Hebei Province Science and Technology Research and Development Program(No.09276158).
文摘This paper proposes a novel pair of induced IF covering approximation operators in an IF covering approximation space,and discusses some basic properties about definable IFSs.A measure is defined to describe the uncertainty of IFSs in IF covering approximation spaces.Finally,we study the properties of reductions of an IF covering respectively based on induced IF covering approximation operators and IF covering approximation operators.
基金supported by a grant of NSFC(70871036)a grant of National Basic Research Program of China(2009CB219801-3)
文摘Covering rough sets are improvements of traditional rough sets by considering cover of universe instead of partition.In this paper,we develop several measures based on evidence theory to characterize covering rough sets.First,we present belief and plausibility functions in covering information systems and study their properties.With these measures we characterize lower and upper approximation operators and attribute reductions in covering information systems and decision systems respectively.With these discussions we propose a basic framework of numerical characterizations of covering rough sets.
基金National Natural Science Foundation of China Key Project(No.42050103)Higher Education Disciplinary Innovation Program(No.B25052)+2 种基金the Guangdong Pearl River Talent Program Innovative and Entrepreneurial Team Project(No.2021ZT09H399)the Ministry of Education’s Frontiers Science Center for Deep-Time Digital Earth(DDE)(No.2652023001)Geological Survey Project of China Geological Survey(DD20240206201)。
文摘Since the beginning of the 21st century,advances in big data and artificial intelligence have driven a paradigm shift in the geosciences,moving the field from qualitative descriptions toward quantitative analysis,from observing phenomena to uncovering underlying mechanisms,from regional-scale investigations to global perspectives,and from experience-based inference toward data-and model-enabled intelligent prediction.AlphaEarth Foundations(AEF)is a next-generation geospatial intelligence platform that addresses these changes by introducing a unified 64-dimensional shared embedding space,enabling-for the first time-standardized representation and seamless integration of 12 distinct types of Earth observation data,including optical,radar,and lidar.This framework significantly improves data assimilation efficiency and resolves the persistent problem of“data silos”in geoscience research.AEF is helping redefine research methodologies and fostering breakthroughs,particularly in quantitative Earth system science.This paper systematically examines how AEF’s innovative architecture-featuring multi-source data fusion,high-dimensional feature representation learning,and a scalable computational framework-facilitates intelligent,precise,and realtime data-driven geoscientific research.Using case studies from resource and environmental applications,we demonstrate AEF’s broad potential and identify emerging innovation needs.Our findings show that AEF not only enhances the efficiency of solving traditional geoscientific problems but also stimulates novel research directions and methodological approaches.
基金supported by the Benin Cotton Research Institute (IRC)the Cotton Interprofessional Association (AIC)+1 种基金the French Agricultural Research Centre for International Development (CIRAD)the TAZCO_(2) project (Transition Agroécologique des Zones Cotonnières du Bénin),which is funded by the Republic of Benin and the French Development Agency (AFD)。
文摘Background Agroecological cropping systems are recognised as an alternative way to ensure the sustainability of cotton(Gossypium hirsutum L.) production in the context of climate change and degradation of soil fertility. A study was conducted in Benin from 2020 to 2023 to compare six different cotton cultivars in three agroecological cropping systems in two cotton-growing zones. Plough-based tillage plus incorporation of cover crop biomass(PTI), conservation agriculture with strip tillage(CA_ST), and conservation agriculture with no tillage(CA_NT) were compared with the reference plough-based tillage(PT). The objective was to identify morpho-physiological traits of cotton that increase yield in agroecological cropping systems. Our approach combined a field experiment and crop simulation model(CSM) of CROPGRO-Cotton to evaluate the effects of genotype(G) × environment(E) × management(M) interactions on seed cotton yield(SCY).Results Cultivars Tamcot_camde and Okp768 and simulated ideotypes performed best in CA systems. Increased seed mass, large and thick leaves, and later maturity were identified as beneficial for yield enhancement in CA systems. Cultivars and ideotypes that combine these traits also resulted in better nitrogen and water use efficiencies in CA systems. Under different climate scenarios up to 2050, ideotypes designed could increase SCY in Benin.Conclusion A set of morpho-physiological traits associated with vegetative vigour is required to ensure a good SCY in agroecological cropping systems. These results provide scientific evidence and useful knowledge for breeders and research programmes on cropping systems focused on the adaptation of cotton to climate change.
基金funded by Research Grant Committee of the Hong Kong SAR government (RGC No. PolyU5265/08E)
文摘Existed evidences show that airborne transmission of human respiratory droplets may be related with the spread of some infectious disease, such as severe acute respiratory syndrome (SARS) and H1N1 pandemic. Non-pharmaceutical approaches, including ventilation system and personal protection, are believed to have certain positive effects on the reduction of co-occupant's inhalation. This work then aims to numerically study the performances of mouth covering on co-occupant's exposure under mixing ventilation (MV), under-floor air distribution (UFAD) and displacement ventilation (DV) system, using drift-flux model. Desk partition, as one generally employed arrangement in plan office, is also investigated under MV. The dispersion of 1, 5 and 10 grn droplet residuals are numerically calculated and CO2 is used to represent tracer gas. The results show that using mouth covering by the infected person can reduce the co-occupant's inhalation greatly by interrupting direct spread of the expelled droplets, and best performance can be achieved under DV since the coughed air is mainly confined in the microenvironment of the infected person. The researches under MV show that the two interventions, mouth covering and desk partition, achieve almost the sarae inhalation for fine droplets while the inhalation of the co-occupant is lower when using mouth covering for large droplets.
文摘According to the compound packing problem in ammunition supply system in our army, the non-standard pallet series design model is proposed, and the original problem that can be solved as a set cover problem with a nested bin-packing problem, is analyzed, then two heuristic algorithms are applied to solve the problem.
文摘由于静态代码审计工具具有自动化、不容易出错的特点,开发人员经常使用它来检测代码漏洞,但是检测出的代码漏洞的结果会产生大量的警告信息,开发人员必须手动进行检查和纠正。此工具的缺点是浪费开发人员大量的时间。通过对用户的输入以及敏感数据流的追踪来确定警告的缺陷是否真的被利用,从而减少静态检测工具产生的大量警告数量。同时提供给开发者更多真正能对软件产生威胁的警告信息。针对静态代码审计工具的缺点,研究三种不同的方法来提高静态代码审计工具的性能。第一,对于商业性的静态代码分析工具Coverity,重新分析它的结果,并且从安全的角度创建一组具体的相关警告。第二,对开放的源代码分析工具Findbugs进行修改,并只对被用户输入所污染的代码进行分析。第三,研发灰盒代码审计工具,此工具侧重于Java代码中的跨站脚本攻击XSS(Cross Site Scripting),使用数据流分析的方法来确定漏洞的切入点。实验结果证明工程B使警告数量降低了20%,工程E只产生了2%的警告,降低了工具产生警告的数量,为开发人员提供更多的信息来区分此警告是否是真正的安全威胁。
文摘Earth Science Frontiers is a bi-monthly publication in Chinese with English abstracts for most papers; a few articles are published entirely in English. It is a medium for the publication of original and forefront research and high quality reviews covering recent advances in all fields of Earth Sciences. Each issue is devoted to a single topic and edited by an authority in that field.
文摘The water quality of many karst formations in southern Zagros macrotectonical unit is related to natural geological and hydrogeological conditions and ground water mismanagement. Evaporatic sediments inciuding: gypsum, anhydrite, salt, marl, and marly limestone are existed in some formations such as: Kazhdomi, Pabdeh-Gurpi, Gachsaran, Mishan and Agha Jari formations. This situation makes the covering layers of the karst formations changing the water quality by rainfall and runoff infiltration The most important factors that strikingly differ the water quality are the distribution of innumerable salt domes (180 diapirs between 6-200 km^2) and the out gassing of oil reservoir and geothermal effects in the karst cerranes of southern Zagros range.