检索结果-内蒙古大学图书馆

arXiv 2025年

作者： Zhang, Yuwei Jin, Zhi Xing, Ying Li, Ge Liu, Fang Zhu, Jiaxin Dou, Wensheng Wei, Jun Affiliated with Nanjing Institute of Software Technology University of Chinese Academy of Sciences Nanjing China Key Laboratory of System Software Chinese Academy of Sciences Institute of Software Chinese Academy of Sciences University of Chinese Academy of Sciences Beijing China Key Laboratory of High Confidence Software Technologies Peking University Ministry of Education School of Computer Science Peking University Beijing China School of Computer Science Wuhan University Wuhan China School of Intelligent Engineering and Automation Beijing University of Posts and Telecommunications Beijing China State Key Laboratory of Complex & Critical Software Environment School of Computer Science and Engineering Beihang University Beijing China

Bug fixing holds significant importance in software development and maintenance. Recent research has made substantial strides in exploring the potential of large language models (LLMs) for automatically resolving software bugs. However, a noticeable gap in existing approaches lies in the oversight of collaborative facets intrinsic to bug resolution, treating the process as a single-stage endeavor. Moreover, most approaches solely take the buggy code snippet as input for LLMs during the patch generation stage. To mitigate the aforementioned limitations, we introduce a novel stage-wise framework named PATCH. Specifically, we first augment the buggy code snippet with corresponding dependence context and intent information to better guide LLMs in generating the correct candidate patches. Additionally, by taking inspiration from bug management practices, we decompose the bug-fixing task into four distinct stages: bug reporting, bug diagnosis, patch generation, and patch verification. These stages are performed interactively by LLMs, aiming to simulate the collaborative behavior of programmers during the resolution of software bugs. By harnessing these collective contributions, PATCH effectively enhances the bug-fixing capability of LLMs. We implement PATCH by employing the powerful dialogue-based LLM ChatGPT. Our evaluation on the widely used bug-fixing benchmark BFP demonstrates that PATCH has achieved better performance than state-of-the-art LLMs. Copyright © 2025, The Authors. All rights reserved.

关键词： Computer software maintenance

来源：评论

学校读者我要写书评

暂无评论

Molecular transport under extreme confinement

引用

science China(Physics,Mechanics & Astronomy) 2022年第6期65卷 1-10页

作者： FengChao Wang JianHao Qian JingCun Fan JinChuan Li HengYu Xu HengAn Wu CAS Key Laboratory of Mechanical Behavior and Design of Materials Department of Modern MechanicsCAS Center for Excellence in Complex System MechanicsUniversity of Science and Technology of ChinaHefei 230027China

Mass transport through the nanoporous medium is ubiquitous in nature and *** the macroscale transport phenomena which have been well understood by the theory of continuum mechanics,the relevant physics and mechanics on the nanoscale transport still remain *** developments in fabrication of slit-like nanocapillaries with precise dimensions and atomically smooth surfaces have promoted the fundamental research on the molecular transport under extreme *** this review,we summarized the contemporary progress in the study of confined molecular transport of water,ions and gases,based on both experiments and molecular dynamics *** liquid exhibits a pronounced layered structure that extends over several intermolecular distances from the solid surface,which has a substantial influence on static properties and transport behaviors under *** studies have also shown that those molecular details could provide some new understanding on the century-old classical theory in this field.

关键词： confined mass transport nanocapillary solid-liquid interface confinement effect

来源：评论

学校读者我要写书评

暂无评论

Hard-magnetic liquid metal droplets with excellent magnetic field dependent mobility and elasticity

引用

Journal of Materials science & technology 2021年第33期92卷 60-68页

作者： Xiaokang He Mingyang Ni Jianpeng Wu Shouhu Xuan Xinglong Gong CAS Key Laboratory of Mechanical Behavior and Design of Materials Department of Modern MechanicsCAS Center for Excellence in Complex System MechanicsUniversity of Science and Technology of ChinaHefei 230027China

Magnetic liquid metal droplets(MLMDs)have been proven to be very important in many fields such as flexible electronics and soft ***,soft magnetic particles such as nickel(Ni)and iron(Fe)are mixed or suspended into the liquid metal to obtain soft MLMDs(S-LMDs),which can be easily manipulated under the magnetic field due to the favorable deformability and *** addition,hard magnetic particles such as neodymium iron boron(Nd Fe B)with a high residual magnetization can also be dispersed into the liquid metal and the hard MLMDs(H-LMDs)become more compact due to the interaction between internal particles induced by *** work reports a kind of H-LMDs with high surface tension,high flexibility and mechanical robustness,whose electrical conductivity and strength are better than the *** the magnetic field,the H-LMDs have a faster response time(0.58 s)and a larger actuating velocity(4.45 cm/s)than the ***,the H-LMDs show excellent magnetic controllability,good elasticity and favorable mobility,as demonstrated by magnetically actuated locomotion,bounce tests and rolling angle ***,the droplets can be further applied in wheeldriven motors and micro-valve switches,which demonstrates their high application potential in robotic manipulation and microfluidic devices.

关键词： Magnetic liquid metal droplets NdFeB particles Magnetic controllability Micro-valve

来源：评论

学校读者我要写书评

暂无评论

Emergent antisymmetric wrinkling patterns in films on ridged substrates

引用

science China(Physics,Mechanics & Astronomy) 2023年第11期66卷 179-187页

作者： Jiahui Zhang Yi Sun Linghui He Yong Ni CAS Key Laboratory of Mechanical Behavior and Design of Materials Department of Modern MechanicsCAS Center for Excellence in Complex System MechanicsUniversity of Science and Technology of ChinaHefei230026China

We report the formation of antisymmetric wrinkling patterns in films on ridged substrates induced by the buckling instability of the substrates via finite element simulations and *** simulated results reveal that the uniaxial compression along the ridge can trigger both the wrinkling instability of the film and the lateral buckling instability of the *** latter could change the wrinkles from a symmetric pattern to an antisymmetric pattern in a range of film-substrate modulus ratio and aspect ratio of the ridge profile,as validated by the experimental observations.A three-dimensional phase diagram with four buckling patterns,i.e.,sole ridge buckling pattern,antisymmetric wrinkling pattern with different wavelengths from ridge buckling,symmetric wrinkling pattern without ridge buckling,and antisymmetric wrinkling pattern with the same wavelength as ridge buckling,is built with respect to the uniaxial compression,modulus ratio,and aspect *** results not only elucidate how and when the interplay between the wrinkling instability and the ridge instability results in the formation of the antisymmetric wrinkling pattern but also offer a way to generate controllable complex wrinkling patterns.

关键词： wrinkling pattern buckling instability ridged film-substrate system antisymmetric wrinkles

来源：评论

学校读者我要写书评

暂无评论

Distributed disturbance-observer-based vibration control for a flexible-link manipulator with output constraints

引用

science China(Technological sciences) 2018年第10期61卷 1528-1536页

作者： YANG HongJun LIU JinKun HE Wei State Key Laboratory of Management and Control for Complex System Institute of Automation Chinese Academy of Sciences School of Automation Science and Electrical Engineering Beihang University School of Automation and Electrical Engineering University of Science and Technology Beijing

The issue of output constraints is studied for a flexible-link manipulator in the presence of unknown spatially distributed disturbances. The manipulator can be taken as an Euler-Bernoulli beam and its dynamic is expressed by partial differential equations. On account of the uncertainty of disturbances, we present a disturbance observer to estimate infinite dimensional disturbances on the beam. The observer is proven exponentially stable. Considering the problem of output constraints in the practical engineering, we propose a novel distributed vibration controller based on the disturbance observer to fulfill the position regulation of the joint angle and suppress elastic deflections on the flexible link, while confining the regulating errors of output in a suitable scope that we can assign. The closed-loop system is demonstrated exponentially stable based on an integral-barrier Lyapunov function. Simulations validate the effectiveness of the design scheme.

关键词： flexible manipulator distributed vibration control disturbance observer partial differential equation output constraint distributed parameter system

来源：评论

学校读者我要写书评

暂无评论

The input pattern problem on deep learning applied to signal analysis and processing to achieve fault diagnosis

引用

science China(Information sciences) 2019年第12期62卷 269-271页

作者： Hao REN Nan LI Yi CHAI Jianfeng QU Qiu TANG Lei HUANG School of Automation Chongqing University Key Laboratory of Complex System Safety and Control Ministry of Education School of Computer Science and Technology Huaiyin Normal University

Dear editor,Generally, one of the most prominent features of modern industrial systems is the massive amount of data collected from various sensors, which poses great challenges to traditional methods of captur-

关键词： The input pattern problem on deep learning applied to signal analysis and processing to achieve fault diagnosis

来源：评论

学校读者我要写书评

暂无评论

MSTMM-Validated Machining Efficiency and Surface Roughness Improvement Using Evolutionary Optimization Algorithm

引用

International Journal of Mechanical system Dynamics 2025年

作者： Shehzad, Adeel Ding, Yuanyuan Chang, Yu Chen, Yiheng Rui, Xiaoting Lu, Hanjing Automotive Engineering Centre University of Engineering and Technology Lahore Pakistan National Key Laboratory of Complex Multibody System Dynamics Nanjing University of Science and Technology Nanjing China Institute of Launch Dynamics Nanjing University of Science and Technology Nanjing China School of Mechanical Engineering Jiangsu University Zhenjiang China

Ultra-precision machining (UPM) has been extensively employed for the production of high-end precision components. The process is highly precise, and the associated cost of production is also high. Optimization of machining parameters in UPM can significantly improve machining efficiency and surface roughness. This study proposes an innovative approach that couples transfer matrix methods for multibody systems (MSTMM) and particle swarm optimization (PSO) to optimize the machining parameters, aiming to simultaneously improve the machining efficiency and surface roughness of UPM machined components. Initially, the dynamic model of an ultra-precision fly-cutting (UPFC) machine tool was developed using MSTMM and validated by machining tests. Subsequently, the PSO algorithm was employed to optimize the machining parameters. Based on the optimized parameters, a 40% reduction in machining time and an 18.6% improvement in surface roughness peak-to-valley (PV) value have been achieved. The proposed method and the optimized parameters were verified through simulations using the MSTMM model, resulting in a minimal error of only 0.9%. © 2025 The Author(s). International Journal of Mechanical system Dynamics published by John Wiley & Sons Australia, Ltd on behalf of Nanjing University of science and technology.

关键词： Particle swarm optimization (PSO)

来源：评论

学校读者我要写书评

暂无评论

Demand estimation of water resources via bat algorithm

引用

International Journal of Wireless and Mobile Computing 2020年第1期18卷 16-21页

作者： Pei, Xiangdong Sun, Youqiang Ren, Yeqing Taiyuan Comprehensive Senior High School Taiyuan China Complex System and Computational Intelligence Laboratory Taiyuan University of Science and Technology Taiyuan China

In the process of urban water resources planning, the demand estimation of urban water consumption is one of the important basic contents. In this paper, a hybrid model of linear estimation model and an exponential estimation model are proposed to forecast the water consumption. The bionic intelligent algorithms are widely used in industrial engineering, so, we use intelligent algorithms to solve the proposed model including Bat Algorithm (BA) and modified Bat Algorithm (FTBA). FTBA improves the global search capability, and the improvements increase the probability of solving the optimal value. In the simulation experiments, we use the data from Nanchang city during 2003 to 2015. The data from 2003 to 2012 are used to find the optimal weights, and the remaining data (2013–2015) are used to test the models. Simulation results show that the modified BA (FTBA) is superior to the standard algorithm and achieves higher accuracy in prediction. Copyright © 2020 Inderscience Enterprises Ltd.

关键词： Water resources

来源：评论

学校读者我要写书评

暂无评论

Data-Centered Computing and Implementation in Web Service 7

Data-Centered Computing and Implementation in Web Service

引用

2016 IEEE 7th International Conference on Software Engineering and Service science

作者： Li Chao Wu Lingda Zhao Bin Science and Technology on Complex Electronic System Simulation Laboratory Equipment Academy Electronic Equipment Test Center

ISBN: (纸本)9781467399050

Parallel computer architectures bring synchronization problem which bog down the *** the speed gap between CPU and memory keeps growing,making data operation more *** some data-intensive applications,there are similar or coincident child operations in parallel threads,which take unnecessary *** effectively exploit parallelization,reduce the price of data operation,the concept of data-centered computing is *** considering the similarity and relations between data and merging them into unions as threads' input,data-centered computing can eliminate data operation redundancy of data-intensive *** implementation in web service proves that data-centered computing can effectively improve performance.

关键词： data-centered web service data vector parallelization

来源：评论

学校读者我要写书评

暂无评论

Two Stages Segmentation Algorithm of Breast Tumor in DCE-MRI Based on Multi-Scale Feature and Boundary Attention Mechanism

引用

Computers, Materials & Continua 2024年第7期80卷 1543-1561页

作者： Bing Li Liangyu Wang Xia Liu Hongbin Fan Bo Wang Shoudi Tong School of Automation Harbin University of Science and TechnologyHarbin150080China Heilongjiang Provincial Key Laboratory of Complex Intelligent System and Integration Harbin150080China School of Computer Engineering Technology Guangdong Institute of Science and TechnologyZhuhai519090China

Nuclearmagnetic resonance imaging of breasts often presents complex *** tumors exhibit varying sizes,uneven intensity,and indistinct *** characteristics can lead to challenges such as low accuracy and incorrect segmentation during tumor ***,we propose a two-stage breast tumor segmentation method leveraging multi-scale features and boundary attention ***,the breast region of interest is extracted to isolate the breast area from surrounding tissues and ***,we devise a fusion network incorporatingmulti-scale features and boundary attentionmechanisms for breast tumor *** incorporate multi-scale parallel dilated convolution modules into the network,enhancing its capability to segment tumors of various sizes through multi-scale convolution and novel fusion ***,attention and boundary detection modules are included to augment the network’s capacity to locate tumors by capturing nonlocal dependencies in both spatial and channel ***,a hybrid loss function with boundary weight is employed to address sample class imbalance issues and enhance the network’s boundary maintenance capability through additional *** was evaluated using breast data from 207 patients at RuijinHospital,resulting in a 6.64%increase in Dice similarity coefficient compared to the *** results demonstrate the superiority of the method over other segmentation techniques,with fewer model parameters.

关键词： Dynamic contrast-enhanced magnetic resonance imaging(DCE-MRI) breast tumor segmentation multi-scale dilated convolution boundary attention the hybrid loss function with boundary weight

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：