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

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

来源：评论

学校读者我要写书评

暂无评论

Chaos Control of a Chemical Chaotic system via Time-delayed Feedback Control Method

引用

International Journal of Automation and computing 2014年第4期11卷 392-398页

作者： Chang-Jin Xu Yu-Sen Wu Guizhou Key Laboratory of Economics System Simulation Guizhou University of Finance and Economics School of Mathematics and Statistics Henan University of Science and Technology

In this paper, the control of chemical chaotic dynamical system is investigated by time-delayed feedback control *** controllability and the stability of the equilibriums and local Hopf bifurcation of the system are verified. Some numerical simulations which show the effectiveness of the time-delayed feedback control method are provided.

关键词： Chemical system chaos stability Hopf bifurcation time delay

来源：评论

学校读者我要写书评

暂无评论

New Stability Criteria for High-Order Neural Networks with Proportional Delays

引用

Communications in Theoretical Physics 2017年第3期67卷 235-240页

作者：徐昌进李培峦 Guizhou Key Laboratory of Economics System Simulation Guizhou University of Finance and Economics School of Mathematics and Statistics Henan University of Science and Technology

This paper is concerned with high-order neural networks with proportional delays. The proportional delay is a time-varying unbounded delay which is different from the constant delay, bounded time-varying delay and distributed delay. By the nonlinear transformation yi(t) = ui( et)(i = 1, 2,..., n), we transform a class of high-order neural networks with proportional delays into a class of high-order neural networks with constant delays and timevarying coefficients. With the aid of Brouwer fixed point theorem and constructing the delay differential inequality, we obtain some delay-independent and delay-dependent sufficient conditions to ensure the existence, uniqueness and global exponential stability of equilibrium of the network. Two examples with their simulations are given to illustrate the theoretical findings. Our results are new and complement previously known results.

关键词： high-order neural networks exponential stability proportional delays delay differential inequality Brouwer fixed point theorem

来源：评论

学校读者我要写书评

暂无评论

Chaos Control and Bifurcation Behavior for a Sprott E system with Distributed Delay Feedback

引用

International Journal of Automation and computing 2015年第2期12卷 182-191页

In this paper, the problem of controlling chaos in a Sprott E system with distributed delay feedback is considered. By analyzing the associated characteristic transcendental equation, we focus on the local stability and Hopf bifurcation nature of the Sprott E system with distributed delay feedback. Some explicit formulae for determining the stability and the direction of the Hopf bifurcation periodic solutions are derived by using the normal form theory and center manifold theory. Numerical simulations for justifying the theoretical analysis are provided.

关键词： Sprott E system chaos control stability Hopf bifurcation distributed delay.

来源：评论

学校读者我要写书评

暂无评论

Antenna Position and Power Allocation Design for Shared Aperture Sparse Linear Array 10

Antenna Position and Power Allocation Design for Shared Aper...

引用

10th International Conference on Control, Automation and Information sciences, ICCAIS 2021

作者： Liu, Ruitao Wei, Wenqiang Yu, Xianxiang Lu, Qinghui Cui, Guolong Fang, Xueli Zhang, Lei University of Electronic Science and Technology of China Chengdu China Key Laboratory of Complex Aeronautical System Simulation Beijing China

ISBN: (纸本)9781665440295

This paper considers the joint design of the antenna position and power allocation in a shared aperture sparse phased array. We introduce a new optimization model relying on the minimization of the Peak Sidelobe Levels (PSL) of beampattern under the antenna position constraints, mainlobe constraints and transmit power constraints. In order to tackle the non-convex problem, we resort to a Modified Membrane Algorithm based on P systems (MMAPS) along with its each iteration executed in parallel. Finally, numerical simulations verify the effectiveness of the proposed algorithm. The results highlight that MMAPS can obtain a better beampattern in terms of the PSL in comparison with the available methods. © 2021 IEEE.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Novel polarimetric detector for target detection in heterogeneous clutter

引用

Journal of systems Engineering and Electronics 2016年第6期27卷 1135-1141页

作者： Xu Cheng Longfei Shi Yuliang Chang Yongzhen Li Xuesong Wang State Key Laboratory of Complex Electromagnetic Environment Effects on Electronics and Information System College of Electronic Science and Engineering National University of Defense Technology

A detection of static or slowly moving targets in the inhomogeneous clutter of polarimetric radar is researched and a new detector without exploiting the training set is developed, which has a good performance against the inhomogeneous clutter. The decision rule ensures the constant false alarm rate (CFAR) with respect to the disturbance covariance matrix. Numerical results show the robustness of the proposed method against the inhomogeneous clutter. © 2016 Beijing Institute of Aerospace Information.

关键词： Clutter (information theory) Covariance matrix Numerical methods Polarimeters Radar Radar clutter Radar signal processing Signal processing

来源：评论

学校读者我要写书评

暂无评论

Contact Force Optimization to Enhance Fault-tolerant Motion Stability of a Hexapod Robot

引用

Journal of Bionic Engineering 2024年第5期21卷 2199-2214页

作者： Bo You Shangdong Shi Chen Chen Jiayu Li Nan Li Liang Ding The Key Laboratory of Intelligent Technology for Cutting and Manufacturing Ministry of Education and the Heilongjiang Provincial Key Laboratory of Complex Intelligent System and Integration Harbin University of Science and TechnologyHarbin150080China The State Key Laboratory of Robotics and System Harbin Institute of TechnologyHarbin150001China

This paper presents a novel method for optimizing the contact force of a hexapod robot to enhance its dynamic motion stability when one of its legs *** proposed approach aims to improve the Force Angle Stability Margin(FASM)and adapt the foot trajectory through contact force optimization to achieve safe and stable motion on various *** foot force optimization approach is designed to optimize the FASM,a factor rarely considered in existing contact force optimization *** formulating the problem of enhancing the motion stability of the hexapod robot as a Quadratic Programming(QP)optimization problem,this approach can effectively address this *** of a hexapod robot using a fault-tolerant gait,along with real field experiments,were conducted to validate the effectiveness and feasibility of the contact force optimization *** results demonstrate that this approach can be used to design a motion controller for a hexapod robot with a significantly improved motion *** summary,the proposed contact force optimization method offers a promising solution for enhancing the motion stability of hexapod robots with single leg failures and has the potential to significantly advance the development of fault-tolerant hexapod robots for various applications.

关键词： Hexapod robot Fault-tolerant Stability margin Contact force optimization

来源：评论

学校读者我要写书评

暂无评论

Using group-decided Watts-Strogatz particle swarm optimisation to direct orbits of chaotic systems

引用

International Journal of Wireless and Mobile Computing 2012年第3期5卷 244-248页

作者： Dong, Zengshou Complex System and Computational Intelligence Laboratory Taiyuan University of Science and Technology Shanxi 030024 China

Group-decided Watts-Strogatz Particle Swarm Optimisation (GWSPSO) is a new novel variant of Particle Swarm Optimisation (PSO) that aims to enhance the escaping capability from local optimum by incorporating group decision mechanism and Watts-Strogatz small-world topology. In this paper, GWSPSO is employed to solve the directing orbits of chaotic systems, simulation results show this new variant increases the performance significantly when compared with the standard version of PSO. Copyright © 2012 Inderscience Enterprises Ltd.

关键词： Chaotic systems

来源：评论

学校读者我要写书评

暂无评论

DOA Estimation of Distributed mmWave Radar system via Fast Iterative Adaptive Approach 10

DOA Estimation of Distributed mmWave Radar System via Fast I...

引用

10th International Conference on Control, Automation and Information sciences, ICCAIS 2021

作者： Wei, Wenqiang Liu, Ruitao Yu, Xianxiang Lu, Qinghui Cui, Guolong Fang, Xueli Zhang, Lei University of Electronic Science and Technology of China Chengdu China Key Laboratory of Complex Aeronautical System Simulation Beijing China

ISBN: (纸本)9781665440295

In this paper, we propose a fast algorithm based on iterative adaptive approach to address the DOA estimation for the distributed mmWave radar system under the challenging conditions of a single snapshot and coherent sources. In order to improve angular resolution, let each transmit sensor emit the same signal in time-sharing to construct a large aperture virtual array. We first roughly derive azimuth angles with one mmWave radar using conventional beamforming. Then, resorting to iterative adaptive approach, we search for the accurate DOA estimations within a very small region based on the estimated azimuth to improve computational efficiency and angular resolution. Finally, numerical simulation results are provided to demonstrate superior performance of the proposed algorithm over some counterparts. © 2021 IEEE.

关键词： Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Two-Stage Point Cloud Super Resolution with Local Interpolation and Readjustment via Outer-Product Neural Network

引用

Journal of systems science & complexity 2021年第1期34卷 68-82页

作者： WANG Guangyu XU Gang WU Qing WU Xundong School of Computer Science and Technology Hangzhou Dianzi UniversityHangzhou 310018China Key Laboratory of Complex Systems Modeling and Simulation Ministry of EducationHangzhou 310018China

This paper proposes a two-stage point cloud super resolution framework that combines local interpolation and deep neural network based readjustment. For the first stage, the authors apply a local interpolation method to increase the density and uniformity of the target point cloud. For the second stage, the authors employ an outer-product neural network to readjust the position of points that are inserted at the first stage. Comparison examples are given to demonstrate that the proposed framework achieves a better accuracy than existing state-of-art approaches, such as PU-Net, Point Net and DGCNN(Source code is available at https://***/qwerty1319/PC-SR).

关键词： Neural network outer-product network point cloud super resolution

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：