In software engineering, class diagrams are often used to describe the system's class structures in Unified Modelling Language (UML). A class diagram, as a graph, is a collection of static declarative model element...In software engineering, class diagrams are often used to describe the system's class structures in Unified Modelling Language (UML). A class diagram, as a graph, is a collection of static declarative model elements, such as classes, interfaces, and the relationships of their connections with each other. In this paper, class graphs axe examined within several Java software systems provided by Sun and IBM, and some new features are found. For a large-scale Java software system, its in-degree distribution tends to an exponential distribution, while its out-degree and degree distributions reveal the power-law behaviour. And then a directed preferential-random model is established to describe the corresponding degree distribution features and evolve large-scale Java software systems.展开更多
Large-scale software systems,which are the most sophisticated human-designed objects,play more and more important role in our daily life.Consequently effective analysis for large-scale software has become an urgent pr...Large-scale software systems,which are the most sophisticated human-designed objects,play more and more important role in our daily life.Consequently effective analysis for large-scale software has become an urgent problem to be solved with the increasing issues of software security and the continuous expansion of software applications scope.For the characteristics of large scale and complex structure in large-scale software,the traditional software analysis techniques are difficult to be used.With the problem of difficulty in presentation,storage and low efficiency in the process of large-scale software analysis,the visualization analysis framework for large-scale software based on software network,named SoNet,is proposed with the combination of complex network theory and program slicing technique.Constraint logic attributes of the programs will be obtained through source code parsing.Then we will construct a global view by the theory of complex network after extracting software structure and behavior,improving user’s perception of software architecture in a macro perspective.Use case slicing will be realized combined with Redis cluster,and accessibility analysis when given a keyword to be analyzed.We evaluate our prototype implementation on an open source software project named SoundSea in Github,and the results suggest that our approach can realize the analysis for large-scale software.展开更多
To search for the Design Patterns’ influence on the software, the paper abstracts the feature models of 9 kinds of classic exiting design patterns among the 23 kinds and describes the features with algorithm language...To search for the Design Patterns’ influence on the software, the paper abstracts the feature models of 9 kinds of classic exiting design patterns among the 23 kinds and describes the features with algorithm language. Meanwhile, searching for the specific structure features in the network, the paper designs 9 matching algorithms of the 9 kinds design patterns mentioned above to research on the structure of the design patterns in the software network. At last, the paper analyzes the evolving trends of the software scale and the application frequency of the 9 kinds of design patterns as the software evolves, and search for the rules how these design patterns are applied into 4 kinds of typical software.展开更多
The advent of parametric design has resulted in a marked increase in the complexity of building.Unfortunately,traditional construction methods make it difficult to meet the needs.Therefore,construction robots have bec...The advent of parametric design has resulted in a marked increase in the complexity of building.Unfortunately,traditional construction methods make it difficult to meet the needs.Therefore,construction robots have become a pivotal production tool in this context.Since the arm span of a single robot usually does not exceed 3 meters,it is not competent for producing large-scale building components.Accordingly,the extension of the robot,s working range is often achieved by external axes.Nevertheless,the coupling control of external axes and robots and their kinematic solution have become key challenges.The primary technical difficulties include customized construction robots,automatic solutions for external axes,fixed axis joints,and specific motion mode control.This paper proposes solutions to these difficulties,introduces the relevant basic concepts and algorithms in detail,and encapsulates these robotics principles and algorithm processes into the Grasshopper plug-in commonly used by architects to form the FURobot software platform.This platform effectively solves the above problems,lowers the threshold for architects,and improves production efficiency.The effectiveness of the algorithm and software in this paper is verified through simulation experiments.展开更多
To address challenges in architectural extensibility and cross-module collaboration of CAE software,this study proposes OPFEM(open-source Python-based finite element modeling)—an open-source framework featuring a uni...To address challenges in architectural extensibility and cross-module collaboration of CAE software,this study proposes OPFEM(open-source Python-based finite element modeling)—an open-source framework featuring a unified four-layer architecture.The geometric modeling framework achieves plug-in support for geometric kernels through an interface abstraction layer and adapter patterns,decoupling kernel-specific implementations while enabling state machine-driven interaction design and parametric sketching.The pre-processing modules establish multi-level associations among materials,sections,and geometric entities using Composite and Factory patterns,while implementing Observer pattern to ensure geometric-mesh consistency and employing finite-state machines to optimize boundary workflows.The computational modules implement a modular finite element library that decouples topology from element attributes,along with a surface boundary element technique for load conversion and task-scheduling management,validated through a cantilever beam large-deformation case.The post-processing module facilitates standardized data storage and dynamic field visualization through architecture-level standardized interface definitions and hierarchical component design.Collectively,OPFEM achieves full-process integration from parametric modeling to nonlinear solving and visualization,enhancing configuration efficiency and providing an extensible,pattern-driven solution for complex CAE challenges.展开更多
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.展开更多
The ultra-deep fractured low-porosity sandstone gas reservoirs in the Kuqa Depression of the Tarim Basin exhibit complex characteristics,including high temperature,high pressure,significant in-situ stress,multi-scale ...The ultra-deep fractured low-porosity sandstone gas reservoirs in the Kuqa Depression of the Tarim Basin exhibit complex characteristics,including high temperature,high pressure,significant in-situ stress,multi-scale fractures,and strong aquifer activity.The development of these reservoirs is challenged by rapid water invasion,which causes severe production declines.Conventional experiments fail to adequately simulate the coupled flow between the in-situ matrix and fractures.This study developed a high-temperature,high-pressure large-scale physical simulation platform and a methodology for preparing large rock samples with complex fractures.Using this platform,we conducted single-phase and gas-water two-phase flow experiments under in-situ conditions.The key results indicate that during single-phase depletion,cumulative gas production rapidly reaches a quasi-steady state,confirming the hierarchical flow and coupling from“large fracture”to“small fracture”to“matrix”.The matrix’s gas supply capacity diminishes with decreasing pressure,exacerbating the supply-production imbalance.Constant-volume bottom water experiments reveal that when fracture water saturation exceeds a critical threshold,the matrix gas supply abruptly declines due to“water-sealed gas”.Continuous fracture drainage and pressure reduction can partially alleviate this sealing and restore some gas supply,although recovery remains limited.Experiments under different management strategies demonstrate that higher production rates and larger water-to-gas volume ratios lead to lower cumulative gas production before water sealing,higher abandonment pressures,greater challenges in post-sealing recovery,and consequently,lower ultimate recovery.These findings provide critical insights for optimizing development strategies in ultra-deep fractured low-porosity sandstone gas reservoirs.展开更多
The impact of resolution on the large-scale features in an ocean-sea ice coupled model(CAS-LICOM3)is communicated in this paper through three aspects.First,a refined resolution accelerates temperature and salinity dri...The impact of resolution on the large-scale features in an ocean-sea ice coupled model(CAS-LICOM3)is communicated in this paper through three aspects.First,a refined resolution accelerates temperature and salinity drifts at a basin-averaged scale by facilitating exchanges among basins,subsequently reducing global-averaged drifts.This amplification of basin-scale exchanges is associated with an accelerated large-scale circulation,leading to a more rapid equilibration of temperature and salinity near 200 meters.Second,the refined resolution yields improved simulations of large-scale temperature,salinity,and currents,particularly evident in regions such as the Gulf Stream and its extension.Positive feedback mechanisms,such as improved undercurrents and a stronger Atlantic Meridional Ocean Circulation(AMOC),enhance temperature and salinity distributions,further improving the large-scale circulation.Subsurface improvements near 300 m are linked to improved simulations of equatorial undercurrents,Gulf Stream dynamics,and the Deep Western Boundary Current,leading to a more realistic representation of AMOC and high-latitude deep-water formation.However,limitations in vertical resolution may obscure finer-scale improvements in subsurface and deep-ocean processes.Despite having little impact on the temporal variability of phenomena such as ENSO,Indian Ocean Dipole(IOD),PDO,and AMO,the refined resolution enhances the strengths of their variabilities.展开更多
Although supplying extensive design space,the curse of dimensionality restricts the widespread application of largescale topology optimization in practical engineering.Various acceleration techniques have been integra...Although supplying extensive design space,the curse of dimensionality restricts the widespread application of largescale topology optimization in practical engineering.Various acceleration techniques have been integrated with topology optimization,achieving significant attention and progress in large-scale problems.This work aims to investigate how much benefit can be obtained by combining parallel computing and machine learning techniques to enhance the efficiency of large-scale topology optimization algorithms.Accordingly,a parallel problem independent machine learning(PIML)-enhanced topology optimization method is proposed.The PIML model substantially reduces the dimension of the condensed stiffness matrix and its computational cost,and parallel computing reduces the workload per process and enables the application of a parallel multigrid solver.Besides,several techniques,such as matrix-free implementation,direct condensation of uniform coarse elements,and adjusting computational resource limits,have been developed to enhance computational efficiency.The weak scaling efficiency,strong scaling speedup,and maximum achievable efficiency of the proposed method are validated across multiple numerical examples,showing significant improvement in the tractable problem size and solution efficiency compared to traditional topology optimization algorithms.展开更多
Titanium alloy large-scale rib-web components,known for their lightweight and highstrength properties,have the potential to substantially lighten the load-bearing components of aircraft.Isothermal Local Loading(ILL)ha...Titanium alloy large-scale rib-web components,known for their lightweight and highstrength properties,have the potential to substantially lighten the load-bearing components of aircraft.Isothermal Local Loading(ILL)has been recognized as an advanced technique for the integrated and less-loading forming of these components.However,material transfer in the transitional region during ILL often leads to folding defect near the die-partition line.To this end,the position of the neutral layer during ILL is calculated via the slab method,which is modified to align with the material flow in the transitional region,taking into account the multi-stage stress states under diverse boundary conditions.By utilizing this calculation model,the material transfer rate and rib-groove filling height can be ascertained.The material transfer rate serves as a criterion for predicting folding defect,and thereby an optimal billet is obtained and implemented in the ILL process.The results demonstrate that the material transfer rate is significantly decreased compared to the non-optimized billet,resulting in a non-folding component of transitional region.展开更多
Summer rainfall in the Yangtze River basin(YRB)is favored by two key factors in the lower troposphere:the tropical anticyclonic anomaly over the western North Pacific and the extratropical northeasterly anomalies to t...Summer rainfall in the Yangtze River basin(YRB)is favored by two key factors in the lower troposphere:the tropical anticyclonic anomaly over the western North Pacific and the extratropical northeasterly anomalies to the north of the YRB.This study,however,found that approximately 46%of heavy rainfall events in the YRB occur when only one factor appears and the other is opposite signed.Accordingly,these heavy rainfall events can be categorized into two types:the extratropical northeasterly anomalies but tropical cyclonic anomaly(first unconventional type),and the tropical anticyclonic anomaly but extratropical southwesterly anomalies(second unconventional type).Anomalous water vapor convergence and upward motion exists for both types,but through different mechanisms.For the first type,the moisture convergence and upward motion are induced by a cyclonic anomaly over the YRB,which appears in the mid and lower troposphere and originates from the upstream region.For the second type,a mid-tropospheric cyclonic anomaly over Lake Baikal extends southward and results in southwesterly anomalies over the YRB,in conjunction with the tropical anticyclonic anomaly.The southwesterly anomalies transport water vapor to the YRB and lead to upward motion through warm advection.This study emphasizes the role of mid-tropospheric circulations in inducing heavy rainfall in the YRB.展开更多
This paper summarizes a decade of development of a Solar-Assisted Large-Scale Cleaning System(SALSCS)aimed at mitigating urban PM2.5.This effort has led to the construction and operation of four SALSCS units locate...This paper summarizes a decade of development of a Solar-Assisted Large-Scale Cleaning System(SALSCS)aimed at mitigating urban PM2.5.This effort has led to the construction and operation of four SALSCS units located in Xi'an(China),Yancheng(China),and New Delhi(India).Six papers have been published to document the modeling,design,construction,operation,and measurement of three generations of SALSCSs.The Weather Research and Forecasting(WRF)model was utilized to obtain local meteorological information and solar intensity conditions around the SALSCS.Reynolds-Averaged Navier-Stokes(RANS)simulations and Large Eddy Simulation(LES)have been employed to study the flow patterns and clean air concentration profiles near the units.The first generation SALSCS(Xi'an)takes the form of an updraft solar tower that utilizes solar heating to drive a large volume of air flow through the SALSCS.Filters are positioned along the flow path to remove PM2.5,resulting in cleaner air exiting the top of the tower.In the second generation SALSCS(Yancheng),the media filters are replaced with water spray to scrub out PM2.5.The third generation SALSCS(New Delhi)employs a set of fans to draw PM2.5 from the tower inlet through prefilters and final filters,blowing the cleaned air out near ground level to pedestrians surrounding the SALSCS.A proposal is presented that combines the 1st and 2nd Generation SALSCSs equipped with solar panels and direct air capture(DAC)of CO2 to achieve energy self-sufficiency and large-scale capture of 100 million tons of CO2 annually(100 Mt CO2/yr).展开更多
Automated library migration reduces refactoring costs but challenges traditional evolutionary algorithms,which often suffer from premature convergence and poor recall in sparse,complex API mapping spaces.To address th...Automated library migration reduces refactoring costs but challenges traditional evolutionary algorithms,which often suffer from premature convergence and poor recall in sparse,complex API mapping spaces.To address this,we propose QIMIG,a multi-objective optimization framework integrating quantum-inspired encoding with quality-aware and greedy heuristic filtering.QIMIG utilizes a probabilistic Q-bit representation to maintain population diversity and avoid local optima.Simultaneously,its heuristic components leverage historical usage context to filter semantic noise and guide the search toward valid mappings.Evaluated on 9 real-world migration rules derived from 57,447 open-source projects,QIMIG statistically significantly outperforms state-of-the-art baselines such as UNSGA-III.The framework achieves a global mean F1-score of 0.92,exceeding the best-performing baseline by an absolute margin of 0.05,and demonstrates strong stability in resolving complex mapping structures.展开更多
Theoretical and computational chemistry has profoundly impacted a wide range of disciplines,from chemistry and physics to biology and materials science.In recent years,remarkable advances in electronic structure theor...Theoretical and computational chemistry has profoundly impacted a wide range of disciplines,from chemistry and physics to biology and materials science.In recent years,remarkable advances in electronic structure theory,molecular dynamics,and machine learning methods——coupled with increasingly powerful algorithms and software—have equipped chemists with an unprecedented arsenal of tools to tackle complex chemical problems.展开更多
To address the challenge of large-scale packing problems,this paper proposes a novel hierarchical algorithm based on the geometrical classification of parts.The algorithm begins by classifying parts into three levels ...To address the challenge of large-scale packing problems,this paper proposes a novel hierarchical algorithm based on the geometrical classification of parts.The algorithm begins by classifying parts into three levels based on their area and fullness and then applies distinct packing strategies to each category.An innovative“shape matching”method is introduced,which,together with the“box stacking”(for rectangular parts)and“gravity packing,”forms a comprehensive hierarchical packing system.Level-1 comprises large rectangular parts,which are arranged using the box stacking algorithm.By aligning the corner points of the parts’bounding boxes,this method avoids the hooking issue commonly encountered in gravity packing.Level-2 includes both large,irregular parts and medium-sized parts.They are first processed using the shape matching algorithm,where rotation and translation are applied to achieve contour complementarity.The quality of the match is evaluated using the shape matching coefficient(SMC).If the SMC fails to reach the preset quality threshold,the system switches to box stacking(for large,irregular parts)or gravity packing(for medium-sized parts).Level-3 comprises the remaining smaller parts and those that failed to pack in the previous two levels.For these parts,shape matching is attempted first,and the system resorts to gravity packing in case of failure.The experimental and comparative results demonstrate that the proposed hierarchical algorithm achieves higher material utilization than the traditional gravity packing algorithm.This improvement is facilitated by the box stacking and shape matching strategies,which promote a more orderly and compact arrangement of parts.展开更多
Accurate atomistic and electronic-structure calculations based on density functional theory(DFT)and DFT-based ab initio molecular dynamics(AIMD)calculations underpin much of modern computational chemistry and material...Accurate atomistic and electronic-structure calculations based on density functional theory(DFT)and DFT-based ab initio molecular dynamics(AIMD)calculations underpin much of modern computational chemistry and materials science[1].DFT calculations offer quantitative insights into chemical bonding,charge transport,phase stability,reaction pathways,etc[2].展开更多
Software security bugs present significant security risks to modern systems,leading to unauthorized access,data breaches,and severe operational and financial consequences.Early prediction of such vulnerabilities is th...Software security bugs present significant security risks to modern systems,leading to unauthorized access,data breaches,and severe operational and financial consequences.Early prediction of such vulnerabilities is therefore essential for strengthening software reliability and reducing remediation costs.This study investigates the extent to which static software quality metrics can identify vulnerable code and evaluates the effectiveness of machine learning models for large-scale security-bug prediction.We analyze a dataset of 338,442 source files,including 33,294 buggy files,collected from seven major open-source ecosystems.These ecosystems include GitHub Security Advisories(GHSA),Python Package Index(PyPI),OSS-Fuzz(Google’s open-source fuzzing service),Node Package Manager(npm),Packagist(the PHP package repository),Apache Maven,and NuGet(the.NET package manager).Using the Open Source Vulnerabilities(OSV)platform,we identify 7685 confirmed security bugs and extract 25 static software quality metrics per file with the Understand analysis tool.We apply five complementary feature-importance techniques and evaluate eleven machine-learning classifiers under a time-series cross-validation protocol.Our analysis reveals three key findings.First,six core metrics consistently show strong associations with the presence of security bugs across all feature-selection methods.Second,buggy files exhibit substantially higher metric values,with medians approximately three times those of non-buggy files,a pattern we term the“3×rule”;Mann-Whitney U tests confirm that these differences are statistically significant.Third,the machine-learning models achieve strong predictive performance,with XGBoost providing the best results(recall=0.82,precision=0.95,Receiver Operating Characteristic-Area Under the Curve(ROC-AUC)=0.91).Based on these findings,we propose data-driven warning and critical thresholds for the most influential metrics to support proactive security assessment.Overall,this work provides large-scale empirical evidence that software quality metrics,combined with machine learning,offer actionable signals for detecting security bugs and for integrating automated vulnerability prediction into software development workflows.展开更多
Regression testing of large-scale,data-intensive software systems demands efficient test-case prioritization strategies to detect faults early while minimizing computational cost.Conventional prioritization methods,su...Regression testing of large-scale,data-intensive software systems demands efficient test-case prioritization strategies to detect faults early while minimizing computational cost.Conventional prioritization methods,such as coverage-based and risk-based approaches,lack adaptability to evolving project dynamics and fail to leverage the rich test-execution data accumulated over continuous integration cycles.This study presents a Data-Driven Test-Case Prioritization(DD-TCP)Framework that incorporates statistical and machine-learning techniques to model the relationship between test-case features and historical fault detection outcomes.The framework extracts multidimensional attributes including code-change frequency,dependency metrics,execution duration,and past failure density,which are normalized and embedded into a predictive ranking model based on gradient-boosted decision trees.Test cases are then dynamically reordered using a probabilistic gain function that maximizes early fault detection probability.Comprehensive simulations on representative open-source project datasets and synthetically generated large-scale test suites reveal that the proposed Data-Driven Test-Case Prioritization(DD-TCP)framework consistently achieves superior performance,yielding a 32.4%improvement in Average Percentage of Faults Detected(APFD)and a 27.1%reduction in execution overhead relative to baseline methods.The results demonstrate the feasibility of data-centric intelligence for scalable regression testing and provide an analytical foundation for integrating machine learning into next-generation Software Quality Assurance pipelines.展开更多
Composite lining is widely used in tunnel engineering due to its high strength and adaptability.For current model tests on tunnels with composite lining,a large geometric similarity scale resulted in a small-scale mod...Composite lining is widely used in tunnel engineering due to its high strength and adaptability.For current model tests on tunnels with composite lining,a large geometric similarity scale resulted in a small-scale model.Failure process and force of supports are difficultto observe and measure.Research exploring the bearing capacity of tunnels with composite lining is also limited.To overcome the above deficiencies,a model test method to investigate the bearing capacity of tunnels with composite lining in soft rock is proposed.A large-scale model test system with a similarity scale of 12.5 is developed.Similar materials of surrounding rock,rock bolt,firstand secondary lining are determined by triaxial test,tensile test,and pull-out test.The monitoring scheme is designed to obtain the stress of the surrounding rock,rock bolt,firstand secondary lining.Model tests for tunnels without lining,with composite lining and with dense composite lining are conducted.Complete loading processes are observed,and the bearing capacities are explored.Displacements and stresses of surrounding rock material are discussed.Evolution variations of axial force of rock bolt,stress distribution of firstand secondary lining for tunnel with composite lining and tunnel with dense composite lining are compared.The effect of rock bolt densificationis investigated.The results indicate that total loads transferring to both firstand secondary lining at any area of tunnel are roughly equivalent.There is a‘mutual balance’effect between axial forces of them.Densificationof rock bolt results in greater axial forces of firstlining and rock bolt but smaller axial force of secondary lining.展开更多
This study develops an event-triggered control strategy utilizing the fully actuated system approach for nonlinear interconnected large-scale systems containing actuator failures.First,to reduce the complexity of the ...This study develops an event-triggered control strategy utilizing the fully actuated system approach for nonlinear interconnected large-scale systems containing actuator failures.First,to reduce the complexity of the design process,we transform the studied system into the form of a fully actuated system through a state transformation.Then,to address the unknown nonlinear functions and actuator fault parameters,we employ neural networks and adaptive estimation techniques,respectively.Moreover,to reduce the control cost and improve the control efficiency,we introduce event-triggered inputs into the control strategy.It is proved by the Lyapunov stability analysis that all signals of the closed-loop system are bounded and the output of system eventually converge to a bounded region.The efficacy of the control approach is ultimately demonstrated via the simulation of an actual machine feeding system.展开更多
基金Project supported by the National Natural Science Foundation of China (Grant Nos 60374057 and 50575204).
摘要In software engineering, class diagrams are often used to describe the system's class structures in Unified Modelling Language (UML). A class diagram, as a graph, is a collection of static declarative model elements, such as classes, interfaces, and the relationships of their connections with each other. In this paper, class graphs axe examined within several Java software systems provided by Sun and IBM, and some new features are found. For a large-scale Java software system, its in-degree distribution tends to an exponential distribution, while its out-degree and degree distributions reveal the power-law behaviour. And then a directed preferential-random model is established to describe the corresponding degree distribution features and evolve large-scale Java software systems.
摘要Large-scale software systems,which are the most sophisticated human-designed objects,play more and more important role in our daily life.Consequently effective analysis for large-scale software has become an urgent problem to be solved with the increasing issues of software security and the continuous expansion of software applications scope.For the characteristics of large scale and complex structure in large-scale software,the traditional software analysis techniques are difficult to be used.With the problem of difficulty in presentation,storage and low efficiency in the process of large-scale software analysis,the visualization analysis framework for large-scale software based on software network,named SoNet,is proposed with the combination of complex network theory and program slicing technique.Constraint logic attributes of the programs will be obtained through source code parsing.Then we will construct a global view by the theory of complex network after extracting software structure and behavior,improving user’s perception of software architecture in a macro perspective.Use case slicing will be realized combined with Redis cluster,and accessibility analysis when given a keyword to be analyzed.We evaluate our prototype implementation on an open source software project named SoundSea in Github,and the results suggest that our approach can realize the analysis for large-scale software.
摘要To search for the Design Patterns’ influence on the software, the paper abstracts the feature models of 9 kinds of classic exiting design patterns among the 23 kinds and describes the features with algorithm language. Meanwhile, searching for the specific structure features in the network, the paper designs 9 matching algorithms of the 9 kinds design patterns mentioned above to research on the structure of the design patterns in the software network. At last, the paper analyzes the evolving trends of the software scale and the application frequency of the 9 kinds of design patterns as the software evolves, and search for the rules how these design patterns are applied into 4 kinds of typical software.
基金National Key R&D Program of China(Nos.2023YFC3806900,2022YFE0141400)。
摘要The advent of parametric design has resulted in a marked increase in the complexity of building.Unfortunately,traditional construction methods make it difficult to meet the needs.Therefore,construction robots have become a pivotal production tool in this context.Since the arm span of a single robot usually does not exceed 3 meters,it is not competent for producing large-scale building components.Accordingly,the extension of the robot,s working range is often achieved by external axes.Nevertheless,the coupling control of external axes and robots and their kinematic solution have become key challenges.The primary technical difficulties include customized construction robots,automatic solutions for external axes,fixed axis joints,and specific motion mode control.This paper proposes solutions to these difficulties,introduces the relevant basic concepts and algorithms in detail,and encapsulates these robotics principles and algorithm processes into the Grasshopper plug-in commonly used by architects to form the FURobot software platform.This platform effectively solves the above problems,lowers the threshold for architects,and improves production efficiency.The effectiveness of the algorithm and software in this paper is verified through simulation experiments.
基金supported by the National Natural Science Foundation of China(Grant Nos.12202321,12432009,12172262,and 12202322)the National Key R&D Program of China(Grant No.2022YFE0113100)。
摘要To address challenges in architectural extensibility and cross-module collaboration of CAE software,this study proposes OPFEM(open-source Python-based finite element modeling)—an open-source framework featuring a unified four-layer architecture.The geometric modeling framework achieves plug-in support for geometric kernels through an interface abstraction layer and adapter patterns,decoupling kernel-specific implementations while enabling state machine-driven interaction design and parametric sketching.The pre-processing modules establish multi-level associations among materials,sections,and geometric entities using Composite and Factory patterns,while implementing Observer pattern to ensure geometric-mesh consistency and employing finite-state machines to optimize boundary workflows.The computational modules implement a modular finite element library that decouples topology from element attributes,along with a surface boundary element technique for load conversion and task-scheduling management,validated through a cantilever beam large-deformation case.The post-processing module facilitates standardized data storage and dynamic field visualization through architecture-level standardized interface definitions and hierarchical component design.Collectively,OPFEM achieves full-process integration from parametric modeling to nonlinear solving and visualization,enhancing configuration efficiency and providing an extensible,pattern-driven solution for complex CAE challenges.
基金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.
基金supported by the Major Science and Technology Projects of Xinjiang Uygur Autonomous Region(No.2024A01010)Major Science and Technology Projects of China National Petroleum Corporation(No.2023ZZ14YJ04)the Youth Science and Technology Project of China National Petroleum Corporation(No.2024DQ03061).
摘要The ultra-deep fractured low-porosity sandstone gas reservoirs in the Kuqa Depression of the Tarim Basin exhibit complex characteristics,including high temperature,high pressure,significant in-situ stress,multi-scale fractures,and strong aquifer activity.The development of these reservoirs is challenged by rapid water invasion,which causes severe production declines.Conventional experiments fail to adequately simulate the coupled flow between the in-situ matrix and fractures.This study developed a high-temperature,high-pressure large-scale physical simulation platform and a methodology for preparing large rock samples with complex fractures.Using this platform,we conducted single-phase and gas-water two-phase flow experiments under in-situ conditions.The key results indicate that during single-phase depletion,cumulative gas production rapidly reaches a quasi-steady state,confirming the hierarchical flow and coupling from“large fracture”to“small fracture”to“matrix”.The matrix’s gas supply capacity diminishes with decreasing pressure,exacerbating the supply-production imbalance.Constant-volume bottom water experiments reveal that when fracture water saturation exceeds a critical threshold,the matrix gas supply abruptly declines due to“water-sealed gas”.Continuous fracture drainage and pressure reduction can partially alleviate this sealing and restore some gas supply,although recovery remains limited.Experiments under different management strategies demonstrate that higher production rates and larger water-to-gas volume ratios lead to lower cumulative gas production before water sealing,higher abandonment pressures,greater challenges in post-sealing recovery,and consequently,lower ultimate recovery.These findings provide critical insights for optimizing development strategies in ultra-deep fractured low-porosity sandstone gas reservoirs.
基金the National Key R&D Program for Developing Basic Sciences(2022YFC3104802)the National Natural Science Foundation of China(Grant Nos.42476202,42106020,and 42306219)+5 种基金the Tai Shan Scholar Program(Grant No.tstp20231237)the Fundamental Research Funds for the Central Universities(Grant No.2-9-2023-031)Hainan Institute of China University of Geosciences,Beijing(Number:HNPY-202411,HNPY-202504)the Strategic Priority Research Program of Chinese Academy of Sciences(Grant No.XDB0500303)financially supported by the National Key Scientific and Technological Infrastructure project“Earth System Science Numerical Simulator Facility”(EarthLab)Laoshan Laboratory Project(Grant No.LSKJ202300301).
摘要The impact of resolution on the large-scale features in an ocean-sea ice coupled model(CAS-LICOM3)is communicated in this paper through three aspects.First,a refined resolution accelerates temperature and salinity drifts at a basin-averaged scale by facilitating exchanges among basins,subsequently reducing global-averaged drifts.This amplification of basin-scale exchanges is associated with an accelerated large-scale circulation,leading to a more rapid equilibration of temperature and salinity near 200 meters.Second,the refined resolution yields improved simulations of large-scale temperature,salinity,and currents,particularly evident in regions such as the Gulf Stream and its extension.Positive feedback mechanisms,such as improved undercurrents and a stronger Atlantic Meridional Ocean Circulation(AMOC),enhance temperature and salinity distributions,further improving the large-scale circulation.Subsurface improvements near 300 m are linked to improved simulations of equatorial undercurrents,Gulf Stream dynamics,and the Deep Western Boundary Current,leading to a more realistic representation of AMOC and high-latitude deep-water formation.However,limitations in vertical resolution may obscure finer-scale improvements in subsurface and deep-ocean processes.Despite having little impact on the temporal variability of phenomena such as ENSO,Indian Ocean Dipole(IOD),PDO,and AMO,the refined resolution enhances the strengths of their variabilities.
基金supported by the National Key Research and Development Program of China(Grant No.2023YFB3309104)the National Natural Science Foundation of China(Grant Nos.11821202 and 123721222)+1 种基金the Science Technology Plan of Liaoning Province(Grant No.2023JH2/101600044)the 111 Project of China(Grant No.B14013).
摘要Although supplying extensive design space,the curse of dimensionality restricts the widespread application of largescale topology optimization in practical engineering.Various acceleration techniques have been integrated with topology optimization,achieving significant attention and progress in large-scale problems.This work aims to investigate how much benefit can be obtained by combining parallel computing and machine learning techniques to enhance the efficiency of large-scale topology optimization algorithms.Accordingly,a parallel problem independent machine learning(PIML)-enhanced topology optimization method is proposed.The PIML model substantially reduces the dimension of the condensed stiffness matrix and its computational cost,and parallel computing reduces the workload per process and enables the application of a parallel multigrid solver.Besides,several techniques,such as matrix-free implementation,direct condensation of uniform coarse elements,and adjusting computational resource limits,have been developed to enhance computational efficiency.The weak scaling efficiency,strong scaling speedup,and maximum achievable efficiency of the proposed method are validated across multiple numerical examples,showing significant improvement in the tractable problem size and solution efficiency compared to traditional topology optimization algorithms.
基金the financial support from the National Natural Science Foundation of China(No.52465047)the Natural Science Foundation of Jiangxi Province,China(No.20232BAB204050)the support from Alexander von Humboldt Foundation,Germany。
摘要Titanium alloy large-scale rib-web components,known for their lightweight and highstrength properties,have the potential to substantially lighten the load-bearing components of aircraft.Isothermal Local Loading(ILL)has been recognized as an advanced technique for the integrated and less-loading forming of these components.However,material transfer in the transitional region during ILL often leads to folding defect near the die-partition line.To this end,the position of the neutral layer during ILL is calculated via the slab method,which is modified to align with the material flow in the transitional region,taking into account the multi-stage stress states under diverse boundary conditions.By utilizing this calculation model,the material transfer rate and rib-groove filling height can be ascertained.The material transfer rate serves as a criterion for predicting folding defect,and thereby an optimal billet is obtained and implemented in the ILL process.The results demonstrate that the material transfer rate is significantly decreased compared to the non-optimized billet,resulting in a non-folding component of transitional region.
基金supported by the National Natural Science Foundation of China(Grant No.42275041)the Hainan Province Science and Technology Special Fund(Grant No.SOLZSKY2025006).
摘要Summer rainfall in the Yangtze River basin(YRB)is favored by two key factors in the lower troposphere:the tropical anticyclonic anomaly over the western North Pacific and the extratropical northeasterly anomalies to the north of the YRB.This study,however,found that approximately 46%of heavy rainfall events in the YRB occur when only one factor appears and the other is opposite signed.Accordingly,these heavy rainfall events can be categorized into two types:the extratropical northeasterly anomalies but tropical cyclonic anomaly(first unconventional type),and the tropical anticyclonic anomaly but extratropical southwesterly anomalies(second unconventional type).Anomalous water vapor convergence and upward motion exists for both types,but through different mechanisms.For the first type,the moisture convergence and upward motion are induced by a cyclonic anomaly over the YRB,which appears in the mid and lower troposphere and originates from the upstream region.For the second type,a mid-tropospheric cyclonic anomaly over Lake Baikal extends southward and results in southwesterly anomalies over the YRB,in conjunction with the tropical anticyclonic anomaly.The southwesterly anomalies transport water vapor to the YRB and lead to upward motion through warm advection.This study emphasizes the role of mid-tropospheric circulations in inducing heavy rainfall in the YRB.
摘要This paper summarizes a decade of development of a Solar-Assisted Large-Scale Cleaning System(SALSCS)aimed at mitigating urban PM2.5.This effort has led to the construction and operation of four SALSCS units located in Xi'an(China),Yancheng(China),and New Delhi(India).Six papers have been published to document the modeling,design,construction,operation,and measurement of three generations of SALSCSs.The Weather Research and Forecasting(WRF)model was utilized to obtain local meteorological information and solar intensity conditions around the SALSCS.Reynolds-Averaged Navier-Stokes(RANS)simulations and Large Eddy Simulation(LES)have been employed to study the flow patterns and clean air concentration profiles near the units.The first generation SALSCS(Xi'an)takes the form of an updraft solar tower that utilizes solar heating to drive a large volume of air flow through the SALSCS.Filters are positioned along the flow path to remove PM2.5,resulting in cleaner air exiting the top of the tower.In the second generation SALSCS(Yancheng),the media filters are replaced with water spray to scrub out PM2.5.The third generation SALSCS(New Delhi)employs a set of fans to draw PM2.5 from the tower inlet through prefilters and final filters,blowing the cleaned air out near ground level to pedestrians surrounding the SALSCS.A proposal is presented that combines the 1st and 2nd Generation SALSCSs equipped with solar panels and direct air capture(DAC)of CO2 to achieve energy self-sufficiency and large-scale capture of 100 million tons of CO2 annually(100 Mt CO2/yr).
基金partially supported by the Shanghai Yangfan Special Project,24YF2719900Shanghai Soft Science Research Youth Program(25692112700)+1 种基金China Postdoctoral Science Foundation General Program(2024M761927)Shanghai Key Technology R&D Program“Technical Standards”Project(25DZ2201200).
摘要Automated library migration reduces refactoring costs but challenges traditional evolutionary algorithms,which often suffer from premature convergence and poor recall in sparse,complex API mapping spaces.To address this,we propose QIMIG,a multi-objective optimization framework integrating quantum-inspired encoding with quality-aware and greedy heuristic filtering.QIMIG utilizes a probabilistic Q-bit representation to maintain population diversity and avoid local optima.Simultaneously,its heuristic components leverage historical usage context to filter semantic noise and guide the search toward valid mappings.Evaluated on 9 real-world migration rules derived from 57,447 open-source projects,QIMIG statistically significantly outperforms state-of-the-art baselines such as UNSGA-III.The framework achieves a global mean F1-score of 0.92,exceeding the best-performing baseline by an absolute margin of 0.05,and demonstrates strong stability in resolving complex mapping structures.
摘要Theoretical and computational chemistry has profoundly impacted a wide range of disciplines,from chemistry and physics to biology and materials science.In recent years,remarkable advances in electronic structure theory,molecular dynamics,and machine learning methods——coupled with increasingly powerful algorithms and software—have equipped chemists with an unprecedented arsenal of tools to tackle complex chemical problems.
基金supported by the funding from Hudong-Zhonghua Ship-building(Group)Co.,Ltd.
摘要To address the challenge of large-scale packing problems,this paper proposes a novel hierarchical algorithm based on the geometrical classification of parts.The algorithm begins by classifying parts into three levels based on their area and fullness and then applies distinct packing strategies to each category.An innovative“shape matching”method is introduced,which,together with the“box stacking”(for rectangular parts)and“gravity packing,”forms a comprehensive hierarchical packing system.Level-1 comprises large rectangular parts,which are arranged using the box stacking algorithm.By aligning the corner points of the parts’bounding boxes,this method avoids the hooking issue commonly encountered in gravity packing.Level-2 includes both large,irregular parts and medium-sized parts.They are first processed using the shape matching algorithm,where rotation and translation are applied to achieve contour complementarity.The quality of the match is evaluated using the shape matching coefficient(SMC).If the SMC fails to reach the preset quality threshold,the system switches to box stacking(for large,irregular parts)or gravity packing(for medium-sized parts).Level-3 comprises the remaining smaller parts and those that failed to pack in the previous two levels.For these parts,shape matching is attempted first,and the system resorts to gravity packing in case of failure.The experimental and comparative results demonstrate that the proposed hierarchical algorithm achieves higher material utilization than the traditional gravity packing algorithm.This improvement is facilitated by the box stacking and shape matching strategies,which promote a more orderly and compact arrangement of parts.
摘要Accurate atomistic and electronic-structure calculations based on density functional theory(DFT)and DFT-based ab initio molecular dynamics(AIMD)calculations underpin much of modern computational chemistry and materials science[1].DFT calculations offer quantitative insights into chemical bonding,charge transport,phase stability,reaction pathways,etc[2].
基金supported by theNatural Sciences and Engineering Research Council of Canada(NSERC)through a Discovery Grant RGPIN-2019-05062.
摘要Software security bugs present significant security risks to modern systems,leading to unauthorized access,data breaches,and severe operational and financial consequences.Early prediction of such vulnerabilities is therefore essential for strengthening software reliability and reducing remediation costs.This study investigates the extent to which static software quality metrics can identify vulnerable code and evaluates the effectiveness of machine learning models for large-scale security-bug prediction.We analyze a dataset of 338,442 source files,including 33,294 buggy files,collected from seven major open-source ecosystems.These ecosystems include GitHub Security Advisories(GHSA),Python Package Index(PyPI),OSS-Fuzz(Google’s open-source fuzzing service),Node Package Manager(npm),Packagist(the PHP package repository),Apache Maven,and NuGet(the.NET package manager).Using the Open Source Vulnerabilities(OSV)platform,we identify 7685 confirmed security bugs and extract 25 static software quality metrics per file with the Understand analysis tool.We apply five complementary feature-importance techniques and evaluate eleven machine-learning classifiers under a time-series cross-validation protocol.Our analysis reveals three key findings.First,six core metrics consistently show strong associations with the presence of security bugs across all feature-selection methods.Second,buggy files exhibit substantially higher metric values,with medians approximately three times those of non-buggy files,a pattern we term the“3×rule”;Mann-Whitney U tests confirm that these differences are statistically significant.Third,the machine-learning models achieve strong predictive performance,with XGBoost providing the best results(recall=0.82,precision=0.95,Receiver Operating Characteristic-Area Under the Curve(ROC-AUC)=0.91).Based on these findings,we propose data-driven warning and critical thresholds for the most influential metrics to support proactive security assessment.Overall,this work provides large-scale empirical evidence that software quality metrics,combined with machine learning,offer actionable signals for detecting security bugs and for integrating automated vulnerability prediction into software development workflows.
摘要Regression testing of large-scale,data-intensive software systems demands efficient test-case prioritization strategies to detect faults early while minimizing computational cost.Conventional prioritization methods,such as coverage-based and risk-based approaches,lack adaptability to evolving project dynamics and fail to leverage the rich test-execution data accumulated over continuous integration cycles.This study presents a Data-Driven Test-Case Prioritization(DD-TCP)Framework that incorporates statistical and machine-learning techniques to model the relationship between test-case features and historical fault detection outcomes.The framework extracts multidimensional attributes including code-change frequency,dependency metrics,execution duration,and past failure density,which are normalized and embedded into a predictive ranking model based on gradient-boosted decision trees.Test cases are then dynamically reordered using a probabilistic gain function that maximizes early fault detection probability.Comprehensive simulations on representative open-source project datasets and synthetically generated large-scale test suites reveal that the proposed Data-Driven Test-Case Prioritization(DD-TCP)framework consistently achieves superior performance,yielding a 32.4%improvement in Average Percentage of Faults Detected(APFD)and a 27.1%reduction in execution overhead relative to baseline methods.The results demonstrate the feasibility of data-centric intelligence for scalable regression testing and provide an analytical foundation for integrating machine learning into next-generation Software Quality Assurance pipelines.
基金financialsupport provided by National Natural Science Foundation of China(Grant Nos.U21A20159,No.52279118)Youth Innovation Promotion Association of Chinese Academy of Sciences(Grant No.2023344).
摘要Composite lining is widely used in tunnel engineering due to its high strength and adaptability.For current model tests on tunnels with composite lining,a large geometric similarity scale resulted in a small-scale model.Failure process and force of supports are difficultto observe and measure.Research exploring the bearing capacity of tunnels with composite lining is also limited.To overcome the above deficiencies,a model test method to investigate the bearing capacity of tunnels with composite lining in soft rock is proposed.A large-scale model test system with a similarity scale of 12.5 is developed.Similar materials of surrounding rock,rock bolt,firstand secondary lining are determined by triaxial test,tensile test,and pull-out test.The monitoring scheme is designed to obtain the stress of the surrounding rock,rock bolt,firstand secondary lining.Model tests for tunnels without lining,with composite lining and with dense composite lining are conducted.Complete loading processes are observed,and the bearing capacities are explored.Displacements and stresses of surrounding rock material are discussed.Evolution variations of axial force of rock bolt,stress distribution of firstand secondary lining for tunnel with composite lining and tunnel with dense composite lining are compared.The effect of rock bolt densificationis investigated.The results indicate that total loads transferring to both firstand secondary lining at any area of tunnel are roughly equivalent.There is a‘mutual balance’effect between axial forces of them.Densificationof rock bolt results in greater axial forces of firstlining and rock bolt but smaller axial force of secondary lining.
基金supported by the Science Center Program of National Natural Science Foundation of China under Grant 62188101the National Natural Science Foundation of China under Grant 62573265.
摘要This study develops an event-triggered control strategy utilizing the fully actuated system approach for nonlinear interconnected large-scale systems containing actuator failures.First,to reduce the complexity of the design process,we transform the studied system into the form of a fully actuated system through a state transformation.Then,to address the unknown nonlinear functions and actuator fault parameters,we employ neural networks and adaptive estimation techniques,respectively.Moreover,to reduce the control cost and improve the control efficiency,we introduce event-triggered inputs into the control strategy.It is proved by the Lyapunov stability analysis that all signals of the closed-loop system are bounded and the output of system eventually converge to a bounded region.The efficacy of the control approach is ultimately demonstrated via the simulation of an actual machine feeding system.