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

GTE: learning code AST representation efficiently and effectively

Science China(Information Sciences) 2025年第3期68卷 393-394页

作者： Yihao QIN Shangwen WANG Bo LIN Kang YANG Xiaoguang MAO College of Computer Science and Technology National University of Defense Technology Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology

With the development of deep learning in recent years, code representation learning techniques have become the foundation of many software engineering tasks such as program classification [1] and defect detection. Earlier approaches treat the code as token sequences and use CNN, RNN, and the Transformer models to learn code representations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Dynamic properties of mode Ⅰ and mode Ⅱ fractures of shale under impact loading

引用

Journal of Rock Mechanics and Geotechnical engineering 2025年第2期17卷 1053-1067页

作者： Zelin Yan Linjuan Wang Jidong Jin Jianxiang Wang State Key Laboratory for Turbulence and Complex Systems Department of Mechanics and Engineering ScienceCollege of EngineeringPeking UniversityBeijing100871China School of Astronautics Beihang UniversityBeijing100191China

Controllable shock wave fracturing is an innovative engineering technique used for shale reservoir fracturing and *** the anisotropic fracture mechanism of shale under impact loading is vital for optimizing shock wave fracturing equipment and enhancing shale oil *** this study,using the well-known notched semi-circular bend(NSCB)sample and the novel double-edge notched flattened Brazilian disc(DNFBD)sample combined with a split Hopkinson pressure bar(SHPB),various dynamic anisotropic fracture properties of Lushan shale,including failure characteristics,fracture toughness,energy dissipation and crack propagation velocity,are comprehensively compared and discussed under mode Ⅰ and mode Ⅱ fracture ***,using a newly modified fracture criterion considering the strength anisotropy of shale,the DNFBD specimen is predicted to be a robust method for true mode Ⅱ fracture of anisotropic shale *** experimental results show that the dynamic mode Ⅱ fracture of shale induces a rougher and more complex fracture morphology and performs a higher fracture toughness or fracture energy compared to dynamic mode Ⅰ *** minimal fracture toughness or fracture energy occurs in the Short-transverse orientation,while the maximal ones occur in the Divider *** addition,it is interesting to find that the mode Ⅱ fracture toughness anisotropy index decreases more slowly than that in the mode Ⅰ fracture *** results provide significant insights for understanding the different dynamic fracture mechanisms of anisotropic shale rocks under impact loading and have some beneficial implications for the controllable shock wave fracturing technique.

关键词： Shale Controllable shock wave fracturing Dynamic fracture property Fracture toughness anisotropy Loading rate effect

来源：评论

学校读者我要写书评

暂无评论

Parallel Seeds:From Foundation Models to Foundation Intelligence for Agricultural Sustainability

引用

IEEE/CAA Journal of Automatica Sinica 2025年第3期12卷 481-484页

作者： Laiyi Fu Shunkang Ling Danyang Wu Mengzhen Kang Fei-Yue Wang Hequan Sun the Shool of Automation Science and Engineering Faculty of Electronic and Information Engineering Xi'an Jiaotong University the College of Information Engineering Northwest A&F University IEEE the State Key Laboratory of Management and Control for Complex Systems Chinese Academy of Sciences

THE development of agriculture faces significant challenges due to population growth, climate change, land depletion, and environmental pollution, threatening global food security [1]. This necessitates the development of sustainable agriculture, where a fundamental step is crop breeding to improve agronomic or economic traits, e.g., increasing yields of crops while decreasing resource usage and minimizing pollution to the environment [2].

关键词：

来源：评论

学校读者我要写书评

暂无评论

Recent advancements of nonlinear dynamics in mode coupled microresonators:a review

引用

Applied Mathematics and Mechanics(English Edition) 2025年第2期46卷 209-232页

作者： Xuefeng WANG Zhan SHI Qiqi YANG Yuzhi CHEN Xueyong WEI Ronghua HUAN Department of Engineering Mechanics MIIT Key Laboratory of Dynamics and Control of Complex SystemsNorthwestern Polytechnical UniversityXi’an 710129China Department of Mechanics Key Laboratory of Soft Machines and Smart Devices of Zhejiang ProvinceZhejiang UniversityHangzhou 310027China State Key Laboratory for Manufacturing Systems Engineering Xi’an Jiaotong UniversityXi’an 710054China

Due to scale effects,micromechanical resonators offer an excellent platform for investigating the intrinsic mechanisms of nonlinear dynamical phenomena and their potential *** review focuses on mode-coupled micromechanical resonators,highlighting the latest advancements in four key areas:internal resonance,synchronization,frequency combs,and mode *** origin,development,and potential applications of each of these dynamic phenomena within mode-coupled micromechanical systems are investigated,with the goal of inspiring new ideas and directions for researchers in this field.

关键词： mode coupling micro-electro-mechanical system(MEMS)resonator nonlinear dynamics

来源：评论

学校读者我要写书评

暂无评论

A brief review of preparation and applications of monolithic aerogels in atmospheric environmental purification

引用

Journal of Environmental Sciences 2025年第3期149卷 209-220页

作者： Linfeng Nie Shuangde Li Mengjie Cao Ning Han Yunfa Chen State Key Laboratory of Multiphase Complex Systems Institute of Process EngineeringChinese Academy of SciencesBeijing 100190China Center of Materials Science and Optoelectronics Engineering University of Chinese Academy of SciencesBeijing 100049China Key Laboratory of Science&Technology on Particle Materials Institute of Process EngineeringChinese Academy of SciencesBeijing 100190China

Monolithic aerogels are promising candidates for use in atmospheric environmental purification due to their structural advantages,such as fine building block size together with high specific surface area,abundant pore structure,***,monolithic aerogels possess a unique monolithic macrostructure that sets them apart from aerogel powders and nanoparticles in practical environmental clean-up *** review delves into the available synthesis strategies and atmospheric environmental applications of monolithic aerogels,covering types of monolithic aerogels including SiO_(2),graphene,metal oxides and their combinations,along with their preparation *** particular,recent developments for VOC adsorption,CO_(2)capture,catalytic oxidation of VOCs and catalytic reduction of CO_(2)are ***,challenges and future opportunities for monolithic aerogels in the atmospheric environmental purification field are *** reviewprovides valuable insights for designing and utilizing monolithic aerogel-based functional materials.

关键词： Monolithic aerogel Environmental purification Catalysis Adsorption

来源：评论

学校读者我要写书评

暂无评论

Stability and Stabilization of Sampled-Data Based LFC for Power systems:A Data-Driven Method

引用

IEEE/CAA Journal of Automatica Sinica 2025年第1期12卷 291-293页

作者： Yu-Long Fan Chuan-Ke Zhang Yong He the School of Automation China University of Geosciences the Hubei Key Laboratory of Advanced Control and Intelligent Automation for Complex Systems the Engineering Research Center of Intelligent Technology for Geo-Exploration Ministry of Education IEEE

Dear Editor,This letter is concerned with stability analysis and stabilization design for sampled-data based load frequency control(LFC) systems via a data-driven method. By describing the dynamic behavior of LFC systems based on a data-based representation, a stability criterion is derived to obtain the admissible maximum sampling interval(MSI) for a given controller and a design condition of the PI-type controller is further developed to meet the required MSI. Finally, the effectiveness of the proposed methods is verified by a case study.

关键词： Sampled data control systems

来源：评论

学校读者我要写书评

暂无评论

Synthesis ofδ-MnO_(2)via ozonation routine for low temperature formaldehyde removal

引用

Journal of Environmental Sciences 2025年第1期147卷 642-651页

作者： Guijun Fan Yacong Guo Shaohua Chai Le Zhang Jian Guan Guojun Ma Ning Han Yunfa Chen State Key Laboratory of Multiphase Complex Systems Institute of Process EngineeringChinese Academy of SciencesBeijing 100190China College of Chemical Engineering University of Chinese Academy of SciencesBeijing 100049China Key Laboratory of Science and Technology on Particle Materials Institute of Process EngineeringChinese Academy of SciencesBeijing 361021China Key Laboratory for Mechanics in Fluid Solid Coupling Systems Institute of MechanicsChinese Academy of SciencesBeijing 100190China School of Petrochemical Engineering&Environment Zhejiang Ocean UniversityZhoushan 316022China

Nowadays,it is still a challenge to prepared high efficiency and low cost formaldehyde(HCHO)removal catalysts in order to tackle the long-living indoor air ***,δ-MnO_(2)is successfully synthesized by a facile ozonation strategy,where Mn^(2+)is oxidized by ozone(O_(3))bubble in an alkaline *** presents one of the best catalytic properties with a low 100%conversion temperature of 85℃for 50 ppm of HCHO under a GHSV of 48,000 mL/(g·hr).As a comparison,more than 6 times far longer oxidation time is needed if O3 is replaced by O_(2).Characterizations show that ozonation process generates a different intermediate of tetragonalβ-HMnO_(2),which would favor the quick transformation into the final productδ-MnO_(2),as compared with the relatively more thermodynamically stable monoclinicγ-HMnO_(2)in the O_(2)***,HCHO is found to be decomposed into CO_(2)via formate,dioxymethylene and carbonate species as identified by room temperature insitu diffuse reflectance infrared fourier transform *** these results show great potency of this facile ozonation routine for the highly activeδ-MnO_(2)synthesis in order to remove the HCHO contamination.

关键词： δ-MnO_(2) Ozone oxidation HCHO oxidation In-situ DRIFTS

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Boosting electrochemical reduction of CO_(2)to CO using molecule-regulated Ag nanoparticle in ionic liquids

引用

Green Energy & Environment 2025年第4期10卷 813-820页

作者： Fangfang Li Kuilin Peng Chongyang Jiang Shaojuan Zeng Xiangping Zhang Xiaoyan Ji Energy Engineering Division of Energy ScienceLuleåUniversity of TechnologyLuleå97187Sweden Beijing Key Laboratory of Ionic Liquids Clean Process State Key Laboratory of Multiphase Complex SystemsInstitute of Process EngineeringChinese Academy of SciencesBeijing100190China College of Chemical Engineering and Environment China University of PetroleumBeijing102249China

Electrochemical reduction of CO_(2)is a promising approach to convert CO_(2)to high-valued chemicals and ***,developing efficient electrocatalysts featuring desirable activity and selectivity is still a big *** this work,a strategy of introducing functionalized molecules with desirable CO_(2)affinity to regulate Ag catalyst for promoting electrochemical reduction of CO_(2)was ***,3-mercapto-1,2,4-triazole was introduced onto the Ag nanoparticle(Ag-m-Triz)for the first time to achieve selectively converting CO_(2)to carbon monoxide(CO).This Ag-m-Triz exhibits excellent performance for CO_(2)reduction with a high CO Faradaic efficiency(FECO)of 99.2%and CO partial current density of 85.0 mA cm^(-2)at-2.3 V ***/Agt in H-cell when combined with the ionic liquid-based electrolyte,30 wt%1-butyl-3-methylimidazolium hexafluorophosphate([Bmim][PF6])-65 wt%acetonitrile(AcN)-5 wt%H2O,which is 2.5-fold higher than the current density in Ag-powder under the same *** studies confirm that the significantly improved performance of Ag-m-Triz originates from(i)the stronger adsorption ability of CO_(2)molecule and(ii)the weaker binding energy to form the COOH*intermediate on the surface of Ag-m-Triz compared with the Ag-powder catalyst,which boosts the conversion of CO_(2)to *** research provides a facile way to regulate electrocatalysts for efficient CO_(2)reduction by introducing functionalized molecules.

关键词： CO_(2)reduction CO Electrochemical Molecule-regulated Silver Ionic liquid

来源：评论

学校读者我要写书评

暂无评论

An Isochron-Based Solution to Pursuit–Evasion Games of Two Heterogeneous Players

引用

IEEE Transactions on Automatic Control 2025年第5期70卷 2811-2826页

作者： Li, Shuai Wang, Chen Xie, Guangming Peking University State Key Laboratory of Turbulence and Complex Systems Intelligent Biomimetic Design Lab College of Engineering Beijing100871 China Peking University National Engineering Research Center of Software Engineering Beijing100871 China Peking University Center for Multi-Agent Research Institute for Artificial Intelligence Beijing100871 China

In this article, we study a pursuit–evasion game between two players with heterogeneous kinematics, where the pursuer is with damped double-integrator dynamics and the evader is with single-integrator dynamics. The pursuer aims at capturing the evader as soon as possible, while the evader wants to avoid or delay the capture. Traditional methods to solve pursuit–evasion games rely on the Hamilton–Jacobi–Isaacs (HJI) equations and retrogressive path equations, which are very complicated and nonintuitive, thus failing to obtain a complete solution. To overcome these challenges, we develop an intuitive isochron-based method to thoroughly analyze all possible situations of the game and a concise geometric approach to calculate the optimal strategies, providing a complete solution to this game. Specifically, the isochron-based method effectively leverages three main factors: the players' motion capability, the pursuer's capture capability, and the players' states. Based on these, we analyze the players' superiority and the geometrical features of their isochrones and the intersections, thus acquiring concise conditions that determine the game's outcome. For the success-capture cases, we propose a new geometric approach to calculate the target points of the players and then obtain the closed-loop state feedback optimal pursuit and evasion strategies. We then get the corresponding value function and provide a validation using the HJI equation. For the success-evasion cases, we exploit the intersection of the players' isochrones to design some effective evasion strategies, which ensure that the evader can always avoid or delay the capture. Finally, some numerical simulations are carried out to validate the effectiveness and applicability of our results. © 1963-2012 IEEE.

关键词： State feedback

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：