While parametric Software Reliability Growth Models(SRGMs)serve as a cornerstone in software reliability assessment,their reliance on known fault-detection time distributions often presents a significant limitation in...While parametric Software Reliability Growth Models(SRGMs)serve as a cornerstone in software reliability assessment,their reliance on known fault-detection time distributions often presents a significant limitation in practical software testing.In this study,the authors develop a novel shaperestricted spline estimator for quantifying software reliability.Compared with parametric SRGMs,the proposed estimator not only shares a key characteristic with parametric SRGMs,but also obviates the need for specifying fault-detection time distributions.More importantly,it effectively utilizes the critical shape information of the mean value function(MVF)of fault-detection process,a detail seldom considered in prior work.Moreover,the authors investigate the predictive performance of the proposed methods by employing the so-called one-step look-ahead prediction method.Furthermore,the authors show that under certain conditions,the shape-restricted spline estimator will attain the point-wise convergence rate O_P(n~(-3/7)).In numerical experiment,the authors show that spline estimators under restriction demonstrate competitive performance compared to parametric and certain non-parametric models.展开更多
With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent ...With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent customer service,and medical diagnosis,is constructed based on complex technologies like machine learning and deep learning.Its uncertain behavior and data dependence pose unprecedented challenges to software testing.However,existing software testing courses mainly focus on conventional contents and are unable to meet the requirements of intelligent software testing.Therefore,this work deeply analyzed the relevant technologies of intelligent software testing,including reliability evaluation indicator system,neuron coverage,and test case generation.It also systematically designed an intelligent software testing course,covering teaching objectives,teaching content,teaching methods,and a teaching case.Verified by the practical teaching in four classes,this course has achieved remarkable results,providing practical experience for the reform of software testing courses.展开更多
In the context of large language model(LLM)reshaping software engineering education,this paper presents OSSerCopilot,a LLM-based tutoring system designed to address the critical challenge faced by newcomers(especially...In the context of large language model(LLM)reshaping software engineering education,this paper presents OSSerCopilot,a LLM-based tutoring system designed to address the critical challenge faced by newcomers(especially student contributors)in open source software(OSS)communities.Leveraging natural language processing,code semantic understanding,and learner profiling,the system functions as an intelligent tutor to scaffold three core competency domains:contribution guideline interpretation,project architecture comprehension,and personalized task matching.By transforming traditional onboarding barriers-such as complex contribution documentation and opaque project structures-into interactive learning journeys,OSSerCopilot enables newcomers to complete their first OSS contribution more easily and confidently.This paper highlights how LLM technologies can redefine software engineering education by bridging the gap between theoretical knowledge and practical OSS participation,offering implications for curriculum design,competency assessment,and sustainable OSS ecosystem cultivation.A demonstration video of the system is available at https://figshare.com/articles/media/OSSerCopilot_Introduction_mp4/29510276.展开更多
Heavy-ion collisions(HICs)is a unique experimental tool for investigating the properties of nuclear matter under extreme conditions in the laboratory.At HIRFL-CSR energies,HICs can create nuclear matter with 2-3 times...Heavy-ion collisions(HICs)is a unique experimental tool for investigating the properties of nuclear matter under extreme conditions in the laboratory.At HIRFL-CSR energies,HICs can create nuclear matter with 2-3 times the saturation density(ρ_(0)).The HIRFL-CSR external-target experiment(CEE)is a large-acceptance spectrometer designed to explore frontier topics in high-energy nuclear physics,such as the QCD phase structure and nuclear matter equation of states.In this letter,we introduce simulation and analysis software for the CEE experiment(CeeROOT).Based on the CEE conceptual design and CeeROOT software,the configurations of its subdetectors were optimized by considering foreseeable physical constraints.The final detector layout of the CEE spectrometer and its acceptances were validated through simulations of U+U collisions at 500 MeV/u and pp collisions at 2.8 GeV,which demonstrated that the CEE experiment will serve as a detector with wide acceptance and multi-particle identification capabilities for studying high-energy nuclear physics topics at HIRFL-CSR energies with pp,pA,and A A collisions.展开更多
In the modern era of ubiquitous and highly interconnected information technology,cybersecurity threats stemming from software code vulnerabilities have become increasingly severe,posing significant risks to the confid...In the modern era of ubiquitous and highly interconnected information technology,cybersecurity threats stemming from software code vulnerabilities have become increasingly severe,posing significant risks to the confidentiality,integrity,and availability of modern information systems.To enhance software code quality,enterprises often integrate static code analysis tools into Continuous Integration(CI) pipelines.However,the high rates of false positives and false negatives remain a challenge.The advent of large language models(LLMs),such as ChatGPT,presents a new opportunity to address these challenges.In this paper,we propose AI-SCDF,a framework that utilizes the custombuilt Nebula-Coder AI model for detecting and fixing code security issues in real time during the developer ' s personal build process.We construct a static code checking rule knowledge base through summarizing and classifying Common Weakness Enumeration(CWE) code security problems identified by security and quality assurance teams.The rule knowledge base is combined with CodeFuse-processed code contexts to serve as input for an AI code security detection microservice,which assists in identifying code quality and security issues.If any abnormalities are detected,they are addressed by an AI code security patching microservice,which alerts the developer and requests confirmation before committing the code into the repository.Experimental results show that our approach effectively improves code quality.We also develop a VS Code plugin for code alert detection and fix based on LLMs,which facilitates test shift-left and lowers the risk of software development.展开更多
This study examines the reliability and validity of AI-generated scoring for continuation writing tasks.By comparing GPT-4 with eight experienced human raters across 21 student responses,it evaluates AI’s consistency...This study examines the reliability and validity of AI-generated scoring for continuation writing tasks.By comparing GPT-4 with eight experienced human raters across 21 student responses,it evaluates AI’s consistency,severity,and alignment with human scoring criteria.Results show that AI exhibits high self-consistency and adapts effectively to different scoring roles(e.g.,teacher vs.highstakes rater).However,AI scores were more lenient than human raters and demonstrated divergent evaluation focuses—prioritizing narrative coherence and emotional depth,while teachers emphasized linguistic accuracy and richness of detail.The findings suggest AI’s potential as a supplementary assessment tool,offering rapid,holistic feedback,but highlight the need for further calibration to align with educational standards.Implications include exploring hybrid evaluation models that leverage the strengths of both AI and human raters to achieve more equitable,efficient,and pedagogically meaningful writing assessments.展开更多
With the advent of the AI era,how can students effectively utilize generative AI large models to assist in course learning?At the same time,how can teachers utilize generative AI tools and the teaching concept of OBE ...With the advent of the AI era,how can students effectively utilize generative AI large models to assist in course learning?At the same time,how can teachers utilize generative AI tools and the teaching concept of OBE to stimulate students’innovative consciousness and teamwork ability,enabling students to identify some problems in a certain industry or field and creatively propose feasible solutions,and truly achieve the cultivation of new models in software engineering course teaching with the assistance of generative AI tools?This paper presents research and practice on a new model for cultivating software engineering courses that integrates generative AI and OBE,introduces the specific process of teaching reform and practice,and finally explains the achievements of teaching reform.展开更多
A stochastic predator-prey system with Markov switching is explored.We have developed a new chasing technique to efficiently solve the Fokker-Planck-Kolmogorov and backward Kolmogorov equations.Dynamic balance and rel...A stochastic predator-prey system with Markov switching is explored.We have developed a new chasing technique to efficiently solve the Fokker-Planck-Kolmogorov and backward Kolmogorov equations.Dynamic balance and reliability of the switching system are evaluated via stationary probability density function and first-passage failure theory,taking into account factors such as switching frequencies,noise intensities,and initial conditions.Results reveal that Markov switching leads to stochastic P-bifurcation,enhancing dynamic balance and reducing white-noise-induced oscillations.But frequent switching can heighten initial value dependence,harming reliability.Further,the influence of the subsystem on the switching system is not proportional to its action probabilities.Monte Carlo simulations validate the findings,offering an in-depth exploration of these dynamics.展开更多
In this work,we demonstrated the InSnO(ITO)TFTs passivated with SiO_(2)via the PECVD process compatible with large-area production for the first time.The passivated ITO TFTs with various channel thicknesses(t_(ch)=4,5...In this work,we demonstrated the InSnO(ITO)TFTs passivated with SiO_(2)via the PECVD process compatible with large-area production for the first time.The passivated ITO TFTs with various channel thicknesses(t_(ch)=4,5,6 nm)exhibit excellent electrical performance and superior uniformity.The reliability properties of ITO TFTs were evaluated in detail under positive bias stress(PBS)conditions before and after passivation.Compared to the devices without passivation,the passivated devices have only 50%threshold voltage degradation(ΔV_(th))and 50%newly generated traps due to excellent isolation of the ambient atmosphere.The negligible performance degradation of ITO TFTs with passivation during negative bias stress(NBS)and negative bias temperature stress(NBTS)verifies the outstanding immunity to the water vapor of the SiO_(2)passivation layer.Overall,the ITO TFT with the t_(ch)of 6 nm and with SiO_(2)passivation exhibits the best performance in terms of electrical properties,uniformity,and reliability,which is promising in large-area production.展开更多
This paper investigates the reliability of internal marine combustion engines using an integrated approach that combines Fault Tree Analysis(FTA)and Bayesian Networks(BN).FTA provides a structured,top-down method for ...This paper investigates the reliability of internal marine combustion engines using an integrated approach that combines Fault Tree Analysis(FTA)and Bayesian Networks(BN).FTA provides a structured,top-down method for identifying critical failure modes and their root causes,while BN introduces flexibility in probabilistic reasoning,enabling dynamic updates based on new evidence.This dual methodology overcomes the limitations of static FTA models,offering a comprehensive framework for system reliability analysis.Critical failures,including External Leakage(ELU),Failure to Start(FTS),and Overheating(OHE),were identified as key risks.By incorporating redundancy into high-risk components such as pumps and batteries,the likelihood of these failures was significantly reduced.For instance,redundant pumps reduced the probability of ELU by 31.88%,while additional batteries decreased the occurrence of FTS by 36.45%.The results underscore the practical benefits of combining FTA and BN for enhancing system reliability,particularly in maritime applications where operational safety and efficiency are critical.This research provides valuable insights for maintenance planning and highlights the importance of redundancy in critical systems,especially as the industry transitions toward more autonomous vessels.展开更多
To study the durability of concrete in harsh environments in Northwest China,concrete was prepared with various durability-improving materials such as concrete anti-erosion inhibitor(SBT-TIA),acrylate polymer(AP),supe...To study the durability of concrete in harsh environments in Northwest China,concrete was prepared with various durability-improving materials such as concrete anti-erosion inhibitor(SBT-TIA),acrylate polymer(AP),super absorbent resin(SAP).The erosion mode and internal deterioration mechanism under salt freeze-thaw cycle and dry-wet cycle were explored.The results show that the addition of enhancing materials can effectively improve the resistance of concrete to salt freezing and sulfate erosion:the relevant indexes of concrete added with X-AP and T-AP are improved after salt freeze-thaw cycles;concrete added with SBTTIA shows optimal sulfate corrosion resistance;and concrete added with AP displays the best resistance to salt freezing.Microanalysis shows that the increase in the number of cycles decreases the generation of internal hydration products and defects in concrete mixed with enhancing materials and improves the related indexes.Based on the Wiener model analysis,the reliability of concrete with different lithologies and enhancing materials is improved,which may provide a reference for the application of manufactured sand concrete and enhancing materials in Northwest China,especially for the study of the improvement effects and mechanism of enhancing materials on the performance of concrete.展开更多
The rapid development of new-quality productive forces(NQPF)has intensified the demand for high-level innovative talent.As a representative of NQPF,generative artificial intelligence(GenAI)offers powerful tools to res...The rapid development of new-quality productive forces(NQPF)has intensified the demand for high-level innovative talent.As a representative of NQPF,generative artificial intelligence(GenAI)offers powerful tools to reshape talent cultivation but also presents significant challenges,including skill hollowing,ethical risks,and a growing disconnect between education and industry needs.Currently,graduate-level software engineering education struggles with outdated curricula and insufficient alignment with practical demands.In this paper,we propose a dual-core collaborative framework driven by“GenAI technology”and“industry demand”.Under this framework,we design a four-dimensional capability development path to enhance graduate students’innovation in software engineering practice.This path focuses on①scientific research innovation,②engineering problem-solving,③cross-domain collaborative evolution,and④ethical risk governance.The proposed approach promotes a shift from traditional knowledge transfer to human-machine collaborative innovation,aligning talent cultivation with the demands of the NQPF.展开更多
The rapid development of artificial intelligence(AI)has placed significant pressure on universities to rethink how they train software engineering students.Tools like GitHub Copilot can now generate basic code in seco...The rapid development of artificial intelligence(AI)has placed significant pressure on universities to rethink how they train software engineering students.Tools like GitHub Copilot can now generate basic code in seconds.This raises important questions:What is the value of traditional programming education?What role should instructors play when AI becomes a powerful teaching assistant?How should the goals of software engineering programs change as companies increasingly use AI to handle coding tasks?This paper explores the key challenges AI brings to software engineering education and proposes practical strategies for updating talent development models to meet these changes.展开更多
Reservoir-induced landslides in China's Three Gorges Reservoir area are prone to tensile cracks due to the influenceof their own weight and fluctuationsin water levels.The presence of cracks indicates that the ten...Reservoir-induced landslides in China's Three Gorges Reservoir area are prone to tensile cracks due to the influenceof their own weight and fluctuationsin water levels.The presence of cracks indicates that the tensile stress in the area has exceeded the tensile strength of the soil,leading to local instability.To explore the impact of tensile failure behavior on the stability and failure modes of reservoir landslides,the Huangtupo Riverside Slump#1 is taken as a case study.By considering local tensile failure,potential tensile cracks are incorporated into the analysis via the limit equilibrium method and reliability theory.The reliability of landslides under different tensile failure scenarios is quantified.Strain-softening characteristics of the soil are combined to further analyze the failure transmission path of the landslide.Finally,these potential failure modes were validated through physical model tests.The results show that cracks developing at rear positions reduce the stability of the slope and increase the probability of instability.During the destruction process,retrogressive failures with multiple sliding surfaces are likely to occur.However,tensile failure at the forefront reduces the likelihood of an individual slide mass descending.Progressive failure results in both regular and skip transmission patterns.Additionally,cracks and water level changes can also lead to shifts in the positions of the most dangerous blocks.Therefore,in practical landslide analysis and prevention,it is necessary to consider local tensile damage and identify potential tensile crack locations in advance to optimize prevention measures and accurately evaluate landslide risk.展开更多
In reliability analyses,the absence of a priori information on the most probable point of failure(MPP)may result in overlooking critical points,thereby leading to biased assessment outcomes.Moreover,second-order relia...In reliability analyses,the absence of a priori information on the most probable point of failure(MPP)may result in overlooking critical points,thereby leading to biased assessment outcomes.Moreover,second-order reliability methods exhibit limited accuracy in highly nonlinear scenarios.To overcome these challenges,a novel reliability analysis strategy based on a multimodal differential evolution algorithm and a hypersphere integration method is proposed.Initially,the penalty function method is employed to reformulate the MPP search problem as a conditionally constrained optimization task.Subsequently,a differential evolution algorithm incorporating a population delineation strategy is utilized to identify all MPPs.Finally,a paraboloid equation is constructed based on the curvature of the limit-state function at the MPPs,and the failure probability of the structure is calculated by using the hypersphere integration method.The localization effectiveness of the MPPs is compared through multiple numerical cases and two engineering examples,with accuracy comparisons of failure probabilities against the first-order reliability method(FORM)and the secondorder reliability method(SORM).The results indicate that the method effectively identifies existing MPPs and achieves higher solution precision.展开更多
Small angle x-ray scattering(SAXS)is an advanced technique for characterizing the particle size distribution(PSD)of nanoparticles.However,the ill-posed nature of inverse problems in SAXS data analysis often reduces th...Small angle x-ray scattering(SAXS)is an advanced technique for characterizing the particle size distribution(PSD)of nanoparticles.However,the ill-posed nature of inverse problems in SAXS data analysis often reduces the accuracy of conventional methods.This article proposes a user-friendly software for PSD analysis,GranuSAS,which employs an algorithm that integrates truncated singular value decomposition(TSVD)with the Chahine method.This approach employs TSVD for data preprocessing,generating a set of initial solutions with noise suppression.A high-quality initial solution is subsequently selected via the L-curve method.This selected candidate solution is then iteratively refined by the Chahine algorithm,enforcing constraints such as non-negativity and improving physical interpretability.Most importantly,GranuSAS employs a parallel architecture that simultaneously yields inversion results from multiple shape models and,by evaluating the accuracy of each model's reconstructed scattering curve,offers a suggestion for model selection in material systems.To systematically validate the accuracy and efficiency of the software,verification was performed using both simulated and experimental datasets.The results demonstrate that the proposed software delivers both satisfactory accuracy and reliable computational efficiency.It provides an easy-to-use and reliable tool for researchers in materials science,helping them fully exploit the potential of SAXS in nanoparticle characterization.展开更多
The rapid development of wind energy in the power sectors raises the question about the reliability of wind turbines for power system planning and operation.The electrical subsystem of wind turbines(ESWT),which is one...The rapid development of wind energy in the power sectors raises the question about the reliability of wind turbines for power system planning and operation.The electrical subsystem of wind turbines(ESWT),which is one of the most vulnerable parts of the wind turbine,is investigated in this paper.The hygrothermal aging of power electronic devices(PEDs)is modeled for the first time in the comprehensive reliability evaluation of ESWT,by using a novel stationary“circuit-like”approach.First,the failure mechanism of the hygrothermal aging,which includes the solder layer fatigue damage and packaging material performance degradation,is explained.Then,a moisture diffusion resistance concept and a hygrothermal equivalent circuit are proposed to quantitate the hygrothermal aging behavior.A conditional probability function is developed to calculate the time-varying failure rate of PEDs.At last,the stochastic renewal process is simulated to evaluate the reliability for ESWT through the sequential Monte Carlo simulation,in which failure,repair,and replacement states of devices are all included.The effectiveness of our proposed reliability evaluation method is verified on an ESWT in a 2 MW wind turbine use time series data collected from a wind farm in China.展开更多
Test case prioritization and ranking play a crucial role in software testing by improving fault detection efficiency and ensuring software reliability.While prioritization selects the most relevant test cases for opti...Test case prioritization and ranking play a crucial role in software testing by improving fault detection efficiency and ensuring software reliability.While prioritization selects the most relevant test cases for optimal coverage,ranking further refines their execution order to detect critical faults earlier.This study investigates machine learning techniques to enhance both prioritization and ranking,contributing to more effective and efficient testing processes.We first employ advanced feature engineering alongside ensemble models,including Gradient Boosted,Support Vector Machines,Random Forests,and Naive Bayes classifiers to optimize test case prioritization,achieving an accuracy score of 0.98847 and significantly improving the Average Percentage of Fault Detection(APFD).Subsequently,we introduce a deep Q-learning framework combined with a Genetic Algorithm(GA)to refine test case ranking within priority levels.This approach achieves a rank accuracy of 0.9172,demonstrating robust performance despite the increasing computational demands of specialized variation operators.Our findings highlight the effectiveness of stacked ensemble learning and reinforcement learning in optimizing test case prioritization and ranking.This integrated approach improves testing efficiency,reduces late-stage defects,and improves overall software stability.The study provides valuable information for AI-driven testing frameworks,paving the way for more intelligent and adaptive software quality assurance methodologies.展开更多
Promoting the integration of industry and education and deepening school-enterprise cooperation in talent cultivation and collaborative innovation are long-term goals of higher education.This paper systematically anal...Promoting the integration of industry and education and deepening school-enterprise cooperation in talent cultivation and collaborative innovation are long-term goals of higher education.This paper systematically analyzes the multiple perspectives,practical challenges,and implementation paths of in-depth school-enterprise cooperation.Based on the typical case of school-enterprise cooperation at the School of Information and Software Engineering,University of Electronic Science and Technology of China(UESTC),this paper explores the innovative practices of in-depth school-enterprise cooperation in talent cultivation,scientific research,and faculty construction.It also explores a multi-party collaborative mechanism from the perspectives of universities,enterprises,students,and the government.By policy guidance,resource integration,and benefit sharing,this mechanism achieves in-depth integration of industry and education,providing references and examples for further development of school-enterprise cooperation in the new era.展开更多
Faculty development serves as a critical foundation for ensuring the quality of higher education.To meet the needs of cultivating specialized software talents and promoting teaching reform,it is particularly crucial t...Faculty development serves as a critical foundation for ensuring the quality of higher education.To meet the needs of cultivating specialized software talents and promoting teaching reform,it is particularly crucial to build a faculty team with knowledge in industry application fields and experience in domestic software development.This paper first analyzes the new requirements for the faculty imposed by the cultivation of specialized software talents and the existing problems in the current faculty.Then,in response to these issues,it introduces the reforms and explorations carried out by the School of Software Engineering at Beijing Jiaotong University in the construction of the faculty for cultivating specialized software talents.The aim is to build a high-caliber and diversified faculty that boasts strong political qualities,interdisciplinary integration,complementary advantages between full-time and part-time faculty,and in-depth integration of industry and education.展开更多
文摘While parametric Software Reliability Growth Models(SRGMs)serve as a cornerstone in software reliability assessment,their reliance on known fault-detection time distributions often presents a significant limitation in practical software testing.In this study,the authors develop a novel shaperestricted spline estimator for quantifying software reliability.Compared with parametric SRGMs,the proposed estimator not only shares a key characteristic with parametric SRGMs,but also obviates the need for specifying fault-detection time distributions.More importantly,it effectively utilizes the critical shape information of the mean value function(MVF)of fault-detection process,a detail seldom considered in prior work.Moreover,the authors investigate the predictive performance of the proposed methods by employing the so-called one-step look-ahead prediction method.Furthermore,the authors show that under certain conditions,the shape-restricted spline estimator will attain the point-wise convergence rate O_P(n~(-3/7)).In numerical experiment,the authors show that spline estimators under restriction demonstrate competitive performance compared to parametric and certain non-parametric models.
基金Computer Basic Education Teaching Research Project of Association of Fundamental Computing Education in Chinese Universities(Nos.2025-AFCEC-527 and 2024-AFCEC-088)Research on the Reform of Public Course Teaching at Nantong College of Science and Technology(No.2024JGG015).
文摘With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent customer service,and medical diagnosis,is constructed based on complex technologies like machine learning and deep learning.Its uncertain behavior and data dependence pose unprecedented challenges to software testing.However,existing software testing courses mainly focus on conventional contents and are unable to meet the requirements of intelligent software testing.Therefore,this work deeply analyzed the relevant technologies of intelligent software testing,including reliability evaluation indicator system,neuron coverage,and test case generation.It also systematically designed an intelligent software testing course,covering teaching objectives,teaching content,teaching methods,and a teaching case.Verified by the practical teaching in four classes,this course has achieved remarkable results,providing practical experience for the reform of software testing courses.
基金supported by the National Natural Science Foundation of China (62202022, 92582204, and 62572030)the Fundamental Research Funds for the Central Universitiesthe exploratory elective projects of the State Key Laboratory of Complex and Critical Software Environments
文摘In the context of large language model(LLM)reshaping software engineering education,this paper presents OSSerCopilot,a LLM-based tutoring system designed to address the critical challenge faced by newcomers(especially student contributors)in open source software(OSS)communities.Leveraging natural language processing,code semantic understanding,and learner profiling,the system functions as an intelligent tutor to scaffold three core competency domains:contribution guideline interpretation,project architecture comprehension,and personalized task matching.By transforming traditional onboarding barriers-such as complex contribution documentation and opaque project structures-into interactive learning journeys,OSSerCopilot enables newcomers to complete their first OSS contribution more easily and confidently.This paper highlights how LLM technologies can redefine software engineering education by bridging the gap between theoretical knowledge and practical OSS participation,offering implications for curriculum design,competency assessment,and sustainable OSS ecosystem cultivation.A demonstration video of the system is available at https://figshare.com/articles/media/OSSerCopilot_Introduction_mp4/29510276.
基金supported by the Strategic Priority Research Program of Chinese Academy of Sciences(No.XDB34030000)the National Natural Science Foundation of China(Nos.11927901 and 12475133)+1 种基金the Youth Team Program in Basic Research Fields Stably Supported by the Chinese Academy of Sciences(No.YSBR-088)the Western Light Project of the Chinese Academy of Sciences。
文摘Heavy-ion collisions(HICs)is a unique experimental tool for investigating the properties of nuclear matter under extreme conditions in the laboratory.At HIRFL-CSR energies,HICs can create nuclear matter with 2-3 times the saturation density(ρ_(0)).The HIRFL-CSR external-target experiment(CEE)is a large-acceptance spectrometer designed to explore frontier topics in high-energy nuclear physics,such as the QCD phase structure and nuclear matter equation of states.In this letter,we introduce simulation and analysis software for the CEE experiment(CeeROOT).Based on the CEE conceptual design and CeeROOT software,the configurations of its subdetectors were optimized by considering foreseeable physical constraints.The final detector layout of the CEE spectrometer and its acceptances were validated through simulations of U+U collisions at 500 MeV/u and pp collisions at 2.8 GeV,which demonstrated that the CEE experiment will serve as a detector with wide acceptance and multi-particle identification capabilities for studying high-energy nuclear physics topics at HIRFL-CSR energies with pp,pA,and A A collisions.
文摘In the modern era of ubiquitous and highly interconnected information technology,cybersecurity threats stemming from software code vulnerabilities have become increasingly severe,posing significant risks to the confidentiality,integrity,and availability of modern information systems.To enhance software code quality,enterprises often integrate static code analysis tools into Continuous Integration(CI) pipelines.However,the high rates of false positives and false negatives remain a challenge.The advent of large language models(LLMs),such as ChatGPT,presents a new opportunity to address these challenges.In this paper,we propose AI-SCDF,a framework that utilizes the custombuilt Nebula-Coder AI model for detecting and fixing code security issues in real time during the developer ' s personal build process.We construct a static code checking rule knowledge base through summarizing and classifying Common Weakness Enumeration(CWE) code security problems identified by security and quality assurance teams.The rule knowledge base is combined with CodeFuse-processed code contexts to serve as input for an AI code security detection microservice,which assists in identifying code quality and security issues.If any abnormalities are detected,they are addressed by an AI code security patching microservice,which alerts the developer and requests confirmation before committing the code into the repository.Experimental results show that our approach effectively improves code quality.We also develop a VS Code plugin for code alert detection and fix based on LLMs,which facilitates test shift-left and lowers the risk of software development.
文摘This study examines the reliability and validity of AI-generated scoring for continuation writing tasks.By comparing GPT-4 with eight experienced human raters across 21 student responses,it evaluates AI’s consistency,severity,and alignment with human scoring criteria.Results show that AI exhibits high self-consistency and adapts effectively to different scoring roles(e.g.,teacher vs.highstakes rater).However,AI scores were more lenient than human raters and demonstrated divergent evaluation focuses—prioritizing narrative coherence and emotional depth,while teachers emphasized linguistic accuracy and richness of detail.The findings suggest AI’s potential as a supplementary assessment tool,offering rapid,holistic feedback,but highlight the need for further calibration to align with educational standards.Implications include exploring hybrid evaluation models that leverage the strengths of both AI and human raters to achieve more equitable,efficient,and pedagogically meaningful writing assessments.
基金supported by the Shanghai Municipal Education Research Project“Exploring the Practical Application of Generative Artificial Intelligence in Cultivating Innovative Thinking and Capabilities of Interdisciplinary Application Technology Talents‘Practice Path’”(C2025299)the university-level postgraduate course project“Software Process Management”(PX-2025251502)of Shanghai Sanda Universitythe key course project at the university level of Shanghai Sanda University,“Introduction to Software Engineering”(PX-5241216).
文摘With the advent of the AI era,how can students effectively utilize generative AI large models to assist in course learning?At the same time,how can teachers utilize generative AI tools and the teaching concept of OBE to stimulate students’innovative consciousness and teamwork ability,enabling students to identify some problems in a certain industry or field and creatively propose feasible solutions,and truly achieve the cultivation of new models in software engineering course teaching with the assistance of generative AI tools?This paper presents research and practice on a new model for cultivating software engineering courses that integrates generative AI and OBE,introduces the specific process of teaching reform and practice,and finally explains the achievements of teaching reform.
基金Project supported by the National Natural Science Foundation of China(Grant No.12472033)。
文摘A stochastic predator-prey system with Markov switching is explored.We have developed a new chasing technique to efficiently solve the Fokker-Planck-Kolmogorov and backward Kolmogorov equations.Dynamic balance and reliability of the switching system are evaluated via stationary probability density function and first-passage failure theory,taking into account factors such as switching frequencies,noise intensities,and initial conditions.Results reveal that Markov switching leads to stochastic P-bifurcation,enhancing dynamic balance and reducing white-noise-induced oscillations.But frequent switching can heighten initial value dependence,harming reliability.Further,the influence of the subsystem on the switching system is not proportional to its action probabilities.Monte Carlo simulations validate the findings,offering an in-depth exploration of these dynamics.
基金supported in part by the National Natural Science Foundation of China(62404110,62274033)Natural Science Foundation of Jiangsu Province(BK20221453)+1 种基金Fundamental Research Funds for the Central UniversitiesNatural Science Research Start-up Foundation of Recruiting Talents of Nanjing University of Posts and Telecommunications(NY223159)。
文摘In this work,we demonstrated the InSnO(ITO)TFTs passivated with SiO_(2)via the PECVD process compatible with large-area production for the first time.The passivated ITO TFTs with various channel thicknesses(t_(ch)=4,5,6 nm)exhibit excellent electrical performance and superior uniformity.The reliability properties of ITO TFTs were evaluated in detail under positive bias stress(PBS)conditions before and after passivation.Compared to the devices without passivation,the passivated devices have only 50%threshold voltage degradation(ΔV_(th))and 50%newly generated traps due to excellent isolation of the ambient atmosphere.The negligible performance degradation of ITO TFTs with passivation during negative bias stress(NBS)and negative bias temperature stress(NBTS)verifies the outstanding immunity to the water vapor of the SiO_(2)passivation layer.Overall,the ITO TFT with the t_(ch)of 6 nm and with SiO_(2)passivation exhibits the best performance in terms of electrical properties,uniformity,and reliability,which is promising in large-area production.
基金supported by Istanbul Technical University(Project No.45698)supported through the“Young Researchers’Career Development Project-training of doctoral students”of the Croatian Science Foundation.
文摘This paper investigates the reliability of internal marine combustion engines using an integrated approach that combines Fault Tree Analysis(FTA)and Bayesian Networks(BN).FTA provides a structured,top-down method for identifying critical failure modes and their root causes,while BN introduces flexibility in probabilistic reasoning,enabling dynamic updates based on new evidence.This dual methodology overcomes the limitations of static FTA models,offering a comprehensive framework for system reliability analysis.Critical failures,including External Leakage(ELU),Failure to Start(FTS),and Overheating(OHE),were identified as key risks.By incorporating redundancy into high-risk components such as pumps and batteries,the likelihood of these failures was significantly reduced.For instance,redundant pumps reduced the probability of ELU by 31.88%,while additional batteries decreased the occurrence of FTS by 36.45%.The results underscore the practical benefits of combining FTA and BN for enhancing system reliability,particularly in maritime applications where operational safety and efficiency are critical.This research provides valuable insights for maintenance planning and highlights the importance of redundancy in critical systems,especially as the industry transitions toward more autonomous vessels.
基金Funded by the National Natural Science Foundation of China(No.52178216)the Research on the Durability and Application of High-performance Concrete for Highway Engineering in the Cold and Arid Salt Areas of Northwest China(No.2022-24)the Construction Project of the Scientific Research Platform of Provincial Enterprises Supported by the Capital Operating Budget of Gansu Province(No.2023GZ018)。
文摘To study the durability of concrete in harsh environments in Northwest China,concrete was prepared with various durability-improving materials such as concrete anti-erosion inhibitor(SBT-TIA),acrylate polymer(AP),super absorbent resin(SAP).The erosion mode and internal deterioration mechanism under salt freeze-thaw cycle and dry-wet cycle were explored.The results show that the addition of enhancing materials can effectively improve the resistance of concrete to salt freezing and sulfate erosion:the relevant indexes of concrete added with X-AP and T-AP are improved after salt freeze-thaw cycles;concrete added with SBTTIA shows optimal sulfate corrosion resistance;and concrete added with AP displays the best resistance to salt freezing.Microanalysis shows that the increase in the number of cycles decreases the generation of internal hydration products and defects in concrete mixed with enhancing materials and improves the related indexes.Based on the Wiener model analysis,the reliability of concrete with different lithologies and enhancing materials is improved,which may provide a reference for the application of manufactured sand concrete and enhancing materials in Northwest China,especially for the study of the improvement effects and mechanism of enhancing materials on the performance of concrete.
基金supported in part by the Graduate Education Reform Research Project of Hubei University of Technology under Grant 2024YB003the Hubei University of Arts and Science,Teaching Research Project,under Grant JY2025018.
文摘The rapid development of new-quality productive forces(NQPF)has intensified the demand for high-level innovative talent.As a representative of NQPF,generative artificial intelligence(GenAI)offers powerful tools to reshape talent cultivation but also presents significant challenges,including skill hollowing,ethical risks,and a growing disconnect between education and industry needs.Currently,graduate-level software engineering education struggles with outdated curricula and insufficient alignment with practical demands.In this paper,we propose a dual-core collaborative framework driven by“GenAI technology”and“industry demand”.Under this framework,we design a four-dimensional capability development path to enhance graduate students’innovation in software engineering practice.This path focuses on①scientific research innovation,②engineering problem-solving,③cross-domain collaborative evolution,and④ethical risk governance.The proposed approach promotes a shift from traditional knowledge transfer to human-machine collaborative innovation,aligning talent cultivation with the demands of the NQPF.
基金supported in part by the Northeastern University’s 2024 Undergraduate Education and Teaching Reform Research Project:Innovation and Practice of Professional Course Teaching Paradigms in the Context of Digital Education.
文摘The rapid development of artificial intelligence(AI)has placed significant pressure on universities to rethink how they train software engineering students.Tools like GitHub Copilot can now generate basic code in seconds.This raises important questions:What is the value of traditional programming education?What role should instructors play when AI becomes a powerful teaching assistant?How should the goals of software engineering programs change as companies increasingly use AI to handle coding tasks?This paper explores the key challenges AI brings to software engineering education and proposes practical strategies for updating talent development models to meet these changes.
基金supported by the Major Program of National Natural Science Foundation of China(Grant No.42090055)the National Key ScientificInstruments and Equipment Development Projects of China(Grant No.41827808)the National Nature Science Foundation of China(Grant No.42207216).
文摘Reservoir-induced landslides in China's Three Gorges Reservoir area are prone to tensile cracks due to the influenceof their own weight and fluctuationsin water levels.The presence of cracks indicates that the tensile stress in the area has exceeded the tensile strength of the soil,leading to local instability.To explore the impact of tensile failure behavior on the stability and failure modes of reservoir landslides,the Huangtupo Riverside Slump#1 is taken as a case study.By considering local tensile failure,potential tensile cracks are incorporated into the analysis via the limit equilibrium method and reliability theory.The reliability of landslides under different tensile failure scenarios is quantified.Strain-softening characteristics of the soil are combined to further analyze the failure transmission path of the landslide.Finally,these potential failure modes were validated through physical model tests.The results show that cracks developing at rear positions reduce the stability of the slope and increase the probability of instability.During the destruction process,retrogressive failures with multiple sliding surfaces are likely to occur.However,tensile failure at the forefront reduces the likelihood of an individual slide mass descending.Progressive failure results in both regular and skip transmission patterns.Additionally,cracks and water level changes can also lead to shifts in the positions of the most dangerous blocks.Therefore,in practical landslide analysis and prevention,it is necessary to consider local tensile damage and identify potential tensile crack locations in advance to optimize prevention measures and accurately evaluate landslide risk.
基金National Natural Science Foundation of China(No.52375236)Fundamental Research Funds for the Central Universities of China(No.23D110316)。
文摘In reliability analyses,the absence of a priori information on the most probable point of failure(MPP)may result in overlooking critical points,thereby leading to biased assessment outcomes.Moreover,second-order reliability methods exhibit limited accuracy in highly nonlinear scenarios.To overcome these challenges,a novel reliability analysis strategy based on a multimodal differential evolution algorithm and a hypersphere integration method is proposed.Initially,the penalty function method is employed to reformulate the MPP search problem as a conditionally constrained optimization task.Subsequently,a differential evolution algorithm incorporating a population delineation strategy is utilized to identify all MPPs.Finally,a paraboloid equation is constructed based on the curvature of the limit-state function at the MPPs,and the failure probability of the structure is calculated by using the hypersphere integration method.The localization effectiveness of the MPPs is compared through multiple numerical cases and two engineering examples,with accuracy comparisons of failure probabilities against the first-order reliability method(FORM)and the secondorder reliability method(SORM).The results indicate that the method effectively identifies existing MPPs and achieves higher solution precision.
基金Project supported by the Project of the Anhui Provincial Natural Science Foundation(Grant No.2308085MA19)Strategic Priority Research Program of the Chinese Academy of Sciences(Grant No.XDA0410401)+2 种基金the National Natural Science Foundation of China(Grant No.52202120)the National Key Research and Development Program of China(Grant No.2023YFA1609800)USTC Research Funds of the Double First-Class Initiative(Grant No.YD2310002013)。
文摘Small angle x-ray scattering(SAXS)is an advanced technique for characterizing the particle size distribution(PSD)of nanoparticles.However,the ill-posed nature of inverse problems in SAXS data analysis often reduces the accuracy of conventional methods.This article proposes a user-friendly software for PSD analysis,GranuSAS,which employs an algorithm that integrates truncated singular value decomposition(TSVD)with the Chahine method.This approach employs TSVD for data preprocessing,generating a set of initial solutions with noise suppression.A high-quality initial solution is subsequently selected via the L-curve method.This selected candidate solution is then iteratively refined by the Chahine algorithm,enforcing constraints such as non-negativity and improving physical interpretability.Most importantly,GranuSAS employs a parallel architecture that simultaneously yields inversion results from multiple shape models and,by evaluating the accuracy of each model's reconstructed scattering curve,offers a suggestion for model selection in material systems.To systematically validate the accuracy and efficiency of the software,verification was performed using both simulated and experimental datasets.The results demonstrate that the proposed software delivers both satisfactory accuracy and reliable computational efficiency.It provides an easy-to-use and reliable tool for researchers in materials science,helping them fully exploit the potential of SAXS in nanoparticle characterization.
基金supported by the National Natural Science Foundation of China under Grant 52022016China Postdoctoral Science Foundation under grant 2021M693711Fundamental Research Funds for the Central Universities under grant 2021CDJQY-037.
文摘The rapid development of wind energy in the power sectors raises the question about the reliability of wind turbines for power system planning and operation.The electrical subsystem of wind turbines(ESWT),which is one of the most vulnerable parts of the wind turbine,is investigated in this paper.The hygrothermal aging of power electronic devices(PEDs)is modeled for the first time in the comprehensive reliability evaluation of ESWT,by using a novel stationary“circuit-like”approach.First,the failure mechanism of the hygrothermal aging,which includes the solder layer fatigue damage and packaging material performance degradation,is explained.Then,a moisture diffusion resistance concept and a hygrothermal equivalent circuit are proposed to quantitate the hygrothermal aging behavior.A conditional probability function is developed to calculate the time-varying failure rate of PEDs.At last,the stochastic renewal process is simulated to evaluate the reliability for ESWT through the sequential Monte Carlo simulation,in which failure,repair,and replacement states of devices are all included.The effectiveness of our proposed reliability evaluation method is verified on an ESWT in a 2 MW wind turbine use time series data collected from a wind farm in China.
文摘Test case prioritization and ranking play a crucial role in software testing by improving fault detection efficiency and ensuring software reliability.While prioritization selects the most relevant test cases for optimal coverage,ranking further refines their execution order to detect critical faults earlier.This study investigates machine learning techniques to enhance both prioritization and ranking,contributing to more effective and efficient testing processes.We first employ advanced feature engineering alongside ensemble models,including Gradient Boosted,Support Vector Machines,Random Forests,and Naive Bayes classifiers to optimize test case prioritization,achieving an accuracy score of 0.98847 and significantly improving the Average Percentage of Fault Detection(APFD).Subsequently,we introduce a deep Q-learning framework combined with a Genetic Algorithm(GA)to refine test case ranking within priority levels.This approach achieves a rank accuracy of 0.9172,demonstrating robust performance despite the increasing computational demands of specialized variation operators.Our findings highlight the effectiveness of stacked ensemble learning and reinforcement learning in optimizing test case prioritization and ranking.This integrated approach improves testing efficiency,reduces late-stage defects,and improves overall software stability.The study provides valuable information for AI-driven testing frameworks,paving the way for more intelligent and adaptive software quality assurance methodologies.
文摘Promoting the integration of industry and education and deepening school-enterprise cooperation in talent cultivation and collaborative innovation are long-term goals of higher education.This paper systematically analyzes the multiple perspectives,practical challenges,and implementation paths of in-depth school-enterprise cooperation.Based on the typical case of school-enterprise cooperation at the School of Information and Software Engineering,University of Electronic Science and Technology of China(UESTC),this paper explores the innovative practices of in-depth school-enterprise cooperation in talent cultivation,scientific research,and faculty construction.It also explores a multi-party collaborative mechanism from the perspectives of universities,enterprises,students,and the government.By policy guidance,resource integration,and benefit sharing,this mechanism achieves in-depth integration of industry and education,providing references and examples for further development of school-enterprise cooperation in the new era.
文摘Faculty development serves as a critical foundation for ensuring the quality of higher education.To meet the needs of cultivating specialized software talents and promoting teaching reform,it is particularly crucial to build a faculty team with knowledge in industry application fields and experience in domestic software development.This paper first analyzes the new requirements for the faculty imposed by the cultivation of specialized software talents and the existing problems in the current faculty.Then,in response to these issues,it introduces the reforms and explorations carried out by the School of Software Engineering at Beijing Jiaotong University in the construction of the faculty for cultivating specialized software talents.The aim is to build a high-caliber and diversified faculty that boasts strong political qualities,interdisciplinary integration,complementary advantages between full-time and part-time faculty,and in-depth integration of industry and education.
