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

Deep learning-based software engineering: progress,challenges, and opportunities

science China(information sciences) 2025年第1期68卷 57-144页

作者： Xiangping CHEN Xing HU Yuan HUANG He JIANG Weixing JI Yanjie JIANG Yanyan JIANG Bo LIU Hui LIU Xiaochen LI Xiaoli LIAN Guozhu MENG Xin PENG Hailong SUN Lin SHI Bo WANG Chong WANG Jiayi WANG Tiantian WANG Jifeng XUAN Xin XIA Yibiao YANG Yixin YANG Li ZHANG Yuming ZHOU Lu ZHANG School of Journalism and Communication Sun Yat-sen University School of Software Technology Zhejiang University School of Software Engineering Sun Yat-sen University School of Software Dalian University of Technology School of Computer Science and Technology Beijing Institute of Technology Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of EducationSchool of Computer Science Peking University State Key Laboratory for Novel Software Technology Nanjing University School of Computer Science and Engineering Beihang University Institute of Information Engineering Chinese Academy of Sciences School of Computer Science Fudan University State Key Laboratory of Complex & Critical Software Environment (CCSE) School of Software Beihang University School of Computer and Information Technology Beijing Jiaotong University School of Computer Science and Technology Harbin Institute of Technology School of Computer Science Wuhan University Huawei Technologies

Researchers have recently achieved significant advances in deep learning techniques, which in turn has substantially advanced other research disciplines, such as natural language processing, image processing, speech recognition, and software engineering. Various deep learning techniques have been successfully employed to facilitate software engineering tasks, including code generation, software refactoring, and fault localization. Many studies have also been presented in top conferences and journals, demonstrating the applications of deep learning techniques in resolving various software engineering tasks. However,although several surveys have provided overall pictures of the application of deep learning techniques in software engineering,they focus more on learning techniques, that is, what kind of deep learning techniques are employed and how deep models are trained or fine-tuned for software engineering tasks. We still lack surveys explaining the advances of subareas in software engineering driven by deep learning techniques, as well as challenges and opportunities in each subarea. To this end, in this study, we present the first task-oriented survey on deep learning-based software engineering. It covers twelve major software engineering subareas significantly impacted by deep learning techniques. Such subareas spread out through the whole lifecycle of software development and maintenance, including requirements engineering, software development, testing, maintenance, and developer collaboration. As we believe that deep learning may provide an opportunity to revolutionize the whole discipline of software engineering, providing one survey covering as many subareas as possible in software engineering can help future research push forward the frontier of deep learning-based software engineering more systematically. For each of the selected subareas,we highlight the major advances achieved by applying deep learning techniques with pointers to the available datasets i

关键词： deep learning software engineering software benchmark software artifact representation survey

来源：评论

学校读者我要写书评

暂无评论

Alkaline leaching mechanism of MSWI bottom ash:the pivotal role of Si(Al)chemical bonding environments

引用

science China(Technological sciences) 2025年第2期68卷 73-85页

作者： Ningning SHAO Zekun JIAO Weipeng FENG Yu JIN Fanlong KONG Zhijun DONG Zuotai ZHANG Institute of Technology for Marine Civil Engineering Shenzhen Institute of Information Technology(SZIIT)Shenzhen 518172China School of Environmental Science and Engineering Key Laboratory of Municipal Solid Waste Recycling Technology and Management of Shenzhen CitySouthern University of Science and Technology(SUSTech)Shenzhen 518055China Guizhou NASH Ecological Technology Co. LTDGuiyang 550016China

Municipal solid waste incineration bottom ash(MSWIBA)is a complex assemblage of aluminosilicate materials encompassing diverse solid ***,its complexity poses great challenges to their resource *** the sake of the alkali activation use of MSWIBA,this work focused on the characterizations and alkaline leaching experiments of various classified MSWIBA after *** the different categories of MSWIBA,waste glass(BA-G)and other unidentified slags(BA-O)were identified as potential precursors for alkali activation *** alkaline leaching experiments proved that alkaline concentration,reaction temperature,reaction time,and raw material classification influenced the leaching process and *** these,the Si/Al chemical bonding environments from the material type played a pivotal *** the materials had Q_(n)(n>2)as the primary bonding structure,steric hindrance by the chain frameworks affected the alkali dissolution process,resulting in gradual disintegration from the outer layers *** the materials dominated by Q1 frameworks,OH-could penetrate the frameworks,leading to their rapid depolymerization and outward ***,the Si/Al bonding environment played a crucial role in alkaline dissolution,providing theoretical guidance for classifying the alkali-activation utilization of MSWIBA and other aluminosilicate solid wastes.

关键词： municipal solid waste incineration bottom ash classification alkaline leaching chemical bonding environments mechanism

来源：评论

学校读者我要写书评

暂无评论

BEDiff: denoising diffusion probabilistic models for building extraction

引用

Optoelectronics Letters 2025年第5期21卷 298-305页

作者： LEI Yanjing WANG Yuan CHAN Sixian HU Jie ZHOU Xiaolong ZHANG Hongkai College of Computer Science and Technology Zhejiang University of Technology Hubei Key Laboratory of Intelligent Vision Based Monitoring for Hydroelectric Engineering College of Computer and Information China Three Gorges University Key Laboratory of Intelligent Informatics for Safety & Emergency of Zhejiang Province Wenzhou University College of Electrical and Information Engineering Quzhou University School of Electronic and Information Engineering Anhui Jianzhu University

Accurately identifying building distribution from remote sensing images with complex background information is challenging. The emergence of diffusion models has prompted the innovative idea of employing the reverse denoising process to distill building distribution from these complex backgrounds. Building on this concept, we propose a novel framework, building extraction diffusion model(BEDiff), which meticulously refines the extraction of building footprints from remote sensing images in a stepwise fashion. Our approach begins with the design of booster guidance, a mechanism that extracts structural and semantic features from remote sensing images to serve as priors, thereby providing targeted guidance for the diffusion process. Additionally, we introduce a cross-feature fusion module(CFM) that bridges the semantic gap between different types of features, facilitating the integration of the attributes extracted by booster guidance into the diffusion process more effectively. Our proposed BEDiff marks the first application of diffusion models to the task of building extraction. Empirical evidence from extensive experiments on the Beijing building dataset demonstrates the superior performance of BEDiff, affirming its effectiveness and potential for enhancing the accuracy of building extraction in complex urban landscapes.

关键词： A

来源：评论

学校读者我要写书评

暂无评论

PBCounter:weighted model counting on pseudo-boolean formulas

引用

Frontiers of Computer science 2025年第3期19卷 55-63页

作者： Yong LAI Zhenghang XU Minghao YIN College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchun 130012China School of Computer Science and Information Technology Northeast Normal UniversityChangchun 130017China

In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its *** current WMC solvers work on Conjunctive Normal Form(CNF)***,CNF is not a natural representation for human-being in many *** by the stronger expressive power of Pseudo-Boolean(PB)formulas than CNF,we propose to perform WMC on PB *** on a recent dynamic programming algorithm framework called ADDMC for WMC,we implement a weighted PB counting tool *** compare PBCounter with the state-of-the-art weighted model counters SharpSAT-TD,ExactMC,D4,and ADDMC,where the latter tools work on CNF with encoding methods that convert PB constraints into a CNF *** experiments on three domains of benchmarks show that PBCounter is superior to the model counters on CNF formulas.

关键词： weighted model counting pseudo-boolean constraint algebraic decision diagrams preprocessing techniques

来源：评论

学校读者我要写书评

暂无评论

Robust Predictive Bipartite Bumpless Control for Markov Jump MASs Under Switching Topology: Application to Rotary-Wing Air Vehicles

引用

IEEE Transactions on Vehicular technology 2025年第5期74卷 7020-7032页

作者： Wang, Jian Dong, Jiuxiang The Liaoning Province Key Laboratory of Safe Operation Technique for Autonomous Unmanned Systems College of Information Science and Engineering Shenyang110819 China Northeastern University State Key Laboratory of Synthetical Automation of Process Industries Shenyang110819 China

This article addresses the issue of bipartite consensus for Markov jump multi-agent systems subjected to bounded disturbance and input constraints under mode-dependent switching topology. To surmount the challenge of handling disturbance, hard constraints and bump suppression, which are not considered and difficult to deal with in existing literature on solutions to algebraic Riccati equation, a novel bipartite robust predictive bumpless control algorithm is proposed with integrating H∞ performance. To be specific, the offline designing process of bipartite controller parameters is firstly performed by investigating terminal constraint set and robust invariant set. In this sense, H∞ type cost function and consensus error state bump cost are constructed for achieving disturbance attenuation and suppressing bump in error state, respectively. This further avoids possible counterproductive results caused by setting constraints on bump with a small gain. Next, based on the optimization prediction dynamics, perturbation state of controller is optimized online for each agent, which efficiently reduces the computational burden compared with conventional online and efficient model predictive control. Furthermore, the recursive feasibility of the proposed method and stochastic stability of error dynamics are theoretically guaranteed. Finally, an application to rotary-wing air vehicles is utilized to verify the potential of theoretic results. © 1967-2012 IEEE.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Energy-Efficient Relay Selection and Power Allocation Optimization for Lifetime Maximization in Underwater Acoustic Sensor Networks

引用

IEEE Sensors Journal 2025年第11期25卷 20854-20869页

作者： Xu, Hengyu Ye, Fang Su, Hang Su, Chunxia Harbin Engineering University Key Laboratory of Advanced Marine Communication and Information Technology College of Information and Communication Engineering Harbin150001 China Harbin Engineering University National Key Laboratory of Underwater Acoustic Technology College of Information and Communication Engineering Harbin150001 China Suzhou University of Science and Technology School of Electronic and Information Engineering Suzhou215009 China

Underwater acoustic sensor networks (UASNs) play a crucial role in marine data collection. However, due to harsh underwater channel conditions and the finite energy supply of sensor nodes, underwater data transmission faces difficulties such as low reliability, limited spectrum, and constrained energy resources. How to ensure the performance of UASNs, such as network lifetime and energy efficiency (EE), under limited resources is a critical problem that needs to be addressed. To tackle these challenges, a matching game-based approach for relay selection and power allocation is proposed in this paper. Specifically, we model the network lifetime maximization (NLM) problem under resource constraints as a matching game problem, and develop an iterative matching algorithm based on NLM to ensure stable outcomes for relay selection and power allocation. Additionally, we devise a power allocation algorithm focused on energy efficiency to enhance system EE while guaranteeing NLM. The simulation results show that the proposed strategy greatly surpasses other benchmark algorithms in extending network lifetime and optimizing EE, validating its effectiveness and practicality. © 2001-2012 IEEE.

关键词： Relays Resource management Sensors Optimization Energy efficiency Underwater acoustics Wireless sensor networks Energy consumption Games Game theory

来源：评论

学校读者我要写书评

暂无评论

MCFF-Net: Multi-Scale Contextual Feature Fusion Network for Polyp Segmentation

引用

Journal of Shanghai Jiaotong University (science) 2025年 1-13页

作者： Ma, Lei Yan, Jiangkai Shao, Dangguo Li, Jingtao Wang, Jiawei Yan, Yukun Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming650500 China Yunnan Provincial Key Laboratory of Artificial Intelligence Kunming650500 China

In clinical practice, technologies for automatically segmenting polyps might greatly improve the speed and accuracy of medical diagnosis, significantly reducing the chances of patients developing colorectal cancer. Nevertheless, the segmentation of polyps presents a considerable challenge due to their low contrast, presence of occlusion, and intricate background disturbances. In this paper, we propose an innovative approach for segmenting polyps, called multi-scale contextual feature fusion network for polyp segmentation (MCFF-Net). Specifically, MCFF-Net includes three modules: feature enhancement module (FEM), global-local feature fusion module (GLFF), and cross-scale feature fusion module (CFFM). Among them, FEM is used to improve the features at each scale. Building on this, the CFFM enables comprehensive interaction among the information across various scales, enhancing the diversity of the feature scales extracted. Moreover, the GLFF fuses global-local features to generate a rough object localization map. This map further modulates the fusion features from the CFFM, facilitating more precise segmentation. On five publicly available datasets, our approach not only segments various polyp types but also surpasses existing methods in terms of accuracy and generalizability. © Shanghai Jiao Tong University 2024.

关键词： Diseases

来源：评论

学校读者我要写书评

暂无评论

Contract-Based Incentive Mechanisms for UAV Networks in Covert Communications

引用

IEEE Transactions on Vehicular technology 2025年第5期74卷 7378-7391页

作者： Tian, Wen Fan, Hao Liu, Guangjie Du, Miao Liu, Yinqiu Niyato, Dusit Han, Zhu Nanjing University of Information Science and Technology School of Electronic and Information Engineering Nanjing University of Information Science and Technology Key Laboratory of Intelligent Support Technology In Complex Environment Ministry of Education Nanjing210044 China Southeat University School of Computer Science and Engineering China Southeast University Key Laboratory of Computer Network and Information Integration Ministry of Education Nanjing China Nanyang Technological University School of Computer Science and Engineering 639798 Singapore University of Houston Department of Electrical and Computer Engineering HoustonTX77004 United States Kyung Hee University Department of Computer Science and Engineering Seoul446-701 Korea Republic of

Covert communication is considered a promising technology for hiding transmission processes and activities from malicious eavesdropping. With the development of detection technology, the traditional point-to-point covert communication method cannot effectively guarantee the reliability of covert communication. In order to solve this problem, unmanned aerial vehicle (UAV) are widely adopted in covert communication as common relay equipment. However, the UAV maximizes its benefits by taking advantage of the information asymmetry between itself and the covert communication sender. Therefore, it is necessary to encourage UAV-assisted potential users (UPU) to transmit covert data honestly by designing an information asymmetry-based incentive mechanism. In this paper, we propose a UAV-assisted contract-theoretic (UACT) model to improve the covert communication performance, where UPU honestly transmits covert data and the throughput of UACT can be increased. Specifically, we first divide UPU into finite types and model the data transfer contract between the sender, UPU, and receiver. Then, the contract feasibility of UACT is derived with sufficient and necessary conditions. Finally, we analyze the contract optimization in the continuous case of UPUs. Numerical simulations show that the UACT can incentivize UPUs to transmit covert data through UAV assistance and make covert communication performance close to the information symmetry case. © 1967-2012 IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

Enhanced piezoelectricity and lager strain in Bi0.5Li0.5HfO3 doped sodium potassium niobate-based ceramics with high Curie temperatures

引用

Ceramics International 2025年第15期51卷 20992-20998页

作者： Li, Yuxuan Peng, Zhanhui Chai, Qizhen Wang, Yuanhao Nie, Xinru Wei, Lingling Liang, Pengfei Wu, Di Chao, Xiaolian Yang, Zupei Key Laboratory for Macromolecular Science of Shaanxi Province Shaanxi Key Laboratory for Advanced Energy Devices Shaanxi Engineering Laboratory for Advanced Energy Technology School of Materials Science and Engineering Shaanxi Normal University Shaanxi Xi'an710062 China Electronic Materials Research Laboratory Key Laboratory of the Ministry of Education School of Electronic Science and Engineering Faculty of Electronic and Information Engineering Xi'an Jiaotong University Xi'an710049 China School of Physics and Information Technology Shaanxi Normal University Shaanxi Xi'an710062 China School of Chemistry and Chemical Engineering Shaanxi Normal University Shaanxi Xi'an710062 China

High-temperature electronic ceramics are indispensable in applications such as the automotive sector, aerospace, oil exploration and other fields. Potassium sodium niobate-based (KNN-based) ceramics have emerged as critical materials for the development of environmentally friendly high-temperature sensors, filters, and other electronic devices. However, achieving a combination of superior piezoelectric properties and a high Curie temperature in KNN-based ceramics remains a significant challenge. In this study, we employed a strategy of constructing an orthorhombic-tetragonal (O-T) phase boundary with the objective of enhancing the piezoelectric properties of KNN-based ceramics and introduced Li+ to optimize the Curie temperature. In (1-x)K0.48Na0.52NbO3-xBi0.5Li0.5HfO3 ceramics, we realized high piezoelectric constant ∼ 340 pC/N, large strain (∼0.21 %) and elevated Curie temperature (Tc ∼ 354 °C) simultaneously. These findings not only identify a promising candidate for high-temperature sensors and filters but also provide valuable insights for advancing the design of high Curie temperature and lead-free piezoelectric ceramics based on KNN systems. © 2025 Elsevier Ltd and Techna Group S.r.l.

关键词： Piezoelectricity

来源：评论

学校读者我要写书评

暂无评论

Decoupling the nonthermal effect of current by electrically assisted crystal plasticity modeling of Ni-based single crystal superalloys

引用

材料科学技术（英文版） 2025年第1期204卷 91-103页

作者： Jia Gao Hongwei Li Xin Zhang Guangda Shao Zhiyu Xiang Xinxin Sun State Key Laboratory of Solidification Processing School of Materials Science and EngineeringNorthwestern Polytechnical UniversityXi'an 710072China Shaanxi Key Laboratory of High-performance Precision Forming Technology and Equipment Northwestern Polytechnical UniversityXi'an 710072China Shaanxi Key Laboratory of High-performance Precision Forming Technology and Equipment Northwestern Polytechnical UniversityXi'an 710072China School of Mechanical and Electrical Engineering Northwestern Polytechnical UniversityXi'an 710072China Ministry of Industry and Information Technology Key Laboratory of Aeroengine Technology Northwestern Polytechnical UniversityXi'an 710072China

The electrically assisted(EA)deformation process has received considerable attention in recent years,ac-companied by research on current-induced deformation ***,there are still challenges in eliminating thermal effects,which have prevented a comprehensive understanding of the underlying current-induced *** for a single crystal(SC)in research provides advantages in decou-pling the nonthermal effect of electric current at smaller scales and eliminating the complex interactions that exist in polycrystalline ***,the innovation of this work lies in decoupling the non-thermal effect of electric current and conducting a comprehensive analysis of anisotropic deformation and mechanisms within a Ni-based SC with different crystallographic axes and various current directions dur-ing electrically assisted tensile simulation.A significant tension axis direction in the SC during EA tension was induced by the combination of a higher current direction factor(|cos θ|)and a dimensionless factor for the current density(Jα/Jα0|)along the[100]*** stress drop within the SC due to the nonthermal effect of electric current generally increased with increasing current *** was attributed to the increased dislocation density differences and decreased *** increased stress anisotropy of the SC at a current direction of 45° was attributed to fewer activated(111)slip systems and the pinning effect of more dislocations within these *** study advances our understanding of the thermal and nonthermal effects of electric current and offers valuable insights for the informed application of EA deformations in industrial and aerospace settings with SC superalloys.

关键词： Electrically assisted(EA)tension Single crystal superalloys Nonthermal effect Anisotropy Tension axis Current direction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：