As the trend to use the latestmachine learning models to automate requirements engineering processes continues,security requirements classification is tuning into the most researched field in the software engineering ...As the trend to use the latestmachine learning models to automate requirements engineering processes continues,security requirements classification is tuning into the most researched field in the software engineering community.Previous literature studies have proposed numerousmodels for the classification of security requirements.However,adopting those models is constrained due to the lack of essential datasets permitting the repetition and generalization of studies employing more advanced machine learning algorithms.Moreover,most of the researchers focus only on the classification of requirements with security keywords.They did not consider other nonfunctional requirements(NFR)directly or indirectly related to security.This has been identified as a significant research gap in security requirements engineering.The major objective of this study is to propose a security requirements classification model that categorizes security and other relevant security requirements.We use PROMISE_exp and DOSSPRE,the two most commonly used datasets in the software engineering community.The proposed methodology consists of two steps.In the first step,we analyze all the nonfunctional requirements and their relation with security requirements.We found 10 NFRs that have a strong relationship with security requirements.In the second step,we categorize those NFRs in the security requirements category.Our proposedmethodology is a hybridmodel based on the ConvolutionalNeural Network(CNN)and Extreme Gradient Boosting(XGBoost)models.Moreover,we evaluate the model by updating the requirement type column with a binary classification column in the dataset to classify the requirements into security and non-security categories.The performance is evaluated using four metrics:recall,precision,accuracy,and F1 Score with 20 and 28 epochs number and batch size of 32 for PROMISE_exp and DOSSPRE datasets and achieved 87.3%and 85.3%accuracy,respectively.The proposed study shows an enhancement in metrics values compared to the previous literature studies.This is a proof of concept for systematizing the evaluation of security recognition in software systems during the early phases of software development.展开更多
China's perfume market has been experiencing significant growth.The “2024 China Perfume and Fragrance White Paper”,jointly published by Eternal Group,DSM-Firmenich,and Ipsos in September 2024,reveals that the ma...China's perfume market has been experiencing significant growth.The “2024 China Perfume and Fragrance White Paper”,jointly published by Eternal Group,DSM-Firmenich,and Ipsos in September 2024,reveals that the market surged from 11.4 billion yuan in 2018 to 22.9 billion yuan in 2023,achieving a compound annual growth rate(CAGR) of 15%.With projections estimating a rise to 44 billion yuan by 2028 at a 14% CAGR,the sector's long-term growth prospects remain strong.展开更多
Conventional proton exchange membrane(PEM)electrolysis technology relies on ultrapure water,as cationic impurities(such as Na^(+),Ca^(2+) and Fe^(3+))can occupy H+transport sites in the membrane[1],leading to a sharp ...Conventional proton exchange membrane(PEM)electrolysis technology relies on ultrapure water,as cationic impurities(such as Na^(+),Ca^(2+) and Fe^(3+))can occupy H+transport sites in the membrane[1],leading to a sharp rise in cathode pH,catalyst deactivation,and membrane degradation[2].This forces the system to be equipped with complex water purification equipment and even necessitates the replacement of membrane electrode assemblies(MEAs),increasing the levelized cost of hydrogen(LCOH)[3].To address this,Tao Ling's group recently proposed a"local pH regulation"strategy in Nature Energy[4].展开更多
The advent of large language models(LLMs)has made knowledge acquisition and content creation increasingly easier and cheaper,which in turn redefines learning and urges transformation in software engineering education....The advent of large language models(LLMs)has made knowledge acquisition and content creation increasingly easier and cheaper,which in turn redefines learning and urges transformation in software engineering education.To do so,there is a need to understand the impact of LLMs on software engineering education.In this paper,we conducted a preliminary case study on three software requirements engineering classes where students are allowed to use LLMs to assist in their projects.Based on the students’experience,performance,and feedback from a survey conducted at the end of the courses,we characterized the challenges and benefits of applying LLMs in software engineering education.This research contributes to the ongoing discourse on the integration of LLMs in education,emphasizing both their prominent potential and the need for balanced,mindful usage.展开更多
Communications system has a signifi-cant impact on both operational safety and logisti-cal efficiency within low-altitude drone logistics net-works.Aiming at providing a systematic investiga-tion of real-world communi...Communications system has a signifi-cant impact on both operational safety and logisti-cal efficiency within low-altitude drone logistics net-works.Aiming at providing a systematic investiga-tion of real-world communication requirements and challenges encountered in Meituan UAV’s daily oper-ations,this article first introduces the operational sce-narios within current drone logistics networks and an-alyzes the related communication requirements.Then,the current communication solution and its inherent bottlenecks are elaborated.Finally,this paper explores emerging technologies and examines their application prospects in drone logistics networks.展开更多
As emerging services continue to be explored,indoor communications geared towards different user requirements will face severe challenges such as larger penetration losses and more critical multipath issues,leading to...As emerging services continue to be explored,indoor communications geared towards different user requirements will face severe challenges such as larger penetration losses and more critical multipath issues,leading to difficulties in achieving flexible coverage.In this paper,we introduce transmissive reconfigurable intelligent surfaces(RISs)as intelligent passive auxiliary devices into indoor scenes,replacing conventional ultra-dense small cell and relay forwarding approaches to address these issues at low deployment and operation costs.Specifically,we study the optimization design of active and passive beamforming for the transmissive RISs-aided indoor multiuser downlink communication systems.This involves considering more realistic indoor congestion modeling and near-field propagation characteristics.The goal of our optimization is to minimize the total transmit power at the access point(AP)for different user service requirements,including quality-of-service(QoS)and wireless power transfer(WPT).Due to the nonconvex nature of the optimization problem,adaptive penalty coefficients are imported to solve it alternatively with closed-form solutions for both active and passive beamforming.Simulation results demonstrate that the use of transmissive RISs is indeed an efficient way to achieve flexible coverage in indoor scenarios.Furthermore,the proposed optimization algorithm has been proven to be effective and robust in achieving energy-saving transmission.展开更多
Testing the parts of mechanical products and ensuring their accuracy to the design requirements are essential to products’ quality, market competitiveness and manufacturers’ maximum economical benefits from these pr...Testing the parts of mechanical products and ensuring their accuracy to the design requirements are essential to products’ quality, market competitiveness and manufacturers’ maximum economical benefits from these products. One of the latest subjects of study in the area of precision measurement is the testing of parts to follow the relative requirements, viz. design requirements for the size tolerance of size features and related geometrical tolerances of the central feature, including the envelope requirement, maximum material requirement and least material requirement. The article analyzes test methods for parts to follow the envelope requirement or maximum material requirement, as well as further requirements of geometrical tolerances for its central feature. The method is effective in improving product quality and rejecting unqualified parts.展开更多
Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are deri...Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are derivative from requirements without considering the implementation’s internal structure.Requirement-based testing includes functional and nonfunctional requirements.The objective of this study is to explore the approaches that generate test cases from requirements.A systematic literature review based on two research questions and extensive quality assessment criteria includes studies.The study identies 30 primary studies from 410 studies spanned from 2000 to 2018.The review’s nding shows that 53%of journal papers,42%of conference papers,and 5%of book chapters’address requirementsbased testing.Most of the studies use UML,activity,and use case diagrams for test case generation from requirements.One of the signicant lessons learned is that most software testing errors are traced back to errors in natural language requirements.A substantial amount of work focuses on UML diagrams for test case generations,which cannot capture all the system’s developed attributes.Furthermore,there is a lack of UML-based models that can generate test cases from natural language requirements by rening them in context.Coverage criteria indicate how efciently the testing has been performed 12.37%of studies use requirements coverage,20%of studies cover path coverage,and 17%study basic coverage.展开更多
In order to verify requirements model/document the consistency between software and users＇ true minds, we present a software behavior-oriented requirements visualization method. The implementation method for software...In order to verify requirements model/document the consistency between software and users＇ true minds, we present a software behavior-oriented requirements visualization method. The implementation method for software behavior-oriented requirements visualization is advanced in this paper first. Then, the basis language is introduced as the foundation of the method. At last, we put forward the tool platform that can achieve the requirement visualization, The result demonstrates that the method can generate requirement animation rapidly to check the correctness of the requirement. It can effectively reduce the requirements change and save a lot of software development costs.展开更多
Considerable research has demonstrated how effective requirements engineering is critical for the success of software projects.Requirements engineering has been established and recognized as one of the most important ...Considerable research has demonstrated how effective requirements engineering is critical for the success of software projects.Requirements engineering has been established and recognized as one of the most important aspects of software engineering as of late.It is noteworthy to mention that requirement consistency is a critical factor in project success,and conflicts in requirements lead to waste of cost,time,and effort.A considerable number of research studies have shown the risks and problems caused by working with requirements that are in conflict with other requirements.These risks include running overtime or over budget,which may lead to project failure.At the very least,it would result in the extra expended effort.Various studies have also stated that failure in managing requirement conflicts is one of the main reasons for unsuccessful software projects due to high cost and insufficient time.Many prior research studies have proposed manual techniques to detect conflicts,whereas other research recommends automated approaches based on human analysis.Moreover,there are different resolutions for conflicting requirements.Our previous work proposed a scheme for dealing with this problem using a novel intelligent method to detect conflicts and resolve them.A rule-based system was proposed to identify conflicts in requirements,and a genetic algorithm(GA)was used to resolve conflicts.The objective of this work is to assess and evaluate the implementation of the method of minimizing the number of conflicts in the requirements.The methodology implemented comprises two different stages.The first stage,detecting conflicts using a rule-based system,demonstrated a correct result with 100% accuracy.The evaluation of using the GA to resolve and reduce conflicts in the second stage also displayed a good result and achieved the desired goal as well as the main objective of the research.展开更多
Artificial Intelligence,in general,and particularly Natural language Processing(NLP)has made unprecedented progress recently in many areas of life,automating and enabling a lot of activities such as speech recognition...Artificial Intelligence,in general,and particularly Natural language Processing(NLP)has made unprecedented progress recently in many areas of life,automating and enabling a lot of activities such as speech recognition,language translations,search engines,and text-generations,among others.Software engineering and Software Development Life Cycle(SDLC)is also not left out.Indeed,one of the most critical starting points of SDLC is the requirement engineering stage which,traditionally,has been dominated by business analysts.Unfortunately,these analysts have always done the job not just in a monotonous way,but also in an error-prone,tedious,and inefficient manner,thus leading to poorly crafted works with lots of requirement creep and sometimes technical debts.This work,which is the first iteration in a series,looks at how this crucial initial stage could not just be automated but also improved using the latest techniques in Artificial Intelligence and NLP.Using the popular and available PROMISE dataset,the emphasis,for this first part,is on improving requirement engineering,particularly the classification of Functional and Non-functional Requirements.Transformer-powered BERT(Bidirectional Encoder Representations from Transformers)Large Language Model(LLM)was adopted with validation performances of 0.93,0.88,and 0.88.The experimental results showed that Base-BERT LLM,its distilled counterpart,Distil-BERT,and its domain-specific version,Code-BERT,can be reliable in these tasks.We believe that our findings could encourage the adoption of LLM,such as BERT,in Requirement Engineering(RE)-related tasks like the FR/NFR classification.This kind of insight can help RE researchers as well as industry practitioners in their future work.展开更多
The sugarcane is a main sugar crop in China. The seasonal drying is one of the problems that influence the improvement of output and quality of sugarcane in China. The experimental results for the water requirement an...The sugarcane is a main sugar crop in China. The seasonal drying is one of the problems that influence the improvement of output and quality of sugarcane in China. The experimental results for the water requirement and fertigation of the sugarcane showed, that the distribution of the rainfall in spring, autumn and winter, all could not suit the requirements for sugarcane growth. Detailedly, it can suit that sugarcane requirement of 74.4%, 68.6% and 35.7% respectively at seedling emerging stage, tillering stage and mature stage according to sugarcane growth. The drought has already limited the yield of sugarcane. Application of fertigation can enhance the fertilizer use efficiency, and it is also a water saving technique in sugarcane production.展开更多
This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this m...This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.展开更多
High water consumption and inefficient irrigation management in the agriculture sector of the middle and lower reaches of the Amu Darya River Basin(ADRB)have significantly influenced the gradual shrinking of the Aral ...High water consumption and inefficient irrigation management in the agriculture sector of the middle and lower reaches of the Amu Darya River Basin(ADRB)have significantly influenced the gradual shrinking of the Aral Sea and its ecosystem.In this study,we investigated the crop water consumption in the growing seasons and the irrigation water requirement for different crop types in the lower ADRB during 2004–2017.We applied the FAO Penman–Monteith method to estimate reference evapotranspiration(ET0)based on daily climatic data collected from four meteorological stations.Crop evapotranspiration(ETc)of specific crop types was calculated by the crop coefficient.Then,we analyzed the net irrigation requirement(NIR)based on the effective precipitation with crop water requirements.The results indicated that the lowest monthly ET0 values in the lower ADRB were found in December(18.2 mm)and January(16.0 mm),and the highest monthly ET0 values were found in June and July,with similar values of 211.6 mm.The annual ETc reached to 887.2,1002.1,and 492.0 mm for cotton,rice,and wheat,respectively.The average regional NIR ranged from 514.9 to 715.0 mm in the 10 Irrigation System Management Organizations(UISs)in the study area,while the total required irrigation volume for the whole region ranged from 4.2×109 to 11.6×109 m3 during 2004–2017.The percentages of NIR in SIW(surface irrigation water)ranged from 46.4%to 65.2%during the study period,with the exceptions of the drought years of 2008 and 2011,in which there was a significantly less runoff in the Amu Darya River.This study provides an overview for local water authorities to achieve optimal regional water allocation in the study area.展开更多
In this study,a process for establishing design requirements and selecting alternative configurations for the conceptual phase of aircraft design has been proposed.The proposed process uses system-engineering-based re...In this study,a process for establishing design requirements and selecting alternative configurations for the conceptual phase of aircraft design has been proposed.The proposed process uses system-engineering-based requirement-analysis techniques such as objective tree,analytic hierarchy process,and quality function deployment to establish logical and quantitative standards.Moreover,in order to perform a logical selection of alternative aircraft configurations,it uses advanced decision-making methods such as morphological matrix and technique for order preference by similarity to the ideal solution.In addition,a preliminary sizing tool has been developed to check the feasibility of the established performance requirements and to evaluate the flight performance of the selected configurations.The present process has been applied for a two-seater very light aircraft（VLA）,resulting in a set of tentative design requirements and two families of VLA configurations：a high-wing configuration and a low-wing configuration.The resulting set of design requirements consists of three categories：customer requirements,certification requirements,and performance requirements.The performance requirements include two mission requirements for the flight range and the endurance by reflecting the customer requirements.The flight performances of the two configuration families were evaluated using the sizing tool developed and the low-wing configuration with conventional tails was selected as the best baseline configuration for the VLA.展开更多
A comparative slaughter trial was conducted to determine the net mineral requirements for maintenance and growth of Dorper crossbred female lambs raised from 20 to 35 kg of body weight（BW）.Thirty-five Dorper×th...A comparative slaughter trial was conducted to determine the net mineral requirements for maintenance and growth of Dorper crossbred female lambs raised from 20 to 35 kg of body weight（BW）.Thirty-five Dorper×thin-tailed Han crossbred female lambs of（20.3±1.14） kg BW were used： 7 lambs were randomly chosen and slaughtered at the beginning of the experiment as the baseline group for measuring the initial body composition; another 7 lambs were randomly chosen and offered a pelleted mixed diet ad libitum and slaughtered at（27.0±0.73） kg BW; the remaining 21 lambs were randomly divided into 3 groups of 7 animals each and subjected to the same diet either ad l ibitum or at 70 or 40% of ad libitum intake.The 21 lambs were fed in 7 slaughter groups, with each group consisting of one lamb from each treatment（ad libitum, 70 or 40% of ad libitum intake）.The 3 groups were slaughtered when the sheep fed ad libitum attained（33.8±0.52） kg of BW.The body composition of five minerals（Ca, P, Na, K, and Mg） was determined.The net mineral requirements for maintenance were 35.01, 25.18, 9.30, 31.35, and 2.03 mg kg–1 empty BW（EBW） for Ca, P, Na, K, and Mg, respectively, and the net growth requirement per kg of EBW gain ranged from 9.73 to 8.87 g of Ca, 5.83 to 5.27 g of P, 1.73 to 1.63 g of Na, 3.73 to 4.08 g of K, and 0.26 to 0.25 g of Mg for Dorper crossbred lambs in China, respectively.The estimates of mineral requirements with Dorper crossbred lambs in the current study were not consistent with the recommendations from previous studies.展开更多
With ＇Hongmanao＇, a sweet cherry cultivar from central Shanxi Province, as the experimental material, the chilling requirements of different types of fruit branches （including mixed fruit branch, long fruit branch,...With ＇Hongmanao＇, a sweet cherry cultivar from central Shanxi Province, as the experimental material, the chilling requirements of different types of fruit branches （including mixed fruit branch, long fruit branch, medium fruit branch, short fruit branch and blossom fruit branch） were studied by the 0-7.2 ℃ model in a solar greenhouse during 2012-2013. In the greenhouse, the fruit branches of ＇Hongmanao＇ were cultured in water in a thermostatic environment. The results showed that the chilling requirement of leaf buds of ＇Hongmanao＇ was lower than that of its flower buds; and the chilling requirements of the five types of fruit branches ranked as blossom fruit branch＇s〈short fruit branch＇s〈medium fruit branch＇s〈long fruit branch＇s〈mixed fruit branch＇s,展开更多
Requirements engineering(RE)is among the most valuable and critical processes in software development.The quality of this process significantly affects the success of a software project.An important step in RE is requ...Requirements engineering(RE)is among the most valuable and critical processes in software development.The quality of this process significantly affects the success of a software project.An important step in RE is requirements elicitation,which involves collecting project-related requirements from different sources.Repositories of reusable requirements are typically important sources of an increasing number of reusable software requirements.However,the process of searching such repositories to collect valuable project-related requirements is time-consuming and difficult to perform accurately.Recommender systems have been widely recognized as an effective solution to such problem.Accordingly,this study proposes an effective hybrid content-based collaborative filtering recommendation approach.The proposed approach will support project stake-holders in mitigating the risk of missing requirements during requirements elicitation by identifying related requirements from software requirement repositories.The experimental results on the RALIC dataset demonstrate that the proposed approach considerably outperforms baseline collaborative filtering-based recom-mendation methods in terms of prediction accuracy and coverage in addition to mitigating the data sparsity and cold-start item problems.展开更多
[Objective] This study aimed to explore the characteristics of ecological water requirement in Maijishan Scenic Spot. [Methed] The characteristics of ecologi- cal water requirement in Maijishan Scenic Spot were analyz...[Objective] This study aimed to explore the characteristics of ecological water requirement in Maijishan Scenic Spot. [Methed] The characteristics of ecologi- cal water requirement in Maijishan Scenic Spot were analyzed based on,the data of soil humidity and meteorology of the spot. [Result] The result showed that the actual annual ecological water requirement in the spot was 678×10^6 m^3, and the proportion of soil water and evapotranspiration were 21% and 79%, respectively; the minimum annual ecological water requirement quota in the spot was 480.27×10^6 m^3, and the proportion of soil water and evapotranspiration were 16% and 84%, respectively; the minimum annual suitable ecological water requirement quota in the spot was 624.22×10^6 m^3, and the proportion of soil water and evapotranspiration were 18% and 82%, respectively. The precipitation was 614×10^6 m^3, and consumptive water surplus reached up to 78×10^6 m^3. The years when the precipitation was higher than the evapotranspiration accounted for 76%. Since 1980s, the evapotranspiration showed a linearly increasing trend. The precipitation was higher than the evapotranspiration from Jun. to Oct. and less than the evapotranspiration from Nov. to Dec. and Jan. to May. Evapotranspiration water requirement was regulated by soil water. The dis- parity between precipitation and evapotranspiration was huge in spring, thus having certain influence on waterfalls and streams in the spot. [Conclusion] The results of this study provided a basis for the rational use and long-term planning of the water sources in Maijishan Scenic Spot.展开更多
Agriculture faces risks due to increasing stress from climate change,particularly in semi-arid regions.Lack of understanding of crop water requirement(CWR)and irrigation water requirement(IWR)in a changing climate may...Agriculture faces risks due to increasing stress from climate change,particularly in semi-arid regions.Lack of understanding of crop water requirement(CWR)and irrigation water requirement(IWR)in a changing climate may result in crop failure and socioeconomic problems that can become detrimental to agriculture-based economies in emerging nations worldwide.Previous research in CWR and IWR has largely focused on large river basins and scenarios from the Coupled Model Intercomparison Project Phase 3(CMIP3)and Coupled Model Intercomparison Project Phase 5(CMIP5)to account for the impacts of climate change on crops.Smaller basins,however,are more susceptible to regional climate change,with more significant impacts on crops.This study estimates CWRs and IWRs for five crops(sugarcane,wheat,cotton,sorghum,and soybean)in the Pravara River Basin(area of 6537 km^(2))of India using outputs from the most recent Coupled Model Intercomparison Project Phase 6(CMIP6)General Circulation Models(GCMs)under Shared Socio-economic Pathway(SSP)245 and SSP585 scenarios.An increase in mean annual rainfall is projected under both scenarios in the 2050s and 2080s using ten selected CMIP6 GCMs.CWRs for all crops may decline in almost all of the CMIP6 GCMs in the 2050s and 2080s(with the exceptions of ACCESS-CM-2 and ACCESS-ESM-1.5)under SSP245 and SSP585 scenarios.The availability of increasing soil moisture in the root zone due to increasing rainfall and a decrease in the projected maximum temperature may be responsible for this decline in CWR.Similarly,except for soybean and cotton,the projected IWRs for all other three crops under SSP245 and SSP585 scenarios show a decrease or a small increase in the 2050s and 2080s in most CMIP6 GCMs.These findings are important for agricultural researchers and water resource managers to implement long-term crop planning techniques and to reduce the negative impacts of climate change and associated rainfall variability to avert crop failure and agricultural losses.展开更多
基金The authors of this study extend their appreciation to the Researchers Supporting Project number(RSPD2025R544),King Saud University,Riyadh,Saudia Arabia.
文摘As the trend to use the latestmachine learning models to automate requirements engineering processes continues,security requirements classification is tuning into the most researched field in the software engineering community.Previous literature studies have proposed numerousmodels for the classification of security requirements.However,adopting those models is constrained due to the lack of essential datasets permitting the repetition and generalization of studies employing more advanced machine learning algorithms.Moreover,most of the researchers focus only on the classification of requirements with security keywords.They did not consider other nonfunctional requirements(NFR)directly or indirectly related to security.This has been identified as a significant research gap in security requirements engineering.The major objective of this study is to propose a security requirements classification model that categorizes security and other relevant security requirements.We use PROMISE_exp and DOSSPRE,the two most commonly used datasets in the software engineering community.The proposed methodology consists of two steps.In the first step,we analyze all the nonfunctional requirements and their relation with security requirements.We found 10 NFRs that have a strong relationship with security requirements.In the second step,we categorize those NFRs in the security requirements category.Our proposedmethodology is a hybridmodel based on the ConvolutionalNeural Network(CNN)and Extreme Gradient Boosting(XGBoost)models.Moreover,we evaluate the model by updating the requirement type column with a binary classification column in the dataset to classify the requirements into security and non-security categories.The performance is evaluated using four metrics:recall,precision,accuracy,and F1 Score with 20 and 28 epochs number and batch size of 32 for PROMISE_exp and DOSSPRE datasets and achieved 87.3%and 85.3%accuracy,respectively.The proposed study shows an enhancement in metrics values compared to the previous literature studies.This is a proof of concept for systematizing the evaluation of security recognition in software systems during the early phases of software development.
文摘China's perfume market has been experiencing significant growth.The “2024 China Perfume and Fragrance White Paper”,jointly published by Eternal Group,DSM-Firmenich,and Ipsos in September 2024,reveals that the market surged from 11.4 billion yuan in 2018 to 22.9 billion yuan in 2023,achieving a compound annual growth rate(CAGR) of 15%.With projections estimating a rise to 44 billion yuan by 2028 at a 14% CAGR,the sector's long-term growth prospects remain strong.
基金the Natural Science Foundation of Guangxi,China(No.2021GXNSFBA220058)the National Natural Science Foundation of China(Nos.22272036, 22362008)Guangxi Normal University Research Grant,China(No.2022TD).
文摘Conventional proton exchange membrane(PEM)electrolysis technology relies on ultrapure water,as cationic impurities(such as Na^(+),Ca^(2+) and Fe^(3+))can occupy H+transport sites in the membrane[1],leading to a sharp rise in cathode pH,catalyst deactivation,and membrane degradation[2].This forces the system to be equipped with complex water purification equipment and even necessitates the replacement of membrane electrode assemblies(MEAs),increasing the levelized cost of hydrogen(LCOH)[3].To address this,Tao Ling's group recently proposed a"local pH regulation"strategy in Nature Energy[4].
基金supported in part by the Teaching Reform Project of Chongqing University of Posts and Telecommunications,China under Grant No.XJG23234Chongqing Municipal Higher Education Teaching Reform Research Project under Grant No.203399the Doctoral Direct Train Project of Chongqing Science and Technology Bureau under Grant No.CSTB2022BSXM-JSX0007。
文摘The advent of large language models(LLMs)has made knowledge acquisition and content creation increasingly easier and cheaper,which in turn redefines learning and urges transformation in software engineering education.To do so,there is a need to understand the impact of LLMs on software engineering education.In this paper,we conducted a preliminary case study on three software requirements engineering classes where students are allowed to use LLMs to assist in their projects.Based on the students’experience,performance,and feedback from a survey conducted at the end of the courses,we characterized the challenges and benefits of applying LLMs in software engineering education.This research contributes to the ongoing discourse on the integration of LLMs in education,emphasizing both their prominent potential and the need for balanced,mindful usage.
基金supported by Shenzhen Science and Technology Program(KJZD20230923115210021)。
文摘Communications system has a signifi-cant impact on both operational safety and logisti-cal efficiency within low-altitude drone logistics net-works.Aiming at providing a systematic investiga-tion of real-world communication requirements and challenges encountered in Meituan UAV’s daily oper-ations,this article first introduces the operational sce-narios within current drone logistics networks and an-alyzes the related communication requirements.Then,the current communication solution and its inherent bottlenecks are elaborated.Finally,this paper explores emerging technologies and examines their application prospects in drone logistics networks.
基金supported in part by the Natural Science Basic Research Plan in Shaanxi Province under Grant 2024JC-ZDXM-36in part by the Key Research and Development Program of Shaanxi Province under Grant 2023-YBGY-255+2 种基金in part by the Excellent Youth Science Foundation of Xi’an University of Science and Technology under Grant 2019YQ3-13in part by the Xi’an Key Laboratory of Network Convergence Communications under Grant 2022NCC-K102in part by the Fundamental Research Funds for the Central Universities under Grant QTZX23029。
文摘As emerging services continue to be explored,indoor communications geared towards different user requirements will face severe challenges such as larger penetration losses and more critical multipath issues,leading to difficulties in achieving flexible coverage.In this paper,we introduce transmissive reconfigurable intelligent surfaces(RISs)as intelligent passive auxiliary devices into indoor scenes,replacing conventional ultra-dense small cell and relay forwarding approaches to address these issues at low deployment and operation costs.Specifically,we study the optimization design of active and passive beamforming for the transmissive RISs-aided indoor multiuser downlink communication systems.This involves considering more realistic indoor congestion modeling and near-field propagation characteristics.The goal of our optimization is to minimize the total transmit power at the access point(AP)for different user service requirements,including quality-of-service(QoS)and wireless power transfer(WPT).Due to the nonconvex nature of the optimization problem,adaptive penalty coefficients are imported to solve it alternatively with closed-form solutions for both active and passive beamforming.Simulation results demonstrate that the use of transmissive RISs is indeed an efficient way to achieve flexible coverage in indoor scenarios.Furthermore,the proposed optimization algorithm has been proven to be effective and robust in achieving energy-saving transmission.
文摘Testing the parts of mechanical products and ensuring their accuracy to the design requirements are essential to products’ quality, market competitiveness and manufacturers’ maximum economical benefits from these products. One of the latest subjects of study in the area of precision measurement is the testing of parts to follow the relative requirements, viz. design requirements for the size tolerance of size features and related geometrical tolerances of the central feature, including the envelope requirement, maximum material requirement and least material requirement. The article analyzes test methods for parts to follow the envelope requirement or maximum material requirement, as well as further requirements of geometrical tolerances for its central feature. The method is effective in improving product quality and rejecting unqualified parts.
文摘Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are derivative from requirements without considering the implementation’s internal structure.Requirement-based testing includes functional and nonfunctional requirements.The objective of this study is to explore the approaches that generate test cases from requirements.A systematic literature review based on two research questions and extensive quality assessment criteria includes studies.The study identies 30 primary studies from 410 studies spanned from 2000 to 2018.The review’s nding shows that 53%of journal papers,42%of conference papers,and 5%of book chapters’address requirementsbased testing.Most of the studies use UML,activity,and use case diagrams for test case generation from requirements.One of the signicant lessons learned is that most software testing errors are traced back to errors in natural language requirements.A substantial amount of work focuses on UML diagrams for test case generations,which cannot capture all the system’s developed attributes.Furthermore,there is a lack of UML-based models that can generate test cases from natural language requirements by rening them in context.Coverage criteria indicate how efciently the testing has been performed 12.37%of studies use requirements coverage,20%of studies cover path coverage,and 17%study basic coverage.
基金Supported by the National Natural Science Foundation of China (91018009)the Fundamental Research Funds for the Central Universities (201121102020006)
文摘In order to verify requirements model/document the consistency between software and users＇ true minds, we present a software behavior-oriented requirements visualization method. The implementation method for software behavior-oriented requirements visualization is advanced in this paper first. Then, the basis language is introduced as the foundation of the method. At last, we put forward the tool platform that can achieve the requirement visualization, The result demonstrates that the method can generate requirement animation rapidly to check the correctness of the requirement. It can effectively reduce the requirements change and save a lot of software development costs.
文摘Considerable research has demonstrated how effective requirements engineering is critical for the success of software projects.Requirements engineering has been established and recognized as one of the most important aspects of software engineering as of late.It is noteworthy to mention that requirement consistency is a critical factor in project success,and conflicts in requirements lead to waste of cost,time,and effort.A considerable number of research studies have shown the risks and problems caused by working with requirements that are in conflict with other requirements.These risks include running overtime or over budget,which may lead to project failure.At the very least,it would result in the extra expended effort.Various studies have also stated that failure in managing requirement conflicts is one of the main reasons for unsuccessful software projects due to high cost and insufficient time.Many prior research studies have proposed manual techniques to detect conflicts,whereas other research recommends automated approaches based on human analysis.Moreover,there are different resolutions for conflicting requirements.Our previous work proposed a scheme for dealing with this problem using a novel intelligent method to detect conflicts and resolve them.A rule-based system was proposed to identify conflicts in requirements,and a genetic algorithm(GA)was used to resolve conflicts.The objective of this work is to assess and evaluate the implementation of the method of minimizing the number of conflicts in the requirements.The methodology implemented comprises two different stages.The first stage,detecting conflicts using a rule-based system,demonstrated a correct result with 100% accuracy.The evaluation of using the GA to resolve and reduce conflicts in the second stage also displayed a good result and achieved the desired goal as well as the main objective of the research.
文摘Artificial Intelligence,in general,and particularly Natural language Processing(NLP)has made unprecedented progress recently in many areas of life,automating and enabling a lot of activities such as speech recognition,language translations,search engines,and text-generations,among others.Software engineering and Software Development Life Cycle(SDLC)is also not left out.Indeed,one of the most critical starting points of SDLC is the requirement engineering stage which,traditionally,has been dominated by business analysts.Unfortunately,these analysts have always done the job not just in a monotonous way,but also in an error-prone,tedious,and inefficient manner,thus leading to poorly crafted works with lots of requirement creep and sometimes technical debts.This work,which is the first iteration in a series,looks at how this crucial initial stage could not just be automated but also improved using the latest techniques in Artificial Intelligence and NLP.Using the popular and available PROMISE dataset,the emphasis,for this first part,is on improving requirement engineering,particularly the classification of Functional and Non-functional Requirements.Transformer-powered BERT(Bidirectional Encoder Representations from Transformers)Large Language Model(LLM)was adopted with validation performances of 0.93,0.88,and 0.88.The experimental results showed that Base-BERT LLM,its distilled counterpart,Distil-BERT,and its domain-specific version,Code-BERT,can be reliable in these tasks.We believe that our findings could encourage the adoption of LLM,such as BERT,in Requirement Engineering(RE)-related tasks like the FR/NFR classification.This kind of insight can help RE researchers as well as industry practitioners in their future work.
基金Supported by the National Science and Technology Support Plan(2006BAD05B06-05)IPNI and IPI+3 种基金the Natural Sciences Founda-tion of Guangxi(No.0448023)the Natural Sciences Foundationof Guangxi Academy of Agricultural Sciences(No.2007001(Z))Project Ministry of Agriculture of the people s Republic of China(WX-2-07-13)National Key Technology R&D program(2007BAD30B03)~~
文摘The sugarcane is a main sugar crop in China. The seasonal drying is one of the problems that influence the improvement of output and quality of sugarcane in China. The experimental results for the water requirement and fertigation of the sugarcane showed, that the distribution of the rainfall in spring, autumn and winter, all could not suit the requirements for sugarcane growth. Detailedly, it can suit that sugarcane requirement of 74.4%, 68.6% and 35.7% respectively at seedling emerging stage, tillering stage and mature stage according to sugarcane growth. The drought has already limited the yield of sugarcane. Application of fertigation can enhance the fertilizer use efficiency, and it is also a water saving technique in sugarcane production.
基金Supported by the National Natural Science F oundation of China(6 98730 35 ) and the Research Fund for the Doctoral Program of Hi
文摘This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.
基金This study was supported by the International Cooperation Project of National Natural Science Foundation of China(41761144079)the Strategic Priority Research Program of Chinese Academy of Sciences(XDA20060301)+2 种基金the State's Key Project of Research and Development Plan(2017YFC0404501),the International Partnership Program of Chinese Academy of Sciences(131551KYSB20160002)the project of the Research Center of Ecology and Environment in Central Asia(Y934031)a grant from the Regional Collaborative Innovation Project of Xinjiang Uygur Autonomous Region(2020E01010).
文摘High water consumption and inefficient irrigation management in the agriculture sector of the middle and lower reaches of the Amu Darya River Basin(ADRB)have significantly influenced the gradual shrinking of the Aral Sea and its ecosystem.In this study,we investigated the crop water consumption in the growing seasons and the irrigation water requirement for different crop types in the lower ADRB during 2004–2017.We applied the FAO Penman–Monteith method to estimate reference evapotranspiration(ET0)based on daily climatic data collected from four meteorological stations.Crop evapotranspiration(ETc)of specific crop types was calculated by the crop coefficient.Then,we analyzed the net irrigation requirement(NIR)based on the effective precipitation with crop water requirements.The results indicated that the lowest monthly ET0 values in the lower ADRB were found in December(18.2 mm)and January(16.0 mm),and the highest monthly ET0 values were found in June and July,with similar values of 211.6 mm.The annual ETc reached to 887.2,1002.1,and 492.0 mm for cotton,rice,and wheat,respectively.The average regional NIR ranged from 514.9 to 715.0 mm in the 10 Irrigation System Management Organizations(UISs)in the study area,while the total required irrigation volume for the whole region ranged from 4.2×109 to 11.6×109 m3 during 2004–2017.The percentages of NIR in SIW(surface irrigation water)ranged from 46.4%to 65.2%during the study period,with the exceptions of the drought years of 2008 and 2011,in which there was a significantly less runoff in the Amu Darya River.This study provides an overview for local water authorities to achieve optimal regional water allocation in the study area.
基金the support provided for this research by a grant(No.1615001723) from the Light Aircraft Development Program funded by the Ministry of Land,Infrastructure and Transport of the Korean governmentthe National Research Foundation of Korea(No.NRF-2014R1A2A2A01003833) funded by the Korean government(MSIP)
文摘In this study,a process for establishing design requirements and selecting alternative configurations for the conceptual phase of aircraft design has been proposed.The proposed process uses system-engineering-based requirement-analysis techniques such as objective tree,analytic hierarchy process,and quality function deployment to establish logical and quantitative standards.Moreover,in order to perform a logical selection of alternative aircraft configurations,it uses advanced decision-making methods such as morphological matrix and technique for order preference by similarity to the ideal solution.In addition,a preliminary sizing tool has been developed to check the feasibility of the established performance requirements and to evaluate the flight performance of the selected configurations.The present process has been applied for a two-seater very light aircraft（VLA）,resulting in a set of tentative design requirements and two families of VLA configurations：a high-wing configuration and a low-wing configuration.The resulting set of design requirements consists of three categories：customer requirements,certification requirements,and performance requirements.The performance requirements include two mission requirements for the flight range and the endurance by reflecting the customer requirements.The flight performances of the two configuration families were evaluated using the sizing tool developed and the low-wing configuration with conventional tails was selected as the best baseline configuration for the VLA.
基金supported by the earmarked fund for the Modern Agro-Industry Technology Research System,China(CARS-39,200903006)
文摘A comparative slaughter trial was conducted to determine the net mineral requirements for maintenance and growth of Dorper crossbred female lambs raised from 20 to 35 kg of body weight（BW）.Thirty-five Dorper×thin-tailed Han crossbred female lambs of（20.3±1.14） kg BW were used： 7 lambs were randomly chosen and slaughtered at the beginning of the experiment as the baseline group for measuring the initial body composition; another 7 lambs were randomly chosen and offered a pelleted mixed diet ad libitum and slaughtered at（27.0±0.73） kg BW; the remaining 21 lambs were randomly divided into 3 groups of 7 animals each and subjected to the same diet either ad l ibitum or at 70 or 40% of ad libitum intake.The 21 lambs were fed in 7 slaughter groups, with each group consisting of one lamb from each treatment（ad libitum, 70 or 40% of ad libitum intake）.The 3 groups were slaughtered when the sheep fed ad libitum attained（33.8±0.52） kg of BW.The body composition of five minerals（Ca, P, Na, K, and Mg） was determined.The net mineral requirements for maintenance were 35.01, 25.18, 9.30, 31.35, and 2.03 mg kg–1 empty BW（EBW） for Ca, P, Na, K, and Mg, respectively, and the net growth requirement per kg of EBW gain ranged from 9.73 to 8.87 g of Ca, 5.83 to 5.27 g of P, 1.73 to 1.63 g of Na, 3.73 to 4.08 g of K, and 0.26 to 0.25 g of Mg for Dorper crossbred lambs in China, respectively.The estimates of mineral requirements with Dorper crossbred lambs in the current study were not consistent with the recommendations from previous studies.
基金Supported by Key Scientific and Technological Project of Shanxi Science and Technology Department(20150311015-2)Shanxi Key Laboratory of Germplasm Improvement and Utilization in Pomology~~
文摘With ＇Hongmanao＇, a sweet cherry cultivar from central Shanxi Province, as the experimental material, the chilling requirements of different types of fruit branches （including mixed fruit branch, long fruit branch, medium fruit branch, short fruit branch and blossom fruit branch） were studied by the 0-7.2 ℃ model in a solar greenhouse during 2012-2013. In the greenhouse, the fruit branches of ＇Hongmanao＇ were cultured in water in a thermostatic environment. The results showed that the chilling requirement of leaf buds of ＇Hongmanao＇ was lower than that of its flower buds; and the chilling requirements of the five types of fruit branches ranked as blossom fruit branch＇s〈short fruit branch＇s〈medium fruit branch＇s〈long fruit branch＇s〈mixed fruit branch＇s,
文摘Requirements engineering(RE)is among the most valuable and critical processes in software development.The quality of this process significantly affects the success of a software project.An important step in RE is requirements elicitation,which involves collecting project-related requirements from different sources.Repositories of reusable requirements are typically important sources of an increasing number of reusable software requirements.However,the process of searching such repositories to collect valuable project-related requirements is time-consuming and difficult to perform accurately.Recommender systems have been widely recognized as an effective solution to such problem.Accordingly,this study proposes an effective hybrid content-based collaborative filtering recommendation approach.The proposed approach will support project stake-holders in mitigating the risk of missing requirements during requirements elicitation by identifying related requirements from software requirement repositories.The experimental results on the RALIC dataset demonstrate that the proposed approach considerably outperforms baseline collaborative filtering-based recom-mendation methods in terms of prediction accuracy and coverage in addition to mitigating the data sparsity and cold-start item problems.
基金Supported by the Special Fund for Agro-scientific Research in the Public Interest,China(GYHY201106029)~~
文摘[Objective] This study aimed to explore the characteristics of ecological water requirement in Maijishan Scenic Spot. [Methed] The characteristics of ecologi- cal water requirement in Maijishan Scenic Spot were analyzed based on,the data of soil humidity and meteorology of the spot. [Result] The result showed that the actual annual ecological water requirement in the spot was 678×10^6 m^3, and the proportion of soil water and evapotranspiration were 21% and 79%, respectively; the minimum annual ecological water requirement quota in the spot was 480.27×10^6 m^3, and the proportion of soil water and evapotranspiration were 16% and 84%, respectively; the minimum annual suitable ecological water requirement quota in the spot was 624.22×10^6 m^3, and the proportion of soil water and evapotranspiration were 18% and 82%, respectively. The precipitation was 614×10^6 m^3, and consumptive water surplus reached up to 78×10^6 m^3. The years when the precipitation was higher than the evapotranspiration accounted for 76%. Since 1980s, the evapotranspiration showed a linearly increasing trend. The precipitation was higher than the evapotranspiration from Jun. to Oct. and less than the evapotranspiration from Nov. to Dec. and Jan. to May. Evapotranspiration water requirement was regulated by soil water. The dis- parity between precipitation and evapotranspiration was huge in spring, thus having certain influence on waterfalls and streams in the spot. [Conclusion] The results of this study provided a basis for the rational use and long-term planning of the water sources in Maijishan Scenic Spot.
基金supported by the research project Developing Localized Indicators of Climate Change for Impact Risk Assessment in Ahmednagar using CMIP5 Data through University Grant Commission-Basic Science Research(UGC-BSR)Start-Up Grant(No.F.30-525/2020(BSR))University Grant Commission,New Delhi for providing fund。
文摘Agriculture faces risks due to increasing stress from climate change,particularly in semi-arid regions.Lack of understanding of crop water requirement(CWR)and irrigation water requirement(IWR)in a changing climate may result in crop failure and socioeconomic problems that can become detrimental to agriculture-based economies in emerging nations worldwide.Previous research in CWR and IWR has largely focused on large river basins and scenarios from the Coupled Model Intercomparison Project Phase 3(CMIP3)and Coupled Model Intercomparison Project Phase 5(CMIP5)to account for the impacts of climate change on crops.Smaller basins,however,are more susceptible to regional climate change,with more significant impacts on crops.This study estimates CWRs and IWRs for five crops(sugarcane,wheat,cotton,sorghum,and soybean)in the Pravara River Basin(area of 6537 km^(2))of India using outputs from the most recent Coupled Model Intercomparison Project Phase 6(CMIP6)General Circulation Models(GCMs)under Shared Socio-economic Pathway(SSP)245 and SSP585 scenarios.An increase in mean annual rainfall is projected under both scenarios in the 2050s and 2080s using ten selected CMIP6 GCMs.CWRs for all crops may decline in almost all of the CMIP6 GCMs in the 2050s and 2080s(with the exceptions of ACCESS-CM-2 and ACCESS-ESM-1.5)under SSP245 and SSP585 scenarios.The availability of increasing soil moisture in the root zone due to increasing rainfall and a decrease in the projected maximum temperature may be responsible for this decline in CWR.Similarly,except for soybean and cotton,the projected IWRs for all other three crops under SSP245 and SSP585 scenarios show a decrease or a small increase in the 2050s and 2080s in most CMIP6 GCMs.These findings are important for agricultural researchers and water resource managers to implement long-term crop planning techniques and to reduce the negative impacts of climate change and associated rainfall variability to avert crop failure and agricultural losses.
