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

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

来源：评论

学校读者我要写书评

暂无评论

Mesh2Brep: B-rep Reconstruction via Robust Primitive Fitting and Intersection-aware Constraints

引用

IEEE Transactions on Visualization and computer Graphics 2025年 PP卷 PP页

作者： Shen, Zeyu Zhao, Mingyang Yan, Dong-Ming Wang, Wencheng Key Laboratory of System Software Chinese Academy of Sciences State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing100190 China The University of Chinese Academy of Sciences Beijing100049 China CAIR Hong Kong Institute of Science & Innovation Chinese Academy of Sciences China MAIS Institute of Automation Chinese Academy of Sciences Beijing100190 China The School of Artificial Intelligence University of Chinese Academy of Sciences Beijing100049 China

In boundary representation (B-rep) reconstruction for computer aided design (CAD) applications, it is still challenging with existing methods to distinguish primitives in the smoothly blended regions reasonably. Thus, intensive manual post-processing is always required for correcting the primitives and their neighboring relationships to obtain a valid B-rep solid, seriously preventing the efficiency. In this paper, we address these challenges by presenting two novel techniques. The first is to robustly extract primitives by iteratively estimating the probability distribution of the noise to eliminate outliers. The second is to present intersection-aware constraints, like tangency and collinearity constraints, to correctly obtain intersections between primitives, which have not been explored in existing methods to our knowledge. Therefore, we can effectively extract primitives, especially those blended smoothly, and obtain high-quality relationships between them. As a result, a valid B-rep model can be constructed without a lot of manual post-processing on topology correction, while not with existing methods. As a benefit, with our constructed B-rep models, their corresponding meshes can be intuitively and conveniently edited, which is quite useful in CAD applications. Experimental results show that our proposed B-rep construction method outperforms both classical and recent learning-based methods in terms of reconstruction efficiency and accuracy. © 2025 IEEE.

关键词： Mesh generation

来源：评论

学校读者我要写书评

暂无评论

A 7-Channel Bio-Signal Analog Front End Employing Single-End Chopping Amplifier Achieving 1.48 NEF

A 7-Channel Bio-Signal Analog Front End Employing Single-End...

引用

European Conference on Solid-state Circuits (ESSCIRC)

作者： Renze Gan Liangjian Lyu C.-J. Richard Shi State Key Laboratory of ASIC and System Fudan University Shanghai China School of Communication and Electronic Engineering East China Normal University Shanghai China Department of Electrical and Computer Engineering University of Washington Seattle WA USA

This paper presents a high noise efficiency readout circuit for multi-channel bio-signal acquisition. The prototype is implemented in a 65 nm CMOS LP process, which achieves a power consumption of 2.06 $\mu$W/channel, a noise efficiency factor (NEF) of1.48, a common-mode rejection ratio (CMRR) of 105 dB at 50 Hz, and a crosstalk of -65dB by employing these new techniques, including 1) the use of single-ended amplifiers as the unit of low noise amplifier (LNA) for lower NEF, 2) single-end chopping techniques for single-ended amplifiers for suppressing low-frequency noise and offset, 3) digital-assisted DC servo loop (DDSL) for fast settling.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Dynamic Mechanical Behavior of Sap Based Porous Cement-Based Materials Suitable for Emas

SSRN

引用

SSRN 2023年

作者： Yang, Haitao Bian, Hongjian Jing, Qingshuo Tan, Hongbo Sun, Guowen Wu, Lipeng Wang, Yichao Zhang, Zejun Wang, Wei School of Civil Engineering Shijiazhuang Tiedao University Hebei Shijiazhuang050043 China State Key Laboratory of Mechanics Behavior and System Safety of Traffic Engineering Structures Shijiazhuang Tiedao University Hebei Shijiazhuang050043 China Key Laboratory of Roads and Railway Engineering Safety Control Ministry of Education Shijiazhuang Tiedao University Hebei Shijiazhuang050043 China State Key Laboratory of Silicate Materials for Architecture Wuhan University of Technology Hubei Wuhan430070 China

Superabsorbent polymers (SAP) voids have the potential to prepare cement-based materials (CBMs) that meet the engineered materials arresting system (EMAS) requirements due to their similarity to entrained air voids. This idea was validated using a crushing test and an immersion softening test in this paper. The pore structure and micromechanical properties of CBMs incorporating SAP were analyzed using an image analysis, a boiling method, a microhardness test, and a nanoindentation test. Moreover, the influence of SAP on the quasi-static and dynamic mechanical properties of CBMs was studied using a rigid press machine and an SHPB system. The results show that the crushing and immersion softening properties of CBMs can meet the EMAS requirements when SAP dosages are 10% and 12%. The optimal dosage of SAP is 10%. Under quasi-static and dynamic compression, the compressive strength and elastic modulus decrease with increasing SAP dosage, due to the growth of the total porosity of samples and the decline in the micromechanical properties of the matrix. Increasing the SAP dosage can raise the total porosity, thereby enlarging the DIF-fc value and decreasing the DIF-E value. Raising the strain rate results will enlarge the DIF-fc and DIF-E values. This is due to the growth in the damage degree of the specimen and the change in the cracking behavior under dynamic compression. © 2023, The Authors. All rights reserved.

关键词： Pore structure

来源：评论

学校读者我要写书评

暂无评论

Modified Kelvin-Voigt fractional derivative model for viscoelasticity measurement in optical coherence elastography

引用

Chinese Optics Letters 2025年第1期23卷 93-101页

作者： Chenming Yang Zhongliang Li Nan Nan Teng Liu Yaoli Luo Xiangzhao Wang Advanced Light Source and System R&D Center Department of Advanced Optical and Microelectronic EquipmentShanghai Institute of Optics and Fine MechanicsChinese Academy of SciencesShanghai 201800China Center of Materials Science and Optoelectronics Engineering University of Chinese Academy of SciencesBeijing 100049China School of Optical-Electrical and Computer Engineering University of Shanghai for Science and TechnologyShanghai 200093China State Key Laboratory of Extreme Photonics and Instrumentation College of Optical Science and EngineeringZhejiang UniversityHangzhou 310027China

Optical coherence elastography(OCE)can quantitatively obtain the viscoelasticity of tissues using rheological models and is widely applied to the clinical diagnosis of ***,commonly used rheological models in OCE do not account for the distinctive dependence of high-frequency storage and loss moduli on frequency in tissues,which results in the rheological models failing to accurately measure the viscoelastic properties of *** this paper,a modified Kelvin-Voigt fractional derivative model is presented based on the power-law behavior of soft tissues and the dependence of high-frequency complex shear modulus on frequency in living *** the rheometer and OCE tests,the modified model can provide the prediction of the power-law relationship between the low-frequency shear viscosity and frequency;compared with the Kelvin-Voigt and Kelvin-Voigt fractional derivative models,the modified model has a higher goodness-of-fit(accuracy>96%)for the high-frequency storage moduli of gelatin ***,the proposed model can reduce the root mean square error of fit by approximately 83%for the high-frequency(1–128 kHz)storage modulus of the polydimethylsiloxane phantoms obtained from publicly available ***,the modified model accurately predicts the mechanical properties of biomimetic materials over a wide frequency range,with the potential to more accurately reflect pathological changes in tissues.

关键词： optical coherence tomography optical coherence elastography viscoelasticity rheological model

来源：评论

学校读者我要写书评

暂无评论

Multi-modal Data based Semi-Supervised Learning for Vehicle Positioning

arXiv

引用

arXiv 2024年

作者： Huan, Ouwen Yang, Yang Luo, Tao Chen, Mingzhe Beijing Laboratory of Advanced Information Network Beijing University of Posts and Telecommunications Beijing100876 China Department of Electrical and Computer Engineering Institute for Data Science and Computing University of Miami Coral GablesFL33146 United States Beijing Key Laboratory of Network System Architecture and Convergence School of Information and Communication Engineering Beijing University of Posts and Telecommunications Beijing100876 China

In this paper, a multi-modal data based semisupervised learning (SSL) framework that jointly use channel state information (CSI) data and RGB images for vehicle positioning is designed. In particular, an outdoor positioning system where the vehicle locations are determined by a base station (BS) is considered. The BS equipped with several cameras can collect a large amount of unlabeled CSI data and a small number of labeled CSI data of vehicles, and the images taken by cameras. Although the collected images contain partial information of vehicles (i.e. azimuth angles of vehicles), the relationship between the unlabeled CSI data and its azimuth angle, and the distances between the BS and the vehicles captured by images are both unknown. Therefore, the images cannot be directly used as the labels of unlabeled CSI data to train a positioning model. To exploit unlabeled CSI data and images, a SSL framework that consists of a pretraining stage and a downstream training stage is proposed. In the pretraining stage, the azimuth angles obtained from the images are considered as the labels of unlabeled CSI data to pretrain the positioning model. In the downstream training stage, a small sized labeled dataset in which the accurate vehicle positions are considered as labels is used to retrain the model. Simulation results show that the proposed method can reduce the positioning error by up to 30% compared to a baseline where the model is not pretrained. Copyright © 2024, The Authors. All rights reserved.

关键词： Self-supervised learning

来源：评论

学校读者我要写书评

暂无评论

TAPEMAN: Towards an Optimal Data Gathering Mechanism in Wireless Sensor Networks

引用

Chinese Journal of Electronics 2023年第4期19卷 594-598页

作者： Yu Gu Yusheng Ji Hongyang Chen Baohua Zhao Department of Computer Science University of Science and Technology of China Hefei China State Key Laboratory of Networking and Switching Technology Beijing China Information Systems Architecture Science Research Division NII Tokyo Japan Institute of Industrial Science University of Tokyo Tokyo Japan

In this paper, we study the lifetime optimization problem using a mobile sink node in a storage-constrained wireless sensor network, and propose an optimal data gathering mechanism named (TAPEMAN) which runs in three steps: first a tight upper bound of the network lifetime is derived through analysis of energy consumption, then we generate a Traveling salesman problem (TSP) solution based on a 2-approximation $O(n^{2})$ algorithm. A judgment will be made about whether this solution is optimal. If the answer is yes, TAPEMAN terminates. If not, a novel data diffusion scheme is used to distribute data to neighboring nodes, in order to avoid data leaking. We prove that under some reasonable assumptions, our algorithm can achieve this upperbound. Simulation results demonstrate the efficiency of our proposed solution and substantiate the importance of using sink mobility for energy-constrained sensor networks.

关键词： Wireless communication Wireless sensor networks Energy consumption Upper bound Simulation Traveling salesman problems Delays

来源：评论

学校读者我要写书评

暂无评论

DeepCell: Multiview Representation Learning for Post-Mapping Netlists

arXiv

引用

arXiv 2025年

作者： Shi, Zhengyuan Ma, Chengyu Zheng, Ziyang Zhou, Lingfeng Pan, Hongyang Jiang, Wentao Yang, Fan Yang, Xiaoyan Chu, Zhufei Xu, Qiang Department of Computer Science and Engineering The Chinese University of Hong Kong Sha Tin Hong Kong Faculty of Electrical Engineering and Computer Science Ningbo University Ningbo China School of Computer Science Hangzhou Dianzi University Hangzhou China School of Microelectronics State Key Laboratory of Integrated Chips and System Fudan University Shanghai China National Center of Technology Innovation for EDA Nanjing China

Representation learning for post-mapping (PM) netlists is a critical challenge in Electronic Design Automation (EDA), driven by the diverse and complex nature of modern circuit designs. Existing approaches focus on intermediate representations like And-Inverter Graphs (AIGs), limiting their applicability to post-synthesis stages. We introduce DeepCell, a multiview representation learning framework that integrates structural and functional insights from both PM netlists and AIGs to learn rich, generalizable embeddings. At its core, DeepCell employs the novel Mask Circuit Modeling (MCM) mechanism, which refines PM netlist representations in a self-supervised manner using pretrained AIG encoders. DeepCell sets a new benchmark in PM netlist representation, outperforming existing methods in predictive accuracy and reconstruction fidelity. To validate its efficacy, we apply DeepCell to functional Engineering Change Orders (ECO), achieving significant reductions in patch generation costs and runtime while improving patch quality. Copyright © 2025, The Authors. All rights reserved.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

A Case for Adaptive Resource Management in Alibaba Datacenter Using Neural Networks

引用

Journal of computer Science & Technology 2020年第1期35卷 209-220页

作者： Sa Wang Yan-Hai Zhu Shan-Pei Chen Tian-Ze Wu Wen-Jie Li Xu-Sheng Zhan Hai-Yang Ding Wei-Song Shi Yun-Gang Bao State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of Sciences Beijing 100190China University of Chinese Academy of Sciences Beijing 100049China Peng Cheng Laboratory Shenzhen 518055China Alibaba Inc. Hangzhou 311121China Department of Computer Science Wayne State UniversityMichiganMI 48202U.S.A

Both resource efficiency and application QoS have been big concerns of datacenter operators for a long time,but remain to be *** resource utilization increases the risk of resource contention between co-located workload,which makes latency-critical(LC)applications suffer unpredictable,and even unacceptable *** of prior work devotes the effort on exploiting effective mechanisms to protect the QoS of LC applications while improving resource *** this paper,we propose MAGI,a resource management runtime that leverages neural networks to monitor and further pinpoint the root cause of performance interference,and adjusts resource shares of corresponding applications to ensure the QoS of LC *** is a practice in Alibaba datacenter to provide on-demand resource adjustment for applications using neural *** experimental results show that MAGI could reduce up to 87.3%performance degradation of LC application when co-located with other antagonist applications.

关键词： resource management neural network resource efficiency tail latency

来源：评论

学校读者我要写书评

暂无评论

Mathematical modeling of mixed convective MHD Falkner-Skan squeezed Sutterby multiphase flow with non-Fourier heat flux theory and porosity

引用

Applied Mathematics and Mechanics(English Edition) 2023年第11期44卷 2005-2018页

作者： Shuguang LI M.I.KHAN F.ALI S.S.ABDULLAEV S.SAADAOUI HABIBULLAH School of Computer Science and Technology Shandong Technology and Business UniversityYantai 264005Shandong ProvinceChina Department of Mechanics and Engineering Science Peking UniversityBeijing 100871China Department of Mechanical Engineering Lebanese American UniversityBeirut 11020Lebanon Department of Mathematical Sciences Federal Urdu University of ArtsSciences&TechnologyGulshan-e-IqbalKarachi 75300Pakistan Faculty of Chemical Engineering New Uzbekistan UniversityTashkent 100070Uzbekistan Department of Science and Innovation Tashkent State Pedagogical University named after NizamiTashkent 100070Uzbekistan Department of Physics Faculty of Science and ArtsMohayel AserKing Khalid UniversityAbha 61421Saudi Arabia State Key Laboratory of Turbulence and Complex System Collaborative Innovative Center for Advanced Aero-EnginesPeking UniversityBeijing 100871China

In a wide variety of mechanical and industrial applications,e.g.,space cooling,nuclear reactor cooling,medicinal utilizations(magnetic drug targeting),energy generation,and heat conduction in tissues,the heat transfer phenomenon is ***’s law of heat conduction has been used as the foundation for predicting the heat transfer behavior in a variety of real-world *** model’s production of a parabolic energy expression,which means that an initial disturbance would immediately affect the system under investigation,is one of its main ***,numerous researchers worked on such problem to resolve this *** last,this problem was resolved by Cattaneo by adding relaxation time for heat flux in Fourier’s law,which was defined as the time required to establish steady heat conduction once a temperature gradient is *** offered a material invariant version of Cattaneo’s model by taking into account the upper-connected derivative of the Oldroyd ***,both models are combinedly known as the Cattaneo-Christov(CC)*** this attempt,the mixed convective MHD Falkner-Skan Sutterby nanofluid flow is addressed towards a wedge surface in the presence of the variable external magnetic *** CC model is incorporated instead of Fourier’s law for the examination of heat transfer features in the energy expression.A two-phase nanofluid model is utilized for the implementation of *** nonlinear system of equations is tackled through the bvp4c technique in the MATLAB software *** influence of pertinent flow parameters is discussed and displayed through different *** and important results are summarized in the conclusion ***,in both cases of wall-through flow(i.e.,suction and injection effects),the porosity parameters increase the flow speed,and decrease the heat transport and the influence of drag forces.

关键词： sporosity Cattaneo-Christov(CC)heat flux model Falkner-Skan Sutterby nanofluid mixed convection stagnation point

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：